 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
蔡彦,张健,曹玲微,刘剑.可部署的数据竞争采样检测技术.软件学报,,(): |
可部署的数据竞争采样检测技术 |
A Deployable Sampling Strategy for Data Race Detection |
|
DOI: |
中文关键词: |
英文关键词: |
基金项目: |
|
摘要点击次数: 2675 |
全文下载次数: 1103 |
中文摘要: |
本文提出了一种可部署的数据竞争动态采样检测技术,首先提出了基于线程本地时序的数据竞争定义,之后基于硬件断点进行采样检测。在采样率为1%时,时间开销约为5%,且有效性得以保证。 |
英文摘要: |
文章由CCF软件工程专业委员会白颖教授推荐。
文章发表在Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE'16), 810 – 821, November 13 - 18, 2016.
原文链接如下:https://doi.org/10.1145/2950290.2950310,
读者如需引用该文请标引原文出处。 |
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |
|
|
|
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|