Package | Description |
---|---|
gov.nasa.jpf.jvm.bytecode | |
gov.nasa.jpf.vm |
Modifier and Type | Method and Description |
---|---|
static int |
MULTIANEWARRAY.allocateArray(Heap heap,
String type,
int[] dim,
ThreadInfo ti,
int d) |
Modifier and Type | Class and Description |
---|---|
class |
GenericHeap
this is an abstract root for Heap implementations, providing a standard
mark&sweep collector, change attribute management, and generic pinDownList,
weakReference and internString handling
The concrete Heap implementors have to provide the ElementInfo collection
and associated getters, allocators and iterators
|
class |
GenericSGOIDHeap
abstract Heap trait that implements SGOIDs by means of a search global
Allocation map and a state managed allocCount map
|
class |
OVHeap
a heap that implements search global object ids (SGOIDs) and uses
a simple ObjVector to store ElementInfos.
|
class |
PSIMHeap
heap implementation that uses a PersistentStagingMsbIntMap as the underlying container
This is intended for large state spaces, to minimize store/restore costs.
|
Modifier and Type | Field and Description |
---|---|
Heap |
KernelState.heap
The area containing the heap
|
Modifier and Type | Method and Description |
---|---|
Heap |
ThreadInfo.getHeap() |
Heap |
KernelState.getHeap() |
Heap |
MJIEnv.getHeap() |
Heap |
SystemState.getHeap() |
Heap |
VM.getHeap() |
Modifier and Type | Method and Description |
---|---|
Memento<Heap> |
PSIMHeap.getMemento() |
Memento<Heap> |
OVHeap.getMemento() |
abstract Memento<Heap> |
GenericHeap.getMemento() |
Memento<Heap> |
Heap.getMemento() |
Memento<Heap> |
MementoFactory.getMemento(Heap heap) |
Memento<Heap> |
DefaultMementoRestorer.getMemento(Heap heap) |
Memento<Heap> |
PSIMHeap.getMemento(MementoFactory factory) |
Memento<Heap> |
OVHeap.getMemento(MementoFactory factory) |
abstract Memento<Heap> |
GenericHeap.getMemento(MementoFactory factory) |
Memento<Heap> |
Heap.getMemento(MementoFactory factory) |
Modifier and Type | Method and Description |
---|---|
abstract FieldLockInfo |
FieldLockInfo.cleanUp(Heap heap) |
void |
OVStatics.cleanUpDanglingReferences(Heap heap) |
void |
Statics.cleanUpDanglingReferences(Heap heap) |
Memento<Heap> |
MementoFactory.getMemento(Heap heap) |
Memento<Heap> |
DefaultMementoRestorer.getMemento(Heap heap) |
void |
ClassLoaderList.markRoots(Heap heap) |
void |
ThreadList.markRoots(Heap heap) |
void |
OVStatics.markRoots(Heap heap) |
void |
Statics.markRoots(Heap heap) |
void |
NativeStackFrame.markThreadRoots(Heap heap,
int tid) |
void |
StackFrame.markThreadRoots(Heap heap,
int tid)
mark all objects reachable from local or operand stack positions containing
references.
|