頁籤選單縮合
題名 | Performance Dependency Modeling for Ada Programs Based on Module Invocation Mechanisms=愛達程式中模組叫用機制所引起之效能相依性模式化方法 |
---|---|
作 者 | 謝金雲; 鄭有進; 張寶生; 周忠信; | 書刊名 | 中國工程學刊 |
卷期 | 20:3 1997.05[民86.05] |
頁次 | 頁235-245 |
分類號 | 312.49 |
關鍵詞 | 漣波效應; 效能相依性; 模組叫用; Ripple effect; Performance dependency; Module invocation; |
語文 | 英文(English) |
英文摘要 | 維持軟體之效能至一令人滿意程度是軟體維護工作中既重要又困難的一環,這主 要可歸因於軟體修改時會透過程式單元間的效能相依關係產生效能漣波效應。在各種可引起 效能相依關係的程式語言機制中,模組叫用應屬最常使用者。此一機制可以多種語法結構出 現於程式中,從最簡單的副程式叫用到較複雜的結構如工作通信及資料抽象化等。本文提出 一個可以將愛達語言程式各單元間因模組叫用所引起之效能相依關係模式化的方法。此方法 係以延展式程式叫用圖形模式為基礎。在此模式下,我們將程式剖析成基礎程式單元並以點 代表之,再以點與點間的連線代表程式單元間的相依關係。由於此一圖形模式保有程式單元 間效能相依關係之推移性質,因此所有間接效能相依關係的追索便可直接轉換成簡單的圖形 推移閉迴計算。此一技術可做為分析軟體修改所引起之效能漣波效應之部分理論基礎。儘管 本方法係以愛達程式為對象發展的,其技術卻可輕易轉化應用於分析其它同作式程式語言所 寫的程式。 for Ada�聯rograms. This approach is based on an extended program invocation graph model. In this model, an Ada program is analyzed and partitioned into primitive pro-gram entities that will be mapped into vertices of this graph model. The edges between vertices are constructed in accordance with the invocation mechanisms linking the corresponding program entities. Since this graph model preserves the transitive property of performance dependency relations between program entities, the tracing of indirect performance dependencies can then be converted into a simple computation of transitive closure of this graph model. This technique forms partially the theoretical basis for the analysis of performance ripple effect as a consequence of program modifica-tions. Although this approach was developed to analyze performance depen-dencies for Ada programs, the technique presented can be easily tailored to analyze programs written in other concurrent programming languages. |
本系統之摘要資訊系依該期刊論文摘要之資訊為主。