[운영체제] 6장 프로세스 동기화

Semaphores

• 상호배제 동기화 도구
• 다익스트라에 의해 제안된 것으로 상해보제의 해결을 위한 동기 도구
• 음이 아닌 정수값을 갖는 변수
• p는 검사를 나타내며 v는 증가를 나타낸다

Critical Section of n Processes

• 임계영역 프로세스들이 동시에 공유할 수 없는 자원을 임계자원이라고 한다
• 이 자원을 이용하는 부분을 임계영역이라고 한다
• 다른 프로세스들은 모든 임계영역으로 진입이 금지
• 프로세스만 허용
• 임계자원 = 공유자원
• 한 프로세스가 임계영역에 있을 때 다른 프로세스의 접근을 막는다 -> 프로세스 동기화

Monitor

• 상호배제 동기화 도구, 요청한 순서대로
• 세마포어와 비슷한 역할을 하지만 제어가 쉽다
• 모니터 안에서 정의된 프로시저는 모니터 안에서 지역적으로 정의된 변수들과 형식적인 매개변수만 접근 가능
• 모니터의 지역 변수들은 지역 프로시저에 의해서 접근
• 모니터 구조는 한순간에 하나의 프로세스만 모니터 안에서 활동 보장