Lock-Based Concurrent Objects

  • Michel RaynalEmail author


After having introduced the notion of a concurrent object, this chapter presents lock-based methodologies to implement such objects. The first one is based on a low-level synchronization object called a semaphore. The other ones are based on linguistic constructs. One of these constructs is based on an imperative approach (monitor construct), while the other one is based on a declarative approach (path expression construct). This chapter closes the first part of the book devoted to lock-based synchronization.


Declarative synchronization Imperative synchronization Lock-based implementation Monitor Path expression Predicate transfer Semaphore 

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  1. 1.IRISA-ISTICInstitut Universitaire de FranceRennes CedexFrance

Personalised recommendations