Fix a compiler warning in initStringInfo().
[pgsql.git] / src / backend / utils / mmgr / mcxt.c
blobaa6da0d0352ae366031a4d1b915a1dafdaebea1c
1 /*-------------------------------------------------------------------------
3 * mcxt.c
4 * POSTGRES memory context management code.
6 * This module handles context management operations that are independent
7 * of the particular kind of context being operated on. It calls
8 * context-type-specific operations via the function pointers in a
9 * context's MemoryContextMethods struct.
12 * Portions Copyright (c) 1996-2025, PostgreSQL Global Development Group
13 * Portions Copyright (c) 1994, Regents of the University of California
16 * IDENTIFICATION
17 * src/backend/utils/mmgr/mcxt.c
19 *-------------------------------------------------------------------------
22 #include "postgres.h"
24 #include "mb/pg_wchar.h"
25 #include "miscadmin.h"
26 #include "utils/memdebug.h"
27 #include "utils/memutils.h"
28 #include "utils/memutils_internal.h"
29 #include "utils/memutils_memorychunk.h"
32 static void BogusFree(void *pointer);
33 static void *BogusRealloc(void *pointer, Size size, int flags);
34 static MemoryContext BogusGetChunkContext(void *pointer);
35 static Size BogusGetChunkSpace(void *pointer);
37 /*****************************************************************************
38 * GLOBAL MEMORY *
39 *****************************************************************************/
40 #define BOGUS_MCTX(id) \
41 [id].free_p = BogusFree, \
42 [id].realloc = BogusRealloc, \
43 [id].get_chunk_context = BogusGetChunkContext, \
44 [id].get_chunk_space = BogusGetChunkSpace
46 static const MemoryContextMethods mcxt_methods[] = {
47 /* aset.c */
48 [MCTX_ASET_ID].alloc = AllocSetAlloc,
49 [MCTX_ASET_ID].free_p = AllocSetFree,
50 [MCTX_ASET_ID].realloc = AllocSetRealloc,
51 [MCTX_ASET_ID].reset = AllocSetReset,
52 [MCTX_ASET_ID].delete_context = AllocSetDelete,
53 [MCTX_ASET_ID].get_chunk_context = AllocSetGetChunkContext,
54 [MCTX_ASET_ID].get_chunk_space = AllocSetGetChunkSpace,
55 [MCTX_ASET_ID].is_empty = AllocSetIsEmpty,
56 [MCTX_ASET_ID].stats = AllocSetStats,
57 #ifdef MEMORY_CONTEXT_CHECKING
58 [MCTX_ASET_ID].check = AllocSetCheck,
59 #endif
61 /* generation.c */
62 [MCTX_GENERATION_ID].alloc = GenerationAlloc,
63 [MCTX_GENERATION_ID].free_p = GenerationFree,
64 [MCTX_GENERATION_ID].realloc = GenerationRealloc,
65 [MCTX_GENERATION_ID].reset = GenerationReset,
66 [MCTX_GENERATION_ID].delete_context = GenerationDelete,
67 [MCTX_GENERATION_ID].get_chunk_context = GenerationGetChunkContext,
68 [MCTX_GENERATION_ID].get_chunk_space = GenerationGetChunkSpace,
69 [MCTX_GENERATION_ID].is_empty = GenerationIsEmpty,
70 [MCTX_GENERATION_ID].stats = GenerationStats,
71 #ifdef MEMORY_CONTEXT_CHECKING
72 [MCTX_GENERATION_ID].check = GenerationCheck,
73 #endif
75 /* slab.c */
76 [MCTX_SLAB_ID].alloc = SlabAlloc,
77 [MCTX_SLAB_ID].free_p = SlabFree,
78 [MCTX_SLAB_ID].realloc = SlabRealloc,
79 [MCTX_SLAB_ID].reset = SlabReset,
80 [MCTX_SLAB_ID].delete_context = SlabDelete,
81 [MCTX_SLAB_ID].get_chunk_context = SlabGetChunkContext,
82 [MCTX_SLAB_ID].get_chunk_space = SlabGetChunkSpace,
83 [MCTX_SLAB_ID].is_empty = SlabIsEmpty,
84 [MCTX_SLAB_ID].stats = SlabStats,
85 #ifdef MEMORY_CONTEXT_CHECKING
86 [MCTX_SLAB_ID].check = SlabCheck,
87 #endif
89 /* alignedalloc.c */
90 [MCTX_ALIGNED_REDIRECT_ID].alloc = NULL, /* not required */
91 [MCTX_ALIGNED_REDIRECT_ID].free_p = AlignedAllocFree,
92 [MCTX_ALIGNED_REDIRECT_ID].realloc = AlignedAllocRealloc,
93 [MCTX_ALIGNED_REDIRECT_ID].reset = NULL, /* not required */
94 [MCTX_ALIGNED_REDIRECT_ID].delete_context = NULL, /* not required */
95 [MCTX_ALIGNED_REDIRECT_ID].get_chunk_context = AlignedAllocGetChunkContext,
96 [MCTX_ALIGNED_REDIRECT_ID].get_chunk_space = AlignedAllocGetChunkSpace,
97 [MCTX_ALIGNED_REDIRECT_ID].is_empty = NULL, /* not required */
98 [MCTX_ALIGNED_REDIRECT_ID].stats = NULL, /* not required */
99 #ifdef MEMORY_CONTEXT_CHECKING
100 [MCTX_ALIGNED_REDIRECT_ID].check = NULL, /* not required */
101 #endif
103 /* bump.c */
104 [MCTX_BUMP_ID].alloc = BumpAlloc,
105 [MCTX_BUMP_ID].free_p = BumpFree,
106 [MCTX_BUMP_ID].realloc = BumpRealloc,
107 [MCTX_BUMP_ID].reset = BumpReset,
108 [MCTX_BUMP_ID].delete_context = BumpDelete,
109 [MCTX_BUMP_ID].get_chunk_context = BumpGetChunkContext,
110 [MCTX_BUMP_ID].get_chunk_space = BumpGetChunkSpace,
111 [MCTX_BUMP_ID].is_empty = BumpIsEmpty,
112 [MCTX_BUMP_ID].stats = BumpStats,
113 #ifdef MEMORY_CONTEXT_CHECKING
114 [MCTX_BUMP_ID].check = BumpCheck,
115 #endif
119 * Reserved and unused IDs should have dummy entries here. This allows us
120 * to fail cleanly if a bogus pointer is passed to pfree or the like. It
121 * seems sufficient to provide routines for the methods that might get
122 * invoked from inspection of a chunk (see MCXT_METHOD calls below).
124 BOGUS_MCTX(MCTX_1_RESERVED_GLIBC_ID),
125 BOGUS_MCTX(MCTX_2_RESERVED_GLIBC_ID),
126 BOGUS_MCTX(MCTX_8_UNUSED_ID),
127 BOGUS_MCTX(MCTX_9_UNUSED_ID),
128 BOGUS_MCTX(MCTX_10_UNUSED_ID),
129 BOGUS_MCTX(MCTX_11_UNUSED_ID),
130 BOGUS_MCTX(MCTX_12_UNUSED_ID),
131 BOGUS_MCTX(MCTX_13_UNUSED_ID),
132 BOGUS_MCTX(MCTX_14_UNUSED_ID),
133 BOGUS_MCTX(MCTX_0_RESERVED_UNUSEDMEM_ID),
134 BOGUS_MCTX(MCTX_15_RESERVED_WIPEDMEM_ID)
137 #undef BOGUS_MCTX
140 * CurrentMemoryContext
141 * Default memory context for allocations.
143 MemoryContext CurrentMemoryContext = NULL;
146 * Standard top-level contexts. For a description of the purpose of each
147 * of these contexts, refer to src/backend/utils/mmgr/README
149 MemoryContext TopMemoryContext = NULL;
150 MemoryContext ErrorContext = NULL;
151 MemoryContext PostmasterContext = NULL;
152 MemoryContext CacheMemoryContext = NULL;
153 MemoryContext MessageContext = NULL;
154 MemoryContext TopTransactionContext = NULL;
155 MemoryContext CurTransactionContext = NULL;
157 /* This is a transient link to the active portal's memory context: */
158 MemoryContext PortalContext = NULL;
160 static void MemoryContextDeleteOnly(MemoryContext context);
161 static void MemoryContextCallResetCallbacks(MemoryContext context);
162 static void MemoryContextStatsInternal(MemoryContext context, int level,
163 int max_level, int max_children,
164 MemoryContextCounters *totals,
165 bool print_to_stderr);
166 static void MemoryContextStatsPrint(MemoryContext context, void *passthru,
167 const char *stats_string,
168 bool print_to_stderr);
171 * You should not do memory allocations within a critical section, because
172 * an out-of-memory error will be escalated to a PANIC. To enforce that
173 * rule, the allocation functions Assert that.
175 #define AssertNotInCriticalSection(context) \
176 Assert(CritSectionCount == 0 || (context)->allowInCritSection)
179 * Call the given function in the MemoryContextMethods for the memory context
180 * type that 'pointer' belongs to.
182 #define MCXT_METHOD(pointer, method) \
183 mcxt_methods[GetMemoryChunkMethodID(pointer)].method
186 * GetMemoryChunkMethodID
187 * Return the MemoryContextMethodID from the uint64 chunk header which
188 * directly precedes 'pointer'.
190 static inline MemoryContextMethodID
191 GetMemoryChunkMethodID(const void *pointer)
193 uint64 header;
196 * Try to detect bogus pointers handed to us, poorly though we can.
197 * Presumably, a pointer that isn't MAXALIGNED isn't pointing at an
198 * allocated chunk.
200 Assert(pointer == (const void *) MAXALIGN(pointer));
202 /* Allow access to the uint64 header */
203 VALGRIND_MAKE_MEM_DEFINED((char *) pointer - sizeof(uint64), sizeof(uint64));
205 header = *((const uint64 *) ((const char *) pointer - sizeof(uint64)));
207 /* Disallow access to the uint64 header */
208 VALGRIND_MAKE_MEM_NOACCESS((char *) pointer - sizeof(uint64), sizeof(uint64));
210 return (MemoryContextMethodID) (header & MEMORY_CONTEXT_METHODID_MASK);
214 * GetMemoryChunkHeader
215 * Return the uint64 chunk header which directly precedes 'pointer'.
217 * This is only used after GetMemoryChunkMethodID, so no need for error checks.
219 static inline uint64
220 GetMemoryChunkHeader(const void *pointer)
222 uint64 header;
224 /* Allow access to the uint64 header */
225 VALGRIND_MAKE_MEM_DEFINED((char *) pointer - sizeof(uint64), sizeof(uint64));
227 header = *((const uint64 *) ((const char *) pointer - sizeof(uint64)));
229 /* Disallow access to the uint64 header */
230 VALGRIND_MAKE_MEM_NOACCESS((char *) pointer - sizeof(uint64), sizeof(uint64));
232 return header;
236 * MemoryContextTraverseNext
237 * Helper function to traverse all descendants of a memory context
238 * without recursion.
240 * Recursion could lead to out-of-stack errors with deep context hierarchies,
241 * which would be unpleasant in error cleanup code paths.
243 * To process 'context' and all its descendants, use a loop like this:
245 * <process 'context'>
246 * for (MemoryContext curr = context->firstchild;
247 * curr != NULL;
248 * curr = MemoryContextTraverseNext(curr, context))
250 * <process 'curr'>
253 * This visits all the contexts in pre-order, that is a node is visited
254 * before its children.
256 static MemoryContext
257 MemoryContextTraverseNext(MemoryContext curr, MemoryContext top)
259 /* After processing a node, traverse to its first child if any */
260 if (curr->firstchild != NULL)
261 return curr->firstchild;
264 * After processing a childless node, traverse to its next sibling if
265 * there is one. If there isn't, traverse back up to the parent (which
266 * has already been visited, and now so have all its descendants). We're
267 * done if that is "top", otherwise traverse to its next sibling if any,
268 * otherwise repeat moving up.
270 while (curr->nextchild == NULL)
272 curr = curr->parent;
273 if (curr == top)
274 return NULL;
276 return curr->nextchild;
280 * Support routines to trap use of invalid memory context method IDs
281 * (from calling pfree or the like on a bogus pointer). As a possible
282 * aid in debugging, we report the header word along with the pointer
283 * address (if we got here, there must be an accessible header word).
285 static void
286 BogusFree(void *pointer)
288 elog(ERROR, "pfree called with invalid pointer %p (header 0x%016llx)",
289 pointer, (unsigned long long) GetMemoryChunkHeader(pointer));
292 static void *
293 BogusRealloc(void *pointer, Size size, int flags)
295 elog(ERROR, "repalloc called with invalid pointer %p (header 0x%016llx)",
296 pointer, (unsigned long long) GetMemoryChunkHeader(pointer));
297 return NULL; /* keep compiler quiet */
300 static MemoryContext
301 BogusGetChunkContext(void *pointer)
303 elog(ERROR, "GetMemoryChunkContext called with invalid pointer %p (header 0x%016llx)",
304 pointer, (unsigned long long) GetMemoryChunkHeader(pointer));
305 return NULL; /* keep compiler quiet */
308 static Size
309 BogusGetChunkSpace(void *pointer)
311 elog(ERROR, "GetMemoryChunkSpace called with invalid pointer %p (header 0x%016llx)",
312 pointer, (unsigned long long) GetMemoryChunkHeader(pointer));
313 return 0; /* keep compiler quiet */
317 /*****************************************************************************
318 * EXPORTED ROUTINES *
319 *****************************************************************************/
323 * MemoryContextInit
324 * Start up the memory-context subsystem.
326 * This must be called before creating contexts or allocating memory in
327 * contexts. TopMemoryContext and ErrorContext are initialized here;
328 * other contexts must be created afterwards.
330 * In normal multi-backend operation, this is called once during
331 * postmaster startup, and not at all by individual backend startup
332 * (since the backends inherit an already-initialized context subsystem
333 * by virtue of being forked off the postmaster). But in an EXEC_BACKEND
334 * build, each process must do this for itself.
336 * In a standalone backend this must be called during backend startup.
338 void
339 MemoryContextInit(void)
341 Assert(TopMemoryContext == NULL);
344 * First, initialize TopMemoryContext, which is the parent of all others.
346 TopMemoryContext = AllocSetContextCreate((MemoryContext) NULL,
347 "TopMemoryContext",
348 ALLOCSET_DEFAULT_SIZES);
351 * Not having any other place to point CurrentMemoryContext, make it point
352 * to TopMemoryContext. Caller should change this soon!
354 CurrentMemoryContext = TopMemoryContext;
357 * Initialize ErrorContext as an AllocSetContext with slow growth rate ---
358 * we don't really expect much to be allocated in it. More to the point,
359 * require it to contain at least 8K at all times. This is the only case
360 * where retained memory in a context is *essential* --- we want to be
361 * sure ErrorContext still has some memory even if we've run out
362 * elsewhere! Also, allow allocations in ErrorContext within a critical
363 * section. Otherwise a PANIC will cause an assertion failure in the error
364 * reporting code, before printing out the real cause of the failure.
366 * This should be the last step in this function, as elog.c assumes memory
367 * management works once ErrorContext is non-null.
369 ErrorContext = AllocSetContextCreate(TopMemoryContext,
370 "ErrorContext",
371 8 * 1024,
372 8 * 1024,
373 8 * 1024);
374 MemoryContextAllowInCriticalSection(ErrorContext, true);
378 * MemoryContextReset
379 * Release all space allocated within a context and delete all its
380 * descendant contexts (but not the named context itself).
382 void
383 MemoryContextReset(MemoryContext context)
385 Assert(MemoryContextIsValid(context));
387 /* save a function call in common case where there are no children */
388 if (context->firstchild != NULL)
389 MemoryContextDeleteChildren(context);
391 /* save a function call if no pallocs since startup or last reset */
392 if (!context->isReset)
393 MemoryContextResetOnly(context);
397 * MemoryContextResetOnly
398 * Release all space allocated within a context.
399 * Nothing is done to the context's descendant contexts.
401 void
402 MemoryContextResetOnly(MemoryContext context)
404 Assert(MemoryContextIsValid(context));
406 /* Nothing to do if no pallocs since startup or last reset */
407 if (!context->isReset)
409 MemoryContextCallResetCallbacks(context);
412 * If context->ident points into the context's memory, it will become
413 * a dangling pointer. We could prevent that by setting it to NULL
414 * here, but that would break valid coding patterns that keep the
415 * ident elsewhere, e.g. in a parent context. So for now we assume
416 * the programmer got it right.
419 context->methods->reset(context);
420 context->isReset = true;
421 VALGRIND_DESTROY_MEMPOOL(context);
422 VALGRIND_CREATE_MEMPOOL(context, 0, false);
427 * MemoryContextResetChildren
428 * Release all space allocated within a context's descendants,
429 * but don't delete the contexts themselves. The named context
430 * itself is not touched.
432 void
433 MemoryContextResetChildren(MemoryContext context)
435 Assert(MemoryContextIsValid(context));
437 for (MemoryContext curr = context->firstchild;
438 curr != NULL;
439 curr = MemoryContextTraverseNext(curr, context))
441 MemoryContextResetOnly(curr);
446 * MemoryContextDelete
447 * Delete a context and its descendants, and release all space
448 * allocated therein.
450 * The type-specific delete routine removes all storage for the context,
451 * but we have to deal with descendant nodes here.
453 void
454 MemoryContextDelete(MemoryContext context)
456 MemoryContext curr;
458 Assert(MemoryContextIsValid(context));
461 * Delete subcontexts from the bottom up.
463 * Note: Do not use recursion here. A "stack depth limit exceeded" error
464 * would be unpleasant if we're already in the process of cleaning up from
465 * transaction abort. We also cannot use MemoryContextTraverseNext() here
466 * because we modify the tree as we go.
468 curr = context;
469 for (;;)
471 MemoryContext parent;
473 /* Descend down until we find a leaf context with no children */
474 while (curr->firstchild != NULL)
475 curr = curr->firstchild;
478 * We're now at a leaf with no children. Free it and continue from the
479 * parent. Or if this was the original node, we're all done.
481 parent = curr->parent;
482 MemoryContextDeleteOnly(curr);
484 if (curr == context)
485 break;
486 curr = parent;
491 * Subroutine of MemoryContextDelete,
492 * to delete a context that has no children.
493 * We must also delink the context from its parent, if it has one.
495 static void
496 MemoryContextDeleteOnly(MemoryContext context)
498 Assert(MemoryContextIsValid(context));
499 /* We had better not be deleting TopMemoryContext ... */
500 Assert(context != TopMemoryContext);
501 /* And not CurrentMemoryContext, either */
502 Assert(context != CurrentMemoryContext);
503 /* All the children should've been deleted already */
504 Assert(context->firstchild == NULL);
507 * It's not entirely clear whether 'tis better to do this before or after
508 * delinking the context; but an error in a callback will likely result in
509 * leaking the whole context (if it's not a root context) if we do it
510 * after, so let's do it before.
512 MemoryContextCallResetCallbacks(context);
515 * We delink the context from its parent before deleting it, so that if
516 * there's an error we won't have deleted/busted contexts still attached
517 * to the context tree. Better a leak than a crash.
519 MemoryContextSetParent(context, NULL);
522 * Also reset the context's ident pointer, in case it points into the
523 * context. This would only matter if someone tries to get stats on the
524 * (already unlinked) context, which is unlikely, but let's be safe.
526 context->ident = NULL;
528 context->methods->delete_context(context);
530 VALGRIND_DESTROY_MEMPOOL(context);
534 * MemoryContextDeleteChildren
535 * Delete all the descendants of the named context and release all
536 * space allocated therein. The named context itself is not touched.
538 void
539 MemoryContextDeleteChildren(MemoryContext context)
541 Assert(MemoryContextIsValid(context));
544 * MemoryContextDelete will delink the child from me, so just iterate as
545 * long as there is a child.
547 while (context->firstchild != NULL)
548 MemoryContextDelete(context->firstchild);
552 * MemoryContextRegisterResetCallback
553 * Register a function to be called before next context reset/delete.
554 * Such callbacks will be called in reverse order of registration.
556 * The caller is responsible for allocating a MemoryContextCallback struct
557 * to hold the info about this callback request, and for filling in the
558 * "func" and "arg" fields in the struct to show what function to call with
559 * what argument. Typically the callback struct should be allocated within
560 * the specified context, since that means it will automatically be freed
561 * when no longer needed.
563 * There is no API for deregistering a callback once registered. If you
564 * want it to not do anything anymore, adjust the state pointed to by its
565 * "arg" to indicate that.
567 void
568 MemoryContextRegisterResetCallback(MemoryContext context,
569 MemoryContextCallback *cb)
571 Assert(MemoryContextIsValid(context));
573 /* Push onto head so this will be called before older registrants. */
574 cb->next = context->reset_cbs;
575 context->reset_cbs = cb;
576 /* Mark the context as non-reset (it probably is already). */
577 context->isReset = false;
581 * MemoryContextCallResetCallbacks
582 * Internal function to call all registered callbacks for context.
584 static void
585 MemoryContextCallResetCallbacks(MemoryContext context)
587 MemoryContextCallback *cb;
590 * We pop each callback from the list before calling. That way, if an
591 * error occurs inside the callback, we won't try to call it a second time
592 * in the likely event that we reset or delete the context later.
594 while ((cb = context->reset_cbs) != NULL)
596 context->reset_cbs = cb->next;
597 cb->func(cb->arg);
602 * MemoryContextSetIdentifier
603 * Set the identifier string for a memory context.
605 * An identifier can be provided to help distinguish among different contexts
606 * of the same kind in memory context stats dumps. The identifier string
607 * must live at least as long as the context it is for; typically it is
608 * allocated inside that context, so that it automatically goes away on
609 * context deletion. Pass id = NULL to forget any old identifier.
611 void
612 MemoryContextSetIdentifier(MemoryContext context, const char *id)
614 Assert(MemoryContextIsValid(context));
615 context->ident = id;
619 * MemoryContextSetParent
620 * Change a context to belong to a new parent (or no parent).
622 * We provide this as an API function because it is sometimes useful to
623 * change a context's lifespan after creation. For example, a context
624 * might be created underneath a transient context, filled with data,
625 * and then reparented underneath CacheMemoryContext to make it long-lived.
626 * In this way no special effort is needed to get rid of the context in case
627 * a failure occurs before its contents are completely set up.
629 * Callers often assume that this function cannot fail, so don't put any
630 * elog(ERROR) calls in it.
632 * A possible caller error is to reparent a context under itself, creating
633 * a loop in the context graph. We assert here that context != new_parent,
634 * but checking for multi-level loops seems more trouble than it's worth.
636 void
637 MemoryContextSetParent(MemoryContext context, MemoryContext new_parent)
639 Assert(MemoryContextIsValid(context));
640 Assert(context != new_parent);
642 /* Fast path if it's got correct parent already */
643 if (new_parent == context->parent)
644 return;
646 /* Delink from existing parent, if any */
647 if (context->parent)
649 MemoryContext parent = context->parent;
651 if (context->prevchild != NULL)
652 context->prevchild->nextchild = context->nextchild;
653 else
655 Assert(parent->firstchild == context);
656 parent->firstchild = context->nextchild;
659 if (context->nextchild != NULL)
660 context->nextchild->prevchild = context->prevchild;
663 /* And relink */
664 if (new_parent)
666 Assert(MemoryContextIsValid(new_parent));
667 context->parent = new_parent;
668 context->prevchild = NULL;
669 context->nextchild = new_parent->firstchild;
670 if (new_parent->firstchild != NULL)
671 new_parent->firstchild->prevchild = context;
672 new_parent->firstchild = context;
674 else
676 context->parent = NULL;
677 context->prevchild = NULL;
678 context->nextchild = NULL;
683 * MemoryContextAllowInCriticalSection
684 * Allow/disallow allocations in this memory context within a critical
685 * section.
687 * Normally, memory allocations are not allowed within a critical section,
688 * because a failure would lead to PANIC. There are a few exceptions to
689 * that, like allocations related to debugging code that is not supposed to
690 * be enabled in production. This function can be used to exempt specific
691 * memory contexts from the assertion in palloc().
693 void
694 MemoryContextAllowInCriticalSection(MemoryContext context, bool allow)
696 Assert(MemoryContextIsValid(context));
698 context->allowInCritSection = allow;
702 * GetMemoryChunkContext
703 * Given a currently-allocated chunk, determine the MemoryContext that
704 * the chunk belongs to.
706 MemoryContext
707 GetMemoryChunkContext(void *pointer)
709 return MCXT_METHOD(pointer, get_chunk_context) (pointer);
713 * GetMemoryChunkSpace
714 * Given a currently-allocated chunk, determine the total space
715 * it occupies (including all memory-allocation overhead).
717 * This is useful for measuring the total space occupied by a set of
718 * allocated chunks.
720 Size
721 GetMemoryChunkSpace(void *pointer)
723 return MCXT_METHOD(pointer, get_chunk_space) (pointer);
727 * MemoryContextGetParent
728 * Get the parent context (if any) of the specified context
730 MemoryContext
731 MemoryContextGetParent(MemoryContext context)
733 Assert(MemoryContextIsValid(context));
735 return context->parent;
739 * MemoryContextIsEmpty
740 * Is a memory context empty of any allocated space?
742 bool
743 MemoryContextIsEmpty(MemoryContext context)
745 Assert(MemoryContextIsValid(context));
748 * For now, we consider a memory context nonempty if it has any children;
749 * perhaps this should be changed later.
751 if (context->firstchild != NULL)
752 return false;
753 /* Otherwise use the type-specific inquiry */
754 return context->methods->is_empty(context);
758 * Find the memory allocated to blocks for this memory context. If recurse is
759 * true, also include children.
761 Size
762 MemoryContextMemAllocated(MemoryContext context, bool recurse)
764 Size total = context->mem_allocated;
766 Assert(MemoryContextIsValid(context));
768 if (recurse)
770 for (MemoryContext curr = context->firstchild;
771 curr != NULL;
772 curr = MemoryContextTraverseNext(curr, context))
774 total += curr->mem_allocated;
778 return total;
782 * Return the memory consumption statistics about the given context and its
783 * children.
785 void
786 MemoryContextMemConsumed(MemoryContext context,
787 MemoryContextCounters *consumed)
789 Assert(MemoryContextIsValid(context));
791 memset(consumed, 0, sizeof(*consumed));
793 /* Examine the context itself */
794 context->methods->stats(context, NULL, NULL, consumed, false);
796 /* Examine children, using iteration not recursion */
797 for (MemoryContext curr = context->firstchild;
798 curr != NULL;
799 curr = MemoryContextTraverseNext(curr, context))
801 curr->methods->stats(curr, NULL, NULL, consumed, false);
806 * MemoryContextStats
807 * Print statistics about the named context and all its descendants.
809 * This is just a debugging utility, so it's not very fancy. However, we do
810 * make some effort to summarize when the output would otherwise be very long.
811 * The statistics are sent to stderr.
813 void
814 MemoryContextStats(MemoryContext context)
816 /* Hard-wired limits are usually good enough */
817 MemoryContextStatsDetail(context, 100, 100, true);
821 * MemoryContextStatsDetail
823 * Entry point for use if you want to vary the number of child contexts shown.
825 * If print_to_stderr is true, print statistics about the memory contexts
826 * with fprintf(stderr), otherwise use ereport().
828 void
829 MemoryContextStatsDetail(MemoryContext context,
830 int max_level, int max_children,
831 bool print_to_stderr)
833 MemoryContextCounters grand_totals;
835 memset(&grand_totals, 0, sizeof(grand_totals));
837 MemoryContextStatsInternal(context, 0, max_level, max_children,
838 &grand_totals, print_to_stderr);
840 if (print_to_stderr)
841 fprintf(stderr,
842 "Grand total: %zu bytes in %zu blocks; %zu free (%zu chunks); %zu used\n",
843 grand_totals.totalspace, grand_totals.nblocks,
844 grand_totals.freespace, grand_totals.freechunks,
845 grand_totals.totalspace - grand_totals.freespace);
846 else
849 * Use LOG_SERVER_ONLY to prevent the memory contexts from being sent
850 * to the connected client.
852 * We don't buffer the information about all memory contexts in a
853 * backend into StringInfo and log it as one message. That would
854 * require the buffer to be enlarged, risking an OOM as there could be
855 * a large number of memory contexts in a backend. Instead, we log
856 * one message per memory context.
858 ereport(LOG_SERVER_ONLY,
859 (errhidestmt(true),
860 errhidecontext(true),
861 errmsg_internal("Grand total: %zu bytes in %zu blocks; %zu free (%zu chunks); %zu used",
862 grand_totals.totalspace, grand_totals.nblocks,
863 grand_totals.freespace, grand_totals.freechunks,
864 grand_totals.totalspace - grand_totals.freespace)));
869 * MemoryContextStatsInternal
870 * One recursion level for MemoryContextStats
872 * Print stats for this context if possible, but in any case accumulate counts
873 * into *totals (if not NULL).
875 static void
876 MemoryContextStatsInternal(MemoryContext context, int level,
877 int max_level, int max_children,
878 MemoryContextCounters *totals,
879 bool print_to_stderr)
881 MemoryContext child;
882 int ichild;
884 Assert(MemoryContextIsValid(context));
886 /* Examine the context itself */
887 context->methods->stats(context,
888 MemoryContextStatsPrint,
889 &level,
890 totals, print_to_stderr);
893 * Examine children.
895 * If we are past the recursion depth limit or already running low on
896 * stack, do not print them explicitly but just summarize them. Similarly,
897 * if there are more than max_children of them, we do not print the rest
898 * explicitly, but just summarize them.
900 child = context->firstchild;
901 ichild = 0;
902 if (level < max_level && !stack_is_too_deep())
904 for (; child != NULL && ichild < max_children;
905 child = child->nextchild, ichild++)
907 MemoryContextStatsInternal(child, level + 1,
908 max_level, max_children,
909 totals,
910 print_to_stderr);
914 if (child != NULL)
916 /* Summarize the rest of the children, avoiding recursion. */
917 MemoryContextCounters local_totals;
919 memset(&local_totals, 0, sizeof(local_totals));
921 ichild = 0;
922 while (child != NULL)
924 child->methods->stats(child, NULL, NULL, &local_totals, false);
925 ichild++;
926 child = MemoryContextTraverseNext(child, context);
929 if (print_to_stderr)
931 for (int i = 0; i <= level; i++)
932 fprintf(stderr, " ");
933 fprintf(stderr,
934 "%d more child contexts containing %zu total in %zu blocks; %zu free (%zu chunks); %zu used\n",
935 ichild,
936 local_totals.totalspace,
937 local_totals.nblocks,
938 local_totals.freespace,
939 local_totals.freechunks,
940 local_totals.totalspace - local_totals.freespace);
942 else
943 ereport(LOG_SERVER_ONLY,
944 (errhidestmt(true),
945 errhidecontext(true),
946 errmsg_internal("level: %d; %d more child contexts containing %zu total in %zu blocks; %zu free (%zu chunks); %zu used",
947 level,
948 ichild,
949 local_totals.totalspace,
950 local_totals.nblocks,
951 local_totals.freespace,
952 local_totals.freechunks,
953 local_totals.totalspace - local_totals.freespace)));
955 if (totals)
957 totals->nblocks += local_totals.nblocks;
958 totals->freechunks += local_totals.freechunks;
959 totals->totalspace += local_totals.totalspace;
960 totals->freespace += local_totals.freespace;
966 * MemoryContextStatsPrint
967 * Print callback used by MemoryContextStatsInternal
969 * For now, the passthru pointer just points to "int level"; later we might
970 * make that more complicated.
972 static void
973 MemoryContextStatsPrint(MemoryContext context, void *passthru,
974 const char *stats_string,
975 bool print_to_stderr)
977 int level = *(int *) passthru;
978 const char *name = context->name;
979 const char *ident = context->ident;
980 char truncated_ident[110];
981 int i;
984 * It seems preferable to label dynahash contexts with just the hash table
985 * name. Those are already unique enough, so the "dynahash" part isn't
986 * very helpful, and this way is more consistent with pre-v11 practice.
988 if (ident && strcmp(name, "dynahash") == 0)
990 name = ident;
991 ident = NULL;
994 truncated_ident[0] = '\0';
996 if (ident)
999 * Some contexts may have very long identifiers (e.g., SQL queries).
1000 * Arbitrarily truncate at 100 bytes, but be careful not to break
1001 * multibyte characters. Also, replace ASCII control characters, such
1002 * as newlines, with spaces.
1004 int idlen = strlen(ident);
1005 bool truncated = false;
1007 strcpy(truncated_ident, ": ");
1008 i = strlen(truncated_ident);
1010 if (idlen > 100)
1012 idlen = pg_mbcliplen(ident, idlen, 100);
1013 truncated = true;
1016 while (idlen-- > 0)
1018 unsigned char c = *ident++;
1020 if (c < ' ')
1021 c = ' ';
1022 truncated_ident[i++] = c;
1024 truncated_ident[i] = '\0';
1026 if (truncated)
1027 strcat(truncated_ident, "...");
1030 if (print_to_stderr)
1032 for (i = 0; i < level; i++)
1033 fprintf(stderr, " ");
1034 fprintf(stderr, "%s: %s%s\n", name, stats_string, truncated_ident);
1036 else
1037 ereport(LOG_SERVER_ONLY,
1038 (errhidestmt(true),
1039 errhidecontext(true),
1040 errmsg_internal("level: %d; %s: %s%s",
1041 level, name, stats_string, truncated_ident)));
1045 * MemoryContextCheck
1046 * Check all chunks in the named context and its children.
1048 * This is just a debugging utility, so it's not fancy.
1050 #ifdef MEMORY_CONTEXT_CHECKING
1051 void
1052 MemoryContextCheck(MemoryContext context)
1054 Assert(MemoryContextIsValid(context));
1055 context->methods->check(context);
1057 for (MemoryContext curr = context->firstchild;
1058 curr != NULL;
1059 curr = MemoryContextTraverseNext(curr, context))
1061 Assert(MemoryContextIsValid(curr));
1062 curr->methods->check(curr);
1065 #endif
1068 * MemoryContextCreate
1069 * Context-type-independent part of context creation.
1071 * This is only intended to be called by context-type-specific
1072 * context creation routines, not by the unwashed masses.
1074 * The memory context creation procedure goes like this:
1075 * 1. Context-type-specific routine makes some initial space allocation,
1076 * including enough space for the context header. If it fails,
1077 * it can ereport() with no damage done.
1078 * 2. Context-type-specific routine sets up all type-specific fields of
1079 * the header (those beyond MemoryContextData proper), as well as any
1080 * other management fields it needs to have a fully valid context.
1081 * Usually, failure in this step is impossible, but if it's possible
1082 * the initial space allocation should be freed before ereport'ing.
1083 * 3. Context-type-specific routine calls MemoryContextCreate() to fill in
1084 * the generic header fields and link the context into the context tree.
1085 * 4. We return to the context-type-specific routine, which finishes
1086 * up type-specific initialization. This routine can now do things
1087 * that might fail (like allocate more memory), so long as it's
1088 * sure the node is left in a state that delete will handle.
1090 * node: the as-yet-uninitialized common part of the context header node.
1091 * tag: NodeTag code identifying the memory context type.
1092 * method_id: MemoryContextMethodID of the context-type being created.
1093 * parent: parent context, or NULL if this will be a top-level context.
1094 * name: name of context (must be statically allocated).
1096 * Context routines generally assume that MemoryContextCreate can't fail,
1097 * so this can contain Assert but not elog/ereport.
1099 void
1100 MemoryContextCreate(MemoryContext node,
1101 NodeTag tag,
1102 MemoryContextMethodID method_id,
1103 MemoryContext parent,
1104 const char *name)
1106 /* Creating new memory contexts is not allowed in a critical section */
1107 Assert(CritSectionCount == 0);
1109 /* Initialize all standard fields of memory context header */
1110 node->type = tag;
1111 node->isReset = true;
1112 node->methods = &mcxt_methods[method_id];
1113 node->parent = parent;
1114 node->firstchild = NULL;
1115 node->mem_allocated = 0;
1116 node->prevchild = NULL;
1117 node->name = name;
1118 node->ident = NULL;
1119 node->reset_cbs = NULL;
1121 /* OK to link node into context tree */
1122 if (parent)
1124 node->nextchild = parent->firstchild;
1125 if (parent->firstchild != NULL)
1126 parent->firstchild->prevchild = node;
1127 parent->firstchild = node;
1128 /* inherit allowInCritSection flag from parent */
1129 node->allowInCritSection = parent->allowInCritSection;
1131 else
1133 node->nextchild = NULL;
1134 node->allowInCritSection = false;
1137 VALGRIND_CREATE_MEMPOOL(node, 0, false);
1141 * MemoryContextAllocationFailure
1142 * For use by MemoryContextMethods implementations to handle when malloc
1143 * returns NULL. The behavior is specific to whether MCXT_ALLOC_NO_OOM
1144 * is in 'flags'.
1146 void *
1147 MemoryContextAllocationFailure(MemoryContext context, Size size, int flags)
1149 if ((flags & MCXT_ALLOC_NO_OOM) == 0)
1151 if (TopMemoryContext)
1152 MemoryContextStats(TopMemoryContext);
1153 ereport(ERROR,
1154 (errcode(ERRCODE_OUT_OF_MEMORY),
1155 errmsg("out of memory"),
1156 errdetail("Failed on request of size %zu in memory context \"%s\".",
1157 size, context->name)));
1159 return NULL;
1163 * MemoryContextSizeFailure
1164 * For use by MemoryContextMethods implementations to handle invalid
1165 * memory allocation request sizes.
1167 void
1168 MemoryContextSizeFailure(MemoryContext context, Size size, int flags)
1170 elog(ERROR, "invalid memory alloc request size %zu", size);
1174 * MemoryContextAlloc
1175 * Allocate space within the specified context.
1177 * This could be turned into a macro, but we'd have to import
1178 * nodes/memnodes.h into postgres.h which seems a bad idea.
1180 void *
1181 MemoryContextAlloc(MemoryContext context, Size size)
1183 void *ret;
1185 Assert(MemoryContextIsValid(context));
1186 AssertNotInCriticalSection(context);
1188 context->isReset = false;
1191 * For efficiency reasons, we purposefully offload the handling of
1192 * allocation failures to the MemoryContextMethods implementation as this
1193 * allows these checks to be performed only when an actual malloc needs to
1194 * be done to request more memory from the OS. Additionally, not having
1195 * to execute any instructions after this call allows the compiler to use
1196 * the sibling call optimization. If you're considering adding code after
1197 * this call, consider making it the responsibility of the 'alloc'
1198 * function instead.
1200 ret = context->methods->alloc(context, size, 0);
1202 VALGRIND_MEMPOOL_ALLOC(context, ret, size);
1204 return ret;
1208 * MemoryContextAllocZero
1209 * Like MemoryContextAlloc, but clears allocated memory
1211 * We could just call MemoryContextAlloc then clear the memory, but this
1212 * is a very common combination, so we provide the combined operation.
1214 void *
1215 MemoryContextAllocZero(MemoryContext context, Size size)
1217 void *ret;
1219 Assert(MemoryContextIsValid(context));
1220 AssertNotInCriticalSection(context);
1222 context->isReset = false;
1224 ret = context->methods->alloc(context, size, 0);
1226 VALGRIND_MEMPOOL_ALLOC(context, ret, size);
1228 MemSetAligned(ret, 0, size);
1230 return ret;
1234 * MemoryContextAllocExtended
1235 * Allocate space within the specified context using the given flags.
1237 void *
1238 MemoryContextAllocExtended(MemoryContext context, Size size, int flags)
1240 void *ret;
1242 Assert(MemoryContextIsValid(context));
1243 AssertNotInCriticalSection(context);
1245 if (!((flags & MCXT_ALLOC_HUGE) != 0 ? AllocHugeSizeIsValid(size) :
1246 AllocSizeIsValid(size)))
1247 elog(ERROR, "invalid memory alloc request size %zu", size);
1249 context->isReset = false;
1251 ret = context->methods->alloc(context, size, flags);
1252 if (unlikely(ret == NULL))
1253 return NULL;
1255 VALGRIND_MEMPOOL_ALLOC(context, ret, size);
1257 if ((flags & MCXT_ALLOC_ZERO) != 0)
1258 MemSetAligned(ret, 0, size);
1260 return ret;
1264 * HandleLogMemoryContextInterrupt
1265 * Handle receipt of an interrupt indicating logging of memory
1266 * contexts.
1268 * All the actual work is deferred to ProcessLogMemoryContextInterrupt(),
1269 * because we cannot safely emit a log message inside the signal handler.
1271 void
1272 HandleLogMemoryContextInterrupt(void)
1274 InterruptPending = true;
1275 LogMemoryContextPending = true;
1276 /* latch will be set by procsignal_sigusr1_handler */
1280 * ProcessLogMemoryContextInterrupt
1281 * Perform logging of memory contexts of this backend process.
1283 * Any backend that participates in ProcSignal signaling must arrange
1284 * to call this function if we see LogMemoryContextPending set.
1285 * It is called from CHECK_FOR_INTERRUPTS(), which is enough because
1286 * the target process for logging of memory contexts is a backend.
1288 void
1289 ProcessLogMemoryContextInterrupt(void)
1291 LogMemoryContextPending = false;
1294 * Use LOG_SERVER_ONLY to prevent this message from being sent to the
1295 * connected client.
1297 ereport(LOG_SERVER_ONLY,
1298 (errhidestmt(true),
1299 errhidecontext(true),
1300 errmsg("logging memory contexts of PID %d", MyProcPid)));
1303 * When a backend process is consuming huge memory, logging all its memory
1304 * contexts might overrun available disk space. To prevent this, we limit
1305 * the depth of the hierarchy, as well as the number of child contexts to
1306 * log per parent to 100.
1308 * As with MemoryContextStats(), we suppose that practical cases where the
1309 * dump gets long will typically be huge numbers of siblings under the
1310 * same parent context; while the additional debugging value from seeing
1311 * details about individual siblings beyond 100 will not be large.
1313 MemoryContextStatsDetail(TopMemoryContext, 100, 100, false);
1316 void *
1317 palloc(Size size)
1319 /* duplicates MemoryContextAlloc to avoid increased overhead */
1320 void *ret;
1321 MemoryContext context = CurrentMemoryContext;
1323 Assert(MemoryContextIsValid(context));
1324 AssertNotInCriticalSection(context);
1326 context->isReset = false;
1329 * For efficiency reasons, we purposefully offload the handling of
1330 * allocation failures to the MemoryContextMethods implementation as this
1331 * allows these checks to be performed only when an actual malloc needs to
1332 * be done to request more memory from the OS. Additionally, not having
1333 * to execute any instructions after this call allows the compiler to use
1334 * the sibling call optimization. If you're considering adding code after
1335 * this call, consider making it the responsibility of the 'alloc'
1336 * function instead.
1338 ret = context->methods->alloc(context, size, 0);
1339 /* We expect OOM to be handled by the alloc function */
1340 Assert(ret != NULL);
1341 VALGRIND_MEMPOOL_ALLOC(context, ret, size);
1343 return ret;
1346 void *
1347 palloc0(Size size)
1349 /* duplicates MemoryContextAllocZero to avoid increased overhead */
1350 void *ret;
1351 MemoryContext context = CurrentMemoryContext;
1353 Assert(MemoryContextIsValid(context));
1354 AssertNotInCriticalSection(context);
1356 context->isReset = false;
1358 ret = context->methods->alloc(context, size, 0);
1360 VALGRIND_MEMPOOL_ALLOC(context, ret, size);
1362 MemSetAligned(ret, 0, size);
1364 return ret;
1367 void *
1368 palloc_extended(Size size, int flags)
1370 /* duplicates MemoryContextAllocExtended to avoid increased overhead */
1371 void *ret;
1372 MemoryContext context = CurrentMemoryContext;
1374 Assert(MemoryContextIsValid(context));
1375 AssertNotInCriticalSection(context);
1377 context->isReset = false;
1379 ret = context->methods->alloc(context, size, flags);
1380 if (unlikely(ret == NULL))
1382 return NULL;
1385 VALGRIND_MEMPOOL_ALLOC(context, ret, size);
1387 if ((flags & MCXT_ALLOC_ZERO) != 0)
1388 MemSetAligned(ret, 0, size);
1390 return ret;
1394 * MemoryContextAllocAligned
1395 * Allocate 'size' bytes of memory in 'context' aligned to 'alignto'
1396 * bytes.
1398 * Currently, we align addresses by requesting additional bytes from the
1399 * MemoryContext's standard allocator function and then aligning the returned
1400 * address by the required alignment. This means that the given MemoryContext
1401 * must support providing us with a chunk of memory that's larger than 'size'.
1402 * For allocators such as Slab, that's not going to work, as slab only allows
1403 * chunks of the size that's specified when the context is created.
1405 * 'alignto' must be a power of 2.
1406 * 'flags' may be 0 or set the same as MemoryContextAllocExtended().
1408 void *
1409 MemoryContextAllocAligned(MemoryContext context,
1410 Size size, Size alignto, int flags)
1412 MemoryChunk *alignedchunk;
1413 Size alloc_size;
1414 void *unaligned;
1415 void *aligned;
1417 /* wouldn't make much sense to waste that much space */
1418 Assert(alignto < (128 * 1024 * 1024));
1420 /* ensure alignto is a power of 2 */
1421 Assert((alignto & (alignto - 1)) == 0);
1424 * If the alignment requirements are less than what we already guarantee
1425 * then just use the standard allocation function.
1427 if (unlikely(alignto <= MAXIMUM_ALIGNOF))
1428 return MemoryContextAllocExtended(context, size, flags);
1431 * We implement aligned pointers by simply allocating enough memory for
1432 * the requested size plus the alignment and an additional "redirection"
1433 * MemoryChunk. This additional MemoryChunk is required for operations
1434 * such as pfree when used on the pointer returned by this function. We
1435 * use this redirection MemoryChunk in order to find the pointer to the
1436 * memory that was returned by the MemoryContextAllocExtended call below.
1437 * We do that by "borrowing" the block offset field and instead of using
1438 * that to find the offset into the owning block, we use it to find the
1439 * original allocated address.
1441 * Here we must allocate enough extra memory so that we can still align
1442 * the pointer returned by MemoryContextAllocExtended and also have enough
1443 * space for the redirection MemoryChunk. Since allocations will already
1444 * be at least aligned by MAXIMUM_ALIGNOF, we can subtract that amount
1445 * from the allocation size to save a little memory.
1447 alloc_size = size + PallocAlignedExtraBytes(alignto);
1449 #ifdef MEMORY_CONTEXT_CHECKING
1450 /* ensure there's space for a sentinel byte */
1451 alloc_size += 1;
1452 #endif
1454 /* perform the actual allocation */
1455 unaligned = MemoryContextAllocExtended(context, alloc_size, flags);
1457 /* set the aligned pointer */
1458 aligned = (void *) TYPEALIGN(alignto, (char *) unaligned +
1459 sizeof(MemoryChunk));
1461 alignedchunk = PointerGetMemoryChunk(aligned);
1464 * We set the redirect MemoryChunk so that the block offset calculation is
1465 * used to point back to the 'unaligned' allocated chunk. This allows us
1466 * to use MemoryChunkGetBlock() to find the unaligned chunk when we need
1467 * to perform operations such as pfree() and repalloc().
1469 * We store 'alignto' in the MemoryChunk's 'value' so that we know what
1470 * the alignment was set to should we ever be asked to realloc this
1471 * pointer.
1473 MemoryChunkSetHdrMask(alignedchunk, unaligned, alignto,
1474 MCTX_ALIGNED_REDIRECT_ID);
1476 /* double check we produced a correctly aligned pointer */
1477 Assert((void *) TYPEALIGN(alignto, aligned) == aligned);
1479 #ifdef MEMORY_CONTEXT_CHECKING
1480 alignedchunk->requested_size = size;
1481 /* set mark to catch clobber of "unused" space */
1482 set_sentinel(aligned, size);
1483 #endif
1485 /* Mark the bytes before the redirection header as noaccess */
1486 VALGRIND_MAKE_MEM_NOACCESS(unaligned,
1487 (char *) alignedchunk - (char *) unaligned);
1489 /* Disallow access to the redirection chunk header. */
1490 VALGRIND_MAKE_MEM_NOACCESS(alignedchunk, sizeof(MemoryChunk));
1492 return aligned;
1496 * palloc_aligned
1497 * Allocate 'size' bytes returning a pointer that's aligned to the
1498 * 'alignto' boundary.
1500 * Currently, we align addresses by requesting additional bytes from the
1501 * MemoryContext's standard allocator function and then aligning the returned
1502 * address by the required alignment. This means that the given MemoryContext
1503 * must support providing us with a chunk of memory that's larger than 'size'.
1504 * For allocators such as Slab, that's not going to work, as slab only allows
1505 * chunks of the size that's specified when the context is created.
1507 * 'alignto' must be a power of 2.
1508 * 'flags' may be 0 or set the same as MemoryContextAllocExtended().
1510 void *
1511 palloc_aligned(Size size, Size alignto, int flags)
1513 return MemoryContextAllocAligned(CurrentMemoryContext, size, alignto, flags);
1517 * pfree
1518 * Release an allocated chunk.
1520 void
1521 pfree(void *pointer)
1523 #ifdef USE_VALGRIND
1524 MemoryContextMethodID method = GetMemoryChunkMethodID(pointer);
1525 MemoryContext context = GetMemoryChunkContext(pointer);
1526 #endif
1528 MCXT_METHOD(pointer, free_p) (pointer);
1530 #ifdef USE_VALGRIND
1531 if (method != MCTX_ALIGNED_REDIRECT_ID)
1532 VALGRIND_MEMPOOL_FREE(context, pointer);
1533 #endif
1537 * repalloc
1538 * Adjust the size of a previously allocated chunk.
1540 void *
1541 repalloc(void *pointer, Size size)
1543 #ifdef USE_VALGRIND
1544 MemoryContextMethodID method = GetMemoryChunkMethodID(pointer);
1545 #endif
1546 #if defined(USE_ASSERT_CHECKING) || defined(USE_VALGRIND)
1547 MemoryContext context = GetMemoryChunkContext(pointer);
1548 #endif
1549 void *ret;
1551 AssertNotInCriticalSection(context);
1553 /* isReset must be false already */
1554 Assert(!context->isReset);
1557 * For efficiency reasons, we purposefully offload the handling of
1558 * allocation failures to the MemoryContextMethods implementation as this
1559 * allows these checks to be performed only when an actual malloc needs to
1560 * be done to request more memory from the OS. Additionally, not having
1561 * to execute any instructions after this call allows the compiler to use
1562 * the sibling call optimization. If you're considering adding code after
1563 * this call, consider making it the responsibility of the 'realloc'
1564 * function instead.
1566 ret = MCXT_METHOD(pointer, realloc) (pointer, size, 0);
1568 #ifdef USE_VALGRIND
1569 if (method != MCTX_ALIGNED_REDIRECT_ID)
1570 VALGRIND_MEMPOOL_CHANGE(context, pointer, ret, size);
1571 #endif
1573 return ret;
1577 * repalloc_extended
1578 * Adjust the size of a previously allocated chunk,
1579 * with HUGE and NO_OOM options.
1581 void *
1582 repalloc_extended(void *pointer, Size size, int flags)
1584 #if defined(USE_ASSERT_CHECKING) || defined(USE_VALGRIND)
1585 MemoryContext context = GetMemoryChunkContext(pointer);
1586 #endif
1587 void *ret;
1589 AssertNotInCriticalSection(context);
1591 /* isReset must be false already */
1592 Assert(!context->isReset);
1595 * For efficiency reasons, we purposefully offload the handling of
1596 * allocation failures to the MemoryContextMethods implementation as this
1597 * allows these checks to be performed only when an actual malloc needs to
1598 * be done to request more memory from the OS. Additionally, not having
1599 * to execute any instructions after this call allows the compiler to use
1600 * the sibling call optimization. If you're considering adding code after
1601 * this call, consider making it the responsibility of the 'realloc'
1602 * function instead.
1604 ret = MCXT_METHOD(pointer, realloc) (pointer, size, flags);
1605 if (unlikely(ret == NULL))
1606 return NULL;
1608 VALGRIND_MEMPOOL_CHANGE(context, pointer, ret, size);
1610 return ret;
1614 * repalloc0
1615 * Adjust the size of a previously allocated chunk and zero out the added
1616 * space.
1618 void *
1619 repalloc0(void *pointer, Size oldsize, Size size)
1621 void *ret;
1623 /* catch wrong argument order */
1624 if (unlikely(oldsize > size))
1625 elog(ERROR, "invalid repalloc0 call: oldsize %zu, new size %zu",
1626 oldsize, size);
1628 ret = repalloc(pointer, size);
1629 memset((char *) ret + oldsize, 0, (size - oldsize));
1630 return ret;
1634 * MemoryContextAllocHuge
1635 * Allocate (possibly-expansive) space within the specified context.
1637 * See considerations in comment at MaxAllocHugeSize.
1639 void *
1640 MemoryContextAllocHuge(MemoryContext context, Size size)
1642 void *ret;
1644 Assert(MemoryContextIsValid(context));
1645 AssertNotInCriticalSection(context);
1647 context->isReset = false;
1650 * For efficiency reasons, we purposefully offload the handling of
1651 * allocation failures to the MemoryContextMethods implementation as this
1652 * allows these checks to be performed only when an actual malloc needs to
1653 * be done to request more memory from the OS. Additionally, not having
1654 * to execute any instructions after this call allows the compiler to use
1655 * the sibling call optimization. If you're considering adding code after
1656 * this call, consider making it the responsibility of the 'alloc'
1657 * function instead.
1659 ret = context->methods->alloc(context, size, MCXT_ALLOC_HUGE);
1661 VALGRIND_MEMPOOL_ALLOC(context, ret, size);
1663 return ret;
1667 * repalloc_huge
1668 * Adjust the size of a previously allocated chunk, permitting a large
1669 * value. The previous allocation need not have been "huge".
1671 void *
1672 repalloc_huge(void *pointer, Size size)
1674 /* this one seems not worth its own implementation */
1675 return repalloc_extended(pointer, size, MCXT_ALLOC_HUGE);
1679 * MemoryContextStrdup
1680 * Like strdup(), but allocate from the specified context
1682 char *
1683 MemoryContextStrdup(MemoryContext context, const char *string)
1685 char *nstr;
1686 Size len = strlen(string) + 1;
1688 nstr = (char *) MemoryContextAlloc(context, len);
1690 memcpy(nstr, string, len);
1692 return nstr;
1695 char *
1696 pstrdup(const char *in)
1698 return MemoryContextStrdup(CurrentMemoryContext, in);
1702 * pnstrdup
1703 * Like pstrdup(), but append null byte to a
1704 * not-necessarily-null-terminated input string.
1706 char *
1707 pnstrdup(const char *in, Size len)
1709 char *out;
1711 len = strnlen(in, len);
1713 out = palloc(len + 1);
1714 memcpy(out, in, len);
1715 out[len] = '\0';
1717 return out;
1721 * Make copy of string with all trailing newline characters removed.
1723 char *
1724 pchomp(const char *in)
1726 size_t n;
1728 n = strlen(in);
1729 while (n > 0 && in[n - 1] == '\n')
1730 n--;
1731 return pnstrdup(in, n);