Support for Implementation of Evolutionary Concurrent Systems

  • Authors:

  • Raju Pandey;James C. Browne

  • Affiliations:

  • Parallel and Dist. Computing Laboratory, Department of Computer Science, University of California, Davis, California 95616. pandey@cs.ucdavis.edu;Department of Computer Sciences, The University of Texas, Austin, TX 78702. brown@cs.ucdavis.edu

  • Venue:
  • International Journal of Parallel Programming
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

Concurrent programs that embed specifications of synchronizations in the body of their component are difficult to extend and modify. Small changes in a concurrent program, particularly changes in the interactions among components, may require re-implementation of a large number of components. Even specifications of components cannot be reused easily. This paper presents a concurrent program composition mechanism in which both specification and implementation of computations and interactions are completely separated. Separation of specifications and implementations facilitates extensions and modifications of programs by allowing one to separately change the implementations of computations and interactions. It also supports their reusability. The paper also describes the design and implementation of a concurrent object-oriented programming language based on this model, including a compiler for the language, and reports on the execution behavior of programs written in the language.