Patent ID: 8132190
Filing Date: 2012-03-06
Classification: G06F

Abstract:
1. A method for managing a non-deterministic software operation (EVINd) initiated by a program instruction within the execution of an application process, termed managed process (P 1 , PB 1 ), executed by at least one computer (OP, SB), the performance of said operation sending to said managed application process at least one result datum, termed actual result (DR, RRJ), this method comprising: carrying out a deterministic software processing, termed prediction function (FH), based on the state of the managed process or of the application (AOP, ASB) to which it belongs, as it was before said operation (EVInd), for supplying a value likely to correspond to the actual result and constituting a predicted result (RP) for said operation; a comparative test to establish whether the value of the predicted result (RP) corresponds or does not correspond to the value of the actual result (DR, RRJ); performing a complementary management phase (CH, DH) for said managed operation, this complementary management depending on the result of the preceding test; managing an operation, termed logged (EVInd; the complementary management phase (CH) comprising moreover, in the case of an actual result (DR) not corresponding to the predicted result (RP), a storage of logging data including a result datum representing the value of the actual result (DR) of the logged operation (EVInD), said operation being then called unpredicted operation; managing a sequence, termed replayed, of operations forming part of the execution of a restart process (PB the complementary management phase (DH) comprising, at least for each operation (EVInD) for which the logging data does not comprise a logged result, an incrementing (