【摘 要】
：
Ad-hoc同步在多线程程序中非常常见。和phtread 库中的正规同步语句不同( 比如pthread_cond_wait),Ad-hoc 同步会隐含地引入happen-before 关系。对于很多错误检测工具来
【机 构】
：
Department of Computer Science and Technology, National University of Defense Technology, ChangSha 4
论文部分内容阅读
Ad-hoc同步在多线程程序中非常常见。和phtread 库中的正规同步语句不同( 比如pthread_cond_wait),Ad-hoc 同步会隐含地引入happen-before 关系。对于很多错误检测工具来说,这种隐含的happen-before 关系难以被检测,正是这个问题影响着这些错误检测软件的正确性。在本文中提出一种有效地检测ad-hoc 同步的方法,此方法包含编译时分析和运行时分析两个部分。这个检测工具可以和其他的错误检测工具以及程序推理工具结合使用。由于错误检测工具和程序推理工具都极大地依赖于对程序中happen-before 关系的分析。工具可以作为它们的前端,大大增加它们的准确性。从实验结果来看,检测ad-hoc 同步的方法能够检测出程序中绝大部分的ad-hoc 同步,同时误报很低。
其他文献
为了缓解目前网络虚拟试衣在真实性方面的不足，以满足消费者的良好购物体验与购物需求为目的，设计并实现了面向虚拟试衣的虚拟人构建平台。文章着重解析了虚拟人构建过程中
在一些复杂的结构网格应用中，计算区域由处于不同索引空间中的多个矩形区域拼接构成。传统的负载平衡方法无法解决这些应用中的空间矩形剖分的负载平衡问题。为了解决这种
MPI是高性能计算领域内的重要标准之一,MPI应用程序的性能通常取决于其MPI集合通信的性能,FCA(Fabric Collective Accelerator)是加速集合通信的一种新方法。本文通过高
BLAS 是科学计算中最基础的数学库之一，广泛应用在HPC 领域.IBM 公司提供的针对IBM 硬件平台进行优化的工程科学子程序库(ESSL)，包括了BLAS 数学库.本文具体介绍ESSL 中BLA
光线跟踪(RayTracing)，也称为光迹追踪，是计算机图形学的核心算法之一，用于从三维场景生成逼真的二维图像.追踪光线是计算密集型操作，同时二维图像的每个像素需要投射一条甚
水的用途非常广泛,它不光集滋润保湿、消炎去痛、健美和防治皮肤病于一身,而且还可在缓解、镇定紧张情绪方面扮演重要角色。总之,从头到脚只要遇到问题,它都可能帮得上忙。1
云计算平台中存在大量的异构资源，当用户将任务提交给云平台时，云调度系统搜索与这些任务需求相匹配的资源时，有可能没有任何资源节点能满足任务的需求，因此需要对这些异构资
应用GPU通用高性能编程技术设计了一种加速三维叠前随机噪声衰减(以下简称三维叠前RNA)预测算子计算的并行算法。三维叠前RNA是地震资料数据处理的常用技术，能有效提高三
NoSQL数据库作为下一代巨型数据的存储模式，在科学计算和商业计算领域均发挥着重要作用，受到当前学术界和企业界的广泛关注，本文提出一种新的基于NoSQL数据库HBase的并行求
集成电路进入到纳米时代，微处理器的软错误问题越来越严重。地面应用的商用微处理器难以像工作在恶劣环境中的系统那样采取激进的保护措施，需要在性能，功耗和可靠性之间取得