The kernel is the basic software to facilitate the building of higher level structured operating systems. For the study of the kernel implementation, we transfer the virtual machine for the Concurrent Pascal, which is a language for writing a structured operating system, from PDP-11/45 to SYSTEM-100/80.
The virtual machine, which is called as a Concurrent Pascal Machine, consists of the kernel and the code interpreter.
The thesis describes the characteristics of the Concurrent Pascal, and the problems in transferring the virtual machine. And we present some solutions for them.
Kernel이란, 그 위에서 보다 높은 차원의 Structured 운영체제를 구성할 수 있게 하는 기본적인 소프트웨어를 말한다. 이러한 Kernel을 연구하기 위하여, Structured 운영체제를 프로그램하는 언어인 Concurrent Pascal의 가상적인 기계를 PDP-11/45에서 SYSTEM-100/80으로 옮겼다. 이 가상적인 기계는 Concurrent Pascal Machine이라고 불리며, Kernel과 Code Interpreter의 2부분으로 구성되어져 있다.
본 논문에서는 Concurrent Pasal의 특성과, 가상적인 기계를 옮기는데에서 발생하는 문제점들을 설명하고, 이러한 문제들에 대한 해결책을 제시하였다.