本文關(guān)鍵詞：分布式容錯計算描述語言及其應(yīng)用研究

  更多相關(guān)文章： 分布式容錯計算 FTDL VDL

【摘要】：在設(shè)計分布式容錯系統(tǒng)的架構(gòu)時,不僅要控制所有組件正常運行時的標(biāo)準(zhǔn)系統(tǒng)活動,還要控制某個組件失效時的情形。在傳統(tǒng)的分布式容錯系統(tǒng)設(shè)計中,這兩者的模塊實現(xiàn)往往具有緊密的耦合性,這為大型分布式容錯系統(tǒng)的理解、設(shè)計、開發(fā)與維護增加了難度。為了解決這個問題,提出了一種新的方法,參考Hoare的通信順序進程理論,使用維也納定義語言元語言來定義這樣一種描述語言:它不僅能夠描述分布式計算的并發(fā)現(xiàn)象,還能夠獨立刻畫系統(tǒng)的容錯行為。這種解決方案體現(xiàn)了現(xiàn)代編程語言走向抽象化的必然趨勢,也為分布式容錯計算研究領(lǐng)域的發(fā)展提供了一種新的思路。
【作者單位】： 廈門大學(xué)信息科學(xué)與技術(shù)學(xué)院;
【關(guān)鍵詞】： 分布式容錯計算 FTDL VDL
【基金】：福建省自然科學(xué)基金項目(A030007)資助
【分類號】：TP302.8
【正文快照】： 1　引言隨著銀行系統(tǒng)、核電站控制系統(tǒng)、醫(yī)院自助掛號系統(tǒng)、飛行控制系統(tǒng)、火車票網(wǎng)上訂票系統(tǒng)、衛(wèi)星控制系統(tǒng)等系統(tǒng)的開發(fā)和應(yīng)用,分布式系統(tǒng)的容錯能力逐漸成為系統(tǒng)設(shè)計必須考慮的一個重要因素。自20世紀(jì)80年代以來,不論是從故障、差錯以及失效三者之間的關(guān)系出發(fā),還是從失效

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 歐陽s，

本文編號：786194