gov.nasa.jpf.vm

Class GenericSGOIDHeap

java.lang.Object

gov.nasa.jpf.vm.GenericHeap

gov.nasa.jpf.vm.GenericSGOIDHeap

All Implemented Interfaces:

Heap, java.lang.Iterable<ElementInfo>

Direct Known Subclasses:

OVHeap, PSIMHeap

public abstract class GenericSGOIDHeap
extends GenericHeap

abstract Heap trait that implements SGOIDs by means of a search global Allocation map and a state managed allocCount map NOTE - a reference value of 0 represents null and therefore is not a valid SGOID

Nested Class Summary

Nested classes/interfaces inherited from class gov.nasa.jpf.vm.GenericHeap

GenericHeap.ElementInfoMarker

Field Summary

Fields

Modifier and Type	Field and Description
protected IntTable<AllocationContext>	allocCounts
protected int	nextSgoid
protected IntTable<Allocation>	sgoids

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

attributes, elementInfoMarker, internStringsMap, liveBitValue, markQueue, nLiveObjects, pinDownList, vm, weakRefs

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	GenericSGOIDHeap(Config config, KernelState ks)

Method Summary

Modifier and Type	Method and Description
protected int	getNewElementInfoIndex(AllocationContext ctx) this is called for newXX(..) allocations that are SUT thread specific, i.e.
protected AllocationContext	getSUTAllocationContext(ClassInfo ci, ThreadInfo ti)
protected AllocationContext	getSystemAllocationContext(ClassInfo ci, ThreadInfo ti, int anchor)
protected void	initAllocationContext(Config config)

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

addToInternStrings, addToPinDownList, checkConsistency, cleanUpDanglingReferences, cleanupWeakRefs, createArray, createElementInfo, createObject, gc, get, getArrayClassInfo, getMemento, getMemento, getModifiable, hasChanged, initializeStringObject, isAlive, isGcEnabled, isOutOfMemory, iterator, liveObjects, mark, markChanged, markFinalizableObjects, markStaticRoot, markThreadRoot, newArray, newInternString, newObject, newString, newString, newSystemArray, newSystemObject, newSystemString, newSystemThrowable, queueMark, registerPinDown, registerWeakReference, releasePinDown, remove, removeFromPinDownList, resetVolatiles, restoreVolatiles, set, setGcEnabled, setOutOfMemory, setStored, sweep, unmarkAll

Methods inherited from class java.lang.Object

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

Methods inherited from interface gov.nasa.jpf.vm.Heap

size

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

nextSgoid

protected int nextSgoid

sgoids

protected IntTable<Allocation> sgoids

allocCounts

protected IntTable<AllocationContext> allocCounts

Constructor Detail

GenericSGOIDHeap

protected GenericSGOIDHeap(Config config,
                           KernelState ks)

Method Detail

initAllocationContext

protected void initAllocationContext(Config config)

getSUTAllocationContext

protected AllocationContext getSUTAllocationContext(ClassInfo ci,
                                                    ThreadInfo ti)

Specified by:

getSUTAllocationContext in class GenericHeap

getSystemAllocationContext

protected AllocationContext getSystemAllocationContext(ClassInfo ci,
                                                       ThreadInfo ti,
                                                       int anchor)

Specified by:

getSystemAllocationContext in class GenericHeap

getNewElementInfoIndex

protected int getNewElementInfoIndex(AllocationContext ctx)

Description copied from class: GenericHeap

this is called for newXX(..) allocations that are SUT thread specific, i.e. in response to a explicit NEW or xNEWARRAY instruction that should take the allocating thread into account

Specified by:

getNewElementInfoIndex in class GenericHeap