【摘 要】
：
并发程序中的数据竞争问题很难被检测和修复.以往的研究大多针对用户层的数据竞争检测并在此问题上取得了重大的进展,但在操作系统内核层面的数据竞争问题却几乎没有涉及.内
【机 构】
：
清华大学 计算机科学与技术系,北京 100084
论文部分内容阅读
并发程序中的数据竞争问题很难被检测和修复.以往的研究大多针对用户层的数据竞争检测并在此问题上取得了重大的进展,但在操作系统内核层面的数据竞争问题却几乎没有涉及.内核代码使用的同步机制远比用户层应用程序中复杂,如不同种类的锁,软硬件中断,大量的信号量原语以及各种底层的共享资源等.这些差别使得原有的用户层检测方法很难被应用到内核环境中.本文给出一个可有效检测Linux操作系统内核数据竞争问题的工具,基于当前通用处理器中现有的硬件结构调试寄存器,使用动态检测方法在内核程序运行过程中捕获数据竞争.初步的实验结果显示,本工具可有效地检测到内核中的数据竞争实例.
其他文献
WCNS格式是中国自主发展的计算流体力学高阶精度格式,已在科学研究和工程中获得较多应用.该格式中的半节点重构计算是高精度CFD计算的性能热点.以5阶显式WCNS格式(WCNS-E-5)
多层Web应用性能分析是实现资源动态分配和管理,保证多层Web应用性能的重要因素之一.传统的多层Web应用性能分析模型往往假设服务器部署在无性能互扰的服务器环境中且忽略了
SURF算法是一种用于特征提取的有效算法,在经典特征提取SIFT算法上改进提出,虽然在速度上有了一定的提高,然而SURF算法仍然是一个很耗时的过程,尤其在基于图像的三维重建中要
龙眼采后生理及贮藏保鲜潘一山（福建省漳州市农业科学研究所３６３０００）果树科学１９９６，（１）．－１９～２２１９９２～１９９３年用１５年生福眼品种为试材，将成熟度九成以上的果实的用３０±２℃常温贮藏，３～４℃冷藏贮藏和—１８℃低温速冻贮藏３种方式进行
大数据时代的一个显著特点就是网络上的图像文件数量呈爆发式地增长,海量的图像文件给存储带来了极大的挑战.既要保证数海量图像文件的存储效率,又要保证管理和检索这些图像
目的:分析在儿童口腔治疗中采用微创美容技术的价值.方法:分析对象选择于2018.1~2019.1期间我院收治的78例龋齿患儿,随机数字法进行分组分析,39例实施微创美容技术的患儿归为
本文设计并实现了基于统一计算架构(CUDA)的并行求解混合整数非线性规划模型的框架以及计算任务的分配调度算法.针对不同的计算任务调度算法设计并实现了相应的并行筛选最优
为了减少识别癌症基因中单核苷酸位点变异(SNV)的时间,华大基因研究院联合国防科技大学计算机学院计划把自行研发的SNV识别软件PDXsnv移植到广州超算中心天河先导系统和天河
随着CFD数值模拟规模的越来越大,各个进程上的任务负载平衡程度已经成为影响CFD并行程序性能的重要因素之一.任务负载平衡的目的是使得各进程上计算量负载平衡和各进程间的通
云计算技术被认为是分布式处理、并行处理以及网格计算的进一步发展,也可以说是一种商业计算模式.目前云计算使用以虚拟机为单位的粗粒度方式,根据应用负载动态的对资源进行