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

Abstract

在本論文裡，我們製作了一個在多處理機上的監視環境來分析並行程式的 行為和效能。它是使用混合式監視方式(Hybrid Monitoring)和OS Instrumentation的方法來搜集系統動態執行的資訊，再經過解譯分析， 並利用我們製作的一套模型描述語言EVEL定義模行來作驗證和評估，幫助 程式設計者除錯程式、調整效能。其中，我們分別提供實際時序( Physical Timing)和邏輯時序(Logical Timing)作為效能測量和正確性檢 查的依據，還有一個圖形工具Event Trace Timeline Diagram顯示程式動 態執行的特性。並且使用時間邏輯(Temporal Logical)建立驗證模型( Validation Model)來驗證程式的正確性。最後，我們描述一個效能調整 的例子，利用這個監視環境分析、調整平行程式的效能。 In this thesis, we present a monitoring environment for analysis the behavior and the performance of concurrent programs in multiprocessor systems. The monitoring environment adopts hybrid monitoring and OS instrumentation mechanism to collect the run-time information of system. The collected information is, then, interpreted and analyzed to construct a partial ordering of the execution process. Also, a novel model description language is provided to help programmers to construct the desired validation and evaluation model. The user- defined model, thus, utilizes the partial order relations to validate the collected information. Moreover, temporal logical is applied to build the validation model to validate the correctness, respectively, of concurrent programs. The dynamic behavior of a program is displayed as a Event Trace Timeline Diagram through a visualization tool. Thus, the environment can effectively assist programmers in debugging and tuning their programs. Finally, a case of the performance tuning on parallel program rinning on the target system is described to illustrate the effectiveness of the proposed monitor.