한번에 하나인 프로세스만 임계영역에 있을 수 있는 방식
락이 걸려있으면 못들어가고 안걸려있으면 들어간다.
변기가 10개인 화장실.
세마포어는 신호기반, 뮤텍스는 잠금 기반 메커니즘이다.
