Cameo: an alternative model of concurrency for Eiffel

Phillip J. Brooke (1) , Richard Paige (2)

1 School of Computing [Teesside]
2 CS-YORK - Department of Computer Science [York]

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.

Mots clés: Concurrency; Formal methods; Programming languages; Eiffel; Alternative to SCOOP; Asynchronous exceptions

Phillip J. Brooke, Richard Paige. Cameo: an alternative model of concurrency for Eiffel. Formal Aspects of Computing, 2008, 21 (4), pp.363-391. ⟨10.1007/s00165-008-0096-1⟩. ⟨hal-00534917⟩