Dijkstra는 교착상태에 대한 문제를 세마포어라는 개념을 이용하여 해결하였다.

세마포어에 대한 오퍼레이션들은 소프트웨어나 하드웨어로 구현 가능하다.

이진 세마포어는 오직 0과 1의 두가지 값을 가지며, 산술 세마포어는 0과 양의 정수를 값으로 가질 수 있다.

프로세스 사이의 동기를 유지하고 상호 배제의 원리를 보장할 수 있다.