有限なロールバック間隔に対するハイブリッド状態保存手法の最適チェックポイント間隔(データ工学, ディペンダビリティ, 一般)
スポンサーリンク
概要
- 論文の詳細を見る
本稿では, 限られた計算資源を用いて動作する実際的なアプリケーションにおける, 非連携チェックポインティングの総期待オーバヘッドについて議論する.具体的には, 各プロセスが保持できるチェックポイント数に制限があり, ロールバック間隔に上限がある場合の, ハイブリッド状態保存手法の総期待オーバヘッドを評価する離散時間確率モデルを構築し, これを最小化する最適チェックポイント間隔を導出する.本稿の評価モデルは, ロールバック間隔を確率変数とし, その分布に片側の切れた幾何分布を仮定する.最適チェックポイント間隔を陽に導出するのは難しいが, より単純な確率分布を用いて, 最適チェックポイント間隔が近似的に与えられる.シミュレーションによる数値例から, この近似が良好であることや, 本稿の評価モデルが従来の確率モデルに比べてより適切なチェックポイント間隔を与えることが示される.
- 社団法人電子情報通信学会の論文
- 2005-10-10
著者
-
福本 聡
首都大学東京システムデザイン学部
-
新井 雅之
首都大学東京システムデザイン学部
-
岩崎 一彦
首都大学東京システムデザイン学部
-
大原 衛
東京都立大学大学院工学研究科
-
大原 衛
首都大学東京システムデザイン学部
-
岩崎 一彦
首都大学東京システムデザイン学部:首都大学東京大学院システムデザイン研究科
-
新井 雅之
首都大学東京 システムデザイン学部
-
岩崎 一彦
首都大学東京 システムデザイン学部
関連論文
- 確率的一貫性を導入したデュアルクォーラムシステム (ディペンダブルコンピューティング)
- 確率的一貫性を導入したデュアルクォーラムシステム (コンピュータシステム)
- 分散システムにおけるデータレプリケーションの評価尺度について(ネットワーク環境でのディペンダビリティ)
- データレプリケーションの特性評価手法に関する一考察 (ディペンダブルコンピューティング)
- SoC向けMBISTにおける歩留りと面積のトレードオフに関する一考察(設計/テスト/検証,設計/テスト/検証)
- ディペンダブルプロセッサの評価に関する一考察(高信頼化,2009年並列/分散/協調処理に関する『仙台』サマー・ワークショップ(SWoPP仙台2009))
- 同時多重に発生する過渡故障を考慮した高信頼化順序回路(ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- D-10-20 同時多重に発生する過渡故障を前提にレジスタを二重化した順序回路(D-10. ディペンダブルコンピューティング,一般セッション)
- ゲート内抵抗性オープン欠陥に対する微小遅延故障モデル(欠陥ベーステスト,VLSI設計とテスト及び一般)
- 耐故障プロセッサ評価モデルの解析について(安全性及び一般)
- 耐故障プロセッサの信頼性・性能評価手法に関する一考察(ネットワーク環境でのディペンダビリティ)
- A-004 DHTルーティングシステムにおけるデータ分割配置手法の検討(モデル・アルゴリズム・プログラミング,一般論文)
- メモリBISTにおけるハードウェアオーバヘッドおよび故障位置特定に関する一考察(設計/テスト/検証)
- 同時多重に発生する過渡故障を前提とした高信頼プロセッサ設計(設計/テスト/検証)
- ばらつきを考慮した無線送信回路のテストに関する一考察(アナログ・ばらつき・電流テスト,VLSI設計とテスト及び一般)
- スキャンベースハイブリッドBISTにおける消費電力削減に関する一考察(スキャンテスト,VLSI設計とテスト及び一般)
- CMOS LSIのESD/Latch-up故障の解析 : 実データでの故障モード解析(故障診断,VLSI設計とテスト及び一般)
- ロジックBISTの疑似ランダムパターン品質の評価モデル(DC-2テスト,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
- 多世代データを保持する複製プロトコルのノード時間配置(DC-1ネットワーク,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
- ローテーショナル・ワンミラー非連携チェックポインティングのリカバラビリティ(分散システム)
- 非連携分散チェックポインティングのリカバラビリティ(インターネット環境でのデータ工学とディペンダビィリティ及び一般)
- 非連携分散チェックポインティングのリカバラビリティ
- 最近のデータレプリケーション手法の研究動向 (ディペンダブルコンピューティング)
- 確率的一貫性を導入したデュアルクォーラムシステム(ディペンダブルシステム,ディペンダブルコンピューティングシステム及び一般)
- データレプリケーションの特性評価手法に関する一考察(安全性及び一般)
- 実チップデバッグ手法における観測回路の挿入箇所および面積に関する一検討(設計/テスト/検証)
- R-2Rラダー型D-Aコンバータの冗長設計手法(ディペンダブルソフトウェアとネットワーク及び一般)
- 構造化P2Pネットワークの耐故障性に関する考察 (ディペンダブルコンピューティング)
- 確率的一貫性を導入したデュアルクォーラムシステム(ディペンダブルシステム,ディペンダブルコンピューティングシステム及び一般)
- D-10-7 SRAM を用いた可変論理セルで構成したメモリテスタの実装
- 部分ローテート型スキャン回路のテスタIPへの応用
- 差分スナップショットを伴う連携チェックポインティングの提案と評価(コンカレント工業)
- 有限なロールバック間隔に対するハイブリッド状態保存手法の最適チェックポイント間隔(データ工学, ディペンダビリティ, 一般)
- 有限なロールバック間隔に対するハイブリッド状態保存手法の最適チェックポイント間隔(データ工学, ディペンダビリティ, 一般)
- 分散チェックポインティングの評価手法に関する検討(ディペンダブルソフトウェアとネットワーク及び一般)
- データ複製用確率的台形プロトコルの解析と実装(グループ通信,通信プロトコル)(データ工学,ディペンダビリティ,一般)
- データ複製用確率的台形プロトコルの解析と実装(グループ通信,通信プロトコル)(データ工学,ディペンダビリティ,一般)
- C-023 修理系TMRプロセッサシステムの信頼性(C.アーキテクチャ・ハードウェア)
- ハイブリッドチェックポインティングの回復能力の評価(ディペンダブルコンピュータシステム及び一般)
- データリプリケーション用台形プロトコルの設計と実装(ディペンダブルコンピュータシステム及び一般)
- ハイブリッドチェックポインティングの回復能力の評価(ディペンダブルコンピュータシステム及び一般)
- データリプリケーション用台形プロトコルの設計と実装(ディペンダブルコンピュータシステム及び一般)
- D-10-8 FEC機能を提供するJavaアプレットの設計(D-10. ディペンダブルコンピューティング)
- D-10-4 非連携チェックポインティングの回復能力に関する評価モデル(D-10. ディペンダブルコンピューティング)
- 部分再試行による多数決冗長方式(VLSI設計とテスト)
- 非連携分散チェックポインティングのリカバラビリティ(インターネット環境でのデータ工学とディペンダビィリティ及び一般)
- 非同期分散TMRシステムの構成法に関する一考察(ディペンダブルソフトウェアとネットワーク)
- ロジックBISTの疑似ランダムパターン品質の評価モデル(DC-2テスト,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
- 多世代データを保持する複製プロトコルのノード時間配置(DC-1ネットワーク,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
- C-023 故障挿入によるTMRプロセッサの耐縮退故障性評価(C分野:ハードウェア・アーキテクチャ)
- 分散システムにおいて多世代データを保持するデータ複製プロトコル(分散システム)
- 安全・安心のための半導体設計・テスト技術(信頼性-温故知新-)
- 安全・安心のための半導体設計・テスト技術(信頼性-温故知新-)
- スキャンベースBISTにおけるテストデータ100倍圧縮に関する検討(LSIシステムの実装・モジュール化・インタフェース技術,テスト技術,一般)
- 最近のデータレプリケーション手法の研究動向(ネットワーク環境でのディペンダビリティ,及び一般)
- (n,n-1,m) 畳込み符号を用いた連続するパケット損の回復
- 同時多重に発生する過渡故障を考慮した高信頼化順序回路(ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- 再構成可能オンチップデバッグ回路の面積削減に関する一考察 (ディペンダブルコンピューティング)
- スキャンベースBISTにおけるテストデータ100倍圧縮に関する検討(LSIシステムの実装・モジュール化・インタフェース技術,テスト技術,一般)
- スキャンベースBISTにおけるテストデータ100倍圧縮に関する検討
- スキャンベースBISTにおけるテストデータ100倍圧縮に関する検討
- 低消費電力基板型構造可変テスタの開発(VLSI設計とテスト)
- C-012 ポストシリコンデバッグにおける観測および制御回路挿入に関する一検討(ハードウェア・アーキテクチャ,一般論文)
- D-10-3 BAST方式のプロセッサ回路への適用に関する考察(D-10. ディペンダブルコンピューティング)
- 過渡故障に耐性を持つ時間冗長プロセッサの検討(耐過度故障,SWoPP2006)
- C_017 VLSIのランダムパターンテストにおける残存故障数分布について(C分野:ハードウェア)
- 多世代データ保持のためのデータ複製プロトコル(高信頼・高可用システム,ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- 多世代データ保持のためのデータ複製プロトコル(高信頼・高可用システム,ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- LFSRを用いたロジックBISTの故障検出率に関する統計的一考察(BISTと故障診断,VLSI設計とテスト及び一般)
- 畳込み圧縮器のガロア体上への拡張に関する一考察(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 畳込み圧縮器のガロア体上への拡張に関する一考察(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 畳込み圧縮器のガロア体上への拡張に関する一考察(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 畳込み圧縮器のガロア体上への拡張に関する一考察(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 同時多重に発生する過渡故障に耐性を持つ順序回路の提案と評価(ディペンダブルコンピューティングシステム及び一般)
- 同時多重に発生する過渡故障に耐性を持つ順序回路の提案と評価(ディペンダブルコンピューティングシステム及び一般)
- 構造化P2Pネットワークの耐故障性に関する考察(安全性及び一般)
- ランダムパターンテストにおける故障検出率分布に関する考察(設計/テスト/検証)
- 過渡故障を対象とした高信頼化プロセッサの研究動向(高信頼設計,2011年並列/分散/協調処理に関する『鹿児島』サマー・ワークショップ(SWoPP鹿児島2011))
- 確率的デュアルクォーラムの一貫性解析(ソフトウェアの信頼性,信頼性一般)
- 爆薬に対する落槌感度試験における臨界ストレス値の浸透理論に基づく推定モデル(ソフトウェアの信頼性,信頼性一般)
- 高電磁環境下における過渡故障に耐性を持つ順序回路方式の検討(ネットワーク環境でのディペンダビリティ,及び一般)
- ファイルバージョニングプロトコルにおいて読み込みアクセスによる負荷を最小化する複製ノード配置 (信頼性)
- バックトラッキングを伴う構造化オーバレイネットワーク上のオブジェクト探索 (ディペンダブルコンピューティング)
- バックトラッキングを伴う構造化オーバレイネットワーク上のオブジェクト探索(安全性及び一般)
- ファイルバージョニングプロトコルにおいて読み込みアクセスによる負荷を最小化する複製ノード配置(信頼性国際規格,保全性,信頼性一般)
- バックトラッキングを伴う構造化オーバレイネットワーク上のオブジェクト探索
- ファイルバージョニングプロトコルにおいて読み込みアクセスによる負荷を最小化する複製ノード配置
- 組込み自己テストによって高電磁環境下の周期的過渡故障を回避するプロセッサ(ディペンダブルコンピューティングシステム及び一般)
- 同時多重に発生する過渡故障を前提とした高信頼プロセッサ設計
- 有限個の周期的チェックポイントをもつハイブリッドステートセイビングにおけるチェックポイント系列の間引き(電子・電気機器の信頼性,故障解析,劣化診断,信頼性一般)
- C-008 P2Pシステムの耐故障性に関する検討(ディペンダブルシステム,C分野:ハードウェア・アーキテクチャ)
- C-025 高電磁環境下で論理回路に発生する過渡故障の実験的評価(ディペンダブルシステム,C分野:ハードウェア・アーキテクチャ)
- データレプリケーションにおける一貫性と信頼性の関係についての考察(信頼性理論,通信ネットワークの信頼性,信頼性一般)
- 構造化P2PネットワークChordのオブジェクト探索プロトコルにおける耐故障性評価(システムのディペンダビリティ,2012年並列/分散/協調処理に関する『鳥取』サマー・ワークショップ(SWoPP鳥取2012))
- 分散データレプリケーションシステムにおける評価尺度に関する一考察(ネットワーク環境でのディペンダビリティー)
- CANプロトコルによる車載LANにおける高電磁ノイズ下での耐故障性(安全性及び一般)
- ディジタル・パワー制御の高信頼化に関する試み(ディペンダブルコンピューティングシステム及び一般)
- ディジタル・パワー制御の高信頼化に関する試み(ディペンダブルコンピューティングシステム及び一般)
- 構造化P2Pネットワークの評価に関する一考察(信頼性理論,通信ネットワークの信頼性,信頼性一般)
- C-009 分散システムの評価尺度についての一考察(C分野:ハードウェア・アーキテクチャ,一般論文)