[운영체제] Process Synchronization 4 : Monitor

프로세스 동기화 = 병행제어(Concurrency Control)

모니터 = 동시 수행 중인 프로세스 사이에서 추상 데이터 타입의 안전한 공유를 보장하기 위한 high level synchronization construct다.

모니터는 프로그래밍 언어 차원에서 제공된다.
공유 데이터와 operation이 모니터 내부에 있기 때문에, 세마포어처럼 P,V를 따로 걸어줄 필요가 없다.
모니터 내부에 들어간다면 미리 정해진 operation만 보고 따라하면 되는 것이다.
이처럼 개발자 입장에서 자연스럽고 편하다.

• 모니터 내에는 한번에 하나의 프로세스만 활동 가능
• 프로그래머가 동기화 제약 조건(P,V) 코딩할 필요 없음
• 모니터 안에서 기다리는 경우를 위해 Condition Variable 사용
• Condition Variable은 wait, signal 연산에 의해서만 접근 가능
• wait : 자리가 없을 경우 누가 깨워줄 때 까지 sleep
• signal : 내가 다 썼을 때 혹시 누가 자고 있으면 쓰라고 깨워줘

모니터를 사용해 이전 '생산자-소비자'문제를 다시 코딩해보자.

먼저 공유 자원 buffer를 위해 P, V 연산이 필요없다. 이미 모니터 타입 내부이기에.
여기서 Condition Variable은 full, empty이다.(full: 생산자 입장에서 공간 없을 경우 / empty : 소비자 입장에서 데이터 없을 경우)
코드를 읽기도 더 편하다.
Produce에서 만약 빈 공간이 없다면, empty.wait으로 자리가 날 때 까지 프로세스를 sleep 한다.
만약 빈 공간 있다면, 데이터를 쓰고, 혹시 데이터 기다리면서 sleep인 소비자가 있다면 깨워주는 full.signal을 하는 것이다.

consume에서도 정확히 반대로 똑같다.

다음은 식사하는 철학자 문제를 모니터로 코딩한 경우이다.
그냥 그런갑다 하고 넘기자.