Chers collègues,
La prochaine session du séminaire Performance et Généricité du LRDE
(Laboratoire de Recherche et Développement de l'EPITA) aura lieu le
Mercredi 9 février 2011 (14h-16h).
Au programme:
* 14h: Principes et Pratiques de la Programmation Concurrente en pi-calcul
-- Frédéric Peschanski
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
lambda-calcul aux langages fonctionnels, mais en prenant comme point de
départ le pi-calcul. Nous proposons la machine abstraite des pi-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.
-- Frédéric Peschanski est Maître de Conférences à l'Université Pierre et
Marie Curie. Il effectue ses recherches au sein du laboratoire
d'informatique de Paris 6, dans l'équipe APR (algo-prog). Il étudie
essentiellement les langages de programmation avec comme leitmotiv la
théorie mise en pratique (et vice-versa).
Pour plus de renseignements, consultez
http://seminaire.lrde.epita.fr/.
L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette
information le plus largement possible.