9.2-Address_Spaces

는 양의 정수로 이루어진 정렬된 주소들이다.
만약 주소가 빠짐없이 연이은 자연수로 이루어져있으면, 라고 한다.
논의를 간단하게 하기 위해, 우리는 Linear Address Space 를 가정하고 이야기한다.

Virtual Memory 를 사용하는 시스템에서는, CPU는 Address Space 로부터
사이즈의 Virtual Address 를 만들고 이 주소공간을 라고 부른다.
주소 공간의 크기는 가장 큰 주소를 표현하는데 필요한 Bit 에 의해 결정된다.
예를 들어, 개의 주소가 필요한 Virtual Address Space 는
라고 부른다,
대부분의 시스템은 32-bit 혹은 64-bit 의 Address Space 를 지원한다.

시스템은 또한 M Bytes 에 대응하는 Physical Address Space 를 가질 수 있다.
은 2의 지수꼴일 필요는 없지만, 논의를 위해 을 가정한다.

주소 공간의 개념은
데이터 객체(Bytes) 와 속성(Address) 간의 분명한 구분을 위해
중요하다.
이 개념을 통해, 하나의 데이터 객체에 여러개의 주소, 각각이 다른 주소공간에 속하는
그런 상태를 이해할 수 있다.

이것이 Virtual Memory 의 기본 개념이다.
Main Memory 의 각 Byte 는 Virtual Memory Space 에서 선택된 Virtual Address 를 가지고,
Physical Address Space 에서 선택된 Physical Address 를 가진다.