20.04.2026
Дедлоки никому не нравятся
Surelock - это библиотека для Rust, которая не даёт вашей программе задедлочится. С обычными мьютексами можно случайно создать ситуацию, когда два потока вечно ждут друг друга. Surelock решает эту проблему на этапе компиляции: если код собрался - значит, взаимоблокировки точно не будет.
Библиотека использует два подхода: для одинаковых ресурсов она блокирует их все сразу в строгом порядке, а для разных - заставляет соблюдать очерёдность, сначала один уровень, потом друго). Всё это отслеживается через специальный "ключ", который переходит от одной блокировки к другой. В итоге вы получаете безопасную работу с мьютексами на этапе компиляции.
