Concurrency Annotations and Reusability
Löhr, Klaus-Peter ;  Universität <Berlin, Freie Universität> / Fachbereich Mathematik und Informatik

Main titleConcurrency Annotations and Reusability
AuthorLöhr, Klaus-Peter
InstitutionUniversität <Berlin, Freie Universität> / Fachbereich Mathematik und Informatik
No. of Pages28 S.
Series Freie Universität Berlin, Fachbereich Mathematik : Ser. B ; 91,13
Classification (DDC)004 Data processing and Computer science
AbstractWidespread acceptance of concurrent object-oriented programming in the field can only be expected if smooth integration with sequential programming is achieved. This means that a common language base has to be used, where the concurrent syntax differs as little as possible from the sequential one but is associated with a "natural" concurrent semantics that makes library support for concurrency superfluous. In addition, not only should sequential classes be reusable in a concurrent context, but concurrent classes should also be reusable in a sequential context. It is suggested that concurrency annotations be inserted into otherwise sequential code. They are ignored by a sequential compiler, but a compiler for the extended concurrent language will recognize them and generate the appropriate concurrent code. The concurrent version of the language supports active and concurrent objects and favours a declarative approach to synchronization and locking which solves typical concurrency problems in an easier and more readable way than previous approaches. Concurrency annotations are introduced using Eiffel as the sequential base.
If your browser can't open the file, please download the file first and then open it
FU DepartmentDepartment of Mathematics and Computer Science
Other affiliation(s)Institut für Informatik
Year of publication1991
Type of documentWorking paper
Terms of use/Rights Nutzungsbedingungen
Created at2009-05-12 : 01:15:08
Last changed2015-03-25 : 12:57:10
Static URLhttp://edocs.fu-berlin.de/docs/receive/FUDOCS_document_000000001860