MIME-Version: 1.0
References: <6899c044-4a82-49be-8117-e6f669765f7e@app.fastmail.com>
 <165530.1752362320@sss.pgh.pa.us>
 <02a7cd37-e2fc-4212-8b19-f8c239c95fb8@app.fastmail.com>
 <e396ecf3-4227-4918-b9ff-e9568dcebcf0@app.fastmail.com>
 <b6a427fe-2ed6-4568-85d9-207a68172617@app.fastmail.com>
 <CAK80=jhmE40KVqQ3ho37MArS7cAED1p9m7uikDxcnDmqdW7t8A@mail.gmail.com>
 <96f00bf1-cc9d-4520-9d02-9e14e7767c88@app.fastmail.com>
 <30c2aa7d-dd6c-4b68-a2e4-f217a1a34acf@app.fastmail.com>
 <CA+hUKGLrMGkWDB0cwTa0RqD+AF7O-Ywgck8aVYKwOQnZgYRRug@mail.gmail.com>
 <0b4d402a-9ac2-4aa8-acf8-8231dbe579ea@app.fastmail.com>
 <c8e84bb2-d2e5-4a77-b547-3a93c5778e7e@app.fastmail.com>
 <3095599.1758644879@sss.pgh.pa.us>
 <0dc6a2cc-5216-4dc1-9dd2-430cafc6095b@app.fastmail.com>
 <E7D8A5CD-C445-4713-B6B7-6CC1D3A71161@gmail.com>
 <baf71275-9083-41be-ae13-f80821541a1a@app.fastmail.com>
 <52CC167F-763B-4ECA-B0B4-DAB381816828@gmail.com>
 <d35a114d-204a-4b40-9284-06749532b724@app.fastmail.com>
 <9186C6D0-F7A9-482A-9183-89E530B57E36@gmail.com>
 <da0996!!!!!!d8-ecf9-490d-bbd0-2a5bdb5b115a@app.fastmail.com>
 <D1CF7CA5-213A-4FC1-86DB-052D58904A0A@gmail.com>
 <cad78ff4-aae9-4c1c-8e16-ff0ccd4957f1@app.fastmail.com>
 <1073593.1759423179@sss.pgh.pa.us>
 <4bd5e6c4-6fa7-44bb-869d-59a32a331fa8@app.fastmail.com>
 <CAFY6G8dap-bCnAnMG-2Gzew8yv2Vbi9gsx9+yszKMmd57ygfvA@mail.gmail.com>
 <85828f29-e72e-4400-94f3-9a69bc8dc239@app.fastmail.com>
 <2495353.1759860890@sss.pgh.pa.us>
 <8aeae418-92a6-4bbd-9c06-9574c79e59f7@app.fastmail.com>
 <2531672.1759868124@sss.pgh.pa.us>
 <474efa78-337c-41cd-a73a-f845a0115109@app.fastmail.com>
 <2749343.1759949176@sss.pgh.pa.us>
 <8bfca2be-1ec0-4e15-aafb-0b7b661fe936@app.fastmail.com>
 <9eba307f-f2fb-48f0-9507-2e197f39ef9e@app.fastmail.com>
 <cde2a91d-d47a-43b5-ab27-f98aa739d38e@app.fastmail.com>
 <8c71183a-0d28-4bcf-a806-78446ff95404@app.fastmail.com>
 <1009807.1760476747@sss.pgh.pa.us>
 <1F7227F5-C33D-4E2C-8511-33F1468590D0@gmail.com>
 <0a5a20d3-4621-46b3-b2ab-903f63a20dea@app.fastmail.com>
 <6F913129-ABEF-4004-AAF3-F22FC34!29AE8@gmail.com>
 <cbabbb45-ec27-47f1-a8f3-eb29073e9aef@app.fastmail.com>
 <ceab2c54-3463-4029-a7d8-895a617bb457@app.fastmail.com>
 <1547585.1760645808@sss.pgh.pa.us>
 <b8df8040-1b15-4a1a-b5f6-74acebbd2d0c@app.fastmail.com>
 <CAE7r3MLivh1sHWF06hrVXkiQbw-KChPcQsh+9CheXprm5vRVMQ@mail.gmail.com>
 <14865EB6-0BF4-462B-9072-10BDAC10C052@gmail.com>
 <CAE7r3MK-3AOdh1mpZ8hw9h6F_i0D5RMoAy7CttnfCJRpB8GJDA@mail.gmail.com>
 <0BCA1C2D-B92C-459E-B1A6-6D06BA4C62CF@gmail.com>
 <55d24cbb-e9ef-491f-a99b-b3dbd7cecdf9@app.fastmail.com>
 <38574cad-e90d-47b7-a015-753bb6bbc360@app.fastmail.com>
 <66631FB7-5BEA-4ED5-A694-9AD8B9CCFEE8@gmail.com>
 <4b7b49a5-5e1a-44a8-93e0-60457d15cb1d@app.fastmail.com>
 <82DEA2B6-6FC5-4A79-BDE3-1FD72F104A6E@gmail.com>
 <38de1036-d8cf-420c-b845-edb5a946b191@app.fastmail.com>
 <87E40BF8-8877-4DBD-9040-99AF8A4E6358@gmail.com>
 <d29ae0a8-b28c-4450-bd9f-c56657e57f45@app.fastmail.com>
 <DF4BDA30-CC41-4BAF-9852-E399C3F273EC@gmail.com>
 <7556f0d4-03fd-451a-bd34-5f62b424319a@app.fastmail.com>
 <290910DE-9A03-4AE6-B348-073D5DA96ACC@gmail.com>
In-Reply-To: <290910DE-9A03-4AE6-B348-073D5DA96ACC@gmail.com>
From: Arseniy Mukhin <arseniy.mukhin.dev@gmail.com>
Date: Sat, 1 Nov 2025 23:41:51 +0300
Message-ID: 
 <CAE7r3MJxxycYwDFJdTJ+HmzeNJ_JGKyr4HpT5njN1ouVX56OUg@mail.gmail.com>
Subject: Re: Optimize LISTEN/NOTIFY
To: Chao Li <li.evan.chao@gmail.com>
Cc: Joel Jacobson <joel@compiler.org>,
 pgsql-hackers <pgsql-hackers@postgresql.org>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Archived-At: 
 <https://www.postgresql.org/message-id/CAE7r3MJxxycYwDFJdTJ%2BHmzeNJ_JGKyr4HpT5njN1ouVX56OUg%40mail.gmail.com>
Precedence: bulk

Hi,

On Mon, Oct 27, 2025 at 2:25=E2=80=AFAM Joel Jacobson <joel@compiler.org> w=
rote:
>
> On Sun, Oct 26, 2025, at 07:33, Joel Jacobson wrote:
> > On Sun, Oct 26, 2025, at 05:11, Chao Li wrote:
> >> I figured out a way to resolve the race condition for alt3:
> >>
> >> * add an awakening flag for every listener, this flag is only set by
> >> listeners
> >> * add an advisory pos for every listener, similar to alt1
> >> * if a listener is awaken, notify only updates the listener=E2=80=99s =
advisory
> >> pos; otherwise directly advance its position.
> >> * If a running listener see current pos is behind advisory pos, then
> >> stop reading
> ...
> > This sounds promising, similar to what I had in mind. I was thinking
> > about the idea of using the advisoryPos only when the listening backend
> > is known to be running (which felt like it would need another shared
> > boolean field), and to move its pos field directly only when it's not
> > running, since if it's running we don't need to optimize for context
> > switching, since it's by definition already running.
>
> Write-up of changes since v20:
>

Thank you for working on this! There are few points about 'direct
advancement' part:

> Two new fields have been added to QueueBackendStatus:
> + QueuePosition advisoryPos;    /* safe skip-ahead position */
> + bool          advancingPos;   /* backend is reading the queue */
>
> ...
>
> In SignalBackends, if a backend that is uninterested in our
> notifications, has a shared pos that is at the old queue head, then we
> will check if it's not currently advancing its pos, in which case we can
> set its shared pos to the new queue head, i.e. "direct advance" it,
> otherwise, if it's currently advancing its pos, and if its advisory pos
> is behind our new queue head, we will update its advisory pos to our new
> queue head.
>
> In asyncQueueReadAllNotifications, we start by setting wakupPending to
> false and advisoryPos to true, to indicate that we've woken up, and that
> we will now start advancing the pos.  We also check if the pos is behind
> the advisory pos, and if so use the advisory pos to update the pos.
>
> In asyncQueueReadAllNotifications's PG_FINALLY block, we reset
> advancingPos to false, and detect if the advisoryPos was set by
> SignalBackends while we were processing messages on the queue, and if
> so, and if the advisoryPos is ahead of our pos, we update our shared pos
> with the advisoryPos, and otherwise update the shared pos with the new
> pos.

Looks like the bug with truncating of the queue is gone, advancingPos
does the trick, great.

Maybe I missed something, but I failed to find an example where we can
take advantage of advisoryPos:

    SignalBackends(void)
    ...

        if (QUEUE_POS_EQUAL(pos, queueHeadBeforeWrite))
        {
           ...
           if (!QUEUE_BACKEND_ADVANCING_POS(i))
              QUEUE_BACKEND_POS(i) =3D queueHeadAfterWrite;
           else if (QUEUE_POS_PRECEDES(advisoryPos, queueHeadAfterWrite))
              QUEUE_BACKEND_ADVISORY_POS(i) =3D queueHeadAfterWrite;
        }

We update advisoryPos if:
1) listener's advancingPos is true
2) listener's pos equals queueHeadBeforeWrite

(1) means the listener is currently reading. (2) means notifications
that the listener is currently reading belong to us (or it's even
possible that the listener is reading notifications that were added in
the queue after ours). And since the listener is reading, it will only
see updated advancingPos in the PG_FINALLY, where listener's pos will
already be >=3D queueHeadAfterWrite (as result of reading).


This condition seems to be redundant. I would say it should always be
true, otherwise it would mean that somebody allowed the listener to
skip our notification.

    else if (QUEUE_POS_PRECEDES(advisoryPos, queueHeadAfterWrite))


Best regards,
Arseniy Mukhin