report

package

v0.0.0-...-8af4678 Latest Latest Go to latest Published: Aug 22, 2019 License: MIT Imports: 6 Imported by: 0

Details

Valid go.mod file

The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license

Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version

Modules with tagged versions give importers more predictable builds.
Stable version

When a project reaches major version v1 it is considered stable.
Learn more about best practices

Repository

github.com/kaista/shbee

Links

Open Source Insights

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 AddEvent ¶

func AddEvent(pre, post *util.Item)

func Alternative ¶

func Alternative(op, alt string)

func FreeCounter ¶

func FreeCounter()

func MissingEdge ¶

func MissingEdge()

func Race ¶

func Race(op1, op2 *util.Operation, importance Level)

func Race2 ¶

func Race2(loc1, loc2 Location, importance Level)

func Race3 ¶

func Race3(first, second *util.Item, importance Level)

func Race4 ¶

func Race4(loc1, loc2 Location, importance Level)

func RaceStatistics ¶

func RaceStatistics(loc1, loc2 Location, isWrRdDep bool)

func RaceStatistics2 ¶

func RaceStatistics2(loc1, loc2 Location, isWrRdDep bool, level int) bool

loc1 = prev access, loc2 = current access

func RaceStatistics2Dry ¶

func RaceStatistics2Dry(loc1, loc2 Location, isWrRdDep bool, level int) bool

func ReportAlts ¶

func ReportAlts()

func ReportNumbers ¶

func ReportNumbers()

func ReportRead ¶

func ReportRead()

func ReportWrite ¶

func ReportWrite()

func Reset ¶

func Reset()

func SelectAlternative ¶

func SelectAlternative(sel, op string)

Types ¶

type DataRace ¶

type DataRace struct {
	A *util.Item
	B *util.Item
}

type Level ¶

type Level int

type Location ¶

type Location struct {
	File uint32
	Line uint32
	W    bool
}

Source Files ¶

View all Source files

reporter.go

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL