여러 개의 프로스세가 동시에 그 값을 수정하지 못한다.
상호배제 문제를 해결하기 위해 사용된다.
세마포어에 대한 연산은 처리 중에 인터럽트 되어야 한다. → 인터럽트 되지 않아야 한다.
다익스트라(E.K Dijkstra)가 제안한 방법이다.
투명성을 보장한다.
연산속도, 신뢰도, 사용가능도가 향상된다.
시스템 확장이 용이하다.
보안성이 향상된다.