公开(公告)号：US10191834B2

公开(公告)日：2019-01-29

申请号：US15096141

申请日：2016-04-11

Applicant: Intel Corporation

Inventor： Justin Gottschlich ,  Gilles Pokam ,  Cristiano Pereira ,  Jungwoo Ha

IPC: G06F9/46 ,  G06F11/36 ,  G06F9/48 ,  G06F9/38

Abstract: Methods and systems to identify and reproduce concurrency violations in multi-threaded programs are disclosed. An example method disclosed herein comprises determining whether a condition is met and serializing an operation of a first thread of a multi-threaded program relative to an operation of a second thread of the multi-threaded program. The serialization of the operations of the first and second threads results in a concurrency violation or bug thereby causing the multi-threaded program to crash. In this way, the operations of the first and second threads of the multi-threaded program that are responsible for the concurrency violation are identified and can be revised to remove the bug.

公开(公告)号：US20160224457A1

公开(公告)日：2016-08-04

申请号：US15096141

申请日：2016-04-11

Applicant: Intel Corporation

Inventor： Justin Gottschlich ,  Gilles Pokam ,  Cristiano Pereira ,  Jungwoo Ha

IPC: G06F11/36

CPC classification number: G06F11/3632 ,  G06F9/3851 ,  G06F9/3861 ,  G06F9/4881 ,  G06F11/3644 ,  G06F11/3648 ,  G06F11/366

Abstract: Methods and systems to identify and reproduce concurrency violations in multi-threaded programs are disclosed. An example method disclosed herein comprises determining whether a condition is met and serializing an operation of a first thread of a multi-threaded program relative to an operation of a second thread of the multi-threaded program. The serialization of the operations of the first and second threads results in a concurrency violation or bug thereby causing the multi-threaded program to crash. In this way, the operations of the first and second threads of the multi-threaded program that are responsible for the concurrency violation are identified and can be revised to remove the bug.

Abstract translation: 公开了在多线程程序中识别和再现并发冲突的方法和系统。 本文公开的示例性方法包括确定是否满足条件并且相对于多线程程序的第二线程的操作来序列化多线程程序的第一线程的操作。 第一和第二个线程的操作的序列化导致并发冲突或错误，从而导致多线程程序崩溃。 以这种方式，会识别负责并发冲突的多线程程序的第一个和第二个线程的操作，并且可以修改以消除该错误。