Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Sat 29 Sep 2018 14:15 - 15:00 at New York Central - Afternoon Session 1 Chair(s): Mike Rainey

A lightweight and efficient mechanism for user-space threads is an important building block for parallel and concurrent language implementations. It is particularly advantageous when the compiler has an internal representation for the threading primitives that can enable optimization of the scheduling code. In our Parallel ML (PML) compiler (part of the Manticore project), we have taken an approach based on supporting reified continuations in the intermediate language. This approach has allowed us to build efficient work-stealing, user-level threading, and other mechanisms for parallel and concurrent programming.

There are several predominant strategies for implementing lightweight threading based on continuations. Much of the current understanding of their performance trade-offs are based on cross-language and cross-compiler comparisons, simulations and theoretical analysis, or direct measurements performed nearly 30 years ago.

We have implemented four of these strategies for lightweight threading in our compiler: contiguous stacks, segmented stacks, linked frames, and linked closures. These implementations provide an apples-to-apples comparison of the different approaches. This talk will give a report on the status of our efforts to understand the empirical characteristics of these implementation strategies.

Sat 29 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 15:10
Afternoon Session 1FHPC at New York Central
Chair(s): Mike Rainey
13:30
45m
Talk
An Efficient Compiler for Recursive Functions on Mostly-Serialized Data
FHPC
A: Michael Vollmer Indiana University, USA, A: Chaitanya S. Koparkar Indiana University, A: Laith Sakka Purdue University, A: Milind Kulkarni Purdue University, A: Ryan R. Newton Indiana University
14:15
45m
Talk
Comparing strategies for lightweight threading based on continuations
FHPC
A: Kavon Farvardin University of Chicago, A: John Reppy University of Chicago