Difference between revisions of "Seminar/2011-02-09"
From LRDE
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | Connection closed |
||
{{SeminarHeader |
{{SeminarHeader |
||
| id = 2011-02-09 |
| id = 2011-02-09 |
||
| − | | date = Mercredi 9 |
+ | | date = Mercredi 9 février 2011 |
| schedule = 14h-16h |
| schedule = 14h-16h |
||
| location = Amphi masters |
| location = Amphi masters |
||
| Line 8: | Line 7: | ||
{{Talk |
{{Talk |
||
| id = 2011-02-09 |
| id = 2011-02-09 |
||
| − | | abstract = Nous |
+ | | 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 |
perspective, nous poursuivons |
||
| − | un cheminement similaire |
+ | un cheminement similaire à celui qui conduit du lambda-calcul aux |
langages fonctionnels, mais |
langages fonctionnels, mais |
||
| − | en prenant comme point de |
+ | en prenant comme point de départ le π-calcul. Nous proposons la |
| − | machine abstraite des |
+ | machine abstraite des π-threads |
| − | dont la principale |
+ | dont la principale originalité est l’absence de pile d’exécution. |
| − | Cette |
+ | Cette caractéristique |
| − | permet de nous reposer dans nos |
+ | permet de nous reposer dans nos implémentations sur des algorithmes |
simples et naturellement |
simples et naturellement |
||
| − | concurrents, notamment pour ce qui concerne |
+ | concurrents, notamment pour ce qui concerne l’ordonnancement et le |
ramasse-miettes. Pour ce |
ramasse-miettes. Pour ce |
||
| − | dernier, nous proposons un algorithme permettant de |
+ | dernier, nous proposons un algorithme permettant de récupérer très |
simplement les cycles de |
simplement les cycles de |
||
processus en interblocage et autres structures bloquantes. |
processus en interblocage et autres structures bloquantes. |
||
| duration = 2h |
| duration = 2h |
||
| − | | orator = |
+ | | orator = Frédéric Peschanski |
| − | | resume = |
+ | | resume = Frédéric Peschanski est Maître de Conférences à l'Université Pierre |
et Marie Curie. Il effectue ses recherches au sein du laboratoire |
et Marie Curie. Il effectue ses recherches au sein du laboratoire |
||
| − | d'informatique de Paris 6, dans l' |
+ | d'informatique de Paris 6, dans l'équipe APR (algo-prog). Il étudie |
essentiellement les langages de programmation avec comme leitmotiv |
essentiellement les langages de programmation avec comme leitmotiv |
||
| − | la |
+ | la théorie mise en pratique (et vice-versa). |
| schedule = 14h |
| schedule = 14h |
||
| slides = peschanski.pdf |
| slides = peschanski.pdf |
||
| − | | title = Principes et Pratiques de la Programmation Concurrente en |
+ | | title = Principes et Pratiques de la Programmation Concurrente en π-calcul |
| urls = |
| urls = |
||
}} |
}} |
||
Latest revision as of 18:07, 4 December 2018
Mercredi 9 février 2011, 14h-16h, Amphi masters
Principes et Pratiques de la Programmation Concurrente en π-calcul
- Documents
- peschanski.pdf
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 π-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.
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).