Sites Inria

English version

Séminaire des équipes de recherche

A parallel runtime system for Kahn process networks

© INRIA Sophie Auvin - G comme Grille

  • 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.

Mots-clés : Séminaire Gallium Parallel Runtime system Kahn process Networks

Haut de page

Suivez Inria