Re:Hermitage: Testing the “I” in ACID
by jeffdavis on Thursday November 27, 2014 @11:26AM
(#8667856)
Did you actually try in postgres? If so, please provide an example.
Re:Hermitage: Testing the “I” in ACID
by jasonwatkinspdx on Sunday November 30, 2014 @01:33AM
(#8676192)
Read the papers.
Think of a transaction that inserts a row representing a withdrawal, updates a materialized total balance, and checks that it's positive. Under snapshot isolation, two concurrent instances of this transaction could commit. The materialized balance would reflect only one of the debits however, and would be inconsistent vs queries that recompute the aggregate in full.
Postgres pre version 9.2-ish would allow this situation even in "serializable" mode. Later versions wouldn't.