VirtualTam's bookmarks

1. Finding the “Second Bug” in glibc’s Condition Variable 2022-09-20

   tags: concurrency/threading, formal-specification/tla+, programming/c, programming/ocaml

   [ permalink ]
2. Learn TLA+ - Temporal Logic of Actions 2022-07-04

   tags: book, formal-specification/tla+

   [ permalink ]

   • https://www.hillelwayne.com/post/learntla/
3. Fixing a MongoDB Replication Protocol Bug with TLA+ - William Schultz 2022-05-31

   tags: database/mongodb, distributed, distributed-system/cluster, formal-specification/tla+, protocol

   [ permalink ]

   • https://www.youtube.com/watch?v=x9zSynTfLDE