Cameo: an alternative model of concurrency for Eiffel

Hdl Handle:
http://hdl.handle.net/10149/91079
Title:
Cameo: an alternative model of concurrency for Eiffel
Authors:
Brooke, P. J. (Phillip); Paige, R. F. (Richard)
Affiliation:
University of Teesside. School of Computing.
Citation:
Brooke, P. J. and Paige, R. F. (2009) 'Cameo: an alternative model of concurrency for Eiffel', Formal Aspects of Computing, 21 (4), pp.363-391.
Publisher:
Springer
Journal:
Formal Aspects of Computing
Issue Date:
Aug-2009
URI:
http://hdl.handle.net/10149/91079
DOI:
10.1007/s00165-008-0096-1
Abstract:
The authors 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.
Type:
Article
Language:
en
Keywords:
concurrency; formal methods; programming languages; Eiffel; alternative to SCOOP; asynchronous exceptions
Series/Report no.:
Formal Aspects of Computing
ISSN:
09345043; 1433299X
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 03/02/2010]
Citation Count:
0 [Scopus, 03/02/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorBrooke, P. J. (Phillip)en
dc.contributor.authorPaige, R. F. (Richard)en
dc.date.accessioned2010-02-03T14:02:05Z-
dc.date.available2010-02-03T14:02:05Z-
dc.date.issued2009-08-
dc.identifier.citationFormal Aspects of Computing; 21 (4): 363-391en
dc.identifier.issn09345043-
dc.identifier.issn1433299X-
dc.identifier.doi10.1007/s00165-008-0096-1-
dc.identifier.urihttp://hdl.handle.net/10149/91079-
dc.description.abstractThe authors 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.en
dc.language.isoenen
dc.publisherSpringeren
dc.relation.ispartofseriesFormal Aspects of Computingen
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 03/02/2010]en
dc.subjectconcurrencyen
dc.subjectformal methodsen
dc.subjectprogramming languagesen
dc.subjectEiffelen
dc.subjectalternative to SCOOPen
dc.subjectasynchronous exceptionsen
dc.titleCameo: an alternative model of concurrency for Eiffelen
dc.typeArticleen
dc.contributor.departmentUniversity of Teesside. School of Computing.en
dc.identifier.journalFormal Aspects of Computingen
ref.citationcount0 [Scopus, 03/02/2010]en
or.citation.harvardBrooke, P. J. and Paige, R. F. (2009) 'Cameo: an alternative model of concurrency for Eiffel', Formal Aspects of Computing, 21 (4), pp.363-391.-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.