In ZGC, bitmaps are lazily cleared in a segmented fashion. In this scheme, liveness is determined by looking at a counter, a segment bit map and finally the flat bit map structure. The accesses for the various stages need to be ordered properly.