Re: Get rid of WALBufMappingLock

On Fri, Feb 28, 2025 at 3:44 PM Michael Paquier <michael(at)paquier(dot)xyz> wrote:
>
> On Fri, Feb 28, 2025 at 02:13:23PM +0100, Álvaro Herrera wrote:
> > On 2025-Feb-28, Michael Paquier wrote:
> >> Saying that, I have also done similar tests with your v12 for a couple
> >> of hours and this looks stable under installcheck-world. I can see
> >> that you've reworked quite a bit the surroundings of InitializedFrom
> >> in this one. If you apply that once again at some point, the
> >> buildfarm will be judge in the long-term, but I am rather confident by
> >> saying that the situation looks better here, at least.
> >
> > Heh, no amount of testing can prove lack of bugs; but for sure "it looks
> > different now, so it must be correct" must be the weakest proof of
> > correctness I've heard of!
>
> Err, okay. I did use the word "stable" with tests rather than
> "correct", and I implied upthread that I did not check the correctness
> nor the internals of the patch. If my words held the meaning you
> are implying, well, my apologies for the confusion, I guess. I only
> tested the patch and it was stable while I've noticed a few diffs with
> the previous version, but I did *not* check its internals at all, nor
> do I mean that I endorse its logic. I hope that's clear now.

Got it. Michael, thank you very much for your help.

------
Regards,
Alexander Korotkov
Supabase