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 - Rocquencourt Amphi Turing du bâtiment 1 Lundi 11 mai, 10h30 ------------- Nhat Minh Lê ------------- ENS =================================================== A parallel runtime system for Kahn process networks =================================================== Kahn process networks (KPNs) offer a simple deterministic model for parallel programming, made of processes communicating through blocking single-producer single-consumer channels. We introduce libkpn, a library implementation of KPNs. It provides parallel scheduling for Kahn processes written in C, and channel objects based on concurrent ring buffers. It is entirely written in C11 low-level atomics, taking advantage of its relaxed memory features, with hand-written proofs of the core algorithms against the formal C11 model. This talk presents KPNs as a usable abstraction for parallel programming in C, the implementation of the runtime library, results and comparisons.