Proceedings of ISP RAS


Dynamic compilation of expressions in SQL queries for PostgreSQL

E.Y. Sharygin (ISP RAS, Moscow, Russia)
R.A. Buchatskiy (ISP RAS, Moscow, Russia)
L.V. Skvortsov (ISP RAS, Moscow, Russia; MSU, Moscow, Russia)
R.A. Zhuykov (ISP RAS, Moscow, Russia)
D.M. Melnik (ISP RAS, Moscow, Russia)

Abstract

In recent years, as performance and capacity of main and external memory grow, performance of database management systems (DBMSes) on certain kinds of queries is more determined by raw CPU speed. Currently, PostgreSQL uses the interpreter to execute SQL queries. This yields an overhead caused by indirect calls to handler functions and runtime checks, which could be avoided if the query were compiled into native code "on-the-fly", i.e. just-in-time (JIT) compiled: at run time the specific table structure is known as well as data types and built-in functions used in the query as well as the query itself. This is especially important for complex queries, performance of which is CPU-bound.
We’ve developed a PostgreSQL extension that implements SQL query JIT compilation using LLVM compiler infrastructure. In this paper we show how to implement JIT compilation to speed up sequential scan operator (SeqScan) as well as expressions in WHERE clauses. We describe some important optimizations that are possible only with dynamic compilation, such as precomputing tuple attributes offsets only for attributes used by the query.
We also discuss the maintainability of our extension, i.e. the automation for translating PostgreSQL backend functions into LLVM IR, using the same source code both for our JIT compiler and the existing interpreter.
Currently, with LLVM JIT we achieve up to 5x speedup on synthetic tests as compared to original PostgreSQL interpreter.

Keywords

dynamic compilation; just-in-time compilation; database management system engines; PostgreSQL; LLVM; query languages

Edition

Proceedings of the Institute for System Programming, vol. 28, issue 4, 2016, pp. 217-240.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2016-28(4)-13

Full text of the paper in pdf (in Russian) Back to the contents of the volume