여러 프로세스가 공유 자원에 동시에 접근할 때 발생할 수 있는 데이터 불일치 문제를 방지하기 위해 임계구역(Critical Section)의 개념과 동기화 메커니즘을 분석했다.
데이터의 무결성을 지키기 위해 프로세스들이 어떤 규칙에 따라 자원을 나누어 써야 하는지 그 논리적인 해결 방안을 정리했다.
임계구역 문제 해결을 위한 고전적인 소프트웨어 방식인 피터슨 알고리즘(Peterson’s Algorithm)의 로직을 고찰하며 동기화의 본질을 파악했다.
각 프로세스가 자신의 진입 의사를 표시하는 flag와 상대방에게 순서를 양보하는 turn 변수를 사용하여 어떻게 질서를 유지하는지 코드로 확인했다.
상호 배제(Mutual Exclusion), 진행(Progress), 그리고 한정 대기(Bounded Waiting)라는 동기화의 세 가지 필수 조건을 명확히 이해했다.
현대 운영체제가 제공하는 뮤텍스(Mutex)와 세마포어(Semaphore) 등 더 효율적이고 강력한 동기화 도구들이 이러한 기초 원리 위에 세워졌음을 깨달았다.
보이지 않는 곳에서 수많은 프로세스가 충돌 없이 협력할 수 있게 만드는 이 정교한 규칙들이야말로 안정적인 시스템 운영의 핵심 기반임을 실감했다.
공유 자원을 둘러싼 프로세스들의 치열한 눈치싸움을 논리적으로 해결해 나가는 과정에서 운영체제 설계의 묘미를 느꼈다.
항상 임계구역을 식별하고 적절한 동기화 기법을 적용하는 꼼꼼한 설계 습관을 유지했다.
복잡한 동시성 환경에서 데이터의 일관성을 완벽히 보장할 수 있는 견고한 시스템을 구축했다.
