From: Zhang Mingli <zmlpostgres@gmail.com>
To: pgsql-bugs@lists.postgresql.org, Glen Mailer <glen@geckoboard.com>
Subject: Re: Possible bug with SKIP LOCKED behaviour
Date: Thu, 29 Sep 2022 10:41:42 +0800
Message-ID: <33029e69-53fd-44b7-81be-4bd3891cf23b@Spark> (raw)
In-Reply-To: <CAHvdy4VdisRrJ9mYyaVo++S+q2PuXn2K-yU_AHXQ_Z+UgdyFcA@mail.gmail.com>
References: <CAHvdy4VdisRrJ9mYyaVo++S+q2PuXn2K-yU_AHXQ_Z+UgdyFcA@mail.gmail.com>
Hi,
On Sep 29, 2022, 00:56 +0800, Glen Mailer <glen@geckoboard.com>, wrote:
> Hello everyone
>
> I believe I've run into a bug in the behaviour of SKIP LOCKED, where I have a program that implements a queue with concurrent workers SELECTing work from some shared tables.
>
> The code in question does a LEFT JOIN across two tables with a FOR UPDATE on the left table and a SKIP LOCKED clause, and then UPDATEs or INSERTs rows into the table on right side of the JOIN in a way that leads to subsequent executions of the same query to no longer match those rows. However, when run concurrently I'm seeing the same row be selected by multiple workers - which shouldn't be possible based on my understanding of the relevant semantics of these operations. Perhaps I'm just holding it wrong, but I would have expected the FOR UPDATE lock on the left table to be sufficient to avoid overlapping results.
>
> I have extracted a fairly minimal reproducing case from our production code, which includes some Go code as a test harness to run the queries concurrently enough to demonstrate the problem - this can be found at https://github.com/glenjamin/postgres-skip-locked-surprise
> I wasn't sure how much detail from that reproducing case to repeat in this email, so I've only gone with an outline of the observed and expected behaviour - but I can try and add more detail to this thread if desired
>
> Cheers
> Glen
According to doc:
With SKIP LOCKED, any selected rows that cannot be immediately locked are skipped. Skipping locked rows provides an inconsistent view of the data, so this is not suitable for general purpose work, but can be used to avoid lock contention with multiple consumers accessing a queue-like table.
> this can be found at https://github.com/glenjamin/postgres-skip-locked-surprise
And a golang script is not convenient for hackers to reproduce. Could you provide some steps to produce the bug stably if it really was ?
Regards,
Zhang Mingli
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Reply to all the recipients using the --to and --cc options:
reply via email
To: pgsql-bugs@postgresql.org
Cc: zmlpostgres@gmail.com, glen@geckoboard.com
Subject: Re: Possible bug with SKIP LOCKED behaviour
In-Reply-To: <33029e69-53fd-44b7-81be-4bd3891cf23b@Spark>
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
This inbox is served by DDX for PostgreSQL; see mirroring instructions
for how to clone and mirror all data and code used for this inbox