La soci\u00e9t\u00e9 Cisco a propos\u00e9 un nouveau syst\u00e8me de fichiers PuzzleFS, r\u00e9alis\u00e9 sous forme de module pour le noyau Linux, \u00e9crit en langage Rust. Ce syst\u00e8me de fichiers est con\u00e7u pour \u00eatre utilis\u00e9 dans le d\u00e9ploiement de conteneurs isol\u00e9s et poursuit le d\u00e9veloppement des id\u00e9es propos\u00e9es dans le syst\u00e8me de fichiers Atomfs. La mise en \u0153uvre est encore au stade de prototype, prend en charge la construction avec la branche du noyau Linux rust-next et est distribu\u00e9e sous les licences Apache 2.0 et MIT. <\/p>\n
Le projet vise \u00e0 contourner les limitations rencontr\u00e9es lors de l'utilisation d'images de conteneurs au format OCI (Open Container Initiative). PuzzleFS r\u00e9sout des probl\u00e8mes tels que le stockage efficace des donn\u00e9es dupliqu\u00e9es, la possibilit\u00e9 de montage direct, la reconstruction r\u00e9p\u00e9t\u00e9e des images et une gestion s\u00e9curis\u00e9e de la m\u00e9moire. <\/p>\n
Pour la d\u00e9duplication des donn\u00e9es r\u00e9p\u00e9t\u00e9es dans diff\u00e9rents conteneurs, l'algorithme FastCDC (Fast Content-Defined Chunking) est utilis\u00e9, fonctionnant par d\u00e9coupage des donn\u00e9es en fragments de taille variable et en tenant un index avec des hachages des fragments trait\u00e9s. Les fragments r\u00e9p\u00e9t\u00e9s sont stock\u00e9s une seule fois et index\u00e9s conjointement pour tous les niveaux du syst\u00e8me de fichiers, c'est-\u00e0-dire que la d\u00e9duplication peut s'\u00e9tendre sur diff\u00e9rents points de montage (un nouveau niveau de syst\u00e8me de fichiers peut \u00eatre lanc\u00e9 sur la base d'un existant et utiliser les fragments de donn\u00e9es qu'il contient lors de la d\u00e9duplication). <\/p>\n
La reconstruction r\u00e9p\u00e9t\u00e9e des images de conteneurs est r\u00e9alis\u00e9e par la d\u00e9finition d'une repr\u00e9sentation canonique des formats d'images de conteneurs. Le montage direct permet de monter une image de conteneur au format OCI depuis un stockage partag\u00e9 global sans d\u00e9compression pr\u00e9alable, en utilisant comme identifiant le hachage du contenu provenant du manifeste du conteneur. Pour v\u00e9rifier l'int\u00e9grit\u00e9 des donn\u00e9es dans un environnement d'utilisation d'un stockage partag\u00e9, un m\u00e9canisme fs-verity peut \u00eatre appliqu\u00e9, qui v\u00e9rifie que les hachages sp\u00e9cifi\u00e9s dans l'index binaire correspondent au contenu r\u00e9el lors de l'acc\u00e8s aux fichiers. <\/p>\n
Le langage Rust a \u00e9t\u00e9 choisi pour allier des performances \u00e9lev\u00e9es du code r\u00e9sultant aux capacit\u00e9s de gestion s\u00e9curis\u00e9e de la m\u00e9moire, ce qui permet de r\u00e9duire le risque d'exploits dus \u00e0 des probl\u00e8mes comme l'acc\u00e8s \u00e0 des zones de m\u00e9moire apr\u00e8s leur lib\u00e9ration et le d\u00e9passement de tampon. L'utilisation de Rust pour le module du noyau a \u00e9galement permis un partage de code entre le noyau et les composants fonctionnant dans l'espace utilisateur, cr\u00e9ant ainsi une impl\u00e9mentation s\u00e9curis\u00e9e unifi\u00e9e. <\/p>\n