Vous pouvez vous abonner à nos annonces de séminaires http://gallium.inria.fr/seminaires/ S E M I N A I R E __ / _` _ / / o / ) __) / / / / / /\/| (___/ (_/ (_ (_ / (__/ / | I N R I A - Paris 2 rue Simone Iff (ou: 41 rue du Charolais) Salle Lions 1 Lundi 8 février, 10h30 ----------------- Filip Sieczkowski ----------------- INRIA ================================================= DAG-Calculus: A Calculus for Parallel Computation ================================================= Hardware advances in the last decade have brought parallelism to masses, leading to the development of programming languages for writing parallel programs. As in other concurrent systems, these parallel languages offer several different abstractions for parallelism, such as fork-join, async-finish, futures, etc. While they may seem similar, these abstractions lead to different semantics, language design and implementation decisions. We consider the question of whether it would be possible to unify different approaches to parallelism. To this end, we propose a calculus, called DAG-calculus, that is strong enough to encode many of the existing paradigms of parallelism. We describe the DAG calculus and its semantics, establish translations from the aforementioned paradigms, and present concurrent data structures for realizing it in practice.