Understanding relaxed memory consistency through interactive visualization

Abstract

We present <i>Rasho</i>, a tool that extracts and depicts execution scenarios from UPC source code, then allows learners to intervene in the scenarios, manipulating them to explore hypotheses about consistent and inconsistent code. This approach allows learners to play with relaxed consistency inside a responsive, informative visual space.

Topics

1 Figures and Tables

Download Full PDF Version (Non-Commercial Use)