News for hackers. Stuff that matters.

A comment on A collection of lock-free data structures written in standard C++11. Parent comment

Re:A collection of lock-free data structures written in stan... by gjadi on Wednesday May 10, 2023 @09:22AM (#35886971)
You could use TLA+ to model the data structure operations and check the invariant. Checking the invariant with assert is also useful in my limited experience with concurrency.

https://lamport.azurewebsites.net/tla/tla.html

[ Parent | on HN ]
Re:A collection of lock-free data structures written in stan... by dnedic on Wednesday May 10, 2023 @09:24AM (#35886999)
Thanks a lot, will check this out!
[ Parent | on HN ]