CA/운영체제
태스크(프로세스) 동기화 방안
I. 태스크 동기화의 필요성 공유 데이터 병행 접근 시 데이터 불일치를 초래하므로 데이터 일관성 유지 위해 태스크 동기화 필요 …
경쟁 조건/자원 경합 (Race Condition)
I. 동시 수행의 위험, 자원 경합의 의미 가. 자원 경합의 정의 공유 자원에 대해 여러 개의 프로세스가 동시에 접근을 시도하여…
스핀락 (Spin Lock)
I. 동기화 기법, 스핀락의 개념 가. 스핀락의 개념 프로세스가 사용하려는 lock을 타 프로세스 사용 시 명령어 루프를 실행하며 대기하는 locking…
은행가 (Banker’s) 알고리즘
I. 교착상태 대표 회피 알고리즘, 은행가 알고리즘 가. 은행가 알고리즘의 개념 자원의 상태를 감시하고 프로세스는 사전에 자신의 작업에 필요한 자원…
세마포어와 모니터
I. 세마포어와 모니터 세마포어 모니터 세마포어 변수(s) 및 두 개의 연산(P, V)으로 임계영역에 접근하는 잠금장치에 대한 이론적 기반 Concurrent-Pascal, Module-2/3,…
교착상태 (Deadlock)
I. 멀티 프로세스 환경의 무한 자원대기, 교착상태 가. 교착상태(Deadlock)의 개념 멀티 프로세스 환경에서 두 개 이상의 프로세스가 아무리 기다려도 자원을…
우선순위 역전 현상
I. 실시간 스케줄링 문제, 우선순위 역전 현상의 개요 가. 우선순위 역전 현상의 정의 우선순위가 높은 task가 준비 상태로 바뀌었지만 더…
계수형 세마포어 (Counting Semaphore)
I. 멀티 프로세스 환경의 리소스풀, 계수형 세마포어의 개념 0과 1의 값을 가지는 이진형 세마포어와 달리, 풀에 있는 자원의 수와 같은…
세마포어 (Semaphore)
I. Busy waiting, 세마포어의 개요 가. 세마포어(Semaphore)의 정의 운영체제나 프로그램 내에서 공유 자원에 대한 접근을 제어하기 위해 사용되는 신호 나.…
임계 영역 (Critical Section)
I. 공유 자원 동기화 오브젝트, 임계 영역 가. 임계 영역의 개념 병렬 컴퓨팅에서 둘 이상의 스레드가 동시에 접근해서는 안되는 공유…