pt.ua.concurrent
Class BinarySemaphore

java.lang.Object
  pt.ua.concurrent.CObject
      pt.ua.concurrent.Semaphore
          pt.ua.concurrent.BoundedSemaphore
              pt.ua.concurrent.BinarySemaphore

All Implemented Interfaces:

InterruptibleAwaitingThreads, SyncCV

public class BinarySemaphore
extends BoundedSemaphore

Binary semaphore class.

This class follows DbC(tm) methodology (Wikipedia). Where possible, contracts are implement with native's Java assert.

Version:

0.5, November 2011

Author:

Miguel Oliveira e Silva (mos@ua.pt)

Constructor Summary

BinarySemaphore()
Creates a binary semaphore with value 1

BinarySemaphore(int initialCount)
Creates a binary semaphore with initial value initialCount

Method Summary

Methods inherited from class pt.ua.concurrent.BoundedSemaphore

maxCount, release

Methods inherited from class pt.ua.concurrent.Semaphore

aquire

Methods inherited from class pt.ua.concurrent.CObject

await, await, await, broadcast, interruptWaitingThreads, lockIsMine, registerAwaitingThreads, signal, syncronizedLockIsMine

Methods inherited from class java.lang.Object

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

Constructor Detail

BinarySemaphore

public BinarySemaphore()

Creates a binary semaphore with value 1

BinarySemaphore

public BinarySemaphore(int initialCount)

Creates a binary semaphore with initial value initialCount

Precondition:

initialCount >= 0 && initialCount <= 1 - valid count

Parameters:

initialCount - initial value