운영체제 공부 ( 상호배제, 세마포어 등 )

임계 구역

- 임계 구역에는 하나의 프로세스만 접근, 작업은 신속하게

 

상호 배제 

- 특정 프로세스가 공유 자원을 사용하고 있을 경우 다른 프로세스가 해당 공유 자원을 사용하지 못하게 제어

- 여러 프로세스가 동시에 공유 자원을 사용하려 할 때 각 프로세스가 번갈아가며 공유 자원을 사용하도록 하는 것

- 임계 구역을 유지하는 기법

- 상호 배제 기법을 사용함으로써 임계 구역 내에서는 인터럽트, 교착상태, 무한반복이 발생되지 않도록 한다.

- 하드웨어적 구현 방법으로는 Test & Set 기법, Swap 명령어 기법이 존재

 

세마포어

- E.J.Dijkstra가 제안하였음

- P와 V라는 2개의 연산에 의해서 동기화를 유지

- 상호 배제의 원리를 보장

- S는 P와 V 연산으로만 접근 가능한 세마포어 변수

- 공유 자원 개수를 나타내며 0과 1 혹은 0과 양의 값을 가질 수 있다.

- 세마포어를 2로 초기화 하였다면, 임계구역에 2개의 프로세서가 들어갈 수 있다.

 

모니터(Monitor)

- 특정의 공유 자원을 할당하는데 필요한 데이터 및 프로시저로 구성된 병행성 구조

- 외부에서는 직접 액세스 할 수 없다.

- 한 순간에 하나의 프로세스만 모니터에 진입한다.

- 모니터의 경계에서 상호 배제가 시행된다.