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

PostgreSQL Source Code git master
generation.c File Reference
#include "postgres.h"
#include "lib/ilist.h"
#include "port/pg_bitutils.h"
#include "utils/memdebug.h"
#include "utils/memutils.h"
#include "utils/memutils_internal.h"
#include "utils/memutils_memorychunk.h"
Include dependency graph for generation.c:

Go to the source code of this file.

Data Structures

struct  GenerationContext
 
struct  GenerationBlock
 

Macros

#define Generation_BLOCKHDRSZ   MAXALIGN(sizeof(GenerationBlock))
 
#define Generation_CHUNKHDRSZ   sizeof(MemoryChunk)
 
#define FIRST_BLOCKHDRSZ
 
#define Generation_CHUNK_FRACTION   8
 
#define GenerationIsValid(set)    ((set) && IsA(set, GenerationContext))
 
#define GenerationBlockIsValid(block)    ((block) && GenerationIsValid((block)->context))
 
#define GenerationBlockIsEmpty(b)   ((b)->nchunks == 0)
 
#define ExternalChunkGetBlock(chunk)    (GenerationBlock *) ((char *) chunk - Generation_BLOCKHDRSZ)
 
#define KeeperBlock(set)
 
#define IsKeeperBlock(set, block)   ((block) == (KeeperBlock(set)))
 

Typedefs

typedef struct GenerationBlock GenerationBlock
 
typedef void * GenerationPointer
 
typedef struct GenerationContext GenerationContext
 

Functions

static void GenerationBlockInit (GenerationContext *context, GenerationBlock *block, Size blksize)
 
static void GenerationBlockMarkEmpty (GenerationBlock *block)
 
static Size GenerationBlockFreeBytes (GenerationBlock *block)
 
static void GenerationBlockFree (GenerationContext *set, GenerationBlock *block)
 
MemoryContext GenerationContextCreate (MemoryContext parent, const char *name, Size minContextSize, Size initBlockSize, Size maxBlockSize)
 
void GenerationReset (MemoryContext context)
 
void GenerationDelete (MemoryContext context)
 
static pg_noinline void * GenerationAllocLarge (MemoryContext context, Size size, int flags)
 
static void * GenerationAllocChunkFromBlock (MemoryContext context, GenerationBlock *block, Size size, Size chunk_size)
 
static pg_noinline void * GenerationAllocFromNewBlock (MemoryContext context, Size size, int flags, Size chunk_size)
 
void * GenerationAlloc (MemoryContext context, Size size, int flags)
 
void GenerationFree (void *pointer)
 
void * GenerationRealloc (void *pointer, Size size, int flags)
 
MemoryContext GenerationGetChunkContext (void *pointer)
 
Size GenerationGetChunkSpace (void *pointer)
 
bool GenerationIsEmpty (MemoryContext context)
 
void GenerationStats (MemoryContext context, MemoryStatsPrintFunc printfunc, void *passthru, MemoryContextCounters *totals, bool print_to_stderr)
 

Macro Definition Documentation

◆ ExternalChunkGetBlock

#define ExternalChunkGetBlock (   chunk)     (GenerationBlock *) ((char *) chunk - Generation_BLOCKHDRSZ)

Definition at line 125 of file generation.c.

◆ FIRST_BLOCKHDRSZ

#define FIRST_BLOCKHDRSZ
Value:
Generation_BLOCKHDRSZ)
#define MAXALIGN(LEN)
Definition: c.h:811

Definition at line 48 of file generation.c.

◆ Generation_BLOCKHDRSZ

#define Generation_BLOCKHDRSZ   MAXALIGN(sizeof(GenerationBlock))

Definition at line 46 of file generation.c.

◆ Generation_CHUNK_FRACTION

#define Generation_CHUNK_FRACTION   8

Definition at line 51 of file generation.c.

◆ Generation_CHUNKHDRSZ

#define Generation_CHUNKHDRSZ   sizeof(MemoryChunk)

Definition at line 47 of file generation.c.

◆ GenerationBlockIsEmpty

#define GenerationBlockIsEmpty (   b)    ((b)->nchunks == 0)

Definition at line 118 of file generation.c.

◆ GenerationBlockIsValid

#define GenerationBlockIsValid (   block)     ((block) && GenerationIsValid((block)->context))

Definition at line 111 of file generation.c.

◆ GenerationIsValid

#define GenerationIsValid (   set)     ((set) && IsA(set, GenerationContext))

Definition at line 104 of file generation.c.

◆ IsKeeperBlock

#define IsKeeperBlock (   set,
  block 
)    ((block) == (KeeperBlock(set)))

Definition at line 134 of file generation.c.

◆ KeeperBlock

#define KeeperBlock (   set)
Value:
((GenerationBlock *) (((char *) set) + \
MAXALIGN(sizeof(GenerationContext))))

Definition at line 129 of file generation.c.

Typedef Documentation

◆ GenerationBlock

Definition at line 53 of file generation.c.

◆ GenerationContext

◆ GenerationPointer

typedef void* GenerationPointer

Definition at line 55 of file generation.c.

Function Documentation

◆ GenerationAlloc()

void * GenerationAlloc ( MemoryContext  context,
Size  size,
int  flags 
)

Definition at line 553 of file generation.c.

554{
555 GenerationContext *set = (GenerationContext *) context;
556 GenerationBlock *block;
557 Size chunk_size;
558 Size required_size;
559
561
562#ifdef MEMORY_CONTEXT_CHECKING
563 /* ensure there's always space for the sentinel byte */
564 chunk_size = MAXALIGN(size + 1);
565#else
566 chunk_size = MAXALIGN(size);
567#endif
568
569 /*
570 * If requested size exceeds maximum for chunks we hand the request off to
571 * GenerationAllocLarge().
572 */
573 if (chunk_size > set->allocChunkLimit)
574 return GenerationAllocLarge(context, size, flags);
575
576 required_size = chunk_size + Generation_CHUNKHDRSZ;
577
578 /*
579 * Not an oversized chunk. We try to first make use of the current block,
580 * but if there's not enough space in it, instead of allocating a new
581 * block, we look to see if the empty freeblock has enough space. We
582 * don't try reusing the keeper block. If it's become empty we'll reuse
583 * that again only if the context is reset.
584 *
585 * We only try reusing the freeblock if we've no space for this allocation
586 * on the current block. When a freeblock exists, we'll switch to it once
587 * the first time we can't fit an allocation in the current block. We
588 * avoid ping-ponging between the two as we need to be careful not to
589 * fragment differently sized consecutive allocations between several
590 * blocks. Going between the two could cause fragmentation for FIFO
591 * workloads, which generation is meant to be good at.
592 */
593 block = set->block;
594
595 if (unlikely(GenerationBlockFreeBytes(block) < required_size))
596 {
597 GenerationBlock *freeblock = set->freeblock;
598
599 /* freeblock, if set, must be empty */
600 Assert(freeblock == NULL || GenerationBlockIsEmpty(freeblock));
601
602 /* check if we have a freeblock and if it's big enough */
603 if (freeblock != NULL &&
604 GenerationBlockFreeBytes(freeblock) >= required_size)
605 {
606 /* make the freeblock the current block */
607 set->freeblock = NULL;
608 set->block = freeblock;
609
610 return GenerationAllocChunkFromBlock(context,
611 freeblock,
612 size,
613 chunk_size);
614 }
615 else
616 {
617 /*
618 * No freeblock, or it's not big enough for this allocation. Make
619 * a new block.
620 */
621 return GenerationAllocFromNewBlock(context, size, flags, chunk_size);
622 }
623 }
624
625 /* The current block has space, so just allocate chunk there. */
626 return GenerationAllocChunkFromBlock(context, block, size, chunk_size);
627}
#define unlikely(x)
Definition: c.h:403
size_t Size
Definition: c.h:611
static pg_noinline void * GenerationAllocLarge(MemoryContext context, Size size, int flags)
Definition: generation.c:363
static Size GenerationBlockFreeBytes(GenerationBlock *block)
Definition: generation.c:680
#define Generation_CHUNKHDRSZ
Definition: generation.c:47
static void * GenerationAllocChunkFromBlock(MemoryContext context, GenerationBlock *block, Size size, Size chunk_size)
Definition: generation.c:436
#define GenerationBlockIsEmpty(b)
Definition: generation.c:118
static pg_noinline void * GenerationAllocFromNewBlock(MemoryContext context, Size size, int flags, Size chunk_size)
Definition: generation.c:484
#define GenerationIsValid(set)
Definition: generation.c:104
Assert(PointerIsAligned(start, uint64))
GenerationBlock * freeblock
Definition: generation.c:72
GenerationBlock * block
Definition: generation.c:71
uint32 allocChunkLimit
Definition: generation.c:69

References GenerationContext::allocChunkLimit, Assert(), GenerationContext::block, GenerationContext::freeblock, Generation_CHUNKHDRSZ, GenerationAllocChunkFromBlock(), GenerationAllocFromNewBlock(), GenerationAllocLarge(), GenerationBlockFreeBytes(), GenerationBlockIsEmpty, GenerationIsValid, MAXALIGN, and unlikely.

Referenced by GenerationRealloc().

◆ GenerationAllocChunkFromBlock()

static void * GenerationAllocChunkFromBlock ( MemoryContext  context,
GenerationBlock block,
Size  size,
Size  chunk_size 
)
inlinestatic

Definition at line 436 of file generation.c.

438{
439 MemoryChunk *chunk = (MemoryChunk *) (block->freeptr);
440
441 /* validate we've been given a block with enough free space */
442 Assert(block != NULL);
443 Assert((block->endptr - block->freeptr) >=
444 Generation_CHUNKHDRSZ + chunk_size);
445
446 /* Prepare to initialize the chunk header. */
448
449 block->nchunks += 1;
450 block->freeptr += (Generation_CHUNKHDRSZ + chunk_size);
451
452 Assert(block->freeptr <= block->endptr);
453
454 MemoryChunkSetHdrMask(chunk, block, chunk_size, MCTX_GENERATION_ID);
455#ifdef MEMORY_CONTEXT_CHECKING
456 chunk->requested_size = size;
457 /* set mark to catch clobber of "unused" space */
458 Assert(size < chunk_size);
459 set_sentinel(MemoryChunkGetPointer(chunk), size);
460#endif
461#ifdef RANDOMIZE_ALLOCATED_MEMORY
462 /* fill the allocated space with junk */
463 randomize_mem((char *) MemoryChunkGetPointer(chunk), size);
464#endif
465
466 /* Ensure any padding bytes are marked NOACCESS. */
468 chunk_size - size);
469
470 /* Disallow access to the chunk header. */
472
473 return MemoryChunkGetPointer(chunk);
474}
#define VALGRIND_MAKE_MEM_NOACCESS(addr, size)
Definition: memdebug.h:27
#define VALGRIND_MAKE_MEM_UNDEFINED(addr, size)
Definition: memdebug.h:28
@ MCTX_GENERATION_ID
#define MemoryChunkGetPointer(c)
static void MemoryChunkSetHdrMask(MemoryChunk *chunk, void *block, Size value, MemoryContextMethodID methodid)
char * freeptr
Definition: generation.c:96

References Assert(), GenerationBlock::endptr, GenerationBlock::freeptr, Generation_CHUNKHDRSZ, MCTX_GENERATION_ID, MemoryChunkGetPointer, MemoryChunkSetHdrMask(), GenerationBlock::nchunks, VALGRIND_MAKE_MEM_NOACCESS, and VALGRIND_MAKE_MEM_UNDEFINED.

Referenced by GenerationAlloc(), and GenerationAllocFromNewBlock().

◆ GenerationAllocFromNewBlock()

static pg_noinline void * GenerationAllocFromNewBlock ( MemoryContext  context,
Size  size,
int  flags,
Size  chunk_size 
)
static

Definition at line 484 of file generation.c.

486{
487 GenerationContext *set = (GenerationContext *) context;
488 GenerationBlock *block;
489 Size blksize;
490 Size required_size;
491
492 /*
493 * The first such block has size initBlockSize, and we double the space in
494 * each succeeding block, but not more than maxBlockSize.
495 */
496 blksize = set->nextBlockSize;
497 set->nextBlockSize <<= 1;
498 if (set->nextBlockSize > set->maxBlockSize)
499 set->nextBlockSize = set->maxBlockSize;
500
501 /* we'll need space for the chunk, chunk hdr and block hdr */
502 required_size = chunk_size + Generation_CHUNKHDRSZ + Generation_BLOCKHDRSZ;
503
504 /* round the size up to the next power of 2 */
505 if (blksize < required_size)
506 blksize = pg_nextpower2_size_t(required_size);
507
508 block = (GenerationBlock *) malloc(blksize);
509
510 if (block == NULL)
511 return MemoryContextAllocationFailure(context, size, flags);
512
513 /* Make a vchunk covering the new block's header */
515
516 context->mem_allocated += blksize;
517
518 /* initialize the new block */
519 GenerationBlockInit(set, block, blksize);
520
521 /* add it to the doubly-linked list of blocks */
522 dlist_push_head(&set->blocks, &block->node);
523
524 /* make this the current block */
525 set->block = block;
526
527 return GenerationAllocChunkFromBlock(context, block, size, chunk_size);
528}
static void GenerationBlockInit(GenerationContext *context, GenerationBlock *block, Size blksize)
Definition: generation.c:635
#define Generation_BLOCKHDRSZ
Definition: generation.c:46
#define malloc(a)
Definition: header.h:50
static void dlist_push_head(dlist_head *head, dlist_node *node)
Definition: ilist.h:347
void * MemoryContextAllocationFailure(MemoryContext context, Size size, int flags)
Definition: mcxt.c:1195
#define VALGRIND_MEMPOOL_ALLOC(context, addr, size)
Definition: memdebug.h:29
#define pg_nextpower2_size_t
Definition: pg_bitutils.h:441
dlist_node node
Definition: generation.c:91
uint32 maxBlockSize
Definition: generation.c:67
uint32 nextBlockSize
Definition: generation.c:68
dlist_head blocks
Definition: generation.c:74

References GenerationContext::block, GenerationContext::blocks, dlist_push_head(), Generation_BLOCKHDRSZ, Generation_CHUNKHDRSZ, GenerationAllocChunkFromBlock(), GenerationBlockInit(), malloc, GenerationContext::maxBlockSize, MemoryContextData::mem_allocated, MemoryContextAllocationFailure(), GenerationContext::nextBlockSize, GenerationBlock::node, pg_nextpower2_size_t, and VALGRIND_MEMPOOL_ALLOC.

Referenced by GenerationAlloc().

◆ GenerationAllocLarge()

static pg_noinline void * GenerationAllocLarge ( MemoryContext  context,
Size  size,
int  flags 
)
static

Definition at line 363 of file generation.c.

364{
365 GenerationContext *set = (GenerationContext *) context;
366 GenerationBlock *block;
367 MemoryChunk *chunk;
368 Size chunk_size;
369 Size required_size;
370 Size blksize;
371
372 /* validate 'size' is within the limits for the given 'flags' */
373 MemoryContextCheckSize(context, size, flags);
374
375#ifdef MEMORY_CONTEXT_CHECKING
376 /* ensure there's always space for the sentinel byte */
377 chunk_size = MAXALIGN(size + 1);
378#else
379 chunk_size = MAXALIGN(size);
380#endif
381 required_size = chunk_size + Generation_CHUNKHDRSZ;
382 blksize = required_size + Generation_BLOCKHDRSZ;
383
384 block = (GenerationBlock *) malloc(blksize);
385 if (block == NULL)
386 return MemoryContextAllocationFailure(context, size, flags);
387
388 /* Make a vchunk covering the new block's header */
390
391 context->mem_allocated += blksize;
392
393 /* block with a single (used) chunk */
394 block->context = set;
395 block->blksize = blksize;
396 block->nchunks = 1;
397 block->nfree = 0;
398
399 /* the block is completely full */
400 block->freeptr = block->endptr = ((char *) block) + blksize;
401
402 chunk = (MemoryChunk *) (((char *) block) + Generation_BLOCKHDRSZ);
403
404 /* mark the MemoryChunk as externally managed */
406
407#ifdef MEMORY_CONTEXT_CHECKING
408 chunk->requested_size = size;
409 /* set mark to catch clobber of "unused" space */
410 Assert(size < chunk_size);
411 set_sentinel(MemoryChunkGetPointer(chunk), size);
412#endif
413#ifdef RANDOMIZE_ALLOCATED_MEMORY
414 /* fill the allocated space with junk */
415 randomize_mem((char *) MemoryChunkGetPointer(chunk), size);
416#endif
417
418 /* add the block to the list of allocated blocks */
419 dlist_push_head(&set->blocks, &block->node);
420
421 /* Ensure any padding bytes are marked NOACCESS. */
423 chunk_size - size);
424
425 /* Disallow access to the chunk header. */
427
428 return MemoryChunkGetPointer(chunk);
429}
static void MemoryContextCheckSize(MemoryContext context, Size size, int flags)
static void MemoryChunkSetHdrMaskExternal(MemoryChunk *chunk, MemoryContextMethodID methodid)
GenerationContext * context
Definition: generation.c:92

References Assert(), GenerationBlock::blksize, GenerationContext::blocks, GenerationBlock::context, dlist_push_head(), GenerationBlock::endptr, GenerationBlock::freeptr, Generation_BLOCKHDRSZ, Generation_CHUNKHDRSZ, malloc, MAXALIGN, MCTX_GENERATION_ID, MemoryContextData::mem_allocated, MemoryChunkGetPointer, MemoryChunkSetHdrMaskExternal(), MemoryContextAllocationFailure(), MemoryContextCheckSize(), GenerationBlock::nchunks, GenerationBlock::nfree, GenerationBlock::node, VALGRIND_MAKE_MEM_NOACCESS, and VALGRIND_MEMPOOL_ALLOC.

Referenced by GenerationAlloc().

◆ GenerationBlockFree()

static void GenerationBlockFree ( GenerationContext set,
GenerationBlock block 
)
inlinestatic

Definition at line 690 of file generation.c.

691{
692 /* Make sure nobody tries to free the keeper block */
693 Assert(!IsKeeperBlock(set, block));
694 /* We shouldn't be freeing the freeblock either */
695 Assert(block != set->freeblock);
696
697 /* release the block from the list of blocks */
698 dlist_delete(&block->node);
699
700 ((MemoryContext) set)->mem_allocated -= block->blksize;
701
702#ifdef CLOBBER_FREED_MEMORY
703 wipe_mem(block, block->blksize);
704#endif
705
706 /* As in aset.c, free block-header vchunks explicitly */
707 VALGRIND_MEMPOOL_FREE(set, block);
708
709 free(block);
710}
#define IsKeeperBlock(set, block)
Definition: generation.c:134
#define free(a)
Definition: header.h:65
static void dlist_delete(dlist_node *node)
Definition: ilist.h:405
#define VALGRIND_MEMPOOL_FREE(context, addr)
Definition: memdebug.h:30
struct MemoryContextData * MemoryContext
Definition: palloc.h:36

References Assert(), GenerationBlock::blksize, dlist_delete(), free, GenerationContext::freeblock, IsKeeperBlock, GenerationBlock::node, and VALGRIND_MEMPOOL_FREE.

Referenced by GenerationFree(), and GenerationReset().

◆ GenerationBlockFreeBytes()

static Size GenerationBlockFreeBytes ( GenerationBlock block)
inlinestatic

Definition at line 680 of file generation.c.

681{
682 return (block->endptr - block->freeptr);
683}

References GenerationBlock::endptr, and GenerationBlock::freeptr.

Referenced by GenerationAlloc().

◆ GenerationBlockInit()

static void GenerationBlockInit ( GenerationContext context,
GenerationBlock block,
Size  blksize 
)
inlinestatic

Definition at line 635 of file generation.c.

637{
638 block->context = context;
639 block->blksize = blksize;
640 block->nchunks = 0;
641 block->nfree = 0;
642
643 block->freeptr = ((char *) block) + Generation_BLOCKHDRSZ;
644 block->endptr = ((char *) block) + blksize;
645
646 /* Mark unallocated space NOACCESS. */
648 blksize - Generation_BLOCKHDRSZ);
649}

References GenerationBlock::blksize, GenerationBlock::context, GenerationBlock::endptr, GenerationBlock::freeptr, Generation_BLOCKHDRSZ, GenerationBlock::nchunks, GenerationBlock::nfree, and VALGRIND_MAKE_MEM_NOACCESS.

Referenced by GenerationAllocFromNewBlock(), and GenerationContextCreate().

◆ GenerationBlockMarkEmpty()

static void GenerationBlockMarkEmpty ( GenerationBlock block)
inlinestatic

Definition at line 656 of file generation.c.

657{
658#if defined(USE_VALGRIND) || defined(CLOBBER_FREED_MEMORY)
659 char *datastart = ((char *) block) + Generation_BLOCKHDRSZ;
660#endif
661
662#ifdef CLOBBER_FREED_MEMORY
663 wipe_mem(datastart, block->freeptr - datastart);
664#else
665 /* wipe_mem() would have done this */
666 VALGRIND_MAKE_MEM_NOACCESS(datastart, block->freeptr - datastart);
667#endif
668
669 /* Reset the block, but don't return it to malloc */
670 block->nchunks = 0;
671 block->nfree = 0;
672 block->freeptr = ((char *) block) + Generation_BLOCKHDRSZ;
673}

References GenerationBlock::freeptr, Generation_BLOCKHDRSZ, GenerationBlock::nchunks, GenerationBlock::nfree, and VALGRIND_MAKE_MEM_NOACCESS.

Referenced by GenerationFree(), and GenerationReset().

◆ GenerationContextCreate()

MemoryContext GenerationContextCreate ( MemoryContext  parent,
const char *  name,
Size  minContextSize,
Size  initBlockSize,
Size  maxBlockSize 
)

Definition at line 162 of file generation.c.

167{
168 Size firstBlockSize;
169 Size allocSize;
171 GenerationBlock *block;
172
173 /* ensure MemoryChunk's size is properly maxaligned */
175 "sizeof(MemoryChunk) is not maxaligned");
176
177 /*
178 * First, validate allocation parameters. Asserts seem sufficient because
179 * nobody varies their parameters at runtime. We somewhat arbitrarily
180 * enforce a minimum 1K block size. We restrict the maximum block size to
181 * MEMORYCHUNK_MAX_BLOCKOFFSET as MemoryChunks are limited to this in
182 * regards to addressing the offset between the chunk and the block that
183 * the chunk is stored on. We would be unable to store the offset between
184 * the chunk and block for any chunks that were beyond
185 * MEMORYCHUNK_MAX_BLOCKOFFSET bytes into the block if the block was to be
186 * larger than this.
187 */
188 Assert(initBlockSize == MAXALIGN(initBlockSize) &&
189 initBlockSize >= 1024);
190 Assert(maxBlockSize == MAXALIGN(maxBlockSize) &&
191 maxBlockSize >= initBlockSize &&
192 AllocHugeSizeIsValid(maxBlockSize)); /* must be safe to double */
193 Assert(minContextSize == 0 ||
194 (minContextSize == MAXALIGN(minContextSize) &&
195 minContextSize >= 1024 &&
196 minContextSize <= maxBlockSize));
197 Assert(maxBlockSize <= MEMORYCHUNK_MAX_BLOCKOFFSET);
198
199 /* Determine size of initial block */
200 allocSize = MAXALIGN(sizeof(GenerationContext)) +
202 if (minContextSize != 0)
203 allocSize = Max(allocSize, minContextSize);
204 else
205 allocSize = Max(allocSize, initBlockSize);
206
207 /*
208 * Allocate the initial block. Unlike other generation.c blocks, it
209 * starts with the context header and its block header follows that.
210 */
211 set = (GenerationContext *) malloc(allocSize);
212 if (set == NULL)
213 {
216 (errcode(ERRCODE_OUT_OF_MEMORY),
217 errmsg("out of memory"),
218 errdetail("Failed while creating memory context \"%s\".",
219 name)));
220 }
221
222 /*
223 * Avoid writing code that can fail between here and MemoryContextCreate;
224 * we'd leak the header if we ereport in this stretch.
225 */
226
227 /* See comments about Valgrind interactions in aset.c */
228 VALGRIND_CREATE_MEMPOOL(set, 0, false);
229 /* This vchunk covers the GenerationContext and the keeper block header */
231
232 dlist_init(&set->blocks);
233
234 /* Fill in the initial block's block header */
235 block = KeeperBlock(set);
236 /* determine the block size and initialize it */
237 firstBlockSize = allocSize - MAXALIGN(sizeof(GenerationContext));
238 GenerationBlockInit(set, block, firstBlockSize);
239
240 /* add it to the doubly-linked list of blocks */
241 dlist_push_head(&set->blocks, &block->node);
242
243 /* use it as the current allocation block */
244 set->block = block;
245
246 /* No free block, yet */
247 set->freeblock = NULL;
248
249 /* Fill in GenerationContext-specific header fields */
250 set->initBlockSize = (uint32) initBlockSize;
251 set->maxBlockSize = (uint32) maxBlockSize;
252 set->nextBlockSize = (uint32) initBlockSize;
253
254 /*
255 * Compute the allocation chunk size limit for this context.
256 *
257 * Limit the maximum size a non-dedicated chunk can be so that we can fit
258 * at least Generation_CHUNK_FRACTION of chunks this big onto the maximum
259 * sized block. We must further limit this value so that it's no more
260 * than MEMORYCHUNK_MAX_VALUE. We're unable to have non-external chunks
261 * larger than that value as we store the chunk size in the MemoryChunk
262 * 'value' field in the call to MemoryChunkSetHdrMask().
263 */
264 set->allocChunkLimit = Min(maxBlockSize, MEMORYCHUNK_MAX_VALUE);
265 while ((Size) (set->allocChunkLimit + Generation_CHUNKHDRSZ) >
267 set->allocChunkLimit >>= 1;
268
269 /* Finally, do the type-independent part of context creation */
271 T_GenerationContext,
273 parent,
274 name);
275
276 ((MemoryContext) set)->mem_allocated = firstBlockSize;
277
278 return (MemoryContext) set;
279}
#define Min(x, y)
Definition: c.h:1004
#define Max(x, y)
Definition: c.h:998
uint32_t uint32
Definition: c.h:539
#define StaticAssertDecl(condition, errmessage)
Definition: c.h:936
int errdetail(const char *fmt,...)
Definition: elog.c:1207
int errcode(int sqlerrcode)
Definition: elog.c:854
int errmsg(const char *fmt,...)
Definition: elog.c:1071
#define ERROR
Definition: elog.h:39
#define ereport(elevel,...)
Definition: elog.h:150
#define Generation_CHUNK_FRACTION
Definition: generation.c:51
#define KeeperBlock(set)
Definition: generation.c:129
#define FIRST_BLOCKHDRSZ
Definition: generation.c:48
static void dlist_init(dlist_head *head)
Definition: ilist.h:314
void MemoryContextCreate(MemoryContext node, NodeTag tag, MemoryContextMethodID method_id, MemoryContext parent, const char *name)
Definition: mcxt.c:1146
MemoryContext TopMemoryContext
Definition: mcxt.c:166
void MemoryContextStats(MemoryContext context)
Definition: mcxt.c:860
#define VALGRIND_CREATE_MEMPOOL(context, redzones, zeroed)
Definition: memdebug.h:24
#define AllocHugeSizeIsValid(size)
Definition: memutils.h:49
#define MEMORYCHUNK_MAX_BLOCKOFFSET
#define MEMORYCHUNK_MAX_VALUE
uint32 initBlockSize
Definition: generation.c:66
const char * name

References GenerationContext::allocChunkLimit, AllocHugeSizeIsValid, Assert(), GenerationContext::block, GenerationContext::blocks, dlist_init(), dlist_push_head(), ereport, errcode(), errdetail(), errmsg(), ERROR, FIRST_BLOCKHDRSZ, GenerationContext::freeblock, Generation_BLOCKHDRSZ, Generation_CHUNK_FRACTION, Generation_CHUNKHDRSZ, GenerationBlockInit(), GenerationContext::initBlockSize, KeeperBlock, malloc, Max, MAXALIGN, GenerationContext::maxBlockSize, MCTX_GENERATION_ID, MEMORYCHUNK_MAX_BLOCKOFFSET, MEMORYCHUNK_MAX_VALUE, MemoryContextCreate(), MemoryContextStats(), Min, name, GenerationContext::nextBlockSize, GenerationBlock::node, StaticAssertDecl, TopMemoryContext, VALGRIND_CREATE_MEMPOOL, and VALGRIND_MEMPOOL_ALLOC.

Referenced by gistvacuumscan(), ReorderBufferAllocate(), and tuplestore_begin_common().

◆ GenerationDelete()

void GenerationDelete ( MemoryContext  context)

Definition at line 344 of file generation.c.

345{
346 /* Reset to release all releasable GenerationBlocks */
347 GenerationReset(context);
348
349 /* Destroy the vpool -- see notes in aset.c */
351
352 /* And free the context header and keeper block */
353 free(context);
354}
void GenerationReset(MemoryContext context)
Definition: generation.c:291
#define VALGRIND_DESTROY_MEMPOOL(context)
Definition: memdebug.h:25

References free, GenerationReset(), and VALGRIND_DESTROY_MEMPOOL.

◆ GenerationFree()

void GenerationFree ( void *  pointer)

Definition at line 718 of file generation.c.

719{
720 MemoryChunk *chunk = PointerGetMemoryChunk(pointer);
721 GenerationBlock *block;
723#if (defined(MEMORY_CONTEXT_CHECKING) && defined(USE_ASSERT_CHECKING)) \
724 || defined(CLOBBER_FREED_MEMORY)
725 Size chunksize;
726#endif
727
728 /* Allow access to the chunk header. */
730
731 if (MemoryChunkIsExternal(chunk))
732 {
733 block = ExternalChunkGetBlock(chunk);
734
735 /*
736 * Try to verify that we have a sane block pointer: the block header
737 * should reference a generation context.
738 */
739 if (!GenerationBlockIsValid(block))
740 elog(ERROR, "could not find block containing chunk %p", chunk);
741
742#if (defined(MEMORY_CONTEXT_CHECKING) && defined(USE_ASSERT_CHECKING)) \
743 || defined(CLOBBER_FREED_MEMORY)
744 chunksize = block->endptr - (char *) pointer;
745#endif
746 }
747 else
748 {
749 block = MemoryChunkGetBlock(chunk);
750
751 /*
752 * In this path, for speed reasons we just Assert that the referenced
753 * block is good. Future field experience may show that this Assert
754 * had better become a regular runtime test-and-elog check.
755 */
757
758#if (defined(MEMORY_CONTEXT_CHECKING) && defined(USE_ASSERT_CHECKING)) \
759 || defined(CLOBBER_FREED_MEMORY)
760 chunksize = MemoryChunkGetValue(chunk);
761#endif
762 }
763
764#ifdef MEMORY_CONTEXT_CHECKING
765 /* Test for someone scribbling on unused space in chunk */
766 Assert(chunk->requested_size < chunksize);
767 if (!sentinel_ok(pointer, chunk->requested_size))
768 elog(WARNING, "detected write past chunk end in %s %p",
769 ((MemoryContext) block->context)->name, chunk);
770#endif
771
772#ifdef CLOBBER_FREED_MEMORY
773 wipe_mem(pointer, chunksize);
774#endif
775
776#ifdef MEMORY_CONTEXT_CHECKING
777 /* Reset requested_size to InvalidAllocSize in freed chunks */
778 chunk->requested_size = InvalidAllocSize;
779#endif
780
781 block->nfree += 1;
782
783 Assert(block->nchunks > 0);
784 Assert(block->nfree <= block->nchunks);
785 Assert(block != block->context->freeblock);
786
787 /* If there are still allocated chunks in the block, we're done. */
788 if (likely(block->nfree < block->nchunks))
789 return;
790
791 set = block->context;
792
793 /*-----------------------
794 * The block this allocation was on has now become completely empty of
795 * chunks. In the general case, we can now return the memory for this
796 * block back to malloc. However, there are cases where we don't want to
797 * do that:
798 *
799 * 1) If it's the keeper block. This block was malloc'd in the same
800 * allocation as the context itself and can't be free'd without
801 * freeing the context.
802 * 2) If it's the current block. We could free this, but doing so would
803 * leave us nothing to set the current block to, so we just mark the
804 * block as empty so new allocations can reuse it again.
805 * 3) If we have no "freeblock" set, then we save a single block for
806 * future allocations to avoid having to malloc a new block again.
807 * This is useful for FIFO workloads as it avoids continual
808 * free/malloc cycles.
809 */
810 if (IsKeeperBlock(set, block) || set->block == block)
811 GenerationBlockMarkEmpty(block); /* case 1 and 2 */
812 else if (set->freeblock == NULL)
813 {
814 /* case 3 */
816 set->freeblock = block;
817 }
818 else
819 GenerationBlockFree(set, block); /* Otherwise, free it */
820}
#define likely(x)
Definition: c.h:402
#define WARNING
Definition: elog.h:36
#define elog(elevel,...)
Definition: elog.h:226
static void GenerationBlockFree(GenerationContext *set, GenerationBlock *block)
Definition: generation.c:690
static void GenerationBlockMarkEmpty(GenerationBlock *block)
Definition: generation.c:656
#define GenerationBlockIsValid(block)
Definition: generation.c:111
#define ExternalChunkGetBlock(chunk)
Definition: generation.c:125
#define VALGRIND_MAKE_MEM_DEFINED(addr, size)
Definition: memdebug.h:26
#define InvalidAllocSize
Definition: memutils.h:47
static Size MemoryChunkGetValue(MemoryChunk *chunk)
static bool MemoryChunkIsExternal(MemoryChunk *chunk)
static void * MemoryChunkGetBlock(MemoryChunk *chunk)
#define PointerGetMemoryChunk(p)

References Assert(), GenerationContext::block, GenerationBlock::context, elog, GenerationBlock::endptr, ERROR, ExternalChunkGetBlock, GenerationContext::freeblock, Generation_CHUNKHDRSZ, GenerationBlockFree(), GenerationBlockIsValid, GenerationBlockMarkEmpty(), InvalidAllocSize, IsKeeperBlock, likely, MemoryChunkGetBlock(), MemoryChunkGetValue(), MemoryChunkIsExternal(), GenerationBlock::nchunks, GenerationBlock::nfree, PointerGetMemoryChunk, VALGRIND_MAKE_MEM_DEFINED, and WARNING.

Referenced by GenerationRealloc().

◆ GenerationGetChunkContext()

MemoryContext GenerationGetChunkContext ( void *  pointer)

Definition at line 976 of file generation.c.

977{
978 MemoryChunk *chunk = PointerGetMemoryChunk(pointer);
979 GenerationBlock *block;
980
981 /* Allow access to the chunk header. */
983
984 if (MemoryChunkIsExternal(chunk))
985 block = ExternalChunkGetBlock(chunk);
986 else
987 block = (GenerationBlock *) MemoryChunkGetBlock(chunk);
988
989 /* Disallow access to the chunk header. */
991
993 return &block->context->header;
994}
MemoryContextData header
Definition: generation.c:63

References Assert(), GenerationBlock::context, ExternalChunkGetBlock, Generation_CHUNKHDRSZ, GenerationBlockIsValid, GenerationContext::header, MemoryChunkGetBlock(), MemoryChunkIsExternal(), PointerGetMemoryChunk, VALGRIND_MAKE_MEM_DEFINED, and VALGRIND_MAKE_MEM_NOACCESS.

◆ GenerationGetChunkSpace()

Size GenerationGetChunkSpace ( void *  pointer)

Definition at line 1002 of file generation.c.

1003{
1004 MemoryChunk *chunk = PointerGetMemoryChunk(pointer);
1005 Size chunksize;
1006
1007 /* Allow access to the chunk header. */
1009
1010 if (MemoryChunkIsExternal(chunk))
1011 {
1012 GenerationBlock *block = ExternalChunkGetBlock(chunk);
1013
1015 chunksize = block->endptr - (char *) pointer;
1016 }
1017 else
1018 chunksize = MemoryChunkGetValue(chunk);
1019
1020 /* Disallow access to the chunk header. */
1022
1023 return Generation_CHUNKHDRSZ + chunksize;
1024}

References Assert(), GenerationBlock::endptr, ExternalChunkGetBlock, Generation_CHUNKHDRSZ, GenerationBlockIsValid, MemoryChunkGetValue(), MemoryChunkIsExternal(), PointerGetMemoryChunk, VALGRIND_MAKE_MEM_DEFINED, and VALGRIND_MAKE_MEM_NOACCESS.

◆ GenerationIsEmpty()

bool GenerationIsEmpty ( MemoryContext  context)

Definition at line 1031 of file generation.c.

1032{
1033 GenerationContext *set = (GenerationContext *) context;
1034 dlist_iter iter;
1035
1037
1038 dlist_foreach(iter, &set->blocks)
1039 {
1040 GenerationBlock *block = dlist_container(GenerationBlock, node, iter.cur);
1041
1042 if (block->nchunks > 0)
1043 return false;
1044 }
1045
1046 return true;
1047}
#define dlist_foreach(iter, lhead)
Definition: ilist.h:623
#define dlist_container(type, membername, ptr)
Definition: ilist.h:593
dlist_node * cur
Definition: ilist.h:179

References Assert(), GenerationContext::blocks, dlist_iter::cur, dlist_container, dlist_foreach, GenerationIsValid, and GenerationBlock::nchunks.

◆ GenerationRealloc()

void * GenerationRealloc ( void *  pointer,
Size  size,
int  flags 
)

Definition at line 829 of file generation.c.

830{
831 MemoryChunk *chunk = PointerGetMemoryChunk(pointer);
833 GenerationBlock *block;
834 GenerationPointer newPointer;
835 Size oldsize;
836
837 /* Allow access to the chunk header. */
839
840 if (MemoryChunkIsExternal(chunk))
841 {
842 block = ExternalChunkGetBlock(chunk);
843
844 /*
845 * Try to verify that we have a sane block pointer: the block header
846 * should reference a generation context.
847 */
848 if (!GenerationBlockIsValid(block))
849 elog(ERROR, "could not find block containing chunk %p", chunk);
850
851 oldsize = block->endptr - (char *) pointer;
852 }
853 else
854 {
855 block = MemoryChunkGetBlock(chunk);
856
857 /*
858 * In this path, for speed reasons we just Assert that the referenced
859 * block is good. Future field experience may show that this Assert
860 * had better become a regular runtime test-and-elog check.
861 */
863
864 oldsize = MemoryChunkGetValue(chunk);
865 }
866
867 set = block->context;
868
869#ifdef MEMORY_CONTEXT_CHECKING
870 /* Test for someone scribbling on unused space in chunk */
871 Assert(chunk->requested_size < oldsize);
872 if (!sentinel_ok(pointer, chunk->requested_size))
873 elog(WARNING, "detected write past chunk end in %s %p",
874 ((MemoryContext) set)->name, chunk);
875#endif
876
877 /*
878 * Maybe the allocated area already big enough. (In particular, we always
879 * fall out here if the requested size is a decrease.)
880 *
881 * This memory context does not use power-of-2 chunk sizing and instead
882 * carves the chunks to be as small as possible, so most repalloc() calls
883 * will end up in the palloc/memcpy/pfree branch.
884 *
885 * XXX Perhaps we should annotate this condition with unlikely()?
886 */
887#ifdef MEMORY_CONTEXT_CHECKING
888 /* With MEMORY_CONTEXT_CHECKING, we need an extra byte for the sentinel */
889 if (oldsize > size)
890#else
891 if (oldsize >= size)
892#endif
893 {
894#ifdef MEMORY_CONTEXT_CHECKING
895 Size oldrequest = chunk->requested_size;
896
897#ifdef RANDOMIZE_ALLOCATED_MEMORY
898 /* We can only fill the extra space if we know the prior request */
899 if (size > oldrequest)
900 randomize_mem((char *) pointer + oldrequest,
901 size - oldrequest);
902#endif
903
904 chunk->requested_size = size;
905
906 /*
907 * If this is an increase, mark any newly-available part UNDEFINED.
908 * Otherwise, mark the obsolete part NOACCESS.
909 */
910 if (size > oldrequest)
911 VALGRIND_MAKE_MEM_UNDEFINED((char *) pointer + oldrequest,
912 size - oldrequest);
913 else
914 VALGRIND_MAKE_MEM_NOACCESS((char *) pointer + size,
915 oldsize - size);
916
917 /* set mark to catch clobber of "unused" space */
918 set_sentinel(pointer, size);
919#else /* !MEMORY_CONTEXT_CHECKING */
920
921 /*
922 * We don't have the information to determine whether we're growing
923 * the old request or shrinking it, so we conservatively mark the
924 * entire new allocation DEFINED.
925 */
926 VALGRIND_MAKE_MEM_NOACCESS(pointer, oldsize);
927 VALGRIND_MAKE_MEM_DEFINED(pointer, size);
928#endif
929
930 /* Disallow access to the chunk header. */
932
933 return pointer;
934 }
935
936 /* allocate new chunk (this also checks size is valid) */
937 newPointer = GenerationAlloc((MemoryContext) set, size, flags);
938
939 /* leave immediately if request was not completed */
940 if (newPointer == NULL)
941 {
942 /* Disallow access to the chunk header. */
944 return MemoryContextAllocationFailure((MemoryContext) set, size, flags);
945 }
946
947 /*
948 * GenerationAlloc() may have returned a region that is still NOACCESS.
949 * Change it to UNDEFINED for the moment; memcpy() will then transfer
950 * definedness from the old allocation to the new. If we know the old
951 * allocation, copy just that much. Otherwise, make the entire old chunk
952 * defined to avoid errors as we copy the currently-NOACCESS trailing
953 * bytes.
954 */
955 VALGRIND_MAKE_MEM_UNDEFINED(newPointer, size);
956#ifdef MEMORY_CONTEXT_CHECKING
957 oldsize = chunk->requested_size;
958#else
959 VALGRIND_MAKE_MEM_DEFINED(pointer, oldsize);
960#endif
961
962 /* transfer existing data (certain to fit) */
963 memcpy(newPointer, pointer, oldsize);
964
965 /* free old chunk */
966 GenerationFree(pointer);
967
968 return newPointer;
969}
void GenerationFree(void *pointer)
Definition: generation.c:718
void * GenerationPointer
Definition: generation.c:55
void * GenerationAlloc(MemoryContext context, Size size, int flags)
Definition: generation.c:553

References Assert(), GenerationBlock::context, elog, GenerationBlock::endptr, ERROR, ExternalChunkGetBlock, Generation_CHUNKHDRSZ, GenerationAlloc(), GenerationBlockIsValid, GenerationFree(), MemoryChunkGetBlock(), MemoryChunkGetValue(), MemoryChunkIsExternal(), MemoryContextAllocationFailure(), name, PointerGetMemoryChunk, VALGRIND_MAKE_MEM_DEFINED, VALGRIND_MAKE_MEM_NOACCESS, VALGRIND_MAKE_MEM_UNDEFINED, and WARNING.

◆ GenerationReset()

void GenerationReset ( MemoryContext  context)

Definition at line 291 of file generation.c.

292{
293 GenerationContext *set = (GenerationContext *) context;
294 dlist_mutable_iter miter;
295
297
298#ifdef MEMORY_CONTEXT_CHECKING
299 /* Check for corruption and leaks before freeing */
300 GenerationCheck(context);
301#endif
302
303 /*
304 * NULLify the free block pointer. We must do this before calling
305 * GenerationBlockFree as that function never expects to free the
306 * freeblock.
307 */
308 set->freeblock = NULL;
309
310 dlist_foreach_modify(miter, &set->blocks)
311 {
312 GenerationBlock *block = dlist_container(GenerationBlock, node, miter.cur);
313
314 if (IsKeeperBlock(set, block))
316 else
317 GenerationBlockFree(set, block);
318 }
319
320 /*
321 * Instruct Valgrind to throw away all the vchunks associated with this
322 * context, except for the one covering the GenerationContext and
323 * keeper-block header. This gets rid of the vchunks for whatever user
324 * data is getting discarded by the context reset.
325 */
327
328 /* set it so new allocations to make use of the keeper block */
329 set->block = KeeperBlock(set);
330
331 /* Reset block size allocation sequence, too */
332 set->nextBlockSize = set->initBlockSize;
333
334 /* Ensure there is only 1 item in the dlist */
337}
static bool dlist_has_next(const dlist_head *head, const dlist_node *node)
Definition: ilist.h:503
static dlist_node * dlist_head_node(dlist_head *head)
Definition: ilist.h:565
#define dlist_foreach_modify(iter, lhead)
Definition: ilist.h:640
static bool dlist_is_empty(const dlist_head *head)
Definition: ilist.h:336
#define VALGRIND_MEMPOOL_TRIM(context, addr, size)
Definition: memdebug.h:32
dlist_node * cur
Definition: ilist.h:200

References Assert(), GenerationContext::block, GenerationContext::blocks, dlist_mutable_iter::cur, dlist_container, dlist_foreach_modify, dlist_has_next(), dlist_head_node(), dlist_is_empty(), FIRST_BLOCKHDRSZ, GenerationContext::freeblock, GenerationBlockFree(), GenerationBlockMarkEmpty(), GenerationIsValid, GenerationContext::initBlockSize, IsKeeperBlock, KeeperBlock, GenerationContext::nextBlockSize, and VALGRIND_MEMPOOL_TRIM.

Referenced by GenerationDelete().

◆ GenerationStats()

void GenerationStats ( MemoryContext  context,
MemoryStatsPrintFunc  printfunc,
void *  passthru,
MemoryContextCounters totals,
bool  print_to_stderr 
)

Definition at line 1062 of file generation.c.

1065{
1066 GenerationContext *set = (GenerationContext *) context;
1067 Size nblocks = 0;
1068 Size nchunks = 0;
1069 Size nfreechunks = 0;
1070 Size totalspace;
1071 Size freespace = 0;
1072 dlist_iter iter;
1073
1075
1076 /* Include context header in totalspace */
1077 totalspace = MAXALIGN(sizeof(GenerationContext));
1078
1079 dlist_foreach(iter, &set->blocks)
1080 {
1081 GenerationBlock *block = dlist_container(GenerationBlock, node, iter.cur);
1082
1083 nblocks++;
1084 nchunks += block->nchunks;
1085 nfreechunks += block->nfree;
1086 totalspace += block->blksize;
1087 freespace += (block->endptr - block->freeptr);
1088 }
1089
1090 if (printfunc)
1091 {
1092 char stats_string[200];
1093
1094 snprintf(stats_string, sizeof(stats_string),
1095 "%zu total in %zu blocks (%zu chunks); %zu free (%zu chunks); %zu used",
1096 totalspace, nblocks, nchunks, freespace,
1097 nfreechunks, totalspace - freespace);
1098 printfunc(context, passthru, stats_string, print_to_stderr);
1099 }
1100
1101 if (totals)
1102 {
1103 totals->nblocks += nblocks;
1104 totals->freechunks += nfreechunks;
1105 totals->totalspace += totalspace;
1106 totals->freespace += freespace;
1107 }
1108}
#define snprintf
Definition: port.h:239

References Assert(), GenerationBlock::blksize, GenerationContext::blocks, dlist_iter::cur, dlist_container, dlist_foreach, GenerationBlock::endptr, MemoryContextCounters::freechunks, GenerationBlock::freeptr, MemoryContextCounters::freespace, GenerationIsValid, MAXALIGN, MemoryContextCounters::nblocks, GenerationBlock::nchunks, GenerationBlock::nfree, snprintf, and MemoryContextCounters::totalspace.