Principes et pratiques de la programmation en pi-calcul - Archive ouverte HAL Access content directly
Conference Papers Year :

Principes et pratiques de la programmation en pi-calcul

Abstract

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.
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-01293893 , version 1

Cite

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⟩
49 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More