1996 Fiscal Year Annual Research Report

耐故障実時間処理を支援する大規模並列システムの基本ソフトウェアの開発

Research Project

Project/Area Number	07558153
Section	試験
Research Institution	The University of Tokyo
Principal Investigator	清水謙多郎東京大学, 大学院・農学生命科学研究科, 助教授 (80178970)
Co-Investigator(Kenkyū-buntansha)	芦原評電気通信大学, 電気通信学部, 助手 (00242347)
Keywords	並列処理 / 実時間処理 / オペレーティングシステム / マイクロカーネル / プロセス間通信 / 仮想記憶 / エミュレーション
Research Abstract	今年度は、実時間処理を支援する並列オペレーティングシステム(OS)のカーネルの設計を行った。カーネルは、マルチプロセッサ実時間スケジューラ、実時間プロセス間通信、実時間仮想記憶サブシステムから構成される。 1.マルチプロセッサ実時間スケジューラ:スケジューリング方針は、優先度順スケジューリングに従い、スレッド間の同期には、スピンロックと相互排除ロックを用いる。相互排除ロックには、優先度継承プロトコルを適用した。 2.サーバの構築において、シングルスレッドサーバ並みの単純さで、並行性を有効に記述できる新しいモデルを開発し、その基本機構を実現した。これは、サーバ呼出し時にスレッドそのものが相手のサーバに移送されるというものである。現在、これを用いて、ネ-ムサーバやファイルサーバなどのサブシステムを実現している。 3.メモリ領域を扱う際の基本単位であるメモリセグメントの作成・削除、アドレス空間への配置とその解除、ページの読出しと書込みの機構を設計・実装した。 4.さまざまなOSをバイナリレベルでエミュレートするのに必要な機構として、トラップトランポリンの機構を開発した。上記の項目に関し、パーソナルコンピュータ上で実装を行った。実際に性能を測定した結果、プロセス間通信の速度は、他のOSと比較して、非常に性能の良いものであった。現在、UNIX上のソフトウェアをそのまま動作させるため、Plan 9のエミュレーションのための機構を開発している。本OSの技術およびプログラムは、インターネット上で公開している。

Research Products
(6 results)

All Other

All Publications (6 results)

[Publications] 岡坂史紀: "A Concurrent Server Model for Service Developments in the Act 8 Operating System" Proceedings of Multimedia JAPAN 96. 134-139 (1996)
[Publications] Xiaohua Jia: "Atomic Accesses to Replicated Files in Reliable Distributed File Systems" International Jaurnal of Computer Systems,Science and Engineering. 11,3. 145-152 (1996)
[Publications] 岡坂史紀: "Act8オペレーティングシステムにおけるサーバ開発の枠組み" 電子情報通信学会論文誌B-1. J79-B-I,5. 286-292 (1996)
[Publications] 繁田聡一: "A Fine-Grained Protection Mechanism for Object-Oriented Operating Systems" Proceedings of the 5th International Workshopon Obiect-Orientation in Operating Systems. 156-160 (1996)
[Publications] 清水謙多郎: "Parallel Programming Environment with Dynamic Resource Management Services:Design and Application to Molecular Dynamics Simulation" Proceedings of the 12th International Conference on Computers and Their Applications. (1997)
[Publications] 芦原評: "分散システムにおける読み書き問題に対するコテリーの拡張とその応用" 情報処理学会論文誌. (1997)

1996 Fiscal Year Annual Research Report

耐故障実時間処理を支援する大規模並列システムの基本ソフトウェアの開発

Principal Investigator

清水 謙多郎 東京大学, 大学院・農学生命科学研究科, 助教授 (80178970)

Research Products

[Publications] 岡坂史紀: "A Concurrent Server Model for Service Developments in the Act 8 Operating System" Proceedings of Multimedia JAPAN 96. 134-139 (1996)

[Publications] Xiaohua Jia: "Atomic Accesses to Replicated Files in Reliable Distributed File Systems" International Jaurnal of Computer Systems,Science and Engineering. 11,3. 145-152 (1996)

[Publications] 岡坂史紀: "Act8オペレーティングシステムにおけるサーバ開発の枠組み" 電子情報通信学会論文誌B-1. J79-B-I,5. 286-292 (1996)

[Publications] 繁田聡一: "A Fine-Grained Protection Mechanism for Object-Oriented Operating Systems" Proceedings of the 5th International Workshopon Obiect-Orientation in Operating Systems. 156-160 (1996)

[Publications] 清水謙多郎: "Parallel Programming Environment with Dynamic Resource Management Services:Design and Application to Molecular Dynamics Simulation" Proceedings of the 12th International Conference on Computers and Their Applications. (1997)

[Publications] 芦原 評: "分散システムにおける読み書き問題に対するコテリーの拡張とその応用" 情報処理学会論文誌. (1997)

清水謙多郎東京大学, 大学院・農学生命科学研究科, 助教授 (80178970)

[Publications] 芦原評: "分散システムにおける読み書き問題に対するコテリーの拡張とその応用" 情報処理学会論文誌. (1997)