 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
| 蔡彦,张健,曹玲微,刘剑.可部署的数据竞争采样检测技术.软件学报,,(): |
| 可部署的数据竞争采样检测技术 |
| 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阅读器 |
|
|
|
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|
