All Topics
All Topics
Technology
Technology
Design
Design
Programming
Programming
Science
Science
News
News
Gaming
Gaming
Entertainment
Entertainment
Business
Business
Finance
Finance
Sports
Sports
Health
Health
Food
Food
Travel
Travel
Art
Art
Music
Music
Books
Books
Education
Education
Politics
Politics
Personal
Personal
No algorithm. No AI slop. No ads. Just RSS. Pro-human. Indie writers. Real journalism. Open web. Chronological. Hand toasted.

GPU-Optimized Datalog Evaluation: GPULOG System Analysis from ASPLOS'25 Paper

By

blakepelton

6mo ago· 4 min readenInsight

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 pulled
Datalog 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é.
Snippet from the RSS feed
A deep dive into the ASPLOS’25 paper ‘Optimizing Datalog for the GPU.’ Learn how GPULOG leverages hash-indexed sorted arrays to outperform engines like Soufflé.

You might also wanna read