796 _verify_marked_complete, // bitmaps might be stale, but alloc-after-mark should be well
797 _verify_matrix_conservative, // matrix is conservatively consistent
798 _verify_cset_none, // no cset references, all updated
799 _verify_liveness_disable, // no reliable liveness data anymore
800 _verify_regions_nocset // no cset regions, trash regions have appeared
801 );
802 }
803
804 void ShenandoahVerifier::verify_after_degenerated() {
805 verify_at_safepoint(
806 "After Degenerated GC",
807 _verify_forwarded_none, // all objects are non-forwarded
808 _verify_marked_complete, // all objects are marked in complete bitmap
809 _verify_matrix_conservative, // matrix is conservatively consistent
810 _verify_cset_none, // no cset references
811 _verify_liveness_disable, // no reliable liveness data anymore
812 _verify_regions_notrash_nocset // no trash, no cset
813 );
814 }
815
816 void ShenandoahVerifier::verify_before_partial() {
817 verify_at_safepoint(
818 "Before Partial",
819 _verify_forwarded_none, // cannot have forwarded objects
820 _verify_marked_complete, // bitmaps might be stale, but alloc-after-mark should be well
821 _verify_matrix_conservative, // matrix is conservatively consistent
822 _verify_cset_none, // no cset references before partial
823 _verify_liveness_disable, // no reliable liveness data anymore
824 _verify_regions_notrash_nocset // no trash and no cset regions
825 );
826 }
827
828 void ShenandoahVerifier::verify_after_partial() {
829 verify_at_safepoint(
830 "After Partial",
831 _verify_forwarded_none, // cannot have forwarded objects
832 _verify_marked_complete, // bitmaps might be stale, but alloc-after-mark should be well
833 _verify_matrix_conservative, // matrix is conservatively consistent
834 _verify_cset_none, // no cset references left after partial
835 _verify_liveness_disable, // no reliable liveness data anymore
836 _verify_regions_nocset // no cset regions, trash regions allowed
837 );
838 }
839
840 void ShenandoahVerifier::verify_before_traversal() {
841 verify_at_safepoint(
842 "Before Traversal",
843 _verify_forwarded_none, // cannot have forwarded objects
844 _verify_marked_disable, // bitmaps are not relevant before traversal
845 _verify_matrix_disable, // matrix is not used in traversal
846 _verify_cset_none, // no cset references before traversal
847 _verify_liveness_disable, // no reliable liveness data anymore
848 _verify_regions_notrash_nocset // no trash and no cset regions
849 );
850 }
851
852 void ShenandoahVerifier::verify_after_traversal() {
853 verify_at_safepoint(
854 "After Traversal",
855 _verify_forwarded_none, // cannot have forwarded objects
856 _verify_marked_next, // marking should be complete in next bitmap
857 _verify_matrix_disable, // matrix is conservatively consistent
858 _verify_cset_none, // no cset references left after traversal
859 _verify_liveness_disable, // liveness data is not collected for new allocations
860 _verify_regions_nocset // no cset regions, trash regions allowed
861 );
862 }
863
864 void ShenandoahVerifier::verify_before_fullgc() {
865 verify_at_safepoint(
866 "Before Full GC",
867 _verify_forwarded_allow, // can have forwarded objects
868 _verify_marked_disable, // do not verify marked: lots ot time wasted checking dead allocations
869 _verify_matrix_disable, // matrix might be foobared
870 _verify_cset_disable, // cset might be foobared
871 _verify_liveness_disable, // no reliable liveness data anymore
872 _verify_regions_disable // no reliable region data here
873 );
874 }
875
876 void ShenandoahVerifier::verify_after_fullgc() {
|
796 _verify_marked_complete, // bitmaps might be stale, but alloc-after-mark should be well
797 _verify_matrix_conservative, // matrix is conservatively consistent
798 _verify_cset_none, // no cset references, all updated
799 _verify_liveness_disable, // no reliable liveness data anymore
800 _verify_regions_nocset // no cset regions, trash regions have appeared
801 );
802 }
803
804 void ShenandoahVerifier::verify_after_degenerated() {
805 verify_at_safepoint(
806 "After Degenerated GC",
807 _verify_forwarded_none, // all objects are non-forwarded
808 _verify_marked_complete, // all objects are marked in complete bitmap
809 _verify_matrix_conservative, // matrix is conservatively consistent
810 _verify_cset_none, // no cset references
811 _verify_liveness_disable, // no reliable liveness data anymore
812 _verify_regions_notrash_nocset // no trash, no cset
813 );
814 }
815
816 void ShenandoahVerifier::verify_before_traversal() {
817 verify_at_safepoint(
818 "Before Traversal",
819 _verify_forwarded_none, // cannot have forwarded objects
820 _verify_marked_disable, // bitmaps are not relevant before traversal
821 _verify_matrix_disable, // matrix is not used in traversal
822 _verify_cset_none, // no cset references before traversal
823 _verify_liveness_disable, // no reliable liveness data anymore
824 _verify_regions_notrash_nocset // no trash and no cset regions
825 );
826 }
827
828 void ShenandoahVerifier::verify_after_traversal() {
829 verify_at_safepoint(
830 "After Traversal",
831 _verify_forwarded_none, // cannot have forwarded objects
832 _verify_marked_disable, // We only have partial marking info after traversal
833 _verify_matrix_disable, // matrix is conservatively consistent
834 _verify_cset_none, // no cset references left after traversal
835 _verify_liveness_disable, // liveness data is not collected for new allocations
836 _verify_regions_nocset // no cset regions, trash regions allowed
837 );
838 }
839
840 void ShenandoahVerifier::verify_before_fullgc() {
841 verify_at_safepoint(
842 "Before Full GC",
843 _verify_forwarded_allow, // can have forwarded objects
844 _verify_marked_disable, // do not verify marked: lots ot time wasted checking dead allocations
845 _verify_matrix_disable, // matrix might be foobared
846 _verify_cset_disable, // cset might be foobared
847 _verify_liveness_disable, // no reliable liveness data anymore
848 _verify_regions_disable // no reliable region data here
849 );
850 }
851
852 void ShenandoahVerifier::verify_after_fullgc() {
|