The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Apr. 12, 2016
Filed:
Dec. 21, 2011
Justin Gottschlich, Fort Collins, CO (US);
Gilles Pokam, Fremont, CA (US);
Cristiano Pereira, Santa Clara, CA (US);
Jungwoo Ha, Los Altos, CA (US);
Justin Gottschlich, Fort Collins, CO (US);
Gilles Pokam, Fremont, CA (US);
Cristiano Pereira, Santa Clara, CA (US);
Jungwoo Ha, Los Altos, CA (US);
Intel Corporation, Santa Clara, CA (US);
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.