基于移動計(jì)算環(huán)境下卷回恢復(fù)算法及仿真研究.pdf

1、由于移動節(jié)點(diǎn)的不可靠和無線網(wǎng)絡(luò)連接的脆弱性，研究移動計(jì)算系統(tǒng)容錯機(jī)制具有重要意義。但由于移動計(jì)算系統(tǒng)自身的特殊性，使得先前為分布式系統(tǒng)研發(fā)的各種容錯技術(shù)和手段不能直接運(yùn)用于移動計(jì)算系統(tǒng)中，因此研究適合于移動分布式計(jì)算系統(tǒng)應(yīng)用的容錯機(jī)制顯得尤為必要。
　　因果日志方法可以實(shí)現(xiàn)移動節(jié)點(diǎn)的異步卷回恢復(fù)，適用于移動計(jì)算環(huán)境。但針對網(wǎng)絡(luò)規(guī)模較大的的移動計(jì)算網(wǎng)絡(luò)系統(tǒng)，傳統(tǒng)的因果日志方法存在通信和存儲開銷過大的缺點(diǎn)，文中提出了一種基于分層的因果

2、日志卷回恢復(fù)算法，通過在移動支持站上記錄小區(qū)內(nèi)移動節(jié)點(diǎn)間傳遞消息的先行圖(AG)來記錄移動節(jié)點(diǎn)間的因果依賴關(guān)系，在移動支持站之間通過FBL協(xié)議記錄跨區(qū)消息確定因子，該協(xié)議可以實(shí)現(xiàn)移動節(jié)點(diǎn)失效以及移動支持站失效的一致卷回恢復(fù)。
　　文中通過使用主要面向分布式軟件和協(xié)議系統(tǒng)驗(yàn)證、由貝爾實(shí)驗(yàn)室J.Holzmann等于1989年開發(fā)的模型檢測工具SPIN搭建了移動計(jì)算環(huán)境，使用PROMELA語言建立系統(tǒng)的狀態(tài)機(jī)模型，并使用線性時態(tài)邏輯(L