posts tagged "sweeping" (feed)

coarse or lazy?

whippet update: faster evacuation, eager sweeping of empty blocks