Abstract:Graphs model several real-world phenomena. With the growth of unstructured and semi-structured data, parallelization of graph algorithms is inevitable. Unfortunately, due to inherent irregularity of computation, memory access, and communication, graph algorithms are traditionally challenging to parallelize. To tame this challenge, several libraries, frameworks, and domain-specific languages (DSLs) have been proposed to reduce the parallel programming burden of the users, who are often domain experts. However, existing frameworks to model graph algorithms typically target a single architecture. In this paper, we present a graph DSL, named StarPlat, that allows programmers to specify graph algorithms in a high-level format, but generates code for three different backends from the same algorithmic specification. In particular, the DSL compiler generates OpenMP for multi-core systems, MPI for distributed systems, and CUDA for many-core GPUs. Since these three are completely different parallel programming paradigms, binding them together under the same language is challenging. We share our experience with the language design. Central to our compiler is an intermediate representation which allows a common representation of the high-level program, from which individual backend code generations begin. We demonstrate the expressiveness of StarPlat by specifying four graph algorithms: betweenness centrality computation, page rank computation, single-source shortest paths, and triangle counting. Using a suite of ten large graphs, we illustrate the effectiveness of our approach by comparing the performance of the generated codes with that obtained with hand-crafted library codes. We find that the generated code is competitive to library-based codes in many cases. More importantly, we show the feasibility to generate efficient codes for different target architectures from the same algorithmic specification of graph algorithms.

A Target Platform Description Language for Parallel Code Generation

Computation platform for automatic analysis of embedded software systems using model based approach

A Domain Specific Language for Performance Portable Molecular Dynamics Algorithms

A Domain-Specific Language and Editor for Parallel Particle Methods

Automated MPI-X code generation for scalable finite-difference solvers

A DSL Based Toolchain for Design Space Exploration in Structured Parallel Programming

Generating Finite Element Codes combining Adaptive Octrees with Complex Geometries

Code Generation for a Variety of Accelerators for a Graph DSL

A Lightweight Approach to Performance Portability with targetDP

Automating GPU Scalability for Complex Scientific Models: Phonon Boltzman Transport Equation

Reconfigurable Hardware Generation of Multigrid Solvers with Conjugate Gradient Coarse-Grid Solution

Yet Another Tensor Toolbox for discontinuous Galerkin methods and other applications

Building-Blocks for Performance Oriented DSLs

A shared compilation stack for distributed-memory parallelism in stencil DSLs

An approach to performance portability through generic programming

PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs

Automatic Code Generation and Optimization of Large-scale Stencil Computation on Many-core Processors.

StarPlat: A Versatile DSL for Graph Analytics

Toward HPC application portability via C++ PSTL: the Gaia AVU-GSR code assessment

Parallel pattern compiler for automatic global optimizations

Strategy Preserving Compilation for Parallel Functional Code