soot.jimple.toolkits.thread.synchronization
Class DeadlockDetector

java.lang.Object
  extended by soot.jimple.toolkits.thread.synchronization.DeadlockDetector

public class DeadlockDetector
extends Object


Constructor Summary
DeadlockDetector(boolean optionPrintDebug, boolean optionRepairDeadlock, boolean optionAllowSelfEdges, List<soot.jimple.toolkits.thread.synchronization.CriticalSection> criticalSections)
           
 
Method Summary
 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)
           
 
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,
                        List<soot.jimple.toolkits.thread.synchronization.CriticalSection> criticalSections)
Method Detail

detectComponentBasedDeadlock

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

detectLocksetDeadlock

public MutableEdgeLabelledDirectedGraph detectLocksetDeadlock(Map<Value,Integer> lockToLockNum,
                                                              List<PointsToSetInternal> lockPTSets)

reorderLocksets

public void reorderLocksets(Map<Value,Integer> lockToLockNum,
                            MutableEdgeLabelledDirectedGraph lockOrder)