gov.nasa.jpf.listener

Class DeadlockAnalyzer

java.lang.Object

gov.nasa.jpf.ListenerAdapter

gov.nasa.jpf.listener.DeadlockAnalyzer

All Implemented Interfaces:

JPFListener, PublisherExtension, SearchListener, VMListener

public class DeadlockAnalyzer
extends ListenerAdapter

example of a listener that creates property specific traces. The interesting thing is that it does so without the need to store steps, i.e. it maintains it's own transition stack. this is still work in progress, analyzing the trace can be much more elaborate (we just dump up to a max history size for now) <2do> DeadlockAnalyzer output can be confusing if a reorganizing ThreadList is used (which reassigns thread ids)

Constructor Summary

Constructors

Constructor and Description
DeadlockAnalyzer(Config config, JPF jpf)

Method Summary

Modifier and Type	Method and Description
void	objectLocked(VM vm, ThreadInfo ti, ElementInfo ei) notify if an object lock was taken (this includes automatic surrender during a wait())
void	objectNotify(VM vm, ThreadInfo ti, ElementInfo ei) notify if an object notifies a single waiter
void	objectNotifyAll(VM vm, ThreadInfo ti, ElementInfo ei) notify if an object notifies all waiters
void	objectUnlocked(VM vm, ThreadInfo ti, ElementInfo ei) notify if an object lock was released (this includes automatic reacquisition after a notify())
void	objectWait(VM vm, ThreadInfo ti, ElementInfo ei) notify if a wait() is executed
void	publishPropertyViolation(Publisher publisher)
void	stateAdvanced(Search search) got the next state Note - this will be notified before any potential propertyViolated, in which case the currentError will be already set
void	stateBacktracked(Search search) state was backtracked one step
void	stateRestored(Search search) a previously generated state was restored (can be on a completely different path)
void	stateStored(Search search) somebody stored the state
void	threadBlocked(VM vm, ThreadInfo ti, ElementInfo ei) thread waits to acquire a lock // NOTE: vm.getLastThreadInfo() does NOT have to be the running thread, as this // notification can occur as a result of a lock operation in the current thread
void	threadStarted(VM vm, ThreadInfo ti) new Thread entered run() method
void	threadTerminated(VM vm, ThreadInfo ti) Thread exited run() method

Methods inherited from class gov.nasa.jpf.ListenerAdapter

choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, classLoaded, exceptionBailout, exceptionHandled, exceptionThrown, executeInstruction, gcBegin, gcEnd, instructionExecuted, loadClass, methodEntered, methodExited, objectCreated, objectExposed, objectReleased, objectShared, propertyViolated, publishConstraintHit, publishFinished, publishProbe, publishStart, publishTransition, searchConstraintHit, searchFinished, searchProbed, searchStarted, stateProcessed, statePurged, threadInterrupted, threadNotified, threadScheduled, threadWaiting, vmInitialized

Methods inherited from class java.lang.Object

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

Constructor Detail

DeadlockAnalyzer

public DeadlockAnalyzer(Config config,
                        JPF jpf)

Method Detail

objectLocked

public void objectLocked(VM vm,
                         ThreadInfo ti,
                         ElementInfo ei)

Description copied from interface: VMListener

notify if an object lock was taken (this includes automatic surrender during a wait())

Specified by:

objectLocked in interface VMListener

Overrides:

objectLocked in class ListenerAdapter

objectUnlocked

public void objectUnlocked(VM vm,
                           ThreadInfo ti,
                           ElementInfo ei)

Description copied from interface: VMListener

notify if an object lock was released (this includes automatic reacquisition after a notify())

Specified by:

objectUnlocked in interface VMListener

Overrides:

objectUnlocked in class ListenerAdapter

objectWait

public void objectWait(VM vm,
                       ThreadInfo ti,
                       ElementInfo ei)

Description copied from interface: VMListener

notify if a wait() is executed

Specified by:

objectWait in interface VMListener

Overrides:

objectWait in class ListenerAdapter

objectNotify

public void objectNotify(VM vm,
                         ThreadInfo ti,
                         ElementInfo ei)

Description copied from interface: VMListener

notify if an object notifies a single waiter

Specified by:

objectNotify in interface VMListener

Overrides:

objectNotify in class ListenerAdapter

objectNotifyAll

public void objectNotifyAll(VM vm,
                            ThreadInfo ti,
                            ElementInfo ei)

Description copied from interface: VMListener

notify if an object notifies all waiters

Specified by:

objectNotifyAll in interface VMListener

Overrides:

objectNotifyAll in class ListenerAdapter

threadBlocked

public void threadBlocked(VM vm,
                          ThreadInfo ti,
                          ElementInfo ei)

Description copied from interface: VMListener

thread waits to acquire a lock // NOTE: vm.getLastThreadInfo() does NOT have to be the running thread, as this // notification can occur as a result of a lock operation in the current thread

Specified by:

threadBlocked in interface VMListener

Overrides:

threadBlocked in class ListenerAdapter

threadStarted

public void threadStarted(VM vm,
                          ThreadInfo ti)

Description copied from interface: VMListener

new Thread entered run() method

Specified by:

threadStarted in interface VMListener

Overrides:

threadStarted in class ListenerAdapter

threadTerminated

public void threadTerminated(VM vm,
                             ThreadInfo ti)

Description copied from interface: VMListener

Thread exited run() method

Specified by:

threadTerminated in interface VMListener

Overrides:

threadTerminated in class ListenerAdapter

stateAdvanced

public void stateAdvanced(Search search)

Description copied from interface: SearchListener

got the next state Note - this will be notified before any potential propertyViolated, in which case the currentError will be already set

Specified by:

stateAdvanced in interface SearchListener

Overrides:

stateAdvanced in class ListenerAdapter

stateBacktracked

public void stateBacktracked(Search search)

Description copied from interface: SearchListener

state was backtracked one step

Specified by:

stateBacktracked in interface SearchListener

Overrides:

stateBacktracked in class ListenerAdapter

stateStored

public void stateStored(Search search)

Description copied from interface: SearchListener

somebody stored the state

Specified by:

stateStored in interface SearchListener

Overrides:

stateStored in class ListenerAdapter

stateRestored

public void stateRestored(Search search)

Description copied from interface: SearchListener

a previously generated state was restored (can be on a completely different path)

Specified by:

stateRestored in interface SearchListener

Overrides:

stateRestored in class ListenerAdapter

publishPropertyViolation

public void publishPropertyViolation(Publisher publisher)

Specified by:

publishPropertyViolation in interface PublisherExtension

Overrides:

publishPropertyViolation in class ListenerAdapter