observe_db

Part 1. 적재(fetch) 전략 페이지나 세그먼트를 보조기억장치에서 메모리로 이동시키는 시점 결정 예측 적재(anticipatory fetch) 전략 프로세스가 조만간 참조할 것 같은 페이지를 예측하여 적재 휴리스틱(heuristic) 사용 요구 적재(demand fetch) 전략 프로세스에서 명시적으로 참조하는 페이지 적재 해당 페이지가 적재도리 때까지 대기(=실행시간 증가) 요구 페이징(demand paging) 페이징 시스템에서 요구할 때 페이지를 적재하는 것 페이지 적재를 위한 대기 시간 증가 지역성(locality, 구역성, 국부성) Peter J. Denning 증명(1968) 프로세스는 현재 실행되는 주소 부근에서 국부적인 부분만을 집중적으로 참조한다는 성질 페이징 시스템: 가상 주소 ..

Part 1. 메모리 관리자(memory manager) 메모리를 관리하는 OS 부분 메모리의 사용부분 및 가용부분 관리 프로세스 요구에 따라 메모리 할당 사용이 끝난 메모리 공간 회수 메모리 공간 부족 시에 디스크를 사용한 프로세스 실행 지원(ex. 가상메모리) 메모리 관리 전략 적재(fetch): 요구 적재(deman fetch)vs 예측 적재(anticipatory fetch) 다음 적재할 데이터 결정 배치(placement) 데이터를 배치할 위치 결정 교체(replacement) 공간 확보를 위해 메모리에서 방출할 데이터 결정 메모리 할당 연속할당(continuous allocation) 프로그램을 연속인 메모리 한 곳에 배치 충분히 큰 연속된 공간이 없으면 프로그램 할당 불가 구현 단순 불연속 ..

4/10, 4/13 Part 1. 교착상태(deadlock): 프로세스나 쓰레드가 아무리 기다려도 일어날 수 없는 사건을 대기하는 상태 자원 경쟁 교착상태 독점 자원에 대한 경쟁에서 교착상태 발생. 환형 대기(또는 순환대기)가 있을 때 발생. 어느 프로세스도 보유 자원을 포기하려고 하지 않은 상황의 환형 대기 자원할당 그래프에 의한 표현(노드와 엣지로 표현) 스풀링 시스템[1]의 교착상태 스풀 파일 공간이 도중에 차버리는 경우 충분히 공간을 확보하거나, 일정 임계치를 넘지 못하게 강제, 전부 차기 전에 프린팅 등. 자원(resource) 선점자원 손실없이 프로세스로부터 회수 가능 프로세서 메인메모리 등 비선점자원 회수시 손실이 발생가능한 자원 프린터, 스캐너 등 공유가능자원 재 진입코드 사용중 변경 X,..

4/6 Part 1. 병행 실행(concurrent execution) 동시에 존재하는 쓰레드 실행 비동기적(asynchronous) 실행 독립적으로 실행되거나 협력하여 실행 때때로 통신이나 동기화(synchronization) 필요 경쟁조건(race condition) 복수 개의 프로세스나 쓰레드가 동일한 데이터를 동시에 접근하는 경우 순서에 따라 결과가 달라질 수 있다. 상호 배제(mutual exclusion, mutex) 두개 이상의 쓰레드가 같은 데이터를 동시에 접근 데이터 값을 수정하기 전에 문맥교환 발생 가능=> 모순에 빠질 가능성 동시 접근 가능 데이터에 대한 상호배제적 접근 제어 한번에 한 쓰레드만 접근 가능 다른 쓰레드는 해당 자원이 unlocked 될 때까지 대기 순차적 접근(seri..