Taenite : Gestion transparente de la mémoire persistante en Rust
Résumé
Nous présentons Taenite, une bibliothèque transactionnelle de programmation pour la mémoire persistante. Basée sur le principe de copy-on-write, elle permet d'outre-passer le besoin de journaux et confirme, à la fin d'une transaction, toutes les modifications atomiquement. La cohérence des données est garantie à tout moment et les reprises après pannes sont instantanées. Son interface de programmation, proche de celle de la bibliothèque standard de Rust, permet une utilisation simple et transparente. Nous détaillons son principe de fonctionnement et, plus particulièrement, son allocateur mémoire. À partir de briques élémentaires nous mettons en place la construction de structures persistantes complexes telles des structures arborescentes comme les arbres auto-stoppeurs ou des DAG.
Origine | Fichiers produits par l'(les) auteur(s) |
---|---|
Licence |