locklib

Class LockManager<LockType>

java.lang.Object

locklib.LockManager<LockType>

Type Parameters:

LockType - the type of lock

public class LockManager<LockType>
extends Object

The lock manager holds information about all locks currently held and all locks currently being waited for. The lock manager also keeps some auxiliary objects that handle specific features of the locking API such as the waiting queue factory, the lock pre-checker and the lock policy.

Constructor Summary

Constructors

Constructor and Description
LockManager(LockPolicy<LockType> p, LockPreChecker<LockType> pc, WaitQueueFactory<LockType> factory) Creates a new lock manager.

Method Summary

Modifier and Type	Method and Description
LockPolicy<LockType>	policy() Obtains the current lock policy.
LockPreChecker<LockType>	pre_checker() Obtains the currently defined lock pre-checker.
WaitQueueFactory<LockType>	wait_queue_factory() Obtains the wait queue factory.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LockManager

public LockManager(LockPolicy<LockType> p,
                   LockPreChecker<LockType> pc,
                   WaitQueueFactory<LockType> factory)

Creates a new lock manager.

Parameters:

p - the lock policy

pc - the pre-checker to use; if null, the default pre-checker is used

factory - the wait factory to set; if null, the default factory is used

Method Detail

wait_queue_factory

public WaitQueueFactory<LockType> wait_queue_factory()

Obtains the wait queue factory.

Returns:

the wait queue factory

pre_checker

public LockPreChecker<LockType> pre_checker()

Obtains the currently defined lock pre-checker.

Returns:

the pre-checker

policy

public LockPolicy<LockType> policy()

Obtains the current lock policy.

Returns:

the lock policy