On Thu, 10 Sept 2026 at 09:45, Andrey Borodin <[email protected]> wrote: > > On 10 Sep 2026, Zsolt Parragi wrote: > > this approach is simple and works for all reported cases >
Thanks for the update. The new patch looks good. > I reviewed v4 and it looks correct to me. I also replaced the MVCC fetch > with just PredicateLockTID(): the ordinary isolation test still passed, > but all three probe-window permutations allowed both transactions to > commit. The new test catches the race in my June approach. > It looks correct to me too. It's a nice touch using injection points to confirm that there's no longer an issue with the window between probe and re-fetch. Nitpicking, I'd say that it's better to name the steps in the tests things like "ioc_nothing1" and "ioc_update1_where", so that they're more distinct from steps like "update2", which is just a plain update. Other than that, I'd say that it's ready to commit, but I'll take another couple of days to think it over more thoroughly, before pushing it (probably at the weekend). Regards, Dean
