[일:] 2019년 03월 13일

I. 교착상태 대표 회피 알고리즘, 은행가 알고리즘 가. 은행가 알고리즘의 개념 자원의 상태를 감시하고 프로세스는 사전에 자신의 작업에 필요한 자원 수를 제시하는 교착상태 회피 알고리즘 나. 은행가 알고리즘의 자료구조 자료구조 설명 Max – 프로세스 별 최대 자원의 요구 Available – 사용 가능 자원의 수 Need – 프로세스 별 남아있는 자원 수 Allocation – 현재 프로세스

I. 세마포어와 모니터 세마포어 모니터 세마포어 변수(s) 및 두 개의 연산(P, V)으로 임계영역에 접근하는 잠금장치에 대한 이론적 기반 Concurrent-Pascal, Module-2/3, JAVA 등 프로그래밍언어 수준에서 세마포어 처럼 상호배제 기능 제공   II. 세마포어와 모니터의 상호관계 가. 세마포어와 모니터 개념적 상관관계 세마포어는 모니터에 이론적 기반을 제공하고, 모니터는 타이밍 문제점을 보완하여 동시성 제어 위한 상호작용 지원 나. 세마포어와