Latch mechanism for concurrent computing environments

A computer readable medium containing program instructions for providing access to a resource in a programming environment supporting concurrent tasks, the program instructions for:

• (a) providing a latch to a first task, wherein the first task requests the latch to obtain access to the resource;
• (b) accessing the resource with the first task;
• (c) marking the latch stealable and held by a holding task, rather than releasing the latch, wherein marking the latch stealable permits a second task to acquire the latch in response to the latch being marked stealable;
• (d) marking the latch unstealable if the first task again requests the latch to obtain access to the resource prior to the latch being requested by a second task seeking access to the resource;
• and
• (e) marking a set of flags for a latch:
• iv. stealable, wherein the resource is not placed in a consistent state because the latch is marked stealable;
• v. stolen, wherein the resource is placed in a consistent state and then accessed by the second task;
• or
• vi. unstealable, wherein the first task again requests the latch to obtain access to the resource and the latch has not been requested by a second task seeking access to the resource, as requested by the latch.

A latch mechanism for a computer programming environment supporting concurrent tasks, comprising:

• means for providing a latch for a resource to a first task, whereby the first task holds the latch;
• means for the first task to mark the latch stealable and held by a holding task, rather than releasing the latch, wherein marking the latch stealable permits a second task to acquire the latch in response to the latch being marked stealable;
• means for the first task to mark the latch unstealable if the first task again requests the latch to obtain access to the resource prior to the latch being requrested by a second task seeking access to the latch;
• and
• means for using a set of flags for marking a latch stealable, wherein the resource is not placed in a consistent state because the latch is marked stealable, stolen, wherein the resource is placed in a consistent state and then accessed by the second task, or unstealable, wherein the first task is again provided with the latch and the latch has not been provided to a second task seeking access to the resource.