分布式係統與WEB服務之容錯與實時係統概述(ppt 84頁)

內容摘要
7．1事務的故障模型
利用事務處理服務的概念起源於數據庫管理，最初的目的是提供原子性協議，用於處理消息的丟失。原子提交協議接受這樣一個模型：機器在故障時，將不能做任何事情；而在故障前均能正確地做任何事。對於事務的處理，要考慮磁盤出錯,服務器故障及通信不暢等出錯問題，這樣便需要一個故障模型，在該模型中，事務處理算法可以在可預測的故障下正常工作(含利用恢複技術)，但不保證在出現不可預測的災難性故障下也能恢複正常工作。
故障模型描述如下:
1.寫永久存儲器時可能出錯,可能未寫人，也可能寫錯
例如在出現災難性故障.
2.服務器隨時可能出現故障。
3.消息傳遞延遲可能是無限製的。消息可能丟失、重複
或受損。接收消息的服務器應該能夠檢測消息損壞情
況。所有出錯或未檢測出的受損消息都會引起嚴重故
障。

..............................