Support for optimizing and emitting code in LLVM JIT provider

Enterprise / PostgreSQL - Andres Freund [anarazel.de] - 22 March 2018 18:05 EDT

This commit introduces the ability to actually generate code using LLVM. In particular, this adds:

- Ability to emit code both in heavily optimized and largely unoptimized fashion- Batching facility to allow functions to be defined in small increments, but optimized and emitted in executable form in larger batches (for performance and memory efficiency)- Type and function declaration synchronization between runtime generated code and normal postgres code. This is critical to be able to access struct fields etc.- Developer oriented jit_dump_bitcode GUC, for inspecting / debugging the generated code.- per JitContext statistics of number of functions, time spent generating code, optimizing, and emitting it. This will later be employed for EXPLAIN support.

This commit doesn't yet contain any code actually generating functions. That'll follow in later commits.

Documentation for GUCs added, and for JIT in general, will be added in later commits.

Author: Andres Freund, with contributions by Pierre Ducroquet

b96d550eb0 Support for optimizing and emitting code in LLVM JIT provider.
.gitignore | 1 +
src/Makefile.global.in | 21 ++
src/backend/common.mk | 1 +
src/backend/jit/jit.c | 1 +
src/backend/jit/llvm/Makefile | 14 +-
src/backend/jit/llvm/llvmjit.c | 588 +++++++++++++++++++++++++++++++++++
src/backend/jit/llvm/llvmjit_types.c | 60 ++++
src/backend/utils/misc/guc.c | 11 +
src/include/jit/jit.h | 21 ++
src/include/jit/llvmjit.h | 30 ++
src/tools/pgindent/typedefs.list | 3 +
11 files changed, 748 insertions(+), 3 deletions(-)

Upstream: git.postgresql.org


  • Share