• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

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

研究課題

研究課題/領域番号 06780258
研究種目

奨励研究(A)

配分区分補助金
研究分野 計算機科学
研究機関大阪大学

研究代表者

岡野 浩三  大阪大学, 基礎工学部, 助手 (70252632)

研究期間 (年度) 1994
研究課題ステータス 完了 (1994年度)
配分額 *注記
900千円 (直接経費: 900千円)
1994年度: 900千円 (直接経費: 900千円)
キーワードプロトコル仕様 / 動作仕様 / 耐故障 / プロトコル合成
研究概要

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

報告書

(1件)
  • 1994 実績報告書
  • 研究成果

    (1件)

すべて その他

すべて 文献書誌 (1件)

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

    • 関連する報告書
      1994 実績報告書

URL: 

公開日: 1994-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi