Mots clefs : mémoire répartie, mémoire virtuelle partagée, ramasse-miettes
L'abstraction de mémoire virtuelle répartie persistante et partagée (MVRPP) est simple et familière à beaucoup de programmeurs. Une des difficultés majeures qu'il faut résoudre est le ramassage de miettes dans une telle mémoire. La répartition pose des problèmes de cohérence des données ; de concurrence entre mutateur et collecteur, et entre les mutateurs eux-mêmes. De plus, pour les systèmes de grande échelle, une trace globale n'est pas possible.
Avec Larchant, nous proposons une MVRPP comprenant un algorithme de ramassage de miettes prenant en compte les caractéristiques de partage dans les environnements répartis de grande échelle. Larchant permet de répartir et de rendre persistants, de façon presque transparente, des programmes ou des structures de données existantes, même écrits dans des langages comme C ou C++. Dans Larchant, les références sont donc des pointeurs mémoire, modifiés directement par les programmes utilisateurs.
En 1995, ce travail (voir 3.1) a porté principalement sur la preuve de l'algorithme et sur le prototypage de Larchant.