軽量オブジェクトの分散と永続化を支援するオペレーティングシステムの研究開発

1994 Fiscal Year Annual Research Report

• Project/Area Number: 06680312
• Research Institution: The University of Electro-Communications
• Principal Investigator: 清水 謙多郎 電気通信大学, 電気通信学部, 助教授 (80178970)
• Keywords: オペレーティングシステム / オブジェクト指向 / 分散処理 / 保護 / 永続処理

Research Abstract

研究目的及び実施計画に従い、軽量オブジェクトを支援するオペレーティングシステム(OS)の基本設計を行い、プロトタイプの実装を行った。
1.オブジェクトのネ-ミング、記憶構造、基本的な呼出し機構を設計した。
2.オブジェクトの保護領域(ドメイン)をユーザが操作するためのインターフェース、ドメインの管理機構を設計した。同一アドレス空間内に存在するドメインを不正なアクセスから互いに保護するため、ドメイン間呼出しにおいてアクセス権のチェックを行い、また、ドメイン外部の不正なアドレス参照を禁止する方式について検討した。とくに後者について、オブジェクト操作の効率を低下させないよう、ドメイン切替時にアドレス変換バッファを無効化し、不正なアドレス参照をOSが捕捉する手法を考案した。
3.キ-/ロック方式を拡張したオブジェクトの保護機構を設計した。キ-を割符として利用する方式、オブジェクトのクラスにキ-を対応させる方式、キ-をオブジェクト間で継承する方式を新たに考案した。
4.スレッドのスケジューリングおよび同期機構。カーネルとユーザレベルの協調による、効率的かつ柔軟な新しいスレッド機構を設計した。
5.以上の設計をもとに、フリーソフトウェアであるNetBSDを改造し、プロトタイプを実装した。今後、同じくフリーソフトウェアであるGNU Cのコンパイラに手を加え、上記のOSと連携させるための機構を設計・実装していく予定である。

Research Products

• [Publications] 岡坂 史紀: "マイクロプロセス:ユーザプログラムとカーネルの協調によるスレッドの実現" 情報処理学会論文誌. 36,4. (1995)
• [Publications] 岡坂 史紀: "Microprocesses:An Implemenntation of Threads Based on Kernel/User Cooperation" Proceedings of 7th International Conference on Parallel and Distributed Systems. 850-855 (1994)
• [Publications] X.Jia: "Atomic Accesses to a Single Replicated File in Distributed Systems" 同上. 693-699 (1994)
• [Publications] X.Jia: "A Parallel and Nonblocking Directory Management in Distributed Systems" Journal of Parallel and Distributed Computing. 20,3. 330-340 (1994)
• [Publications] 清水 謙多郎: "詳細 OSハンドブック 第IV部 OSの技術動向" ソフト・リサーチ・センター, 617(94) (1994)