Patent ID: 8132190

Claim:
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; FIG. 8 c ), forming part of the execution of a logged process (P 1 ) executed in a computer, termed primary node (OP), this management recording said logged operation in the form of logging data enabling a restart process executed by a secondary node to replay an operation, termed replayed, corresponding to the logged operation and sending to the restart process a result corresponding to that of the logged operation, 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 1 ), executed in a computer termed secondary node, this management using logging data (JSem 1 ) to procure that, in each case of a non-deterministic replayed operation, the restart process takes into account a result, termed forced (RF), corresponding to the result returned during logging; and 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 ( 3 ) of a sequencing value (SQ) representing said replayed operation.