版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
一种并发程序数据竞争指令级定位方法
专利申请号：CN201910347395.5
公 开 号：CN110059014B
专利类型：授权发明
申 请 日：20220927
公 开 日：20190428
专利主分类号：G06F11/36
关 键 词：并发 程序数据 数据竞争 向量时钟 指令 线程 二进制 访问共享内存 软件测试技术 程序测试 程序动态 定位报告 定位问题 规则判断 偏序关系 指令信息 最终数据 记录线 漏报率 误报率 检测 插桩 跟踪
摘 要：针对并发程序数据竞争定位问题，公开了一种并发程序数据竞争指令级定位方法，属于软件测试技术领域。本方法首先利用数据竞争定义对并发程序动态二进制插桩过程中所得的指令信息进行数据竞争初步检测，同时为每条线程设置向量时钟来跟踪并记录线程访问共享内存的时间；然后通过happens‑before规则判断各条指令所在线程的向量时钟是否存在偏序关系来判断是否发生数据竞争，形成最终数据竞争定位报告。本发明提供了一种并发程序数据竞争指令级定位方法，并有效降低了检测误报率及漏报率，用于提高并发程序测试的精度及效率。
