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

• Project/Area Number: 12780201
• Research Category: Grant-in-Aid for Encouragement of Young Scientists (A)
• Allocation Type: Single-year Grants
• Research Field: 計算機科学
• Research Institution: The University of Electro-Communications
• Principal Investigator: 高汐 一紀 電気通信大学, 電気通信学部, 助手 (40272752)
• Project Period (FY): 2000 – 2001
• Project Status: Completed (Fiscal Year 2001)
• Budget Amount: ¥2,100,000 (Direct Cost: ¥2,100,000); Fiscal Year 2001: ¥1,000,000 (Direct Cost: ¥1,000,000); Fiscal Year 2000: ¥1,100,000 (Direct Cost: ¥1,100,000)
• Keywords: 巡回型計算 / 移動プロセス / フォールトトレランス / 全域チェックポイント / システムリカバリ

Research Abstract

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

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 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)
• [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)