多處理機系統的局部偵錯診斷研究

Abstract

我近期的研究著重在多處理器系統上的偵錯診斷，以及連結網路的容錯子架構之嵌 入。過去幾年間，我的實驗室有九位博士班學生畢業，並且發展出許多研究主題，近五 年內這些成果發表有25 篇國際期刊論文。 在這個計畫中，我們將延續之前的研究，繼續針對多處理器系統上的偵錯能力作深 入的探討，例如幾項我們定義出來的新概念：強診斷系統、條件式診斷能力、以及局部 診斷能力等等。就在今年和去年，我和我所指導的博士班學生也以這幾項新概念發表了 三篇論文刊登在IEEE Transaction on Computer 期刊之上。 為了做到系統的自我診斷，過去的文獻提出了一些診斷模式。Preparata, Metze, and Chien 針對多處理器系統上的系統層診斷狀態，提出一個現在名為PMC 的診斷模型 (PMC model)。而這個診斷模型是以系統中每兩個處理器之間相互作測試為主要的基 礎。 另外，Maeng and Malek 也提出了一個實用的診斷模型，名為比較模型(comparison model) 或MM 模型。在這個模型下，系統由某一個處理器向相連的處理器散發出測試 訊息，再將返傳回來的測試訊息兩兩作比較。在這個狀態之下，這個處理器可稱為另外 兩個被測試處理器之訊息比較者(comparator)；若訊息比較者本身是好的，回傳的測試 訊息就能指出被測試處理器的好壞狀態。以此概念為基礎，另一個延伸的MM*模型則 將系統中所有訊息完全蒐集，再進而偵測所有處理器的好壞狀態。之後，Sengupta and Dahbura 研究了MM 模型和MM*模型，討論有關比較模型之下的系統診斷狀態，並提 出一個能在多項式時間(O(n^5))內完成的演算法來偵測多處理器系統或連結網路中的所 有損壞狀況。 在這個計畫當中，我們將以最近剛研發出來的新概念來探討多處理器系統中的局部 診斷能力，而這個稱之為「局部診斷能力」的新概念則是相對於傳統的全域診斷概念。 我們還提出一個更有效率(O(nlogn))的演算法來作偵錯診斷。在此同時，我們也有一些 新研究成果是關於容錯迴圈(fault-tolerant cycle)和容錯路徑(fault-tolerant path)與連結 網路之間之嵌入性。這些結果也正在修正整理當中，並且預計在近期內再次投稿於國際 期刊IEEE Transaction on Computers。