并发程序切片方法综述第1页,一种面向对象并发程序的动态切片方法

  本文关键词：江苏省计算机信息处理技术重点实验室基金，由笔耕文化传播整理发布。

来源： 关键字： ,并发程序切片方法综述

延伸：一种面向对象并发程序的动态切片方法
本文除了提供并发程序切片方法综述 第1页的文本下载，，还提供与之相关的《一种面向对象并发程序的动态切片方法》文本文档，希望对您有所帮助。

　第28卷　第6期　　2008年12月南京邮电大学学报(自然科学版)

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

　　文章编号:167325439(2008)0620088207

并发程序切片方法综述

李小国,张迎周,张卫丰,周国强

南京邮电大学计算机学院,江苏南京　摘　要:随着实际应用对并发软件需求的不断增加,并发程序的应用越来越广,程序切片的研究不再仅

仅局限于顺序程序,并发程序切片的研究也越来越多。但是由于并发程序执行的不确定性,并发程序切片的研究还有许多问题有待解决。文中介绍了当前主要的几种并发程序切片方法及其主要特性,并对这些切片方法进行了比较分析,不可能的,只能是在两者之间的均衡,。关键词:并发程序;程序切片;并发程序依赖图中图分类号:TP311　　　文献标识码: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　引　言

程序切片技术是M.Weiser于1979年在他的博士论文中首次建立的,它在程序理解、分析、调试以及软件的测试、度量、维护等许多方面有着广泛的应

　　收稿日期:2007211214

基金项目:国家自然科学基金青年基金(60503020、60703086)、

苏州大学江苏省计算机信息处理技术重点实验室基金(KJS0714)、南京邮电大学科研基金(NY207052、NY207082)资助项目

通讯作者:李小国　电话:(025)83492467

E2mail:[email protected]

用

[1-3]

。顺序程序切片技术已经非常成熟,但是,由

于并发程序语句执行的不可预知性,并发程序切片的计算还存在很多难题尚未解决。并发程序切片的主要难点是:如何获得并发执行语句的依赖关系,以及如何解决这些依赖关系的不可传递性。随着并发程序应用越来越广泛,急需要提高并发程序切片的计算精度和效率。

为了解决并发程序切片存在的问题,很多研究者提出了解决方法。文献[4]构造并发程序依赖图

(CPDG)表示Java并发程序语句间的依赖关系,文献[5]构造程序间的线程程序依赖图(tIPDG)表示

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

第1页/共7页

猜您感兴趣

查看更多相关文本

编辑推荐

我也来解决

  本文关键词：江苏省计算机信息处理技术重点实验室基金，由笔耕文化传播整理发布。