METHOD AND SYSTEM FOR ROBUST FUTEXES

• US 20120096017A1
• Filed: 12/22/2011
• Published: 04/19/2012
• Est. Priority Date: 02/01/2007
• Status: Active Grant

• Current Assignee: Red Hat, Inc. (International Business Machines Corporation)
• Original Assignee: Red Hat, Inc. (International Business Machines Corporation)
• Inventors: Molnar, Ingo, Gleixner, Thomas, Drepper, Ulrich
• Granted Patent: US 8,682,914 B2
• Time in Patent Office: Days
• US Class Current: 707/756
• CPC Class Codes: G06F 16/2343 Locking methods, e.g. distributed locking or locking implementation details
• CPC Class Codes: G06F 9/526 Mutual exclusion algorithms

Abstract

Systems and methods of managing primitives are disclosed. A data structure that is stored in user space is registered, wherein the data structure tracks a user controllable mutual exclusion primitive that is acquired by a process running in the user space, and wherein the user controllable mutual exclusion primitive serves as a lock on a resource provided by a computer system. A termination of the process is detected, wherein the process maintains the lock on the resource after termination and the data structure is searched to identify the user controllable mutual exclusion primitive that is acquired by the process that terminated. The user controllable mutual exclusion primitive is released if the user controllable mutual exclusion primitive is identified as being acquired by the process.

Claims

1. A method of managing primitives, the method comprising:

registering a data structure that is stored in user space, wherein the data structure tracks a user controllable mutual exclusion primitive that is acquired by a process running in the user space, and wherein the user controllable mutual exclusion primitive serves as a lock on a resource provided by a computer system;

detecting, by a processor, a termination of the process, wherein the process maintains the lock on the resource after termination;

searching the data structure to identify the user controllable mutual exclusion primitive that is acquired by the process that terminated; and

releasing the user controllable mutual exclusion primitive if the user controllable mutual exclusion primitive is identified as being acquired by the process.

2. The method of claim 1, further comprising:

setting a flag for the user controllable mutual exclusion primitive; and

notifying a waiting computer process waiting for the user controllable mutual exclusion primitive, wherein the waiting computer process determines that the flag is set and resolves race conditions associated with the resource locked by the user controllable mutual exclusion primitive.

3. The method of claim 1, further comprising:

selecting a free user controllable mutual exclusion primitive from a plurality of user controllable mutual exclusion primitives in response to a request by the process, wherein the process acquires the free user controllable mutual exclusion primitive; and

linking the free user controllable mutual exclusion primitive acquired by the process to the data structure.

4. The method of claim 3, further comprising:

providing a pending entry data structure; and

setting a pending entry flag in the pending entry data structure indicating that the process is about to acquire the free user controllable mutual exclusion primitive.

5. The method of claim 4, further comprising linking the pending entry data structure to the data structure.

6. The method of claim 4, further comprising:

resetting the pending entry flag in the pending entry data structure after linking the user controllable mutual exclusion primitive acquired by the process to the data structure.

7. The method of claim 4, further comprising:

searching the pending data structure for the user controllable mutual exclusion primitive;

setting the flag if the user controllable mutual exclusion primitive is found in the data structure or if the pending entry flag in the pending entry data structure is set; and

notifying a waiting computer process waiting for the user controllable mutual exclusion primitive, wherein the waiting computer process determines that the flag is set and resolves race conditions associated with the resource locked by the user controllable mutual exclusion primitive.

8. The method of claim 1, wherein registering the data structure further comprises:

receiving a system call from the process to register the data structure with a kernel; and

executing a function call to the kernel to determine whether the data structure has been registered.

9. The method of claim 1, wherein releasing the user controllable mutual exclusion primitive further comprises:

unlinking the user controllable mutual exclusion primitive from the data structure.

10. The method of claim 2, wherein notifying a waiting computer process further comprises waking the waiting computer process.

11. An apparatus comprising:

a memory configured to store a data structure stored in user space, wherein the data structure is configured to track a user controllable mutual exclusion primitive that is acquired by a process running in the user space and wherein the user controllable mutual exclusion primitive serves as a lock on a resource provided by a computer system; and

a processor device, coupled to the memory; and

a mutual exclusion module, executable by the processor to;

register the data structure;

detect a termination of the process, wherein the process maintains the lock on the resource after termination;

search the data structure to identify the user controllable mutual exclusion primitive that is acquired by the process that terminated; and

release the user controllable mutual exclusion primitive if the user controllable mutual exclusion primitive is identified as being acquired by the process.

12. The apparatus of claim 11, wherein the mutual exclusion module is further configured to:

set a flag for the user controllable mutual exclusion primitive; and

notify a waiting computer process waiting for the user controllable mutual exclusion primitive, wherein the waiting computer process determines that the flag is set and resolves race conditions associated with the resource locked by the user controllable mutual exclusion primitive.

13. The apparatus of claim 11, wherein the mutual exclusion module is further configured to:

select a free user controllable mutual exclusion primitive from a plurality of user controllable mutual exclusion primitives in response to a request by the process, wherein the process acquires the free user controllable mutual exclusion primitive; and

link the free user controllable mutual exclusion primitive acquired by the process to the data structure.

14. The apparatus of claim 13, wherein the mutual exclusion module is further configured to:

provide a pending entry data structure;

set a pending entry flag in the pending entry data structure indicating that the process is about to acquire the free user controllable mutual exclusion primitive;

link the pending entry data structure to the data structure; and

reset the pending entry flag in the pending entry data structure after linking the user controllable mutual exclusion primitive to the data structure.

15. The apparatus of claim 14, wherein the mutual exclusion module is further configured to:

search the pending entry data structure for the user controllable mutual exclusion primitive;

set a flag if the user controllable mutual exclusion primitive is found in the data structure or if the pending entry flag in the pending entry data structure is set; and

notify a waiting computer process waiting for the user controllable mutual exclusion primitive, wherein the waiting computer process determines that the flag is set and resolves race conditions associated with the resource locked by the user controllable mutual exclusion primitive.

16. A non-transitory machine-readable storage medium including data that, when accessed by a machine, cause the machine to perform a method comprising:

registering a data structure that is stored in user space, wherein the data structure tracks a user controllable mutual exclusion primitive that is acquired by a process running in the user space, and wherein the user controllable mutual exclusion primitive serves as a lock on a resource provided by a computer system;

detecting, by a processor, a termination of the process, wherein the process maintains the lock on the resource after termination;

searching the data structure to identify the user controllable mutual exclusion primitive that is acquired by the process that terminated; and

releasing the user controllable mutual exclusion primitive if the user controllable mutual exclusion primitive is identified as being acquired by the process.

17. The non-transitory machine-readable storage medium of claim 16, wherein the method further comprises:

setting a flag for the user controllable mutual exclusion primitive;

notifying a waiting computer process waiting for the user controllable mutual exclusion primitive, wherein the waiting computer process determines that the flag is set and resolves race conditions associated with the resource locked by the selected user controllable mutual exclusion primitive.

18. The non-transitory machine-readable storage medium of claim 16, wherein the method further comprises:

selecting a free user controllable mutual exclusion primitive from a plurality of user controllable mutual exclusion primitives in response to a request by the process, wherein the process acquires the free user controllable mutual exclusion primitive; and

linking the free user controllable mutual exclusion primitive acquired by the process to the data structure.

19. The non-transitory machine-readable storage medium of claim 18, wherein the method further comprises:

providing a pending entry data structure;

setting a pending entry flag in the pending entry data structure indicating that the process is about to acquire the free user controllable mutual exclusion primitive;

linking the pending entry data structure to the data structure; and

resetting the pending entry flag in the pending entry data structure after linking the user controllable mutual exclusion primitive to the data structure.

20. The non-transitory machine-readable storage medium of claim 19, wherein the method further comprises:

searching the pending entry data structure for the user controllable mutual exclusion primitive; and

setting the first flag if the user controllable mutual exclusion primitive is found in the data structure or if the pending entry flag in the pending entry data structure is set.