Précédent : Actions de recherche Remonter : Actions de recherche Suivant : Spécificationpreuve détaillée, mise en
Précédent : Actions de recherche Remonter : Actions de
recherche Suivant : Spécificationpreuve détaillée,
mise en
Mots-clés : mémoire partagée répartie, mesures de performance, ramasse-miettes réparti
Larchant est une mémoire virtuelle répartie, persistante et partagée. Dans Larchant, les références sont des pointeurs mémoire, modifiés directement par les programmes utilisateurs. Larchant garantit la persistance par atteignabilité : les objets persistants sont tous ceux, et uniquement ceux, atteignables depuis une «racine de persistance».
Cette action s'est organisée, cette année, autour des activités suivantes : la spécification et la preuve détaillée du ramasse-miettes, et la finition du prototype Larchant-BMX (3.1.1 ) ; la création d'un environnement de programmation facilitant l'interface des applications avec Larchant (3.1.2 ) ; et l'étude des caractéristiques des applications (3.1.3 ). Nous avons aussi consacré beaucoup de temps à la préparation du projet PerDiS de généralisation et de valorisation des résultats de Larchant (3.1.4, 5.2.2 ).