![]() |
ProvSQL C/C++ API
Adding support for provenance and uncertainty management to PostgreSQL databases
|
Shared state stored in the PostgreSQL shared-memory segment. More...
#include "provsql_shmem.h"
Public Attributes | |
| LWLock * | lock |
| Mutual-exclusion lock for pipe writes. | |
| long | pipebmr |
| Backend-to-worker pipe: read end (worker reads). | |
| long | pipebmw |
| Backend-to-worker pipe: write end (backends write). | |
| long | pipembr |
| Worker-to-backend pipe: read end (backends read). | |
| long | pipembw |
| Worker-to-backend pipe: write end (worker writes). | |
| char | kcmcp_endpoint [256] |
| Live endpoint of the managed KCMCP server ("" when none): written by the supervisor worker, read by the in-extension client. | |
Shared state stored in the PostgreSQL shared-memory segment.
All backends and the background worker access this structure through the provsql_shared_state global pointer.
lock serialises gate-creation messages so that only one backend writes to the pipe at a time. The four long fields hold OS file descriptors for the two anonymous pipes:
pipebmr / pipebmw: requests, backend → worker (backends write)pipembr / pipembw: replies, worker → backend (worker writes) Definition at line 112 of file provsql_shmem.h.
| char provsqlSharedState::kcmcp_endpoint[256] |
Live endpoint of the managed KCMCP server ("" when none): written by the supervisor worker, read by the in-extension client.
Definition at line 119 of file provsql_shmem.h.
| LWLock* provsqlSharedState::lock |
Mutual-exclusion lock for pipe writes.
Definition at line 114 of file provsql_shmem.h.
| long provsqlSharedState::pipebmr |
Backend-to-worker pipe: read end (worker reads).
Definition at line 115 of file provsql_shmem.h.
| long provsqlSharedState::pipebmw |
Backend-to-worker pipe: write end (backends write).
Definition at line 116 of file provsql_shmem.h.
| long provsqlSharedState::pipembr |
Worker-to-backend pipe: read end (backends read).
Definition at line 117 of file provsql_shmem.h.
| long provsqlSharedState::pipembw |
Worker-to-backend pipe: write end (worker writes).
Definition at line 118 of file provsql_shmem.h.