移動プロセスを含む分散システムの効率的な全域チェックポイントの取得法とその評価

含移动进程的分布式系统高效全局检查点获取方法及其评估

基本信息

批准号：
14780194
负责人：
高汐一紀
金额：
$ 2.11万
依托单位：
Keio University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2002
资助国家：
日本
起止时间：
2002 至 2004
项目状态：
已结题

项目摘要

本研究の目標は,従来その利便性のみが議論されてきた巡回型計算を対象に,分散システムとしての全域チェックポイント取得問題を取り上げ,取得アルゴリズムを示すとともに実システム上での評価実験を通してその有効性を実証的に検証することにある.前年度までに,PDAや情報家電機器等の限定された計算資源しか持たない機器上でも動作し,本課題の実験プラットフォームとして有用な,環境適応型移動オブジェクト・モデルに基づく巡回計算支援ミドルウェアm-P@gentを構築し,その動作プラットフォームの拡充を行うとともに,RgSSをベースとする補償オペレーションに基づく移動プロセスのロールバック機構友び全域チェックポイント取得アルゴリズムを段階的に設計,上記実験プラットフォーム上にプロトタイプを実装,基本データの収集,評価,検討を行ってきた.本研究計画の最終年度となった平成16年度は,定性的検討及びプロトタイプ上での評価実験より明らかとなった,「移動プロセスを任意個含む」とした場合の基本性能の悪化の改善を研究の主眼とした.具体的には,I.一般への公開を視野に入れ,巡回計算支援ミドルウェアm-P@gentの実装の効率化を行った.II.スケーラビリティの改善を目的とした全域チェックポイント取得アルゴリズムの実装の詳細化の見直しを行い,提案アルゴリズムの完成度を高めた.III.同実験プラットフォーム上に実装されたアルゴリズムを,適当な障害発生条件の下で動作させ,データを収集,理論的な予測値との比較と併せて,実装されたアルゴリズムのさらに詳細な性能を評価した.これら実装経験から,実システムでの性能を統合的に評価するベンチマーク・フレームワークに対する要求要件が明らかとなり,同フレームワークの基礎設計を行うことができた.

本研究的目的是解决在分布式系统中获取检查点以进行循环计算的问题，为此仅讨论了便利性，并提出一种获取算法并通过在实际系统上进行评估实验来评估其有效性。去年，我们开发了一种环境自适应移动设备，可以在计算资源有限的设备上运行，例如PDA和信息家电，并且可以作为该项目的实验平台。我们构建了基于对象模型的循环计算支持中间件m-P@gent，并扩展了其操作平台。我们还开发了基于RgSS的基于补偿操作的运动过程回滚机制，以及阶段性的综合检查点获取算法。我们设计了这个研究项目，在上述实验平台上实现了原型，并收集、评估和考虑了基础数据。 2014年，我们的研究重点是改善“包含任意数量的移动过程”时基本性能的恶化，这是通过定性研究和原型评估实验揭示的。具体来说，我们提高了实施效率。介绍了循环计算支持中间件m-P@gent，以期将其提供给公众。节奏的完善程度有所提高。三、在同一实验平台上实现的算法在适当的故障条件下运行，收集数据，并与理论预测值进行比较，评估算法的性能。通过这些实施经验，明确了综合评估真实系统性能的基准框架的要求，并使得该框架的基本设计成为可能。