面向分布式容錯計算的描述語言及其應(yīng)用研究.pdf

1、隨著現(xiàn)代計算機網(wǎng)絡(luò)技術(shù)的發(fā)展，諸如銀行系統(tǒng)、火車票網(wǎng)上訂票系統(tǒng)、衛(wèi)星控制系統(tǒng)等分布式系統(tǒng)得到廣泛的開發(fā)和使用。針對大規(guī)模分布式系統(tǒng)以及安全至上的系統(tǒng)，容錯能力是其設(shè)計開發(fā)必需考慮的一個重要因素。一方面，系統(tǒng)復(fù)雜性的增加必然會降低系統(tǒng)整體的可靠性，即使所有組件都具有高可靠性;另一方面，總是存在某些不可預(yù)期的環(huán)境因素或者潛在的軟件錯誤沒有被設(shè)計者考慮在內(nèi)。
　　容錯系統(tǒng)的正確性由分布式系統(tǒng)的安全性質(zhì)和生存性質(zhì)保證;這兩種性質(zhì)往往與系統(tǒng)

2、功能模塊的狀態(tài)相關(guān)，取決于分布式算法。因此，系統(tǒng)的容錯模塊與功能模塊緊密相關(guān)。在理解、設(shè)計或者擴展分布式容錯系統(tǒng)的框架時，無論是增加失效類型，還是增加容錯機制，或是增加容錯的系統(tǒng)組件，系統(tǒng)的設(shè)計、開發(fā)與維護人員都需要首先對（原有的）系統(tǒng)模塊有詳盡的認識，甚至可能需要學(xué)習與容錯計算相關(guān)的理論體系，然后才能開展進一步的研究與開發(fā)任務(wù);另外還需注意，系統(tǒng)的局部修改和維護非常困難，容易引發(fā)新的失效。
　　為了簡化上述冗長并且繁瑣的系統(tǒng)開發(fā)

3、流程，基于可用于刻畫并發(fā)通信實體的通信順序進程理論(CSP)，借鑒維也納開發(fā)方法(VDM)既有語言成分的定義，本文使用維也納定義語言(VDL)元語言定義了一種抽象的容錯描述語言(FTDL)，用于刻畫計算系統(tǒng)的行為。該語言的解釋器定義主要包括對以下成分的解釋:并發(fā)性，同步調(diào)用和異步調(diào)用，基于消息的通信，以及針對不同層次范圍內(nèi)默認類型失效的檢測和處理監(jiān)控。
　　為了說明如何使用FTDL語言，本文使用類似VDM語言語法成分的程序語言，分