Patent ID: 8095550
Filing Date: 2012-01-10
Classification: G06F

Abstract:
1. A method of managing primitives, the method comprising: selecting a free futex from a plurality of futexes in response to a request by the first computer process, wherein the first computer process acquires the futex; registering a private data structure that is stored in user space, wherein the private data structure tracks the futex that is held by a first computer process running in the user space, wherein the private data structure is private to the first computer process, and wherein the futex serves as a lock on a resource provided by a computer system; linking the futex held by the first computer process to the private data structure detecting a termination of the first computer process that maintains the lock on the resource after termination; searching the private data structure to identify the futex that is held by the first computer process that terminated; and releasing the futex if the futex is identified as being held by the first computer process.