分散式監督器之設計與實作

Abstract

在分散式系統環境下,解決並行/平行處理單 元間的同步問題,信號機□權杖傳遞及監督器 均是可行的機制.在已發表的文獻中,主要以信 號機及權杖傳遞機制為主.此兩種機制有一最 大缺點,即處理單元必須外顯的控制同步.由於 監督器本身即保證互斥,並提供資訊隱藏;因此, 設計並實作一分散式監督器來解決並行/平行 處理間的同步問題,並貢獻與價值是可預期的. 目前提供同步基元,讓使用者自行撰寫監督器的系統,如Mach O.S. ,Masscomp RTU等,均無法擴充至 分散式系統的環境.本計畫企圖在不修改UNIX kernel 之前提下,設計一機制允許使用者撰寫自 己的分散式監督器,和處理單元可完全透明式 的呼叫監督器內的程序.然而,利用分散式系統 環境解決問題,不外是要提供更佳的可靠度;因 此,本計畫所設計之分散式監督器將具有容錯 之功能.本計畫完成後將提供兩個前置處理器 產生處理單元呼叫監督器內的程序之介面,和 容錯式監督器的原始程式碼;同時提出解決分 散式監督器由失效至復原過程的方法和演算法 .