cz.vutbr.fit.racedetector
Class RDVariable

java.lang.Object
  extended by cz.vutbr.fit.racedetector.RDVariable
Direct Known Subclasses:
ARVariable, ERVariable

public abstract class RDVariable
extends java.lang.Object

This class is used for keeping information about program variable.

Author:
Zdenek

Field Summary
 java.util.concurrent.atomic.AtomicInteger healedByThreads
           
 java.lang.ref.WeakReference<java.lang.Object> instance
          Reference to a target program object.
 java.util.concurrent.locks.ReentrantLock raceAvoidLock
           
 java.util.concurrent.Semaphore raceAvoidSemaphore
           
protected  boolean raceDetected
           
 java.lang.String varName
          Which variable is in the atomicity section.
protected  boolean varNoiseInject
           
protected  boolean varOmited
           
 
Constructor Summary
RDVariable(java.lang.Object inst, java.lang.String name)
          Constructor
 
Method Summary
 void prepareHealing()
          Turn the healing on.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

raceDetected

protected volatile boolean raceDetected

varOmited

protected volatile boolean varOmited

varNoiseInject

protected volatile boolean varNoiseInject

raceAvoidLock

public java.util.concurrent.locks.ReentrantLock raceAvoidLock

raceAvoidSemaphore

public java.util.concurrent.Semaphore raceAvoidSemaphore

healedByThreads

public java.util.concurrent.atomic.AtomicInteger healedByThreads

varName

public final java.lang.String varName
Which variable is in the atomicity section.


instance

public final java.lang.ref.WeakReference<java.lang.Object> instance
Reference to a target program object. This weak reference is used for object identification - e.g. for human readable warnings.

Constructor Detail

RDVariable

RDVariable(java.lang.Object inst,
           java.lang.String name)
Constructor

Method Detail

prepareHealing

public void prepareHealing()
Turn the healing on.