src/hotspot/share/gc/shenandoah/shenandoahVerifier.cpp

rev 50076 : Fold Partial GC into Traversal GC

*** 811,844 ****
            _verify_liveness_disable,    // no reliable liveness data anymore
            _verify_regions_notrash_nocset // no trash, no cset
    );
  }
  
- void ShenandoahVerifier::verify_before_partial() {
-   verify_at_safepoint(
-           "Before Partial",
-           _verify_forwarded_none,      // cannot have forwarded objects
-           _verify_marked_complete,     // bitmaps might be stale, but alloc-after-mark should be well
-           _verify_matrix_conservative, // matrix is conservatively consistent
-           _verify_cset_none,           // no cset references before partial
-           _verify_liveness_disable,    // no reliable liveness data anymore
-           _verify_regions_notrash_nocset // no trash and no cset regions
-   );
- }
- 
- void ShenandoahVerifier::verify_after_partial() {
-   verify_at_safepoint(
-           "After Partial",
-           _verify_forwarded_none,      // cannot have forwarded objects
-           _verify_marked_complete,     // bitmaps might be stale, but alloc-after-mark should be well
-           _verify_matrix_conservative, // matrix is conservatively consistent
-           _verify_cset_none,           // no cset references left after partial
-           _verify_liveness_disable,    // no reliable liveness data anymore
-           _verify_regions_nocset       // no cset regions, trash regions allowed
-   );
- }
- 
  void ShenandoahVerifier::verify_before_traversal() {
    verify_at_safepoint(
            "Before Traversal",
            _verify_forwarded_none,      // cannot have forwarded objects
            _verify_marked_disable,      // bitmaps are not relevant before traversal
--- 811,820 ----
*** 851,861 ****
  
  void ShenandoahVerifier::verify_after_traversal() {
    verify_at_safepoint(
            "After Traversal",
            _verify_forwarded_none,      // cannot have forwarded objects
!           _verify_marked_next,         // marking should be complete in next bitmap
            _verify_matrix_disable,      // matrix is conservatively consistent
            _verify_cset_none,           // no cset references left after traversal
            _verify_liveness_disable,    // liveness data is not collected for new allocations
            _verify_regions_nocset       // no cset regions, trash regions allowed
    );
--- 827,837 ----
  
  void ShenandoahVerifier::verify_after_traversal() {
    verify_at_safepoint(
            "After Traversal",
            _verify_forwarded_none,      // cannot have forwarded objects
!           _verify_marked_disable,      // We only have partial marking info after traversal
            _verify_matrix_disable,      // matrix is conservatively consistent
            _verify_cset_none,           // no cset references left after traversal
            _verify_liveness_disable,    // liveness data is not collected for new allocations
            _verify_regions_nocset       // no cset regions, trash regions allowed
    );