Thanks to visit codestin.com
Credit goes to doxygen.postgresql.org

PostgreSQL Source Code git master
pmchild.c
Go to the documentation of this file.
1/*-------------------------------------------------------------------------
2 *
3 * pmchild.c
4 * Functions for keeping track of postmaster child processes.
5 *
6 * Postmaster keeps track of all child processes so that when a process exits,
7 * it knows what kind of a process it was and can clean up accordingly. Every
8 * child process is allocated a PMChild struct from a fixed pool of structs.
9 * The size of the pool is determined by various settings that configure how
10 * many worker processes and backend connections are allowed, i.e.
11 * autovacuum_worker_slots, max_worker_processes, max_wal_senders, and
12 * max_connections.
13 *
14 * Dead-end backends are handled slightly differently. There is no limit
15 * on the number of dead-end backends, and they do not need unique IDs, so
16 * their PMChild structs are allocated dynamically, not from a pool.
17 *
18 * The structures and functions in this file are private to the postmaster
19 * process. But note that there is an array in shared memory, managed by
20 * pmsignal.c, that mirrors this.
21 *
22 *
23 * Portions Copyright (c) 1996-2025, PostgreSQL Global Development Group
24 * Portions Copyright (c) 1994, Regents of the University of California
25 *
26 * IDENTIFICATION
27 * src/backend/postmaster/pmchild.c
28 *
29 *-------------------------------------------------------------------------
30 */
31
32#include "postgres.h"
33
34#include "miscadmin.h"
38#include "storage/pmsignal.h"
39#include "storage/proc.h"
40
41/*
42 * Freelists for different kinds of child processes. We maintain separate
43 * pools for each, so that for example launching a lot of regular backends
44 * cannot prevent autovacuum or an aux process from launching.
45 */
46typedef struct PMChildPool
47{
48 int size; /* number of PMChild slots reserved for this
49 * kind of processes */
50 int first_slotno; /* first slot belonging to this pool */
51 dlist_head freelist; /* currently unused PMChild entries */
53
56
57/*
58 * List of active child processes. This includes dead-end children.
59 */
61
62/*
63 * Dummy pointer to persuade Valgrind that we've not leaked the array of
64 * PMChild structs. Make it global to ensure the compiler doesn't
65 * optimize it away.
66 */
67#ifdef USE_VALGRIND
68extern PMChild *pmchild_array;
69PMChild *pmchild_array;
70#endif
71
72
73/*
74 * MaxLivePostmasterChildren
75 *
76 * This reports the number of postmaster child processes that can be active.
77 * It includes all children except for dead-end children. This allows the
78 * array in shared memory (PMChildFlags) to have a fixed maximum size.
79 */
80int
82{
83 if (num_pmchild_slots == 0)
84 elog(ERROR, "PM child array not initialized yet");
85 return num_pmchild_slots;
86}
87
88/*
89 * Initialize at postmaster startup
90 *
91 * Note: This is not called on crash restart. We rely on PMChild entries to
92 * remain valid through the restart process. This is important because the
93 * syslogger survives through the crash restart process, so we must not
94 * invalidate its PMChild slot.
95 */
96void
98{
99 int slotno;
100 PMChild *slots;
101
102 /*
103 * We allow more connections here than we can have backends because some
104 * might still be authenticating; they might fail auth, or some existing
105 * backend might exit before the auth cycle is completed. The exact
106 * MaxConnections limit is enforced when a new backend tries to join the
107 * PGPROC array.
108 *
109 * WAL senders start out as regular backends, so they share the same pool.
110 */
112
116
117 /*
118 * There can be only one of each of these running at a time. They each
119 * get their own pool of just one entry.
120 */
131
132 /* The rest of the pmchild_pools are left at zero size */
133
134 /* Count the total number of slots */
136 for (int i = 0; i < BACKEND_NUM_TYPES; i++)
138
139 /* Allocate enough slots, and make sure Valgrind doesn't complain */
140 slots = palloc(num_pmchild_slots * sizeof(PMChild));
141#ifdef USE_VALGRIND
142 pmchild_array = slots;
143#endif
144
145 /* Initialize them */
146 slotno = 0;
147 for (int btype = 0; btype < BACKEND_NUM_TYPES; btype++)
148 {
149 pmchild_pools[btype].first_slotno = slotno + 1;
150 dlist_init(&pmchild_pools[btype].freelist);
151
152 for (int j = 0; j < pmchild_pools[btype].size; j++)
153 {
154 slots[slotno].pid = 0;
155 slots[slotno].child_slot = slotno + 1;
156 slots[slotno].bkend_type = B_INVALID;
157 slots[slotno].rw = NULL;
158 slots[slotno].bgworker_notify = false;
159 dlist_push_tail(&pmchild_pools[btype].freelist, &slots[slotno].elem);
160 slotno++;
161 }
162 }
163 Assert(slotno == num_pmchild_slots);
164
165 /* Initialize other structures */
167}
168
169/*
170 * Allocate a PMChild entry for a postmaster child process of given type.
171 *
172 * The entry is taken from the right pool for the type.
173 *
174 * pmchild->child_slot in the returned struct is unique among all active child
175 * processes.
176 */
177PMChild *
179{
180 dlist_head *freelist;
181 PMChild *pmchild;
182
183 if (pmchild_pools[btype].size == 0)
184 elog(ERROR, "cannot allocate a PMChild slot for backend type %d", btype);
185
186 freelist = &pmchild_pools[btype].freelist;
187 if (dlist_is_empty(freelist))
188 return NULL;
189
190 pmchild = dlist_container(PMChild, elem, dlist_pop_head_node(freelist));
191 pmchild->pid = 0;
192 pmchild->bkend_type = btype;
193 pmchild->rw = NULL;
194 pmchild->bgworker_notify = true;
195
196 /*
197 * pmchild->child_slot for each entry was initialized when the array of
198 * slots was allocated. Sanity check it.
199 */
200 if (!(pmchild->child_slot >= pmchild_pools[btype].first_slotno &&
201 pmchild->child_slot < pmchild_pools[btype].first_slotno + pmchild_pools[btype].size))
202 {
203 elog(ERROR, "pmchild freelist for backend type %d is corrupt",
204 pmchild->bkend_type);
205 }
206
208
209 /* Update the status in the shared memory array */
211
212 elog(DEBUG2, "assigned pm child slot %d for %s",
213 pmchild->child_slot, PostmasterChildName(btype));
214
215 return pmchild;
216}
217
218/*
219 * Allocate a PMChild struct for a dead-end backend. Dead-end children are
220 * not assigned a child_slot number. The struct is palloc'd; returns NULL if
221 * out of memory.
222 */
223PMChild *
225{
226 PMChild *pmchild;
227
228 elog(DEBUG2, "allocating dead-end child");
229
230 pmchild = (PMChild *) palloc_extended(sizeof(PMChild), MCXT_ALLOC_NO_OOM);
231 if (pmchild)
232 {
233 pmchild->pid = 0;
234 pmchild->child_slot = 0;
236 pmchild->rw = NULL;
237 pmchild->bgworker_notify = false;
238
240 }
241
242 return pmchild;
243}
244
245/*
246 * Release a PMChild slot, after the child process has exited.
247 *
248 * Returns true if the child detached cleanly from shared memory, false
249 * otherwise (see MarkPostmasterChildSlotUnassigned).
250 */
251bool
253{
254 dlist_delete(&pmchild->elem);
255 if (pmchild->bkend_type == B_DEAD_END_BACKEND)
256 {
257 elog(DEBUG2, "releasing dead-end backend");
258 pfree(pmchild);
259 return true;
260 }
261 else
262 {
263 PMChildPool *pool;
264
265 elog(DEBUG2, "releasing pm child slot %d", pmchild->child_slot);
266
267 /* WAL senders start out as regular backends, and share the pool */
268 if (pmchild->bkend_type == B_WAL_SENDER)
269 pool = &pmchild_pools[B_BACKEND];
270 else
271 pool = &pmchild_pools[pmchild->bkend_type];
272
273 /* sanity check that we return the entry to the right pool */
274 if (!(pmchild->child_slot >= pool->first_slotno &&
275 pmchild->child_slot < pool->first_slotno + pool->size))
276 {
277 elog(ERROR, "pmchild freelist for backend type %d is corrupt",
278 pmchild->bkend_type);
279 }
280
281 dlist_push_head(&pool->freelist, &pmchild->elem);
283 }
284}
285
286/*
287 * Find the PMChild entry of a running child process by PID.
288 */
289PMChild *
291{
292 dlist_iter iter;
293
295 {
296 PMChild *bp = dlist_container(PMChild, elem, iter.cur);
297
298 if (bp->pid == pid)
299 return bp;
300 }
301 return NULL;
302}
int autovacuum_worker_slots
Definition: autovacuum.c:118
#define DEBUG2
Definition: elog.h:29
#define ERROR
Definition: elog.h:39
#define elog(elevel,...)
Definition: elog.h:226
#define MCXT_ALLOC_NO_OOM
Definition: fe_memutils.h:29
int MaxConnections
Definition: globals.c:143
int max_worker_processes
Definition: globals.c:144
Assert(PointerIsAligned(start, uint64))
static dlist_node * dlist_pop_head_node(dlist_head *head)
Definition: ilist.h:450
#define dlist_foreach(iter, lhead)
Definition: ilist.h:623
static void dlist_init(dlist_head *head)
Definition: ilist.h:314
static void dlist_delete(dlist_node *node)
Definition: ilist.h:405
static void dlist_push_head(dlist_head *head, dlist_node *node)
Definition: ilist.h:347
static bool dlist_is_empty(const dlist_head *head)
Definition: ilist.h:336
static void dlist_push_tail(dlist_head *head, dlist_node *node)
Definition: ilist.h:364
#define dlist_container(type, membername, ptr)
Definition: ilist.h:593
int j
Definition: isn.c:78
int i
Definition: isn.c:77
const char * PostmasterChildName(BackendType child_type)
void pfree(void *pointer)
Definition: mcxt.c:1594
void * palloc(Size size)
Definition: mcxt.c:1365
void * palloc_extended(Size size, int flags)
Definition: mcxt.c:1417
#define BACKEND_NUM_TYPES
Definition: miscadmin.h:376
BackendType
Definition: miscadmin.h:337
@ B_WAL_SUMMARIZER
Definition: miscadmin.h:366
@ B_WAL_WRITER
Definition: miscadmin.h:367
@ B_WAL_RECEIVER
Definition: miscadmin.h:365
@ B_CHECKPOINTER
Definition: miscadmin.h:362
@ B_WAL_SENDER
Definition: miscadmin.h:346
@ B_IO_WORKER
Definition: miscadmin.h:363
@ B_LOGGER
Definition: miscadmin.h:373
@ B_STARTUP
Definition: miscadmin.h:364
@ B_BG_WORKER
Definition: miscadmin.h:345
@ B_INVALID
Definition: miscadmin.h:338
@ B_BG_WRITER
Definition: miscadmin.h:361
@ B_BACKEND
Definition: miscadmin.h:341
@ B_ARCHIVER
Definition: miscadmin.h:360
@ B_AUTOVAC_LAUNCHER
Definition: miscadmin.h:343
@ B_SLOTSYNC_WORKER
Definition: miscadmin.h:347
@ B_DEAD_END_BACKEND
Definition: miscadmin.h:342
@ B_AUTOVAC_WORKER
Definition: miscadmin.h:344
NON_EXEC_STATIC int num_pmchild_slots
Definition: pmchild.c:55
PMChild * AssignPostmasterChildSlot(BackendType btype)
Definition: pmchild.c:178
bool ReleasePostmasterChildSlot(PMChild *pmchild)
Definition: pmchild.c:252
static PMChildPool pmchild_pools[BACKEND_NUM_TYPES]
Definition: pmchild.c:54
void InitPostmasterChildSlots(void)
Definition: pmchild.c:97
PMChild * AllocDeadEndChild(void)
Definition: pmchild.c:224
int MaxLivePostmasterChildren(void)
Definition: pmchild.c:81
dlist_head ActiveChildList
Definition: pmchild.c:60
PMChild * FindPostmasterChildByPid(int pid)
Definition: pmchild.c:290
struct PMChildPool PMChildPool
void MarkPostmasterChildSlotAssigned(int slot)
Definition: pmsignal.c:230
bool MarkPostmasterChildSlotUnassigned(int slot)
Definition: pmsignal.c:249
#define NON_EXEC_STATIC
Definition: postgres.h:536
#define MAX_IO_WORKERS
Definition: proc.h:462
int first_slotno
Definition: pmchild.c:50
int size
Definition: pmchild.c:48
dlist_head freelist
Definition: pmchild.c:51
struct RegisteredBgWorker * rw
Definition: postmaster.h:45
bool bgworker_notify
Definition: postmaster.h:46
BackendType bkend_type
Definition: postmaster.h:44
dlist_node elem
Definition: postmaster.h:47
pid_t pid
Definition: postmaster.h:42
int child_slot
Definition: postmaster.h:43
dlist_node * cur
Definition: ilist.h:179
int max_wal_senders
Definition: walsender.c:129