This chapter introduces definitions related to process synchronization and focuses then on the mutual exclusion problem, which is one of the most important synchronization problems. It also defines progress conditions associated with mutual exclusion, namely deadlock-freedom and starvation-freedom.
CITATION STYLE
Raynal, M. (2013). The Mutual Exclusion Problem. In Concurrent Programming: Algorithms, Principles, and Foundations (pp. 3–13). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-32027-9_1
Mendeley helps you to discover research relevant for your work.