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.
Tue 16 JunDisplayed time zone: Pacific Time (US & Canada) change
05:00 - 07:00 | |||
05:00 30mTalk | Garbage Collection Using a Finite Liveness Domain ISMM 2020 Aman Bansal IIT Bombay, India, Saksham Goel Indian Institute of Technology, Bombay, Preey Shah IIT Bombay, India, Amitabha Sanyal IIT Bombay, Prasanna Kumar IIT Bombay | ||
05:30 30mTalk | Prefetching in Functional Languages ISMM 2020 Link to publication DOI Media Attached | ||
06:00 30mTalk | Improving Phase Change Memory Performance with Data Content Aware Access ISMM 2020 Shihao Song Drexel University, Anup Das Drexel University, Onur Mutlu ETH Zurich, Nagarajan Kandasamy Drexel University | ||
06:30 30mTalk | ThinGC: Complete Isolation With Marginal Overhead ISMM 2020 Albert Mingkun Yang Uppsala University, Sweden, Erik Österlund Oracle, Sweden, Jesper Wilhelmsson Oracle, Hanna Nyblom KTH, Tobias Wrigstad Uppsala University, Sweden |
09:00 - 11:00 | |||
09:00 30mTalk | Prefetching in Functional Languages ISMM 2020 Link to publication DOI Media Attached | ||
09:30 30mTalk | Garbage Collection Using a Finite Liveness Domain ISMM 2020 Aman Bansal IIT Bombay, India, Saksham Goel Indian Institute of Technology, Bombay, Preey Shah IIT Bombay, India, Amitabha Sanyal IIT Bombay, Prasanna Kumar IIT Bombay | ||
10:00 30mTalk | ThinGC: Complete Isolation With Marginal Overhead ISMM 2020 Albert Mingkun Yang Uppsala University, Sweden, Erik Österlund Oracle, Sweden, Jesper Wilhelmsson Oracle, Hanna Nyblom KTH, Tobias Wrigstad Uppsala University, Sweden | ||
10:30 30mTalk | Improving Phase Change Memory Performance with Data Content Aware Access ISMM 2020 Shihao Song Drexel University, Anup Das Drexel University, Onur Mutlu ETH Zurich, Nagarajan Kandasamy Drexel University |