【摘 要】
：
同步操作是并发Java程序非常大的一部分开销.在现有程序分析方法的基础上,提出了一种精确而有效的冗余同步操作的静态删除方法.该方法分为基本处理和线程间时序分析两个阶段,
【基金项目】
：
国家自然科学基金;国家杰出青年科学基金~~
论文部分内容阅读
同步操作是并发Java程序非常大的一部分开销.在现有程序分析方法的基础上,提出了一种精确而有效的冗余同步操作的静态删除方法.该方法分为基本处理和线程间时序分析两个阶段,充分考虑了控制流结构和线程交互时序对同步删除的影响.构造了一个Java编译器JTool,并在其上实现了同步删除算法.对于确定的单线程程序,同步删除率达到100%;对于多线程程序,同步删除率高于现有的分析工具.
其他文献
在环保意识提高、保护环境、和谐发展的今天,矿产资源开采利用过程中矿山尾砂处理是制约矿山生产、建设的一个重要难题:一是带来矿山投资巨额增加;二是尾砂库占用大量土地;三
<正>33年,他扎根乡村,堪称"电力活地图";20年,他一直担任供电所所长职务,成为公司"第一所长";53岁,如名字一样,他以真挚的情感,以砥砺开拓的进取精神,以一名优秀的共产党员严
本文分析了低压铸造铝合金缸盖水道泄漏的产生原因,并针对原因制定了解决措施,有效解决了气缸盖水道泄漏问题。
目的探讨ARHI基因与胰腺癌组织血管密度和临床病理的相关性。方法收集23例胰腺癌石蜡标本作为实验组，27例正常胰腺石蜡标本作为对照组。然后采用免疫组化方法检测两组标本ARHI
目的:通过对比后正中入路与前方、侧方入路手术治疗胸腰椎结核的效果,分析不同入路对结果的影响。方法:回顾性分析28例胸腰椎结核患者临床资料,患者术前均口服抗结核药物治疗
基于羧基化石墨烯优异的导电性,大的比表面积和较高的含氧基团,将其通过乙二胺共价自组装到玻碳电极表面形成单层膜修饰电极利用共价自组装的方法制备羧基化石墨烯修饰电极可
生态环境的严重破坏,不能简单地归咎于技术与生产方式的失误,还应在所谓的人类文明发展史中去探寻其根源。追溯历史的发展进程不难发现,中国古代的传统文化中早已蕴涵着丰富
随着网络的发展和新技术的革新,信息呈爆炸式增长,人类社会步入了崭新的信息时代。在新媒体时代,传统的"把关人"理论对于各种传播现象的解释具有一定的局限性,并不能有效地发
分析5043断路器回路电阻超标原因并提出处理措施。通过改变测试接线方法,即将原来的总回路测试方法改为分段测试方法,分段对5043断路器导电回路电阻进行测试。对分段测试结果