안나무의 공부블로그

운영체제

1. 페이지 교체 알고리즘 개요 프로세스가 요구한 페이지가 메모리에 없을 때 페이지 부재가 발생한다. 이 때 메모리 관리자는 스왑 영역에 있는 페이지를 가져와야 하는데, 메모리가 꽉 차있을 경우 기존 페이지를 스왑 영역으로 내보내야 한다. 이 때, 스왑 영역으로 내보낼 페이지를 결정하는 알고리즘을 페이지 교체 알고리즘이라고 한다. 좋은 페이지 교체 알고리즘은 앞으로 사용할 가능성이 적은 페이지를 스왑 영역으로 보내 페이지 부재를 줄이고 시스템의 성능을 향상시킨다. 좋은 페이지 교체 알고리즘 알고리즘의 성능을 평가하기 위해선 여러 가지를 고려해야 한다. 페이지 부재 횟수, 평균 대기 시간, 전체 작업 시간, 페이지 성공 횟수 등을 기준으로 평가할 수 있겠다. 2. 페이지 교체 알고리즘 종류 무작위 페이지 ..

2021. 9. 23.

운영체제

1. 요구 페이징 프로세스를 실행하기 위해서는 필요한 데이터를 메모리에 올려야 한다. 요구 페이징은 프로세스가 필요로 하는 데이터를 메모리에 올리는 방법 중의 하나이다. 핵심적인 개념은 필요한 부분만 메모리에 올린다는 것이다. 처음 프로세스를 실행할 때 필요한 부분만 메모리에 올린 후 사용자의 요청에 따라 추가적으로 데이터를 메모리에 올린다. 이는 2가지 측면에서 이점이 있는데, 프로세스의 일부만 메모리에 올리기 때문에 메모리를 효율적으로 관리할 수 있고 초기 응답 속도를 향상시킬 수 있다. 2. 페이지 테이블 엔트리 페이지 테이블 엔트리(PTE)는 페이지 테이블의 한 행을 말한다. 페이지 번호, 플래그 비트, 프레임 번호(주소 필드)로 구성된다. 플래그 비트의 종류는 아래와 같다. 접근 비트 페이지가 ..

2021. 9. 23.

운영체제

1. 캐시 직접 매핑 캐시는 메모리에 비해 용량이 매우 작은 편이다. 그래서 언제나 메모리의 일부만을 가지고 있을 수밖에 없다. 직접 매핑은 메모리의 페이지를 캐시 페이지 개수로 나누고 나뉜 각 영역을 블록이라고 한다. 블록 내에서의 순서에 따라 각 페이지는 캐시에 들어갈 수 있는 위치가 정해진다. 예를 들어 각 블록의 첫 번째 페이지는 캐시의 첫 번째 페이지에만 저장될 수 있는 것이다. 각 블록에는 번호가 매겨지는데, 이를 태그(tag)라고 한다. 캐시 페이지 테이블의 인덱스가 블록 내에서 메모리 페이지의 위치를 나타내기 때문에 캐시 페이지 테이블은 태그와 데이터만 가지고 있다. 직접 매핑은 캐시 히트와 캐시 미스를 빠르게 판단할 수 있다. 메모리의 각 페이지는 오직 한 군데에만 저장될 수 있기 때문이..

2021. 9. 23.

운영체제

1. 메모리 접근 권한 메모리의 특정 번지에 접근할 수 있는 권한이다. 읽기, 쓰기, 실행, 추가 4가지 권한이 존재한다. 다만, 추가는 쓰기가 반드시 동반되어야 하기 때문에 동일한 것으로 취급한다. 그래서 이를 조합하면 총 8가지 정도의 메모리 제어 방식이 나온다. 프로세스는 영역별로 접근 권한이 다르다. 다음은 각 영역별 권한에 대한 내용이다. 코드 영역 자기 자신을 수정하는 프로그램은 존재하지 않는다. 따라서 읽기 및 실행 권한을 가진다. 데이터 영역 데이터는 읽기, 쓰기가 모두 가능한 데이터와 읽기만 가능한 데이터로 나눌 수 있다. 일반적으로 모두 가능하고 상수로 선언한 변수는 읽기만 가능하다. 메모리 접근 권한 검사는 가상 주소 → 물리 주소 변환이 일어날 때마다 시행된다. 권한이 없는 접근을 ..

2021. 9. 23.

운영체제

1. 세그먼테이션 기법의 구현 세그먼테이션은 가변 분할 방식을 기반으로 한다. 따라서 테이블에 각 프로세스가 차지하는 메모리의 크기를 명시해줘야 한다. 크기가 모두 제각각이기 때문이다. 테이블에는 세그먼트의 크기를 나타내는 limit와 물리 메모리상의 시작 주소를 나타내는 address가 있고 테이블 인덱스는 세그먼트 번호를 의미한다. 세그먼테이션도 물리 메모리가 부족할 때 스왑 영역을 사용한다. 페이징 기법과 동일하게 I(invalid)로 표기한다. 2. 세그먼테이션 기법의 주소 변환 세그먼테이션 기법에서는 가상 주소를 VA=로 표현한다. S는 세그먼트 번호, D는 세그먼트 시작 지점에서 해당 주소까지의 거리이다. 각 프로세스마다 할당된 limit를 벗어난 메모리에 프로세스가 임의로 접근하려고 하면 메..

2021. 9. 23.

운영체제

1. 페이징 기법의 구현 페이징 기법은 고정 분할 방식을 이용한 가상 메모리 관리 기법이다. 균일하게 나뉜 각 영역을 페이지라고 부르며 번호를 매겨 관리한다. 물리 메모리도 같은 크기의 영역으로 균일하게 나눠 관리하는데, 이 영역은 프레임이라고 한다. 마찬가지로 번호를 매겨 관리한다. 페이지 테이블은 하나의 열로 구성된다. 각 행이 페이지의 번호를 나타내기 때문에 추가적인 열이 필요하지 않다. 각 열에는 해당 페이지가 위치한 프레임의 번호가 들어 있다. 페이지가 스왑 영역에 있는 경우는 invalid로 나타낸다. 2. 페이징 기법의 주소 변환 페이징 기법의 주소 변환 과정은 다음과 같다. 가상 주소가 어느 페이지의 어느 위치에 있는지 찾는다. 페이지 테이블을 이용해 어느 프레임의 어느 위치에 있는지 찾는..

2021. 9. 22.

운영체제

1. 가상 메모리 시스템 현대 메모리 관리의 가장 큰 특징은 물리 메모리의 크기와 프로세스가 올라갈 메모리의 위치를 신경 쓰지 않고 프로그래밍하도록 지원한다는 것이다. 이게 가능한 이유는 가상 메모리 시스템이 있기 때문이다. 가상 메모리의 크기와 주소 이론적으로 가상 메모리는 무한대의 크기이다. 물리 메모리의 크기 + 스왑 영역이 곧 가상 메모리가 가용할 수 있는 크기가 되기 때문이다. 가상 메모리 시스템에서 메모리 관리자는 가상 메모리의 크기를 바탕으로 프로세스가 사용하는 가상 주소를 실제 메모리의 물리 주소로 변환하는데, 이를 동적 주소 변환(DAT)이라고 한다. 프로세스는 자신이 배치되는 실제 메모리의 주소나 배치 상황 등에 대해 알 필요가 없다. 가상 메모리의 메모리 분할 방식 가상 메모리 시스템..

2021. 9. 22.

운영체제

1. 컴파일 과정 소스코드가 있다. 컴파일러는 소스코드를 기계어로 번역한다. 이 과정에서 오류가 있는지 점검하고 최적화를 통해서 필요 없는 변수와 코드를 삭제한다. 이렇게 목적코드가 만들어진다. 목적 코드에 라이브러리 코드를 삽입하여 최종 실행 파일을 만든다. 2. 변수와 메모리 할당 컴파일 과정에서 가장 중요한 것은 메모리를 확보하고 정리하는 부분이다. char str = 'a'; int vol = 7; float pri = 2.3; 기계어는 메모리 주소를 사용한다. 컴파일러는 0번지에 a를 넣고 이곳을 문자형이 들어가는 공간으로 기억한다. 1번지부터 4번지까지 확보한 후 정수 7을 넣고, 5번지부터 12번지까지 확보한 후 실수 2.3을 넣는다. 컴파일러는 프로그래머가 지정한 자료형에 해당하는 크기의 ..

2021. 9. 22.

운영체제

1. 메모리 분할 방식 메모리에 여러 프로세스를 배치하는 방법은 크게 가변 분할 방식과 고정 분할 방식으로 나뉜다. 가변 분할 방식 프로세스의 크기에 맞게 메모리가 분할된다. 따라서 분할된 메모리의 영역의 크기가 각각 다르다. 한 프로세스가 연속된 공간에 배치되기 때문에 연속 메모리 할당이라고도 한다. 하나의 프로세스를 연속적인 공간에 배치할 수 있다는 장점이 있지만, 메모리 관리가 복잡하다는 단점이 있다. 고정 분할 방식 프로세스의 크기에 상관없이 메모리를 같은 크기로 나눈다. 한 프로세스가 불연속적인 공간에 분산되어 배치될 수 있기 때문에 비연속 메모리 할당이라고도 한다. 메모리 관리가 수월하다는 장점이 있지만, 메모리 낭비가 발생할 수 있다는 단점이 있다. 현대 운영체제는 기본적으로 고정 분할 방식..

2021. 9. 22.

운영체제

1. 메모리 오버레이 이전에 비해 범용적으로 사용하는 메모리의 용량이 늘었지만, 여전히 메모리보다 큰 프로그램을 돌리는 상황이 발생하곤 한다. 한 번에 처리할 수 없기 때문에 프로그램을 적당한 크기로 나눠서 가져와야 하는데 이 기법을 메모리 오버레이(memory overlay)라고 한다. 하나의 메모리에 여러 프로그램을 겹겹이 쌓아놓고 실행한다고 해서 붙여진 이름이다. 프로그램을 몇 개의 모듈로 나눈 뒤 필요할 때마다 해당 모듈을 메모리에 가져와 사용한다. 중요한 모듈은 메모리에 상주시키고 부수적인 모듈들은 필요할 때만 호출하는 것이다. 메모리 오버레이에서 어떤 모듈을 가져오거나 내보낼지는 프로그램 카운터가 결정한다. 프로그램 카운터는 앞으로 실행할 명령어의 위치를 가리키는 레지스터로, 해당 모듈이 메모..

2021. 9. 22.