On Tue, Feb 21, 2023 at 9:46 AM Peter Geoghegan <pg@bowt.ie> wrote:
> All that you need is two statements within the same READ COMMITTED
> transaction, combined with a second concurrently executing
> transaction. The second transaction need only start after the first
> one (giving it a later XID), and then commit before the first
> transaction's second statement begins. Each RC statement gets its own
> snapshot, so the second statement in the first transaction can see any
> effects from the first transaction.
Correction: Each RC statement gets its own snapshot, so the second
statement in the first transaction can see any effects from the
*second* (now committed) transaction.
--
Peter Geoghegan