Write a Blog >>
ISMM 2020
Tue 16 Jun 2020
co-located with PLDI 2020
Tue 16 Jun 2020 05:30 - 06:00 at ISMM live stream - Session 1A Chair(s): Erez Petrank
Tue 16 Jun 2020 09:00 - 09:30 at ISMM live stream - Session 1B (Repeat of Session 1A) Chair(s): Ian Rogers

Functional programming languages contain a number of runtime and language features, such as garbage collection, indirect memory accesses, linked data structures and immutability, that interact with a processor’s memory system. These conspire to cause a variety of unintuitive memory-performance effects. For example, it is slower to traverse through linked lists and arrays of data that have been sorted than to traverse the same data accessed in the order it was allocated.

We seek to understand these issues and mitigate them in a manner consistent with functional languages, taking advantage of the features themselves where possible. For example, immutability and garbage collection force linked lists to be allocated roughly sequentially in memory, even when the data pointed to within each node is not. We add language primitives for software-prefetching to the OCaml language to exploit this, and observe significant performance improvements a variety of micro- and macro-benchmarks, resulting in speedups of up to 2× on the out-of-order superscalar Intel Haswell and Xeon Phi Knights Landing systems, and up to 3× on the in-order Arm Cortex-A53.

Conference Day
Tue 16 Jun

Displayed time zone: Pacific Time (US & Canada) change

05:00 - 07:00
Session 1AISMM 2020 at ISMM live stream
Chair(s): Erez PetrankTechnion, Israel
05:00
30m
Talk
Garbage Collection Using a Finite Liveness Domain
ISMM 2020
Aman BansalIIT Bombay, India, Saksham GoelIndian Institute of Technology, Bombay, Preey ShahIIT Bombay, India, Amitabha SanyalIIT Bombay, Prasanna KumarIIT Bombay
05:30
30m
Talk
Prefetching in Functional Languages
ISMM 2020
Sam AinsworthUniversity of Cambridge, Timothy M. JonesUniversity of Cambridge, UK
Link to publication DOI Media Attached
06:00
30m
Talk
Improving Phase Change Memory Performance with Data Content Aware Access
ISMM 2020
Shihao SongDrexel University, Anup DasDrexel University, Onur MutluETH Zurich, Nagarajan KandasamyDrexel University
06:30
30m
Talk
ThinGC: Complete Isolation With Marginal Overhead
ISMM 2020
Albert Mingkun YangUppsala University, Sweden, Erik ÖsterlundOracle, Sweden, Jesper WilhelmssonOracle, Hanna NyblomKTH, Tobias WrigstadUppsala University, Sweden
09:00 - 11:00
Session 1B (Repeat of Session 1A)ISMM 2020 at ISMM live stream
Chair(s): Ian RogersGoogle, USA
09:00
30m
Talk
Prefetching in Functional Languages
ISMM 2020
Sam AinsworthUniversity of Cambridge, Timothy M. JonesUniversity of Cambridge, UK
Link to publication DOI Media Attached
09:30
30m
Talk
Garbage Collection Using a Finite Liveness Domain
ISMM 2020
Aman BansalIIT Bombay, India, Saksham GoelIndian Institute of Technology, Bombay, Preey ShahIIT Bombay, India, Amitabha SanyalIIT Bombay, Prasanna KumarIIT Bombay
10:00
30m
Talk
ThinGC: Complete Isolation With Marginal Overhead
ISMM 2020
Albert Mingkun YangUppsala University, Sweden, Erik ÖsterlundOracle, Sweden, Jesper WilhelmssonOracle, Hanna NyblomKTH, Tobias WrigstadUppsala University, Sweden
10:30
30m
Talk
Improving Phase Change Memory Performance with Data Content Aware Access
ISMM 2020
Shihao SongDrexel University, Anup DasDrexel University, Onur MutluETH Zurich, Nagarajan KandasamyDrexel University