public inbox for [email protected]  
help / color / mirror / Atom feed
From: Bruce Momjian <[email protected]>
To: David G. Johnston <[email protected]>
Cc: Kevin Grittner <[email protected]>
Cc: Peter Eisentraut <[email protected]>
Cc: [email protected] <[email protected]>
Subject: Re: Add a new table for Transaction Isolation?
Date: Sat, 25 Apr 2015 15:16:17 -0400
Message-ID: <[email protected]> (raw)
In-Reply-To: <CAKFQuwatuNUNKk+kTH53McEQWKs1OyDGKrPAZQ2USe+p4oSwsQ@mail.gmail.com>
References: <CAKFQuwaoKam6T3wxGbGzCBRjp72rueU0KVY7GSSFDz00PCykUw@mail.gmail.com>
	<[email protected]>
	<[email protected]>
	<CAKFQuwatuNUNKk+kTH53McEQWKs1OyDGKrPAZQ2USe+p4oSwsQ@mail.gmail.com>
List-Unsubscribe: <mailto:[email protected]?body=unsub%20pgsql-docs>

On Sat, Apr 25, 2015 at 11:33:36AM -0700, David G. Johnston wrote:
> On Sat, Apr 25, 2015 at 11:02 AM, Bruce Momjian <[email protected]> wrote:
> 
>     On Fri, Apr 24, 2015 at 08:40:40PM +0000, Kevin Grittner wrote:
>     > And, for reasons given above, I really question whether such a
>     > table doesn't do more harm than good.  Even those citing the paper
>     > by Berenson, et al., often miss the text in *that* paper about what
>     > the actual definition of serializable transactions in the standard
>     > is, and instead focus on the quick-to-read tables of how the
>     > misinterpretation of serializable transactions based on the
>     > standard's table of phenomena (which the paper dubs "ANOMALY
>     > SERIALIZABLE") differs from truly serializable behavior.
>     >
>     > People do love tables like this, which makes providing them
>     > tempting; but when a short, clean table is available they often
>     > seem less inclined to take the trouble to read the real information
>     > the table summarizes -- and they come away with distorted and
>     > incorrect ideas about the subject matter.
> 
>     I don't think we can abandon the table --- people have enough trouble
>     figuring this out, including me, and without the table, it will be even
>     harder.
> 
>     What I have done is to add two rows and one column to the table, and
>     changed the surrounding text to more clearly reference the table.  You
>     can see the output here, and the SGML patch is attached:
> 
>             http://momjian.us/expire/transaction-iso.html
> 
> 
> Need to add "Serialization Anomalies" to the previous section's definitions
> list.

Uh, I am afraid the problem is that "Serialization Anomalies" is kind of
defined by the standard in an odd way that is specific to serializable
mode, I think.  Kevin, is that true?

> ​Pondering whether something like: "Possible (not in PG)" and avoiding the
> additional rows would make reading the table easier.

Uh, that's an idea.  I thought visually having two separate lines was
cleaner.

-- 
  Bruce Momjian  <[email protected]>        http://momjian.us
  EnterpriseDB                             http://enterprisedb.com

  + Everyone has their own god. +


-- 
Sent via pgsql-docs mailing list ([email protected])
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-docs



view thread (23+ messages)  latest in thread

reply

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: [email protected]
  Cc: [email protected], [email protected], [email protected], [email protected]
  Subject: Re: Add a new table for Transaction Isolation?
  In-Reply-To: <[email protected]>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox