Cameo: an alternative model of concurrency for Eiffel Conferences

abstract

• Abstract 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.

authors

• Brooke, Phillip J
• Paige, Richard

status

• published 

publication date

• August 2009

has subject area

• 0802 Computation Theory and Mathematics (FoR)
• 0803 Computer Software (FoR)
• Computation Theory & Mathematics (Science Metrix)

published in

• Formal Aspects of Computing  Journal

presented at event

• Workshop on Concurrency and Real-Time for Eiffel-Like Languages  Conference

keywords

• Alternative to SCOOP
• Asynchronous exceptions
• Computer Science
• Computer Science, Software Engineering
• Concurrency
• Eiffel
• Formal methods
• Programming languages
• Science & Technology
• Technology

Digital Object Identifier (DOI)

• 10.1007/s00165-008-0096-1

start page

• 363

end page

• 391

volume

• 21

issue

• 4