Software fault tolerance of concurrent programs using controlled re-execution

A method for fault tolerance in concurrently executing computer programs is presented. The present invention controls the re-execution of concurrent programs in order to avoid a recurrence of synchronization failure. The invention (i) traces an execution, (ii) detects a synchronization failure, (iii) determines a control strategy, and (iv) re-executes under control. Control is achieved by tracing information during an execution and using this information to add synchronizations during the re-execution.Board of Regents, University of Texas Syste