【摘 要】
:
并发程序切片是一种重要的并发程序分析手段.基于程序可达图可构造以程序状态和语句二元组为节点的、依赖关系具有可传递性的并发程序依赖图,解决依赖关系的不可传递性问题,
【机 构】
:
东南大学计算机科学与工程学院,东南大学计算机网络和信息集成教育部重点实验室,IBM中国系统与科技实验室
【基金项目】
:
国家自然科学基金(60873049);国家自然科学青年基金(61003156)资助~~
论文部分内容阅读
并发程序切片是一种重要的并发程序分析手段.基于程序可达图可构造以程序状态和语句二元组为节点的、依赖关系具有可传递性的并发程序依赖图,解决依赖关系的不可传递性问题,提高切片精度.程序可达图通过交织执行模拟并发活动,分析代价较高.偏序约简是一种十分有效的并发系统状态空间约简技术,约简的并发系统状态空间包含所有的并发程序执行代表.为提高效率,该文将偏序约简技术扩展到程序可达图的约简中,在偏序约简理论的基础上,证明了基于未约简和约简的并发程序可达图构造的并发程序依赖图在进行切片计算时是等价的.实验结果表明,采用偏序约简技术使基于程序可达图的并发程序切片方法在保证切片精度不受损失的前提下显著提高切片效率.与其它高精度切片方法相比,基于约简程序可达图的切片方法的精度更高,在大多数情况下,切片效率也有一定提高.
其他文献
我国金融市场发展迅速,各种金融机构相继产生,伴随而来的是各种融资工具的出现。中国金融市场融资工具的发展,为融资主体提供了极大的便利,也促进了中国金融市场的不断深化。
社会发展的动力问题是理论界和思想界关注与探索的重大问题。经典作家以及西方学者在社会发展动力理论方面都做出了重要贡献,特别是马恩列等无产阶级革命导师的社会发展动力
针对现有Laplacian模型不能精确描述相关噪声分布,分布式视频编码(Distributed Video Coding,DVC)的率失真性能改善非常有限,文中提出一种基于高斯混合模型的分布式视频编码
文中结合高校学生管理工作实际,通过分析微信对大学生的影响,阐述微信在当前高校学生管理工作中的具体应用。同时,深入探索如何应用微信更好地进行高校的学生管理工作的途径
建设"丝绸之路"经济带是国家重要的经济战略,也是西部大开发战略的延伸和拓展,为西部扩大开放、转型升级带来了前所未有的机遇。宁夏位于"丝绸之路经济带"上的重要节点,近年
<正>为通过换届择优配强乡镇班子,该市在干部绩效考评、民主测评工作中,力求更加深入地了解干部,把考察的触角向五个方向
<正> 太常郡,《汉书·地理志》中没有记载,但我们勾稽史书,却发现西汉京畿地区确实存在过这样一个地方区划。一太常郡及其由来太常,位居西汉九卿之首;太常府是秦汉以来重要的
近期安全综述据瑞星“云安全”系统统计,上半月瑞星共截获了69万个挂马网址。瑞星安全工程师介绍,随着大中小学陆续开学,黑客关注点一下转移到了知名高校网站上,“云安全”系
新疆褐牛是中国优良地方的奶牛品种,同时也是乳肉兼用品种,对发展地方经济,农牧民的增产增收起到重要的作用,本文从新疆褐牛的现状、存在的问题以及品种选育提高等方面做了详
基于解决中西部偏远农村地区基础教育师资不足的问题,国家定于2007年开始在六所教育部直属师范院校实施免费师范生政策。本文主要从政策和策略的角度对这一政策进行论述,并对