形状が動的に変化する広域計算機網上の分散ソフトウェアの理論

形状动态变化的广域计算机网络上的分布式软件理论

• 批准号: 09245222
• 负责人: 山下 雅史
• 金额: $ 1.41万
• 依托单位: Hiroshima University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1997
• 资助国家: 日本
• 起止时间: 1997 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-09245222/
• 关键词: 広域計算機網; 分散アルゴリズム; 動的問題; 自己安定システム; 同期問題

インターネットの発展によって,世界規模の計算機網が維持する多様な計算資源や豊富な情報を,一般ユーザが高度に統合化された形態で利用できる時代が見えてきた.現在においても,WWWや分散データベース等,インターネット上で動作するソフトウェア(以下,分散ソフトウェア)が開発されて来ているが,ATM技術などを用いた高速計算機網が普及するに従って,さらに緊密で高度な協調に基づく分散ソフトウェアが今後ますます求められる.分散ソフトウェアは,(1)広域計算機網の形状は急速に変化するが,形状の動的な変化に関わらず正しく動作しなければならず,(2)広域計算機網ではその複雑さゆえ様々な故障が起こるが,様々な故障に耐えて正しく動作しなければならず,(3)たとえ形状変化や故障が起こらないと仮定しても,分散ソフトウェアは他の多くの分散ソフトウェアと広域計算機網を共有するので動作環境は刻々と変化するので,動作環境に自律的に適応できなければならない.すなわち,分散ソフトウェアは自律的な発展・適応機能を内在していることを求められる.本研究では,上記の(1)-(3)について以下のような成果を得た.1.一過性の故障に耐えて自律的に正常な状態に復帰できるようなアルゴリズムを自己安定アルゴリズムという.自己安定アルゴリズムには,全体を初期化しなくても正常に実行を開始できるという長所もあるので,広域計算機網には最適なアルゴリズムである.理論構造としてリングを持つ場合に方向付け問題と相互排除問題を解決する自己安定アルゴリズムを開発した(文献3,5).2.コーラムを用いて同期問題を解決する方式を検討し,いくつかの知見を得た(文献2,4).3.広域計算機網では,各プロセスは現在の大域的な状態を知ることなしに,局所的な状態から適切な次の行動を選択する必要がしばしば起こる.例えば,停止性判定問題やデッドロック検出問題はメッセージ通信を用いて,局所的な状態から大域的な状態を推察する代表的な問題である.このような問題を動的問題と呼ぶことにする.代表的な動的問題である動的探索について検討した(文献1,6).

イ ン タ ー ネ ッ ト の 発 exhibition に よ っ て, の world scale computer network が maintain す る many others な computing resources や aboundant を な intelligence, general ユ ー ザ が highly に integrative さ れ で た form using で き る era が see え て き た. Now に お い て も, WWW や disperse デ ー タ ベ ー ス, イ ン タ ー ネ ッ ト で action on す る ソ フ ト ウ ェ ア (below, scattered ソ フ ト ウ ェ ア) が open 発 さ れ て to て い る が, ATM technology な ど を with い た high-speed computer network が popularity す る に 従 っ て, さ ら に で highly な closely coordinated に base づ く scattered ソ フ ト ウ ェ ア が ま in the future Youdaoplaceholder0 find められる. Scattered ソ フ ト ウ ェ ア は, (1) his design domain computer net shape の は に rapidly - the す る が, shape の moving な variations change に masato わ ら ず is し く action し な け れ ば な ら ず, (2) his design domain computer network で は そ の complex 雑 さ ゆ え others 々 な breakdown が こ る が, others 々 な resistance fault に え て is し く action し な け れ ば な ら ず, (3) た と え - shape Change や breakdown が こ ら な い と 仮 set し て も, scattered ソ フ ト ウ ェ ア は he の く の scattered ソ フ ト ウ ェ ア と hiroo domain computer network を mutual す る の で movement environment は carved 々 と variations change す る の で, movement environment に self-discipline に optimum 応 で き な け れ ば な ら な い. す な わ ち, scattered ソ フ ト ウ ェ ア は self-discipline な 発 exhibition, optimum 応 function を inner し て Youdaoplaceholder0 る とを find められる. In this study, で で, and above it is noted that て (1)-(3)に で て て て the following ような ような results を give た.1. Transient fault に の え resistant て self-discipline に normal な に complex 帰 で き る よ う な ア ル ゴ リ ズ ム を itself steady ア ル ゴ リ ズ ム と い う. Their stability ア ル ゴ リ ズ ム に は, all the early を し な く て も normal に line be を start で き る と い う も by long あ る の で, his design domain computer network に は optimum な ア ル ゴ リ ズ ム で あ る. Theoretical constructs と し て リ ン グ を つ occasions に direction pay け problem と mutual exclusion problem を す る itself steady ア ル ゴ リ ズ ム を open 発 し た (3, 5). 2. コ ー ラ ム を with い て in the same period problem を す る way を 検 for し, い く つ か の knowledge を must た (2, 4). 3. His design domain computer network で は, each プ ロ セ ス は の now big domain な state を know る こ と な し に, state bureau of な か ら appropriate な times の action を sentaku す る necessary が し ば し ば up こ る. Example え ば, stop sexual decision problem や デ ッ ド ロ ッ ク 検 problems は メ ッ セ ー を ジ communication with い て, state bureau of な か ら large domain な state を push examine す る representative of な で あ る. こ の よ う な を moving issue と shout ぶ こ と に す る. The problem of the representative な movement, the exploration of the である movement, the に て検 て検 て検 discussion on the た(references 1,6).

项目成果

I.Suzuki: "Bushiness and a Tight Worst-Case Upper Bound on the Search Number of a Simple Polygon" Information Processing Letters. (to appear). (1998)

I.Suzuki：“简单多边形搜索数的布什尼斯和最坏情况上限”信息处理信件。

T.Harada: "Nondominated Coteries on Graphs" IEEE Trans.Parallel and Distributed Systems. 8,6,. 667-672 (1997)

T.Harada：“图上的非支配群”IEEE 跨并行和分布式系统。

H.Kakugawa: "Uniform and Stabilizing Token Rings Allowing Unfair Daemons" IEEE Trans.Parallel and Distributed Systems. 8,2,. 154-163 (1997)

H.Kakukawa：“允许不公平守护进程的统一且稳定的令牌环”IEEE Trans.Parallel 和分布式系统。

藤田聡: "A Quorum Based k-Mutual Exclusion by Weighted k-Coteries" 軽井沢回路とシステムワークショップ,(平成10年5月). (発表予定). (1998)

Satoshi Fujita：“A Quorum Based k-Mutual Exclusion by Weighted k-Coteries”Karuizawa Circuit and System Workshop，（1998 年 5 月）（预定演示）。

H.Hayakawa: "A Decentralized Scheme for Multi-Node Broadcasting on Hypercubes" Proc.1997 International Symposium of Parallel Architectures, Algorithms and Networks,Taipei,Taiwan,ROC. 487-493 (1997)

H.Hayakawa：“超立方体上多节点广播的分散方案”Proc.1997 国际并行架构、算法和网络研讨会，台湾台北，中华民国。