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

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

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