Mots clefs : mémoire répartie, mémoire virtuelle partagée
Larchant est une mémoire virtuelle répartie, persistante et partagée. Dans Larchant, les références sont donc 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 persistante''.
Cette année, l'action Larchant s'est organisée autour de quatre activités : la preuve de correction de l'algorithme de ramasse-miettes (3.1.1) ; la réalisation de deux prototypes de Larchant, Larchant-BMX (§3.1.2) et Larchant-RDOSS (3.1.3) ; la définition d'un outil support pour faciliter l'interface des applications avec Larchant (3.1.4). Ces différentes activités se situent dans le cadre du contrat DEC-EERP (4) et du Basic Research Action Broadcast (5).