Re: POC: enable logical decoding when wal_level = 'replica' without a server restart

From: Masahiko Sawada <sawada(dot)mshk(at)gmail(dot)com>
To: Amit Kapila <amit(dot)kapila16(at)gmail(dot)com>
Cc: shveta malik <shveta(dot)malik(at)gmail(dot)com>, Peter Smith <smithpb2250(at)gmail(dot)com>, "Hayato Kuroda (Fujitsu)" <kuroda(dot)hayato(at)fujitsu(dot)com>, Ashutosh Bapat <ashutosh(dot)bapat(dot)oss(at)gmail(dot)com>, Shlok Kyal <shlok(dot)kyal(dot)oss(at)gmail(dot)com>, Bertrand Drouvot <bertranddrouvot(dot)pg(at)gmail(dot)com>, PostgreSQL-development <pgsql-hackers(at)postgresql(dot)org>
Subject: Re: POC: enable logical decoding when wal_level = 'replica' without a server restart
Date: 2025-11-14 11:39:34
Message-ID: CAD21AoBcZk9xQhHKOA4EsS97zSHveMrDJprqOjTXuKar+ony8A@mail.gmail.com
Views: Whole Thread | Raw Message | Download mbox | Resend email
Thread:
Lists: pgsql-hackers

On Fri, Nov 14, 2025 at 3:12 AM Amit Kapila <amit(dot)kapila16(at)gmail(dot)com> wrote:
>
> On Fri, Nov 14, 2025 at 4:15 PM Masahiko Sawada <sawada(dot)mshk(at)gmail(dot)com> wrote:
> >
> > On Fri, Nov 14, 2025 at 1:38 AM Amit Kapila <amit(dot)kapila16(at)gmail(dot)com> wrote:
> > >
> > > On Fri, Nov 14, 2025 at 5:01 AM Masahiko Sawada <sawada(dot)mshk(at)gmail(dot)com> wrote:
> > >
> > > I can look at the patch but this inprogress flag is another part which
> > > I wanted to avoid if possible again due to its additional complexity.
> > > So, I came up with an alternative locking scheme to enable/disable
> > > decoding. You can compare both the ideas and share your thoughts:
> > >
> > > During promotion code path:
> > > 1. Acquire LogicalDecodingControlLock, then check and remember whether
> > > we need to enable or disable the xlog_logical_info and
> > > logical_decoding_enabled. Release LogicalDecodingControlLock.
> > > 2. Set xlog_logical_info and mark SharedRecoveryState =
> > > RECOVERY_STATE_DONE under one spinlock.
> > > 3. After the spinlock and controlfile lock are released, wait for
> > > other backends to reflect the xlog_logical_info via
> > > WaitForProcSignalBarrier(EmitProcSignalBarrier(PROCSIGNAL_BARRIER_UPDATE_XLOG_LOGICAL_INFO)),
> > > 4. Acquire LogicalDecodingControlLock in X mode, then there are two
> > > cases to deal with:
> > > (a) As part of step-1, the decision was to enable logical decoding.
> > > So, we first check if some backend has already enabled it by checking
> > > logical_decoding_enabled, if so, then we don't need to do anything.
> > > Otherwise, once again count_slots to ensure that the concurrent
> > > backend hasn't removed them, and if there still exist any, then set
> > > logical_decoding_enabled, write a new WAL record, and release the
> > > LogicalDecodingControlLock.
> > > (b) As part of step-1, the decision was to disable logical decoding.
> > > So, we first check if some backend has already enabled it by checking
> > > logical_decoding_enabled, if so, then we don't need to do anything.
> > > Otherwise, set logical_decoding_enabled to false, write WAL record,
> > > and release the LogicalDecodingControlLock.
> >
> > I'm not sure it works in cases where we need to disable logical
> > decoding at the end-of-recovery. Suppose that the decision made in
> > step-1 was to disable logical decoding, it's possible that non-logical
> > WAL records are written as soon as step-3 finishes while the logical
> > decoding is still enabled. This is because the backend processes who
> > started after step-3 see xlog_logical_info = false. This ends up with
> > logical decoding decoding non-logical WAL records.
> >
>
> If the startup process decides to disable decoding, this means there
> doesn't exist any logical slot and wal_level is 'replica', right? If
> so, then when we create the first slot before decoding, we should try
> to first enable xlog_logical_info, if not already enabled, wait for
> all backends to reflect that state. So, that should be sufficient.

Right. But I think its (cascaded) standby could have logical slots and
decode non-logical WAL records.

>
> > And there is a small window between step-2 and step-4(a) where
> > wal_level shows 'logical' but logical decoding is not enabled.
> >
>
> True but does that really matter?

No, it could confuse users but isn't a problem in practice.

Regards,

--
Masahiko Sawada
Amazon Web Services: https://aws.amazon.com

In response to

Browse pgsql-hackers by date

  From Date Subject
Next Message Rahila Syed 2025-11-14 11:40:35 Re: Missing calls to UnlockBuffers() - unify error handling?
Previous Message John Naylor 2025-11-14 11:34:37 Re: Proposal for enabling auto-vectorization for checksum calculations