병행 프로세스의 동기화 유형 [임계 영역, 상호 배제, 세마포어, 모니터]

한 프로세스가 공유 메모리를 사용하고 있을 때, 다른 프로세스들이 사용하지 못하도록 배제시키는 기법이다. 교착 상태가 발생하지 않음을 보장하는 데커 알고리즘, 피터슨 알고리즘을 통해 상호 배제 기법을 구현한다. 교착 상태 : 둘이상의 프로세스들이 서로 다른 프로세스가 차지하고 있는 자원을 무한정 기다리고 있는 상태. 교착상태가 발생할 때 : 1. 상호 배제 - 중복이 안되도록 막기 때문에 계속 기다려질 수 있다. 2. 점유와 대기 - 자원을 점유하고 있는 프로세스가 다른 자원을 기다릴때 나타남 3. 비선점 - 사용이 종료될 때까지 강제로 해제할 수 없을때 나타남 4. 순환 대기 - 각 프로세스는 순환적으로 다음 프로세스가 요구하는 자원을 가지고 있을때 나타남 임계 구역 상호 배제의 문제로 자원이 프로세스..

2020.10.06