Term Rewriting on GPUs

09/15/2020
by   Johri van Eerd, et al.
0

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.

READ FULL TEXT

page 8

page 9

page 15

research
11/20/2022

A Hybrid Multi-GPU Implementation of Simplex Algorithm with CPU Collaboration

The simplex algorithm has been successfully used for many years in solvi...
research
05/15/2013

Augmenting Operating Systems With the GPU

The most popular heterogeneous many-core platform, the CPU+GPU combinati...
research
11/28/2022

High-performance xPU Stencil Computations in Julia

We present an efficient approach for writing architecture-agnostic paral...
research
05/21/2022

MapReduce for Counting Word Frequencies with MPI and GPUs

In this project, the goal was to use the Julia programming language and ...
research
07/18/2022

A Variant of Concurrent Constraint Programming on GPU

The number of cores on graphical computing units (GPUs) is reaching thou...
research
10/20/2021

Accelerating quantum many-body configuration interaction with directives

Many-Fermion Dynamics-nuclear, or MFDn, is a configuration interaction (...
research
05/18/2022

The anachronism of whole-GPU accounting

NVIDIA has been making steady progress in increasing the compute perform...

Please sign up or login with your details

Forgot password? Click here to reset