23/06/2021

An Efficient Interpreter for Datalog by De-specializing Relations

Xiaowen Hu, David Zhao, Herbert Jordan, Bernhard Scholz

Keywords: Interpreter Implementation, Datalog Engine, Static Data Structure

Abstract Paper Code Similar Papers

Abstract: Datalog is becoming increasingly popular as a standard tool for a variety of use cases. Modern Datalog engines can achieve high performance by specializing data structures for relational operations. For example, the Datalog engine Soufflé achieves high performance with a synthesizer that specializes data structures for relations. However, the synthesizer cannot always be deployed, and a fast interpreter is required. This work introduces the design and implementation of the Soufflé Tree Interpreter (STI). Key for the performance of the STI is the support for fast operations on relations. We obtain fast operations by de-specializing data structures so that they can work in a virtual execution environment. Our new interpreter achieves a competitive performance slowdown between 1.32 and 5.67× when compared to synthesized code. If compile time overheads of the synthesizer are also considered, the interpreter can be 6.46× faster on average for the first run.

The video of this talk cannot be embedded. You can watch it here:
https://slideslive.com/38956295
(Link will open in new window)
 0
 0
 0
 0
  Share    
This is an embedded video. Talk and the respective paper are published at PLDI 2021 virtual conference. If you are one of the authors of the paper and want to manage your upload, see the question "My papertalk has been externally embedded..." in the FAQ section.

Comments

Post Comment
no comments yet
code of conduct: tbd Characters remaining: 140

Similar Papers

 0
 0
 0
 0
 21:33 
 0
 0
 0
 0
 14:52 
 0
 0
 0
 0
 15:09 
 0
 0
 0
 0
 16:56 
 0
 0
 0
 0
 19:05 
 0
 0
 0
 0
 15:28 
 0
 0
 0
 0
 3:04 
 0
 0
 0
 0
 13:31 
 0
 0
 0
 0
 13:35 
 0
 0
 0
 0
 21:55 
 0
 0
 0
 0
 15:39 
 0
 0
 0
 1
 5:17 
 0
 0
 0
 0
 18:32 
 0
 0
 0
 0
 5:19 
 0
 0
 0
 0
 3:16 
 0
 0
 0
 0
 3:08 
 0
 0
 0
 0
 4:43 
 0
 0
 0
 0
 14:43 
 0
 0
 0
 0
 16:39 
 0
 0
 0
 0
 21:49 
 0
 0
 0
 0
 3:33 
 0
 0
 0
 0
 16:48 
 0
 0
 0
 0
 23:37 
 0
 0
 0
 0
 5:49 
 0
 0
 0
 0
 19:56 
 0
 0
 0
 0
 3:17 
 0
 0
 0
 0
 19:05 
 0
 0
 0
 0
 19:48 
 0
 0
 0
 0
 10:26 
 0
 0
 0
 0
 19:58 
 0
 0
 0
 0
 14:58 
 0
 0
 0
 0
 14:20 
 0
 0
 0
 0
 16:30 
 0
 0
 0
 0
 15:07 
 0
 0
 0
 0
 14:50 
 0
 0
 0
 0
 4:41 
 0
 0
 0
 0
 15:22 
 0
 0
 0
 0
 4:59 
 0
 0
 0
 0
 8:40 
 0
 0
 0
 0
 4:55