2001 Fiscal Year Annual Research Report

巡回型計算における全域チェックポイントの取得法に関する研究

Research Project

Project/Area Number	12780201
Research Institution	The University of Electro-Communications
Principal Investigator	高汐一紀電気通信大学, 電気通信学部, 助手 (40272752)
Keywords	巡回型計算 / 移動プロセス / フォールトトレランス / 全域チェックポイント / システムリカバリ
Research Abstract	本研究の目標は,従来その利便性のみが議論されてきた巡回型計算を対象に,分散システムとしての全域チェックポイント取得問題を取り上げ,取得アルゴリズムを示すとともにその有効性を実証的に検証することにある. 平成12年度は,巡回計算支援ミドルウェア上への実装の準備として,小規模な実験環境を整備し,Norwegian Army Protocol(以下,NAP)をベースに移動プロセス個々のチェックポインティング・ロールバック機構を設計,実装した.さらに,簡略化した問題として「移動プロセス1つを含む分散システム」を想定し,滝沢氏らによるhybrid checkpointing Protocol(以下,HCP)をベースとした全域チェックポイント取得アルゴリズムを開発した. 平成13年度は,前年度での間題を一般化し,「移動プロセスを任意個含むシステムでの一貫性のある全域チェックポイントを求める」問題を扱った.アルゴリズムの一般化を進めるとともに,実装に向けた詳細化の見直しを行い,アルゴリズムの定性的な検討を行った. さらに,同アルゴリズムを実装するテストベッドとして,環境適応型巡回計算支援システムを設計,実装し,アプリケーションソフトウェアの記述を通して同システムの基本性能を評価した. 補足アルゴリズムの一般化に併せて移動支援ホストの数を増やす必要があるため,平成12年度に購入した実験環境の拡張を行った.本設備備品費より新規に2台を実験用計算機として購入,固定ホスト2台,移動支援ホスト2台からなる実験環境を構築し,上記ソフトウェアの実装,評価を行った.

Research Products
(5 results)

All Other

All Publications (5 results)

[Publications] Kazunori Takashio, Gakuya Soeda, 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] Kazunori Takashio, Masakazu Mori, Hideyuki Tokuda: "m-P@gent : A Framework for Describing Environment-Aware Mobile Agents on Ubiquitous Computing Environment"Proc. of International Conference on Ubiquitous Computing, Workshop on Application Models and Programming Tools for Ubiquitous Computing (UbiTools 2001). (2001)
[Publications] Kazunori Takashio, Masakazu Mori, Hideyuki Tokuda: "m-P@gent : A Framework of Environment-Aware Mobile Applications for Small, Networked Appliances"Proc. of IEEE International Workshop on Networked Appliances (IWNA 4). (2002)
[Publications] Kazunori Takashio, Gakuya Soeda, Hideyuki Tokuda: "f-Desktop : A Framework for Follow-Me Desktop Applications in Ubiquitous Computing Environment"Proc. of International ICSC Congress on Autonomous Intelligent Systems (ICAIS 2002). (2002)
[Publications] 加藤広人, 船山政孝, 森正一, ヘンドロスバギオ, 高汐一紀: "情報家電機器の制御を目的とした移動エージェントフレームワーク"情報処理学会コンピュータシステム・シンポジウム論文集. (2001)

2001 Fiscal Year Annual Research Report

巡回型計算における全域チェックポイントの取得法に関する研究

Principal Investigator

高汐 一紀 電気通信大学, 電気通信学部, 助手 (40272752)

Research Products

[Publications] Kazunori Takashio, Gakuya Soeda, 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] Kazunori Takashio, Masakazu Mori, Hideyuki Tokuda: "m-P@gent : A Framework of Environment-Aware Mobile Applications for Small, Networked Appliances"Proc. of IEEE International Workshop on Networked Appliances (IWNA 4). (2002)

[Publications] Kazunori Takashio, Gakuya Soeda, Hideyuki Tokuda: "f-Desktop : A Framework for Follow-Me Desktop Applications in Ubiquitous Computing Environment"Proc. of International ICSC Congress on Autonomous Intelligent Systems (ICAIS 2002). (2002)

[Publications] 加藤 広人, 船山 政孝, 森 正一, ヘンドロ スバギオ, 高汐 一紀: "情報家電機器の制御を目的とした移動エージェントフレームワーク"情報処理学会 コンピュータシステム・シンポジウム論文集. (2001)

高汐一紀電気通信大学, 電気通信学部, 助手 (40272752)

[Publications] 加藤広人, 船山政孝, 森正一, ヘンドロスバギオ, 高汐一紀: "情報家電機器の制御を目的とした移動エージェントフレームワーク"情報処理学会コンピュータシステム・シンポジウム論文集. (2001)