Advertisement

The Mutual Exclusion Problem

  • Michel RaynalEmail author
Chapter

Abstract

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.

Keywords

Competition Concurrent object Cooperation Deadlock-freedom Invariant Liveness Lock object Multiprocess program Mutual exclusion Safety Sequential process Starvation-freedom Synchronization 

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  1. 1.IRISA-ISTICInstitut Universitaire de FranceRennes CedexFrance

Personalised recommendations