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 traces an execution (A), detects a synchronization failure (B), determines a control stragegy (C), and re-executes under control (D). Control is achieved by tracing information during an execution and using this information to add synchronizations during the re-execution.