Institute of Computing Technology, Chinese Academy IR
| 动态容忍和检测非对称数据竞争 | |
王文文1; 武成岗1; Paruj Ratanaworabhan2; 远翔1; 王振江1 ; 李建军1; 冯晓兵1
| |
| 2014 | |
| 发表期刊 | 计算机研究与发展
 |
| ISSN | 1000-1239 |
| 卷号 | 51.0期号:008页码:1748 |
| 摘要 | 非对称数据竞争是数据竞争中一种常见的类型.当一个线程在临界区内访问某个共享变量,另外一个线程在临界区外或不同的临界区内同时也访问这个共享变量时,就触发了非对称数据竞争.多线程程序中的非对称数据竞争往往是有害的.为了解决非对称数据竞争引入的问题,提出了ARace.它使用共享变量保护和写缓冲区来动态容忍和检测非对称数据竞争.其中,共享变量保护用于保护临界区内只读和先读后写的共享变量,防止这些变量在临界区外被修改;写缓冲区用于缓存临界区内对共享变量的写操作.ARace不仅可以容忍临界区内和临界区外之间的非对称数据竞争,还可以对并发临界区之间的非对称数据竞争进行检测.ARace既不依赖程序源代码和编译器的支持,也不依赖额外硬件的支持.此外,还提出了一种通过动态二进制插桩技术实现ARace的方法.实验结果表明,ARace在保证容忍和检测非对称数据竞争的同时,并未引入很大的性能开销和内存开销. |
| 关键词 | 非对称数据竞争 容忍和检测 写缓冲区 页保护 动态二进制插桩 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/29833 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 1.中国科学院计算技术研究所 2.Faculty of Engineering,Kasetsart University |
| 第一作者单位 | 中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 王文文,武成岗,Paruj Ratanaworabhan,等. 动态容忍和检测非对称数据竞争[J]. 计算机研究与发展,2014,51.0(008):1748. |
| APA | 王文文.,武成岗.,Paruj Ratanaworabhan.,远翔.,王振江.,...&冯晓兵.(2014).动态容忍和检测非对称数据竞争.计算机研究与发展,51.0(008),1748. |
| MLA | 王文文,et al."动态容忍和检测非对称数据竞争".计算机研究与发展 51.0.008(2014):1748. |
| 条目包含的文件 | 条目无相关文件。 | |||||
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论