2000 Fiscal Year Annual Research Report
巡会型計算における全域チェックポイントの取得法に関する研究
| Project/Area Number |
12780201
|
|---|
| Research Institution | The University of Electro-Communications |
|---|
Principal Investigator |
高汐 一紀 電気通信大学, 電気通信学部, 助手 (40272752)
|
|---|
| Keywords | 巡回型計算 / 移動プロセス / フォールトトレランス / 全域チェックポイント / システムリカバリ |
|---|
| Research Abstract |
本研究の目標は,従来その利便性のみが議論されてきた巡回型計算を対象に,分散システムとしての全域チェックポイント取得問題を取り上げ,取得アルゴリズムを示すとともにその有効性を実証的に検証することにある.平成12年度は,次の2つの準備的な研究を並行して進めた.
1.巡回計算支援ミドルウェア上への実装の準備として,小規模な実験環境を整備し,Norwegian Army Protocol(以下,NAP)をベースに移動プロセス個々のチェックポインティング・ロールパック機構を設計,実装した.NAPでは,移動プロセスのロールバックを行うバックアップ・プロセスの概念が導入されており,同モデルをベースとすることにより,ホストの故障と移動プロセスの故障の両障害に対応可能となった.
2.問題を簡略化し,「移動プロセス1つを含むシステムでの一貫性のある全域チェックポイントを求める」とした場合の,全域チェックポイント取得アルゴリズムを,Hybrid Checkpointing Protocol(以下,HCP)をベースに構築した.HCPは,効率の良いアルゴリズムであることが知られており,同モデルで導入された移動支援ホスト(移動ホストのチェックポインティングを支援するホスト)の概念を本研究にも適用することにより,アルゴリズムを簡略化することが可能となる.本研究課題では,固定の計算資源を持たない移動プロセスも対象とするように移動支援ホストモデルを拡張するとともに,アルゴリズムの開発,実装のための詳細化を行った.その詳細化の過程で,移動プロセスを全域チェックポインティングの対象に含めるためのシステム側の条件,移動プロセスが備えるべき要件の詳細を明らかにすることができた.
補足 実験環境としては現有のIBM PC/AT互換機1台,可搬型計算機に加え,本設備備品費より新規に1台を実験用計算機として購入(平成12年8月),計3台程度の計算機をEthernetならびに同じく本設備備品費より購入した無線ネットワーク設備(同時期に導入)で接続した環境を構築した.巡回計算支援ミドルウェアとしては,申請者が開発したシステムを用いた.
|
Research Products
(5 results)
-
[Publications] Kazunori Takashio: "Rearguarded Snapshot : An Approach to Rollback and Recovery for Mobile Agent Systems"Proc. of CMU-Keio Workshop on Emerging Technologies 2000. (2000)
-
[Publications] Kazunori Takashio,Gakuya Soeda and Hideyuki Tokuda: "A Mobile Agent Framework for Follow-Me Applications in Ubiquitous Computing Environment"Proc, of IEEE International Workshop on Smart Appliances and Wearable Computing (IWSAWC 2001). (2001)
-
[Publications] Hendro Subagyo,高汐一紀: "移動エージェントのための移動透過な環境情報取得機構"情報処理学会第61回全国大会論文集. 3-391-3-392 (2001)
-
[Publications] Hendro Subagyo,高汐一紀: "動的な環境に適応する移動エージェントシステムの実装と評価"日本ソフトウェア科学会第4回プログラミングおよび応用のシステムに関するワークショップ(SPA 2001)論文集. (2001)
-
[Publications] 添田岳也,高汐一紀: "Personality Managerによる安全なFollow Me Agent環境の構築"日本ソフトウェア科学会第4回プログラミングおよび応用のシステムに関するワークショップ(SPA 2001)論文集. (2001)
