44 |
44 |
45 G1HeapVerifier(G1CollectedHeap* heap) : _g1h(heap) { } |
45 G1HeapVerifier(G1CollectedHeap* heap) : _g1h(heap) { } |
46 |
46 |
47 // Perform verification. |
47 // Perform verification. |
48 |
48 |
49 // vo == UsePrevMarking -> use "prev" marking information, |
49 // vo == UsePrevMarking -> use "prev" marking information, |
50 // vo == UseNextMarking -> use "next" marking information |
50 // vo == UseNextMarking -> use "next" marking information |
51 // vo == UseMarkWord -> use the mark word in the object header |
51 // vo == UseFullMarking -> use "next" marking bitmap but no TAMS |
52 // |
52 // |
53 // NOTE: Only the "prev" marking information is guaranteed to be |
53 // NOTE: Only the "prev" marking information is guaranteed to be |
54 // consistent most of the time, so most calls to this should use |
54 // consistent most of the time, so most calls to this should use |
55 // vo == UsePrevMarking. |
55 // vo == UsePrevMarking. |
56 // Currently, there is only one case where this is called with |
56 // Currently, there is only one case where this is called with |
57 // vo == UseNextMarking, which is to verify the "next" marking |
57 // vo == UseNextMarking, which is to verify the "next" marking |
58 // information at the end of remark. |
58 // information at the end of remark. |
59 // Currently there is only one place where this is called with |
59 // Currently there is only one place where this is called with |
60 // vo == UseMarkWord, which is to verify the marking during a |
60 // vo == UseFullMarking, which is to verify the marking during a |
61 // full GC. |
61 // full GC. |
62 void verify(VerifyOption vo); |
62 void verify(VerifyOption vo); |
63 |
63 |
64 // verify_region_sets_optional() is planted in the code for |
64 // verify_region_sets_optional() is planted in the code for |
65 // list verification in non-product builds (and it can be enabled in |
65 // list verification in non-product builds (and it can be enabled in |