面向并行程序的实时数据竞争检测技术研究

  • 打印
  • 收藏
收藏成功

摘要:针对现有数据竞争检测算法实时性不足的问题,该文提出了一种基于Run-LTS模型的运行时数据竞争检测算法。该算法通过插桩技术与源程序同时执行,利用Run-LTS模型对共享资源进行实时监控和异常检测,并记录异常时的现场信息。实验结果表明,该算法在异常发生时能够快速地检测到异常,返回异常现场信息以便程序修改。(剩余5824字)

目录
monitor