#deadlocks

Rust向け新ライブラリSurelockは、deadlock freedomをruntime disciplineではなくtype system側で担保できると主張する。same-level lockのdeterministic orderingとcross-level lockのcompile-time orderingを組み合わせ、危険なlock sequenceをbuild errorに変える設計が核だ。