標題: 一個信息傳遞多處理機系統上的監視環境
A monitoring environment for message-passing multiprocessor system
作者: 李躍欽
Li, Yue-Qin
曾建超
Zeng, Jian-Chao
資訊科學與工程研究所
關鍵字: 信息傳遞;處理機;監視環境;監視器;並行程式;除錯;正確性驗證;效能調整;資訊;電腦科學;Monitor;Concurrent Program;Debug;Validation of Correctness;Performance Tuning;INFORAMTION;COMPUTER-SCIENCE
公開日期: 1992
摘要: 在本論文裡,我們製作了一個在多處理機系統上的監視環境來分析並行程式的行為 和效能。它是使用混合式監視方式(Hybrid monitoring) 和OS instrumentation的 方法來蒐集系統動態執行的資訊,再經過解釋分析,並利用我們製作的一套模型描 述語言EVEL定義模型來作驗證和評估,幫助程式設計者除錯程式、調整效能。其中 ,我們分別提供了實際時序(physical timing) 和邏輯時序(logical timing)作為 效能測量和正確性檢查的依據,還有一個圖形工具Event Trace Timeline Diagram 顯示程式動態執行的特性。並且使用時間邏輯 (temporal logic) 建立驗證模型 ( validation model) 來驗證程式的正確性。最後,我們描述一個效能調整的例子, 利用這個監視環境分析、調整平行程式的效能。
URI: http://140.113.39.130/cdrfb3/record/nctu/#NT814392001
http://hdl.handle.net/11536/57452
Appears in Collections:Thesis