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

1988 年度 研究成果報告書概要

• 研究課題/領域番号: 62580036
• 研究種目: 一般研究(C)
• 配分区分: 補助金
• 研究分野: 実験動物学
• 研究機関: 国立遺伝学研究所 ; 慶応義塾大学
• 研究代表者: 土居 範久 慶応義塾大学, 情報科学研究所, 教授 (50051553)
• 研究期間 (年度): 1987 – 1988
• キーワード: オブジェクト指向言語 / オペレーティングシステム核 / ABCL / C+ / ABCL

研究概要

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

研究成果

• [文献書誌] 土居範久: 情報処理学会研究報告 87-OS-35. 35. 35-41-8 (1987)
• [文献書誌] 土居範久: 慶応義塾大学情報科学研究所テクニカルレポート. KIIS-86-02. (1987)
• [文献書誌] 土居範久: コンピュータソフトウェア. 5(4). 12-26 (1988)
• [文献書誌] 土居範久: 情報処理. 29(4). 359-367 (1988)
• [文献書誌] DOI,N.: PROCEEDINGS OF EURPAN CONFERENCE ON OBJECT-ORIENTED PROGRAMMING. 250-266 (1988)
• [文献書誌] 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)