Section critique

Propriété :

• a) à tout instant un seul processus peut être en section critique,
• b) si plusieurs processus sont en attente, alors qu'aucun processus n'est en section critique, un processus doit avoir accés à la section critique en un temps fini,
• c) si un processus est bloqués, ce blocage ne doit pas empécher les autres processus d'avoir accés à la section critique,
• d) la solution doit être la même pour tous les processus.