【摘 要】
：
针对多线程并发程序中的数据竞争问题,本文提出了一种基于Java抽象语法树的数据竞争修复办法。首先利用抽象语法树对需要进行插锁的ast节点进行查找,这一过程包括:寻找发生数
论文部分内容阅读
针对多线程并发程序中的数据竞争问题,本文提出了一种基于Java抽象语法树的数据竞争修复办法。首先利用抽象语法树对需要进行插锁的ast节点进行查找,这一过程包括:寻找发生数据竞争的变量所在方法;对发生数据竞争的变量所在的语句进行搜索;对需要加锁的位置进行确定。找到加锁位置后,对需要加锁的位置进行自动加锁操作,从而实现对数据竞争问题的自动修复。
其他文献
早期汉字是一种图画式文字,可以直观地反映出华夏原始建筑的形貌特征。但"汉字建筑史"的理论与方法不应仅局限于此,通过对汉字形符演变过程、形声字声符的考察也可以揭示出建
<正>从一点出发的线段和角的问题,首选极坐标或直线的参数方程求解,如2013年高考四川卷(文)20题:已知圆C的方程为x2+(y-4)2=4,点O是坐标原点.直线l∶y=kx与圆C交于M,N两点.(
中央与地方的利益关系是两者之间关系的核心内容。双方对利益最大化追求的过程,就是一个利益博弈的过程。政策博弈是中央政府与地方政府进行利益博弈的一种重要方式。政策制
OECD成员国高等教育多样化发展路径及其繁荣,是与它们合理选择符合自己国情的投入模式密不可分的。其典型模式主要有:一是以美国为代表的财政投入、社会投入和个人投入都较高
近年来,博士生招生规模的快速扩张凸显了博士生教育质量保障问题。我国现行博士生教育质量保障制度过于强调行政化管理,制度本身存在固有缺陷,同时还受嵌入的相关制度丛的影
密封性能是工业中密封器件的一项关键指标,而泄漏检测是保证密封性能最为关键的手段之一。随着科学技术水平的不断发展,压差泄漏检测方法因其检测精度高、能够实现定量检测等
本文从社会学、美学等多种剖析方法入手，论述了左思咏史诗的精神实质及“左思风力”的内在意蕴，指出左思咏史诗涵概了西晋社会和中国文人崇尚人格完善的审美心态，并据此认为左思
针对五间房西一矿中央变电所这一极弱胶结地层中硐室群的稳定性问题,采用现场测试、数值模拟及现场监测相结合的研究方法,得到硐室群及相邻巷道在多次施工扰动效应下的围岩变
通过案例分析对美国学校体育伤害法律责任问题进行研究,并揭示其对中国侵权立法的启示;指出教练和教师对学生运动员负有提供必要的监督、适当的指导和训练、适当的和可能的医
<正>今年4月,中共中央政治局常委、国务院总理李克强乘船溯江而上,考察长江黄金水道,并在重庆组织召开了关于依托黄金水道建设长江经济带的座谈会。时隔一个半月,李克强总理