Explore >> Select a destination

You are here

 blog.acolyer.org
Elle: inferring isolation anomalies from experimental observations | the morning paper
| | justinjaffray.com
What Does Write Skew Look Like?
3.7 parsecs away

Travel
| |
| | blog.thislongrun.com
The confusing CAP and ACID wording
4.5 parsecs away

Travel
| | CAP theorem and databases: definitions of ACID, Atomic, Consistent, Isolated, Durable vs. available and partition.
| | 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...
| | muratbuffalo.blogspot.com
Automated Validation of State-Based Client-Centric Isolation with TLA+ (2021)
26.6 parsecs away

Travel
| This work provides a TLA+ formalization of t he state-based isolation model introduced in the PODC 2017 paper. The TLA+ models provided her...