【摘 要】
：
数据竞争使得共享存储程序难于调试.以前大部分针对共享存储程序的动态数据竞争检测工作都是通过维护发生序来实现.这种方法有一个重要缺点,即针对程序的一种输入,对程序的一
【机 构】
：
中国科学院计算技术研究所,中国科学技术大学计算机科学技术系
【基金项目】
：
国家自然科学基金，中国科学院专项基金
论文部分内容阅读
数据竞争使得共享存储程序难于调试.以前大部分针对共享存储程序的动态数据竞争检测工作都是通过维护发生序来实现.这种方法有一个重要缺点,即针对程序的一种输入,对程序的一次执行进行检测,不能检测出所有的可行数据竞争.文中利用存储一致性模型的框架模型,针对域一致性模型提出了增强发生序概念,并依此得出一种基于锁集合的动态数据竞争检测算法,克服了这个问题.在软件DSM系统JIAJIA上的实现获得了很好的性能,应用平均减速比为3.14.利用该方法,在TSP程序中找到了大量的读写数据竞争的情况.
其他文献
人脸检测问题最初作为自动人脸识别系统的定位环节被提出，近年来由于其在安全访问控制，视觉监测、基于内容和检索和新一代人机界面等领域的应用价值，开始作为一个独立的课题受到
本文依据福建省高速公路项目历史数据,采用灰色关联度分析法,分析高速公路工程工可估算和初步设计概算特点与差异,并采用相关性理论进行验证,总结出设计过程中显著影响高速公
悬浇变截面预应力砼箱梁桥在国内得到应用广泛,其连续墩悬浇施工过程中的墩梁临时固结措施有两种主要方式即墩顶临时支座固结、墩旁支架临时固结,工艺均较成熟。但连续墩墩梁
目的调查该院门诊抗菌药物的应用情况并对其合理性进行分析。方法随机抽取门诊处方5000份，并对其中使用抗菌药物的处方作统计分析。结果5000张处方中，抗菌药物处方有1525张，抗菌
目前，人运动的视觉分析是计算机视觉领域中最活跃的研究主题之一，其核心是利用计算机视觉技术从图像序列中检测，跟踪，识别人并对其行为进行理解与描述，它在虚拟现实，视觉监控，感知接
本文以三（明）-沙（县）城市快速通道水南互通B匝道路堑边坡滑坡治理为例，分析其滑坡的原因及处治加固的措施，为类似滑坡治理工程提供借鉴。
本文根据工程背景实际施工条件,针对本工程的地层岩性的实际特点,选择砂石桩法作为地基处理的方法。砂石桩设计计算主要包括桩径、桩长、处理范围等参数的确定的以及地基承载
本文从波浪、泥沙淤积、潮流场等方面对诏安县赤石湾中心渔港防波堤布置及导流堤的不同长度进行论证,从而得出最优防波堤及导流堤平面布置。
开发程序的局部性是当今并行编译优化研究的重点之一,而程序变换是开发程序时间局部性和空间局部性的重要手段之一.该文提出了一种新的利用非奇异循环变换来优化程序局部性的
提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法.该方法在约束生成时只考虑控制语句的条件表达式,可有效避免生成冗余约束;利用扩展的决策图模型解决了中间