Tang--
I think the scenario you listed can't happen, because the first bucket
we try in the hash-search is 0. If the circular buffer has wrapped,
that will be detected immediately and we'll leave the loop with l=0.
We should add a comment that we need to try the first index first for
correctness so that we don't inadvertently change this behavior.
One thing took me a long time to convince myself was safe with the
original code: If we have 'YYNYYYYYYY', we'll start at l=0, and then
we'll search across the N; I think this is OK because sequence
numbers will cause us to do the right thing.
Mike
On Wed, Nov 1, 2017 at 12:10 AM, [off-list ref] wrote:
From: Tang Junhui <redacted>
Hello Mike, Coly
I found this issue by code reading.
It looks serious.
May I am wrong.
Please have a review.
Thanks,
Tang