liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations
Univ Cote Azur, France.
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.ORCID iD: 0000-0001-5241-0026
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.ORCID iD: 0000-0001-8976-0484
2018 (English)In: PROCEEDINGS 2018 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING and SIMULATION (HPCS), IEEE , 2018, p. 716-723Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
IEEE , 2018. p. 716-723
Keywords [en]
Memory consistency; CPU-GPU heterogeneous systems; data transfer; software caching; cache coherence
National Category
Computer Engineering
Identifiers
URN: urn:nbn:se:liu:diva-153418DOI: 10.1109/HPCS.2018.00117ISI: 000450677700098ISBN: 978-1-5386-7879-4 (print)OAI: oai:DiVA.org:liu-153418DiVA, id: diva2:1271471
Conference
International Conference on High Performance Computing & Simulation (HPCS)
Available from: 2018-12-17 Created: 2018-12-17 Last updated: 2018-12-17

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Li, Lu

Search in DiVA

By author/editor
Kessler, ChristophLi, Lu
By organisation
Software and SystemsFaculty of Science & Engineering
Computer Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 3 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf