org.mmtk.utility
Class Memory

java.lang.Object
  org.mmtk.utility.Memory

All Implemented Interfaces:

Constants

public class Memory
extends Object
implements Constants

This class implements basic memory copying, setting and clearing operations.

NOTE: Most of the operations in this class are performed at the granularity of a Java integer (ie 4-byte units)

FIXME: Why can't these operations be performed at word-granularity?

SMALL_REGION_THRESHOLD

private static final int SMALL_REGION_THRESHOLD

zero operations greater than this size are done using the underlying OS implementation of zero()

See Also:

Constant Field Values

Memory

public Memory()

zero

public static void zero(Address start,
                        Extent bytes)

Zero a region of memory

Parameters:

start - The start of the region to be zeroed (must be 4-byte aligned)

bytes - The number of bytes to be zeroed (must be 4-byte aligned)

zeroSmall

public static void zeroSmall(Address start,
                             Extent bytes)

Zero a small region of memory

Parameters:

start - The start of the region to be zeroed (must be 4-byte aligned)

bytes - The number of bytes to be zeroed (must be 4-byte aligned)

set

public static void set(Address start,
                       int bytes,
                       int value)

Set a region of memory

Parameters:

start - The start of the region to be zeroed (must be 4-byte aligned)

bytes - The number of bytes to be zeroed (must be 4-byte aligned)

value - The value to which the integers in the region should be set

IsZeroed

public static boolean IsZeroed(Address start,
                               int bytes)

Check that a memory range is zeroed

Parameters:

start - The start address of the range to be checked

bytes - The size of the region to be checked, in bytes

Returns:

true if the region is zeroed

assertIsZeroed

public static void assertIsZeroed(Address start,
                                  int bytes)

Assert that a memory range is zeroed. An assertion failure will occur if the region is not zeroed.

this is in the inline allocation sequence when VM.VERIFY_ASSERTIONS is true, it is carefully written to reduce the impact on code space.

Parameters:

start - The start address of the range to be checked

bytes - The size of the region to be checked, in bytes

isSet

public static boolean isSet(Address start,
                            int bytes,
                            int value)

Verbosely check and return true if a memory range is set to some integer value

Parameters:

start - The start address of the range to be checked

bytes - The size of the region to be checked, in bytes

value - The value to which this region should be set

Returns:

true if the region has been correctly set

assertAligned

private static void assertAligned(int value)

Assert appropriate alignment, triggering an assertion failure if the value does not satisfy the alignment requirement of the memory operations.

Parameters:

value - The value to be tested

assertAligned

private static void assertAligned(Word value)

assertAligned

private static void assertAligned(Extent value)

assertAligned

private static void assertAligned(Address value)

isSet

private static boolean isSet(Address start,
                             int bytes,
                             boolean verbose,
                             int value)

Test whether a memory range is set to a given integer value

Parameters:

start - The address to start checking at

bytes - The size of the region to check, in bytes

verbose - If true, produce verbose output

value - The value to which the memory should be set

dumpMemory

public static void dumpMemory(Address addr,
                              int beforeBytes,
                              int afterBytes)

Dump the contents of memory around a given address

Parameters:

addr - The address around which the memory should be dumped

beforeBytes - The number of bytes before the address to be included in the dump

afterBytes - The number of bytes after the address to be included in the dump