Forked from
The Rocq Prover / The Rocq Prover
Source project has a limited visibility.
-
Lasse Blaauwbroek authored
We introduce the `with_lock` combinator that locks a mutex in an atomic fashion. This ensures that exceptions thrown by signals will not leave the system in a deadlocked state.
Lasse Blaauwbroek authoredWe introduce the `with_lock` combinator that locks a mutex in an atomic fashion. This ensures that exceptions thrown by signals will not leave the system in a deadlocked state.
