conflictinglock

Documentation

Index

• Constants
• Variables
• func CompareTwoMaps(map1 map[*StLockingOp]bool, map2 map[*StLockingOp]bool) bool
• func Detect()
• func GetLiveMutex(inputInst ssa.Instruction) map[*StLockingOp]bool
• func InitBeforeAfterMap(inputFn *ssa.Function, contextLock map[*StLockingOp]bool)
• func InitGenKillMap(inputFn *ssa.Function)
• func Initialize()
• func KillKillSet(newbefore map[*StLockingOp]bool, pUnlocking *StUnlockingOp)
• type StLockPair
  • func GenKillAnalysis(inputFn *ssa.Function, contextLock map[*StLockingOp]bool) []*StLockPair
  • func MergePairVec(v1 []*StLockPair, v2 []*StLockPair) []*StLockPair
  • func UnionGenSet(newbefore map[*StLockingOp]bool, pLocking *StLockingOp) []*StLockPair
• type StLockingOp
• type StMutex
• type StUnlockingOp

Constants

const Edited = "Edited"

const MaxCallChainDepth int = 6 // Be careful: Algorithm complexity: e^n, n = C5_call_chain_layer

const MaxInspectedFun int = 100000

const Unknown = "Unknown"

Variables

var AnalyzedFNs map[string]bool

var MapMutex map[string]*StMutex

var VecFNsWithLocking []*ssa.Function

Functions

func CompareTwoMaps

func CompareTwoMaps(map1 map[*StLockingOp]bool, map2 map[*StLockingOp]bool) bool

func Detect

func Detect()

func GetLiveMutex

func GetLiveMutex(inputInst ssa.Instruction) map[*StLockingOp]bool

func InitBeforeAfterMap

func InitBeforeAfterMap(inputFn *ssa.Function, contextLock map[*StLockingOp]bool)

func InitGenKillMap

func InitGenKillMap(inputFn *ssa.Function)

func Initialize

func Initialize()

func KillKillSet

func KillKillSet(newbefore map[*StLockingOp]bool, pUnlocking *StUnlockingOp)

Types

type StLockPair

type StLockPair struct {
	PLock1      *StLockingOp
	PLock2      *StLockingOp
	CallChainID int
}

func GenKillAnalysis

func GenKillAnalysis(inputFn *ssa.Function, contextLock map[*StLockingOp]bool) []*StLockPair

func MergePairVec

func MergePairVec(v1 []*StLockPair, v2 []*StLockPair) []*StLockPair

func UnionGenSet

func UnionGenSet(newbefore map[*StLockingOp]bool, pLocking *StLockingOp) []*StLockPair

type StLockingOp

type StLockingOp struct {
	StrName  string
	I        ssa.Instruction
	IsRWLock bool
	IsDefer  bool

	Parent *StMutex

	StrFileName string
	NumLine     int
}

type StMutex

type StMutex struct {
	StrName           string
	StrType           string
	StrBastStructType string
	MapLockingOps     map[ssa.Instruction]*StLockingOp
	MapUnlockingOps   map[ssa.Instruction]*StUnlockingOp
	Pkg               string // Don't use *ssa.Package here! It's not reliable

	StrStatus string
}

type StUnlockingOp

type StUnlockingOp struct {
	StrName  string
	I        ssa.Instruction
	IsRWLock bool
	IsDefer  bool

	Parent *StMutex
}