1 Introduction
So far we talked about synchronization through shared objects and the interference problem. Mutual exclusion solves the problem! Monitors and semaphores may help to obtain mutual exclusion. In this note we explain the concepts of semaphores and monitors.
The examples of models to be run in the Mobility Workbench (MWB) in this note are presented with emphasis on readability and may thus not compile due to extra line breaks.
Part of this note and some of the examples in this note are inspired by [1].
The exercises affiliated with this lecture are to be found in Section 6
References
[1] J. Magee and J. Kramer. Concurrency — State Models & Java Programs. Worldwide Series in Computer Science. JohnWiley & Sons, 1999.
