Category: transactions
Posts in this Category (5)
Understanding Transactions in Rails
Published on: September 30, 2015
In my previous post I have noted that Rails encourages application developers to rely on feral mechanisms, such as validations and associations, to ensure application integrity. In this post, I first explore various feral mechanisms in Rails, and how they are being used by some sample applications. Next, I will...Understanding Transactions in Quelea
Published on: September 28, 2015
Quelea is our eventually consistent data store with an associated programming framework intended to simplify programming under eventual consistency. In this post, I describe how various applications written in Quelea employ a combination of highly available and serializable transactions to enforce application integrity. Three applications participate in this survey: BankAccount:...Notes - Feral Concurrency Control
Published on: September 24, 2015
This post is a compilation of my notes on Peter Bailis et al’s SIGMOD’15 paper: Feral Concurrency Control: An Empirical Investigation of Modern Application Integrity. Background Modern relational DBMs offer a range of primitives to help the developer ensure application integrity, even under the presence of concurrency: built-in integrity constraints...Atomicity vs Isolation
Published on: July 31, 2015
From the perspective of a transaction, Isolation: How should I see effects of other transactions. Atomicity: How other transactions see my effects.SC vs Linearizability
Published on: September 23, 2014
Sequential consistency requires that all data operations appear to have executed atomically in some sequential order that is consistent with the order seen at every individual process. If instead of individual data operations, we apply sequential consistency to transactions, the resultant condition is called serializability in database theory. Linearizability imposes...