#mutex

Hacker News가 주목한 Surelock, deadlock을 compile time에 막는 Rust mutex 설계

Rust용 새 라이브러리 Surelock은 deadlock freedom을 runtime 규율이 아니라 type system 쪽으로 끌어올릴 수 있다고 주장한다. same-level lock의 deterministic ordering과 cross-level lock의 compile-time ordering을 결합해 잘못된 lock sequence를 build error로 바꾸는 설계가 핵심이다.