동시 프로그래밍에서의 임계 영역: 실패 사례에서 Peterson 알고리즘까지

이 장에서는 동시 프로그래밍에서 임계 영역을 구현하는 방법을 자세히 설명합니다. 임계 영역의 개념과 중요성을 소개한 후, 경쟁 상태나 교착 상태와 같은 문제점을 강조하면서 단순한 잠금이나 플래그 기반 메커니즘 등 몇 가지 실패 사례를 검토합니다. 그리고 상호 배타와 진행을 보장하는 우아한 해결책인 Peterson 알고리즘을 소개하고, 그 정당성 증명의 복잡성과 비원자적 연산이나 명령어 재정렬과 같은 실제적인 문제점에 대해서도 논의합니다.