공유 데이터 순서 제어
임계구역에는 한 번에 하나의 프로세스만 들어가야 합니다.
운영체제 핵심 지도
동기화는 순서, 메모리는 주소와 공간
이번 절은 공유 자원 충돌을 막는 동기화와, 주소를 실제 메모리 공간에 배치하는 관리 기법을 한 묶음으로 비교합니다.
P는 진입, V는 해제
카운터와 대기 큐로 busy-wait 없는 상호배제를 만듭니다.
네 조건이 동시에 성립
상호배제, 점유대기, 비선점, 환형대기가 함께 필요합니다.
주소 변환과 배치
분할, 페이징, 세그먼트, 가상기억장치가 계산 단서입니다.
판별 순서
공유 자원동시 접근이면 동기화 문제
서로 대기자원 그래프가 닫히면 교착상태
주소 계산페이지 번호와 변위부터 분리
암기 축
순서, 조건, 계산을 분리
동기화 문제는 실행 순서를, 교착상태는 필요 조건을, 메모리 문제는 주소 변환 단계를 먼저 확인하면 보기가 빠르게 줄어듭니다.