공유 자원에 접근하는 코드 구간으로 상호배제가 필요합니다.
동기화, 교착상태, 메모리 관리 분리표
병행 실행 문제는 공유 자원을 안전하게 쓰는 동기화와 서로 기다리며 멈추는 교착상태를 먼저 분리합니다.
P 연산은 자원을 얻고, V 연산은 자원을 반납하는 방향으로 기억합니다.
상호배제, 점유와 대기, 비선점, 환형 대기가 동시에 성립해야 합니다.
가상주소를 고정 크기 페이지로 나누어 프레임에 올립니다.
동기화와 교착상태 구분
메모리 관리는 주소 변환, 페이지 부재, 교체 알고리즘의 기준을 따로 정리하면 계산형 문제에 대응하기 쉽습니다.
임계영역 조건
상호배제, 진행, 한정 대기를 만족해야 올바른 해결로 봅니다.
생산자 소비자
빈 버퍼 수, 찬 버퍼 수, 상호배제 세마포어의 순서를 구분합니다.
교착상태 대응
예방은 조건을 깨고, 회피는 안전 상태를 검사하며, 회복은 발생 뒤 처리합니다.
교체 알고리즘
FIFO는 먼저 들어온 페이지, LRU는 가장 오래 안 쓴 페이지를 내보냅니다.