Idea : Lock Free STD Collection
Rust Internals [Unofficial]
March 7, 2026
Wait free is a strict subset of lock free. Wait free guarantees forward progress for all threads. Lock free guarantees forward progress for at least one thread. These properties have to hold even if an arbitrary strict subset of the participating threads are suspended.
I don't see these terms misused much, at least not in hard realtime where I work. Using wait free as a synonym to lock free is just wrong.
Discussion in the ATmosphere