운영체제 ! 병행 프로세스

 

(1) 임계 구역 ( Critical Section )

-> 여러 프로세스 가 사용하는 공간을  어느 시점에서는 하나의 프로세스만 사용하도록 지정된

공유 자원을 의미

 

(2) 상호 배제 기법 ( MUTEX , Multi Exclusion )

-> 임계 구역에 다른 프로세스가 접근 하지 못하게 제어 하는 기법

 1) 데커 알고리즘

   -> 순수하게 소프트웨어로 교착 상태가 발생하지 않음을 보장 함.

 

교착 상태 예방

 

(3) 동기화 기법 ( Synchronization )

 1) 세마 포어 : E. J. Dijkastra 가 제안, P 와 V 라는 2개의 연산에 의해서 동기화를 유지

 2) 모니터 : 모니터 경계에서 상호배제 시작 됨, Wait 와 Signal 신호를 사용함.

 

교착 상태 발생 조건

 1) 상호 배제

 2) 점유 및 대기

 3) 비선점

 4) 환형 대기

-> 먼말이냐면, 위의 조건들이 있을 경우, 교착 상태가 발생할 수 있다는 뜻

 

교착 상태 회피 기법 ( Avoidance )

1) 은행원 알고리즘 ( Banker's )

-> 자원의 양과, 프로세스 수가 일정해야 함,