分散システムにおける実行効率の良い耐故障性動体プログラムの自動導出

自动推导分布式系统中执行效率高的容错运动程序

• 批准号: 06780258
• 负责人: 岡野 浩三
• 金额: $ 0.58万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-06780258/
• 关键词: プロトコル仕様; 動作仕様; 耐故障; プロトコル合成

本研究では,分散システムの抽像度の高い全体仕様から,同期やデータ交換のためにメッセージ交換をしながら全体として全体仕様通りに動作する各ノードの動作仕様(プログラム)を自動生成する方法を扱う.1.まず,論文(岡野 浩三,今城 広志,東野 輝夫,谷口 健一:"拡張有限状態機械モデルを用いた分散システムの要求記述から各ノードの動作仕様の自動導出",情報処理学会論文誌,Vol.34,No.6,pp.1290-1301,(1993-6))のアイデアをもとに,動作仕様群の使用するネットワーク環境のクラスの拡張を行なった.この拡張により,ノード間を結ぶ通信リンクの故障によるメッセージ消失が生じても,誤動作せずに全体仕様通り動作する動作仕様群が自動導出可能になった.各動作仕様においては,耐故障性のために,単純に通信メッセージを増やしたり,単純なタイムアウト機構を導入したりせずに,メッセージ情報を効率よく用いてメッセージ総数を少なくする.メッセージ総数を少なくするために,導出問題を形式的に定義し,実行ステップ数が一般に最小になる全体仕様の模倣方針を決定し,そのもとで,整数線形計画問題の解法を用い,メッセージ総数の最小解を求める方法となった.よって,得られた動作仕様群は,不必要なメッセージ送受信を行わないようになっており,動作効率もよい.2.このアルゴリズムに基づいて動作仕様群自動導出システムを作成した.整数線形計画問題の解法を用いるものと,近似解法を用いるものと2つを用意し,これらの比較も行なった.この結果,数ノードの規模のプログラムであれば整数線形計画問題の解法を用いても十分実用時間内に導出できることを確認した.3.今後の課題として,ノード故障に対して,自津的に故障から修復する自己安定アルゴリズムの導入を検討している.

In this study, the high resolution of the decentralized system was compared with that of the whole system, and the simultaneous switching of the system was compared with that of the whole system. The method of automatic generation of (list) is.1., Paper (Kozo Okano, Hiroshi Imaki, Teruo Higashino, Kenichi Taniguchi:"Requirements Description of Dispersion System for Mechanical Finite State Applications and Automatic Derivation of Action Characteristics for Various Applications," Proceedings of the Information Processing Society, Vol. 34, No. 6, pp. 1290 -1301.(1993-6) The use of mobile operators in the development of mobile applications. This is the first time that the user has been able to communicate with the user, and the user has been able to communicate with the user. Each action mode, fault resistance, pure communication mode, pure communication mode, pure communication mode The definition of the form of the problem is derived from the total number of problems. The minimum number of problems in general is determined by the simulation policy of the whole system. The solution of the integer linear plan problem is used. The minimum number of problems in general is determined by the method of solving the problem. However, the obtained action patterns are not necessary to send and receive messages, but the action efficiency is high. 2. This all-in-one system automatically generates a system based on the action patterns. The solution of the integer linear program problem is to use the method of approximation to solve the problem. The results show that the solution to the integer linear program problem is derived in ten minutes of practical time. 3. Future problems are discussed in the paper.

项目成果

岡野 浩三,今城 広志,東野 輝夫,谷口 健一: "リンクの故障を考慮に入れた分散システムの動作仕様の自動導出" 情報処理学会論文誌. Vol.36,No.1,. 70-83 (1995)

Kozo Okano、Hiroshi Imashiro、Teruo Higashino、Kenichi Taniguchi：“考虑到链路故障的分布式系统的操作规范的自动推导”，日本信息处理学会汇刊，第 36 卷，第 70-83 期（1995 年）。 ）