Sun 18 Jun 2023 11:20 - 11:40 at Magnolia 22 - ISMM: Session 3 - Intellectual Abstracts Chair(s): Michael D. Bond

Memory consistency models traditionally specify the behavior of shared memory concurrent hardware. Hardware behavior drifts away from traditional sequential reasoning, thus exhibiting behaviors that are termed as "weak". Weaker consistency models allow for more concurrent behaviors, thus justifying hardware optimizations such as read/write buffers. In parallel, weaker memory models for software allow more compiler optimizations (transformations). However, this "more" may not be strict: certain safe optimizations in stronger models are rendered unsafe in ones weaker than them. We identify properties that must hold among a pair of weak and strong memory models to guarantee this. We propose a framework using which we could build such models, showcasing our results in allowing Read Read reordering over Sequential Consistency (SC). We also show how to partially retain our desired property for a pair of models, placing constraints on the set of transformations or equivalently, on program structure. Lastly, we discuss the potential advantage of designing models satisfying such properties.

Sun 18 Jun

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

11:20 - 12:30
ISMM: Session 3 - Intellectual AbstractsISMM 2023 at Magnolia 22
Chair(s): Michael D. Bond Ohio State University, USA

#ismm-1120-session3-magnolia22 Discord icon small YouTube icon small

11:20
20m
Talk
Memory Consistency Models for Program Transformations: An Intellectual Abstract
ISMM 2023
Akshay Gopalakrishnan McGill University, Clark Verbrugge McGill University, Canada, Mark Batty University of Kent, Clark Verbrugge McGill University, Canada
DOI
11:40
20m
Talk
Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code: An Intellectual Abstract
ISMM 2023
Christian Navasca UCLA, Martin Maas Google, Petros Maniatis Google, Hyeontaek Lim Google, Harry Xu University of California, Los Angeles (UCLA)
DOI
12:00
20m
Talk
The Unexpected Efficiency of Bin Packing Algorithms for Dynamic Storage Allocation in the Wild: An Intellectual Abstract
ISMM 2023
Christos Lamprakos National Technical University of Athens, Katholieke Universiteit Leuven, Sotirios Xydis National Technical University of Athens, Francky Catthoor IMEC, Katholieke Universiteit Leuven, Dimitrios Soudris National Technical University of Athens
DOI
12:20
10m
Awards
Best Paper Award
ISMM 2023