Re: Implementing SQL ASSERTION - Mailing list pgsql-hackers

From Joe Wildish
Subject Re: Implementing SQL ASSERTION
Date
Msg-id D5A3330B-4A60-488D-80C7-06BB9442DD67@elusive.cx
Whole thread Raw
In response to Re: Implementing SQL ASSERTION  (David Fetter <david@fetter.org>)
Responses Re: Implementing SQL ASSERTION
List pgsql-hackers
Hi David,

On 15 Jan 2018, at 16:35, David Fetter <david@fetter.org> wrote:

It sounds reasonable enough that I'd like to make a couple of Modest
Proposals™, to wit:

- We follow the SQL standard and make SERIALIZABLE the default
 transaction isolation level, and

- We disallow writes at isolation levels other than SERIALIZABLE when
 any ASSERTION could be in play.

Certainly it would be easy to put a test into the assertion check function to require the isolation level be serialisable. I didn’t realise that that was also the default level as per the standard. That need not necessarily be changed, of course; it would be obvious to the user that it was a requirement as the creation of an assertion would fail without it, as would any subsequent attempts to modify the involved tables.

-Joe

pgsql-hackers by date:

Previous
From: Peter Geoghegan
Date:
Subject: Re: [HACKERS] Parallel tuplesort (for parallel B-Tree index creation)
Next
From: Robert Haas
Date:
Subject: Re: [HACKERS] WIP: Aggregation push-down