自動障害回復をする分散コンピューターシステム

具有故障自动恢复功能的分布式计算机系统

• 批准号: 09780289
• 负责人: 角川 裕次
• 金额: $ 1.28万
• 依托单位: Hiroshima University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1997
• 资助国家: 日本
• 起止时间: 1997 至 1998
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-09780289/
• 关键词: 分散アルゴリズム; 自己安定; 耐故障性; ネットワーク; 分散計算; 分散システム

本研究では、高信頼性ネットワークソフトウエアの開発を目指したものである。特にハードウエア障害が生じた後、人間の手を介することなく自動的に回復するネットワークソフトウエアの開発を目指している。故障が生じてシステムが異常な状況になっても、自動的な回復をするシステムは自己安定システムと呼ばれ、近年活発に研究がなされている。本研究の成果として、高水準な分散アルゴリズム記述モデルにおいて、自己安定分散アルゴリズムを開発する枠組を提案し、その有効性を示したことである。本研究で採用した分散アルゴリズム記述モデルは、通信には状態通信モデルを、実行には逐次実行モデルを採用している。状態通信モデルとは、通信は隣接する計算機の内部状態を時間遅れなく、直接に読み出せるモデルである。逐次実行モデルとは、複数ある計算機のうち、いずれか一つだけが選ばれて1ステップ実行できるものである。このモデルは明らかに実際の分散システムとはかけはなれているが、アルゴリズムを記述する立場、つまりプログラマから見れば、分散システムの持つプログラミングを困難としている、並行性や非同期性を隠していることになる。このようなモデルの上で、これまでに提案されているいくつかの分散アルゴリズムを再設計した。さらに、自己安定性を持つように改良を行った。対象としたアルゴリズムは、Lamportの分散相互排除アルゴリズム、RicartとAgrawalaの分散相互排除アルゴリズム、Maekawaの分散相互排除アルゴリズム、ChangとRobertの分散リーダー選出アルゴリズムである。これらのアルゴリズムは元来自己安定性は持っていないが、高水準モデルを採用することで、容易に自己安定性を組み込むことを示した。またシミュレーションにより、実行においても妥当な性能が得られることを示した。

In this study, で で and Takayuki ネットワ ネットワ ソフトウエア ソフトウエア を developed を pointed to である た た である である である. Special に ハ ー ド ウ エ ア handicap of が raw じ た, human の hand を interface す る こ と な く automatic reply に す る ネ ッ ト ワ ー ク ソ フ ト ウ エ ア の open 発 を refers し て い る. Fault が raw じ て シ ス テ ム が abnormal condition な に な っ て も, automatic な reply を す る シ ス テ ム は itself steady シ ス テ ム と shout ば れ, in recent years, live 発 に research が な さ れ て い る. This study achievements of の と し て な dispersion, high level ア ル ゴ リ ズ ム account モ デ ル に お い て, their stability and dispersion ア ル ゴ リ ズ ム を open 発 す る 枠 を proposal し, そ の have sharper sex を shown し た こ と で あ る. で this study adopts し た scattered ア ル ゴ リ ズ ム account モ デ ル は, communication に は state communication モ デ ル を, be に は successive line be モ デ ル を using し て い る. State communication モ デ ル と は, communication は 隣 meet す る computer の internal state を time 遅 れ な く, direct に 読 み out せ る モ デ ル で あ る. Successive line be モ デ ル と は, plural あ る computer の う ち, い ず れ か a つ だ け が choose ば れ て 1 ス テ ッ プ line be で き る も の で あ る. こ の モ デ ル は Ming ら か に be interstate の scattered シ ス テ ム と は か け は な れ て い る が, ア ル ゴ リ ズ ム を account す る position, つ ま り プ ロ グ ラ マ か ら see れ ば, scattered シ ス テ ム の hold つ プ ロ グ ラ ミ ン グ を difficult と し て い る, parallelism や non synchronism を government し て い る こ と に な る. こ の よ う な モ デ ル の で, こ れ ま で に proposal さ れ て い る い く つ か の scattered ア ル ゴ リ ズ ム を redesign し た. Youdaoplaceholder0, self-stability を holds the ように ように improvement を line った. Like と seaborne し た ア ル ゴ リ ズ ム は, Lamport の scattered mutual exclusion ア ル ゴ リ ズ ム, Ricart と Agrawala の scattered mutual exclusion ア ル ゴ リ ズ ム, Maekawa の scattered mutual exclusion ア ル ゴ リ ズ ム, Chang と Robert の scattered リ ー ダ ー elected ア ル ゴ リ ズ ム で あ る. こ れ ら の ア ル ゴ リ ズ ム は yuan to their stability は hold っ て い な い が and high level モ デ ル を using す る こ と で, easy に their stability を み 込 む こ と を shown し た. ま た シ ミ ュ レ ー シ ョ ン に よ り, be に お い て も properly な performance が must ら れ る こ と を shown し た.

项目成果

N.Umemoto: "A self-stabilizing ring orientation algorithm with a smaller number of processor states" IEEE Transactions on Parallel&Distributed Systems. 9・6. 579-584 (1998)

N.Umemoto：“具有较少数量处理器状态的自稳定环方向算法” IEEE Transactions on Parallel&Distributed Systems 9・6 (1998)。

H.Kakugawa: "Development of self-stabilizing distributed algorithms using transformation: case studies" 3rd workshop on self-stabilization. 16-30 (1997)

H.Kakukawa：“使用变换开发自稳定分布式算法：案例研究”第三届自稳定研讨会。

H.Kakugawa, M.Nesterenko and M.Mizuno: "Development of self-stabilizing distributed algorithms using transformation : case studies" 3rd workshop on self-stabilization. 16-30 (1997)

H.Kakukawa、M.Nesterenko 和 M.Mizuno：“使用变换开发自稳定分布式算法：案例研究”第三届自稳定研讨会。

N.Umemoto, H.Kakugawa and M.Yamashita: "A self-stabilizing ring orientation algorihm with a smaller number of processor states" IEEE Transactions on Parallel&Distributed Systems. (発表予定).

N.Umemoto、H.Kakukawa 和 M.Yamashita：“具有较少数量处理器状态的自稳定环定向算法”IEEE Transactions on Parallel&Distributed Systems（待提交）。