배경지식 프로세스는 병렬적으로 실행된다. 공유 데이터 에대한 병렬적인 접근은 데이터의 불일치를 낳는다. 데이터 일치성을 유지하기 위해서는 프로세스들의 협력적인 순차적 실행을 보장하는 메커니즘이 필요된다. Procedure Consumer Problem Procedure 와 Consumer 는 counter 를 증가시키고 Consumer 는 counter 를 감소 시킬때 동시에 Procedure process 와 Consumer process 가 counter 에 대한 연산을 진행한다면 각각의 register 에서 counter 는 6, 4 로 저장될 것이다. 그리고 결국 counter 가 register 에서 할당 되는 순서에 따라 counter 는 우리가 기대하는 5라는 값과 다르게 4 또는 6중 무작..
