Currently, Shenandoah's Traversal GC mode is using a modified incremental-update algorithm for concurrent traversal. This requires a lot of code generated specifically for this mode (all the special barriers). Recent experiments have shown that SATB is actually more effective than this, and switching to SATB leads to a much more streamlined codebase and clearer algorithm. It'll also make it easier to eventually backport Traversal GC.