Mutual Exclusion Requirements

Examine the four necessary conditions for a robust mutual exclusion primitive including safety and liveness.