Toggle navigation
TYCON
Home
Links
Archive
About
RSS
module type of TyCon
Recent Posts
Vagaries of Git Merge
First-Class Modules and Modular Implicits in OCaml
Effective Serializability for Eventual Consistency
Dynamo and DynamoDB
Disciplined Inconsistency
Extraction in Coq
Notes - Terry's Session Guarantees
Effing Package Management (FPM)
Understanding Transactions in Rails
Understanding Transactions in Quelea
Notes - Feral Concurrency Control
Atomicity vs Isolation
ML Type Inference
SAT solving puzzles
Notes - Static Contract Checking for Haskell
Notes - A Data-Driven Approach for Algebraic Loop Invariants
Sequential Consistency and Datarace freedom in Weak Memory Models
SC vs Linearizability
Notes - McCarthy's Lisp and Reynolds's Definitional Interpreters
CAP Theorem and Related
Jul 31, 2015 - Atomicity vs Isolation
From the perspective of a transaction,
Isolation: How should I see effects of other transactions.
Atomicity: How other transactions see my effects.
Please enable JavaScript to view the
comments powered by Disqus.
Newer Post
Older Post