本文關(guān)鍵詞：江蘇省計(jì)算機(jī)信息處理技術(shù)重點(diǎn)實(shí)驗(yàn)室基金，由筆耕文化傳播整理發(fā)布。

來(lái)源： 關(guān)鍵字： ,并發(fā)程序切片方法綜述

延伸：一種面向?qū)ο蟛l(fā)程序的動(dòng)態(tài)切片方法
本文除了提供并發(fā)程序切片方法綜述 第1頁(yè)的文本下載，，還提供與之相關(guān)的《一種面向?qū)ο蟛l(fā)程序的動(dòng)態(tài)切片方法》文本文檔，希望對(duì)您有所幫助。

　第28卷　第6期　　2008年12月南京郵電大學(xué)學(xué)報(bào)(自然科學(xué)版)

JournalofNanjingUniversityofPostsandTelecommunications(NaturalScience)Vol.28　No.6Dec.2008

　　文章編號(hào):167325439(2008)0620088207

并發(fā)程序切片方法綜述

李小國(guó),張迎周,張衛(wèi)豐,周國(guó)強(qiáng)

南京郵電大學(xué)計(jì)算機(jī)學(xué)院,江蘇南京　摘　要:隨著實(shí)際應(yīng)用對(duì)并發(fā)軟件需求的不斷增加,并發(fā)程序的應(yīng)用越來(lái)越廣,程序切片的研究不再僅

僅局限于順序程序,并發(fā)程序切片的研究也越來(lái)越多。但是由于并發(fā)程序執(zhí)行的不確定性,并發(fā)程序切片的研究還有許多問(wèn)題有待解決。文中介紹了當(dāng)前主要的幾種并發(fā)程序切片方法及其主要特性,并對(duì)這些切片方法進(jìn)行了比較分析,不可能的,只能是在兩者之間的均衡,。關(guān)鍵詞:并發(fā)程序;程序切片;并發(fā)程序依賴圖中圖分類號(hào):TP311　　　文獻(xiàn)標(biāo)識(shí)碼:A

AnforConcurrentProgramSlicing

LIXiao2guo,ZHANGYing2zhou,ZHANGWei2feng,ZHOUGuo2qiang

CollegeofComputer,NanjingUniversityofPostsandTelecommunications,Nanjing210003,Abstract:Withtheincreasingrequirementofconcurrentsoftwareinpracticalapplicationandtheincreasingapplicationofconcurrentprograms,thestudyofprogramslicingisnolongerlimitedtosequentialprograms,andthestudyofconcurrentprogramslicingismoreandmorepopular.However,therearestillmanydifficultiestobesolvedinstudyingconcurrentprogramslicingfortheunpredictableexecutingofstatements.Inthispaper,firstlythemeth2odsofconcurrentprogramslicingandtheirprimarypropertiesareintroduced.Thenthesemethodsofconcurrentpro2gramslicingarecomparedandanalyzed.Theresultsshowthatitisimpossiblefortheconcurrentprogramslicingwithefficiencyandprecisiontotheidealgoal,soonlythebalancebetweenthetwocanbeobtained.Finallytheap2plicationofconcurrentprogramslicingisintroduced.

Keywords:Concurrentprogram;Programslicing;Concurrentprogramdependencegraph

0　引　言

程序切片技術(shù)是M.Weiser于1979年在他的博士論文中首次建立的,它在程序理解、分析、調(diào)試以及軟件的測(cè)試、度量、維護(hù)等許多方面有著廣泛的應(yīng)

　　收稿日期:2007211214

基金項(xiàng)目:國(guó)家自然科學(xué)基金青年基金(60503020、60703086)、

蘇州大學(xué)江蘇省計(jì)算機(jī)信息處理技術(shù)重點(diǎn)實(shí)驗(yàn)室基金(KJS0714)、南京郵電大學(xué)科研基金(NY207052、NY207082)資助項(xiàng)目

通訊作者:李小國(guó)　電話:(025)83492467

E2mail:[email protected]

用

[1-3]

。順序程序切片技術(shù)已經(jīng)非常成熟,但是,由

于并發(fā)程序語(yǔ)句執(zhí)行的不可預(yù)知性,并發(fā)程序切片的計(jì)算還存在很多難題尚未解決。并發(fā)程序切片的主要難點(diǎn)是:如何獲得并發(fā)執(zhí)行語(yǔ)句的依賴關(guān)系,以及如何解決這些依賴關(guān)系的不可傳遞性。隨著并發(fā)程序應(yīng)用越來(lái)越廣泛,急需要提高并發(fā)程序切片的計(jì)算精度和效率。

為了解決并發(fā)程序切片存在的問(wèn)題,很多研究者提出了解決方法。文獻(xiàn)[4]構(gòu)造并發(fā)程序依賴圖

(CPDG)表示Java并發(fā)程序語(yǔ)句間的依賴關(guān)系,文獻(xiàn)[5]構(gòu)造程序間的線程程序依賴圖(tIPDG)表示

1994-2010 China Academic Journal Electronic Publishing House. All rights reserved.

第1頁(yè)/共7頁(yè)

猜您感興趣

查看更多相關(guān)文本

編輯推薦

我也來(lái)解決

  本文關(guān)鍵詞：江蘇省計(jì)算機(jī)信息處理技術(shù)重點(diǎn)實(shí)驗(yàn)室基金，由筆耕文化傳播整理發(fā)布。