러스트용 데드락 방지 뮤텍스 라이브러리 Surelock 공개

Fission 출신 개발자 Brooklyn Zelenka가 러스트용 데드락 방지 라이브러리 'Surelock'을 공개했다. 기존 러스트는 컴파일 타임에 데이터 레이스는 방지하지만 데드락은 런타임에만 발견되는 문제가 있었다.

Surelock은 1971년 Coffman이 정의한 데드락 발생 4조건 중 '순환 대기'를 제거하는 방식으로 작동한다. 두 가지 핵심 메커니즘을 사용한다: 동일 레벨 락들은 결정론적 순서로 원자적으로 획득하는 'LockSet'과 교차 레벨 락들은 컴파일 타임 순서 강제를 통해 점진적으로 획득하는 'Level<N>' 시스템이다.

라이브러리의 모든 공개 API는 안전하며, unsafe 코드는 내부 뮤텍스에만 제한된다. no_std 환경과 호환되고 런타임 의존성이 없다. 코드가 컴파일되면 데드락이 발생하지 않음을 보장하며, Result나 Option, 런타임 패닉 없이 락을 획득할 수 있다.

개발자는 "데드락은 코드 리뷰에서 보이지 않고 CI를 수천 번 통과한 후 예상치 못한 요청 패턴에서 새벽 3시에 시스템을 멈춘다"며 기존 뮤텍스의 한계를 지적했다. 현재 프리릴리스 단계로 피드백을 받고 있다.