Dupleix : une mémoire virtuelle partagée fondée sur l'utilisation de Gamma et de la programmation par aspects



Participants : David Mentré, Thierry Priol.

Mots clés : mémoire virtuelle partagée, Gamma, programmation par aspects .

Contact : Thierry Priol
Statut : Prototype de recherche.

Dupleix est une MVP générique pour des grappes homogènes de calculateurs. Le code de la MVP est généré de façon systématique en utilisant la description du protocole de cohérence de cache écrit à l'aide du formalisme Gamma Structuré et par l'utilisation de la programmation par aspects. Dupleix est un prototype qui a servi à valider cette approche. Ce prototype offre un programme de vérification d'invariants sur une spécification de haut niveau, un programme de dérivation d'une spécification en automate et un environnement d'exécution distribué de cet automate. Ce prototype fonctionne sur un réseau de stations PC x86 sous le système d'exploitation Linux. Le générateur de code de MVP a été réalisé avec le langage OCAML.