| 研究概要 |
米澤等によって提案された並行オブジェクト指向計算モデルABCMをC言語に適用した言語ABCL/Cをベースにしてオペレーティングシステム核を記述し, その結果をもとに並行オブジェクト指向言語でオペレーティングシステム核を記述するのに有用な概念を整理することによってABCL/C+を設計した. 現在, この設計に基づいて処理系を試作している段階である. この試作が完了次第, 我々が提案している, オペレーティングシステム核を記述するのに極めて自然であるオブジェクトの入れ〓構造を組み込むべくその実現性を検討している. オブジェクトの入れ〓構造はbreadthfirstでメソッドを継承する方法をとるのがよさそうであるとの結論に達してはいるが, その効率のよい実現方法が固まるのを待って処理系の試作に取りかかるのでは, 全体の計画の進捗に影響を及ぼすと判断し, 現在, オペレーティングシステム核を記述する上で有用な概念であり, 手続きおよび関数をオブジェクトと統一するルーチンオブジェクトだけを導入した言語の処理系を試作している. これが終り次第, この言語を用いてオペレーティングシステム核を記述するとともに入れ〓構造を許す機能を組み込む計画である.
|
