PPoPP 2019
Sat 16 - Wed 20 February 2019 Washington, DC, United States

Traditional concurrent programming involves manipulating shared mutable state. Alternatives to this programming style are communicating sequential processes (CSP) and actor models, which share data via explicit communication. Rendezvous channel is the common abstraction for communication between several processes. Intuitively, there are two types of processes, senders and receivers, which perform a rendezvous handshake as a part of their protocol. Additionally to this, channels support the select expression.

In this work, we present the first efficient lock-free channel algorithm, and compare it against Go and Kotlin baseline implementations.

Sun 17 Feb

Displayed time zone: Guadalajara, Mexico City, Monterrey change

18:00 - 20:00
Welcome Reception and Poster SessionMain Conference at Mezzanine Foyer