harpoon.Analysis.PointerAnalysis
Class MyAP
java.lang.Object
harpoon.Analysis.PointerAnalysis.MyAP
- All Implemented Interfaces:
- AllocationInformation.AllocationProperties, Serializable, Cloneable
public class MyAP
- extends Object
- implements AllocationInformation.AllocationProperties, Serializable, Cloneable
MyAP is my own implementation for the
AllocationProperties.
- Version:
- $Id: MyAP.java,v 1.6 2003/03/03 23:41:45 salcianu Exp $
- Author:
- Alexandru SALCIANU <salcianu@retezat.lcs.mit.edu>
- See Also:
- Serialized Form
hip
public boolean hip
sa
public boolean sa
ta
public boolean ta
uoh
public boolean uoh
mh
public boolean mh
ns
public boolean ns
ah
public Temp ah
MyAP
public MyAP(HClass actualClass)
- Creates a
MyAP.
hasInteriorPointers
public boolean hasInteriorPointers()
- Specified by:
hasInteriorPointers in interface AllocationInformation.AllocationProperties
- Returns:
true if the object allocated at this
site has interior pointers; that is, it is not a primitive
array, and some field in the allocated object is not primitive.
canBeStackAllocated
public boolean canBeStackAllocated()
- Specified by:
canBeStackAllocated in interface AllocationInformation.AllocationProperties
- Returns:
true if the object can be allocated on
the stack; that is, the lifetime of the object does not
exceed the execution of the method containing the allocation.
canBeThreadAllocated
public boolean canBeThreadAllocated()
- Specified by:
canBeThreadAllocated in interface AllocationInformation.AllocationProperties
- Returns:
true if the object can be allocated on
a thread-local heap; that is, the lifetime of the object does
not exceed the lifetime of the thread object specified
by the allocationHeap method.
makeHeap
public boolean makeHeap()
- Specified by:
makeHeap in interface AllocationInformation.AllocationProperties
- Returns:
true if a thread-local heap should be
associated with this object --- typically this means that
the allocation site is a thread creation. If this is
true and canBeThreadAllocated()
is also true, then the new object will be
itself allocated on the created heap; otherwise the
new object will be globally allocated.
noSync
public boolean noSync()
- Specified by:
noSync in interface AllocationInformation.AllocationProperties
allocationHeap
public Temp allocationHeap()
- Specified by:
allocationHeap in interface AllocationInformation.AllocationProperties
- Returns:
- a
Temp which at the allocation site
contains a reference to either the thread object of a
thread-local allocation, or to another object whose lifetime
is correlated with that of the (not-yet-created) thread object.
Returns null if the allocation should use the
heap associated with the "current" thread.
If this returns non-null, then
makeHeap() should return false and
canBeThreadAllocated() should return true.
actualClass
public HClass actualClass()
- Specified by:
actualClass in interface AllocationInformation.AllocationProperties
- Returns:
- the
HClass representing the
"actual" or instantiated class of the object for which
memory is being allocated (as opposed to the declared
class).
setDynamicWBFlag
public boolean setDynamicWBFlag()
- Specified by:
setDynamicWBFlag in interface AllocationInformation.AllocationProperties
- Returns:
true if the dynamic write barrier
flag needs to be set when the object is allocated--this
typically means that one or more write barriers associated
with stores into the object created at this allocation site
have been optimistically removed.
getLabelOfPtrToMemoryChunk
public Label getLabelOfPtrToMemoryChunk()
- Specified by:
getLabelOfPtrToMemoryChunk in interface AllocationInformation.AllocationProperties
- Returns:
- a
Label for a pointer that points (at
runtime) to a preallocated memory chunk to be used for
this allocation site. Returns null if we
cannot preallocate this allocation site.
getUniqueID
public int getUniqueID()
- Specified by:
getUniqueID in interface AllocationInformation.AllocationProperties
- Returns:
- an unique integer ID for the allocation site.
Useful for instrumentation purposes.
clone
public Object clone()
- Overrides:
clone in class Object
toString
public String toString()
- Pretty printer for debug.
- Overrides:
toString in class Object