Automatic code transformation

• US 10,318,255 B2
• Filed: 06/02/2017
• Issued: 06/11/2019
• Est. Priority Date: 03/28/2008
• Status: Active Grant

• Current Assignee: Microsoft Technology Licensing LLC (Microsoft Corporation)
• Original Assignee: Microsoft Technology Licensing LLC (Microsoft Corporation)
• Inventors: Meijer, Henricus Johannes Maria, Dyer, John Wesley
• Primary Examiner(s): Bodden, Evral E
• Application Number:
  US15/613,047
• Publication Number:
  US 20170269913A1
• Time in Patent Office: 739 Days
• Field of Search: 717136
• CPC Class Codes: G06F 8/24 Object-oriented
• CPC Class Codes: G06F 8/30 Creation or generation of source code
• CPC Class Codes: G06F 8/40 Transformation of program code

Abstract

A method includes receiving stateful code that is called from a first location and executed at a second location. The method includes acquiring contextual information associated with the stateful code. The method includes determining a location for storage of state information based on the contextual information. The method includes, based on the determined location, transforming the stateful code into stateless code. The transforming includes storing state information for the stateful code into storage at the determined location. In response to the determined location being the first location, the stateless code includes: retrieving the state information from the storage; from the first location, sending a call to the second location; at the first location, receiving a response from the second location; and storing the new state information into the storage at the first location. One argument of the call includes the retrieved state information. One return value includes new state information.

Claims

1. A system comprising:

a processing device; and

a non-transitory computer-readable storage media configured to store computer-executable instructions that, upon execution by the processing device, control the system to perform;

receiving stateful code that is called from a first location and executed at a second location;

acquiring contextual information associated with the stateful code;

determining a location for storage of state information based on the contextual information; and

based on the determined location, transforming the stateful code into stateless code, wherein;

the transforming includes storing state information for the stateful code into storage at the determined location; and

in response to the determined location being the first location, the stateless code includes;

at the first location, retrieving the state information from the storage at the first location;

from the first location, sending a call to the second location, wherein one argument of the call includes the retrieved state information;

at the first location, receiving a response from the second location, wherein one return value includes new state information; and

storing the new state information into the storage at the first location.

2. The system of claim 1, wherein the first location is a client device and the second location is a server.

3. The system of claim 1, wherein the stateful code is specified in an imperative programming language.

4. The system of claim 1, wherein, in response to the determined location being the first location, the storing of the stateless code includes replacing the state information in the storage at the first location with the new state information.

5. The system of claim 1, wherein, in response to the determined location being the second location, the stateless code includes:

from the first location, sending a call to the second location, wherein one argument of the call is a unique identifier of the state information;

at the second location, obtaining the state information from the storage based on the unique identifier;

at the second location, generating new state information based on the obtained state information; and

storing the new state information into the storage of the second location based on the unique identifier.

6. The system of claim 5, wherein, in response to the determined location being a third location, the stateless code includes:

from the first location, sending a call to the second location, wherein one argument of the call is a unique identifier of the state information;

at the second location, obtaining the state information from the third location based on the unique identifier, wherein the third location is located remotely from the second location;

at the second location, generating new state information based on the obtained state information; and

storing the new state information into the storage of the third location based on the unique identifier.

7. The system of claim 1, wherein, in response to the determined location being the first location, the stateless code includes:

serializing the retrieved state information to create the one argument of the call; and

deserializing the one return value to recover the new state information.

8. The system of claim 1 wherein the contextual information includes a security parameter of the state information.

9. The system of claim 8 wherein the determining includes, in response to the security parameter indicating that the first location is not trusted to store the state information, selecting the second location.

10. The system of claim 1 wherein:

the contextual information includes at least one of capability information of the first location and capability information of the second location; and

the capability information includes at least one of bandwidth, storage capacity, and processing power.

11. The system of claim 10 wherein the determining includes, in response to the capability information of the first location being limited with respect to the capability information of the second location, selecting the second location.

12. The system of claim 1 wherein:

the transforming includes creating a wrapper for the stateful code; and

the wrapper is configured to implement the retrieving the state information, the sending the call, the receiving the response, and the storing the new state information.

13. A method comprising:

receiving stateful code that is called from a first location and executed at a second location;

acquiring contextual information associated with the stateful code;

determining a location for storage of state information based on the contextual information; and

based on the determined location, transforming the stateful code into stateless code, wherein;

the transforming includes storing state information for the stateful code into storage at the determined location; and

in response to the determined location being the first location, the stateless code includes;

at the first location, retrieving the state information from the storage at the first location;

from the first location, sending a call to the second location, wherein one argument of the call includes the retrieved state information;

at the first location, receiving a response from the second location, wherein one return value includes new state information; and

storing the new state information into the storage at the first location.

14. The method of claim 13, wherein:

the first location is a client device and the second location is a server; and

the stateful code is specified in an imperative programming language.

15. The method of claim 13, wherein, in response to the determined location being the first location, the storing of the stateless code includes replacing the state information in the storage at the first location with the new state information.

16. The method of claim 13, wherein, in response to the determined location being the second location, the stateless code includes:

from the first location, sending a call to the second location, wherein one argument of the call is a unique identifier of the state information;

at the second location, obtaining the state information from the storage based on the unique identifier;

at the second location, generating new state information based on the obtained state information; and

storing the new state information into the storage of the second location based on the unique identifier.

17. The method of claim 16, wherein, in response to the determined location being a third location, the stateless code includes:

from the first location, sending a call to the second location, wherein one argument of the call is a unique identifier of the state information;

at the second location, obtaining the state information from the third location based on the unique identifier, wherein the third location is located remotely from the second location;

at the second location, generating new state information based on the obtained state information; and

storing the new state information into the storage of the third location based on the unique identifier.

18. The method of claim 13, wherein, in response to the determined location being the first location, the stateless code includes:

serializing the retrieved state information to create the one argument of the call; and

deserializing the one return value to recover the new state information.

19. The method of claim 13 wherein:

the contextual information includes a security parameter of the state information; and

the determining includes, in response to the security parameter indicating that the first location is not trusted to store the state information, selecting the second location.

20. The method of claim 13 wherein:

the contextual information includes at least one of capability information of the first location and capability information of the second location;

the capability information includes at least one of bandwidth, storage capacity, and processing power; and

the determining includes, in response to the capability information of the first location being limited with respect to the capability information of the second location, selecting the second location.