On Mon, Jul 2, 2018 at 7:27 PM Stefan Beller <sbeller@xxxxxxxxxx> wrote: > On Sun, Jul 1, 2018 at 8:57 AM Michael Haggerty <mhagger@xxxxxxxxxxxx> 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
