cz.vutbr.fit.racedetector
Enum RaceDetector.HealingMethod
java.lang.Object
java.lang.Enum<RaceDetector.HealingMethod>
cz.vutbr.fit.racedetector.RaceDetector.HealingMethod
- All Implemented Interfaces:
- java.io.Serializable, java.lang.Comparable<RaceDetector.HealingMethod>
- Enclosing class:
- RaceDetector
public static enum RaceDetector.HealingMethod
- extends java.lang.Enum<RaceDetector.HealingMethod>
Methods of healing:
- THREADS - Method based on the utilization of other processors (cores)
in the system.
- YELD - The method try to influence scheduler by
calling yield before thread enters the critical section which
should be executed atomicaly. Threfore the thread should receive a new
full window which should be used for the problematic operation.
-
PRIORITY - 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.
- YELDPRIORITY - 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.
- YIELDTHREADS - Method based on the utilization of other
processors (cores) in the system. It starts threads and call yield
to enable them to start.
- NEWMUTEX - Healing method which uses a new
explicit lock to guard the variable. A lock si obtained every time the
variable is accessed. The healing is based on the idea that lock is not
released within the critical sections which should be done atomicaly
-
OTYIELD - 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.
- OTWAIT - 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.
- OTSTRONGYIELD - Healing method that simulates explicit
locks without using java.util.concurrent.
Methods inherited from class java.lang.Enum |
clone, compareTo, equals, getDeclaringClass, hashCode, name, ordinal, toString, valueOf |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
THREADS
public static final RaceDetector.HealingMethod THREADS
YIELD
public static final RaceDetector.HealingMethod YIELD
PRIORITY
public static final RaceDetector.HealingMethod PRIORITY
YIELDPRIORITY
public static final RaceDetector.HealingMethod YIELDPRIORITY
YIELDTHREADS
public static final RaceDetector.HealingMethod YIELDTHREADS
NEWMUTEX
public static final RaceDetector.HealingMethod NEWMUTEX
SEMAPHORE
public static final RaceDetector.HealingMethod SEMAPHORE
OTYIELD
public static final RaceDetector.HealingMethod OTYIELD
OTWAIT
public static final RaceDetector.HealingMethod OTWAIT
OTSTRONGYIELD
public static final RaceDetector.HealingMethod OTSTRONGYIELD
values
public static final RaceDetector.HealingMethod[] values()
- Returns an array containing the constants of this enum type, in
the order they're declared. This method may be used to iterate
over the constants as follows:
for(RaceDetector.HealingMethod c : RaceDetector.HealingMethod.values())
System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in
the order they're declared
valueOf
public static RaceDetector.HealingMethod valueOf(java.lang.String name)
- Returns the enum constant of this type with the specified name.
The string must match exactly an identifier used to declare an
enum constant in this type. (Extraneous whitespace characters are
not permitted.)
- Parameters:
name
- the name of the enum constant to be returned.
- Returns:
- the enum constant with the specified name
- Throws:
java.lang.IllegalArgumentException
- if this enum type has no constant
with the specified name