Skip to content
Free planNo credit card requiredStart writing

book chapter · IOS Press eBooks · 2009

The SCOOP Concurrency Model in Java-like Languages

Faraz Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chećhik

Cited by 15Abstract and details only

Abstract

SCOOP is a minimal extension to the sequential object-oriented programming model for concurrency. The extension consists of one keyword (separate) that avoids explicit thread declarations, synchronized blocks, explicit waits, and eliminates data races and atomicity violations by construction, through a set of compiler rules. SCOOP was originally described for the Eiffel programming language. This paper makes two contributions. Firstly, it presents a design pattern for SCOOP, which makes it feasible to transfer SCOOP's concepts to different object-oriented programming languages. Secondly, it demonstrates the generality of the SCOOP model by presenting an implementation of the SCOOP design pattern for Java. Additionally, we describe tools that support the SCOOP design pattern, and give a concrete example of its use in Java.

Cite this paper

APA 7

Torshizi, F., Ostroff, J. S., Paige, R. F., & Chećhik, M. (2009). The SCOOP Concurrency Model in Java-like Languages. IOS Press eBooks. https://doi.org/10.3233/978-1-60750-065-0-7

MLA 9

Torshizi, Faraz, et al. “The SCOOP Concurrency Model in Java-like Languages.” IOS Press eBooks, 2009, https://doi.org/10.3233/978-1-60750-065-0-7.

Chicago

Torshizi, Faraz, Jonathan S. Ostroff, Richard F. Paige, and Marsha Chećhik. 2009. “The SCOOP Concurrency Model in Java-like Languages.” IOS Press eBooks. https://doi.org/10.3233/978-1-60750-065-0-7.

Harvard

Torshizi, F. et al. (2009) ‘The SCOOP Concurrency Model in Java-like Languages’, IOS Press eBooks. Available at: https://doi.org/10.3233/978-1-60750-065-0-7.

BibTeX
@incollection{torshizi2009scoop,
  title = {{The SCOOP Concurrency Model in Java-like Languages}},
  author = {Torshizi, Faraz and Ostroff, Jonathan S. and Paige, Richard F. and Chećhik, Marsha},
  booktitle = {IOS Press eBooks},
  year = {2009},
  doi = {10.3233/978-1-60750-065-0-7}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.