Re: Potential G2-item cycles under serializable isolation - Mailing list pgsql-bugs

From Kyle Kingsbury
Subject Re: Potential G2-item cycles under serializable isolation
Date
Msg-id 0a53caa2-d568-0283-a448-96bd4d68c235@jepsen.io
Whole thread Raw
In response to Re: Potential G2-item cycles under serializable isolation  (Peter Geoghegan <pg@bowt.ie>)
Responses Re: Potential G2-item cycles under serializable isolation  (Thomas Munro <thomas.munro@gmail.com>)
Re: Potential G2-item cycles under serializable isolation  (Peter Geoghegan <pg@bowt.ie>)
List pgsql-bugs
On 6/10/20 9:10 PM, Peter Geoghegan wrote:
> On Mon, Jun 8, 2020 at 7:30 PM Peter Geoghegan <pg@bowt.ie> wrote:
>> I'll try to write an isolationtester test tomorrow.
> Attached is v3, which has an isolationtester test.
>
> It also fixes an assertion failure that could happen in rare cases,
> which was reported to me privately by Thomas. We now explicitly don't
> go ahead with an XID when it precedes TransactionXmin.

Thanks so much for investigating this, Peter. And thanks to everyone else here 
who helped get this sorted out--y'all have done great work. :)

I wanted to let you know that I've put together a draft of a report on these 
findings, and if you've got any comments you'd like to offer, I'd be happy to 
hear them, either on-list or privately. 
http://jepsen.io/analyses/postgresql-12.3?draft-token=Kets1Quayfs

People reading this list: hi please don't leak this to twitter/HN/etc just yet, 
I'd like to give it a few days to settle before release. :)

--Kyle




pgsql-bugs by date:

Previous
From: PG Bug reporting form
Date:
Subject: BUG #16489: Cannot strictly compare arrays in jsonb_path_query call that uses vars
Next
From: Thomas Munro
Date:
Subject: Re: Potential G2-item cycles under serializable isolation