Continuation-Passing C : Transformations de programmes pour compiler la concurrence dans un langage impératif

La plupart des programmes informatiques sont concurrents : ils doivent effectuer plusieurs tâches en même temps. Les threads et les événements sont deux techniques usuelles d'implémentation de la concurrence. Les événements sont généralement plus légers et efficaces que les threads, mais aussi...

Full description

Bibliographic Details
Main Author: Kerneis, Gabriel
Language:ENG
Published: Université Paris-Diderot - Paris VII 2012
Subjects:
Online Access:http://tel.archives-ouvertes.fr/tel-00751444
http://tel.archives-ouvertes.fr/docs/00/75/14/44/PDF/kerneis-phd-thesis.pdf
http://tel.archives-ouvertes.fr/docs/00/75/14/44/ANNEX/slides-kerneis.pdf