gov.nasa.jpf.vm.serialize

Class AdaptiveSerializer

java.lang.Object

gov.nasa.jpf.vm.AbstractSerializer

gov.nasa.jpf.vm.serialize.FilteringSerializer

gov.nasa.jpf.vm.serialize.CFSerializer

gov.nasa.jpf.vm.serialize.AdaptiveSerializer

All Implemented Interfaces:

Processor<ElementInfo>, KernelState.ChangeListener, ReferenceProcessor, StateSerializer

public class AdaptiveSerializer
extends CFSerializer

a CG type adaptive, canonicalizing & filtering serializer that is an under-approximation mostly aimed at finding data races and deadlocks in programs with a large number of scheduling points (= thread choices) This came to bear by accidentally discovering that JPF often seems to finds concurrency defects by just serializing the thread states, their topmost stack frames and the objects directly referenced from there. For non-scheduling points, we just fall back to serializing statics, all thread stacks and all the data reachable from there

Field Summary

Fields inherited from class gov.nasa.jpf.vm.serialize.FilteringSerializer

buf, filter, refQueue

Fields inherited from class gov.nasa.jpf.vm.AbstractSerializer

cached, ks, nativeStateHolders, vm

Constructor Summary

Constructors

Constructor and Description
AdaptiveSerializer()

Method Summary

Modifier and Type	Method and Description
protected void	initReferenceQueue()
protected void	processReferenceQueue()
protected void	queueReference(ElementInfo ei)
protected void	serializeClassLoaders()

Methods inherited from class gov.nasa.jpf.vm.serialize.CFSerializer

getSerializedReferenceValue, processReference, serializeFrame, serializeStackFrames

Methods inherited from class gov.nasa.jpf.vm.serialize.FilteringSerializer

attach, computeStoringData, dumpData, getFramePolicy, getInstanceFilterMask, getInstanceRefMask, getStaticFilterMask, getStaticRefMask, process, processArrayFields, processNamedFields, serializeClass, serializeLockedObjects, serializeNativeStateHolder, serializeNativeStateHolders, serializeStackFrames, serializeStatics, serializeThreadState, serializeThreadStates

Methods inherited from class gov.nasa.jpf.vm.AbstractSerializer

addNativeStateHolder, getCurrentStateVectorLength, getStoringData, kernelStateChanged

Methods inherited from class java.lang.Object

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

Constructor Detail

AdaptiveSerializer

public AdaptiveSerializer()

Method Detail

initReferenceQueue

protected void initReferenceQueue()

Overrides:

initReferenceQueue in class CFSerializer

queueReference

protected void queueReference(ElementInfo ei)

Overrides:

queueReference in class CFSerializer

processReferenceQueue

protected void processReferenceQueue()

Overrides:

processReferenceQueue in class CFSerializer

serializeClassLoaders

protected void serializeClassLoaders()

Overrides:

serializeClassLoaders in class FilteringSerializer