교착상태 (Deadlock), 세마포어 (Semaphore), 뮤텍스 (Mutex)

출제 빈도: ★★★★★ | 난이도: ★★★★☆

답안.

Ⅰ. 개요

교착상태(Deadlock)는 둘 이상의 프로세스가 서로 상대 자원을 기다리며 영원히 진행하지 못하는 상태다.
세마포어(Semaphore)는 정수 카운터 기반 동기화 도구로 상호배제와 자원 개수 제어를 동시에 지원한다.
뮤텍스(Mutex)는 한 시점에 하나의 실행 흐름만 임계영역에 들어가도록 보장하는 소유권 기반 상호배제 락이다.

Ⅱ. 핵심 구성요소

Ⅰ. 개요
   1. 정의
   2. 공유 자원 경쟁의 증가

Ⅱ. 핵심 구성요소
   1. 교착상태 발생 조건
   2. 동기화 도구의 특징과 사용법

Ⅲ. 특징 및 장단점
   1. 데이터 정합성과 안전성 확보
   2. 기아, 우선순위 역전, 데드락 위험

Ⅳ. 유사 기술과의 비교
   - 세마포어 vs 뮤텍스 비교표

Ⅴ. 적용사례 및 향후전망
   1. 멀티스레드 서버와 실시간 시스템의 동기화 설계
   2. 락 프리 알고리즘과 동시성 추적 도구 확대

해당 키워드의 기술적 구성요소와 동작 원리를 서술한다.

Ⅲ. 특징 및 비교

핵심 기술의 장단점과 유사 기술과의 차이를 분석한다.

Ⅳ. 적용 사례

실무 환경에서의 적용 사례와 기대효과를 제시한다.

Ⅴ. 전망

최신 기술 동향과 향후 발전 방향을 서술한다.