移動計(jì)算環(huán)境下檢查點(diǎn)回卷恢復(fù)容錯技術(shù)研究
發(fā)布時間:2024-12-10 00:12
高性能計(jì)算、互聯(lián)網(wǎng)、無線通信、分布式計(jì)算、普適計(jì)算和云計(jì)算等領(lǐng)域的迅速發(fā)展,極大地推動了移動計(jì)算技術(shù)的發(fā)展。與傳統(tǒng)固定有線分布式環(huán)境相比,移動計(jì)算系統(tǒng)具備臨時搭建、自治、節(jié)點(diǎn)移動和網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)易變等特點(diǎn),擁有廣闊的應(yīng)用前景。但移動計(jì)算環(huán)境下進(jìn)程發(fā)生故障的概率遠(yuǎn)大于傳統(tǒng)的有線分布式計(jì)算系統(tǒng),有線分布式計(jì)算系統(tǒng)的檢查點(diǎn)回卷恢復(fù)容錯技術(shù)已無法適用移動計(jì)算環(huán)境,因此,為移動計(jì)算系統(tǒng)設(shè)計(jì)高效的檢查點(diǎn)回卷恢復(fù)容錯機(jī)制是十分有意義的。依據(jù)檢查點(diǎn)回卷恢復(fù)容錯機(jī)制的研究現(xiàn)狀和存在問題,本文圍繞移動計(jì)算環(huán)境下檢查點(diǎn)回卷恢復(fù)容錯技術(shù)開展相關(guān)研究,具體包括: (1)對移動計(jì)算環(huán)境下進(jìn)程日志存儲維護(hù)進(jìn)行了研究,基于m-MSS-m模型和進(jìn)程分段確定性執(zhí)行模型假定,提出了低開銷的進(jìn)程事件日志記錄機(jī)制。該機(jī)制具備以下特點(diǎn):移動支持站統(tǒng)一存儲維護(hù)服務(wù)組內(nèi)移動主機(jī)計(jì)算進(jìn)程檢查點(diǎn)、事件日志和日志間先于偏序依賴關(guān)系;各進(jìn)程檢查點(diǎn)信息和事件日志以確定因子的形式記錄于一維數(shù)組;計(jì)算進(jìn)程歷經(jīng)事件間先于偏序依賴關(guān)系由數(shù)組元素的先后順序表示;進(jìn)程日志先被同步記錄到移動支持站的高速內(nèi)存,僅在特定事件的觸發(fā)下異步更新到可靠存儲設(shè)備。
...
【文章頁數(shù)】:126 頁
【學(xué)位級別】:博士
【文章目錄】:
摘要
Abstract
第1章 緒論
1.1 研究目的和意義
1.2 國內(nèi)外研究現(xiàn)狀
1.2.1 系統(tǒng)模型
1.2.2 檢查點(diǎn)回卷恢復(fù)機(jī)制
1.3 論文結(jié)構(gòu)
第2章 進(jìn)程事件日志記錄機(jī)制
2.1 引言
2.2 進(jìn)程容錯信息存儲管理
2.3 進(jìn)程檢查點(diǎn)與事件日志記錄
2.3.1 MSS 日志記錄結(jié)構(gòu)
2.3.2 事件日志格式
2.3.3 MH 容錯信息
2.4 事件日志記錄機(jī)制
2.4.1 MH 容錯操作
2.4.2 MSS 日志記錄過程
2.4.3 進(jìn)程容錯信息垃圾回收
2.4.4 事件日志實(shí)例
2.5 本章小結(jié)
第3章 故障進(jìn)程回卷恢復(fù)機(jī)制
3.1 引言
3.2 故障回卷恢復(fù)
3.3 進(jìn)程狀態(tài)先于偏序依賴關(guān)系
3.4 系統(tǒng)進(jìn)程狀態(tài)一致恢復(fù)分析
3.4.1 進(jìn)程一致恢復(fù)條件
3.4.2 一致恢復(fù)形式化約束條件
3.5 完備容錯日志下故障進(jìn)程回卷恢復(fù)
3.5.1 完備容錯日志下條件一判定
3.5.2 完備容錯日志下條件二與條件三判定
3.6 不完備容錯日志下故障進(jìn)程回卷恢復(fù)
3.6.1 不完備容錯日志下條件一判定
3.6.2 不完備容錯日志下條件二與條件三判定
3.7 本章小結(jié)
第4章 移動計(jì)算容錯機(jī)制優(yōu)化
4.1 引言
4.2 進(jìn)程檢查點(diǎn)存儲優(yōu)化
4.3 進(jìn)程事件日志記錄優(yōu)化
4.4 基于冗余信息分塊的弱遷移管理
4.4.1 進(jìn)程檢查點(diǎn)操作相關(guān)調(diào)整
4.4.2 垃圾回收過程調(diào)整
4.4.3 進(jìn)程回卷恢復(fù)調(diào)整
4.4.4 進(jìn)程核心容錯信息大小
4.5 本章小結(jié)
第5章 確定進(jìn)程檢查點(diǎn)間隔
5.1 引言
5.2 泊松故障分布下檢查點(diǎn)間隔
5.2.1 進(jìn)程狀態(tài)轉(zhuǎn)換
5.2.2 等距檢查點(diǎn)間隔優(yōu)化模型
5.2.3 優(yōu)化檢查點(diǎn)間隔擬合曲線
5.3 任意故障分布下檢查點(diǎn)間隔
5.3.1 泊松故障事件分布
5.3.2 任意故障事件分布
5.4 本章小結(jié)
第6章 性能分析
6.1 引言
6.2 基于日志容錯機(jī)制對比
6.3 容錯信息遷移維護(hù)分析
6.4 檢查點(diǎn)間隔優(yōu)化分析
6.5 本章小結(jié)
結(jié)論
參考文獻(xiàn)
攻讀博士學(xué)位期間發(fā)表的論文
致謝
本文編號:4015293
【文章頁數(shù)】:126 頁
【學(xué)位級別】:博士
【文章目錄】:
摘要
Abstract
第1章 緒論
1.1 研究目的和意義
1.2 國內(nèi)外研究現(xiàn)狀
1.2.1 系統(tǒng)模型
1.2.2 檢查點(diǎn)回卷恢復(fù)機(jī)制
1.3 論文結(jié)構(gòu)
第2章 進(jìn)程事件日志記錄機(jī)制
2.1 引言
2.2 進(jìn)程容錯信息存儲管理
2.3 進(jìn)程檢查點(diǎn)與事件日志記錄
2.3.1 MSS 日志記錄結(jié)構(gòu)
2.3.2 事件日志格式
2.3.3 MH 容錯信息
2.4 事件日志記錄機(jī)制
2.4.1 MH 容錯操作
2.4.2 MSS 日志記錄過程
2.4.3 進(jìn)程容錯信息垃圾回收
2.4.4 事件日志實(shí)例
2.5 本章小結(jié)
第3章 故障進(jìn)程回卷恢復(fù)機(jī)制
3.1 引言
3.2 故障回卷恢復(fù)
3.3 進(jìn)程狀態(tài)先于偏序依賴關(guān)系
3.4 系統(tǒng)進(jìn)程狀態(tài)一致恢復(fù)分析
3.4.1 進(jìn)程一致恢復(fù)條件
3.4.2 一致恢復(fù)形式化約束條件
3.5 完備容錯日志下故障進(jìn)程回卷恢復(fù)
3.5.1 完備容錯日志下條件一判定
3.5.2 完備容錯日志下條件二與條件三判定
3.6 不完備容錯日志下故障進(jìn)程回卷恢復(fù)
3.6.1 不完備容錯日志下條件一判定
3.6.2 不完備容錯日志下條件二與條件三判定
3.7 本章小結(jié)
第4章 移動計(jì)算容錯機(jī)制優(yōu)化
4.1 引言
4.2 進(jìn)程檢查點(diǎn)存儲優(yōu)化
4.3 進(jìn)程事件日志記錄優(yōu)化
4.4 基于冗余信息分塊的弱遷移管理
4.4.1 進(jìn)程檢查點(diǎn)操作相關(guān)調(diào)整
4.4.2 垃圾回收過程調(diào)整
4.4.3 進(jìn)程回卷恢復(fù)調(diào)整
4.4.4 進(jìn)程核心容錯信息大小
4.5 本章小結(jié)
第5章 確定進(jìn)程檢查點(diǎn)間隔
5.1 引言
5.2 泊松故障分布下檢查點(diǎn)間隔
5.2.1 進(jìn)程狀態(tài)轉(zhuǎn)換
5.2.2 等距檢查點(diǎn)間隔優(yōu)化模型
5.2.3 優(yōu)化檢查點(diǎn)間隔擬合曲線
5.3 任意故障分布下檢查點(diǎn)間隔
5.3.1 泊松故障事件分布
5.3.2 任意故障事件分布
5.4 本章小結(jié)
第6章 性能分析
6.1 引言
6.2 基于日志容錯機(jī)制對比
6.3 容錯信息遷移維護(hù)分析
6.4 檢查點(diǎn)間隔優(yōu)化分析
6.5 本章小結(jié)
結(jié)論
參考文獻(xiàn)
攻讀博士學(xué)位期間發(fā)表的論文
致謝
本文編號:4015293
本文鏈接:http://sikaile.net/kejilunwen/jisuanjikexuelunwen/4015293.html
最近更新
教材專著