一种基于符号执行虚拟机的数据竞争检测与重放方法

新一代信息技术

本发明公开了一种嵌入式环境下并行程序数据竞争检测与重放

的方法，结合软件调试与测试的需求，采用符号执行虚拟机方案，动

态地监测程序的运行，收集程序的执行信息，并分析数据竞争。并且

还能通过执行信息对程序进行确定性重放，使得程序的执行轨迹能够

重现。功能包括：基于符号执行虚拟机的数据竞争检测、基于符号执

行虚拟机的数据竞争重放功能。本发明可以发掘隐藏在程序中的数据

竞争，防止多线程程序在运行时发生错误。

未应用