Invention Grant
- Patent Title: Method of system for detecting abnormal interleavings in concurrent programs
- Patent Title (中): 在并发程序中检测异常交错的系统方法
-
Application No.: US13498613Application Date: 2011-09-29
-
Publication No.: US08862942B2Publication Date: 2014-10-14
- Inventor: Nicholas A. Jalbert , Cristiano L. Pereira , Gilles A. Pokam
- Applicant: Nicholas A. Jalbert , Cristiano L. Pereira , Gilles A. Pokam
- Applicant Address: US CA Santa Clara
- Assignee: Intel Corporation
- Current Assignee: Intel Corporation
- Current Assignee Address: US CA Santa Clara
- Agency: Barnes & Thornburg, LLP
- International Application: PCT/US2011/054081 WO 20110929
- International Announcement: WO2012/087402 WO 20120628
- Main IPC: G06F11/00
- IPC: G06F11/00 ; G06F11/36 ; G06F11/14 ; G06F9/38
Abstract:
A method and system for detecting abnormal interleavings in a multi-threaded program includes generating an execution log in response to execution of the multi-threaded program. Based on the execution log, a list of allowable immediate interleavings is generated if the execution of the multi-threaded program resulted in no concurrency errors and a list of suspicious immediate interleavings is generated if the execution of the multi-threaded program resulted in one or more concurrency errors. The first and second lists are compared to generate a list of error-causing immediate interleavings. A replayable core is then generated and executed based on the list of error-causing immediate interleavings.
Public/Granted literature
- US20130297978A1 METHOD OF SYSTEM FOR DETECTING ABNORMAL INTERLEAVINGS IN CONCURRENT PROGRAMS Public/Granted day:2013-11-07
Information query
