【摘 要】
：
随着多核/众核设备的普及, 多线程程序得到了广泛应用, 而多线程程序执行的不确定 性, 导致严重的并发错误, 同时也给并发错误检测带来了困难.如何有效地检测并发错误, 提 高
【机 构】
：
信息工程大学,数学工程与先进计算国家重点实验室
论文部分内容阅读
随着多核/众核设备的普及, 多线程程序得到了广泛应用, 而多线程程序执行的不确定 性, 导致严重的并发错误, 同时也给并发错误检测带来了困难.如何有效地检测并发错误, 提 高多线程软件的可靠性成为亟待解决的问题.在前人研究的基础上, 首先对并发错误检测的 诸多障碍进行分析, 探究影响并发错误检测的根本原因.其次根据对程序运行的影响将并发 错误检测结果分为良性错误、 不可运行错误和破坏性错误3 类, 并在此基础上提出了并发错误 检测的评价性指标.最后围绕上述指标, 对并发错误检测技术的实现方法和研究现状进行
其他文献
堆石坝是利用石料经抛填和碾压等方法填筑成的一种坝型，在我国坝工界备受青睐。为了解堆石坝的静力有限元特性．国内外学者进行了许多深入的研究。堆石坝静力有限元模拟施加荷载
加入WTO使我国经济步入了与世界经济高度接轨的新阶段.市场经济的发展和贸易自由化在很大程度上影响我国政府的管理模式,客观上要求政府及时改革不适应国际规则的管理制度和
针对D-S证据理论中Dempster组合规则出现的反直观结果问题,提出了一种新的基于Dempster组合规则适用条件的冲突证据组合方法。首先分析了Dempster组合规则出现悖论的原因及其
互联网产业的迅速发展在带来数据规模爆炸式增长的同时,也使大数据呈现出越发鲜明的流式特征,传统的基于MapReduce的批处理模式难以满足流式大数据处理对于计算实时性的要求,