PostgreSQL Source Code  git master
mcxt.c
Go to the documentation of this file.
1 /*-------------------------------------------------------------------------
2  *
3  * mcxt.c
4  * POSTGRES memory context management code.
5  *
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.
10  *
11  *
12  * Portions Copyright (c) 1996-2024, PostgreSQL Global Development Group
13  * Portions Copyright (c) 1994, Regents of the University of California
14  *
15  *
16  * IDENTIFICATION
17  * src/backend/utils/mmgr/mcxt.c
18  *
19  *-------------------------------------------------------------------------
20  */
21 
22 #include "postgres.h"
23 
24 #include "mb/pg_wchar.h"
25 #include "miscadmin.h"
26 #include "utils/memdebug.h"
27 #include "utils/memutils.h"
30 
31 
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);
36 
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
45 
47  /* aset.c */
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
60 
61  /* generation.c */
66  [MCTX_GENERATION_ID].delete_context = GenerationDelete,
67  [MCTX_GENERATION_ID].get_chunk_context = GenerationGetChunkContext,
68  [MCTX_GENERATION_ID].get_chunk_space = GenerationGetChunkSpace,
71 #ifdef MEMORY_CONTEXT_CHECKING
72  [MCTX_GENERATION_ID].check = GenerationCheck,
73 #endif
74 
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
88 
89  /* alignedalloc.c */
90  [MCTX_ALIGNED_REDIRECT_ID].alloc = NULL, /* not required */
93  [MCTX_ALIGNED_REDIRECT_ID].reset = NULL, /* not required */
94  [MCTX_ALIGNED_REDIRECT_ID].delete_context = NULL, /* not required */
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
102 
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
116 
117 
118  /*
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).
123  */
135 };
136 
137 #undef BOGUS_MCTX
138 
139 /*
140  * CurrentMemoryContext
141  * Default memory context for allocations.
142  */
144 
145 /*
146  * Standard top-level contexts. For a description of the purpose of each
147  * of these contexts, refer to src/backend/utils/mmgr/README
148  */
156 
157 /* This is a transient link to the active portal's memory context: */
159 
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);
169 
170 /*
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.
174  */
175 #define AssertNotInCriticalSection(context) \
176  Assert(CritSectionCount == 0 || (context)->allowInCritSection)
177 
178 /*
179  * Call the given function in the MemoryContextMethods for the memory context
180  * type that 'pointer' belongs to.
181  */
182 #define MCXT_METHOD(pointer, method) \
183  mcxt_methods[GetMemoryChunkMethodID(pointer)].method
184 
185 /*
186  * GetMemoryChunkMethodID
187  * Return the MemoryContextMethodID from the uint64 chunk header which
188  * directly precedes 'pointer'.
189  */
190 static inline MemoryContextMethodID
191 GetMemoryChunkMethodID(const void *pointer)
192 {
193  uint64 header;
194 
195  /*
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.
199  */
200  Assert(pointer == (const void *) MAXALIGN(pointer));
201 
202  /* Allow access to the uint64 header */
203  VALGRIND_MAKE_MEM_DEFINED((char *) pointer - sizeof(uint64), sizeof(uint64));
204 
205  header = *((const uint64 *) ((const char *) pointer - sizeof(uint64)));
206 
207  /* Disallow access to the uint64 header */
208  VALGRIND_MAKE_MEM_NOACCESS((char *) pointer - sizeof(uint64), sizeof(uint64));
209 
211 }
212 
213 /*
214  * GetMemoryChunkHeader
215  * Return the uint64 chunk header which directly precedes 'pointer'.
216  *
217  * This is only used after GetMemoryChunkMethodID, so no need for error checks.
218  */
219 static inline uint64
220 GetMemoryChunkHeader(const void *pointer)
221 {
222  uint64 header;
223 
224  /* Allow access to the uint64 header */
225  VALGRIND_MAKE_MEM_DEFINED((char *) pointer - sizeof(uint64), sizeof(uint64));
226 
227  header = *((const uint64 *) ((const char *) pointer - sizeof(uint64)));
228 
229  /* Disallow access to the uint64 header */
230  VALGRIND_MAKE_MEM_NOACCESS((char *) pointer - sizeof(uint64), sizeof(uint64));
231 
232  return header;
233 }
234 
235 /*
236  * MemoryContextTraverseNext
237  * Helper function to traverse all descendants of a memory context
238  * without recursion.
239  *
240  * Recursion could lead to out-of-stack errors with deep context hierarchies,
241  * which would be unpleasant in error cleanup code paths.
242  *
243  * To process 'context' and all its descendants, use a loop like this:
244  *
245  * <process 'context'>
246  * for (MemoryContext curr = context->firstchild;
247  * curr != NULL;
248  * curr = MemoryContextTraverseNext(curr, context))
249  * {
250  * <process 'curr'>
251  * }
252  *
253  * This visits all the contexts in pre-order, that is a node is visited
254  * before its children.
255  */
256 static MemoryContext
258 {
259  /* After processing a node, traverse to its first child if any */
260  if (curr->firstchild != NULL)
261  return curr->firstchild;
262 
263  /*
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.
269  */
270  while (curr->nextchild == NULL)
271  {
272  curr = curr->parent;
273  if (curr == top)
274  return NULL;
275  }
276  return curr->nextchild;
277 }
278 
279 /*
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).
284  */
285 static void
286 BogusFree(void *pointer)
287 {
288  elog(ERROR, "pfree called with invalid pointer %p (header 0x%016llx)",
289  pointer, (unsigned long long) GetMemoryChunkHeader(pointer));
290 }
291 
292 static void *
293 BogusRealloc(void *pointer, Size size, int flags)
294 {
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 */
298 }
299 
300 static MemoryContext
301 BogusGetChunkContext(void *pointer)
302 {
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 */
306 }
307 
308 static Size
309 BogusGetChunkSpace(void *pointer)
310 {
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 */
314 }
315 
316 
317 /*****************************************************************************
318  * EXPORTED ROUTINES *
319  *****************************************************************************/
320 
321 
322 /*
323  * MemoryContextInit
324  * Start up the memory-context subsystem.
325  *
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.
329  *
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.
335  *
336  * In a standalone backend this must be called during backend startup.
337  */
338 void
340 {
341  Assert(TopMemoryContext == NULL);
342 
343  /*
344  * First, initialize TopMemoryContext, which is the parent of all others.
345  */
347  "TopMemoryContext",
349 
350  /*
351  * Not having any other place to point CurrentMemoryContext, make it point
352  * to TopMemoryContext. Caller should change this soon!
353  */
355 
356  /*
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.
365  *
366  * This should be the last step in this function, as elog.c assumes memory
367  * management works once ErrorContext is non-null.
368  */
370  "ErrorContext",
371  8 * 1024,
372  8 * 1024,
373  8 * 1024);
375 }
376 
377 /*
378  * MemoryContextReset
379  * Release all space allocated within a context and delete all its
380  * descendant contexts (but not the named context itself).
381  */
382 void
384 {
386 
387  /* save a function call in common case where there are no children */
388  if (context->firstchild != NULL)
390 
391  /* save a function call if no pallocs since startup or last reset */
392  if (!context->isReset)
394 }
395 
396 /*
397  * MemoryContextResetOnly
398  * Release all space allocated within a context.
399  * Nothing is done to the context's descendant contexts.
400  */
401 void
403 {
405 
406  /* Nothing to do if no pallocs since startup or last reset */
407  if (!context->isReset)
408  {
410 
411  /*
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.
417  */
418 
419  context->methods->reset(context);
420  context->isReset = true;
422  VALGRIND_CREATE_MEMPOOL(context, 0, false);
423  }
424 }
425 
426 /*
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.
431  */
432 void
434 {
436 
437  for (MemoryContext curr = context->firstchild;
438  curr != NULL;
439  curr = MemoryContextTraverseNext(curr, context))
440  {
442  }
443 }
444 
445 /*
446  * MemoryContextDelete
447  * Delete a context and its descendants, and release all space
448  * allocated therein.
449  *
450  * The type-specific delete routine removes all storage for the context,
451  * but we have to deal with descendant nodes here.
452  */
453 void
455 {
456  MemoryContext curr;
457 
459 
460  /*
461  * Delete subcontexts from the bottom up.
462  *
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.
467  */
468  curr = context;
469  for (;;)
470  {
471  MemoryContext parent;
472 
473  /* Descend down until we find a leaf context with no children */
474  while (curr->firstchild != NULL)
475  curr = curr->firstchild;
476 
477  /*
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.
480  */
481  parent = curr->parent;
483 
484  if (curr == context)
485  break;
486  curr = parent;
487  }
488 }
489 
490 /*
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.
494  */
495 static void
497 {
499  /* We had better not be deleting TopMemoryContext ... */
501  /* And not CurrentMemoryContext, either */
503  /* All the children should've been deleted already */
504  Assert(context->firstchild == NULL);
505 
506  /*
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.
511  */
513 
514  /*
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.
518  */
520 
521  /*
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.
525  */
526  context->ident = NULL;
527 
528  context->methods->delete_context(context);
529 
531 }
532 
533 /*
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.
537  */
538 void
540 {
542 
543  /*
544  * MemoryContextDelete will delink the child from me, so just iterate as
545  * long as there is a child.
546  */
547  while (context->firstchild != NULL)
548  MemoryContextDelete(context->firstchild);
549 }
550 
551 /*
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.
555  *
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.
562  *
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.
566  */
567 void
570 {
572 
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;
578 }
579 
580 /*
581  * MemoryContextCallResetCallbacks
582  * Internal function to call all registered callbacks for context.
583  */
584 static void
586 {
588 
589  /*
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.
593  */
594  while ((cb = context->reset_cbs) != NULL)
595  {
596  context->reset_cbs = cb->next;
597  cb->func(cb->arg);
598  }
599 }
600 
601 /*
602  * MemoryContextSetIdentifier
603  * Set the identifier string for a memory context.
604  *
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.
610  */
611 void
613 {
615  context->ident = id;
616 }
617 
618 /*
619  * MemoryContextSetParent
620  * Change a context to belong to a new parent (or no parent).
621  *
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.
628  *
629  * Callers often assume that this function cannot fail, so don't put any
630  * elog(ERROR) calls in it.
631  *
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.
635  */
636 void
638 {
640  Assert(context != new_parent);
641 
642  /* Fast path if it's got correct parent already */
643  if (new_parent == context->parent)
644  return;
645 
646  /* Delink from existing parent, if any */
647  if (context->parent)
648  {
649  MemoryContext parent = context->parent;
650 
651  if (context->prevchild != NULL)
652  context->prevchild->nextchild = context->nextchild;
653  else
654  {
655  Assert(parent->firstchild == context);
656  parent->firstchild = context->nextchild;
657  }
658 
659  if (context->nextchild != NULL)
660  context->nextchild->prevchild = context->prevchild;
661  }
662 
663  /* And relink */
664  if (new_parent)
665  {
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;
673  }
674  else
675  {
676  context->parent = NULL;
677  context->prevchild = NULL;
678  context->nextchild = NULL;
679  }
680 }
681 
682 /*
683  * MemoryContextAllowInCriticalSection
684  * Allow/disallow allocations in this memory context within a critical
685  * section.
686  *
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().
692  */
693 void
695 {
697 
698  context->allowInCritSection = allow;
699 }
700 
701 /*
702  * GetMemoryChunkContext
703  * Given a currently-allocated chunk, determine the MemoryContext that
704  * the chunk belongs to.
705  */
707 GetMemoryChunkContext(void *pointer)
708 {
709  return MCXT_METHOD(pointer, get_chunk_context) (pointer);
710 }
711 
712 /*
713  * GetMemoryChunkSpace
714  * Given a currently-allocated chunk, determine the total space
715  * it occupies (including all memory-allocation overhead).
716  *
717  * This is useful for measuring the total space occupied by a set of
718  * allocated chunks.
719  */
720 Size
721 GetMemoryChunkSpace(void *pointer)
722 {
723  return MCXT_METHOD(pointer, get_chunk_space) (pointer);
724 }
725 
726 /*
727  * MemoryContextGetParent
728  * Get the parent context (if any) of the specified context
729  */
732 {
734 
735  return context->parent;
736 }
737 
738 /*
739  * MemoryContextIsEmpty
740  * Is a memory context empty of any allocated space?
741  */
742 bool
744 {
746 
747  /*
748  * For now, we consider a memory context nonempty if it has any children;
749  * perhaps this should be changed later.
750  */
751  if (context->firstchild != NULL)
752  return false;
753  /* Otherwise use the type-specific inquiry */
754  return context->methods->is_empty(context);
755 }
756 
757 /*
758  * Find the memory allocated to blocks for this memory context. If recurse is
759  * true, also include children.
760  */
761 Size
763 {
764  Size total = context->mem_allocated;
765 
767 
768  if (recurse)
769  {
770  for (MemoryContext curr = context->firstchild;
771  curr != NULL;
772  curr = MemoryContextTraverseNext(curr, context))
773  {
774  total += curr->mem_allocated;
775  }
776  }
777 
778  return total;
779 }
780 
781 /*
782  * Return the memory consumption statistics about the given context and its
783  * children.
784  */
785 void
787  MemoryContextCounters *consumed)
788 {
790 
791  memset(consumed, 0, sizeof(*consumed));
792 
793  /* Examine the context itself */
794  context->methods->stats(context, NULL, NULL, consumed, false);
795 
796  /* Examine children, using iteration not recursion */
797  for (MemoryContext curr = context->firstchild;
798  curr != NULL;
799  curr = MemoryContextTraverseNext(curr, context))
800  {
801  curr->methods->stats(curr, NULL, NULL, consumed, false);
802  }
803 }
804 
805 /*
806  * MemoryContextStats
807  * Print statistics about the named context and all its descendants.
808  *
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.
812  */
813 void
815 {
816  /* Hard-wired limits are usually good enough */
817  MemoryContextStatsDetail(context, 100, 100, true);
818 }
819 
820 /*
821  * MemoryContextStatsDetail
822  *
823  * Entry point for use if you want to vary the number of child contexts shown.
824  *
825  * If print_to_stderr is true, print statistics about the memory contexts
826  * with fprintf(stderr), otherwise use ereport().
827  */
828 void
830  int max_level, int max_children,
831  bool print_to_stderr)
832 {
833  MemoryContextCounters grand_totals;
834 
835  memset(&grand_totals, 0, sizeof(grand_totals));
836 
837  MemoryContextStatsInternal(context, 0, max_level, max_children,
838  &grand_totals, print_to_stderr);
839 
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
847  {
848  /*
849  * Use LOG_SERVER_ONLY to prevent the memory contexts from being sent
850  * to the connected client.
851  *
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.
857  */
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)));
865  }
866 }
867 
868 /*
869  * MemoryContextStatsInternal
870  * One recursion level for MemoryContextStats
871  *
872  * Print stats for this context if possible, but in any case accumulate counts
873  * into *totals (if not NULL).
874  */
875 static void
877  int max_level, int max_children,
878  MemoryContextCounters *totals,
879  bool print_to_stderr)
880 {
881  MemoryContext child;
882  int ichild;
883 
885 
886  /* Examine the context itself */
887  context->methods->stats(context,
889  (void *) &level,
890  totals, print_to_stderr);
891 
892  /*
893  * Examine children.
894  *
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.
899  */
900  child = context->firstchild;
901  ichild = 0;
902  if (level < max_level && !stack_is_too_deep())
903  {
904  for (; child != NULL && ichild < max_children;
905  child = child->nextchild, ichild++)
906  {
907  MemoryContextStatsInternal(child, level + 1,
908  max_level, max_children,
909  totals,
910  print_to_stderr);
911  }
912  }
913 
914  if (child != NULL)
915  {
916  /* Summarize the rest of the children, avoiding recursion. */
917  MemoryContextCounters local_totals;
918 
919  memset(&local_totals, 0, sizeof(local_totals));
920 
921  ichild = 0;
922  while (child != NULL)
923  {
924  child->methods->stats(child, NULL, NULL, &local_totals, false);
925  ichild++;
926  child = MemoryContextTraverseNext(child, context);
927  }
928 
929  if (print_to_stderr)
930  {
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);
941  }
942  else
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)));
954 
955  if (totals)
956  {
957  totals->nblocks += local_totals.nblocks;
958  totals->freechunks += local_totals.freechunks;
959  totals->totalspace += local_totals.totalspace;
960  totals->freespace += local_totals.freespace;
961  }
962  }
963 }
964 
965 /*
966  * MemoryContextStatsPrint
967  * Print callback used by MemoryContextStatsInternal
968  *
969  * For now, the passthru pointer just points to "int level"; later we might
970  * make that more complicated.
971  */
972 static void
974  const char *stats_string,
975  bool print_to_stderr)
976 {
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;
982 
983  /*
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.
987  */
988  if (ident && strcmp(name, "dynahash") == 0)
989  {
990  name = ident;
991  ident = NULL;
992  }
993 
994  truncated_ident[0] = '\0';
995 
996  if (ident)
997  {
998  /*
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.
1003  */
1004  int idlen = strlen(ident);
1005  bool truncated = false;
1006 
1007  strcpy(truncated_ident, ": ");
1008  i = strlen(truncated_ident);
1009 
1010  if (idlen > 100)
1011  {
1012  idlen = pg_mbcliplen(ident, idlen, 100);
1013  truncated = true;
1014  }
1015 
1016  while (idlen-- > 0)
1017  {
1018  unsigned char c = *ident++;
1019 
1020  if (c < ' ')
1021  c = ' ';
1022  truncated_ident[i++] = c;
1023  }
1024  truncated_ident[i] = '\0';
1025 
1026  if (truncated)
1027  strcat(truncated_ident, "...");
1028  }
1029 
1030  if (print_to_stderr)
1031  {
1032  for (i = 0; i < level; i++)
1033  fprintf(stderr, " ");
1034  fprintf(stderr, "%s: %s%s\n", name, stats_string, truncated_ident);
1035  }
1036  else
1038  (errhidestmt(true),
1039  errhidecontext(true),
1040  errmsg_internal("level: %d; %s: %s%s",
1041  level, name, stats_string, truncated_ident)));
1042 }
1043 
1044 /*
1045  * MemoryContextCheck
1046  * Check all chunks in the named context and its children.
1047  *
1048  * This is just a debugging utility, so it's not fancy.
1049  */
1050 #ifdef MEMORY_CONTEXT_CHECKING
1051 void
1052 MemoryContextCheck(MemoryContext context)
1053 {
1055  context->methods->check(context);
1056 
1057  for (MemoryContext curr = context->firstchild;
1058  curr != NULL;
1059  curr = MemoryContextTraverseNext(curr, context))
1060  {
1062  curr->methods->check(curr);
1063  }
1064 }
1065 #endif
1066 
1067 /*
1068  * MemoryContextCreate
1069  * Context-type-independent part of context creation.
1070  *
1071  * This is only intended to be called by context-type-specific
1072  * context creation routines, not by the unwashed masses.
1073  *
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.
1089  *
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).
1095  *
1096  * Context routines generally assume that MemoryContextCreate can't fail,
1097  * so this can contain Assert but not elog/ereport.
1098  */
1099 void
1101  NodeTag tag,
1102  MemoryContextMethodID method_id,
1103  MemoryContext parent,
1104  const char *name)
1105 {
1106  /* Creating new memory contexts is not allowed in a critical section */
1107  Assert(CritSectionCount == 0);
1108 
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;
1120 
1121  /* OK to link node into context tree */
1122  if (parent)
1123  {
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;
1130  }
1131  else
1132  {
1133  node->nextchild = NULL;
1134  node->allowInCritSection = false;
1135  }
1136 
1137  VALGRIND_CREATE_MEMPOOL(node, 0, false);
1138 }
1139 
1140 /*
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'.
1145  */
1146 void *
1148 {
1149  if ((flags & MCXT_ALLOC_NO_OOM) == 0)
1150  {
1152  ereport(ERROR,
1153  (errcode(ERRCODE_OUT_OF_MEMORY),
1154  errmsg("out of memory"),
1155  errdetail("Failed on request of size %zu in memory context \"%s\".",
1156  size, context->name)));
1157  }
1158  return NULL;
1159 }
1160 
1161 /*
1162  * MemoryContextSizeFailure
1163  * For use by MemoryContextMethods implementations to handle invalid
1164  * memory allocation request sizes.
1165  */
1166 void
1168 {
1169  elog(ERROR, "invalid memory alloc request size %zu", size);
1170 }
1171 
1172 /*
1173  * MemoryContextAlloc
1174  * Allocate space within the specified context.
1175  *
1176  * This could be turned into a macro, but we'd have to import
1177  * nodes/memnodes.h into postgres.h which seems a bad idea.
1178  */
1179 void *
1181 {
1182  void *ret;
1183 
1186 
1187  context->isReset = false;
1188 
1189  /*
1190  * For efficiency reasons, we purposefully offload the handling of
1191  * allocation failures to the MemoryContextMethods implementation as this
1192  * allows these checks to be performed only when an actual malloc needs to
1193  * be done to request more memory from the OS. Additionally, not having
1194  * to execute any instructions after this call allows the compiler to use
1195  * the sibling call optimization. If you're considering adding code after
1196  * this call, consider making it the responsibility of the 'alloc'
1197  * function instead.
1198  */
1199  ret = context->methods->alloc(context, size, 0);
1200 
1202 
1203  return ret;
1204 }
1205 
1206 /*
1207  * MemoryContextAllocZero
1208  * Like MemoryContextAlloc, but clears allocated memory
1209  *
1210  * We could just call MemoryContextAlloc then clear the memory, but this
1211  * is a very common combination, so we provide the combined operation.
1212  */
1213 void *
1215 {
1216  void *ret;
1217 
1220 
1221  context->isReset = false;
1222 
1223  ret = context->methods->alloc(context, size, 0);
1224 
1226 
1227  MemSetAligned(ret, 0, size);
1228 
1229  return ret;
1230 }
1231 
1232 /*
1233  * MemoryContextAllocExtended
1234  * Allocate space within the specified context using the given flags.
1235  */
1236 void *
1238 {
1239  void *ret;
1240 
1243 
1244  if (!((flags & MCXT_ALLOC_HUGE) != 0 ? AllocHugeSizeIsValid(size) :
1246  elog(ERROR, "invalid memory alloc request size %zu", size);
1247 
1248  context->isReset = false;
1249 
1250  ret = context->methods->alloc(context, size, flags);
1251  if (unlikely(ret == NULL))
1252  return NULL;
1253 
1255 
1256  if ((flags & MCXT_ALLOC_ZERO) != 0)
1257  MemSetAligned(ret, 0, size);
1258 
1259  return ret;
1260 }
1261 
1262 /*
1263  * HandleLogMemoryContextInterrupt
1264  * Handle receipt of an interrupt indicating logging of memory
1265  * contexts.
1266  *
1267  * All the actual work is deferred to ProcessLogMemoryContextInterrupt(),
1268  * because we cannot safely emit a log message inside the signal handler.
1269  */
1270 void
1272 {
1273  InterruptPending = true;
1274  LogMemoryContextPending = true;
1275  /* latch will be set by procsignal_sigusr1_handler */
1276 }
1277 
1278 /*
1279  * ProcessLogMemoryContextInterrupt
1280  * Perform logging of memory contexts of this backend process.
1281  *
1282  * Any backend that participates in ProcSignal signaling must arrange
1283  * to call this function if we see LogMemoryContextPending set.
1284  * It is called from CHECK_FOR_INTERRUPTS(), which is enough because
1285  * the target process for logging of memory contexts is a backend.
1286  */
1287 void
1289 {
1290  LogMemoryContextPending = false;
1291 
1292  /*
1293  * Use LOG_SERVER_ONLY to prevent this message from being sent to the
1294  * connected client.
1295  */
1297  (errhidestmt(true),
1298  errhidecontext(true),
1299  errmsg("logging memory contexts of PID %d", MyProcPid)));
1300 
1301  /*
1302  * When a backend process is consuming huge memory, logging all its memory
1303  * contexts might overrun available disk space. To prevent this, we limit
1304  * the depth of the hierarchy, as well as the number of child contexts to
1305  * log per parent to 100.
1306  *
1307  * As with MemoryContextStats(), we suppose that practical cases where the
1308  * dump gets long will typically be huge numbers of siblings under the
1309  * same parent context; while the additional debugging value from seeing
1310  * details about individual siblings beyond 100 will not be large.
1311  */
1312  MemoryContextStatsDetail(TopMemoryContext, 100, 100, false);
1313 }
1314 
1315 void *
1317 {
1318  /* duplicates MemoryContextAlloc to avoid increased overhead */
1319  void *ret;
1321 
1324 
1325  context->isReset = false;
1326 
1327  /*
1328  * For efficiency reasons, we purposefully offload the handling of
1329  * allocation failures to the MemoryContextMethods implementation as this
1330  * allows these checks to be performed only when an actual malloc needs to
1331  * be done to request more memory from the OS. Additionally, not having
1332  * to execute any instructions after this call allows the compiler to use
1333  * the sibling call optimization. If you're considering adding code after
1334  * this call, consider making it the responsibility of the 'alloc'
1335  * function instead.
1336  */
1337  ret = context->methods->alloc(context, size, 0);
1338  /* We expect OOM to be handled by the alloc function */
1339  Assert(ret != NULL);
1341 
1342  return ret;
1343 }
1344 
1345 void *
1347 {
1348  /* duplicates MemoryContextAllocZero to avoid increased overhead */
1349  void *ret;
1351 
1354 
1355  context->isReset = false;
1356 
1357  ret = context->methods->alloc(context, size, 0);
1358 
1360 
1361  MemSetAligned(ret, 0, size);
1362 
1363  return ret;
1364 }
1365 
1366 void *
1368 {
1369  /* duplicates MemoryContextAllocExtended to avoid increased overhead */
1370  void *ret;
1372 
1375 
1376  context->isReset = false;
1377 
1378  ret = context->methods->alloc(context, size, flags);
1379  if (unlikely(ret == NULL))
1380  {
1381  return NULL;
1382  }
1383 
1385 
1386  if ((flags & MCXT_ALLOC_ZERO) != 0)
1387  MemSetAligned(ret, 0, size);
1388 
1389  return ret;
1390 }
1391 
1392 /*
1393  * MemoryContextAllocAligned
1394  * Allocate 'size' bytes of memory in 'context' aligned to 'alignto'
1395  * bytes.
1396  *
1397  * Currently, we align addresses by requesting additional bytes from the
1398  * MemoryContext's standard allocator function and then aligning the returned
1399  * address by the required alignment. This means that the given MemoryContext
1400  * must support providing us with a chunk of memory that's larger than 'size'.
1401  * For allocators such as Slab, that's not going to work, as slab only allows
1402  * chunks of the size that's specified when the context is created.
1403  *
1404  * 'alignto' must be a power of 2.
1405  * 'flags' may be 0 or set the same as MemoryContextAllocExtended().
1406  */
1407 void *
1409  Size size, Size alignto, int flags)
1410 {
1411  MemoryChunk *alignedchunk;
1412  Size alloc_size;
1413  void *unaligned;
1414  void *aligned;
1415 
1416  /* wouldn't make much sense to waste that much space */
1417  Assert(alignto < (128 * 1024 * 1024));
1418 
1419  /* ensure alignto is a power of 2 */
1420  Assert((alignto & (alignto - 1)) == 0);
1421 
1422  /*
1423  * If the alignment requirements are less than what we already guarantee
1424  * then just use the standard allocation function.
1425  */
1426  if (unlikely(alignto <= MAXIMUM_ALIGNOF))
1427  return MemoryContextAllocExtended(context, size, flags);
1428 
1429  /*
1430  * We implement aligned pointers by simply allocating enough memory for
1431  * the requested size plus the alignment and an additional "redirection"
1432  * MemoryChunk. This additional MemoryChunk is required for operations
1433  * such as pfree when used on the pointer returned by this function. We
1434  * use this redirection MemoryChunk in order to find the pointer to the
1435  * memory that was returned by the MemoryContextAllocExtended call below.
1436  * We do that by "borrowing" the block offset field and instead of using
1437  * that to find the offset into the owning block, we use it to find the
1438  * original allocated address.
1439  *
1440  * Here we must allocate enough extra memory so that we can still align
1441  * the pointer returned by MemoryContextAllocExtended and also have enough
1442  * space for the redirection MemoryChunk. Since allocations will already
1443  * be at least aligned by MAXIMUM_ALIGNOF, we can subtract that amount
1444  * from the allocation size to save a little memory.
1445  */
1446  alloc_size = size + PallocAlignedExtraBytes(alignto);
1447 
1448 #ifdef MEMORY_CONTEXT_CHECKING
1449  /* ensure there's space for a sentinel byte */
1450  alloc_size += 1;
1451 #endif
1452 
1453  /* perform the actual allocation */
1454  unaligned = MemoryContextAllocExtended(context, alloc_size, flags);
1455 
1456  /* set the aligned pointer */
1457  aligned = (void *) TYPEALIGN(alignto, (char *) unaligned +
1458  sizeof(MemoryChunk));
1459 
1460  alignedchunk = PointerGetMemoryChunk(aligned);
1461 
1462  /*
1463  * We set the redirect MemoryChunk so that the block offset calculation is
1464  * used to point back to the 'unaligned' allocated chunk. This allows us
1465  * to use MemoryChunkGetBlock() to find the unaligned chunk when we need
1466  * to perform operations such as pfree() and repalloc().
1467  *
1468  * We store 'alignto' in the MemoryChunk's 'value' so that we know what
1469  * the alignment was set to should we ever be asked to realloc this
1470  * pointer.
1471  */
1472  MemoryChunkSetHdrMask(alignedchunk, unaligned, alignto,
1474 
1475  /* double check we produced a correctly aligned pointer */
1476  Assert((void *) TYPEALIGN(alignto, aligned) == aligned);
1477 
1478 #ifdef MEMORY_CONTEXT_CHECKING
1479  alignedchunk->requested_size = size;
1480  /* set mark to catch clobber of "unused" space */
1481  set_sentinel(aligned, size);
1482 #endif
1483 
1484  /* Mark the bytes before the redirection header as noaccess */
1485  VALGRIND_MAKE_MEM_NOACCESS(unaligned,
1486  (char *) alignedchunk - (char *) unaligned);
1487 
1488  /* Disallow access to the redirection chunk header. */
1489  VALGRIND_MAKE_MEM_NOACCESS(alignedchunk, sizeof(MemoryChunk));
1490 
1491  return aligned;
1492 }
1493 
1494 /*
1495  * palloc_aligned
1496  * Allocate 'size' bytes returning a pointer that's aligned to the
1497  * 'alignto' boundary.
1498  *
1499  * Currently, we align addresses by requesting additional bytes from the
1500  * MemoryContext's standard allocator function and then aligning the returned
1501  * address by the required alignment. This means that the given MemoryContext
1502  * must support providing us with a chunk of memory that's larger than 'size'.
1503  * For allocators such as Slab, that's not going to work, as slab only allows
1504  * chunks of the size that's specified when the context is created.
1505  *
1506  * 'alignto' must be a power of 2.
1507  * 'flags' may be 0 or set the same as MemoryContextAllocExtended().
1508  */
1509 void *
1510 palloc_aligned(Size size, Size alignto, int flags)
1511 {
1512  return MemoryContextAllocAligned(CurrentMemoryContext, size, alignto, flags);
1513 }
1514 
1515 /*
1516  * pfree
1517  * Release an allocated chunk.
1518  */
1519 void
1520 pfree(void *pointer)
1521 {
1522 #ifdef USE_VALGRIND
1525 #endif
1526 
1527  MCXT_METHOD(pointer, free_p) (pointer);
1528 
1529 #ifdef USE_VALGRIND
1530  if (method != MCTX_ALIGNED_REDIRECT_ID)
1531  VALGRIND_MEMPOOL_FREE(context, pointer);
1532 #endif
1533 }
1534 
1535 /*
1536  * repalloc
1537  * Adjust the size of a previously allocated chunk.
1538  */
1539 void *
1540 repalloc(void *pointer, Size size)
1541 {
1542 #ifdef USE_VALGRIND
1544 #endif
1545 #if defined(USE_ASSERT_CHECKING) || defined(USE_VALGRIND)
1547 #endif
1548  void *ret;
1549 
1551 
1552  /* isReset must be false already */
1553  Assert(!context->isReset);
1554 
1555  /*
1556  * For efficiency reasons, we purposefully offload the handling of
1557  * allocation failures to the MemoryContextMethods implementation as this
1558  * allows these checks to be performed only when an actual malloc needs to
1559  * be done to request more memory from the OS. Additionally, not having
1560  * to execute any instructions after this call allows the compiler to use
1561  * the sibling call optimization. If you're considering adding code after
1562  * this call, consider making it the responsibility of the 'realloc'
1563  * function instead.
1564  */
1565  ret = MCXT_METHOD(pointer, realloc) (pointer, size, 0);
1566 
1567 #ifdef USE_VALGRIND
1568  if (method != MCTX_ALIGNED_REDIRECT_ID)
1569  VALGRIND_MEMPOOL_CHANGE(context, pointer, ret, size);
1570 #endif
1571 
1572  return ret;
1573 }
1574 
1575 /*
1576  * repalloc_extended
1577  * Adjust the size of a previously allocated chunk,
1578  * with HUGE and NO_OOM options.
1579  */
1580 void *
1581 repalloc_extended(void *pointer, Size size, int flags)
1582 {
1583 #if defined(USE_ASSERT_CHECKING) || defined(USE_VALGRIND)
1585 #endif
1586  void *ret;
1587 
1589 
1590  /* isReset must be false already */
1591  Assert(!context->isReset);
1592 
1593  /*
1594  * For efficiency reasons, we purposefully offload the handling of
1595  * allocation failures to the MemoryContextMethods implementation as this
1596  * allows these checks to be performed only when an actual malloc needs to
1597  * be done to request more memory from the OS. Additionally, not having
1598  * to execute any instructions after this call allows the compiler to use
1599  * the sibling call optimization. If you're considering adding code after
1600  * this call, consider making it the responsibility of the 'realloc'
1601  * function instead.
1602  */
1603  ret = MCXT_METHOD(pointer, realloc) (pointer, size, flags);
1604  if (unlikely(ret == NULL))
1605  return NULL;
1606 
1607  VALGRIND_MEMPOOL_CHANGE(context, pointer, ret, size);
1608 
1609  return ret;
1610 }
1611 
1612 /*
1613  * repalloc0
1614  * Adjust the size of a previously allocated chunk and zero out the added
1615  * space.
1616  */
1617 void *
1618 repalloc0(void *pointer, Size oldsize, Size size)
1619 {
1620  void *ret;
1621 
1622  /* catch wrong argument order */
1623  if (unlikely(oldsize > size))
1624  elog(ERROR, "invalid repalloc0 call: oldsize %zu, new size %zu",
1625  oldsize, size);
1626 
1627  ret = repalloc(pointer, size);
1628  memset((char *) ret + oldsize, 0, (size - oldsize));
1629  return ret;
1630 }
1631 
1632 /*
1633  * MemoryContextAllocHuge
1634  * Allocate (possibly-expansive) space within the specified context.
1635  *
1636  * See considerations in comment at MaxAllocHugeSize.
1637  */
1638 void *
1640 {
1641  void *ret;
1642 
1645 
1646  context->isReset = false;
1647 
1648  /*
1649  * For efficiency reasons, we purposefully offload the handling of
1650  * allocation failures to the MemoryContextMethods implementation as this
1651  * allows these checks to be performed only when an actual malloc needs to
1652  * be done to request more memory from the OS. Additionally, not having
1653  * to execute any instructions after this call allows the compiler to use
1654  * the sibling call optimization. If you're considering adding code after
1655  * this call, consider making it the responsibility of the 'alloc'
1656  * function instead.
1657  */
1658  ret = context->methods->alloc(context, size, MCXT_ALLOC_HUGE);
1659 
1661 
1662  return ret;
1663 }
1664 
1665 /*
1666  * repalloc_huge
1667  * Adjust the size of a previously allocated chunk, permitting a large
1668  * value. The previous allocation need not have been "huge".
1669  */
1670 void *
1671 repalloc_huge(void *pointer, Size size)
1672 {
1673  /* this one seems not worth its own implementation */
1674  return repalloc_extended(pointer, size, MCXT_ALLOC_HUGE);
1675 }
1676 
1677 /*
1678  * MemoryContextStrdup
1679  * Like strdup(), but allocate from the specified context
1680  */
1681 char *
1683 {
1684  char *nstr;
1685  Size len = strlen(string) + 1;
1686 
1687  nstr = (char *) MemoryContextAlloc(context, len);
1688 
1689  memcpy(nstr, string, len);
1690 
1691  return nstr;
1692 }
1693 
1694 char *
1695 pstrdup(const char *in)
1696 {
1698 }
1699 
1700 /*
1701  * pnstrdup
1702  * Like pstrdup(), but append null byte to a
1703  * not-necessarily-null-terminated input string.
1704  */
1705 char *
1706 pnstrdup(const char *in, Size len)
1707 {
1708  char *out;
1709 
1710  len = strnlen(in, len);
1711 
1712  out = palloc(len + 1);
1713  memcpy(out, in, len);
1714  out[len] = '\0';
1715 
1716  return out;
1717 }
1718 
1719 /*
1720  * Make copy of string with all trailing newline characters removed.
1721  */
1722 char *
1723 pchomp(const char *in)
1724 {
1725  size_t n;
1726 
1727  n = strlen(in);
1728  while (n > 0 && in[n - 1] == '\n')
1729  n--;
1730  return pnstrdup(in, n);
1731 }
MemoryContext AlignedAllocGetChunkContext(void *pointer)
Definition: alignedalloc.c:121
void * AlignedAllocRealloc(void *pointer, Size size, int flags)
Definition: alignedalloc.c:60
Size AlignedAllocGetChunkSpace(void *pointer)
Definition: alignedalloc.c:143
void AlignedAllocFree(void *pointer)
Definition: alignedalloc.c:29
void AllocSetReset(MemoryContext context)
Definition: aset.c:537
void * AllocSetRealloc(void *pointer, Size size, int flags)
Definition: aset.c:1169
Size AllocSetGetChunkSpace(void *pointer)
Definition: aset.c:1462
MemoryContext AllocSetGetChunkContext(void *pointer)
Definition: aset.c:1433
void AllocSetStats(MemoryContext context, MemoryStatsPrintFunc printfunc, void *passthru, MemoryContextCounters *totals, bool print_to_stderr)
Definition: aset.c:1521
void * AllocSetAlloc(MemoryContext context, Size size, int flags)
Definition: aset.c:967
bool AllocSetIsEmpty(MemoryContext context)
Definition: aset.c:1496
void AllocSetFree(void *pointer)
Definition: aset.c:1062
void AllocSetDelete(MemoryContext context)
Definition: aset.c:607
void BumpFree(void *pointer)
Definition: bump.c:617
void BumpDelete(MemoryContext context)
Definition: bump.c:278
Size BumpGetChunkSpace(void *pointer)
Definition: bump.c:649
void BumpStats(MemoryContext context, MemoryStatsPrintFunc printfunc, void *passthru, MemoryContextCounters *totals, bool print_to_stderr)
Definition: bump.c:688
MemoryContext BumpGetChunkContext(void *pointer)
Definition: bump.c:638
void * BumpRealloc(void *pointer, Size size, int flags)
Definition: bump.c:627
void * BumpAlloc(MemoryContext context, Size size, int flags)
Definition: bump.c:491
void BumpReset(MemoryContext context)
Definition: bump.c:243
bool BumpIsEmpty(MemoryContext context)
Definition: bump.c:660
#define MAXALIGN(LEN)
Definition: c.h:811
#define TYPEALIGN(ALIGNVAL, LEN)
Definition: c.h:804
#define Assert(condition)
Definition: c.h:858
#define MemSetAligned(start, val, len)
Definition: c.h:1050
#define unlikely(x)
Definition: c.h:311
size_t Size
Definition: c.h:605
int errmsg_internal(const char *fmt,...)
Definition: elog.c:1159
int errhidestmt(bool hide_stmt)
Definition: elog.c:1413
int errdetail(const char *fmt,...)
Definition: elog.c:1205
int errhidecontext(bool hide_ctx)
Definition: elog.c:1432
int errcode(int sqlerrcode)
Definition: elog.c:859
int errmsg(const char *fmt,...)
Definition: elog.c:1072
#define LOG_SERVER_ONLY
Definition: elog.h:32
#define ERROR
Definition: elog.h:39
#define elog(elevel,...)
Definition: elog.h:224
#define ereport(elevel,...)
Definition: elog.h:149
#define MCXT_ALLOC_ZERO
Definition: fe_memutils.h:18
#define MCXT_ALLOC_HUGE
Definition: fe_memutils.h:16
#define MCXT_ALLOC_NO_OOM
Definition: fe_memutils.h:17
void GenerationReset(MemoryContext context)
Definition: generation.c:283
void * GenerationAlloc(MemoryContext context, Size size, int flags)
Definition: generation.c:527
void GenerationFree(void *pointer)
Definition: generation.c:689
MemoryContext GenerationGetChunkContext(void *pointer)
Definition: generation.c:942
Size GenerationGetChunkSpace(void *pointer)
Definition: generation.c:968
bool GenerationIsEmpty(MemoryContext context)
Definition: generation.c:997
void GenerationStats(MemoryContext context, MemoryStatsPrintFunc printfunc, void *passthru, MemoryContextCounters *totals, bool print_to_stderr)
Definition: generation.c:1028
void * GenerationRealloc(void *pointer, Size size, int flags)
Definition: generation.c:800
void GenerationDelete(MemoryContext context)
Definition: generation.c:328
volatile sig_atomic_t LogMemoryContextPending
Definition: globals.c:39
volatile sig_atomic_t InterruptPending
Definition: globals.c:30
int MyProcPid
Definition: globals.c:45
volatile uint32 CritSectionCount
Definition: globals.c:43
#define realloc(a, b)
Definition: header.h:60
#define ident
Definition: indent_codes.h:47
int i
Definition: isn.c:73
int pg_mbcliplen(const char *mbstr, int len, int limit)
Definition: mbutils.c:1083
static void MemoryContextStatsInternal(MemoryContext context, int level, int max_level, int max_children, MemoryContextCounters *totals, bool print_to_stderr)
Definition: mcxt.c:876
char * pnstrdup(const char *in, Size len)
Definition: mcxt.c:1706
static void MemoryContextCallResetCallbacks(MemoryContext context)
Definition: mcxt.c:585
MemoryContext MessageContext
Definition: mcxt.c:153
void * MemoryContextAllocAligned(MemoryContext context, Size size, Size alignto, int flags)
Definition: mcxt.c:1408
bool MemoryContextIsEmpty(MemoryContext context)
Definition: mcxt.c:743
void MemoryContextMemConsumed(MemoryContext context, MemoryContextCounters *consumed)
Definition: mcxt.c:786
void MemoryContextReset(MemoryContext context)
Definition: mcxt.c:383
void MemoryContextCreate(MemoryContext node, NodeTag tag, MemoryContextMethodID method_id, MemoryContext parent, const char *name)
Definition: mcxt.c:1100
MemoryContext TopTransactionContext
Definition: mcxt.c:154
char * pchomp(const char *in)
Definition: mcxt.c:1723
void HandleLogMemoryContextInterrupt(void)
Definition: mcxt.c:1271
void MemoryContextRegisterResetCallback(MemoryContext context, MemoryContextCallback *cb)
Definition: mcxt.c:568
static MemoryContextMethodID GetMemoryChunkMethodID(const void *pointer)
Definition: mcxt.c:191
void MemoryContextSetParent(MemoryContext context, MemoryContext new_parent)
Definition: mcxt.c:637
static void * BogusRealloc(void *pointer, Size size, int flags)
Definition: mcxt.c:293
char * pstrdup(const char *in)
Definition: mcxt.c:1695
void pfree(void *pointer)
Definition: mcxt.c:1520
Size GetMemoryChunkSpace(void *pointer)
Definition: mcxt.c:721
void * repalloc0(void *pointer, Size oldsize, Size size)
Definition: mcxt.c:1618
static Size BogusGetChunkSpace(void *pointer)
Definition: mcxt.c:309
void MemoryContextDeleteChildren(MemoryContext context)
Definition: mcxt.c:539
MemoryContext TopMemoryContext
Definition: mcxt.c:149
#define AssertNotInCriticalSection(context)
Definition: mcxt.c:175
void * palloc0(Size size)
Definition: mcxt.c:1346
void * MemoryContextAllocZero(MemoryContext context, Size size)
Definition: mcxt.c:1214
MemoryContext CurTransactionContext
Definition: mcxt.c:155
void * MemoryContextAllocExtended(MemoryContext context, Size size, int flags)
Definition: mcxt.c:1237
MemoryContext CurrentMemoryContext
Definition: mcxt.c:143
void * repalloc(void *pointer, Size size)
Definition: mcxt.c:1540
static MemoryContext MemoryContextTraverseNext(MemoryContext curr, MemoryContext top)
Definition: mcxt.c:257
void * palloc_extended(Size size, int flags)
Definition: mcxt.c:1367
MemoryContext GetMemoryChunkContext(void *pointer)
Definition: mcxt.c:707
void * MemoryContextAlloc(MemoryContext context, Size size)
Definition: mcxt.c:1180
void MemoryContextStatsDetail(MemoryContext context, int max_level, int max_children, bool print_to_stderr)
Definition: mcxt.c:829
Size MemoryContextMemAllocated(MemoryContext context, bool recurse)
Definition: mcxt.c:762
void MemoryContextStats(MemoryContext context)
Definition: mcxt.c:814
void MemoryContextInit(void)
Definition: mcxt.c:339
static void BogusFree(void *pointer)
Definition: mcxt.c:286
MemoryContext PostmasterContext
Definition: mcxt.c:151
#define BOGUS_MCTX(id)
Definition: mcxt.c:40
void * palloc_aligned(Size size, Size alignto, int flags)
Definition: mcxt.c:1510
char * MemoryContextStrdup(MemoryContext context, const char *string)
Definition: mcxt.c:1682
static const MemoryContextMethods mcxt_methods[]
Definition: mcxt.c:46
void * MemoryContextAllocationFailure(MemoryContext context, Size size, int flags)
Definition: mcxt.c:1147
MemoryContext MemoryContextGetParent(MemoryContext context)
Definition: mcxt.c:731
void ProcessLogMemoryContextInterrupt(void)
Definition: mcxt.c:1288
MemoryContext ErrorContext
Definition: mcxt.c:150
static MemoryContext BogusGetChunkContext(void *pointer)
Definition: mcxt.c:301
MemoryContext CacheMemoryContext
Definition: mcxt.c:152
void MemoryContextSizeFailure(MemoryContext context, Size size, int flags)
Definition: mcxt.c:1167
void * MemoryContextAllocHuge(MemoryContext context, Size size)
Definition: mcxt.c:1639
void MemoryContextDelete(MemoryContext context)
Definition: mcxt.c:454
void MemoryContextAllowInCriticalSection(MemoryContext context, bool allow)
Definition: mcxt.c:694
static void MemoryContextDeleteOnly(MemoryContext context)
Definition: mcxt.c:496
void MemoryContextResetChildren(MemoryContext context)
Definition: mcxt.c:433
static void MemoryContextStatsPrint(MemoryContext context, void *passthru, const char *stats_string, bool print_to_stderr)
Definition: mcxt.c:973
void * palloc(Size size)
Definition: mcxt.c:1316
void MemoryContextSetIdentifier(MemoryContext context, const char *id)
Definition: mcxt.c:612
void MemoryContextResetOnly(MemoryContext context)
Definition: mcxt.c:402
static uint64 GetMemoryChunkHeader(const void *pointer)
Definition: mcxt.c:220
MemoryContext PortalContext
Definition: mcxt.c:158
void * repalloc_huge(void *pointer, Size size)
Definition: mcxt.c:1671
void * repalloc_extended(void *pointer, Size size, int flags)
Definition: mcxt.c:1581
#define MCXT_METHOD(pointer, method)
Definition: mcxt.c:182
#define VALGRIND_DESTROY_MEMPOOL(context)
Definition: memdebug.h:25
#define VALGRIND_MAKE_MEM_DEFINED(addr, size)
Definition: memdebug.h:26
#define VALGRIND_MEMPOOL_CHANGE(context, optr, nptr, size)
Definition: memdebug.h:31
#define VALGRIND_CREATE_MEMPOOL(context, redzones, zeroed)
Definition: memdebug.h:24
#define VALGRIND_MEMPOOL_ALLOC(context, addr, size)
Definition: memdebug.h:29
#define VALGRIND_MEMPOOL_FREE(context, addr)
Definition: memdebug.h:30
#define VALGRIND_MAKE_MEM_NOACCESS(addr, size)
Definition: memdebug.h:27
#define MemoryContextIsValid(context)
Definition: memnodes.h:145
#define AllocSetContextCreate
Definition: memutils.h:129
#define ALLOCSET_DEFAULT_SIZES
Definition: memutils.h:160
#define AllocHugeSizeIsValid(size)
Definition: memutils.h:49
#define AllocSizeIsValid(size)
Definition: memutils.h:42
#define MEMORY_CONTEXT_METHODID_MASK
#define PallocAlignedExtraBytes(alignto)
MemoryContextMethodID
@ MCTX_15_RESERVED_WIPEDMEM_ID
@ MCTX_GENERATION_ID
@ MCTX_14_UNUSED_ID
@ MCTX_12_UNUSED_ID
@ MCTX_10_UNUSED_ID
@ MCTX_BUMP_ID
@ MCTX_11_UNUSED_ID
@ MCTX_8_UNUSED_ID
@ MCTX_1_RESERVED_GLIBC_ID
@ MCTX_SLAB_ID
@ MCTX_9_UNUSED_ID
@ MCTX_0_RESERVED_UNUSEDMEM_ID
@ MCTX_ASET_ID
@ MCTX_2_RESERVED_GLIBC_ID
@ MCTX_ALIGNED_REDIRECT_ID
@ MCTX_13_UNUSED_ID
struct MemoryChunk MemoryChunk
#define PointerGetMemoryChunk(p)
static void MemoryChunkSetHdrMask(MemoryChunk *chunk, void *block, Size value, MemoryContextMethodID methodid)
NodeTag
Definition: nodes.h:27
const void size_t len
#define fprintf
Definition: port.h:242
size_t strnlen(const char *str, size_t maxlen)
Definition: strnlen.c:26
bool stack_is_too_deep(void)
Definition: postgres.c:3545
char * c
tree context
Definition: radixtree.h:1829
static pg_noinline void Size size
Definition: slab.c:607
void * SlabAlloc(MemoryContext context, Size size, int flags)
Definition: slab.c:630
void SlabFree(void *pointer)
Definition: slab.c:701
void SlabReset(MemoryContext context)
Definition: slab.c:431
Size SlabGetChunkSpace(void *pointer)
Definition: slab.c:887
bool SlabIsEmpty(MemoryContext context)
Definition: slab.c:912
MemoryContext SlabGetChunkContext(void *pointer)
Definition: slab.c:863
void SlabStats(MemoryContext context, MemoryStatsPrintFunc printfunc, void *passthru, MemoryContextCounters *totals, bool print_to_stderr)
Definition: slab.c:929
void SlabDelete(MemoryContext context)
Definition: slab.c:485
void * SlabRealloc(void *pointer, Size size, int flags)
Definition: slab.c:826
struct MemoryContextCallback * next
Definition: palloc.h:51
MemoryContextCallbackFunction func
Definition: palloc.h:49
MemoryContext prevchild
Definition: memnodes.h:129
MemoryContext firstchild
Definition: memnodes.h:128
bool allowInCritSection
Definition: memnodes.h:124
const char * ident
Definition: memnodes.h:132
MemoryContext parent
Definition: memnodes.h:127
MemoryContextCallback * reset_cbs
Definition: memnodes.h:133
const MemoryContextMethods * methods
Definition: memnodes.h:126
MemoryContext nextchild
Definition: memnodes.h:130
const char * name
Definition: memnodes.h:131
void(* stats)(MemoryContext context, MemoryStatsPrintFunc printfunc, void *passthru, MemoryContextCounters *totals, bool print_to_stderr)
Definition: memnodes.h:102
void *(* alloc)(MemoryContext context, Size size, int flags)
Definition: memnodes.h:66
const char * name