The Serial Safety Net: Efficient Concurrency Control on Modern Hardware(muratbuffalo.blogspot.com)

9 points by ingve 7 months ago | 0 comments

Making database systems usable(muratbuffalo.blogspot.com)

126 points by jamesblonde 2 years ago | 123 comments

Distributed Transactions at Scale in Amazon DynamoDB (2023)(muratbuffalo.blogspot.com)

63 points by lambrospetrou 1 year ago | 38 comments

Chess invariants(muratbuffalo.blogspot.com)

85 points by ingve 5 months ago | 52 comments

In Search of a Compositional Theory of Self-Stabilization(muratbuffalo.blogspot.com)

44 points by matt_d 1 month ago | 3 comments

Blog post on the Metadata blog exploring compositional theories of self-stabilization, using a rely-guarantee TLA+ model of a retry storm and metastable failure.

Linearizability: A correctness condition for concurrent objects(muratbuffalo.blogspot.com)

49 points by matt_d 2 years ago | 3 comments