Formal Aspects of Computing

, Volume 21, Issue 4, pp 363–391

Cameo: an alternative model of concurrency for Eiffel

Original Article

DOI: 10.1007/s00165-008-0096-1

Cite this article as:
Brooke, P.J. & Paige, R.F. Form Asp Comp (2009) 21: 363. doi:10.1007/s00165-008-0096-1

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.

Keywords

Concurrency Formal methods Programming languages Eiffel Alternative to SCOOP Asynchronous exceptions 

Copyright information

© British Computer Society 2008

Authors and Affiliations

  1. 1.School of ComputingUniversity of TeessideMiddlesbroughUK
  2. 2.Department of Computer ScienceUniversity of YorkHeslington,YorkUK

Personalised recommendations