Participants : Marc Shapiro, Mokrane Amzal, Paulo Ferreira
Mots clefs : mémoire répartie, mémoire virtuelle partagée, cohérence
Larchant-RDOSS [11] est une réalisation simplifiée de Larchant. Il comporte des transactions optimistes mono-processus, des espaces d'adressage séparés, et repose sur la diffusion causale des mises à jour.
Un pointeur doit être traduit avant sa première utilisation. Le collecteur s'exécute de façon indépendante du mutateur (pas en concurrence) mais ne collecte que la mémoire persistante.
La mise en oeuvre de Larchant-RDOSS (par évolution de Larchant-BMX) s'est amorcée par la réalisation d'une interface de communication de segment [12]: SEXI (Segment EXchange Interface). Celle-ci a pour objet de masquer les mécanismes de communication bas-niveau du système (lecture/écriture de fichier, mapping mémoire, sockets).