公开(公告)号：CN106294169A

公开(公告)日：2017-01-04

申请号：CN201610679571.1

申请日：2016-08-17

Applicant: 华中科技大学

Inventor： 李国徽 ,  李剑军 ,  魏巍 ,  何璐瑶 ,  汪雄峰

IPC: G06F11/36

Abstract: 本发明公开了一种嵌入式环境下并行程序数据竞争检测与重放的方法，结合软件调试与测试的需求，采用符号执行虚拟机方案，动态地监测程序的运行，收集程序的执行信息，并分析数据竞争。并且还能通过执行信息对程序进行确定性重放，使得程序的执行轨迹能够重现。功能包括：基于符号执行虚拟机的数据竞争检测、基于符号执行虚拟机的数据竞争重放功能。本发明可以发掘隐藏在程序中的数据竞争，防止多线程程序在运行时发生错误。

公开(公告)号：CN106294169B

公开(公告)日：2018-08-03

申请号：CN201610679571.1

申请日：2016-08-17

Applicant: 华中科技大学

Inventor： 李国徽 ,  李剑军 ,  魏巍 ,  何璐瑶 ,  汪雄峰

IPC: G06F11/36

Abstract: 本发明公开了一种嵌入式环境下并行程序数据竞争检测与重放的方法，结合软件调试与测试的需求，采用符号执行虚拟机方案，动态地监测程序的运行，收集程序的执行信息，并分析数据竞争。并且还能通过执行信息对程序进行确定性重放，使得程序的执行轨迹能够重现。功能包括：基于符号执行虚拟机的数据竞争检测、基于符号执行虚拟机的数据竞争重放功能。本发明可以发掘隐藏在程序中的数据竞争，防止多线程程序在运行时发生错误。