dk.brics.tajs.monitoring

Class MemoryUsageDiagnosisMonitor

java.lang.Object

dk.brics.tajs.monitoring.DefaultAnalysisMonitoring

dk.brics.tajs.monitoring.MemoryUsageDiagnosisMonitor

All Implemented Interfaces:

ILatticeMonitoring, IAnalysisMonitoring, ISolverMonitoring<State,Context>

public class MemoryUsageDiagnosisMonitor
extends DefaultAnalysisMonitoring

Measures different parts of the analysis state in order to diagnose memory usage.

NB-1: performs measurements for the entire analysis state at the fix point (i.e. during scan phase) NB-2: could easily be perform similar measurements on a per-state basis.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	MemoryUsageDiagnosisMonitor.Measurements

Constructor Summary

Constructors

Constructor and Description
MemoryUsageDiagnosisMonitor()

Method Summary

Modifier and Type	Method and Description
void	setSolverInterface(GenericSolver.SolverInterface c) Sets the solver interface which will be used by the analysis.
void	show(MemoryUsageDiagnosisMonitor.Measurements measurements) Prints a description of the measurements.
void	visitBlockTransferPost(BasicBlock b, State state) Invoked immediately after processing a block transfer.
void	visitPhasePost(AnalysisPhase phase) Invoked at the end of a phase.
void	visitPhasePre(AnalysisPhase phase) Invoked at the beginning of a phase.

Methods inherited from class dk.brics.tajs.monitoring.DefaultAnalysisMonitoring

addMessage, addMessage, addMessageInfo, allowNextIteration, getMessages, getTypeInformation, visitBlockTransferPre, visitCall, visitEvalCall, visitEventHandlerRegistration, visitFunction, visitIf, visitIn, visitInnerHTMLWrite, visitInstanceof, visitIterationDone, visitJoin, visitNativeFunctionCall, visitNativeFunctionReturn, visitNewFlow, visitNewObject, visitNodeTransferPost, visitNodeTransferPre, visitPropagationPost, visitPropagationPre, visitPropertyAccess, visitPropertyRead, visitPropertyWrite, visitRead, visitReadNonThisVariable, visitReadProperty, visitReadThis, visitReadVariable, visitRecoveryGraph, visitRenameObject, visitUnknownValueResolve, visitUserFunctionCall, visitVariableAsRead, visitVariableOrProperty

Methods inherited from class java.lang.Object

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

Constructor Detail

MemoryUsageDiagnosisMonitor

public MemoryUsageDiagnosisMonitor()

Method Detail

setSolverInterface

public void setSolverInterface(GenericSolver.SolverInterface c)

Description copied from interface: IAnalysisMonitoring

Sets the solver interface which will be used by the analysis.

Specified by:

setSolverInterface in interface IAnalysisMonitoring

Overrides:

setSolverInterface in class DefaultAnalysisMonitoring

show

public void show(MemoryUsageDiagnosisMonitor.Measurements measurements)

Prints a description of the measurements.

visitBlockTransferPost

public void visitBlockTransferPost(BasicBlock b,
                                   State state)

Description copied from interface: ISolverMonitoring

Invoked immediately after processing a block transfer.

Specified by:

visitBlockTransferPost in interface ISolverMonitoring<State,Context>

Overrides:

visitBlockTransferPost in class DefaultAnalysisMonitoring

visitPhasePost

public void visitPhasePost(AnalysisPhase phase)

Description copied from interface: IAnalysisMonitoring

Invoked at the end of a phase.

Specified by:

visitPhasePost in interface IAnalysisMonitoring

Overrides:

visitPhasePost in class DefaultAnalysisMonitoring

visitPhasePre

public void visitPhasePre(AnalysisPhase phase)

Description copied from interface: IAnalysisMonitoring

Invoked at the beginning of a phase.

Specified by:

visitPhasePre in interface IAnalysisMonitoring

Overrides:

visitPhasePre in class DefaultAnalysisMonitoring