| 研究概要 |
分散システムにおいて相互排除問題は最も基本的かつ重要な問題として知られている.本研究では,コテリー方式の分散相互排除機構について,その信頼性が最大になるようなコテリーを求める方法を開発することを目的としている.具体的な手順は,まずこの問題を定式化し,その後に,計算機によって問題を解くためのプログラムを開発する.平成10年度においては,下記の1,2の段階を完了した.
1. 0-1整数計画問題としての定式化
信頼性を最大にする最適なコテリーを求める問題を,数理計画法の一種である0-1整数計画法の問題として定式化する方法について理論的な考察を行った.具体的には,プロセスの集合族がコテリーであるための条件を0-1整数計画問題における制約式で表現することによって,定式化が可能なことが分かった.
2. 0-1整数計画問題への自動変換プログラムの開発
1.で得られた0-1整数計画問題への定式化手法をプログラムとして実装した.具体的には,入力されたシステムに対応する0-1整数計画問題を,良く知られた解析ソフトウェアLINDOの入力として自動的に出力するプログラムを開発した.プログラム言語としてはC言語を用い,開発は備品として購入した計算機を用いて行った.
平成11年度では,実装した提案手法が現実的にどの程度の規模のシステムに対して適用可能か,必要な計算時間やメモリ量に関する評価実験によって明らかにする.更に,既存のヒューリスティックによって得られたコテリーを用いた場合との信頼性の比較評価を定量的に行う予定である.この評価実験のために,既に信頼性評価法を実装している.
|
