微信服务号
微信订阅号
可部署的数据竞争采样检测技术
- 摘要 | |
- 访问统计 | | |
- 引证文献 | |
- 文章评论
摘要:
本文提出了一种可部署的数据竞争动态采样检测技术，首先提出了基于线程本地时序的数据竞争定义，之后基于硬件断点进行采样检测。在采样率为1%时，时间开销约为5%，且有效性得以保证。
Abstract:
文章由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， 读者如需引用该文请标引原文出处。
引用本文
蔡彦,张健,曹玲微,刘剑.可部署的数据竞争采样检测技术.软件学报,,():
复制
文章指标
- 点击次数:3833
- 下载次数: 4093
- HTML阅读次数: 0
历史
- 在线发布日期: 2017-01-04
文章二维码
您是第20044083位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司
