異步分布式系統(tǒng)中故障檢測(cè)器的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、由于存在結(jié)點(diǎn)失靈的可能，F(xiàn)ischer等人證明了異步系統(tǒng)中不存在一致合意的確定性求解算法 ，為此，Sam Toueg等人提出了異步分布式系統(tǒng)中的故障檢測(cè)器技術(shù) 。故障檢測(cè)器作為一個(gè)模塊獨(dú)立運(yùn)行，并輸出可疑結(jié)點(diǎn)列表，其他進(jìn)程通過查詢?cè)摿斜韥砼袛嗤ㄓ崒?duì)方結(jié)點(diǎn)的好壞。 以◇P類 不可靠故障檢測(cè)器為基礎(chǔ)，采用模塊化的體系結(jié)構(gòu)，運(yùn)用面向?qū)ο蟮木幊陶Z言，本文設(shè)計(jì)和實(shí)現(xiàn)了一個(gè)異步系統(tǒng)中的故障檢測(cè)器FD={d1,d2,……,dn}，使得運(yùn)行在第

2、 臺(tái)計(jì)算機(jī)上的故障檢測(cè)服務(wù)模塊 為本機(jī)上的所有結(jié)點(diǎn)提供故障檢測(cè)服務(wù)，因此故障檢測(cè)器FD={d1,d2,……,dn}也就能為整個(gè)網(wǎng)絡(luò)上的結(jié)點(diǎn)提供檢測(cè)服務(wù)。 把一個(gè)物理故障檢測(cè)器映射為若干個(gè)邏輯故障檢測(cè)器，邏輯故障檢測(cè)器與本地結(jié)點(diǎn)一一“捆綁”在了一起，即 對(duì)申請(qǐng)者來說是透明的。 包含“結(jié)點(diǎn)接口”、“故障檢測(cè)器”、“網(wǎng)絡(luò)接口”和“結(jié)點(diǎn)和組群管理”四個(gè)模塊，這四個(gè)模塊相互協(xié)同工作，對(duì)外共同實(shí)現(xiàn)若干個(gè)邏輯故障檢測(cè)器并“綁定”到本地的每一個(gè)應(yīng)用結(jié)