09/06/2005
Frédéric Boussinot (INRIA Sophia)
FairThreads et programmation réactive sûre

La programmation réactive est une forme de programmation concurrente dans laquelle existe une notion d'instant commun aux divers composants s'exécutant en parallèle. Des événements peuvent être diffusés pendant les instants entre les composants parallèles. La programmation réactive met l`accent sur la sémantique et l'implémentation efficace des systèmes avec de nombreux composants. Les FairThreads proposent un cadre de programmation réactive à base de threads coopératifs. On présentera les FairThreads en prenant comme exemple la programmation des automates cellulaires. On se posera également la question de la sûreté en programmation réactive.