From 293913568e6a7a86fd1479e1cff8e2ecb58d6568 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sat, 13 Apr 2024 15:44:03 +0200 Subject: Adding upstream version 16.2. Signed-off-by: Daniel Baumann --- doc/src/sgml/html/jit-configuration.html | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 doc/src/sgml/html/jit-configuration.html (limited to 'doc/src/sgml/html/jit-configuration.html') diff --git a/doc/src/sgml/html/jit-configuration.html b/doc/src/sgml/html/jit-configuration.html new file mode 100644 index 0000000..fe6580a --- /dev/null +++ b/doc/src/sgml/html/jit-configuration.html @@ -0,0 +1,17 @@ + +32.3. Configuration
32.3. Configuration
Prev UpChapter 32. Just-in-Time Compilation (JIT)Home Next

32.3. Configuration #

+ The configuration variable + jit determines whether JIT + compilation is enabled or disabled. + If it is enabled, the configuration variables + jit_above_cost, jit_inline_above_cost, and jit_optimize_above_cost determine + whether JIT compilation is performed for a query, + and how much effort is spent doing so. +

+ jit_provider determines which JIT + implementation is used. It is rarely required to be changed. See Section 32.4.2. +

+ For development and debugging purposes a few additional configuration + parameters exist, as described in + Section 20.17. +

Prev Up Next
32.2. When to JIT? Home 32.4. Extensibility
\ No newline at end of file -- cgit v1.2.3