[태그:] 자원공유

은행가 (Banker’s) 알고리즘

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

계수형 세마포어 (Counting Semaphore)

I. 멀티 프로세스 환경의 리소스풀, 계수형 세마포어의 개념 0과 1의 값을 가지는 이진형 세마포어와 달리, 풀에 있는 자원의 수와 같은 값으로 초기화 되는 세마포어 동기화 기법   II. 계수형 세마포어의 동작 매커니즘 및 사례 가. 계수형 세마포어 동작 매커니즘 구분 세부 내용 동작 개념도 매커 니즘 ① 세마포어는 Pool 자원 수와 같은 값으로 초기화 ②

세마포어 (Semaphore)

I. Busy waiting, 세마포어의 개요 가. 세마포어(Semaphore)의 정의 운영체제나 프로그램 내에서 공유 자원에 대한 접근을 제어하기 위해 사용되는 신호 나. 세마포어의 개념도 최초의 s값은 1, P(s)를 먼저 수행하는 프로세스가 s=0 변경, Critical Section에 진입, 먼저 들어갔던 프로세스가 V(s)를 수행하면 s=1로 변경, P(s)에서 대기하고 있던 프로세스가 진행 s=1 이면, Critical Section 실행 중 프로세스 없음 의미