Précédent : Concurrence et sécurité Remonter : Actions de recherche Suivant : Preuves mécaniques

Un prototype pour le join-calcul

  Participants : C. Fournet, L. Maranget

Mots-clés : parallélisme,parallélisme asynchrone,pi-calcul,langage fonctionnel,programmation répartie,tolérance aux fautes,agents mobiles,concurrence,ramasse-miettes

C. Fournet et L. Maranget ont commencé au printemps 96 la réalisation d'un prototype pour un langage fondé sur le join-calcul distribué. Ce langage comporte des noms synchrones et asynchrones, et les primitives pour la distribution (création et mobibilité des agents). Le compilateur est muni d'un typeur à la ML, et génère du bytecode qui peut ensuite s'exécuter sur plusieurs machines reliées par le réseau local. Une version 1.0 de cet important travail de programmation sera achevée en janvier 97. Le système est codé en O'Caml et en C.