|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcz.vutbr.fit.racedetector.NoiseInjection
public class NoiseInjection
This class implements the noise injection based on ConTest util.Noise class. The noise is injected into places within atomic sections with intention to increase the probability of data race manifestation.
Copied from the ConTest JavaDoc of util.Noise class: Instruct the user to set the frequency parameter to zero (the strength, noise type and halt-one-thread parameters would still be consulted by the methods of this class). Similarly the user should be instructed to disable other extensions that do noise.
Field Summary | |
---|---|
static boolean |
DEBUG
|
Constructor Summary | |
---|---|
NoiseInjection(int frequency)
|
Method Summary | |
---|---|
static int |
getLocationsFromFile(java.io.BufferedReader fd)
Takes each line from the input file and tries if the line contains valid program location. |
static void |
progLocInjectNoise(java.lang.String progLocation)
Inserts with predefined probability the noise with predefined strength to the thread which calls this method if a variable is specified. |
static void |
randInjectNoise()
Inserts with predefined probability the noise with predefined strength to the thread which calls this method if a variable is specified. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final boolean DEBUG
Constructor Detail |
---|
public NoiseInjection(int frequency)
Method Detail |
---|
public static void randInjectNoise()
public static void progLocInjectNoise(java.lang.String progLocation)
public static int getLocationsFromFile(java.io.BufferedReader fd)
fd
- Given file to read from.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |