Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 DetailsÜbersicht
  Presburger Arithmetic in Memory Access Optimization for Data-parallel Languages

Karrenberg, R., Košta, M., & Sturm, T. (2013). Presburger Arithmetic in Memory Access Optimization for Data-parallel Languages. In P. Fontaine, C. Ringeissen, & R. A. Schmidt (Eds.), Frontiers of Combining Systems (pp. 56-70). Berlin: Springer. doi:10.1007/978-3-642-40885-4_5.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0015-7A11-C Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-921B-7
Genre: Konferenzbeitrag

Dateien

einblenden: Dateien
ausblenden: Dateien
:
frocos-paper.pdf (beliebiger Volltext), 592KB
 
Datei-Permalink:
-
Name:
frocos-paper.pdf
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Privat
MIME-Typ / Prüfsumme:
application/pdf
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Karrenberg, Ralf1, Autor
Košta, Marek2, Autor           
Sturm, Thomas2, Autor           
Affiliations:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: Data-parallel languages like OpenCL and CUDA are an important means to exploit the computational power of today's computing devices. We consider the compilation of such languages for CPUs with SIMD instruction sets. To generate efficient code, one wants to statically decide whether or not certain memory operations access consecutive addresses. We formalize the notion of consecutivity and algorithmically reduce the static decision to satisfiability problems in Presburger Arithmetic. We introduce a preprocessing technique on these SMT problems, which makes it feasible to apply an off-the-shelf SMT solver. We show that a prototypical OpenCL CPU driver based on our approach generates more efficient code than any other state-of-the-art driver.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2013-092013
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: Anderer: Local-ID: 19E92F4A98DEF6D4C1257C6A00300DB4-KarrenbergKostaSturm2013
DOI: 10.1007/978-3-642-40885-4_5
BibTex Citekey: KarrenbergKostaSturm2013
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 9th International Symposium on Frontiers of Combining Systems
Veranstaltungsort: Nancy, France
Start-/Enddatum: 2013-09-18 - 2013-09-20

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Frontiers of Combining Systems
  Kurztitel : FroCoS 2013
  Untertitel : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Genre der Quelle: Konferenzband
 Urheber:
Fontaine, Pascal1, Herausgeber
Ringeissen, Christophe1, Herausgeber
Schmidt, Renate A.1, Herausgeber           
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Berlin : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 56 - 70 Identifikator: ISBN: 978-3-642-40884-7

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Artificial Intelligence
  Kurztitel : LNAI
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 8152 Artikelnummer: - Start- / Endseite: - Identifikator: ISSN: 0302-9743