PostgreSQL Source Code git master
dsm_registry.c
Go to the documentation of this file.
1/*-------------------------------------------------------------------------
2 *
3 * dsm_registry.c
4 * Functions for interfacing with the dynamic shared memory registry.
5 *
6 * This provides a way for libraries to use shared memory without needing
7 * to request it at startup time via a shmem_request_hook. The registry
8 * stores dynamic shared memory (DSM) segment handles keyed by a
9 * library-specified string.
10 *
11 * The registry is accessed by calling GetNamedDSMSegment(). If a segment
12 * with the provided name does not yet exist, it is created and initialized
13 * with the provided init_callback callback function. Otherwise,
14 * GetNamedDSMSegment() simply ensures that the segment is attached to the
15 * current backend. This function guarantees that only one backend
16 * initializes the segment and that all other backends just attach it.
17 *
18 * A DSA can be created in or retrieved from the registry by calling
19 * GetNamedDSA(). As with GetNamedDSMSegment(), if a DSA with the provided
20 * name does not yet exist, it is created. Otherwise, GetNamedDSA()
21 * ensures the DSA is attached to the current backend. This function
22 * guarantees that only one backend initializes the DSA and that all other
23 * backends just attach it.
24 *
25 * A dshash table can be created in or retrieved from the registry by
26 * calling GetNamedDSHash(). As with GetNamedDSMSegment(), if a hash
27 * table with the provided name does not yet exist, it is created.
28 * Otherwise, GetNamedDSHash() ensures the hash table is attached to the
29 * current backend. This function guarantees that only one backend
30 * initializes the table and that all other backends just attach it.
31 *
32 * Portions Copyright (c) 1996-2025, PostgreSQL Global Development Group
33 * Portions Copyright (c) 1994, Regents of the University of California
34 *
35 * IDENTIFICATION
36 * src/backend/storage/ipc/dsm_registry.c
37 *
38 *-------------------------------------------------------------------------
39 */
40
41#include "postgres.h"
42
43#include "funcapi.h"
44#include "lib/dshash.h"
46#include "storage/lwlock.h"
47#include "storage/shmem.h"
48#include "utils/builtins.h"
49#include "utils/memutils.h"
50
52{
56
58
59typedef struct NamedDSMState
60{
62 size_t size;
64
65typedef struct NamedDSAState
66{
70
71typedef struct NamedDSHState
72{
77
78typedef enum DSMREntryType
79{
84
85static const char *const DSMREntryTypeNames[] =
86{
87 [DSMR_ENTRY_TYPE_DSM] = "segment",
88 [DSMR_ENTRY_TYPE_DSA] = "area",
89 [DSMR_ENTRY_TYPE_DSH] = "hash",
90};
91
92typedef struct DSMRegistryEntry
93{
96 union
97 {
101 };
103
105 offsetof(DSMRegistryEntry, type),
106 sizeof(DSMRegistryEntry),
110 LWTRANCHE_DSM_REGISTRY_HASH
111};
112
115
116Size
118{
119 return MAXALIGN(sizeof(DSMRegistryCtxStruct));
120}
121
122void
124{
125 bool found;
126
128 ShmemInitStruct("DSM Registry Data",
130 &found);
131
132 if (!found)
133 {
136 }
137}
138
139/*
140 * Initialize or attach to the dynamic shared hash table that stores the DSM
141 * registry entries, if not already done. This must be called before accessing
142 * the table.
143 */
144static void
146{
147 /* Quick exit if we already did this. */
149 return;
150
151 /* Otherwise, use a lock to ensure only one process creates the table. */
152 LWLockAcquire(DSMRegistryLock, LW_EXCLUSIVE);
153
155 {
156 /* Initialize dynamic shared hash table for registry. */
157 dsm_registry_dsa = dsa_create(LWTRANCHE_DSM_REGISTRY_DSA);
159
162
163 /* Store handles in shared memory for other backends to use. */
166 }
167 else
168 {
169 /* Attach to existing dynamic shared hash table. */
173 DSMRegistryCtx->dshh, NULL);
174 }
175
176 LWLockRelease(DSMRegistryLock);
177}
178
179/*
180 * Initialize or attach a named DSM segment.
181 *
182 * This routine returns the address of the segment. init_callback is called to
183 * initialize the segment when it is first created.
184 */
185void *
186GetNamedDSMSegment(const char *name, size_t size,
187 void (*init_callback) (void *ptr), bool *found)
188{
189 DSMRegistryEntry *entry;
190 MemoryContext oldcontext;
191 void *ret;
193 dsm_segment *seg;
194
195 Assert(found);
196
197 if (!name || *name == '\0')
199 (errmsg("DSM segment name cannot be empty")));
200
201 if (strlen(name) >= offsetof(DSMRegistryEntry, type))
203 (errmsg("DSM segment name too long")));
204
205 if (size == 0)
207 (errmsg("DSM segment size must be nonzero")));
208
209 /* Be sure any local memory allocated by DSM/DSA routines is persistent. */
211
212 /* Connect to the registry. */
214
216 state = &entry->dsm;
217 if (!(*found))
218 {
219 entry->type = DSMR_ENTRY_TYPE_DSM;
220 state->handle = DSM_HANDLE_INVALID;
221 state->size = size;
222 }
223 else if (entry->type != DSMR_ENTRY_TYPE_DSM)
225 (errmsg("requested DSM segment does not match type of existing entry")));
226 else if (state->size != size)
228 (errmsg("requested DSM segment size does not match size of existing segment")));
229
230 if (state->handle == DSM_HANDLE_INVALID)
231 {
232 *found = false;
233
234 /* Initialize the segment. */
235 seg = dsm_create(size, 0);
236
237 if (init_callback)
238 (*init_callback) (dsm_segment_address(seg));
239
240 dsm_pin_segment(seg);
241 dsm_pin_mapping(seg);
242 state->handle = dsm_segment_handle(seg);
243 }
244 else
245 {
246 /* If the existing segment is not already attached, attach it now. */
247 seg = dsm_find_mapping(state->handle);
248 if (seg == NULL)
249 {
250 seg = dsm_attach(state->handle);
251 if (seg == NULL)
252 elog(ERROR, "could not map dynamic shared memory segment");
253
254 dsm_pin_mapping(seg);
255 }
256 }
257
258 ret = dsm_segment_address(seg);
260 MemoryContextSwitchTo(oldcontext);
261
262 return ret;
263}
264
265/*
266 * Initialize or attach a named DSA.
267 *
268 * This routine returns a pointer to the DSA. A new LWLock tranche ID will be
269 * generated if needed. Note that the lock tranche will be registered with the
270 * provided name. Also note that this should be called at most once for a
271 * given DSA in each backend.
272 */
273dsa_area *
274GetNamedDSA(const char *name, bool *found)
275{
276 DSMRegistryEntry *entry;
277 MemoryContext oldcontext;
278 dsa_area *ret;
280
281 Assert(found);
282
283 if (!name || *name == '\0')
285 (errmsg("DSA name cannot be empty")));
286
287 if (strlen(name) >= offsetof(DSMRegistryEntry, type))
289 (errmsg("DSA name too long")));
290
291 /* Be sure any local memory allocated by DSM/DSA routines is persistent. */
293
294 /* Connect to the registry. */
296
298 state = &entry->dsa;
299 if (!(*found))
300 {
301 entry->type = DSMR_ENTRY_TYPE_DSA;
302 state->handle = DSA_HANDLE_INVALID;
303 state->tranche = -1;
304 }
305 else if (entry->type != DSMR_ENTRY_TYPE_DSA)
307 (errmsg("requested DSA does not match type of existing entry")));
308
309 if (state->tranche == -1)
310 {
311 *found = false;
312
313 /* Initialize the LWLock tranche for the DSA. */
314 state->tranche = LWLockNewTrancheId(name);
315 }
316
317 if (state->handle == DSA_HANDLE_INVALID)
318 {
319 *found = false;
320
321 /* Initialize the DSA. */
322 ret = dsa_create(state->tranche);
323 dsa_pin(ret);
324 dsa_pin_mapping(ret);
325
326 /* Store handle for other backends to use. */
327 state->handle = dsa_get_handle(ret);
328 }
329 else if (dsa_is_attached(state->handle))
331 (errmsg("requested DSA already attached to current process")));
332 else
333 {
334 /* Attach to existing DSA. */
335 ret = dsa_attach(state->handle);
336 dsa_pin_mapping(ret);
337 }
338
340 MemoryContextSwitchTo(oldcontext);
341
342 return ret;
343}
344
345/*
346 * Initialize or attach a named dshash table.
347 *
348 * This routine returns the address of the table. The tranche_id member of
349 * params is ignored; a new LWLock tranche ID will be generated if needed.
350 * Note that the lock tranche will be registered with the provided name. Also
351 * note that this should be called at most once for a given table in each
352 * backend.
353 */
355GetNamedDSHash(const char *name, const dshash_parameters *params, bool *found)
356{
357 DSMRegistryEntry *entry;
358 MemoryContext oldcontext;
359 dshash_table *ret;
360 NamedDSHState *dsh_state;
361
362 Assert(params);
363 Assert(found);
364
365 if (!name || *name == '\0')
367 (errmsg("DSHash name cannot be empty")));
368
369 if (strlen(name) >= offsetof(DSMRegistryEntry, type))
371 (errmsg("DSHash name too long")));
372
373 /* Be sure any local memory allocated by DSM/DSA routines is persistent. */
375
376 /* Connect to the registry. */
378
380 dsh_state = &entry->dsh;
381 if (!(*found))
382 {
383 entry->type = DSMR_ENTRY_TYPE_DSH;
384 dsh_state->dsa_handle = DSA_HANDLE_INVALID;
386 dsh_state->tranche = -1;
387 }
388 else if (entry->type != DSMR_ENTRY_TYPE_DSH)
390 (errmsg("requested DSHash does not match type of existing entry")));
391
392 if (dsh_state->tranche == -1)
393 {
394 *found = false;
395
396 /* Initialize the LWLock tranche for the hash table. */
397 dsh_state->tranche = LWLockNewTrancheId(name);
398 }
399
400 if (dsh_state->dsa_handle == DSA_HANDLE_INVALID)
401 {
402 dshash_parameters params_copy;
403 dsa_area *dsa;
404
405 *found = false;
406
407 /* Initialize the DSA for the hash table. */
408 dsa = dsa_create(dsh_state->tranche);
409
410 /* Initialize the dshash table. */
411 memcpy(&params_copy, params, sizeof(dshash_parameters));
412 params_copy.tranche_id = dsh_state->tranche;
413 ret = dshash_create(dsa, &params_copy, NULL);
414
415 dsa_pin(dsa);
416 dsa_pin_mapping(dsa);
417
418 /* Store handles for other backends to use. */
419 dsh_state->dsa_handle = dsa_get_handle(dsa);
421 }
422 else if (dsa_is_attached(dsh_state->dsa_handle))
424 (errmsg("requested DSHash already attached to current process")));
425 else
426 {
427 dsa_area *dsa;
428
429 /* XXX: Should we verify params matches what table was created with? */
430
431 /* Attach to existing DSA for the hash table. */
432 dsa = dsa_attach(dsh_state->dsa_handle);
433 dsa_pin_mapping(dsa);
434
435 /* Attach to existing dshash table. */
436 ret = dshash_attach(dsa, params, dsh_state->dsh_handle, NULL);
437 }
438
440 MemoryContextSwitchTo(oldcontext);
441
442 return ret;
443}
444
445Datum
447{
448 ReturnSetInfo *rsinfo = (ReturnSetInfo *) fcinfo->resultinfo;
449 DSMRegistryEntry *entry;
450 MemoryContext oldcontext;
451 dshash_seq_status status;
452
454
455 /* Be sure any local memory allocated by DSM/DSA routines is persistent. */
458 MemoryContextSwitchTo(oldcontext);
459
460 dshash_seq_init(&status, dsm_registry_table, false);
461 while ((entry = dshash_seq_next(&status)) != NULL)
462 {
463 Datum vals[3];
464 bool nulls[3] = {0};
465
466 /* Do not show partially-initialized entries. */
467 if (entry->type == DSMR_ENTRY_TYPE_DSM &&
468 entry->dsm.handle == DSM_HANDLE_INVALID)
469 continue;
470 if (entry->type == DSMR_ENTRY_TYPE_DSA &&
471 entry->dsa.handle == DSA_HANDLE_INVALID)
472 continue;
473 if (entry->type == DSMR_ENTRY_TYPE_DSH &&
474 entry->dsh.dsa_handle == DSA_HANDLE_INVALID)
475 continue;
476
477 vals[0] = CStringGetTextDatum(entry->name);
478 vals[1] = CStringGetTextDatum(DSMREntryTypeNames[entry->type]);
479
480 /*
481 * Since we can't know the size of DSA/dshash entries without first
482 * attaching to them, return NULL for those.
483 */
484 if (entry->type == DSMR_ENTRY_TYPE_DSM)
485 vals[2] = Int64GetDatum(entry->dsm.size);
486 else
487 nulls[2] = true;
488
489 tuplestore_putvalues(rsinfo->setResult, rsinfo->setDesc, vals, nulls);
490 }
491 dshash_seq_term(&status);
492
493 return (Datum) 0;
494}
#define CStringGetTextDatum(s)
Definition: builtins.h:97
#define MAXALIGN(LEN)
Definition: c.h:815
size_t Size
Definition: c.h:615
dsa_area * dsa_attach(dsa_handle handle)
Definition: dsa.c:510
void dsa_pin_mapping(dsa_area *area)
Definition: dsa.c:650
dsa_handle dsa_get_handle(dsa_area *area)
Definition: dsa.c:498
bool dsa_is_attached(dsa_handle handle)
Definition: dsa.c:540
void dsa_pin(dsa_area *area)
Definition: dsa.c:990
#define dsa_create(tranche_id)
Definition: dsa.h:117
dsm_handle dsa_handle
Definition: dsa.h:136
#define DSA_HANDLE_INVALID
Definition: dsa.h:139
void dshash_strcpy(void *dest, const void *src, size_t size, void *arg)
Definition: dshash.c:624
void dshash_release_lock(dshash_table *hash_table, void *entry)
Definition: dshash.c:560
void dshash_seq_init(dshash_seq_status *status, dshash_table *hash_table, bool exclusive)
Definition: dshash.c:640
dshash_hash dshash_strhash(const void *v, size_t size, void *arg)
Definition: dshash.c:613
dshash_table_handle dshash_get_hash_table_handle(dshash_table *hash_table)
Definition: dshash.c:369
dshash_table * dshash_attach(dsa_area *area, const dshash_parameters *params, dshash_table_handle handle, void *arg)
Definition: dshash.c:272
void dshash_seq_term(dshash_seq_status *status)
Definition: dshash.c:749
int dshash_strcmp(const void *a, const void *b, size_t size, void *arg)
Definition: dshash.c:601
void * dshash_find_or_insert(dshash_table *hash_table, const void *key, bool *found)
Definition: dshash.c:435
void * dshash_seq_next(dshash_seq_status *status)
Definition: dshash.c:659
dshash_table * dshash_create(dsa_area *area, const dshash_parameters *params, void *arg)
Definition: dshash.c:208
#define DSHASH_HANDLE_INVALID
Definition: dshash.h:27
dsa_pointer dshash_table_handle
Definition: dshash.h:24
dsm_handle dsm_segment_handle(dsm_segment *seg)
Definition: dsm.c:1123
void dsm_pin_mapping(dsm_segment *seg)
Definition: dsm.c:915
void dsm_pin_segment(dsm_segment *seg)
Definition: dsm.c:955
void * dsm_segment_address(dsm_segment *seg)
Definition: dsm.c:1095
dsm_segment * dsm_create(Size size, int flags)
Definition: dsm.c:516
dsm_segment * dsm_attach(dsm_handle h)
Definition: dsm.c:665
dsm_segment * dsm_find_mapping(dsm_handle handle)
Definition: dsm.c:1076
uint32 dsm_handle
Definition: dsm_impl.h:55
#define DSM_HANDLE_INVALID
Definition: dsm_impl.h:58
dsa_area * GetNamedDSA(const char *name, bool *found)
Definition: dsm_registry.c:274
Datum pg_get_dsm_registry_allocations(PG_FUNCTION_ARGS)
Definition: dsm_registry.c:446
DSMREntryType
Definition: dsm_registry.c:79
@ DSMR_ENTRY_TYPE_DSM
Definition: dsm_registry.c:80
@ DSMR_ENTRY_TYPE_DSA
Definition: dsm_registry.c:81
@ DSMR_ENTRY_TYPE_DSH
Definition: dsm_registry.c:82
struct NamedDSMState NamedDSMState
void DSMRegistryShmemInit(void)
Definition: dsm_registry.c:123
static void init_dsm_registry(void)
Definition: dsm_registry.c:145
static const char *const DSMREntryTypeNames[]
Definition: dsm_registry.c:85
struct NamedDSAState NamedDSAState
static DSMRegistryCtxStruct * DSMRegistryCtx
Definition: dsm_registry.c:57
struct DSMRegistryEntry DSMRegistryEntry
static dshash_table * dsm_registry_table
Definition: dsm_registry.c:114
dshash_table * GetNamedDSHash(const char *name, const dshash_parameters *params, bool *found)
Definition: dsm_registry.c:355
static dsa_area * dsm_registry_dsa
Definition: dsm_registry.c:113
static const dshash_parameters dsh_params
Definition: dsm_registry.c:104
struct DSMRegistryCtxStruct DSMRegistryCtxStruct
struct NamedDSHState NamedDSHState
Size DSMRegistryShmemSize(void)
Definition: dsm_registry.c:117
void * GetNamedDSMSegment(const char *name, size_t size, void(*init_callback)(void *ptr), bool *found)
Definition: dsm_registry.c:186
int errmsg(const char *fmt,...)
Definition: elog.c:1080
#define ERROR
Definition: elog.h:39
#define elog(elevel,...)
Definition: elog.h:226
#define ereport(elevel,...)
Definition: elog.h:150
#define PG_FUNCTION_ARGS
Definition: fmgr.h:193
void InitMaterializedSRF(FunctionCallInfo fcinfo, bits32 flags)
Definition: funcapi.c:76
#define MAT_SRF_USE_EXPECTED_DESC
Definition: funcapi.h:296
Assert(PointerIsAligned(start, uint64))
bool LWLockAcquire(LWLock *lock, LWLockMode mode)
Definition: lwlock.c:1174
int LWLockNewTrancheId(const char *name)
Definition: lwlock.c:596
void LWLockRelease(LWLock *lock)
Definition: lwlock.c:1894
@ LW_EXCLUSIVE
Definition: lwlock.h:112
MemoryContext TopMemoryContext
Definition: mcxt.c:166
static MemoryContext MemoryContextSwitchTo(MemoryContext context)
Definition: palloc.h:124
#define NAMEDATALEN
static Datum Int64GetDatum(int64 X)
Definition: postgres.h:403
uint64_t Datum
Definition: postgres.h:70
void * ShmemInitStruct(const char *name, Size size, bool *foundPtr)
Definition: shmem.c:389
dshash_table_handle dshh
Definition: dsm_registry.c:54
NamedDSMState dsm
Definition: dsm_registry.c:98
char name[NAMEDATALEN]
Definition: dsm_registry.c:94
NamedDSAState dsa
Definition: dsm_registry.c:99
NamedDSHState dsh
Definition: dsm_registry.c:100
DSMREntryType type
Definition: dsm_registry.c:95
dsa_handle handle
Definition: dsm_registry.c:67
dsa_handle dsa_handle
Definition: dsm_registry.c:73
dshash_table_handle dsh_handle
Definition: dsm_registry.c:74
dsm_handle handle
Definition: dsm_registry.c:61
TupleDesc setDesc
Definition: execnodes.h:364
Tuplestorestate * setResult
Definition: execnodes.h:363
Definition: dsa.c:348
Definition: regguts.h:323
void tuplestore_putvalues(Tuplestorestate *state, TupleDesc tdesc, const Datum *values, const bool *isnull)
Definition: tuplestore.c:784
const char * type
const char * name