A B C D E F G H I J L M N O P Q R S T U V W

H

hashCode() - Method in class cz.vutbr.fit.racedetector.Access
Returns hashCode of this Object which is actually the hash code of the program location.
hashCode() - Method in class cz.vutbr.fit.racedetector.ARInfo
Returns hashCode of this Object which is actually the hash code of the program location.
hashCode() - Method in class cz.vutbr.fit.racedetector.ARInfo.ProblemAccess
Returns hashCode of this Object which is actually the hash code of the program location and thread.
HEAL_VARIABLES - Static variable in class cz.vutbr.fit.racedetector.RaceDetector
Enable the usage of a list of variables that should be healed from the beginning.
healedByThreads - Variable in class cz.vutbr.fit.racedetector.RDVariable
 
Healing - Class in cz.vutbr.fit.healing
Abstract class defines the interface for healing methods implemented in Healing* classes.
Healing() - Constructor for class cz.vutbr.fit.healing.Healing
 
HEALING - Static variable in class cz.vutbr.fit.racedetector.RaceDetector
Enable the healing feature.
healing - Variable in class cz.vutbr.fit.racedetector.RDThread
 
HEALING_METHOD - Static variable in class cz.vutbr.fit.racedetector.RaceDetector
Method that is used to heal the Race.
HealingDummyThread - Class in cz.vutbr.fit.healing
This class implements dummy threads which are started on the machines with more processors (cores) to utilize them except one devoted for thread in the critical section.
HealingDummyThread() - Constructor for class cz.vutbr.fit.healing.HealingDummyThread
 
HealingNewMutex - Class in cz.vutbr.fit.healing
Healing method which uses a new explicit lock to guard the variable.
HealingNewMutex() - Constructor for class cz.vutbr.fit.healing.HealingNewMutex
 
HealingOTWait - Class in cz.vutbr.fit.healing
Healing method that uses wait called on the threads trying to access the variable while another trhead is inside a critical section that should be executed atomicaly.
HealingOTWait() - Constructor for class cz.vutbr.fit.healing.HealingOTWait
 
HealingOTYield - Class in cz.vutbr.fit.healing
Healing method that uses yield called on the threads trying to access the variable while another trhead is inside a critical section that should be executed atomicaly.
HealingOTYield() - Constructor for class cz.vutbr.fit.healing.HealingOTYield
 
HealingPriority - Class in cz.vutbr.fit.healing
Method that influences scheduler by the increasing the priority of the thread entering critical section to maximum and take it back when the thread leaves the section.
HealingPriority() - Constructor for class cz.vutbr.fit.healing.HealingPriority
 
HealingSemaphore - Class in cz.vutbr.fit.healing
Healing method which uses a new semaphore to guard the variable.
HealingSemaphore() - Constructor for class cz.vutbr.fit.healing.HealingSemaphore
 
HealingThreads - Class in cz.vutbr.fit.healing
Method based on the utilization of other processors (cores) in the system.
HealingThreads() - Constructor for class cz.vutbr.fit.healing.HealingThreads
 
HealingYield - Class in cz.vutbr.fit.healing
The method try to influence scheduler by calling yield before thread enters the critical section which should be executed atomicaly.
HealingYield() - Constructor for class cz.vutbr.fit.healing.HealingYield
 
HealingYieldPriority - Class in cz.vutbr.fit.healing
Method that influences scheduler by the increasing the priority of the thread entering critical section to maximum, call yield to receive full window from scheduler and take it back when the thread leaves the section.
HealingYieldPriority() - Constructor for class cz.vutbr.fit.healing.HealingYieldPriority
 
HealingYieldThreads - Class in cz.vutbr.fit.healing
Method based on the utilization of other processors (cores) in the system.
HealingYieldThreads() - Constructor for class cz.vutbr.fit.healing.HealingYieldThreads
 
HEALVAR_FILE - Static variable in class cz.vutbr.fit.racedetector.RaceDetector
file from which the variables which should be healed immediately are loaded
healVariables - Static variable in class cz.vutbr.fit.racedetector.RDVariableCollection
Set of variables that should not be analysed.

A B C D E F G H I J L M N O P Q R S T U V W