🦀 Rust не ловит дедлоки, он их просто не компилирует

Вместо того чтобы надеяться, что ты правильно расставил lock’и и ничего не сломаешь в рантайме, Surelock выносит всю проблему дедлоков на уровень типов.

Ошибся с порядком захвата мьютексов?

Код даже не соберётся.
И это не какая-то игрушка. API остаётся удобным.

По факту:

• компилятор сам проверяет порядок локов
• невозможно случайно создать дедлок
• эргономика остаётся на уровне обычного Rust
•
Это тот случай, когда безопасность не «поверх», а встроена в саму модель языка.
Rust снова делает то, что другие языки даже не пытаются.

https://notes.brooklynzelenka.com/Blog/Surelock