| 講演抄録/キーワード |
| 講演名 |
2013-06-14 14:45
システムワークロードに基づいた最適チェックポイント配置 土井優希・○土肥 正(広島大) R2013-19 |
| 抄録 |
(和) |
本稿では, Bouguerra, Trystram, Gautier and Vincent (2008, 2010) によって考察された最適チェックポイント配置問題の誤りを指摘し, より一般的な仮定の下で総期待処理時間を最小にする最適チェックポイントを生成するためのアルゴリズムを開発する. ひとつのプロセス実行するために所与のワークロードが定められているものとし, 一旦システム障害が発生すると直前のチェックポイントからのプロセス情報は全て失われ, プロセス処理を再開する. プロセス処理の開始には一定のセットアップコストが生じるものとし, 各チェックポイント間でシステム障害が発生しなかった場合にはチェックポイント上でプロセス情報を更新する.総期待処理時間を最小にする最適チェックポイント配置問題は等式制約をもつ非線形計画問題となるので, ラグランジュ乗数法に基づいて最適チェックポイント間隔の必要条件を求めることができる. システム障害発生時間が指数分布に従う時, チェックポイントコストとセットアップコストが残存ワークロードと独立ならば, 最適チェックポイント間隔は等間隔となる. 一方, チェックポイントコストとセットアップコストが残存ワークロードに比例するならば, 最適チェックポイント間隔は単調増加列になることが示される. 最終的に数値例において, 最適チェックポイント間隔に関する故障率パラメータの感度分析を行い, チェックポイント配置に影響を与える要因を定量的に検討する. |
| (英) |
In this paper we revisit an optimal checkpoint model by Bouguerra, Trystram, Gautier and Vincent (2008, 2010) and develop a computation algorithm to place the optimal checkpoint sequence minimizing the expected total processing time. Suppose that given system workload is needed to execute one process. Once a system failure occurs, the process information since the latest checkpoint is lost and the process has to be re-started, where a constant set-up cost is incurred for each process re-start. If the system failure does not occur between two succsessive checkpoints, then the process information is saved at the latter checkpoint. Since the minimization problem of the expected total processing time for one process is formulated as a non-linear programing with equality constraints, the necessary conditions for the optimal checkpoint sequence are derived by means of the method of Lagrange multiplier. Consider the simplest case where the system failure time is exponentially distributed. If the checkpointing cost and the set-up cost are independent of the remaining system workload and are given by constants, the optimal checkpoint interval is always constant and it is optimal to place the checkpoints periodecally. On the other hand, if both of checkpointing and the set-up costs are proportional to the remaining system workload, it is shown that the resulting optimal checkpoint sequence is given by a monotonically increasing sequence. In a numerical example, we carry out a sensitivity analysis on the failure rate parameter on the optimal checkpoint interval and investigate a significant factor to the optimal checkpoint placement. |
| キーワード |
(和) |
チェックポイント配置 / 総期待処理時間 / システムワークロード / 非線形計画 / ファイルシステム / / / |
| (英) |
Checkpoint placement / Expected total processing time / System workload / Non-linear programing / File system / / / |
| 文献情報 |
信学技報, vol. 113, no. 80, R2013-19, pp. 17-22, 2013年6月. |
| 資料番号 |
R2013-19 |
| 発行日 |
2013-06-07 (R) |
| ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
R2013-19 |
| 研究会情報 |
| 研究会 |
R |
| 開催期間 |
2013-06-14 - 2013-06-14 |
| 開催地(和) |
機械振興会館 |
| 開催地(英) |
|
| テーマ(和) |
電子・電気機器の信頼性,故障解析,劣化診断,信頼性一般 |
| テーマ(英) |
|
| 講演論文情報の詳細 |
| 申込み研究会 |
R |
| 会議コード |
2013-06-R |
| 本文の言語 |
日本語 |
| タイトル(和) |
システムワークロードに基づいた最適チェックポイント配置 |
| サブタイトル(和) |
|
| タイトル(英) |
Optimal Checkpoint Placement based on System Workload |
| サブタイトル(英) |
|
| キーワード(1)(和/英) |
チェックポイント配置 / Checkpoint placement |
| キーワード(2)(和/英) |
総期待処理時間 / Expected total processing time |
| キーワード(3)(和/英) |
システムワークロード / System workload |
| キーワード(4)(和/英) |
非線形計画 / Non-linear programing |
| キーワード(5)(和/英) |
ファイルシステム / File system |
| キーワード(6)(和/英) |
/ |
| キーワード(7)(和/英) |
/ |
| キーワード(8)(和/英) |
/ |
| 第1著者 氏名(和/英/ヨミ) |
土井 優希 / Yuki Doi / ドイ ユウキ |
| 第1著者 所属(和/英) |
広島大学 (略称: 広島大)
Hiroshima University (略称: Hiroshima Univ.) |
| 第2著者 氏名(和/英/ヨミ) |
土肥 正 / Tadashi Dohi / ドヒ タダシ |
| 第2著者 所属(和/英) |
広島大学 (略称: 広島大)
Hiroshima University (略称: Hiroshima Univ.) |
| 第3著者 氏名(和/英/ヨミ) |
/ / |
| 第3著者 所属(和/英) |
(略称: )
(略称: ) |
| 第4著者 氏名(和/英/ヨミ) |
/ / |
| 第4著者 所属(和/英) |
(略称: )
(略称: ) |
| 第5著者 氏名(和/英/ヨミ) |
/ / |
| 第5著者 所属(和/英) |
(略称: )
(略称: ) |
| 第6著者 氏名(和/英/ヨミ) |
/ / |
| 第6著者 所属(和/英) |
(略称: )
(略称: ) |
| 第7著者 氏名(和/英/ヨミ) |
/ / |
| 第7著者 所属(和/英) |
(略称: )
(略称: ) |
| 第8著者 氏名(和/英/ヨミ) |
/ / |
| 第8著者 所属(和/英) |
(略称: )
(略称: ) |
| 第9著者 氏名(和/英/ヨミ) |
/ / |
| 第9著者 所属(和/英) |
(略称: )
(略称: ) |
| 第10著者 氏名(和/英/ヨミ) |
/ / |
| 第10著者 所属(和/英) |
(略称: )
(略称: ) |
| 第11著者 氏名(和/英/ヨミ) |
/ / |
| 第11著者 所属(和/英) |
(略称: )
(略称: ) |
| 第12著者 氏名(和/英/ヨミ) |
/ / |
| 第12著者 所属(和/英) |
(略称: )
(略称: ) |
| 第13著者 氏名(和/英/ヨミ) |
/ / |
| 第13著者 所属(和/英) |
(略称: )
(略称: ) |
| 第14著者 氏名(和/英/ヨミ) |
/ / |
| 第14著者 所属(和/英) |
(略称: )
(略称: ) |
| 第15著者 氏名(和/英/ヨミ) |
/ / |
| 第15著者 所属(和/英) |
(略称: )
(略称: ) |
| 第16著者 氏名(和/英/ヨミ) |
/ / |
| 第16著者 所属(和/英) |
(略称: )
(略称: ) |
| 第17著者 氏名(和/英/ヨミ) |
/ / |
| 第17著者 所属(和/英) |
(略称: )
(略称: ) |
| 第18著者 氏名(和/英/ヨミ) |
/ / |
| 第18著者 所属(和/英) |
(略称: )
(略称: ) |
| 第19著者 氏名(和/英/ヨミ) |
/ / |
| 第19著者 所属(和/英) |
(略称: )
(略称: ) |
| 第20著者 氏名(和/英/ヨミ) |
/ / |
| 第20著者 所属(和/英) |
(略称: )
(略称: ) |
| 第21著者 氏名(和/英/ヨミ) |
/ / |
| 第21著者 所属(和/英) |
(略称: )
(略称: ) |
| 第22著者 氏名(和/英/ヨミ) |
/ / |
| 第22著者 所属(和/英) |
(略称: )
(略称: ) |
| 第23著者 氏名(和/英/ヨミ) |
/ / |
| 第23著者 所属(和/英) |
(略称: )
(略称: ) |
| 第24著者 氏名(和/英/ヨミ) |
/ / |
| 第24著者 所属(和/英) |
(略称: )
(略称: ) |
| 第25著者 氏名(和/英/ヨミ) |
/ / |
| 第25著者 所属(和/英) |
(略称: )
(略称: ) |
| 第26著者 氏名(和/英/ヨミ) |
/ / |
| 第26著者 所属(和/英) |
(略称: )
(略称: ) |
| 第27著者 氏名(和/英/ヨミ) |
/ / |
| 第27著者 所属(和/英) |
(略称: )
(略称: ) |
| 第28著者 氏名(和/英/ヨミ) |
/ / |
| 第28著者 所属(和/英) |
(略称: )
(略称: ) |
| 第29著者 氏名(和/英/ヨミ) |
/ / |
| 第29著者 所属(和/英) |
(略称: )
(略称: ) |
| 第30著者 氏名(和/英/ヨミ) |
/ / |
| 第30著者 所属(和/英) |
(略称: )
(略称: ) |
| 第31著者 氏名(和/英/ヨミ) |
/ / |
| 第31著者 所属(和/英) |
(略称: )
(略称: ) |
| 第32著者 氏名(和/英/ヨミ) |
/ / |
| 第32著者 所属(和/英) |
(略称: )
(略称: ) |
| 第33著者 氏名(和/英/ヨミ) |
/ / |
| 第33著者 所属(和/英) |
(略称: )
(略称: ) |
| 第34著者 氏名(和/英/ヨミ) |
/ / |
| 第34著者 所属(和/英) |
(略称: )
(略称: ) |
| 第35著者 氏名(和/英/ヨミ) |
/ / |
| 第35著者 所属(和/英) |
(略称: )
(略称: ) |
| 第36著者 氏名(和/英/ヨミ) |
/ / |
| 第36著者 所属(和/英) |
(略称: )
(略称: ) |
| 講演者 |
第2著者 |
| 発表日時 |
2013-06-14 14:45:00 |
| 発表時間 |
25分 |
| 申込先研究会 |
R |
| 資料番号 |
R2013-19 |
| 巻番号(vol) |
vol.113 |
| 号番号(no) |
no.80 |
| ページ範囲 |
pp.17-22 |
| ページ数 |
6 |
| 発行日 |
2013-06-07 (R) |
|