Understanding relaxed memory consistency through interactive visualization
Document Type
Conference Proceeding
Publication Date
12-1-2010
Abstract
We present Rasho, 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.
Publication Title
Proceedings of the ACM Conference on Computer and Communications Security
Recommended Citation
Thorsen, Ø.,
&
Wallace, C.
(2010).
Understanding relaxed memory consistency through interactive visualization.
Proceedings of the ACM Conference on Computer and Communications Security, 223-224.
http://doi.org/10.1145/1879211.1879252
Retrieved from: https://digitalcommons.mtu.edu/michigantech-p/12512