Language-based model for asynchronous operations

• US 9,690,604 B2
• Filed: 01/17/2017
• Issued: 06/27/2017
• Est. Priority Date: 06/05/2009
• Status: Active Grant

• Current Assignee: Microsoft Technology Licensing LLC (Microsoft Corporation)
• Original Assignee: Microsoft Technology Licensing LLC (Microsoft Corporation)
• Inventors: Gustafsson, Niklas, Kizer, Geoffrey M.
• Primary Examiner(s): SNYDER, STEVEN G
• Application Number:
  US15/408,011
• Publication Number:
  US 20170123776A1
• Time in Patent Office: 161 Days
• Field of Search: None
• CPC Class Codes: G06F 8/40 Transformation of program code
• CPC Class Codes: G06F 8/41 Compilation
• CPC Class Codes: G06F 8/45 Exploiting coarse grain parallelism in compilation, i.e. parallelism between groups of instructions
• CPC Class Codes: G06F 8/458 Synchronisation, e.g. post-wait, barriers, locks synchronisation among tasks G06F9/52
• CPC Class Codes: G06F 9/45516 Runtime code conversion or optimisation

Abstract

A language-based model to support asynchronous operations set forth in a synchronous syntax is provided. The asynchronous operations are transformed in a compiler into an asynchronous pattern, such as an APM-based pattern (or asynchronous programming model based pattern). The ability to compose asynchronous operations comes from the ability to efficiently call asynchronous methods from other asynchronous methods, pause them and later resume them, and effectively implementing a single-linked stack. One example includes support for ordered and unordered compositions of asynchronous operations. In an ordered composition, each asynchronous operation is started and finished before another operation in the composition is started. In an unordered composition, each asynchronous operation is started and completed independently of the operations in the unordered composition.

Claims

1. A method of providing asynchronous operations, comprising:

receiving a plurality of operations composed in a synchronous syntax, the synchronous syntax distinguishable from an asynchronous pattern, the plurality of operations including a first asynchronous operation and a second asynchronous operation;

defining the first asynchronous operation and the second asynchronous operation as asynchronous operations in the synchronous syntax; and

compiling the defined asynchronous operations in which the first asynchronous operation calls the second the asynchronous operation from a linked stack.

2. The method of claim 1 comprising:

applying a modifier to define the asynchronous operations.

3. The method of claim 2 including implementing the modifier with a language extension keyword.

4. The method of claim 2 wherein the defined asynchronous operations include at least one of methods, delegate declarations, and lambda expressions.

5. The method of claim 2 wherein the modifier is applied to at least one of a class, structure, and interface.

6. The method of claim 1 comprising:

implementing the linked stack to pause and resume the defined asynchronous operations.

7. The method of claim 6 wherein the first asynchronous operation includes a yield point represented by a call to the second asynchronous operation.

8. The method of claim 6 wherein pausing the second asynchronous operation pauses the first asynchronous operation.

9. The method of claim 1 wherein defining the asynchronous operations is inferred from context in the syntax.

10. The method of claim 9 wherein the defined asynchronous operations include a lambda expression.

11. A system to provide asynchronous operations, the system comprising:

memory to store a set of instructions and receive a plurality of operations composed in a synchronous syntax in which the synchronous syntax is distinguishable from an asynchronous pattern; and

a processor to execute the set of instructions to;

define a first asynchronous operation and a second asynchronous operation as asynchronous operations in the synchronous syntax; and

compile the defined asynchronous operations in which the first asynchronous operation calls the second the asynchronous operation from a linked stack.

12. The system of claim 11 wherein a modifier defines the first asynchronous operation and the second asynchronous operation.

13. The system of claim 11 wherein the asynchronous operations are compiled into an asynchronous programming model.

14. The system of 13 wherein the defined asynchronous operations are compiled into public declarations.

15. The system of claim 14 wherein one of the public declarations calls one of the defined asynchronous operations synchronously.

16. A computer readable storage device to store computer executable instructions to control a processor to:

receive a plurality of operations composed in a synchronous syntax, the synchronous syntax distinguishable from an asynchronous pattern, the plurality of operations including a first asynchronous method and a second asynchronous method;

define the first asynchronous method and the second asynchronous method as asynchronous operations in the synchronous syntax; and

compile the defined asynchronous operations in which the first asynchronous method calls the second the asynchronous method from a linked stack.

17. The computer readable device of claim 16 wherein the first asynchronous method and second asynchronous method are compiled into an asynchronous pattern from the synchronous syntax.

18. The computer readable device of claim 17 wherein the asynchronous pattern includes an asynchronous programming model.

19. The computer readable device of claim 16 wherein the first asynchronous method includes a yield point represented by a call to the second asynchronous method.

20. The computer readable device of claim 19 wherein an entire call chain yields at the yield point.