activemq-cpp-3.6.0
decaf::util::concurrent::locks::LockSupport Class Reference

Basic thread blocking primitives for creating locks and other synchronization classes. More...

#include <src/main/decaf/util/concurrent/locks/LockSupport.h>

Public Member Functions

 ~LockSupport ()

Static Public Member Functions

static void unpark (decaf::lang::Thread *thread)
 Makes available the permit for the given thread, if it was not already available.
static void park ()
 Disables the current thread for thread scheduling purposes unless the permit is available.
static void parkNanos (long long nanos)
 Disables the current thread for thread scheduling purposes, for up to the specified waiting time, unless the permit is available.
static void parkUntil (long long deadline)
 Disables the current thread for thread scheduling purposes, until the specified deadline, unless the permit is available.

Detailed Description

Basic thread blocking primitives for creating locks and other synchronization classes.

This class associates, with each thread that uses it, a permit (in the sense of the Semaphore class). A call to park will return immediately if the permit is available, consuming it in the process; otherwise it may block. A call to unpark makes the permit available, if it was not already available. (Unlike with Semaphores though, permits do not accumulate. There is at most one.)

Methods park and unpark provide efficient means of blocking and unblocking threads Races between one thread invoking park and another thread trying to unpark it will preserve liveness, due to the permit. Additionally, park will return if the caller's thread was interrupted, and timeout versions are supported. The park method may also return at any other time, for "no reason", so in general must be invoked within a loop that rechecks conditions upon return. In this sense park serves as an optimization of a "busy wait" that does not waste as much time spinning, but must be paired with an unpark to be effective.

These methods are designed to be used as tools for creating higher-level synchronization utilities, and are not in themselves useful for most concurrency control applications. The park method is designed for use only in constructions of the form:

while (!canProceed()) { ... LockSupport.park(this); }

where neither canProceed nor any other actions prior to the call to park entail locking or blocking. Because only one permit is associated with each thread, any intermediary uses of park could interfere with its intended effects.

Sample Usage. Here is a sketch of a first-in-first-out non-reentrant lock class:

class FIFOMutex { private:

AtomicBoolean locked; ConcurrentLinkedQueue<Thread*> waiters;

public:

void lock() {

bool wasInterrupted = false; Thread* current = Thread::currentThread(); waiters.add( current );

// Block while not first in queue or cannot acquire lock while( waiters.peek() != current || !locked.compareAndSet( false, true ) ) {

LockSupport.park(this); if( Thread::interrupted() ) // ignore interrupts while waiting wasInterrupted = true; }

waiters.remove(); if( wasInterrupted ) // reassert interrupt status on exit current.interrupt(); }

void unlock() { locked.set( false ); LockSupport.unpark( waiters.peek() ); } };

Since
1.0

Constructor & Destructor Documentation

decaf::util::concurrent::locks::LockSupport::~LockSupport ( )

Member Function Documentation

static void decaf::util::concurrent::locks::LockSupport::park ( )
static

Disables the current thread for thread scheduling purposes unless the permit is available.

If the permit is available then it is consumed and the call returns immediately; otherwise the current thread becomes disabled for thread scheduling purposes and lies dormant until one of three things happens:

  • Some other thread invokes unpark with the current thread as the target; or
  • Some other thread interrupts the current thread; or
  • The call spuriously (that is, for no reason) returns.

This method does not report which of these caused the method to return. Callers should re-check the conditions which caused the thread to park in the first place. Callers may also determine, for example, the interrupt status of the thread upon return.

static void decaf::util::concurrent::locks::LockSupport::parkNanos ( long long  nanos)
static

Disables the current thread for thread scheduling purposes, for up to the specified waiting time, unless the permit is available.

If the permit is available then it is consumed and the call returns immediately; otherwise the current thread becomes disabled for thread scheduling purposes and lies dormant until one of four things happens:

  • Some other thread invokes unpark with the current thread as the target; or
  • Some other thread interrupts the current thread; or
  • The specified waiting time elapses; or
  • The call spuriously (that is, for no reason) returns.

This method does not report which of these caused the method to return. Callers should re-check the conditions which caused the thread to park in the first place. Callers may also determine, for example, the interrupt status of the thread, or the elapsed time upon return.

Parameters
nanosthe maximum number of nanoseconds to wait
static void decaf::util::concurrent::locks::LockSupport::parkUntil ( long long  deadline)
static

Disables the current thread for thread scheduling purposes, until the specified deadline, unless the permit is available.

If the permit is available then it is consumed and the call returns immediately; otherwise the current thread becomes disabled for thread scheduling purposes and lies dormant until one of four things happens:

  • Some other thread invokes unpark with the current thread as the target; or
  • Some other thread interrupts the current thread; or
  • The specified deadline passes; or
  • The call spuriously (that is, for no reason) returns.

This method does not report which of these caused the method to return. Callers should re-check the conditions which caused the thread to park in the first place. Callers may also determine, for example, the interrupt status of the thread, or the current time upon return.

Parameters
deadlinethe absolute time, in milliseconds from the Epoch, to wait until
static void decaf::util::concurrent::locks::LockSupport::unpark ( decaf::lang::Thread thread)
static

Makes available the permit for the given thread, if it was not already available.

If the thread was blocked on park then it will unblock. Otherwise, its next call to park is guaranteed not to block. This operation is not guaranteed to have any effect at all if the given thread has not been started.

Parameters
threadthe thread to unport, or NULL in which case the method has no effect.

The documentation for this class was generated from the following file: