/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

 remy.wang
si
| | surfingcomplexity.blog
Extending MVCC to be serializable, in TLA+ - Surfing Complexity
4.2 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...
| | www.bailis.org
Linearizability versus Serializability | Peter Bailis
6.1 parsecs away

Travel
| |
| | justinjaffray.com
What Does Write Skew Look Like?
2.6 parsecs away

Travel
| | [AI summary] This technical blog post explains write skew anomalies and how they occur within Snapshot Isolation in databases, providing mathematical proofs and examples to help developers gain intuition about database concurrency control guarantees.
| | jack-vanlightly.com
Table format interoperability, future or fantasy? - Jack Vanlightly
21.4 parsecs away

Travel
| In the world of open table formats (Apache Iceberg, Delta Lake, Apache Hudi, Apache Paimon, etc), an emerging trend is to provide interoperability between table formats by cross-publishing metadata. It allows a table to be written in table format X but read in format Y or Z. Cross-publishing is the idea of a table having: * A primary table format that you write to. * Equivalent metadata files of one or more secondary formats that allow the table to be read as if it were of that secondary format.