AMBIENT STATE FOR ASYNCHRONOUS METHODS

• US 20130104148A1
• Filed: 10/20/2011
• Published: 04/25/2013
• Est. Priority Date: 10/20/2011
• Status: Active Grant

• Current Assignee: Microsoft Technology Licensing LLC (Microsoft Corporation)
• Original Assignee: Microsoft Corporation
• Inventors: Torgersen, Mads, Toub, Stephen H., Eilebrecht, Eric L.
• Granted Patent: US 8,490,115 B2
• Time in Patent Office: Days
• US Class Current: 719/320
• CPC Class Codes: G06F 9/4484 Executing subprograms
• CPC Class Codes: G06F 9/4498 Finite state machines

Abstract

A method of providing asynchronous programming support at run time for scope-based ambient state at a method call is disclosed. In response to the method call, an asynchronous method stack frame is created along with ambient state for the asynchronous method call. In one example of the method, a current frame of a method stack is captured. A new frame is instantiated by setting a previous reference of the new frame to the current frame and moving data from the previous frame into the current frame. One example of instantiating the new frame includes pushing the current frame onto the stack. In another example, the new frame is lazily created when changes have been made. A state machine used to transform the synchronously-created method into an asynchronous method is moved from a current state to a next state. The captured frame is restored.

Claims

1. A method to provide asynchronous programming support for an asynchronous method, the method comprising:

capturing a method stack current frame of an asynchronous method stack frame;

instantiating a new frame by setting a previous reference of the new frame to the current frame and setting the new frame to be a current reference and moving data from the previous frame into the current frame;

moving a state machine associated with the asynchronous method from a current state to a next state; and

restoring the captured frame.

2. The method of claim 1 wherein the frames are in memory.

3. The method of claim 1 wherein instantiating the new frame includes pushing the current frame onto a stack.

4. The method of claim 1 wherein restoring the captured frame includes popping the captured frame.

5. The method of claim 4 wherein the captured frame is popped if the asynchronous method encounters a suspension point that yields and suspends the asynchronous method.

6. The method of claim 1 wherein the asynchronous method call encounters awaits.

9. The method of claim 1 wherein the method is performed in response to a call of the asynchronous method.

10. The method of claim 1 wherein the method is performed during run-time of the asynchronous method.

7. The method of claim 7 wherein ambient state of the asynchronous method persists at suspension and resumption points in the asynchronous method.

8. The method of claim 7 wherein the awaits are augmented with calls to push and pop the ambient state.

11. A method to provide asynchronous programming support for scope-based ambient state at an asynchronous method call, the method comprising:

creating an asynchronous method stack frame;

capturing a current frame of the asynchronous method stack frame;

instantiating a new frame by setting a previous reference of the new frame to the current frame and moving data from the previous frame into the current frame;

moving a state machine associated with the asynchronous method call from a current state and a next state; and

restoring the captured frame.

12. The method of claim 11 wherein the creating the asynchronous method stack frame is in response to the method call.

13. The method call of claim 11 wherein the asynchronous method stack frame points to the current frame.

14. The method of claim 11 wherein the creating data from the previous frame includes copying data from the previous frame into the current frame.

15. The method of claim 11 and further comprising maintaining a thread-local stack of frames.

16. The method of claim 15 wherein each thread-local stack of frames stores a dictionary of key and value pairs.

17. The method of claim 11 wherein the new frame is added to a linked list of frames.

18. The method of claim 11 wherein ambient state is visible to code called by the asynchronous method but other asynchronous methods cannot manipulate or augment the ambient state.

19. A method at runtime of a process to provide asynchronous programming support for scope-based ambient state at an asynchronous method call, the method comprising:

creating an asynchronous method stack frame in response to the method call;

creating an ambient state for the asynchronous method call;

capturing a current method stack frame of the asynchronous method stack frame by pushing the current method stack frame onto a stack;

instantiating a new frame by setting a previous frame to the current frame and copying data from the previous frame into the current frame;

moving a state machine associated with the method call from a current state to a next state; and

restoring the captured method stack frame by popping the current method stack frame from the stack.

20. The method of claim 19 wherein the method is performed as part of a library.