tdkc_interrupt.h File Reference

Build-loop interrupt hook for the standalone tdkc binary. More...

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
void	provsql_tdkc_poll ()

Detailed Description

Build-loop interrupt hook for the standalone tdkc binary.

In the tdkc build, CHECK_FOR_INTERRUPTS() (called from the hot loops of the tree-decomposition and d-DNNF construction) resolves to provsql_tdkc_poll() instead of a no-op. When tdkc runs as a KCMCP server, the poll services the active connection mid-job: it answers PING with PONG, emits rate-limited PROGRESS frames, and throws to abort the build on CANCEL or a timeout_ms deadline. When no session is active (the plain command-line mode), it is a no-op.

This header is only meaningful in the tdkc build; the PostgreSQL extension uses the real CHECK_FOR_INTERRUPTS.

Definition in file tdkc_interrupt.h.

Function Documentation

provsql_tdkc_poll()

void provsql_tdkc_poll

(

)

Definition at line 342 of file kcmcp_server.cpp.

Here is the call graph for this function: