Package org.mpi_sws.jmc.api.util.concurrent

Class JmcReentrantLock

java.lang.Object

org.mpi_sws.jmc.api.util.concurrent.JmcReentrantLock

public class JmcReentrantLock
extends Object

A reentrant lock that can be used to synchronize access to shared resources. Replacement for ReentrantLock

Yields control to the runtime for lock and unlock.

Constructor Summary

Constructors

Constructor	Description
JmcReentrantLock()
JmcReentrantLock(Object lockObj)

Method Summary

Modifier and Type	Method	Description
void	lock()	Acquires the lock.
void	unlock()	Releases the lock.

Methods inherited from class java.lang.Object

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

Constructor Details

JmcReentrantLock

public JmcReentrantLock()

JmcReentrantLock

public JmcReentrantLock(Object lockObj)

Method Details

lock

public void lock()

Acquires the lock.

unlock

public void unlock()

Releases the lock.