An isolation test for SERIALIZABLE READ ONLY DEFERRABLE

From: Thomas Munro <thomas(dot)munro(at)enterprisedb(dot)com>
To: Pg Hackers <pgsql-hackers(at)postgresql(dot)org>
Subject: An isolation test for SERIALIZABLE READ ONLY DEFERRABLE
Date: 2017-01-01 09:38:29
Message-ID: CAEepm=2Byq6_vi2WuXQPVQJTsCXB2Xd7-Pgq+zQncPy1E_Kyfg@mail.gmail.com
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-hackers

Hi hackers,

Here is a small patch to add a test exercising SERIALIZABLE READ ONLY
DEFERRABLE. It shows a well known example of a serialisation anomaly
caused by a read-only transaction under REPEATABLE READ (snapshot
isolation), then shows the different ways that SERIALIZABLE and
SERIALIZABLE READ ONLY DEFERRABLE avoid the anomaly.

To be able to do this, the patch modifies the isolation tester so that
it recognises wait_event SafeSnapshot.

--
Thomas Munro
http://www.enterprisedb.com

Attachment Content-Type Size
read-only-anomaly-under-si.patch application/octet-stream 9.5 KB

Responses

Browse pgsql-hackers by date

  From Date Subject
Next Message Michael Meskes 2017-01-01 10:18:28 Re: [WIP] RE: DECLARE STATEMENT setting up a connection in ECPG
Previous Message David Fetter 2017-01-01 03:34:00 Re: PoC: Make it possible to disallow WHERE-less UPDATE and DELETE