• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

メモリ共有型マルチプロセッサシステムにおける無待機アルゴリズムに関する研究

Research Project

Project/Area Number 09780281
Research Category

Grant-in-Aid for Encouragement of Young Scientists (A)

Allocation TypeSingle-year Grants
Research Field 計算機科学
Research InstitutionNara Institute of Science and Technology

Principal Investigator

井上 美智子  奈良先端科学技術大学院大学, 情報科学研究科, 助手 (30273840)

Project Period (FY) 1997 – 1998
Project Status Completed (Fiscal Year 1998)
Budget Amount *help
¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 1998: ¥500,000 (Direct Cost: ¥500,000)
Keywords分散アルゴリズム / 無待機アルゴリズム / 共有メモリシステム / 自己安定性 / マルチプロセッサシステム / 分散協調問題
Research Abstract

メモリ共有型マルチプロセッサシステムにおける無待機アルゴリズムに関して研究を行った。複数のプロセスが協調動作を行うためのアルゴリズムにおいて、各プロセスが他のプロセスの動作速度に関わらす有限回のステップで処理を完了することを保証するとき、そのアルゴリズムは無待機であるという。無待機アルゴリズムは自プロセス以外のプロセスが故障して停止しても正しく動作することから、高い故障耐性を持つアルゴリズムとして注目されている。本研究では、無待機アルゴリズムにの研究に関して、主に以下の2つの成果を得た。
1. 自己安定無待機時計合わせプロトコルに関する研究
全プロセスが大域パルスを共有する同期式共有メモリシステムで、各プロセスが個別に管理する局所時計を同期させるプロトコルに関する研究を行った。これまで、同期に要するパルス数である同期時間が最適であるプロトコルを提案していたが、今年度はこの最適性を損なうことなく自己安定性をも有するプロトコルを提案した。
2. 共有オブジェクトの無待機な実現に関する研究
メッセージ交換システムにおいて、複数のプロセスが同時に利用することのできる共有オブジェクトを実現する研究を行った。共有オブジェクトに対する操作を開始してから応答が得られるまでの応答時間に関して、効率の良い共有レジスタおよび一般の共有オブジェクトの実現、および、応答時間の下界に関する結果を示した。

Report

(2 results)
  • 1998 Annual Research Report
  • 1997 Annual Research Report
  • Research Products

    (7 results)

All Other

All Publications (7 results)

  • [Publications] 井上美智子: "Efficient Linearizable Implementation of shared FIFO Queues and Geveval Objects on a Distributed System" IEICE Transaction on Fundamentals of Electronics communication and computes sciences. E81-ANo.5. 768-775 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 守屋宣: "Self-stabilizing Wait-Free clock Synchronization with Bounded Space" Proceedings of the 2nd International conference on Principles of Distributed Systems. 129-143 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 大堀 力: "分散移動システムのための前後関係保存放送プロトコル" 電子情報通信学会論文誌(D1). J82-D-1No.2. 425-435 (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] 須田克朗: "線形化可能性を保証する共有オブジェクトの無待機な実現" 電子情報通信学会技術報告. COMP98-73. 9-16 (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] 寺田雅人: "分散移動システムにおける全域チェックポイントについて" 電子情報通信学会技術報告. COMP98-74. 17-24 (1999)

    • Related Report
      1998 Annual Research Report
  • [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)

    • Related Report
      1997 Annual Research Report
  • [Publications] Michiko Inoue: "Efficient Lirearizable Implementation of Shared FIFO Queues and General Objects on a Distributed System" IEICE Transactions on fundamentals. (掲載予定).

    • Related Report
      1997 Annual Research Report

URL: 

Published: 1998-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi