一個信息傳遞多處理機系統上的監視環境

Abstract

在本論文裡，我們製作了一個在多處理機系統上的監視環境來分析並行程式的行為 和效能。它是使用混合式監視方式(Hybrid monitoring) 和OS instrumentation的 方法來蒐集系統動態執行的資訊，再經過解釋分析，並利用我們製作的一套模型描 述語言EVEL定義模型來作驗證和評估，幫助程式設計者除錯程式、調整效能。其中 ，我們分別提供了實際時序(physical timing) 和邏輯時序(logical timing)作為 效能測量和正確性檢查的依據，還有一個圖形工具Event Trace Timeline Diagram 顯示程式動態執行的特性。並且使用時間邏輯 (temporal logic) 建立驗證模型 ( validation model) 來驗證程式的正確性。最後，我們描述一個效能調整的例子， 利用這個監視環境分析、調整平行程式的效能。