Re: Logical Replication of sequences

From: vignesh C <vignesh21(at)gmail(dot)com>
To: Amit Kapila <amit(dot)kapila16(at)gmail(dot)com>
Cc: Shlok Kyal <shlok(dot)kyal(dot)oss(at)gmail(dot)com>, Chao Li <li(dot)evan(dot)chao(at)gmail(dot)com>, shveta malik <shveta(dot)malik(at)gmail(dot)com>, Shinya Kato <shinya11(dot)kato(at)gmail(dot)com>, Peter Smith <smithpb2250(at)gmail(dot)com>, Masahiko Sawada <sawada(dot)mshk(at)gmail(dot)com>, "Hayato Kuroda (Fujitsu)" <kuroda(dot)hayato(at)fujitsu(dot)com>, "Zhijie Hou (Fujitsu)" <houzj(dot)fnst(at)fujitsu(dot)com>, Dilip Kumar <dilipbalaut(at)gmail(dot)com>, Nisha Moond <nisha(dot)moond412(at)gmail(dot)com>, Peter Eisentraut <peter(at)eisentraut(dot)org>, PostgreSQL Hackers <pgsql-hackers(at)lists(dot)postgresql(dot)org>, Euler Taveira <euler(at)eulerto(dot)com>, Michael Paquier <michael(at)paquier(dot)xyz>, "Jonathan S(dot) Katz" <jkatz(at)postgresql(dot)org>
Subject: Re: Logical Replication of sequences
Date: 2026-01-20 05:30:36
Message-ID: CALDaNm2Sz+KEZE451d3JdyQmTrnVVFOiOHr6h-vf5J1+TpkbMQ@mail.gmail.com
Views: Whole Thread | Raw Message | Download mbox | Resend email
Thread:
Lists: pgsql-hackers

On Tue, 20 Jan 2026 at 09:47, Amit Kapila <amit(dot)kapila16(at)gmail(dot)com> wrote:
>
> On Mon, Jan 19, 2026 at 6:36 PM vignesh C <vignesh21(at)gmail(dot)com> wrote:
> >
> > pg_get_sequence_data() internally uses try_relation_open() rather than
> > relation_open(). As a result, if the target sequence no longer exists
> > at the time of access, the function does not raise an error and
> > instead returns NULLs for the sequence state columns. The sequence
> > sync worker code previously assumed these columns to be non NULL and
> > asserted accordingly. This assumption does not hold in the presence of
> > concurrent DDL. The patch updates the sequence sync logic to
> > explicitly check for NULL values returned from pg_get_sequence_data().
> > If any of the required sequence state fields are NULL, the sequence
> > sync worker skips processing that sequence to identify and report the
> > missing sequences. The attached patch has the changes for the same.
> >
>
> - seqinfo_local->last_value = DatumGetInt64(slot_getattr(slot, ++col, &isnull));
> - Assert(!isnull);
> + /*
> + * If the sequence was dropped concurrently, pg_get_sequence_data() can
> + * return NULLs.
> + */
> + datum = slot_getattr(slot, ++col, &isnull);
> + if (isnull)
> + return COPYSEQ_SKIPPED;
> + seqinfo_local->last_value = DatumGetInt64(datum);
>
> - seqinfo_local->is_called = DatumGetBool(slot_getattr(slot, ++col, &isnull));
> - Assert(!isnull);
> + datum = slot_getattr(slot, ++col, &isnull);
> + if (isnull)
> + return COPYSEQ_SKIPPED;
> + seqinfo_local->is_called = DatumGetBool(datum);
>
> Is there a case where the first one (last_value) is non-null but later
> can be null? If not, then I think it is better to retain assert for
> other cases.

That is not possible. Updated accordingly with slight change to
comment. The attached patch has the changes for the same.

Regards,
Vignesh

Attachment Content-Type Size
v2-0001-Handle-concurrent-sequence-drop-during-sequence-s.patch text/x-patch 2.0 KB

In response to

Responses

Browse pgsql-hackers by date

  From Date Subject
Next Message Chao Li 2026-01-20 05:53:45 Re: file_fdw: Support multi-line HEADER option.
Previous Message Александр Кожемякин 2026-01-20 05:27:11 Re: Remaining dependency on setlocale()