On Mon, Jul 2, 2018 at 7:27 PM Stefan Beller <[email protected]> wrote: > On Sun, Jul 1, 2018 at 8:57 AM Michael Haggerty <[email protected]> wrote: > [...] > So this suggests to have MAX_BORING to be > "hunk size + some small constant offset" ?
That would be my suggestion, yes. There are cases where it will be more expensive than a fixed `MAX_BORING`, but I bet on average it will be faster. Plus, it should always give the right answer. Michael
