Haskell programming language on Mythryl: “"linear-locks: locking primitives free of deadlocks" If you…”

"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

discourse.haskell.org[ANN] linear-locks: locking primitives free of deadlockslinear-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...

14/5/26, 8:24 pm4 reposts15 likes

Post