講演抄録/キーワード |
講演名 |
2019-11-28 15:35
非周期チェックポインティングを伴う非マルコフ型アベイラビリティモデルの最適ソフトウェア若化方策に関する考察 ○鄭 俊俊(立命館大)・岡村寛之・土肥 正(広島大) R2019-47 |
抄録 |
(和) |
本稿では,非周期チェックポインティングを伴う非マルコフ型アベイラビリティモデルの最適ソフトウェア若化方策について考察する.ソフトウェア若化はメモリリークやフラグメンテーションに代表されるソフトウェアエージングと呼ばれる経年劣化現象を予防的に保全するための技術である.本稿では,チェックポイント設定方式に基づいて二種類のアベイラビリティモデルについて考える.また,位相型近似により最適化問題に必要となるシステムの定常アベイラビリティを求める.そして,システムの定常アベリラビリティを最大化する最適なソフトウェア若化スケジュールを決定する. |
(英) |
In this paper, we present non-Markovian availability models for capturing the dynamics of system behavior of an operational software system that undergoes aperiodic time-based software rejuvenation and checkpointing schemes. Two availability models with rejuvenation are considered according to the procedure after the completion of rollback recovery operation. We further proceed to investigate whether there exists the optimal rejuvenation schedule that maximizes the steady-state system availability, which is derived by the means of the phase expansion technique. The numerical experiments are conducted to determine the optimal rejuvenation trigger timing maximizing the system availability for each availability model, and to compare both two models. |
キーワード |
(和) |
ソフトウェア若化 / チェックポインティング / 最適若化方策 / 非マルコフ過程 / 位相型近似 / 定常アベイラビリティ / / |
(英) |
software rejuvenation / checkpointing / optimal rejuvenation policy / non-Markovian process / phase expansion / steady-state availability / / |
文献情報 |
信学技報, vol. 119, no. 315, R2019-47, pp. 23-28, 2019年11月. |
資料番号 |
R2019-47 |
発行日 |
2019-11-21 (R) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
R2019-47 |