2003 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number	14780194
Research Institution	Keio University
Principal Investigator	高汐一紀慶應義塾大学, 大学院政策・メディア研究科, 助教授 (40272752)
Keywords	巡回型計算 / 移動プロセス(オブジェクト) / 分散システム / 全域チェックポイント
Research Abstract	本研究の目標は,従来その利便性のみが議論されてきた巡回型計算を対象に,分散システムとしての全域チェックポイント取得問題を取り上げ,取得アルゴリズムを示すとともに実システム上での評価実験を通してその有効性を実証的に検証することにある.本年度は,昨年度に得られた2つの準備的研究の成果: 1.実証実験プラットフォームとして,環境適応型移動オプジェクト・モデルに基づく巡回計算支援ミドルウェアm-P@gentを構築し,RgSSをベースに補償オペレーションの概念を導入した移動プロセス個々のロールバック機構を設計した. 2.「移動プロセスの数を限定した小規模システムでの一貫性ある全域チェックポイントの取得」とした場合の,全域チェックポイント取得アルゴリズムをRgSSをベースに設計した.を踏まえ,問題を「移動プロセスを任意個含むシステムで一貫性ある全域チェックポイントを求める」とし,アルゴリズムの一般化を進めるとともに,実装に向けた詳細化の見直しを行い,アルゴリズムの定性的な検討を行った.さらに,PDAや情報家電機器等の限定された計算資源しか持たない機器上でも動作し,本課題の実験プラットフォームとして有用な,環境適応型移動オプジェクト・モデルに基づく巡回計算支援ミドルウェアm-P@gentの動作プラットフォームの拡充を行うとともに,上記アルゴリズムを同実験プラットフォーム上に実装,適当な障害発生条件の下で動作させ,データを収集,理論的な予測値との比較と併せて,実装されたアルゴリズムの詳細な性能を評価した.特に,最終年度へ向けて,アルゴリズムの完成度を高めるとともに,それまでの実装経験を踏まえ,実システムでの性能を統合的に評価するベンチマーク・フレームワークを併せて提案した.

Research Products

(7 results)

All Other

All Publications (7 results)

[Publications] Masaki Ito, Kazunori_Takashio, et al.: "Smart Furniture : Improvising Ubiquitous Hot-spot Environment"IEEE 3rd International Workshop on Smart Appliances and Wearable Computing. 248-253 (2003)
[Publications] Naohiko Kohtake, Kazunori Takashio, et al.: "Smart Device Collaboration for Ubiquitous Computing Environment"5^<th> International Conference on Ubiquitous Computing (UbiComp2003), Workshop on Multi-Device Interface for Ubiquitous Peripheral Interaction. (online). (2003)
[Publications] Shuhei Tamaru, Kazunori Takashio, et al.: "PPNP : A Privacy Profile Negotiation Protocol for Services in Public Spaces"5^<th> International Conference on Ubiquitous Computing (UbiComp2003), First International Workshop on Ubiquitous Systems for Supporting Social Interaction and Face-to-Face Communication in Public Spaces. (online). (2003)
[Publications] 村上朝一, 高汐一紀, 他: "ロケーションモデル作成支援機構の構築"情報処理学会ユビキタスコンピューティングシステム研究会研究報告. 2003-UBI-.1. 79-86 (2003)
[Publications] 青木俊, 高汐一紀, 他: "ヘテロジニアスなセンサ環境における位置取得システムの構築"情報処理学会マルチメディア,分散,協調とモバイルシンポジウム(DICOMO 2003). 197-200 (2003)
[Publications] 出内将夫, 高汐一紀, 他: "異常状態の自動定義による状態監視アプリケーションの実現"情報処理学会ユビキタスコンピューティングシステム研究会研究報告. 2003-UBI-2. 207-212 (2003)
[Publications] 岩谷晶子, 高汐一紀, 他: "センサの遍在環境におけるユーザの周辺情報の蓄積方法に関する考察"情報処理学会ユビキタスコンピューティングシステム研究会研究報告. 2003-UBI-3. 93-100 (2004)

2003 Fiscal Year Annual Research Report

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

Principal Investigator

高汐 一紀 慶應義塾大学, 大学院政策・メディア研究科, 助教授 (40272752)

Research Products

[Publications] Masaki Ito, Kazunori_Takashio, et al.: "Smart Furniture : Improvising Ubiquitous Hot-spot Environment"IEEE 3rd International Workshop on Smart Appliances and Wearable Computing. 248-253 (2003)

[Publications] Naohiko Kohtake, Kazunori Takashio, et al.: "Smart Device Collaboration for Ubiquitous Computing Environment"5^<th> International Conference on Ubiquitous Computing (UbiComp2003), Workshop on Multi-Device Interface for Ubiquitous Peripheral Interaction. (online). (2003)

[Publications] 村上 朝一, 高汐 一紀, 他: "ロケーションモデル作成支援機構の構築"情報処理学会ユビキタスコンピューティングシステム研究会研究報告. 2003-UBI-.1. 79-86 (2003)

[Publications] 青木 俊, 高汐 一紀, 他: "ヘテロジニアスなセンサ環境における位置取得システムの構築"情報処理学会マルチメディア,分散,協調とモバイルシンポジウム(DICOMO 2003). 197-200 (2003)

[Publications] 出内 将夫, 高汐 一紀, 他: "異常状態の自動定義による状態監視アプリケーションの実現"情報処理学会ユビキタスコンピューティングシステム研究会研究報告. 2003-UBI-2. 207-212 (2003)

[Publications] 岩谷 晶子, 高汐 一紀, 他: "センサの遍在環境におけるユーザの周辺情報の蓄積方法に関する考察"情報処理学会ユビキタスコンピューティングシステム研究会研究報告. 2003-UBI-3. 93-100 (2004)

高汐一紀慶應義塾大学, 大学院政策・メディア研究科, 助教授 (40272752)

[Publications] 村上朝一, 高汐一紀, 他: "ロケーションモデル作成支援機構の構築"情報処理学会ユビキタスコンピューティングシステム研究会研究報告. 2003-UBI-.1. 79-86 (2003)

[Publications] 青木俊, 高汐一紀, 他: "ヘテロジニアスなセンサ環境における位置取得システムの構築"情報処理学会マルチメディア,分散,協調とモバイルシンポジウム(DICOMO 2003). 197-200 (2003)

[Publications] 出内将夫, 高汐一紀, 他: "異常状態の自動定義による状態監視アプリケーションの実現"情報処理学会ユビキタスコンピューティングシステム研究会研究報告. 2003-UBI-2. 207-212 (2003)

[Publications] 岩谷晶子, 高汐一紀, 他: "センサの遍在環境におけるユーザの周辺情報の蓄積方法に関する考察"情報処理学会ユビキタスコンピューティングシステム研究会研究報告. 2003-UBI-3. 93-100 (2004)