Critical Section Problem(임계 영역 문제) 동일한 자원을 동시에 접근하는 작업이 실행되는 코드영역을 사용할 수 있도록 하는 프로토콜 설계 상호 배제 (Mutual Exclusion) 진행 (Progress) 한정된 대기 (Bounded Waiting) Lock +) 스핀락 : 세마포 초기버전 Mutex와 Lock의 차이점 임계 영역의 락이 풀릴 때 까지 기다려야 한다는 점은 같지만, Lock은 접근 프로세스가 무한 루프를 돌면서 cpu자원을 사용한다. 반면 Mutex는 컨텍스트 스위칭을 실행한다. 따라서 다른 작업을 동시에 진행 할 수 있다. 세마포어 ㄴ 카운팅 세마포 : 가용한 개수를 가진 자원에 대한 접근 제어용으로 사용되며, 세마포는 그 가용한 자원의 개수로 초기화 된다. 자원을..