オペレーティングシステムの核を記述するための並行オブジェクト指向言語の開発

1988 Fiscal Year Annual Research Report

• Project/Area Number: 62580026
• Research Institution: Keio University
• Principal Investigator: 土居 範久 慶應義塾大学, 情報科学研究所, 教授 (50051553)
• Keywords: オブジェクト指向言語 / オペレーティングシステム核 / ABCL / C^+ / ABCL

Research Abstract

米澤らによって提案された並行オブジェクト指向計算モデルABCMを手続きおよび関数をオブジェクトと統一するルーチンオブジェクトを導入することにより拡張し、プロセス世界、すなわちプロセスを活動単位として存在せしめる環境、を作り出すことを可能にしたC言語版並行オブジェクト指向言語ABCL/C^+を設計し、その処理系の試作およびオペレーティングシステム核を記述することを試みた。その結果、ABCLのような簡潔にして強力な並行オブジェクトを記述する能力をもつ言語であれば、きわめて分りやすく見通しのよいオペレーティングシステム核を記述できることが確められた。しかし、現実の問題として処理系の吐き出すコードの効率が残されている。一般のアプリケーションとは異なりオペレーティングシステム核ともなると実行効率が死命を制するからである。したがって、現在、light-weightプロセスの概念を取り入れた、オブジェクト(プロセス)の管理・制御を軽くする処理系に向けての改善に努めている次第である。この方式の有効性は、この処理系が吐き出すオブジェクトコードを定め、それを用いて小型ではあるが我々の考えにもとづいたオペレーティングシステム核をパーソナルコンピュータPC-9801上に実現し、その上に実験的なウインドウシステムを試作することによって確認している。

Research Products

• [Publications] 土居範久: コンピュータソフトウェア. 5(4). 12-26 (1988)
• [Publications] 土居範久: 情報処理. 29(4). 359-367 (1988)
• [Publications] DOI,N.: PROCEEDINGS OF EUROPEAN CONFERENCE ON OBJECT-ORIENTED PROGRAMMING. 250-266 (1988)
• [Publications] DOI,N.: ""AN IMPLEMENTATION OF AN OPERATING SYSTEM KERNEL USING CONCURRENT OBJECT ORIENTED LANGUAGE ABCL/C^+,"ABCL:AN OBJECT-ORIENTED CONCURRENT SYSTEM" THE MIT PRESS, (1989)