The test for whether a mutator thread should refine a dirty card buffer contains a "padding" factor. The mutator calculates the threshold to use as part of the test. That calculation is more than a simple addition of padding, in order to accomodate potential overflow. The calculation and overflow handling could instead be done only when the padding is updated or cleared. This would reduce the per-buffer test to just comparing the number of cards to the pre-calculated threshold.