/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

 justinjaffray.com
What Does Write Skew Look Like?
| | surfingcomplexity.blog
Extending MVCC to be serializable, in TLA+ - Surfing Complexity
2.0 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...
| | jepsen.io
Snapshot Isolation
1.6 parsecs away

Travel
| | [AI summary] This article explains the concepts, mechanics, exceptions, and comparisons of snapshot isolation within database transactional systems.
| | blog.acolyer.org
Elle: inferring isolation anomalies from experimental observations | the morning paper
4.4 parsecs away

Travel
| | [AI summary] The post discusses a new tool called Elle, which efficiently infers and detects isolation anomalies in database systems by analyzing execution histories and reconstructing dependency graphs.
| | muratbuffalo.blogspot.com
Serializable Isolation for Snapshot Databases
6.8 parsecs away

Travel
| This paper (SIGMOD '08) proposes a lightweight runtime technique to make Snapshot Isolation (SI) serializable without falling back to locki...