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

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

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

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