區(qū)域故障下分布式一致性的改進(jìn)算法.pdf

1、　　分布式一致性是指n個(gè)處理器組成的分布式系統(tǒng),其中最多有m個(gè)處理器發(fā)生故障,要求所有的無(wú)故障處理器都能做出相同的決定,并且決定值必須是合理的。區(qū)域故障模型是多個(gè)局域網(wǎng)中處理器的故障模型。本文提出了區(qū)域故障模型下分布式一致性的改進(jìn)算法,將其通信復(fù)雜度將為O(n3(？)min(f+2,t+1))。
　　分布式一致性和Byzantine一致性是等價(jià)的,而B(niǎo)yzantine一致性是分布式計(jì)算領(lǐng)域最基本的問(wèn)題之一。首先對(duì)Byzantine

2、一致性進(jìn)行分類,然后證明了當(dāng)且僅當(dāng)n>3m時(shí)才存在對(duì)應(yīng)的Byzantine一致性算法,給出了n>3m時(shí)的Byzantine一致性算法和其正確性證明。接下來(lái)描述了分布式一致性,給出了n>3m時(shí)實(shí)現(xiàn)分布式一致性的指數(shù)級(jí)算法以及算法對(duì)應(yīng)的幾條性質(zhì),跟著用Phase King協(xié)議解決分布式一致性并給出證明。然后將n>3m的情況擴(kuò)展到使用對(duì)手結(jié)構(gòu),介紹了使用對(duì)手結(jié)構(gòu)時(shí)的分布式一致性算法,證明了算法的幾條性質(zhì)。在接下來(lái)的部分定義了區(qū)域故障模型,分析

3、了區(qū)域故障模型下分布式一致性的特征,據(jù)此給出了區(qū)域故障下實(shí)現(xiàn)分布式一致性的充要條件即A1∪A2∪A3≠P或者Ai(i=1,2,3)在(A,(？))上是可驗(yàn)證的,并且給出了相應(yīng)的證明。接著利用上一部分證明充要條件時(shí)采用的思想,如果一個(gè)對(duì)手結(jié)構(gòu)中三個(gè)元素覆蓋處理器集合,那么這個(gè)對(duì)手結(jié)構(gòu)可以用虛擬處理器來(lái)代替,這樣虛擬處理器和真實(shí)處理器共同組成的集合滿足Q3,在真實(shí)處理器和虛擬處理器上可以定義一個(gè)分布式協(xié)議,然后再根據(jù)協(xié)議的特性進(jìn)一步改進(jìn)。<