OpenZFS의 거의 치명적인 버그가 Rust의 타입 시스템의 강력함을 보여주다

OpenZFS의 핵심 디스크 할당 함수에서 미묘하지만 파괴적인 버그가 최근 발견되었습니다. 이 버그는 잘못된 크기를 반환하는 단순한 타입 오류로 인해 데이터가 조용히 덮어쓰여질 수 있었습니다. 발견하는 데 약 이틀이 걸렸습니다. 이 버그는 출시 버전에는 없었지만, C 언어의 정적 분석 도구의 한계와 Rust의 타입 시스템의 장점에 대해 다시 생각하게 하는 계기가 되었습니다. Rust가 `PhysicalSize` 및 `AllocatedSize`와 같은 사용자 정의 타입을 정의할 수 있는 기능은 이 버그를 방지했을 것입니다. 저자는 프로그래머의 완벽성에만 의존하는 것은 불완전하며, 도구와 언어 기능을 활용하여 코드 품질을 향상시키고 감지하기 어렵고 영향이 큰 버그를 완화하는 것이 중요하다고 주장합니다.