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

Modifier and Type	Method and Description
MutableDirectedGraph<soot.jimple.toolkits.thread.synchronization.CriticalSectionGroup>	detectComponentBasedDeadlock()
MutableEdgeLabelledDirectedGraph<java.lang.Integer,soot.jimple.toolkits.thread.synchronization.CriticalSection>	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<java.lang.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,
                        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<java.lang.Integer,soot.jimple.toolkits.thread.synchronization.CriticalSection> 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<java.lang.Integer,soot.jimple.toolkits.thread.synchronization.CriticalSection> lockOrder)