跳到主要內容

臺灣博碩士論文加值系統

(44.200.86.95) 您好!臺灣時間:2024/05/30 01:51
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果 :::

詳目顯示

我願授權國圖
: 
twitterline
研究生:李躍欽
研究生(外文):Li, Yue-Qin
論文名稱:一個信息傳遞多處理機系統上的監視環境
論文名稱(外文):A monitoring environment for message-passing multiprocessor system
指導教授:曾建超曾建超引用關係
指導教授(外文):Zeng, Jian-Chao
學位類別:碩士
校院名稱:國立交通大學
系所名稱:資訊工程研究所
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:1993
畢業學年度:81
語文別:中文
論文頁數:111
中文關鍵詞:信息傳遞處理機監視環境監視器並行程式除錯正確性驗證效能調整資訊電腦科學
外文關鍵詞:MonitorConcurrent ProgramDebugValidation of CorrectnessPerformance TuningINFORAMTIONCOMPUTER-SCIENCE
相關次數:
  • 被引用被引用:0
  • 點閱點閱:174
  • 評分評分:
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0

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

QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
無相關期刊