"linear-locks: locking primitives free of deadlocks" If you encounter STM's limitations when it comes to lock-free synchronisation, then Linear Haskell-backed locks maybe the solution you want! discourse.haskell.org/t/ann-linear... #Haskell
[ANN] linear-locks: locking primitives free of deadlocks
linear-locks provides locking primitives that are statically guaranteed not to lead to deadlocks. It achieves this by breaking one of the Coffman conditions for deadlocks: the “circular wait” conditi...
discourse.haskell.org
