Full metadata record
DC FieldValueLanguage
dc.contributor.author李躍欽en_US
dc.contributor.authorLi, Yue-Qinen_US
dc.contributor.author曾建超en_US
dc.contributor.authorZeng, Jian-Chaoen_US
dc.date.accessioned2014-12-12T02:11:22Z-
dc.date.available2014-12-12T02:11:22Z-
dc.date.issued1992en_US
dc.identifier.urihttp://140.113.39.130/cdrfb3/record/nctu/#NT814392001en_US
dc.identifier.urihttp://hdl.handle.net/11536/57452-
dc.description.abstract在本論文裡,我們製作了一個在多處理機系統上的監視環境來分析並行程式的行為 和效能。它是使用混合式監視方式(Hybrid monitoring) 和OS instrumentation的 方法來蒐集系統動態執行的資訊,再經過解釋分析,並利用我們製作的一套模型描 述語言EVEL定義模型來作驗證和評估,幫助程式設計者除錯程式、調整效能。其中 ,我們分別提供了實際時序(physical timing) 和邏輯時序(logical timing)作為 效能測量和正確性檢查的依據,還有一個圖形工具Event Trace Timeline Diagram 顯示程式動態執行的特性。並且使用時間邏輯 (temporal logic) 建立驗證模型 ( validation model) 來驗證程式的正確性。最後,我們描述一個效能調整的例子, 利用這個監視環境分析、調整平行程式的效能。zh_TW
dc.language.isozh_TWen_US
dc.subject信息傳遞zh_TW
dc.subject處理機zh_TW
dc.subject監視環境zh_TW
dc.subject監視器zh_TW
dc.subject並行程式zh_TW
dc.subject除錯zh_TW
dc.subject正確性驗證zh_TW
dc.subject效能調整zh_TW
dc.subject資訊zh_TW
dc.subject電腦科學zh_TW
dc.subjectMonitoren_US
dc.subjectConcurrent Programen_US
dc.subjectDebugen_US
dc.subjectValidation of Correctnessen_US
dc.subjectPerformance Tuningen_US
dc.subjectINFORAMTIONen_US
dc.subjectCOMPUTER-SCIENCEen_US
dc.title一個信息傳遞多處理機系統上的監視環境zh_TW
dc.titleA monitoring environment for message-passing multiprocessor systemen_US
dc.typeThesisen_US
dc.contributor.department資訊科學與工程研究所zh_TW
Appears in Collections:Thesis