![]() |
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 |
| Background-to-main pipe: read end (worker reads) | |
| long | pipebmw |
| Background-to-main pipe: write end (worker writes) | |
| long | pipembr |
| Main-to-background pipe: read end (worker reads) | |
| long | pipembw |
| Main-to-background pipe: write end (backend writes) | |
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:
pipembr / pipembw: main-backend → background (write end in main)pipebmr / pipebmw: background → main-backend (write end in worker) Definition at line 74 of file provsql_shmem.h.
| LWLock* provsqlSharedState::lock |
Mutual-exclusion lock for pipe writes.
Definition at line 76 of file provsql_shmem.h.
| long provsqlSharedState::pipebmr |
Background-to-main pipe: read end (worker reads)
Definition at line 77 of file provsql_shmem.h.
| long provsqlSharedState::pipebmw |
Background-to-main pipe: write end (worker writes)
Definition at line 78 of file provsql_shmem.h.
| long provsqlSharedState::pipembr |
Main-to-background pipe: read end (worker reads)
Definition at line 79 of file provsql_shmem.h.
| long provsqlSharedState::pipembw |
Main-to-background pipe: write end (backend writes)
Definition at line 80 of file provsql_shmem.h.