Package soot.jimple.toolkits.thread.synchronization

Class DeadlockDetector

java.lang.Object

soot.jimple.toolkits.thread.synchronization.DeadlockDetector

public class DeadlockDetector
extends Object

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
MutableDirectedGraph<soot.jimple.toolkits.thread.synchronization.CriticalSectionGroup>	detectComponentBasedDeadlock()
MutableEdgeLabelledDirectedGraph<Integer,soot.jimple.toolkits.thread.synchronization.CriticalSection>	detectLocksetDeadlock(Map<Value,Integer> lockToLockNum, List<PointsToSetInternal> lockPTSets)
void	reorderLocksets(Map<Value,Integer> lockToLockNum, MutableEdgeLabelledDirectedGraph<Integer,soot.jimple.toolkits.thread.synchronization.CriticalSection> 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<Integer,soot.jimple.toolkits.thread.synchronization.CriticalSection> detectLocksetDeadlock(Map<Value,Integer> lockToLockNum,
                                                                                                                                         List<PointsToSetInternal> lockPTSets)

reorderLocksets

public void reorderLocksets(Map<Value,Integer> lockToLockNum,
                            MutableEdgeLabelledDirectedGraph<Integer,soot.jimple.toolkits.thread.synchronization.CriticalSection> lockOrder)