On Tue, Oct 13, 2020 at 12:15 PM Melanie Plageman <melanieplage...@gmail.com> wrote: > On Thu, Oct 1, 2020 at 8:08 PM Thomas Munro <thomas.mu...@gmail.com> wrote: >> On Tue, Sep 29, 2020 at 9:12 PM Thomas Munro <thomas.mu...@gmail.com> wrote: >> Here's a throw-away patch to add some sleeps that trigger the problem, >> and a first draft fix. I'll do some more testing of this next week >> and see if I can simplify it. > > I was just taking a look at the patch and noticed the commit message > says: > > > With unlucky timing and parallel_leader_participation off... > > Is parallel_leader_participation being off required to reproduce the > issue?
Yeah, because otherwise the leader detaches last so the problem doesn't arise.
