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

Ludovic Henrio; Christoph Kessler; Lu Li

doi:10.1016/j.jlamp.2019.100498

Article Dans Une Revue Journal of Logical and Algebraic Methods in Programming Année : 2020

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

(1) , (2) , (2)

1
2

Ludovic Henrio

Fonction : Auteur
PersonId : 595
IdHAL : ludovic-henrio
ORCID : 0000-0001-7137-3523
IdRef : 077367979

CASH - Compilation and Analysis, Software and Hardware

CV

Christoph Kessler

Fonction : Auteur
PersonId : 904989

Linköping University

Lu Li

Fonction : Auteur
PersonId : 955759

Linköping University

Mots clés

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

Domaines

Calcul parallèle, distribué et partagé [cs.DC]

Fichier principal

main.pdf (479.02 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Ludovic Henrio : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02331964

Soumis le : jeudi 24 octobre 2019-15:42:40

Dernière modification le : jeudi 11 mai 2023-11:56:12

Archivage à long terme le : samedi 25 janvier 2020-16:34:51

Dates et versions

hal-02331964 , version 1 (24-10-2019)

Identifiants

HAL Id : hal-02331964 , version 1
ARXIV : 1910.11110
DOI : 10.1016/j.jlamp.2019.100498

Citer

Ludovic Henrio, Christoph Kessler, Lu Li. Leveraging access mode declarations in a model for memory consistency in heterogeneous systems. Journal of Logical and Algebraic Methods in Programming, 2020, 110, pp.1-17. ⟨10.1016/j.jlamp.2019.100498⟩. ⟨hal-02331964⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 INRIA2 UDL

85 Consultations

59 Téléchargements

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

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager