The operating systems in many existing systems are not well-matched to the backend database computer even if there are many services which a database management system (DBMS) requests to them, since they contain the many inefficient and redundant functions to support the DBMS due to their generality. A new operating system is proposed to provide minimal facilities which the DBMS needs.
In this thesis, we study and implement the kernel for the backend database computer which only performs the functions of a DBMS. The problems of a DBMS on top of the general-purpose operating system and their solutions are presented in detail. The basic requirements of the kernel are explained based on the solutions and the kernel is implemented in emphasizing on the buffer pool, network which manages the communication with the host computer, device and file management which are especially sensitive to the performance of the DBMS. Finally, the implemented kernel is tested and analyzed by the prototype of a DBMS and the correctness of the implementation are also proved.
현존하는 많은 운영 체제(Operating system)에는 데이타 베이스 관리 시스템이 요구할수 있는 많은 service가 있음에도 불구하고 이러한 운영 체제는 대체로 후위 데이타 베이스 컴퓨터(Backend database computer)에는 적합하지 않다. 왜냐하면 이러한 운영 체제는 그들의 일반성 때문에 데이타 베이스 관리 시스템을 지원하기에는 비효율적이고 불필요한 기능을 많이 가지고 있기 때문이다. 따라서 데이타 베이스 관리 시스템이 필요로하는 최소의 기능만을 효율적으로 제공하는 새로운 운영 체제가 필요하다.
이 논문은 데이타 베이스 관리 시스템의 기능만 수행하는 후위 데이타 베이스 컴퓨터에서의 커널(Kernel)을 제작하는 것이다. 먼저 일반적인 목적으로 제작된 운영 체제에서 데이타 베이스 관리 시스템이 수행될때 있어서의 여러 문제점과 그 해결책이 파악 되었으며, 커널의 제작에 있어서의 모든 기본적인 방향은 이러한 해결책에 기초 하였다. 특별히 데이타 베이스 관리 시스템의 performance에 많은 영향을 주는 부분인 device management, buffer pool management 그리고 file system등은 데이타 베이스 관리 시스템의 여러 특징들을 강하게 반영하여 설계하고 제작하므로써 보다 효율적인 커널이 되게 하였다. 마지막으로 제작된 커널은 간단한 데이타 베이스 관리 시스템에 의하여 시험 및 분석 되었고 그리고 제작의 올바름도 논의 되었다.
