public class DeadlockDetector extends Object
Constructor and Description |
---|
DeadlockDetector(boolean optionPrintDebug,
boolean optionRepairDeadlock,
boolean optionAllowSelfEdges,
List<soot.jimple.toolkits.thread.synchronization.CriticalSection> criticalSections) |
Modifier and Type | Method and Description |
---|---|
MutableDirectedGraph<soot.jimple.toolkits.thread.synchronization.CriticalSectionGroup> |
detectComponentBasedDeadlock() |
MutableEdgeLabelledDirectedGraph |
detectLocksetDeadlock(Map<Value,Integer> lockToLockNum,
List<PointsToSetInternal> lockPTSets) |
void |
reorderLocksets(Map<Value,Integer> lockToLockNum,
MutableEdgeLabelledDirectedGraph lockOrder) |
public DeadlockDetector(boolean optionPrintDebug, boolean optionRepairDeadlock, boolean optionAllowSelfEdges, List<soot.jimple.toolkits.thread.synchronization.CriticalSection> criticalSections)
public MutableDirectedGraph<soot.jimple.toolkits.thread.synchronization.CriticalSectionGroup> detectComponentBasedDeadlock()
public MutableEdgeLabelledDirectedGraph detectLocksetDeadlock(Map<Value,Integer> lockToLockNum, List<PointsToSetInternal> lockPTSets)
public void reorderLocksets(Map<Value,Integer> lockToLockNum, MutableEdgeLabelledDirectedGraph lockOrder)