Chapitre 4 : Synchronisation entre processus


Les solutions logicielles

Résoudre le problème de l’exclusion mutuelle n’est pas une tâche facile compte tenu des contraintes à satisfaire. Afin de mesurer cette difficulté, nous allons considérer plusieurs tentatives violant chacune quelques propriétés d’une bonne solution.