Séminaire des équipes de recherche
A parallel runtime system for Kahn process networks
- Date : 11/05/2015
- Lieu : Paris-Rocquencourt - Amphi Turing du bâtiment 1 - 10h30
- Intervenant(s) : Nhat Minh Lê (ENS)
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.