src/hotspot/share/gc/g1/g1CollectedHeap.cpp

rev 48019 : 8191821: Finer granularity for GC verification
Reviewed-by:

*** 1130,1140 ****
  
  void G1CollectedHeap::verify_before_full_collection(bool explicit_gc) {
    assert(!GCCause::is_user_requested_gc(gc_cause()) || explicit_gc, "invariant");
    assert(used() == recalculate_used(), "Should be equal");
    _verifier->verify_region_sets_optional();
!   _verifier->verify_before_gc();
    _verifier->check_bitmaps("Full GC Start");
  }
  
  void G1CollectedHeap::prepare_heap_for_mutators() {
    // Delete metaspaces for unloaded class loaders and clean up loader_data graph
--- 1130,1140 ----
  
  void G1CollectedHeap::verify_before_full_collection(bool explicit_gc) {
    assert(!GCCause::is_user_requested_gc(gc_cause()) || explicit_gc, "invariant");
    assert(used() == recalculate_used(), "Should be equal");
    _verifier->verify_region_sets_optional();
!   _verifier->verify_before_gc(G1HeapVerifier::G1VerifyFull);
    _verifier->check_bitmaps("Full GC Start");
  }
  
  void G1CollectedHeap::prepare_heap_for_mutators() {
    // Delete metaspaces for unloaded class loaders and clean up loader_data graph
*** 1171,1181 ****
  
  void G1CollectedHeap::verify_after_full_collection() {
    check_gc_time_stamps();
    _hrm.verify_optional();
    _verifier->verify_region_sets_optional();
!   _verifier->verify_after_gc();
    // Clear the previous marking bitmap, if needed for bitmap verification.
    // Note we cannot do this when we clear the next marking bitmap in
    // G1ConcurrentMark::abort() above since VerifyDuringGC verifies the
    // objects marked during a full GC against the previous bitmap.
    // But we need to clear it before calling check_bitmaps below since
--- 1171,1181 ----
  
  void G1CollectedHeap::verify_after_full_collection() {
    check_gc_time_stamps();
    _hrm.verify_optional();
    _verifier->verify_region_sets_optional();
!   _verifier->verify_after_gc(G1HeapVerifier::G1VerifyFull);
    // Clear the previous marking bitmap, if needed for bitmap verification.
    // Note we cannot do this when we clear the next marking bitmap in
    // G1ConcurrentMark::abort() above since VerifyDuringGC verifies the
    // objects marked during a full GC against the previous bitmap.
    // But we need to clear it before calling check_bitmaps below since
*** 2982,2992 ****
          log_info(gc, verify)("[Verifying RemSets before GC]");
          VerifyRegionRemSetClosure v_cl;
          heap_region_iterate(&v_cl);
        }
  
!       _verifier->verify_before_gc();
  
        _verifier->check_bitmaps("GC Start");
  
  #if COMPILER2_OR_JVMCI
        DerivedPointerTable::clear();
--- 2982,2992 ----
          log_info(gc, verify)("[Verifying RemSets before GC]");
          VerifyRegionRemSetClosure v_cl;
          heap_region_iterate(&v_cl);
        }
  
!       _verifier->verify_before_gc(collector_state()->yc_type() == Mixed ? G1HeapVerifier::G1VerifyMixed : G1HeapVerifier::G1VerifyYoung);
  
        _verifier->check_bitmaps("GC Start");
  
  #if COMPILER2_OR_JVMCI
        DerivedPointerTable::clear();
*** 3142,3152 ****
            log_info(gc, verify)("[Verifying RemSets after GC]");
            VerifyRegionRemSetClosure v_cl;
            heap_region_iterate(&v_cl);
          }
  
!         _verifier->verify_after_gc();
          _verifier->check_bitmaps("GC End");
  
          assert(!ref_processor_stw()->discovery_enabled(), "Postcondition");
          ref_processor_stw()->verify_no_references_recorded();
  
--- 3142,3152 ----
            log_info(gc, verify)("[Verifying RemSets after GC]");
            VerifyRegionRemSetClosure v_cl;
            heap_region_iterate(&v_cl);
          }
  
!         _verifier->verify_after_gc(collector_state()->yc_type() == Mixed ? G1HeapVerifier::G1VerifyMixed : G1HeapVerifier::G1VerifyYoung);
          _verifier->check_bitmaps("GC End");
  
          assert(!ref_processor_stw()->discovery_enabled(), "Postcondition");
          ref_processor_stw()->verify_no_references_recorded();