Mutual Exclusion (상호 배제)

상호 배제... 우리말도 써도 확 와닿지 않는 이 말은 한자어를 풀이하자면,

각자 서로 받아들이지 않는다는 뜻인데 더 쉽게 풀어쓰자면

너와 나는 같은 하늘아래 살 수 없어! 가 된다는 뜻이다.

여자 한 명과 남자 두 명이 삼각관계라고 가정하고

여자는 두 남자 중에 동시 조건하에 한 명의 남자만 만나야 삼각관계가 유지될 수 있다.

이 때 여자는 임계 구역 내에 있는 공유 자원이 되고

여자가 만나고 있는 남자는 공유 자원을 점유하고 있는 프로세스가 된다고 볼 수 있다.

이를 논리대수적으로 구현한 것이 Dekker\'s algoritm 이다.