公开(公告)号：CN110795327B

公开(公告)日：2021-07-30

申请号：CN201810860882.7

申请日：2018-08-01

Applicant: 中国矿业大学

Inventor： 姜淑娟 ,  薄莉莉

IPC: G06F11/36 ,  G06F9/52

Abstract: 本发明提供一种基于加权依赖图的并发程序执行轨迹静态简化方法，包括下列步骤：1）事件依赖关系计算；2）加权依赖图构建；3）加权依赖图简化；4）拓扑排序。本发明解决了目前存在的并发程序执行轨迹方法不能快速有效地获得最优简化后轨迹的问题，不仅最大限度地减少了原始轨迹中的上下文切换，而且减少了并发程序执行轨迹简化过程因随机性消耗的大量时间，进而提高了并发程序调试的效率，从而为准确修复并发缺陷提供了保障。

公开(公告)号：CN110795327A

公开(公告)日：2020-02-14

申请号：CN201810860882.7

申请日：2018-08-01

Applicant: 中国矿业大学

Inventor： 姜淑娟 ,  薄莉莉

IPC: G06F11/36 ,  G06F9/52

Abstract: 本发明提供一种基于加权依赖图的并发程序执行轨迹静态简化方法，包括下列步骤：1）事件依赖关系计算；2）加权依赖图构建；3）加权依赖图简化；4）拓扑排序。本发明解决了目前存在的并发程序执行轨迹方法不能快速有效地获得最优简化后轨迹的问题，不仅最大限度地减少了原始轨迹中的上下文切换，而且减少了并发程序执行轨迹简化过程因随机性消耗的大量时间，进而提高了并发程序调试的效率，从而为准确修复并发缺陷提供了保障。