《並發程式路徑剖析技術研究》是依託東南大學，由王璐璐擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：並發程式路徑剖析技術研究
- 項目類別：青年科學基金項目
- 項目負責人：王璐璐
- 依託單位：東南大學
中文摘要,結題摘要,
中文摘要
路徑剖析技術通過路徑編碼、探針語句插裝等方式獲知程式執行過程中的路徑頻率信息，其結果廣泛套用於軟體的分析和最佳化之中。傳統的剖析方法往往集中於單執行緒程式，隨著並發程式的廣泛套用，針對並發程式的剖析技術研究日益急迫。並發程式因其生成執行緒的特點和執行時的靈活性，導致其控制流結構較單執行緒程式更為複雜和難以跟蹤。本課題擬在現有剖析技術的研究成果基礎之上，針對如何剖析並發程式之中的路徑進行思考和探索，尋找可行、高效、高價值的剖析方案，特別是針對並發程式中的循環情況、執行緒互動特性和實際需求進行具體分析,依據套用的特點儘可能降低剖析的耗費、提高剖析結果的參考意義，以提高效率和套用空間。. 在此基礎之上，我們還需要按照並發程式的特點設計可行的剖析技術實現方式，能夠自動地對剖析目標進行分析、插裝、信息收集和結果輸出，以支持相應的實證研究。
結題摘要
路徑剖析技術通過路徑編碼、探針語句插裝等方式獲知程式執行過程中的路徑頻率信息，其結果廣泛套用於軟體的分析和最佳化之中。傳統的剖析方法往往集中於單執行緒程式，隨著並發程式的廣泛套用，針對並發程式的剖析技術研究日益急迫。並發程式因其生成執行緒的特點和執行時的靈活性，導致其結構和功能較單執行緒程式更為複雜和難以跟蹤。項目在現有剖析技術的研究成果基礎之上，針對如何剖析並發程式的問題進行了探索，主要進展包括：（1）並發程式信息提取技術，能夠從代碼中提取與剖析相關的執行緒內、執行緒間兩部分信息；（2）並發程式剖析技術，基於提取到的信息構建剖析模型，實現並發程式插裝和剖析結果獲取；（3）剖析套用技術，將所得並發程式剖析的中間結果和最終結果套用於測試、切片和程式理解等三個方面，改善相應領域的技術的精度和效率。
