Mach 외부 메모리 관리
Mach 외부 메모리 관리는 Mach의 가상 메모리 시스템에서 메모리 객체의 실제 내용을 사용자 공간의 외부 관리자(페이저)가 제공하도록 하는 방식이다. 커널은 태스크의 메모리 매핑과 페이지 폴트 처리를 담당하고, 페이저는 메시지 기반 인터페이스로 메모리 객체의 데이터를 제공하거나 저장...
| 분류 | Mach 커널 외부 페이징 아키텍처 |
|---|---|
| 기술 기반 | Mach 가상 메모리 |
| 대표 버전 | Mach 3.0 |
| 주요 구성 | 커널, 메모리 객체, 외부 페이저 |
| 핵심 목적 | 메모리 서비스와 저장소 정책 분리 |
| 통신 방식 | Mach 포트 및 메시지 |
| 주요 동작 | 페이지 요청·공급·회수 |
| 운영체제 서버 | 파일 시스템과 메모리 서비스 연동 |
| 후속 연구 | GNU Mach, GNU Hurd |
| 설계상의 관심 | IPC 비용, 페이지 일관성 |
| 공식 문서 | GNU Mach External Memory |
Mach 외부 메모리 관리는 Mach의 가상 메모리 시스템에서 메모리 객체의 실제 내용을 사용자 공간의 외부 관리자(페이저)가 제공하도록 하는 방식이다. 커널은 태스크의 메모리 매핑과 페이지 폴트 처리를 담당하고, 페이저는 메시지 기반 인터페이스로 메모리 객체의 데이터를 제공하거나 저장 매체와 동기화한다. 파일 시스템 서버 등 운영체제 기능을 커널 외부로 분리하는 연구에서 중요한 구성 요소다.[1]
외부 메모리 관리에서는 커널이 태스크의 가상 주소 공간과 페이지 매핑을 보호하면서 실제 데이터 공급을 담당하는 사용자 공간 메모리 관리자, 즉 외부 페이저와 통신한다. 커널은 메모리 객체와 관련된 포트·메시지를 사용해 페이지 요청과 데이터 공급·상태 변경을 처리할 수 있다. 파일 시스템과 같은 서비스가 메모리 객체의 내용을 제공하는 구조를 통해 저장소와 가상 메모리를 긴밀하게 결합하면서도 역할을 분리하도록 했다.[2]
이 접근은 Mach 3.0의 마이크로커널 아키텍처를 특징짓는 중요한 부분으로, 전통적인 커널 내부 페이지 관리만으로 구현하던 기능을 외부 서버에 분담할 수 있게 한다. 그러나 페이지 폴트 처리 과정에서 발생하는 IPC와 서버의 성능 및 메모리 객체 상태의 일관성이 중요한 구현 과제가 된다. 후속 GNU Mach·GNU Hurd에서 이러한 메모리 관리 모델을 이용한 시스템 서비스를 연구했으며, XNU에서도 Mach 가상 메모리의 개념이 다른 형태로 계승되었다.
Mach 외부 메모리 관리에서는 커널의 주소 공간 관리와 메모리 객체의 실제 데이터를 제공하는 페이저를 구분한다. 커널이 메모리 매핑과 접근 보호를 수행하는 동안 외부 페이저는 페이지를 공급하거나 저장·회수하는 역할을 맡고, 두 구성 요소는 Mach의 메시지 인터페이스로 협력한다. 이 구조는 파일 시스템이 관리하는 데이터를 프로그램 메모리에 매핑하는 방법을 사용자 공간 운영체제 서버와 연결할 수 있게 했다.[3]
메모리 서비스가 외부 서버에 위치하면 서비스의 교체와 실험이 용이해질 수 있지만 페이지 폴트 처리에 필요한 IPC의 성능, 데이터 상태의 일관성 및 서버 오류에 대한 대응이 중요해진다. 이 때문에 외부 메모리 관리는 Mach 3.0의 마이크로커널 설계가 제시한 유연성과 구현 비용을 함께 설명하는 기술이다. 현대 XNU에서도 Mach 계열의 VM 개념이 남아 있지만 시스템 전체의 페이저 구조와 구현은 역사적인 Mach 3.0과 동일하지 않다.