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

循环计算中如何获取全局检查点的研究

• 批准号: 12780201
• 负责人: 高汐 一紀
• 金额: $ 1.34万
• 依托单位: The University of Electro-Communications
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 2000
• 资助国家: 日本
• 起止时间: 2000 至 2001
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-12780201/
• 关键词: 巡回型計算; 移動プロセス; フォールトトレランス; 全域チェックポイント; システムリカバリ

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

这项研究的目的是将全球检查点获取作为分布式系统的问题，以前仅出于便利性进行了讨论，并证明了采集算法，并验证其有效性。在2000年，建立了一个小规模的实验环境，以准备在中间件上实施循环计算，并根据挪威陆军协议（NAP）设计和实施每个移动过程的检查点和回滚机制。此外，作为一个简化的问题，假定了一个“包含一个移动过程的分布式系统”，以及Takizawa等人的混合检查点。开发了一种基于基于“ HCP”的协议（以下称为“ HCP）的全区域检查点获取算法”。2001年，上一年的主题被广泛化，问题是“在包括任意移动过程的系统中找到一致的全区域检查点。自适应循环计算支持系统被设计和实施，以实现算法，并且通过应用程序软件描述评估了系统的基本性能，因为移动支持主机的数量需要与补充算法的概括，这是两个新的设备固定的固定机构。构建了支持主机，并对上述软件进行了评估。

项目成果

Kazunori Takashio: "Rearguarded Snapshot : An Approach to Rollback and Recovery for Mobile Agent Systems"Proc. of CMU-Keio Workshop on Emerging Technologies 2000. (2000)

Kazunori Takashio：“后置快照：移动代理系统回滚和恢复的方法”Proc。

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)

Kazunori Takashio、Gakuya Soeda 和 Hideyuki Tokuda：“普适计算环境中的跟随我应用程序的移动代理框架”Proc，IEEE 国际智能设备和可穿戴计算研讨会 (IWSAWC 2001)。

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)

Kazunori Takashio、Gakuya Soeda、Hideyuki Tokuda：“普适计算环境中的 Follow-Me 应用程序的移动代理框架”Proc。

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

Hiroto Kato、Masataka Funayama、Shoichi Mori、Subagio Hendro、Kazunori Takashio：“控制信息家电的移动代理框架”日本计算机系统信息处理协会研讨会论文集（2001）。

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 Pro

Kazunori Takashio、Masakazu Mori、Hideyuki Tokuda：“m-P@gent：在普适计算环境上描述环境感知移动代理的框架”Proc。