一种面向历史调试的多线程竞态条件精准复现方法

本发明公开了一种面向历史调试的多线程竞态条件精准复现方法，通过定义释放获取、唤醒执行、内存可见三类因果关系，构建不同目标架构间同步指令的语义等价映射表，再在第一目标架构执行目标程序时记录用户态及内核态同步事件，结合因果条件构建具有置信度的双向因果链，重放时在第二目标架构启动重放引擎，先识别同步操作并匹配语义等价映射表与因果链中的原同步事件，校验核心依赖事件的语义复现状态，忽略硬件实际执行按记录强制复现内存、状态标志、内存屏障、线程状态，最后按置信度将后继事件加入队列根据记录信息顺序完成后继事件的语义复现，实现了多线程竞态条件下目标程序执行过程的精准复现。