| 研究課題/領域番号 |
03558006
|
|---|
| 研究機関 | 東京大学 |
|---|
研究代表者 |
益田 隆司 東京大学, 理学部, 教授 (80114130)
|
|---|
| 研究分担者 |
清木 康 筑波大学, 電子情報工学系, 助教授 (10169956)
加藤 和彦 東京大学, 理学部, 助手 (90224493)
|
|---|
| キーワード | 分散オペレ-ティングシステム / マルチスレッド / 遠隔手続き呼び出し / 永続オブジェクト / タプルスペ-ス |
|---|
| 研究概要 |
本年度は分散システムXEROの細部の設計を完成し、中心的な機能を提供するプログラム実行機構、プロセス間通信機構、及び二次記憶管理機構の3つのモジュ-ルを実現した。
プログラム実行機構は、「コンテキスト」と「スレッド」という2つの概念で実現した。コンテキストについては、主記憶と二次記憶との間での出し入れを可能にするコンパイラと実行時機構を実装した。またスレッドについては、カ-ネルとユ-ザレベルのモジュ-ルの協調に基づく新たなスレッド管理機構を実装した。プロセス間通信機構では、静的に型付けされた任意のデ-タを異機種環境上で通信する「高階遠隔手続き呼び出し技術(HRPC)」を開発した。これをもとに分散C言語を設計し、その処理系をC言語のプリプロセッサの形で実装した。二次記憶管理には複合オブジェクトの概念を導入し、永続オブジェクト管理システムの設計と実現を行なった。これまでに単一サイトでの実装が完了し、現在は分散環境への対応を行なっている。さらに永続オブジェクトへのアクセスの高速化を計る「永続キャッシング技術」を提案した。また、上述のコンテキストを分散された二次記憶上で管理するための「分散共有格納庫(DSR)」を設計しプロトタイプを実現した。
以上、本年度に計画していた各部の設計とプロトタイプの実現を達成した。本システム全体の設計は情報処理学会欧文誌に掲載予定である。スレッドの管理方式はIEEE COMPSAC'91で、HRPCはHICSS'92で、またDSR実現の基礎技術であるタプルスペ-スの効率的な管理法はSPDP'91で発表した。分散C言語は日本ソフトウェア科学会誌で、複合オブジェクトの管理法は情報処理学会全国大会で、永続キャッシング技術はIEEE Trans.on Software Engineeringで、それぞれ発表予定である。
|
