Term Rewriting on GPUs - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2021

Term Rewriting on GPUs

Résumé

We present a way to implement term rewriting on a GPU. We do this by letting the GPU repeatedly perform a massively parallel evaluation of all subterms. We find that if the term rewrite systems exhibit sufficient internal parallelism, GPU rewriting substantially outperforms the CPU. Since we expect that our implementation can be further optimized, and because in any case GPUs will become much more powerful in the future, this suggests that GPUs are an interesting platform for term rewriting. As term rewriting can be viewed as a universal programming language, this also opens a route towards programming GPUs by term rewriting, especially for irregular computations.
Fichier principal
Vignette du fichier
506725_1_En_12_Chapter.pdf (524.92 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04074530 , version 1 (19-04-2023)

Licence

Identifiants

Citer

Johri Van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Anton Wijs. Term Rewriting on GPUs. 9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.175-189, ⟨10.1007/978-3-030-89247-0_12⟩. ⟨hal-04074530⟩
30 Consultations
30 Téléchargements

Altmetric

Partager

More