/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 blog.acolyer.org
Elle: inferring isolation anomalies from experimental observations | the morning paper
| | buttondown.com
TPC-See? Buttondown
3.2 parsecs away

Travel
| | One thing about concurrency control ("isolation") in a transactional database is that it incurs costs, and there's broadly two kinds of such costs. The first...
| | surfingcomplexity.blog
Extending MVCC to be serializable, in TLA+ - Surfing Complexity
1.6 parsecs away

Travel
| | In the previous blog post, we saw how a transaction isolation strategy built on multi-version concurrency control (MVCC) does not implement the serializable isolation level. Instead, it implements a weaker isolation level called snapshot isolation. In this post, I'll discuss how that MVCC model can be extended in order to achieve serializability, based on work...
| | muratbuffalo.blogspot.com
Chapter 2: Serializability Theory (Concurrency Control Book)
4.8 parsecs away

Travel
| | Chapter 2 of Concurrency Control and Recovery in Database Systems (1987) by Bernstein, Hadzilacos, and Goodman is a foundational treatment ...
| | chelseatroy.com
Raft 10: Leader Elections, Part 1 - Chelsea Troy
43.1 parsecs away

Travel
| In December, I took a course in which we attempted to implement the Raft distributed consensus algorithm fromthis paper. Parts 1-5 of this series share insights from the course. From then on, I'm guiding you through my continued work implementing Raft "for fun" (I know. I don't understand me, either). Here's where you can see...