【摘 要】
:
随着多核硬件的广泛普及,多线程编程技术也被应用到计算机领域的各个方面,多线程编程技术能够更加充分的利用多核众核设备的超强计算能力,在同一时间执行多项任务,还可成倍加
论文部分内容阅读
随着多核硬件的广泛普及,多线程编程技术也被应用到计算机领域的各个方面,多线程编程技术能够更加充分的利用多核众核设备的超强计算能力,在同一时间执行多项任务,还可成倍加速某些任务,特别适用于某些需要快速响应用户操作的任务。但多线程程序在执行过程中会产生大量可能的交错,执行顺序具有极大的不确定性,导致严重的并发错误,数据竞争是一种具有高度破坏性的并发错误。数据竞争会导致数据损坏、内存泄漏、程序崩溃或不正确的执行等现象。当多个线程同时访问同一共享变量,至少存在一次写访问操作时,会引发数据竞争。由于无序的线程交错,在调试过程中数据竞争会随机出现或消失,查找和重现它们异常困难。因此,检测出数据竞争错误是提高并发软件可靠性和安全性急需解决的问题。国内外研究人员已经提出了许多静态和动态程序分析技术来检测数据竞争。然而,在检测开销、精度、覆盖率、速度等方面还有改进的空间。文中提出一种基于优化的FastTrack算法和锁模式相结合的动态混合数据竞争检测算法AsampleLock。该算法利用采样技术,监控同一时刻同时运行的来自并发线程的函数对;通过预竞争检测获得真正涉及数据竞争的内存访问对;为了降低算法受线程调度的影响,AsampleLock算法采用nolock-hb关系来判断访问事件的并发关系;采用map记录所有共享变量的读写信息,并结合锁模式进行动态数据竞争检测,在减小竞争检测分析开销的同时减少漏报率和误报率。基于上述方法实现了数据竞争检测系统AsampleLock,选择基准测试集PARSEC进行评估此系统,并与FastTrack、LiteRace、MultilockHB工具进行对比分析,实验结果表明AsampleLock的时间开销与FastTrack相比,整体平均降低了7%,文中系统数据竞争检测率与LiteRace和FastTrack相比分别增加了38%和23%。
其他文献
图像恢复和图像重建中的许多问题都可以表示为凸优化问题。为求解这些凸优化问题,在满足一定条件下,根据费马引理,通常可将其转化为单调包含问题。算子分裂算法是求解单调包含的一类重要迭代算法,包括向前向后算子分裂算法,Douglas-Rachford算子分裂算法和Tseng算子分裂算法等。特别,预解是研究各种算子分裂算法的基本概念,在这些算法中几乎都有预解的计算。但是对于某些组合算子的预解,它是不容易计算
宽禁带SiC以其优异的特性,成为制造超高压晶闸管的首选材料。SiC光触发晶闸管(LTT)因驱动电路简单、抗电磁干扰能力强,成为超高压、大电流的发展方向之一,放大门极结构是降低
随着加权分数傅里叶变换(Weightedtype Fractional Fourier Transform,WFRFT)在未来混合载波通信领域的更广泛应用,一种新的混合载波通信体制逐步建立与普及。对于一个新的载
视觉问答是一个典型的多模态任务,也是一个重要的研究课题,结合了计算机视觉和自然语言处理两大领域,引起了人们的广泛关注。这个任务需要同时对图像和文本进行处理并将两种
自由空间光(Free Space Optical,FSO)通信又称为无线光通信,具有传输速率高、无频谱许可、组网灵活和保密性高等优点,是当前无线通信领域的研究热点之一。然而,FSO通信在大气
数学解题要求学生要能够根据题意自主制定计划解决问题,此时自我调节学习策略在解题过程中的运用可以为高中生在综合性和灵活性更强的高中数学题中提供帮助。目前已有的文献
随着对传统蒸汽压缩制冷技术在能效水平要求的不断提高,以及对制冷剂使用的限制,发展具有节能和环保特征的新型固态制冷技术成为目前研究的焦点。本文首先总结了磁制冷、弹热
人脸识别是指利用采集到的人脸图像信息结合字典库中的人脸图像进行判别分类,进而实现对身份认证的技术。该技术作为新时代人工智能应用于现实生活的重要分支之一,不仅方便了
虚拟现实技术的发展已经拓展到医学领域,其中虚拟手术仿真技术就是其典型应用之一,对于新手医生进行手术前培训,练习解决真实手术中可能面临的各种情况起着至关重要的作用。
LED光通信是一种以发光二极管(Light Emitting Diodes,LED)为光源,以光波作为信号载波的近距离无线光通信技术,其结合了光通信与LED光源的特点,具有带宽大、无需频谱申请、传