dmeoli / ADS / 40431486943

98%

main: 98%

push

github

BucketQueue: the vectors of runs kept for the next layer, a fast dense path

The vectors of runs of the layers lie in the queue, and a layer that
empties gives its vector back, empty, for the next one, so that a layer
that fills again allocates nothing; the index of the vector in the layer
leaves it 8 bytes larger instead of 24. push() and pop() keep the code of
the dense lists as it was, and go to pushRun() and popRun() only for the
runs.

89 of 90 new or added lines in 2 files covered. (98.89%)

41657 of 42699 relevant lines covered (97.56%)

10547976.67 hits per line