임계구역에 동시에 접근할 수 있는지 확인합니다.
동기화 위험과 메모리 관리 비교
동기화는 여러 실행 흐름이 같은 자원에 접근하는 문제이고, 메모리 관리는 제한된 공간을 나누고 교체하는 문제입니다.
교착상태 네 조건이 함께 성립하는지 봅니다.
논리주소가 페이지와 오프셋으로 나뉘는지 확인합니다.
FIFO, LRU, LFU가 어떤 페이지를 내보내는지 따집니다.
세마포어와 페이징 구분
교착상태와 페이지 교체는 조건을 표로 놓고 하나씩 지우면 안정적입니다.
P와 V 연산
P는 자원 사용을 시도하고 V는 사용 후 자원을 돌려줍니다.
네 조건 동시 성립
상호배제, 점유대기, 비선점, 순환대기를 함께 확인합니다.
페이지와 프레임 대응
내부 단편화와 페이지 테이블 역할을 함께 봅니다.
페이지 부재 처리
참조 문자열을 따라가며 메모리 안의 페이지 변화를 적습니다.