Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations

Ludovic Henrio; C Kessler; Lu LI

doi:10.1109/HPCS.2018.00117

Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations

Ludovic Henrio
, C Kessler
, Lu LI

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Running a program on disjoint memory spaces requires to address memory consistency issues and to perform transfers so that the program always accesses the right data. Several approaches exist to ensure the consistency of the memory accessed, we are interested here in the verification of a declarative approach where each component of a computation is annotated with an access mode declaring which part of the memory is read or written by the component. The programming framework uses the component annotations to guarantee the validity of the memory accesses. This is the mechanism used in VectorPU, a C++ library for programming CPU-GPU heterogeneous systems and this article proves the correctness of the software cache-coherence mechanism used in the library. Beyond the scope of VectorPU, this article can be considered as a simple and effective formalisation of memory consistency mechanisms based on the explicit declaration of the effect of each component on each memory space.

Original language	English
Title of host publication	5th International Symposium on Formal Approaches to Parallel and Distributed Systems, as part of The 16th International Conference on High Performance Computing Simulation (HPCS 2018)
Place of Publication	Orleans, France
Publisher	Institute of Electrical and Electronics Engineers
Pages	716-723
Number of pages	8
ISBN (Electronic)	978-1-5386-7879-4
ISBN (Print)	978-1-5386-7878-7
DOIs	https://doi.org/10.1109/HPCS.2018.00117
Publication status	Published - 1 Nov 2018
Event	The 5th International Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD 2018) - Orléans, France Duration: 16 Jul 2018 → 20 Jul 2018 http://hpcs2018.cisedu.info/2-conference/symposia---hpcs2018/symp05-4pad

Symposium

Symposium	The 5th International Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD 2018)
Abbreviated title	4PAD 2018
Country/Territory	France
City	Orléans
Period	16/07/18 → 20/07/18
Internet address	http://hpcs2018.cisedu.info/2-conference/symposia---hpcs2018/symp05-4pad

Keywords / Materials (for Non-textual outputs)

Index Terms-Memory consistency
CPU-GPU heterogeneous systems
data transfer
software caching
cache coherence

Access to Document

10.1109/HPCS.2018.00117

Ensuring Memory Consistency in HeterogeneousAccepted author manuscript, 481 KB

https://ieeexplore.ieee.org/document/8514422

Cite this

Henrio, L., Kessler, C., & LI, L. (2018). Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations. In 5th International Symposium on Formal Approaches to Parallel and Distributed Systems, as part of The 16th International Conference on High Performance Computing Simulation (HPCS 2018) (pp. 716-723). Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/HPCS.2018.00117

Henrio, Ludovic ; Kessler, C ; LI, Lu. / Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations. 5th International Symposium on Formal Approaches to Parallel and Distributed Systems, as part of The 16th International Conference on High Performance Computing Simulation (HPCS 2018). Orleans, France : Institute of Electrical and Electronics Engineers, 2018. pp. 716-723

@inproceedings{5044e0f652144704aad5c06baa04b20b,

title = "Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations",

abstract = "Running a program on disjoint memory spaces requires to address memory consistency issues and to perform transfers so that the program always accesses the right data. Several approaches exist to ensure the consistency of the memory accessed, we are interested here in the verification of a declarative approach where each component of a computation is annotated with an access mode declaring which part of the memory is read or written by the component. The programming framework uses the component annotations to guarantee the validity of the memory accesses. This is the mechanism used in VectorPU, a C++ library for programming CPU-GPU heterogeneous systems and this article proves the correctness of the software cache-coherence mechanism used in the library. Beyond the scope of VectorPU, this article can be considered as a simple and effective formalisation of memory consistency mechanisms based on the explicit declaration of the effect of each component on each memory space.",

keywords = "Index Terms-Memory consistency, CPU-GPU heterogeneous systems, data transfer, software caching, cache coherence",

author = "Ludovic Henrio and C Kessler and Lu LI",

year = "2018",

month = nov,

day = "1",

doi = "10.1109/HPCS.2018.00117",

language = "English",

isbn = "978-1-5386-7878-7",

pages = "716--723",

booktitle = "5th International Symposium on Formal Approaches to Parallel and Distributed Systems, as part of The 16th International Conference on High Performance Computing Simulation (HPCS 2018)",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

note = "The 5th International Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD 2018), 4PAD 2018 ; Conference date: 16-07-2018 Through 20-07-2018",

url = "http://hpcs2018.cisedu.info/2-conference/symposia---hpcs2018/symp05-4pad",

}

Henrio, L, Kessler, C & LI, L 2018, Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations. in 5th International Symposium on Formal Approaches to Parallel and Distributed Systems, as part of The 16th International Conference on High Performance Computing Simulation (HPCS 2018). Institute of Electrical and Electronics Engineers, Orleans, France, pp. 716-723, The 5th International Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD 2018), Orléans, France, 16/07/18. https://doi.org/10.1109/HPCS.2018.00117

Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations. / Henrio, Ludovic; Kessler, C; LI, Lu.
5th International Symposium on Formal Approaches to Parallel and Distributed Systems, as part of The 16th International Conference on High Performance Computing Simulation (HPCS 2018). Orleans, France: Institute of Electrical and Electronics Engineers, 2018. p. 716-723.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations

AU - Henrio, Ludovic

AU - Kessler, C

AU - LI, Lu

PY - 2018/11/1

Y1 - 2018/11/1

N2 - Running a program on disjoint memory spaces requires to address memory consistency issues and to perform transfers so that the program always accesses the right data. Several approaches exist to ensure the consistency of the memory accessed, we are interested here in the verification of a declarative approach where each component of a computation is annotated with an access mode declaring which part of the memory is read or written by the component. The programming framework uses the component annotations to guarantee the validity of the memory accesses. This is the mechanism used in VectorPU, a C++ library for programming CPU-GPU heterogeneous systems and this article proves the correctness of the software cache-coherence mechanism used in the library. Beyond the scope of VectorPU, this article can be considered as a simple and effective formalisation of memory consistency mechanisms based on the explicit declaration of the effect of each component on each memory space.

AB - Running a program on disjoint memory spaces requires to address memory consistency issues and to perform transfers so that the program always accesses the right data. Several approaches exist to ensure the consistency of the memory accessed, we are interested here in the verification of a declarative approach where each component of a computation is annotated with an access mode declaring which part of the memory is read or written by the component. The programming framework uses the component annotations to guarantee the validity of the memory accesses. This is the mechanism used in VectorPU, a C++ library for programming CPU-GPU heterogeneous systems and this article proves the correctness of the software cache-coherence mechanism used in the library. Beyond the scope of VectorPU, this article can be considered as a simple and effective formalisation of memory consistency mechanisms based on the explicit declaration of the effect of each component on each memory space.

KW - Index Terms-Memory consistency

KW - CPU-GPU heterogeneous systems

KW - data transfer

KW - software caching

KW - cache coherence

UR - https://hal.archives-ouvertes.fr/hal-01813273

U2 - 10.1109/HPCS.2018.00117

DO - 10.1109/HPCS.2018.00117

M3 - Conference contribution

SN - 978-1-5386-7878-7

SP - 716

EP - 723

BT - 5th International Symposium on Formal Approaches to Parallel and Distributed Systems, as part of The 16th International Conference on High Performance Computing Simulation (HPCS 2018)

PB - Institute of Electrical and Electronics Engineers

CY - Orleans, France

T2 - The 5th International Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD 2018)

Y2 - 16 July 2018 through 20 July 2018

ER -

Henrio L, Kessler C, LI L. Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations. In 5th International Symposium on Formal Approaches to Parallel and Distributed Systems, as part of The 16th International Conference on High Performance Computing Simulation (HPCS 2018). Orleans, France: Institute of Electrical and Electronics Engineers. 2018. p. 716-723 doi: 10.1109/HPCS.2018.00117

Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations

Abstract

Symposium

Keywords / Materials (for Non-textual outputs)

Access to Document

Other files and links

Fingerprint

Cite this