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-2026, 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. 'arg' is passed through to
184 * the initialization callback function.
185 */
186void *
187GetNamedDSMSegment(const char *name, size_t size,
188 void (*init_callback) (void *ptr, void *arg),
189 bool *found, void *arg)
190{
191 DSMRegistryEntry *entry;
192 MemoryContext oldcontext;
193 void *ret;
195 dsm_segment *seg;
196
197 Assert(found);
198
199 if (!name || *name == '\0')
201 (errmsg("DSM segment name cannot be empty")));
202
203 if (strlen(name) >= offsetof(DSMRegistryEntry, type))
205 (errmsg("DSM segment name too long")));
206
207 if (size == 0)
209 (errmsg("DSM segment size must be nonzero")));
210
211 /* Be sure any local memory allocated by DSM/DSA routines is persistent. */
213
214 /* Connect to the registry. */
216
218 state = &entry->dsm;
219 if (!(*found))
220 {
221 entry->type = DSMR_ENTRY_TYPE_DSM;
222 state->handle = DSM_HANDLE_INVALID;
223 state->size = size;
224 }
225 else if (entry->type != DSMR_ENTRY_TYPE_DSM)
227 (errmsg("requested DSM segment does not match type of existing entry")));
228 else if (state->size != size)
230 (errmsg("requested DSM segment size does not match size of existing segment")));
231
232 if (state->handle == DSM_HANDLE_INVALID)
233 {
234 *found = false;
235
236 /* Initialize the segment. */
237 seg = dsm_create(size, 0);
238
239 if (init_callback)
240 (*init_callback) (dsm_segment_address(seg), arg);
241
242 dsm_pin_segment(seg);
243 dsm_pin_mapping(seg);
244 state->handle = dsm_segment_handle(seg);
245 }
246 else
247 {
248 /* If the existing segment is not already attached, attach it now. */
249 seg = dsm_find_mapping(state->handle);
250 if (seg == NULL)
251 {
252 seg = dsm_attach(state->handle);
253 if (seg == NULL)
254 elog(ERROR, "could not map dynamic shared memory segment");
255
256 dsm_pin_mapping(seg);
257 }
258 }
259
260 ret = dsm_segment_address(seg);
262 MemoryContextSwitchTo(oldcontext);
263
264 return ret;
265}
266
267/*
268 * Initialize or attach a named DSA.
269 *
270 * This routine returns a pointer to the DSA. A new LWLock tranche ID will be
271 * generated if needed. Note that the lock tranche will be registered with the
272 * provided name. Also note that this should be called at most once for a
273 * given DSA in each backend.
274 */
275dsa_area *
276GetNamedDSA(const char *name, bool *found)
277{
278 DSMRegistryEntry *entry;
279 MemoryContext oldcontext;
280 dsa_area *ret;
282
283 Assert(found);
284
285 if (!name || *name == '\0')
287 (errmsg("DSA name cannot be empty")));
288
289 if (strlen(name) >= offsetof(DSMRegistryEntry, type))
291 (errmsg("DSA name too long")));
292
293 /* Be sure any local memory allocated by DSM/DSA routines is persistent. */
295
296 /* Connect to the registry. */
298
300 state = &entry->dsa;
301 if (!(*found))
302 {
303 entry->type = DSMR_ENTRY_TYPE_DSA;
304 state->handle = DSA_HANDLE_INVALID;
305 state->tranche = -1;
306 }
307 else if (entry->type != DSMR_ENTRY_TYPE_DSA)
309 (errmsg("requested DSA does not match type of existing entry")));
310
311 if (state->tranche == -1)
312 {
313 *found = false;
314
315 /* Initialize the LWLock tranche for the DSA. */
316 state->tranche = LWLockNewTrancheId(name);
317 }
318
319 if (state->handle == DSA_HANDLE_INVALID)
320 {
321 *found = false;
322
323 /* Initialize the DSA. */
324 ret = dsa_create(state->tranche);
325 dsa_pin(ret);
326 dsa_pin_mapping(ret);
327
328 /* Store handle for other backends to use. */
329 state->handle = dsa_get_handle(ret);
330 }
331 else if (dsa_is_attached(state->handle))
333 (errmsg("requested DSA already attached to current process")));
334 else
335 {
336 /* Attach to existing DSA. */
337 ret = dsa_attach(state->handle);
338 dsa_pin_mapping(ret);
339 }
340
342 MemoryContextSwitchTo(oldcontext);
343
344 return ret;
345}
346
347/*
348 * Initialize or attach a named dshash table.
349 *
350 * This routine returns the address of the table. The tranche_id member of
351 * params is ignored; a new LWLock tranche ID will be generated if needed.
352 * Note that the lock tranche will be registered with the provided name. Also
353 * note that this should be called at most once for a given table in each
354 * backend.
355 */
357GetNamedDSHash(const char *name, const dshash_parameters *params, bool *found)
358{
359 DSMRegistryEntry *entry;
360 MemoryContext oldcontext;
361 dshash_table *ret;
362 NamedDSHState *dsh_state;
363
364 Assert(params);
365 Assert(found);
366
367 if (!name || *name == '\0')
369 (errmsg("DSHash name cannot be empty")));
370
371 if (strlen(name) >= offsetof(DSMRegistryEntry, type))
373 (errmsg("DSHash name too long")));
374
375 /* Be sure any local memory allocated by DSM/DSA routines is persistent. */
377
378 /* Connect to the registry. */
380
382 dsh_state = &entry->dsh;
383 if (!(*found))
384 {
385 entry->type = DSMR_ENTRY_TYPE_DSH;
386 dsh_state->dsa_handle = DSA_HANDLE_INVALID;
388 dsh_state->tranche = -1;
389 }
390 else if (entry->type != DSMR_ENTRY_TYPE_DSH)
392 (errmsg("requested DSHash does not match type of existing entry")));
393
394 if (dsh_state->tranche == -1)
395 {
396 *found = false;
397
398 /* Initialize the LWLock tranche for the hash table. */
399 dsh_state->tranche = LWLockNewTrancheId(name);
400 }
401
402 if (dsh_state->dsa_handle == DSA_HANDLE_INVALID)
403 {
404 dshash_parameters params_copy;
405 dsa_area *dsa;
406
407 *found = false;
408
409 /* Initialize the DSA for the hash table. */
410 dsa = dsa_create(dsh_state->tranche);
411
412 /* Initialize the dshash table. */
413 memcpy(&params_copy, params, sizeof(dshash_parameters));
414 params_copy.tranche_id = dsh_state->tranche;
415 ret = dshash_create(dsa, &params_copy, NULL);
416
417 dsa_pin(dsa);
418 dsa_pin_mapping(dsa);
419
420 /* Store handles for other backends to use. */
421 dsh_state->dsa_handle = dsa_get_handle(dsa);
423 }
424 else if (dsa_is_attached(dsh_state->dsa_handle))
426 (errmsg("requested DSHash already attached to current process")));
427 else
428 {
429 dsa_area *dsa;
430
431 /* XXX: Should we verify params matches what table was created with? */
432
433 /* Attach to existing DSA for the hash table. */
434 dsa = dsa_attach(dsh_state->dsa_handle);
435 dsa_pin_mapping(dsa);
436
437 /* Attach to existing dshash table. */
438 ret = dshash_attach(dsa, params, dsh_state->dsh_handle, NULL);
439 }
440
442 MemoryContextSwitchTo(oldcontext);
443
444 return ret;
445}
446
447Datum
449{
450 ReturnSetInfo *rsinfo = (ReturnSetInfo *) fcinfo->resultinfo;
451 DSMRegistryEntry *entry;
452 MemoryContext oldcontext;
453 dshash_seq_status status;
454
456
457 /* Be sure any local memory allocated by DSM/DSA routines is persistent. */
460 MemoryContextSwitchTo(oldcontext);
461
462 dshash_seq_init(&status, dsm_registry_table, false);
463 while ((entry = dshash_seq_next(&status)) != NULL)
464 {
465 Datum vals[3];
466 bool nulls[3] = {0};
467
468 vals[0] = CStringGetTextDatum(entry->name);
469 vals[1] = CStringGetTextDatum(DSMREntryTypeNames[entry->type]);
470
471 /* Be careful to only return the sizes of initialized entries. */
472 if (entry->type == DSMR_ENTRY_TYPE_DSM &&
473 entry->dsm.handle != DSM_HANDLE_INVALID)
474 vals[2] = Int64GetDatum(entry->dsm.size);
475 else if (entry->type == DSMR_ENTRY_TYPE_DSA &&
476 entry->dsa.handle != DSA_HANDLE_INVALID)
477 vals[2] = Int64GetDatum(dsa_get_total_size_from_handle(entry->dsa.handle));
478 else if (entry->type == DSMR_ENTRY_TYPE_DSH &&
479 entry->dsh.dsa_handle !=DSA_HANDLE_INVALID)
480 vals[2] = Int64GetDatum(dsa_get_total_size_from_handle(entry->dsh.dsa_handle));
481 else
482 nulls[2] = true;
483
484 tuplestore_putvalues(rsinfo->setResult, rsinfo->setDesc, vals, nulls);
485 }
486 dshash_seq_term(&status);
487
488 return (Datum) 0;
489}
#define CStringGetTextDatum(s)
Definition: builtins.h:97
#define MAXALIGN(LEN)
Definition: c.h:832
size_t Size
Definition: c.h:625
dsa_area * dsa_attach(dsa_handle handle)
Definition: dsa.c:510
size_t dsa_get_total_size_from_handle(dsa_handle handle)
Definition: dsa.c:1058
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:276
void * GetNamedDSMSegment(const char *name, size_t size, void(*init_callback)(void *ptr, void *arg), bool *found, void *arg)
Definition: dsm_registry.c:187
Datum pg_get_dsm_registry_allocations(PG_FUNCTION_ARGS)
Definition: dsm_registry.c:448
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:357
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
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:1178
int LWLockNewTrancheId(const char *name)
Definition: lwlock.c:596
void LWLockRelease(LWLock *lock)
Definition: lwlock.c:1898
@ LW_EXCLUSIVE
Definition: lwlock.h:112
MemoryContext TopMemoryContext
Definition: mcxt.c:166
static MemoryContext MemoryContextSwitchTo(MemoryContext context)
Definition: palloc.h:124
void * arg
#define NAMEDATALEN
static Datum Int64GetDatum(int64 X)
Definition: postgres.h:423
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