/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

 surfingcomplexity.blog
Linearizability! Refinement! Prophecy! - Surfing Complexity
| | morestina.net
Minimalistic blocking bounded queue in C++ | More Stina Blog!
9.5 parsecs away

Travel
| | While working on speeding up a Python extension written in C++, I needed a queue to distribute work among threads, and possibly to gather their results. What I had in mind was something akin to Pyt...
| | jepsen.io
Consistency Models
2.7 parsecs away

Travel
| |
| | www.bailis.org
When Does Consistency Require Coordination? | Peter Bailis
9.3 parsecs away

Travel
| | [AI summary] A technical article introduces 'invariant confluence' (I-confluence), a property that determines when database consistency can be achieved without coordination or synchronous communication, leading to significant performance improvements in distributed systems.
| | surfingcomplexity.blog
Extending MVCC to be serializable, in TLA+ - Surfing Complexity
23.7 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...