corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0d359-bc0c-7066-a2b8-277546a3ade1

Extending MVCC to be serializable, in TLA+

Lorin Hochstein · published 4 November 2024

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at surfingcomplexity.blog Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
32
Words captured
1,560

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
Multi-version concurrency control in TLA+ Read at the source ↗
surfingcomplexity.blog
https://jepsen.io/consistency/models/serializable
jepsen.io
https://jepsen.io/consistency/models/snapshot-isolation
jepsen.io
https://www.linkedin.com/in/michaeljcahill/
linkedin.com
https://www.uweroehm.com/
uweroehm.com
https://www.sydney.edu.au/engineering/about/our-people/academic-staff/alan-fekete.html
sydney.edu.au
https://github.com/lorin/snapshot-isolation-tla/blob/main/SSI.tla
github.com
https://github.com/lorin/snapshot-isolation-tla/blob/main/SSI.pdf
github.com
https://surfingcomplexity.blog/wp-content/uploads/2024/11/image.png
surfingcomplexity.blog
http://web.cecs.pdx.edu/~len/sql1999.pdf
web.cecs.pdx.edu
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/tr-95-51.pdf
microsoft.com
http://pmg.csail.mit.edu/papers/adya-phd.pdf
pmg.csail.mit.edu
https://surfingcomplexity.blog/wp-content/uploads/2024/11/image-8.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/11/image-9.png
surfingcomplexity.blog
https://dsf.berkeley.edu/cs286/papers/ssi-tods2005.pdf
dsf.berkeley.edu
https://surfingcomplexity.blog/wp-content/uploads/2024/11/image-17.png
surfingcomplexity.blog
https://courses.cs.washington.edu/courses/cse444/08au/544M/READING-LIST/fekete-sigmod2008.pdf
courses.cs.washington.edu
https://surfingcomplexity.blog/wp-content/uploads/2024/11/image-18.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/11/image-19.png
surfingcomplexity.blog
https://apalache-mc.org/docs/adr/002adr-types.html
apalache-mc.org
https://surfingcomplexity.blog/wp-content/uploads/2024/11/image-21.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/11/image-2.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/11/image-26.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/11/image-25.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/11/image-24.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/11/image-23.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/11/image-22.png
surfingcomplexity.blog
https://github.com/lorin/snapshot-isolation-tla/blob/main/SSIRefinement.tla
github.com
https://github.com/lorin/snapshot-isolation-tla/blob/main/SSIRefinement.pdf
github.com
https://github.com/lorin/snapshot-isolation-tla/blob/main/MVCCRefinement.tla
github.com
https://github.com/lorin/snapshot-isolation-tla/blob/main/MVCCRefinement.pdf
github.com
https://github.com/lorin/snapshot-isolation-tla
github.com