摘要:针对现有数据竞争检测算法实时性不足的问题,该文提出了一种基于Run-LTS模型的运行时数据竞争检测算法。该算法通过插桩技术与源程序同时执行,利用Run-LTS模型对共享资源进行实时监控和异常检测,并记录异常时(试读)...