26/04/2001:
Alan Schmitt, INRIA
Liaison dynamique et localité dans le Join Calcul.
Résumé
Lors de la migration de processus, il est intéressant d'éviter de
faire migrer des fonctions standards qui seront disponibles sur la
machine d'arrivée. De plus certaines ressources, comme la sortie
standard, sont dépendantes de leur localisation. Le système JoCaml
permet la liaison dynamique de ces ressources lors de migrations. Nous
étendons le Join Calcul distribué, le calcul de processus modélisant
JoCaml, avec une forme de liaison dynamique associée à la localité, et
nous présentons un système de types garantissant statiquement la
présence de ressources. Le système autorise la création de nouveaux
noms de ressource en cours d'exécution, ainsi que la création de
nouvelles implémentations pour un nom de ressource donné.