객체 지향 기법에 기초한 마이크로 커널의 설계 및 구현

운영 체제 커널은 자원 및 서비스를 제공하는 정책(policy) 층과 물리적 하드웨어를 제어하는 기법(mechanism) 층으로 분리될 수 있다. 본 논문은 정책과 기법의 분리에 기반을 둔 운영 체제 구조를 설계하고, 객체 지향 인터페이스를 제공하는 마이크로 커널을 설계 및 구현한 내용을 제시하고 있다. 마이크로 커널은 하드웨어의 기능을 논리적 객체로 상위 수준에 제공하며, 따라서 마이크로 커널은 하드웨어에 대한 제어 기능을 갖는 객체들의 집단으로 간주할 수 있도록 하였다. 각 객체들은 운영 체제가 필요로 하는 하드웨어 기능을 기반으로 하여 설계하였으며, 처리기의 수행 흐름의 제어및 가상 주소 공간 형성에 필요한 기본 함수들과 트랩및 인터럽트등의 사건 처리 기법을 위한 기본 함수들을 도출한 후 이들을 객체화한 인터페이스를 구성하였다. 본 마이크로 커널은 C++언어를 이용하여 구현되었으며, 기존 시스템과의 비교와 성능 측정을 통하여 시스템의 효용성을 입증하고 있다.