7004681: G1: Extend marking verification to Full GCs

Perform a heap verification after the first phase of G1's full GC using objects' mark words to determine liveness. The third parameter of the heap verification routines, which was used in G1 to determine which marking bitmap to use in liveness calculations, has been changed from a boolean to an enum with values defined for using the mark word, and the 'prev' and 'next' bitmaps.

Reviewed-by: tonyp, ysr
This commit is contained in:
John Cuthbertson 2011-06-14 11:01:10 -07:00
parent 015e872efe
commit b94d0b830c
14 changed files with 309 additions and 198 deletions

View file

@ -606,7 +606,7 @@ class CollectedHeap : public CHeapObj {
virtual void print_tracing_info() const = 0;
// Heap verification
virtual void verify(bool allow_dirty, bool silent, bool option) = 0;
virtual void verify(bool allow_dirty, bool silent, VerifyOption option) = 0;
// Non product verification and debugging.
#ifndef PRODUCT