Browse Prior Art Database

Replay of interleavings that didn't happen Disclosure Number: IPCOM000029263D
Original Publication Date: 2004-Jun-21
Included in the Prior Art Database: 2004-Jun-21

Publishing Venue



Forcing replay of a given execution of a multithreaded program is a valuable tool for debugging. Currently there are algorithms to force replay of an actual past execution. Forcing replay of a possible execution, an outcome or result that did not spontaneously occur, is of additional value for debugging.