Principes et pratiques de la programmation en pi-calcul

Frédéric Peschanski 1
1 APR - Algorithmes, Programmes et Résolution
LIP6 - Laboratoire d'Informatique de Paris 6
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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01293893
Contributor : Lip6 Publications <>
Submitted on : Friday, March 25, 2016 - 4:04:17 PM
Last modification on : Thursday, March 21, 2019 - 1:00:07 PM

Identifiers

  • HAL Id : hal-01293893, version 1

Citation

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⟩

Share

Metrics

Record views

62