1. 자원할당 그래프 (Resource Allocation Graph)의 개념 교착상태 발견을 위해 프로세스와 자원과의 관계와 할당 상태를 표현하는 그래프 2. 자원 할당 그래프의 구성요소 구분 구성요소 표현 설명 Vertex (정점) 프로세스 – 자원을 표현하는 프로세스 – 원으로 표현 자원 – 자원들의 집합을 표현 – 자원의 개수는 사각형 점으로 표현 Edge (간선) 요청선 – 프로세스에서 자원으로의
I. 교착상태 대표 회피 알고리즘, 은행가 알고리즘 가. 은행가 알고리즘의 개념 자원의 상태를 감시하고 프로세스는 사전에 자신의 작업에 필요한 자원 수를 제시하는 교착상태 회피 알고리즘 나. 은행가 알고리즘의 자료구조 자료구조 설명 Max – 프로세스 별 최대 자원의 요구 Available – 사용 가능 자원의 수 Need – 프로세스 별 남아있는 자원 수 Allocation – 현재 프로세스
I. 세마포어와 모니터 세마포어 모니터 세마포어 변수(s) 및 두 개의 연산(P, V)으로 임계영역에 접근하는 잠금장치에 대한 이론적 기반 Concurrent-Pascal, Module-2/3, JAVA 등 프로그래밍언어 수준에서 세마포어 처럼 상호배제 기능 제공 II. 세마포어와 모니터의 상호관계 가. 세마포어와 모니터 개념적 상관관계 세마포어는 모니터에 이론적 기반을 제공하고, 모니터는 타이밍 문제점을 보완하여 동시성 제어 위한 상호작용 지원 나. 세마포어와
I. 멀티 프로세스 환경의 무한 자원대기, 교착상태 가. 교착상태(Deadlock)의 개념 멀티 프로세스 환경에서 두 개 이상의 프로세스가 아무리 기다려도 자원을 사용할 수 없는 무한 대기 상태 나. 교착상태 발생 원인 원인 설명 상호배제 (Mutual Exclusion) – 자원 배타 점유, 타 프로세스 사용 차단 점유와 대기 (Block & Wait) – 특정 자원 할당 점유 후 다른 자원을