空閒讓進

當無進程處於臨界區時，允許進程進入臨界區，並且只能在臨界區運行有限的時間。

實現臨界區的互斥使用主要依靠硬體，當然也可以採用軟體來協調各種進程之間的關係。通常的做法是在系統中設定專門的同步結構來協調各種進程的運行。但是無論是採用軟體或硬體方法，所有的同步機制都應遵循進程讓進、忙則等待、有限等待、讓權等待。