Leveraging access mode declarations in a model for memory consistency in heterogeneous systems

DOI10.1016/j.jlamp.2019.100498zbMath1494.68043arXiv1910.11110OpenAlexW2980186426MaRDI QIDQ2291819

Lu Li, Ludovic Henrio, Christoph W. Keßler

Publication date: 31 January 2020

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1910.11110

zbMATH Keywords

data transfercache coherencememory consistencyCPU-GPU heterogeneous systemssoftware caching

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Distributed systems (68M14)

Related Items (1)

Preface to the special issue on formal approaches to parallel and distributed systems 2018

Uses Software

• StarPU
• SkePU

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Calculus for Relaxed Memory

This page was built for publication: Leveraging access mode declarations in a model for memory consistency in heterogeneous systems