GPU-Optimized Datalog Evaluation: GPULOG System Analysis from ASPLOS'25 Paper
By
blakepelton
The kind of bagel that ruins lesser bagels for you.
Summary
This article analyzes the ASPLOS'25 paper 'Optimizing Datalog for the GPU,' which presents GPULOG, a system that optimizes Datalog evaluation for GPU execution. The paper introduces techniques using hash-indexed sorted arrays to accelerate Datalog queries on GPUs, outperforming existing engines like Soufflé. The content explains Datalog's relational structure with explicit and implicit definitions, using graph traversal examples like the Same Generation relation to demonstrate the optimization approach.
Key quotes
· 4 pulledDatalog source code comprises a set of relations, and a set of rules.
A relation can be explicitly defined with a set of tuples.
A relation can also be implicitly defined with a set of rules.
Learn how GPULOG leverages hash-indexed sorted arrays to outperform engines like Soufflé.
You might also wanna read
Rotary GPU: Enabling Large Mixture-of-Experts Models on Consumer Laptop GPUs with Limited Memory
This paper presents Rotary GPU, an exploratory approach to running large Mixture-of-Experts (MoE) language models on consumer-grade hardware
Unsloth and NVIDIA Partner to Accelerate LLM Fine-Tuning by 20%
Unsloth has partnered with NVIDIA to optimize fine-tuning of large language models, achieving 20% faster training speeds. The collaboration
unsloth.ai·24d agoSystalyze's Utilyze Tool Reveals True GPU Compute Utilization in AI Workloads
Systalyze introduces Utilyze, a GPU compute utilization monitoring tool that reveals actual compute throughput versus traditional metrics li
Eyot: A Programming Language That Makes GPU Programming as Simple as Background Threads
Eyot is a new programming language designed to make GPU programming as simple as spawning background threads. It transparently compiles code
BarraCUDA: Open-Source CUDA Compiler Supports AMD, NVIDIA, and Tenstorrent GPUs
BarraCUDA is an open-source CUDA C++ compiler written from scratch in C99 that can compile .cu files to multiple GPU architectures including
VectorWare Enables Rust Async/Await Programming on GPUs
VectorWare announces a breakthrough in GPU programming by enabling Rust's async/await and Future trait on GPUs. This represents a significan
vectorware.com·3mo ago