Taenite : Gestion transparente de la mémoire persistante en Rust - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

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.
Fichier principal
Vignette du fichier
paper.pdf (132.31 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : CC BY - Paternité

Dates et versions

hal-04299508 , version 1 (22-11-2023)

Licence

Paternité

Identifiants

  • HAL Id : hal-04299508 , version 1

Citer

Louis Boulanger, Frédéric Wagner, Yves Denneulin. Taenite : Gestion transparente de la mémoire persistante en Rust. COMPAS 2023 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Bertrand Le Gal; Gaël Thomas; Emmanuel Agullo, Jul 2023, Annecy, France. pp.1-7. ⟨hal-04299508⟩
39 Consultations
15 Téléchargements

Partager

Gmail Facebook X LinkedIn More