다수의 프로세스가 서로의 자원을 점유한 채 무한히 대기하며 시스템이 멈춰버리는 데드락(Deadlock)의 발생 원인과 대응 전략을 심층 분석했다.
시스템의 가용성을 위협하는 이 치명적인 상태를 사전에 방지하거나 해결하기 위한 운영체제의 체계적인 관리 정책을 정리했다.
데드락이 발생하기 위해 반드시 충족되어야 하는 4대 조건인 상호 배제, 점유와 대기, 비선점, 그리고 환형 대기의 논리적 구조를 명확히 파악했다.
발생 조건을 사전에 차단하는 예방 정책부터 자원 할당 전 가능성을 치밀하게 계산하는 회피 전략까지 운영체제가 취할 수 있는 다양한 방어 기제를 검토했다.
이미 발생한 데드락을 주기적으로 확인하고 강제 종료 등을 통해 해결하는 탐지 및 복구 프로세스의 실효성을 분석했다.
때로는 발생 빈도에 따라 문제를 무시하는 정책이 시스템 전체 효율 면에서 더 나은 선택이 될 수 있다는 공학적 판단의 근거도 이해했다.
데드락은 단순히 오류가 아니라 자원 관리 정책의 허점에서 비롯되는 구조적인 문제임을 깨달았다.
복잡하게 얽힌 자원 경합 문제를 논리적으로 풀어가는 과정을 통해 시스템 설계의 정밀함을 다시 한번 실감했다.
안정적인 시스템 운영을 위해 자원 접근 순서를 표준화하고 트랜잭션 단위를 최소화하는 등 방어적 설계 능력을 배양했다.
자원 할당의 꼬인 실타래를 풀어내며 시스템의 연속성을 확보하는 기술을 습득했다.
