专利详情

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