| 講演名 | 2006-05-26 制約付最適逐次チェックポイント配置 : 厳密解と近似解について(ソフトウェアの信頼性,信頼性理論,信頼性一般) 尾崎 達也, 土肥 正, 海生 直人, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本論文では,ある制約付の最適逐次チェックポイント配置について考察する.一般に,チェックポイント配置問題では,チェックポインティング自体にかかるオーバーヘッドと障害が発生した後に実施する回復動作に要するオーバーヘッドの2種類のコスト要因を考慮する必要がある.しかしながら,いずれかのコスト要因が,期待値の意味において,ある規定の水準にあることが要求される場合には,最適なチェックポイント列を求める問題は,もう一方の期待コストを最小にする等式制約付最小化問題に帰着される.この種類の問題は,ラグランジュ乗数法を導入することで,制約のない最適化問題に変換することが可能である.本論文では,非周期的チェックポイント配置問題の厳密解法と,変分法に基づいた近似解法を提案する.数値例では,チェックポイント配置における制約水準の従属性を調べ,近似解法の精度を定量的に評価する. |
| 抄録(英) | In this paper we consider optimal checkpoint placements with equality constraints. In general, the checkpointing takes place by taking account of the tradeoff relationship between two cost factors; checkpointing overhead and recovery overhead after a system failure. However, when one of two factors is requested to satisfy a certain level in the sense of expectation, the problem is to derive the optimal checkpoint sequence minimizing the remaining expected cost function subject to an equality constraint. This type of checkpoint placement problem can be transformed to non-constraint optimization problems with the Lagrange multiplier. We develop approximate algorithms based on the variational calculus approach to derive the aperiodic checkpoint sequence as well as the exact solution algorithms. In numerical examples, we investigate the dependence of constraint level on the optimal checkpointing decision, and evaluate the accuracy of approximate solutions quantitatively. |
| キーワード(和) | チェックポイント / 後向き回復 / 等式制約 / 厳密解 / 近似解 |
| キーワード(英) | checkpoint / rollback recovery / equality constraints / exact solution / approximate solution |
| 資料番号 | R2006-12 |
| 発行日 |
| 研究会情報 | |
| 研究会 | R |
|---|---|
| 開催期間 | 2006/5/19(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Reliability(R) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | 制約付最適逐次チェックポイント配置 : 厳密解と近似解について(ソフトウェアの信頼性,信頼性理論,信頼性一般) |
| サブタイトル（和） | |
| タイトル（英） | Optimal Checkpoint Placement with Equality Constraints : Exact and Approximate Solutions |
| サブタイトル（和） | |
| キーワード(1)（和/英） | チェックポイント / checkpoint |
| キーワード(2)（和/英） | 後向き回復 / rollback recovery |
| キーワード(3)（和/英） | 等式制約 / equality constraints |
| キーワード(4)（和/英） | 厳密解 / exact solution |
| キーワード(5)（和/英） | 近似解 / approximate solution |
| 第 1 著者 氏名（和/英） | 尾崎 達也 / Tatsuya OZAKI |
| 第 1 著者 所属（和/英） | 広島大学大学院工学研究科情報工学専攻 Department of Information Engineering, Graduate School of Engineering, Hiroshima University |
| 第 2 著者 氏名（和/英） | 土肥 正 / Tadashi DOHI |
| 第 2 著者 所属（和/英） | 広島大学大学院工学研究科情報工学専攻 Department of Information Engineering, Graduate School of Engineering, Hiroshima University |
| 第 3 著者 氏名（和/英） | 海生 直人 / Naoto KAIO |
| 第 3 著者 所属（和/英） | 広島修道大学経済科学部経済情報学科 Department of Economic Informatics, Faculty of Economic Sciences, Hiroshima Shudo University |
| 発表年月日 | 2006-05-26 |
| 資料番号 | R2006-12 |
| 巻番号（vol） | vol.106 |
| 号番号（no） | 76 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |