교차상태가 발생하지 않음을 보장한다.

프로세스가 임계영역에 들어가는 것이 무한정 지연될 수 있다.

공유 데이터에 대한 처리에 있어서 상호배제를 보장한다.

별도의 특수 명령어 없이 순수하게 소프트웨어로 해결된다.