在distributeddaemon计算模式下针对最小k-支配集问题的自我稳定.PDFVIP

教專研 98P-026 在 distributed daemon計算模式下針對最小 k支配集問題的自我穩定演算法- 在 distributed daemon計算模式下針對最小 k支配集問題的自我穩定演算法- 陳志遠 資訊工程系 摘要 在分散式系統中的 k 支配集- ( k 為任意的正整數是指一個由一些處理器所組成的集) k k 合，且在此集合外面的每一個 處理器至少必須有 個鄰居在此集合裡面。在應用上， - 支配集可以作為系統內理想的 放置資源的地點。而最小k 支配集可以讓放置資源的地點- 的數目盡可能地少。因為最大獨立集可以被視為最小 1-支配集，所以從某些觀點，找最 小k -支配集問題是找最大獨立集問題的 延伸。在這個計畫中，我們修改 Kamei 和 Kakugawa所提出的，在 central daemon計算模式的樹狀網路中運作，針對最小 k 支配集- 問題的自我穩定演算法，使其成為在 distributed daemon計算模式的一般網路中運作，仍 然是自我穩定的最小k 支配集演算法。更進一步地，我們- 計算所修改後的演算法在最差 情況下的穩定時間為 O(n2 ) ，其中n是系統中結點的總數。 壹、緒論 分散式系統(distributed system)是一群鬆散連結處理器的集合。每一個處理器可以和 其他的處理器彼此之間互相通訊，這些可以彼此通訊的處 理器稱為鄰居。傳統上，對於 容錯 (fault tolerance)領域的研究，都是將造成系統錯誤的原因加以分類，然後針對分類後 的每個原因各別提出一個解決 方法，而沒有一個統合的方法可以適用於所有造成系統錯 誤的原因。根據系統的目標，我們可 將系統的狀態區分為合理(legitimate) 與不合理 (illegitimate) 兩種；自我穩定系統不管造成系統錯誤的原因為何，它都能在不需任何外界 的介入下，自動由任何的錯誤 狀態回復到正確之系統狀態 ，故自我穩定的性質可視為提 高系統可靠度的一個統合性方法。 Dijkstra[4]於 1974 年首度提出自我穩定的觀念：若是一個系統由任何的初始狀態開 始，都可以在有限的步驟內到達合理的系統狀態，則稱其為自我穩定系統 (self-stabilizing system) ；而一個非自我穩定系統則有可能永遠停留在不合理的系統狀態。因此，一個自 我穩定系統具有下述兩個特色： 1.系統不需要初始化(initialization): 在分散式運算的環境中，錯誤 經常發生。一般的系統皆必須由某一個特定的起始狀態 (initial state)開始執行，系統才能正確運作，這意味著系統運作前及錯誤發生後，皆必 須由外界 (人或另外一個分散式演算法)來作一個初始化的動作，造成系統維護成本與複 雜度提高，而自我穩定系統可以解決上述問題。 2. 系統能從任何transient failure中恢復至合理狀態 當系統發生 transient failure 而導致變數的值發生錯誤時，系統將處於不合理的狀態而 無法正常執行。在這種情況下 ，一般的系統皆需要重新初始化後，才能恢復到合理狀 態，而一個自我穩定系統只需 繼續執行下去，就可以不需任何外界的介入，自動回復 98-333 資訊工程系-陳志遠 教專研 98P-026 在 distributed daemon計算模式下針對最小 k支配集問題的自我穩定演算法- 到合理之系統狀態。 為了簡化設計自我穩定系統及驗證其正確性的複雜度，Dijkstra 於 1974 年首度引進 central daemon的觀念。 Central daemon可視為一個中央控制器 (centralized cont