Discussing “An optimality theory of concurrency control for databases” by Kung & Papadimitriou
Konstantinos Kallas
This blog post is an intro to a (potentially long) series of posts that revolve around correctness criteria of concurrent objects and systems, most notably linearizability, sequential consistency, serializability, etc. My objective is to write these blog posts to help me better understand the...