Cameo: an alternative model of concurrency for Eiffel

We present a new concurrency model for the Eiffel programming language. The model is motivated by describing a number of semantic problems with the leading concurrency model for Eiffel, namely SCOOP. Our alternative model aims to preserve the existing behaviour of sequential programs and libraries w...

Full description

Saved in:
Bibliographic Details
Published in:Formal aspects of computing 2009-08, Vol.21 (4), p.363-391
Main Authors: Brooke, Phillip J., Paige, Richard F.
Format: Article
Language:English
Subjects:
Applied sciences
Computer Science
Computer science
control theory
systems
Exact sciences and technology
Geometry
Math Applications in Computer Science
Mathematics
Miscellaneous
Original Article
Sciences and techniques of general use
Theoretical computing
Theory of Computation
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We present a new concurrency model for the Eiffel programming language. The model is motivated by describing a number of semantic problems with the leading concurrency model for Eiffel, namely SCOOP. Our alternative model aims to preserve the existing behaviour of sequential programs and libraries wherever possible. Comparison with the SCOOP model is made. The concurrency aspects of the alternative model are presented in CSP along with a model of exceptions. The results show that while the new model provides increased parallelism, this comes with the price of increased overhead due to lock management.
ISSN:0934-5043
1433-299X
DOI:10.1007/s00165-008-0096-1