src/share/vm/gc_implementation/g1/g1CollectedHeap.hpp

rev 3985 : 7132678: G1: verify that the marking bitmaps have no marks for objects over TAMS
Summary: Verify that parts of the marking bitmaps that should not have marks do not have marks, i.e., the parts of the bitmap that cover [TAMS:top) areas for each heap region.
Reviewed-by:

*** 1,7 ****
  /*
!  * Copyright (c) 2001, 2012, Oracle and/or its affiliates. All rights reserved.
   * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   *
   * This code is free software; you can redistribute it and/or modify it
   * under the terms of the GNU General Public License version 2 only, as
   * published by the Free Software Foundation.
--- 1,7 ----
  /*
!  * Copyright (c) 2001, 2013, Oracle and/or its affiliates. All rights reserved.
   * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   *
   * This code is free software; you can redistribute it and/or modify it
   * under the terms of the GNU General Public License version 2 only, as
   * published by the Free Software Foundation.
*** 1207,1216 ****
--- 1207,1240 ----
    void verify_not_dirty_region(HeapRegion* hr) PRODUCT_RETURN;
    void verify_dirty_region(HeapRegion* hr) PRODUCT_RETURN;
    void verify_dirty_young_list(HeapRegion* head) PRODUCT_RETURN;
    void verify_dirty_young_regions() PRODUCT_RETURN;
  
+ #ifndef PRODUCT
+   // Make sure that the given bitmap has no marked objects in the
+   // range [from,limit). If it does, print an error message and return
+   // false. Otherwise, just return true. bitmap_name should be "prev"
+   // or "next".
+   bool verify_bitmap(const char* bitmap_name, CMBitMapRO* bitmap,
+                      HeapWord* from, HeapWord* limit);
+ 
+   // Verify that the prev / next bitmap range [tams,end) for the given
+   // region has no marks. Return true if all is well, false if errors
+   // are detected.
+   bool verify_bitmaps(const char* caller, HeapRegion* hr);
+ #endif // PRODUCT
+ 
+   // If G1VerifyBitmaps is set, verify that the marking bitmaps for
+   // the given region do not have any spurious marks. If errors are
+   // detected, print appropriate error messages and crash.
+   void check_bitmaps(const char* caller, HeapRegion* hr) PRODUCT_RETURN;
+ 
+   // If G1VerifyBitmaps is set, verify that the marking bitmaps do not
+   // have any spurious marks. If errors are detected, print
+   // appropriate error messages and crash.
+   void check_bitmaps(const char* caller) PRODUCT_RETURN;
+ 
    // verify_region_sets() performs verification over the region
    // lists. It will be compiled in the product code to be used when
    // necessary (i.e., during heap verification).
    void verify_region_sets();