Login
From:
Surfing Complexity
(Uncensored)
subscribe
Futexes in TLA+ – Surfing Complexity
https://surfingcomplexity.blog/2024/10/05/futexes-in-tla/
links
backlinks
Tagged with:
formal methods
tlaplus
Justine Tunney recently wrote a blog post titled The Fastest Mutexes where she describes how she implemented mutexes in Cosmopolitan Libc. The post discusses how her implementation uses futexes by …
Roast topics
Find topics
Find it!
