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

点击翻译按钮获取中文摘要

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