edu.unima.ky.parallel.javaparty
Class CTSemaphore

java.lang.Object
  |
  +--edu.unima.ky.parallel.javaparty.CTSemaphore

public class CTSemaphore
extends java.lang.Object

Semaphore to be used with CommunicationTask

See Also:
"CommunicationTaskSemaphore"

Field Summary
(package private)  edu.unima.ky.parallel.javaparty.CommunicationTask ct
           
(package private)  edu.unima.ky.parallel.Semaphore hsem
           
(package private)  edu.unima.ky.parallel.javaparty.LogicalTime lt
           
(package private)  java.lang.Object myid
           
(package private)  int s
           
 
Constructor Summary
CTSemaphore(edu.unima.ky.parallel.javaparty.CommunicationTask c)
           
CTSemaphore(edu.unima.ky.parallel.javaparty.CommunicationTask c, int i)
           
 
Method Summary
 void init()
           
 boolean isPositive()
          checks if RemoteSemaphore is positive
 void P()
           
 void terminate()
           
 void V()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

hsem

edu.unima.ky.parallel.Semaphore hsem

s

int s

lt

edu.unima.ky.parallel.javaparty.LogicalTime lt

ct

edu.unima.ky.parallel.javaparty.CommunicationTask ct

myid

java.lang.Object myid
Constructor Detail

CTSemaphore

public CTSemaphore(edu.unima.ky.parallel.javaparty.CommunicationTask c)

CTSemaphore

public CTSemaphore(edu.unima.ky.parallel.javaparty.CommunicationTask c,
                   int i)
Method Detail

init

public void init()

P

public void P()
       throws java.lang.InterruptedException
java.lang.InterruptedException

V

public void V()
       throws java.lang.InterruptedException
java.lang.InterruptedException

isPositive

public boolean isPositive()
checks if RemoteSemaphore is positive


terminate

public void terminate()