When this is
, the lock is pushed onto the list
. Locks in this list are automatically freed when the holder process finishes.
This might be appropriate when two processes sharing a lock must both be running for the system to be consistent. If one process dies, then the other one kills itself. Thus the system does not need to worry about freeing the lock because no-one else could be waiting on it forever after the first process dies.
The name of the lock.
. When lock is
, the lock is set. The default is
The owner of the lock.
The number of times the lock has been set. The default is 0.