Documentation ¶
Index ¶
- Constants
- Variables
- func AddEvent(pre, post *util.Item)
- func Alternative(op, alt string)
- func FreeCounter()
- func MissingEdge()
- func Race(op1, op2 *util.Operation, importance Level)
- func Race2(loc1, loc2 Location, importance Level)
- func Race3(first, second *util.Item, importance Level)
- func Race4(loc1, loc2 Location, importance Level)
- func RaceStatistics(loc1, loc2 Location, isWrRdDep bool)
- func RaceStatistics2(loc1, loc2 Location, isWrRdDep bool, level int) bool
- func RaceStatistics2Dry(loc1, loc2 Location, isWrRdDep bool, level int) bool
- func ReportAlts()
- func ReportNumbers()
- func ReportRead()
- func ReportWrite()
- func Reset()
- func SelectAlternative(sel, op string)
- type DataRace
- type Level
- type Location
Constants ¶
View Source
const ( SEVERE = iota << 1 NORMAL = iota << 1 LOW = iota << 1 )
Variables ¶
View Source
var EventsList map[uint32][]eventPair
View Source
var Nocount = false
View Source
var TestFlag bool
View Source
var TestFunc func(Location, Location, Level)
View Source
var UniqueDataRaces []DataRace
View Source
var XXreadReadRace uint64
View Source
var XXreadWriteRace uint64
View Source
var XXwriteReadRace uint64
View Source
var XXwriteWriteRace uint64
Functions ¶
func Alternative ¶
func Alternative(op, alt string)
func FreeCounter ¶
func FreeCounter()
func MissingEdge ¶
func MissingEdge()
func RaceStatistics ¶
func RaceStatistics2 ¶
loc1 = prev access, loc2 = current access
func RaceStatistics2Dry ¶
func ReportAlts ¶
func ReportAlts()
func ReportNumbers ¶
func ReportNumbers()
func ReportRead ¶
func ReportRead()
func ReportWrite ¶
func ReportWrite()
func SelectAlternative ¶
func SelectAlternative(sel, op string)
Types ¶
Click to show internal directories.
Click to hide internal directories.