Chapter 7 of the Concurrency Control and Recovery in Database Systems book by Bernstein and Hadzilacos (1987) tackles the distributed commi...| muratbuffalo.blogspot.com
This paper is from IBM, 1992. This is a foundational paper in databases area. ARIES achieves long-running transaction recovery in a perform...| muratbuffalo.blogspot.com
So it goes: your system is purring like a tiger, devouring requests, until, without warning, it slumps into existential dread. Not a crash. ...| muratbuffalo.blogspot.com
This paper presents a new way to reason about transaction-isolation based on application-observable states, in lieu of prior history-based ...| muratbuffalo.blogspot.com
Chapter 5 of Concurrency Control and Recovery in Database Systems (1987) introduces multiversion concurrency control (MVCC), a fundamental ...| muratbuffalo.blogspot.com
Chapter 4 of the Concurrency Control and Recovery in Database Systems book (1987) opens with a sentence that doesn't quite pass the grammar...| muratbuffalo.blogspot.com
Chapter 3 presents two-phase locking (2PL). Remember I told you in Chapter 2: Serializability Theory that the discussion is very scheduler-...| muratbuffalo.blogspot.com
Joint work with Will Schultz . A transaction groups multiple operations into an all-or-nothing logical-box to reduce the surface area expose...| muratbuffalo.blogspot.com
I'm catching up on Phil Eaton's book club and just finished the preface and Chapter 1 of Concurrency Control and Recovery in Database Syste...| muratbuffalo.blogspot.com
This paper (to appear in VLDB'25) proposes a consensus algorithm called "Cabinet", which dynamically adjusts node weights based on responsi...| muratbuffalo.blogspot.com
This paper from SIGMOD 2016 proposes a transaction healing approach to improve the scalability of Optimistic Concurrency Control (OCC) in m...| muratbuffalo.blogspot.com
Aleksey and I sat down to read this paper on Monday night. This was an experiment which aimed to share how experts read papers in real tim...| muratbuffalo.blogspot.com
This EuroSys '23 paper reads like an SOSP best paper. Maybe it helped that EuroSys 2023 was in Rome. Academic conferences are more enjoyabl...| muratbuffalo.blogspot.com
This paper (SIGMOD '08) proposes a lightweight runtime technique to make Snapshot Isolation (SI) serializable without falling back to locki...| muratbuffalo.blogspot.com
On distributed systems broadly defined and other curiosities. The opinions on this site are my own.| muratbuffalo.blogspot.com
With Chapter 6, the Concurrency Control and Recovery in Database Systems book shifts focus from concurrency control to the recovery! This c...| muratbuffalo.blogspot.com
Chapter 2 of Concurrency Control and Recovery in Database Systems (1987) by Bernstein, Hadzilacos, and Goodman is a foundational treatment ...| muratbuffalo.blogspot.com
I attended the TLA+ Community Event at Hamilton, Ontario on Sunday. Several talks pushed the boundaries of formal methods in the real world...| muratbuffalo.blogspot.com
This EuroSys 2025 paper wrestles with the messy interface between formal specification and implementation reality in distributed systems. T...| muratbuffalo.blogspot.com
Entrepreneurs think and act differently from managers and strategists. This 2008 paper argues that entrepreneurs use effectual reasoning, t...| muratbuffalo.blogspot.com
This paper (2021) dives deeper in the Parallel Raft protocol introduced with PolarFS. PolarFS (VLDB'18) is a distributed file system with ...| muratbuffalo.blogspot.com
This paper (NSDI'25) applies lightweight formal methods (hence the pun "smart casual" in contrast to formal attire) to the Confidential Con...| muratbuffalo.blogspot.com
I have been reviewing papers for USENIX ATC and handling work stuff at MongoDB Research. I cannot blog about either yet. So, instead of a pa...| muratbuffalo.blogspot.com
This paper , presented in the industry track of ICDE 2024 , introduces GaussDB-Global (GlobalDB) , Huawei's geographically distributed datab...| muratbuffalo.blogspot.com
Distributed systems are characterized by nodes executing concurrently with no shared state and no common clock. Coordination between nodes a...| muratbuffalo.blogspot.com
This master's thesis at Lund University Sweden explores how CockroachDB 's transactional performance can be improved by using tightly synch...| muratbuffalo.blogspot.com
Incremental computation represents a transformative (!) approach to data processing. Instead of recomputing everything when your input chang...| muratbuffalo.blogspot.com
I have been teaching a TLA+ miniseries inside AWS. I just finished the 10th week, with a one hour seminar each week. I wanted to pen down my...| muratbuffalo.blogspot.com