Un bug OpenZFS presque catastrophique met en lumière la puissance du système de types de Rust

Un bug subtil mais dévastateur dans la fonction d'allocation de disque principale d'OpenZFS a récemment été découvert. Ce bug, une simple erreur de type entraînant le retour d'une taille incorrecte, pouvait silencieusement écraser des données. Il a fallu près de deux jours pour le traquer. Bien que le bug n'était pas présent dans les versions publiées, cela a suscité une réflexion sur les limites de l'analyse statique en C et les avantages du système de types de Rust. La capacité de Rust à définir des types personnalisés (comme `PhysicalSize` et `AllocatedSize`) aurait empêché cela. L'auteur soutient qu'il est erroné de compter uniquement sur la perfection du programmeur ; il est essentiel de tirer parti des outils et des fonctionnalités du langage pour améliorer la qualité du code et atténuer les bugs difficiles à détecter et à fort impact.