Method of system for detecting abnormal interleavings in concurrent programs

摘要

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.

主权项

1. A method comprising:
generating, on a computing device, an execution log in response to an execution of a multi-threaded program; generating, on the computing device, a first list of allowable immediate interleavings based on the execution log in response to the execution of the multi-threaded program resulting in no concurrency errors; generating, on the computing device, a second list of suspicious immediate interleavings based on the execution log in response to the execution of the multi-threaded program resulting in a concurrency error; and generating, on the computing device, a third list of error-causing immediate interleavings based on the first and second lists.