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

1988 Fiscal Year Final Research Report Summary

• Project/Area Number: 62580036
• Research Category: Grant-in-Aid for General Scientific Research (C)
• Allocation Type: Single-year Grants
• Research Field: Laboratory animal science
• Research Institution: National Institute of Genetics ; Keio University
• Principal Investigator: 土居 範久 慶応義塾大学, 情報科学研究所, 教授 (50051553)
• Project Period (FY): 1987 – 1988
• Keywords: オブジェクト指向言語 / オペレーティングシステム核 / ABCL / C+ / ABCL

Research Abstract

米澤らによって提案された並行オブジェクト指向計算モデルABCMを、手続きおよび関数をオブジェクトと統一行するルーチンオブジェクトを導入することによって拡張し、プロセスの世界、すなわちプロセスを活動単位として存在せしめ力環境、を作り出すことを可能にした(言語版並行オブジェクト指向言語ABCL/C+を設計し、その処理系を試作するとともにABCL/C+を用いてオペレーティングシステム核を記述することを試みた。ABCL/C+の設計に際してはベル研究所で開発されたオペレーティングシステム核XINUを書き替えることで言語機能の妥当性を確かめた。さらに、小型ではあるがXINUをベースとしたオペレーティングシステムをパーソナルコンピュータPC-9801上に実現し、その上に実験的なウィンドウシステムを試作することによって我々の考え方の有効性を確認している。これらの研究・開発を通して、ABCLのような簡潔にして強力な並行オブジェクトを記述する能力をもつ言語であれば、きわめて分りやすく見通しのよいオペレーティングシステムシステム核を記述できることが確かめられた。しかし、現実の問題として、次のような問題が残されている。
(1)言語処理系の吐き出すオブジェクトコードの効率
(2)並行オブジェクト間のメッセージパッシングの効率のよい実現方法
(3)オブジェクトの入れ子構造をモジュール化と併せて定義するための方法
特に、オペレーティングシステム核ともなると実行効率が死命を制することから(1)、(2)は今後の重要な研究課題である。

Research Products

• [Publications] 土居範久: 情報処理学会研究報告 87-OS-35. 35. 35-41-8 (1987)
• [Publications] 土居範久: 慶応義塾大学情報科学研究所テクニカルレポート. KIIS-86-02. (1987)
• [Publications] 土居範久: コンピュータソフトウェア. 5(4). 12-26 (1988)
• [Publications] 土居範久: 情報処理. 29(4). 359-367 (1988)
• [Publications] DOI,N.: PROCEEDINGS OF EURPAN CONFERENCE ON OBJECT-ORIENTED PROGRAMMING. 250-266 (1988)
• [Publications] DOI,N.: ""AN IMPLEMENTATION OF AN OPERATING SYSTEM KERUEL USING CONCURRENT OBJECT ORIENTED LANGUAGE ABCL/C+,"IN YONEZAWA,A.(ED),ABCL:AN OBJECT-ORIENTED CONCURRENT SYSTEM." THE MIT PRESS, (1989)