【摘 要】
：
随着计算机硬件多核处理器的发展,多线程并发程序的设计也变得更加重要,同时并发程序设计带来的缺陷问题也越来越多。数据竞争是并发缺陷中最普遍的问题,数据竞争会导致程序
论文部分内容阅读
随着计算机硬件多核处理器的发展,多线程并发程序的设计也变得更加重要,同时并发程序设计带来的缺陷问题也越来越多。数据竞争是并发缺陷中最普遍的问题,数据竞争会导致程序的执行违反预期,情况严重的可能导致软件的崩溃。本文主要介绍了目前的数据竞争检测现状,同时对已有的检测方法的原理和效果进行了分析和研究,最后展望了未来数据竞争检测方法的发展方向。
其他文献
通过概述正交胶合木力学性能和影响因素,阐明正交胶合木力学性能模型预测分析以及正交胶合木在高应力作用下的破坏模式;并对在抗震、抗火条件下正交胶合木力学行为特征的研究
从2012年1月至今年3月中旬，重庆市检察院第三分院及辖区基层检察院办理发生在征地拆迁补偿领域的43起案件时，发现了几类“形真实假”的作案手法，涉及诈骗、伪造国家机关证件、受
从20世纪末开始，由于经济的全球化，知识已经成为了各企业在竞争中的重要生产要素和资源。而会计知识管理就是通过结合会计的业务流程和会计知识，从而实现会计知识的最合理和最灵
2009年9月18日,由中国社会科学院法学研究所社会法研究室主任常纪文研究员领衔的专家组对外全文公开了《中华人民共和国动物保护法（专家建议稿）》,广泛征求国内外人士的意见建
<正>一、特色成才艺体路上寻找人生的气质艺体生越来越受到人们的关注,可又有多少人真正知道艺体生在这条路上的泪水和欢笑,他们背负了太多的故事,但值得欣慰的是也收获了不
<正>目的:探讨血清骨钙素浓度检测对老年慢性肾脏病患者骨代谢紊乱(chronic kidney dis-ease-mineral and bone disorder,CKD-MBD)诊断的临床价值。方法:研究组测定54例老年
当下,微信成为大学生传播沟通与社交互动的主要手段,微信平台成为高校舆情爆发和扩散的重要场域。本文梳理了高校微信舆情的平台特征及传播特征,并从舆情工作、文化建设、教
应用扫描电镜、金相显微镜等对ZL102合金抛光机扣环的断裂进行了断口观察和显微组织分析。结果表明,扣环试样显微组织是由α-Al相、粗大针状的共晶Si相、块状的初生Si相以及
我国先后制定了一系列法律法规来保护面临日益严峻的生存危机的野生动物,但还存在诸多问题,如立法体系庞杂、立法效力低下、行政管理色彩浓厚,致使法律效力较弱。同时,该法律
从50年代到80年代,运五是我国用于农、林业航空作业的唯一专用机型,目前仍然发挥着主力军作用,精心维修机上设备,使其发挥更大效益,对建设我国社会主义现代化农业有重大意义