| 专利名称 | 一种基于硬件和线程本地时序的数据竞争采样检测方法 | 申请号 | CN201610565161.4 | 专利类型 | 发明专利 | 公开（公告）号 | CN106227656A | 公开（授权）日 | 2016.12.14 | 申请（专利权）人 | 中国科学院软件研究所 | 发明（设计）人 | 蔡彦;张健 | 主分类号 | G06F11/36(2006.01)I | IPC主分类号 | G06F11/36(2006.01)I | 专利有效期 | 一种基于硬件和线程本地时序的数据竞争采样检测方法 至一种基于硬件和线程本地时序的数据竞争采样检测方法 | 法律状态 | 实质审查的生效 | 说明书摘要 | 本发明涉及一种基于硬件和线程本地时序的数据竞争采样检测方法，属于软件测试领域和软件可靠性领域，步骤包括：按给定采样率随机选择内存访问指令，对这些指令插桩；并识别同步语句，对每个线程设置一个本地时序，该时序随着同步语句的执行而增加；程序运行时，若某个插桩被运行，则在对应指令要访问的内存地址上设置一个内存(读写或写)断点并记录当前线程的本地时序；若一个内存断点被另一个线程触发，且设置断点的线程的本地时序未改变，则检测到一个数据竞争。本发明的方法基于硬件断点和线程本地时序，和单纯使用硬件断点或线程时序的方法相比，在比较小的内存访问采样率下，时间开销更小，数据竞争检测的有效性更高。 |
1、源头对接，价格透明
2、平台验证，实名审核
3、合同监控，代办手续
4、专员跟进，交易保障