|
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.