doublelock

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 StDoubleLock
  • func GenKillAnalysis(inputFn *ssa.Function, contextLock map[*StLockingOp]bool) []*StDoubleLock
  • func UnionGenSet(newbefore map[*StLockingOp]bool, pLocking *StLockingOp) *StDoubleLock
• type StLockingOp
• type StMutex
• type StUnlockingOp

Constants

const Edited = "Edited"

const M_Lock = "M_Lock"

const M_Unlock = "M_Unlock"

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

const MaxInspectedFun int = 100000

const RW_Lock = "RW_Lock"

const RW_RLock = "RW_RLock"

const RW_RUnlock = "RW_RUnlock"

const RW_Unlock = "RW_Unlock"

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 StDoubleLock

type StDoubleLock struct {
	PLock1 *StLockingOp
	PLock2 *StLockingOp
}

func GenKillAnalysis

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

func UnionGenSet

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

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
	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
}