1997 Fiscal Year Annual Research Report
メモリ共有型マルチプロセッサシステムにおける無待機アルゴリズムに関する研究
Project/Area Number |
09780281
|
Research Institution | Nara Institute of Science and Technology |
Principal Investigator |
井上 美智子 奈良先端科学技術大学院大学, 情報科学研究科, 助手 (30273840)
|
Keywords | マルチプロセッサシステム / 無待機アルゴリズム / 分散アルゴリズム / 分散協調問題 |
Research Abstract |
メモリ共有型マルチプロセッサシステムにおける無待機アルゴリズムに関する研究として以下の成果を得ることができた。 1.メモリ共有型マルチプロセッサシステム上での無待機アルゴリズムの設計に関する研究。 メモリ共有型マルチプロセッサシステム上で非同期に動作するプロセッサを協調させる基本的な手法として、各プロセッサが維持管理する局所的な時計の値を同期させる問題がある。本研究では、同期時間と呼ぶある固定された時間だけ停止することなく動作し続けたプロセッサ間の時計を同期させる無待機時計合わせプロトコルを考察した。本研究では、プロセッサ数nに対し、同期時間がO(n)であるプロトコルを提案し、また、同期時間の下界がΩ(n)であることを示し、提案したプロトコルの同期時間に関する漸近的最適性を示した。 2.共有オブジェクトの能力に関する研究。 共有オブジェクトの能力に関する研究として、メッセージの送受信によって情報交換を行うマルチプロセッサシステム上で共有オブジェクトを実現する問題を扱った。これまで、書き込み操作、読み込み操作だけを行える共有メモリセルを実現する研究が行われていたが、本研究では、共有FIFOキューや逐次的振舞を与えることで定義される一般的な共有オブジェクトをメッセージパッシングシステム上で実現する問題を考察し、共有オブジェクトの実現手法や、共有オブジェクトへの操作に関わる時間の下界に関する考察を行った。
|
Research Products
(2 results)
-
[Publications] Michiko Inoue: "Optimal Wait-Free Clock Synchnonization Protocol on a Shared-memory Multi-processor System" Proceedings of the 11th International Workshop on Distributed Algorithms. 290-304 (1997)
-
[Publications] Michiko Inoue: "Efficient Lirearizable Implementation of Shared FIFO Queues and General Objects on a Distributed System" IEICE Transactions on fundamentals. (掲載予定).