Titre : Programmer avec des threads légers : retour d'expérience sur Hekate et CPC Auteur : Gabriel Kerneis (PPS - Université Paris Diderot) Abstract : CPC est un dialecte du langage C pour l'écriture de programmes concurrents équitables et efficaces. Construit à l'origine comme un prototype démontrant une technique de compilation — la conversion CPS dans un langage impératif — il a évolué au fur et à mesure des besoins, pour être finalement utilisé dans la réalisation d'un serveur BitTorrent, Hekate. Cet exposé sera un retour sur cette expérience. On y verra des problèmes concrets rencontrés lors de l'écriture d'un serveur, et les solutions que CPC y apporte. On évoquera aussi l'importance de choisir des structures de données adaptées, de garder un nombre restreint de concepts, et les nombreux points d'interrogation qui jalonnent le chemin vers un langage de programmation idéal pour la concurrence. Plus d'informations sur CPC et Hekate : http://www.pps.jussieu.fr/~kerneis/software/#cpc http://www.pps.jussieu.fr/~jch/software/cpc http://www.pps.jussieu.fr/~jch/software/hekate