METHOD OF ESTABLISHING A LOGICAL STATE OF AN INSTANCE USING NON-DETERMINISTIC OPERATION RESULTS STORED IN A RESULT LOG

• US 20100257544A1
• Filed: 04/06/2009
• Published: 10/07/2010
• Est. Priority Date: 04/06/2009
• Status: Active Grant

• Current Assignee: Jason Kleban
• Original Assignee: Jason Kleban
• Inventors: Kleban, Jason
• Granted Patent: US 8,051,427 B2
• Time in Patent Office: Days
• US Class Current: 719/320
• CPC Class Codes: G06F 9/461 Saving or restoring of program or task context
• CPC Class Codes: G06F 9/485 Task life-cycle, e.g. stopping, restarting, resuming execution G06F9/4881 takes precedence

Abstract

There is provided a method of establishing a logical state of an instance of a program. The method includes executing a first session. The program includes multiple sequences. Each sequence includes alternating deterministic operations and requests for non-deterministic operation results. A non-deterministic operation result is derived from a non-deterministic operation. The execution of the first session includes yielding a request for a non-deterministic operation result for one of the sequences. The request is generated by a first deterministic operation. The method includes terminating the first session at a first logical state prior to executing a second deterministic operation. The method includes executing upon the request. The method includes executing a second session using a log to establish a logical state of the instance. The method includes storing the non-deterministic operation result to the log. The method includes executing a continuation of the given sequence using the non-deterministic operation result.

Claims

1. A method of establishing a logical state of an instance of an executable computer program on a host computer, the method comprising the steps of:

executing a first session of an instance of the computer program on the host computer, the computer program including multiple sequences, each sequence including alternating deterministic operations and requests for non-deterministic operation results, a non-deterministic operation result being derived from a non-deterministic operation, each deterministic operation outputting consistent results based upon same inputs, each non-deterministic operation not being a deterministic operation, execution of the first session including;

yielding a request for a non-deterministic operation result for a given one of the sequences, the request being generated by a first deterministic operation;

terminating the first session at a first logical state prior to executing a second deterministic operation for such given sequence;

executing upon the request to generate a non-deterministic operation result;

executing a second session of the instance of the computer program on the host computer using a result log in a computer memory to establish a logical state of the instance identical to the first logical state;

storing the non-deterministic operation result to the result log; and

executing a continuation of the given sequence using the non-deterministic operation result as an input.

2. The method of claim 1 wherein a given one of the non-deterministic operations is associated with a task to be completed by a user.

3. The method of claim 1 wherein a given one of the non-deterministic operations is a subscription.

4. The method of claim 1 further includes, subsequent to yielding the request:

presenting the request to a user interface.

5. The method of claim 4 wherein the step of executing upon the request to generate a non-deterministic operation result includes:

receiving a non-deterministic operation result from the user interface.

6. The method of claim 1 wherein the step of executing upon the request to generate a non-deterministic operation result includes:

waiting a fixed time period.

7. The method of claim 1 wherein the step of terminating the first session at the first logical state includes:

determining a type of the non-deterministic operation.

8. The method of claim 1 wherein the step of executing the continuation of the given sequence using the non-deterministic operation result includes:

executing the deterministic operation immediately following the request for the non-deterministic operation result for which the non-deterministic operation result was generated.

9. The method of claim 1 wherein the computer program includes additional sequences that do not each include alternating deterministic operations and non-deterministic operations.

10. The method of claim 1 wherein a given deterministic operation of a given one of the sequences is a grouping of deterministic operations.

11. A computer readable medium having computer-executable instructions for performing a method of establishing a logical state of an executable computer program on a host computer, the method comprising the steps of:

executing a first session of an instance of the computer program on the host computer, the computer program including multiple sequences, each sequence including alternating deterministic operations and requests for non-deterministic operation results, a non-deterministic operation result being derived from a non-deterministic operation, each deterministic operation outputting consistent results based upon same inputs, each non-deterministic operation not being a deterministic operation, execution of the first session including;

yielding a request for a non-deterministic operation result for a given one of the sequences, the request being generated by a first deterministic operation;

terminating the first session at a first logical state prior to executing a second deterministic operation for such given sequence;

executing upon the request to generate a non-deterministic operation result;

executing a second session of the instance of the computer program on the host computer using a result log in a computer memory to establish a logical state of the instance identical to the first logical state;

storing the non-deterministic operation result to the result log; and

executing a continuation of the given sequence using the non-deterministic operation result as an input.