Exclusion mutuelle

Le problème est de construire l’atomicité. Pour cela, on entoure la section critique d’un prélude et d’un postlude. Un processeur peut alors être en dehors, demandeur ou en dedans une section critique. On se fixe les hypothèses suivantes :

1. tout processus " dedans " finira par passer " dehors ".
2. on est sur une machine asynchrone (pas de vitesse fixée).
3. les instructions lire/écrire sont ATOMIQUES – On peut disposer d’instructions spéciales ATOMIQUES – aucune ATOMICITE.