soot.jimple.toolkits.thread.synchronization

Class DeadlockDetector

java.lang.Object

soot.jimple.toolkits.thread.synchronization.DeadlockDetector

public class DeadlockDetector
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DeadlockDetector(boolean optionPrintDebug, boolean optionRepairDeadlock, boolean optionAllowSelfEdges, java.util.List<soot.jimple.toolkits.thread.synchronization.CriticalSection> criticalSections)

Method Summary

Methods

Modifier and Type	Method and Description
MutableDirectedGraph<soot.jimple.toolkits.thread.synchronization.CriticalSectionGroup>	detectComponentBasedDeadlock()
MutableEdgeLabelledDirectedGraph	detectLocksetDeadlock(java.util.Map<Value,java.lang.Integer> lockToLockNum, java.util.List<PointsToSetInternal> lockPTSets)
void	reorderLocksets(java.util.Map<Value,java.lang.Integer> lockToLockNum, MutableEdgeLabelledDirectedGraph lockOrder)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DeadlockDetector

public DeadlockDetector(boolean optionPrintDebug,
                boolean optionRepairDeadlock,
                boolean optionAllowSelfEdges,
                java.util.List<soot.jimple.toolkits.thread.synchronization.CriticalSection> criticalSections)

Method Detail

detectComponentBasedDeadlock

public MutableDirectedGraph<soot.jimple.toolkits.thread.synchronization.CriticalSectionGroup> detectComponentBasedDeadlock()

detectLocksetDeadlock

public MutableEdgeLabelledDirectedGraph detectLocksetDeadlock(java.util.Map<Value,java.lang.Integer> lockToLockNum,
                                                     java.util.List<PointsToSetInternal> lockPTSets)

reorderLocksets

public void reorderLocksets(java.util.Map<Value,java.lang.Integer> lockToLockNum,
                   MutableEdgeLabelledDirectedGraph lockOrder)