Principes et pratiques de la programmation en pi-calcul - Archive ouverte HAL
Communication Dans Un Congrès Année : 2010

Principes et pratiques de la programmation en pi-calcul

Résumé

Nous étudions la problématique du mélange de paradigmes de programmation variés plongés dans un environnement concurrent. Dans cette perspective, nous poursuivons un cheminement similaire à celui qui conduit du λ-calcul aux langages fonctionnels, mais en prenant comme point de départ le π-calcul. Nous proposons la machine abstraite des π-threads dont la principale originalité est l’absence de pile d’exécution. Cette caractéristique permet de nous reposer dans nos implémentations sur des algorithmes simples et naturellement concurrents, notamment pour ce qui concerne l’ordonnancement et le ramasse-miettes. Pour ce dernier, nous proposons un algorithme permettant de récupérer très simplement les cycles de processus en interblocage et autres structures bloquantes.
Fichier non déposé

Dates et versions

hal-01293893 , version 1 (25-03-2016)

Identifiants

  • HAL Id : hal-01293893 , version 1

Citer

Frédéric Peschanski. Principes et pratiques de la programmation en pi-calcul. Journées Francophone des langages applicatifs (JFLA 2010), Jan 2010, Vieux-Port La Ciotat, France. pp.245-274. ⟨hal-01293893⟩
77 Consultations
0 Téléchargements

Partager

More