I think we are missing a crucial bit of matrix verification after concurrent mark: http://cr.openjdk.java.net/~shade/shenandoah/verifier-aftermark-matrix/webrev.01/ It crashes our current tests today, so I would first pinpoint the bug itself. Thanks, -Aleksey