Resource usage conflict identifier

• US 20070028245A1
• Filed: 07/26/2005
• Published: 02/01/2007
• Est. Priority Date: 07/26/2005
• Status: Active Grant

• Current Assignee: Microsoft Technology Licensing LLC (Microsoft Corporation)
• Original Assignee: Microsoft Corporation
• Inventors: Grunkemeyer, Brian, Kaplan, Jesse, Wadsworth, Brandon
• Granted Patent: US 7,673,051 B2
• Time in Patent Office: Days
• US Class Current: 719/313
• CPC Class Codes: G06F 8/71 Version control security arrangements therefor G06F21/57; Configuration management

Abstract

The exposure and usage of one or more particular physical and logical resources by methods within an isolation boundary may be annotated so as to preempt resource usage conflicts.

Claims

1. A process, comprising:

receiving an identity of methods that expose a resource outside of a given isolation boundary;

evaluating a scope of resource consumption and exposure by the identified methods in the isolation boundary;

applying a contract to the identified methods for annotating; and

submitting the contracted methods for annotating based on the evaluated scope of resource method.

2. A process according to claim 1, wherein the receiving includes receiving the identity of the method from an analysis tool.

3. A process according to claim 1, wherein the isolation boundary includes any one of a machine, a process, a thread, or application domain.

4. A process according to claim 1, wherein the evaluating includes verifying that the identified methods are to expose the resource to other identified methods within the isolation boundary.

5. A process according to claim 1, wherein the evaluating includes narrowing the scope of the resource exposure by the identified methods within the isolation boundary.

6. A process according to claim 1, wherein the applying a contract includes applying the identified methods with a contract to indicate the evaluated scope of resource exposure and consumption.

7. A process according to claim 1, wherein the submitting includes submitting the methods to a static analysis tool.

8. A process according to claim 1, wherein the process is repeated until no further unmarked methods that expose the resource are identified.

9. At least one computer-readable medium having executable instructions that, when read, cause one or more processors to:

identify a first call site to expose a resource that is outside an isolation boundary;

identify at least two methods that call a method that exposes a resource;

apply a contract to the at least two methods with a corresponding scope of consumption and scope of exposure; and

annotate changes of a scope of consumption and exposure for the resource relative to the isolation boundary.

10. At least one computer-readable medium according to claim 9, wherein the first call site implements an unmanaged method call.

11. At least one computer-readable medium according to claim 9, wherein the resource is state that is capable of being shared.

12. At least one computer-readable medium according to claim 9, wherein the isolation boundary includes any one of a machine, a process, a thread, or application domain.

13. At least one computer-readable medium according to claim 9, wherein the potential resource usage conflicts pertain to at least one of a physical resource or a logical resource.

14. At least one computer-readable medium according to claim 9, wherein the one or more instructions to identify the potential resource usage conflicts cause the one or more processors to compare resource exposure and consumption contracts in the at least two methods.

15. At least one computer-readable medium according to claim 9, wherein the one or more instructions to apply a contract to the at least one method cause the one or more processors to attach at least one process pertaining to usage of the resource and at least one process pertaining to narrowing a scope of the method within the isolation boundary.

16. At least one computer-readable medium according to claim 9, wherein the one or more instructions to apply a contract to the at least one method within the isolation boundary further cause the one or more processors to avail the at least one method to a contributing developer of the at least one method.

17. A system, comprising:

an identifier to identify at least one method to expose a resource;

a comparator to compare the identified methods that may attempt to use the resource with regard to consumption of the resource;

a contractor to apply a contract to those of the compared methods that may conflict when attempting to use the resource; and

a manager to gauge whether the contracted methods are to be re-submitted to the system.

18. A system according to claim 17, wherein the identifier is to identify methods that access shared state.

19. A system according to claim 17, wherein the contractor is to apply a contract by appending an explanation of resource consumption to one of the methods and an explanation of how the resource may be exposed to further methods.

20. A system according to claim 17, wherein the manager is to receive those of the contracted methods having had a scope thereof reduced from an external source that may avoid a resource conflict and/or reduce exposure of the resource to one or methods in a particular isolation boundary.