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

Futexes in TLA+

Lorin Hochstein · published 6 October 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
18
Words captured
3,637

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://justine.lol/mutex/
justine.lol
https://justine.lol/cosmopolitan/index.html
justine.lol
https://github.com/google/nsync
github.com
https://sourceware.org/glibc/
sourceware.org
https://musl.libc.org/
musl.libc.org
https://lamport.azurewebsites.net/tla/tutorial/intro.html
lamport.azurewebsites.net
https://github.com/lorin/futex-tla/blob/main/mutex.tla
github.com
https://github.com/lorin/futex-tla/blob/main/mutex.cfg
github.com
https://github.com/markwaterman/MutexShootout
github.com
https://cis.temple.edu/~giorgio/cis307/readings/futex.pdf
cis.temple.edu
https://surfingcomplexity.blog/wp-content/uploads/2024/10/image-1.png
surfingcomplexity.blog
https://www.man7.org/linux/man-pages/man2/futex.2.html
man7.org
https://github.com/lorin/futex-tla/blob/main/futex.tla
github.com
https://github.com/torvalds/linux/blob/v6.11/kernel/futex/futex.h
github.com
https://github.com/torvalds/linux/blob/v6.11/kernel/futex/waitwake.c
github.com
https://github.com/torvalds/linux/blob/v6.11/include/linux/sched/wake_q.h
github.com
https://github.com/lorin/futex-tla/blob/main/futex.cfg
github.com
https://github.com/lorin/futex-tla
github.com