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

Linearizability! Refinement! Prophecy!

Lorin Hochstein · published 22 September 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
1blogs citing
First cited
23 Dec 2024
Most recent
23 Dec 2024
Rank this month
not ranked
Links from this post
93
Words captured
8,323

Cited by

Blog
In the post
Date
concerningquality.com
Controlling Nondeterminism in Model-Based Tests with Prophecy Variables Read at the source ↗
23 Dec 2024

Links from this post

Link
Host
Linearizability: A Correctness Condition for Concurrent Objects Read at the source ↗
muratbuffalo.blogspot.com
https://dl.acm.org/doi/10.1145/78969.78972
dl.acm.org
https://lamport.org/
lamport.org
https://research.google/people/abadi/
research.google
https://www.youtube.com/watch?v=8nNJw-k8Ma0&t=15m
youtube.com
https://conf.tlapl.us/2021/
conf.tlapl.us
https://lamport.azurewebsites.net/tla/science.pdf
lamport.azurewebsites.net
https://lamport.azurewebsites.net/tla/tla.html
lamport.azurewebsites.net
https://www.learntla.com/core/temporal-logic.html
learntla.com
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-17.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-67.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-71.png
surfingcomplexity.blog
https://twitter.com/norootcause/status/1263591890517032966?ref_src=twsrc%5Etfw
twitter.com
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-1.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-2.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-3.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/08/image-88.png
surfingcomplexity.blog
https://www.learntla.com/core/operators.html
learntla.com
https://surfingcomplexity.blog/wp-content/uploads/2024/08/image-90.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/08/image-59.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-72.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/08/image-65.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-70.png
surfingcomplexity.blog
https://github.com/lorin/tla-prophecy/blob/master/Queue.tla
github.com
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-69.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/08/image-94.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/08/image-100.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/08/image-95.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/08/image-98.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/08/image-99.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-22.png
surfingcomplexity.blog
https://github.com/lorin/tla-prophecy/blob/master/LinearizableQueue.tla
github.com
https://surfingcomplexity.blog/wp-content/uploads/2024/08/image-87.png
surfingcomplexity.blog
https://github.com/lorin/tla-prophecy/blob/master/queue.py
github.com
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-4.png
surfingcomplexity.blog
https://www.learntla.com/core/pluscal.html
learntla.com
https://github.com/lorin/tla-prophecy/blob/master/LLLQueue.tla
github.com
https://surfingcomplexity.blog/wp-content/uploads/2024/08/image-23.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-19.png
surfingcomplexity.blog
https://lamport.azurewebsites.net/pubs/pubs.html
lamport.azurewebsites.net
https://surfingcomplexity.blog/wp-content/uploads/2024/08/image-24.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-20.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-23.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-24.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-5.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-6.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-7.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-8.png
surfingcomplexity.blog
https://en.cppreference.com/w/cpp/atomic/atomic
en.cppreference.com
https://en.cppreference.com/w/cpp/atomic/atomic/fetch_add
en.cppreference.com
https://en.cppreference.com/w/cpp/atomic/atomic_store
en.cppreference.com
https://en.cppreference.com/w/cpp/atomic/atomic_load
en.cppreference.com
https://en.cppreference.com/w/cpp/atomic/atomic/operator_arith
en.cppreference.com
https://en.cppreference.com/w/cpp/atomic/atomic/operator%3D
en.cppreference.com
https://en.cppreference.com/w/cpp/atomic/atomic/operator_T
en.cppreference.com
https://github.com/lorin/tla-prophecy/blob/master/HWQueue.tla
github.com
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-12.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-13.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-14.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-16.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-29.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-30.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-32.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-33.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-34.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-38.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-39.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-46.png
surfingcomplexity.blog
https://github.com/lorin/tla-prophecy/blob/master/HWQueueProphecy.tla
github.com
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-47.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-50.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-48.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-52.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-53.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-55.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-59.png
surfingcomplexity.blog
https://github.com/lorin/tla-prophecy/blob/master/POFifopq.tla
github.com
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-61.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-63.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-64.png
surfingcomplexity.blog
https://surfingcomplexity.blog/wp-content/uploads/2024/09/image-65.png
surfingcomplexity.blog
https://github.com/lorin/tla-prophecy
github.com
https://www.hillelwayne.com/post/refinement/
hillelwayne.com
https://doi.org/10.1145/78969.78972
doi.org
https://www.microsoft.com/en-us/research/publication/the-existence-of-refinement-mappings/
microsoft.com
https://dl.acm.org/doi/10.1145/3492545
dl.acm.org
https://lamport.azurewebsites.net/tla/p-manual.pdf
lamport.azurewebsites.net
https://learntla.com/
learntla.com
https://jepsen.io/consistency
jepsen.io
https://aphyr.com/about
aphyr.com
https://jepsen.io/
jepsen.io
https://t.co/4O2jfgfGQV
t.co