论文部分内容阅读
设计了基于Soot字节码分析框架并实现了软件原型,利用Soot提供的Spark指向分析框架对整个程序做出指向分析,在此基础上拓展了Soot分析框架,对每个可能竞争对进行线程局部对象分析、可能并行分析、别名锁分析,数据竞争结果逐步精确.
基于Soot的Java程序竞争静态检测工具设计
【摘 要】
：
设计了基于Soot字节码分析框架并实现了软件原型,利用Soot提供的Spark指向分析框架对整个程序做出指向分析,在此基础上拓展了Soot分析框架,对每个可能竞争对进行线程局部对象
【机 构】
：
92493部队88分队,92493部队7分队
【出 处】
：
信息技术
【发表日期】
：
2014年2期
其他文献
阐述了摆渡顶车机的主要结构,分析了其工作原理及特点,并指出了其适用的工艺范围.
本文将大学生思想政治主题教育与品牌化理论相结合，从品牌的选树，品牌的内涵建设，媒体的运用和品牌评估体系的构建四个方面探讨了主题教育品牌化的实践运用过程。
美国加利福尼亚大学教授戴维·伊斯顿于去年十一月二十日给本刊寄来《二十世纪美国政治科学的发展》一文,现将其中美国政治科学的发展阶段部分摘译如下:
硅藻泥装饰壁材是一种新兴的低碳环保室内装饰材料,CECS398:2015《硅藻泥装饰壁材应用技术规程》的出台,将有利于规范行业发展,促进硅藻泥装饰壁材的推广应用。
Diatom mud
近年来，各行各业都推行节能减排增效，这也是当今世界发展的主流。 从砖厂的生产流程来看，一般大致分为这几个步骤：页岩→板式（或螺旋式）送料机→锤式破碎机→滚动筛→搅拌机→陈化
在当前的讨论中，风险（创业）投资越来越受到重视，但是，风险投资在推动高科技产业化方面的效应并不明显。如果将风险投资同加快推进高科技产业化结合起来，就要在发展新经济的背景下关
本文在阐述学分制改革对高职院校课程体系现实要求的基础上，提出了课程体系设计的四大基本原则，即系统化、平台模块化、职业化和多样化，进而论述了学分制条件下工科高职院校课程