• 中国精品科技期刊
  • CCF推荐A类中文期刊
  • 计算领域高质量科技期刊T1类
高级检索

动态容忍和检测非对称数据竞争

王文文, 武成岗, Paruj Ratanaworabhan, 远 翔, 王振江, 李建军, 冯晓兵

王文文, 武成岗, Paruj Ratanaworabhan, 远 翔, 王振江, 李建军, 冯晓兵. 动态容忍和检测非对称数据竞争[J]. 计算机研究与发展, 2014, 51(8): 1748-1763. DOI: 10.7544/issn1000-1239.2014.20130123
引用本文: 王文文, 武成岗, Paruj Ratanaworabhan, 远 翔, 王振江, 李建军, 冯晓兵. 动态容忍和检测非对称数据竞争[J]. 计算机研究与发展, 2014, 51(8): 1748-1763. DOI: 10.7544/issn1000-1239.2014.20130123
shu
Wang Wenwen, Wu Chenggang, Paruj Ratanaworabhan, Yuan Xiang, Wang Zhenjiang, Li Jianjun, Feng Xiaobing. Dynamically Tolerating and Detecting Asymmetric Races[J]. Journal of Computer Research and Development, 2014, 51(8): 1748-1763. DOI: 10.7544/issn1000-1239.2014.20130123
Citation: Wang Wenwen, Wu Chenggang, Paruj Ratanaworabhan, Yuan Xiang, Wang Zhenjiang, Li Jianjun, Feng Xiaobing. Dynamically Tolerating and Detecting Asymmetric Races[J]. Journal of Computer Research and Development, 2014, 51(8): 1748-1763. DOI: 10.7544/issn1000-1239.2014.20130123
shu
王文文, 武成岗, Paruj Ratanaworabhan, 远 翔, 王振江, 李建军, 冯晓兵. 动态容忍和检测非对称数据竞争[J]. 计算机研究与发展, 2014, 51(8): 1748-1763. CSTR: 32373.14.issn1000-1239.2014.20130123
引用本文: 王文文, 武成岗, Paruj Ratanaworabhan, 远 翔, 王振江, 李建军, 冯晓兵. 动态容忍和检测非对称数据竞争[J]. 计算机研究与发展, 2014, 51(8): 1748-1763. CSTR: 32373.14.issn1000-1239.2014.20130123
shu
Wang Wenwen, Wu Chenggang, Paruj Ratanaworabhan, Yuan Xiang, Wang Zhenjiang, Li Jianjun, Feng Xiaobing. Dynamically Tolerating and Detecting Asymmetric Races[J]. Journal of Computer Research and Development, 2014, 51(8): 1748-1763. CSTR: 32373.14.issn1000-1239.2014.20130123
Citation: Wang Wenwen, Wu Chenggang, Paruj Ratanaworabhan, Yuan Xiang, Wang Zhenjiang, Li Jianjun, Feng Xiaobing. Dynamically Tolerating and Detecting Asymmetric Races[J]. Journal of Computer Research and Development, 2014, 51(8): 1748-1763. CSTR: 32373.14.issn1000-1239.2014.20130123
shu

动态容忍和检测非对称数据竞争

  • 1(计算机系统结构国家重点实验室(中国科学院计算技术研究所) 北京 100190)

  • 2(中国科学院大学 北京 100049)

  • 3(农业大学工程学院 泰国曼谷 10900) (wangwenwen@ict.ac.cn)

基金项目: 国家“八六三”高技术研究发展计划基金项目(2012AA010901)；国家自然科学基金青年科学基金项目(61100011);国家自然科学基金杰出青年科学基金项目(60925009)
详细信息

  • 中图分类号: TP311

Dynamically Tolerating and Detecting Asymmetric Races

  • 1(Key Laboratory of Computer System and Architecture (Institute of Computing Technology, Chinese Academy of Sciences), Beijing 100190)

  • 2(University of Chinese Academy of Sciences, Beijing 100049)

  • 3(Faculty of Engineering, Kasetsart University, Bangkok, Tailand 10900)

摘要

    摘要
  • 摘要: 非对称数据竞争是数据竞争中一种常见的类型.当一个线程在临界区内访问某个共享变量，另外一个线程在临界区外或不同的临界区内同时也访问这个共享变量时，就触发了非对称数据竞争.多线程程序中的非对称数据竞争往往是有害的.为了解决非对称数据竞争引入的问题，提出了ARace.它使用共享变量保护和写缓冲区来动态容忍和检测非对称数据竞争.其中，共享变量保护用于保护临界区内只读和先读后写的共享变量，防止这些变量在临界区外被修改；写缓冲区用于缓存临界区内对共享变量的写操作.ARace不仅可以容忍临界区内和临界区外之间的非对称数据竞争，还可以对并发临界区之间的非对称数据竞争进行检测.ARace既不依赖程序源代码和编译器的支持，也不依赖额外硬件的支持.此外，还提出了一种通过动态二进制插桩技术实现ARace的方法.实验结果表明，ARace在保证容忍和检测非对称数据竞争的同时，并未引入很大的性能开销和内存开销.
    Abstract: Asymmetric races are a common type of data races. They are triggered when a thread accesses a shared variable in a critical section, and another thread accesses the same shared variable not in any critical section, or in a critical section guarded by a different lock. Asymmetric races in multi-threaded programs are usually harmful. To solve the problem introduced by asymmetric races, ARace is proposed. ARace utilizes shared variable protecting and write buffer to dynamically tolerate and detect asymmetric races. Shared variable protecting is used to protect shared variables that are read-only and read-before-write in critical sections, and these shared variables should not be modified out of critical sections; write buffer is used to buffer the writing operations to shared variables in critical sections. ARace can not only tolerate asymmetric races triggered by shared variable accesses in and out of critical sections, but also detect asymmetric races triggered by shared variable accesses in concurrent critical sections. ARace can be directly applied to binary code and requires neither additional compiler support nor hardware support. In addition, an implementation based on dynamic binary instrumentation is also proposed. The experimental results demonstrate that ARace guarantees the tolerance and detection of asymmetric races while incurring acceptable performance and memory overhead.
    • HTML全文
    • 参考文献(0)
    • 相关文章
    • 施引文献(23)

  • 期刊类型引用(15)

    1. 原娇杰，焦梦甜，赵杰文. 基于光纤传感网络的多目标分类识别算法设计. 光通信技术. 2025(02): 17-22 . 百度学术
    2. 冯丽佳，苑柳青，熊丽丽. 基于数据挖掘的光纤周界振动信号识别. 激光杂志. 2023(07): 137-142 . 百度学术
    3. 邓郁旭，佘春华. 基于信号处理技术的光纤入侵行为识别方法. 激光杂志. 2022(03): 143-147 . 百度学术
    4. 孙世政，向洋，党晓圆，张辉，何盛港. 基于粒子群解耦算法的FBG流量温度复合传感研究. 仪器仪表学报. 2022(01): 2-10 . 百度学术
    5. 吕方舟. VoIP模式地空通信数据链信号特征量识别算法. 吉林大学学报(信息科学版). 2022(02): 307-312 . 百度学术
    6. 管立伟，卢宇，何志杰，陈曦. 基于光纤传感的智能安防报警系统设计与开发. 红外与激光工程. 2022(08): 396-401 . 百度学术
    7. 范珍珍. 面向敏感环境的反射式光纤传感防盗系统设计. 红外与激光工程. 2022(10): 230-235 . 百度学术
    8. 杜永生，蒿琳，石秦峰. 低质量红外偏振图像热像特征提取方法. 激光杂志. 2022(11): 159-163 . 百度学术
    9. 严其强，朱亦凡，郭婉华，宣辰扬，张曹锋，何邦乐. 基于光纤动态感知技术在电缆通道在线监控中的研究与实现. 电力大数据. 2022(10): 69-80 . 百度学术
    10. 杨纯，李垠韬，宋伟，杨广涛，孟继军，门宝霞，叶宝安. Φ-OTDR光纤传感电缆防外破监测数据预处理方法. 激光与红外. 2021(04): 486-492 . 百度学术
    11. 贾徐庆，张琳，李杰. 用于安全告警的光纤周界入侵振动信号智能识别. 激光杂志. 2021(06): 108-111 . 百度学术
    12. 林秋珍，赵越，孙忠阁. 大规模光纤网络数据流的自动分类. 激光杂志. 2021(09): 80-84 . 百度学术
    13. 张新梅，范量，张新科，李前程. 基于常时微动的建筑群垂向振动特性监控仿真. 计算机仿真. 2021(10): 487-491 . 百度学术
    14. 任孝锋. 考虑光纤入侵信号的安防系统信号分级识别算法研究. 激光杂志. 2020(07): 162-166 . 百度学术
    15. 郭继坤，曹权，贾皓翔. 改进的马赫-曾德尔干涉仪的光纤传感定位系统. 黑龙江科技大学学报. 2019(06): 720-724 . 百度学术

    其他类型引用(8)

    • 资源附件(0)
计量
  • 文章访问数:  1072
  • HTML全文浏览量:  1
  • PDF下载量:  490
  • 被引次数: 23
出版历程
  • 发布日期:  2014-08-14

目录

摘要
HTML全文
    参考文献(0)
    相关文章
    施引文献(23)
    资源附件(0)

    /

    返回文章
    返回
    邮件订阅 RSS
    微信订阅号<br/>（实时资讯）

    微信订阅号
    （实时资讯）

    微信服务号<br/>（同步网站）

    微信服务号
    （同步网站）

    微信视频号<br/>（视频分享）

    微信视频号
    （视频分享）

    CCF<br/>（扫码入会）

    CCF
    （扫码入会）

    版权所有 © 《计算机研究与发展》编辑部

    本系统由北京仁和汇智信息技术有限公司开发  百度统计