PostgreSQL Source Code git master
Loading...
Searching...
No Matches
dsa.c
Go to the documentation of this file.
1/*-------------------------------------------------------------------------
2 *
3 * dsa.c
4 * Dynamic shared memory areas.
5 *
6 * This module provides dynamic shared memory areas which are built on top of
7 * DSM segments. While dsm.c allows segments of memory of shared memory to be
8 * created and shared between backends, it isn't designed to deal with small
9 * objects. A DSA area is a shared memory heap usually backed by one or more
10 * DSM segments which can allocate memory using dsa_allocate() and dsa_free().
11 * Alternatively, it can be created in pre-existing shared memory, including a
12 * DSM segment, and then create extra DSM segments as required. Unlike the
13 * regular system heap, it deals in pseudo-pointers which must be converted to
14 * backend-local pointers before they are dereferenced. These pseudo-pointers
15 * can however be shared with other backends, and can be used to construct
16 * shared data structures.
17 *
18 * Each DSA area manages a set of DSM segments, adding new segments as
19 * required and detaching them when they are no longer needed. Each segment
20 * contains a number of 4KB pages, a free page manager for tracking
21 * consecutive runs of free pages, and a page map for tracking the source of
22 * objects allocated on each page. Allocation requests above 8KB are handled
23 * by choosing a segment and finding consecutive free pages in its free page
24 * manager. Allocation requests for smaller sizes are handled using pools of
25 * objects of a selection of sizes. Each pool consists of a number of 16 page
26 * (64KB) superblocks allocated in the same way as large objects. Allocation
27 * of large objects and new superblocks is serialized by a single LWLock, but
28 * allocation of small objects from pre-existing superblocks uses one LWLock
29 * per pool. Currently there is one pool, and therefore one lock, per size
30 * class. Per-core pools to increase concurrency and strategies for reducing
31 * the resulting fragmentation are areas for future research. Each superblock
32 * is managed with a 'span', which tracks the superblock's freelist. Free
33 * requests are handled by looking in the page map to find which span an
34 * address was allocated from, so that small objects can be returned to the
35 * appropriate free list, and large object pages can be returned directly to
36 * the free page map. When allocating, simple heuristics for selecting
37 * segments and superblocks try to encourage occupied memory to be
38 * concentrated, increasing the likelihood that whole superblocks can become
39 * empty and be returned to the free page manager, and whole segments can
40 * become empty and be returned to the operating system.
41 *
42 * Portions Copyright (c) 1996-2026, PostgreSQL Global Development Group
43 * Portions Copyright (c) 1994, Regents of the University of California
44 *
45 * IDENTIFICATION
46 * src/backend/utils/mmgr/dsa.c
47 *
48 *-------------------------------------------------------------------------
49 */
50
51#include "postgres.h"
52
53#include "port/atomics.h"
54#include "port/pg_bitutils.h"
55#include "storage/dsm.h"
56#include "storage/lwlock.h"
57#include "utils/dsa.h"
58#include "utils/freepage.h"
59#include "utils/memutils.h"
60#include "utils/resowner.h"
61
62/*
63 * How many segments to create before we double the segment size. If this is
64 * low, then there is likely to be a lot of wasted space in the largest
65 * segment. If it is high, then we risk running out of segment slots (see
66 * dsm.c's limits on total number of segments), or limiting the total size
67 * an area can manage when using small pointers.
68 */
69#define DSA_NUM_SEGMENTS_AT_EACH_SIZE 2
70
71/*
72 * The maximum number of DSM segments that an area can own, determined by
73 * the number of bits remaining (but capped at 1024).
74 */
75#define DSA_MAX_SEGMENTS \
76 Min(1024, (1 << ((SIZEOF_DSA_POINTER * 8) - DSA_OFFSET_WIDTH)))
77
78/* The bitmask for extracting the offset from a dsa_pointer. */
79#define DSA_OFFSET_BITMASK (((dsa_pointer) 1 << DSA_OFFSET_WIDTH) - 1)
80
81/* Number of pages (see FPM_PAGE_SIZE) per regular superblock. */
82#define DSA_PAGES_PER_SUPERBLOCK 16
83
84/*
85 * A magic number used as a sanity check for following DSM segments belonging
86 * to a DSA area (this number will be XORed with the area handle and
87 * the segment index).
88 */
89#define DSA_SEGMENT_HEADER_MAGIC 0x0ce26608
90
91/* Build a dsa_pointer given a segment number and offset. */
92#define DSA_MAKE_POINTER(segment_number, offset) \
93 (((dsa_pointer) (segment_number) << DSA_OFFSET_WIDTH) | (offset))
94
95/* Extract the segment number from a dsa_pointer. */
96#define DSA_EXTRACT_SEGMENT_NUMBER(dp) ((dp) >> DSA_OFFSET_WIDTH)
97
98/* Extract the offset from a dsa_pointer. */
99#define DSA_EXTRACT_OFFSET(dp) ((dp) & DSA_OFFSET_BITMASK)
100
101/* The type used for index segment indexes (zero based). */
102typedef size_t dsa_segment_index;
103
104/* Sentinel value for dsa_segment_index indicating 'none' or 'end'. */
105#define DSA_SEGMENT_INDEX_NONE (~(dsa_segment_index)0)
106
107/*
108 * How many bins of segments do we have? The bins are used to categorize
109 * segments by their largest contiguous run of free pages.
110 */
111#define DSA_NUM_SEGMENT_BINS 16
112
113/*
114 * What is the lowest bin that holds segments that *might* have n contiguous
115 * free pages? There is no point in looking in segments in lower bins; they
116 * definitely can't service a request for n free pages.
117 */
118static inline size_t
120{
121 size_t bin;
122
123 if (n == 0)
124 bin = 0;
125 else
126 bin = pg_leftmost_one_pos_size_t(n) + 1;
127
128 return Min(bin, DSA_NUM_SEGMENT_BINS - 1);
129}
130
131/* Macros for access to locks. */
132#define DSA_AREA_LOCK(area) (&area->control->lock)
133#define DSA_SCLASS_LOCK(area, sclass) (&area->control->pools[sclass].lock)
134
135/*
136 * The header for an individual segment. This lives at the start of each DSM
137 * segment owned by a DSA area including the first segment (where it appears
138 * as part of the dsa_area_control struct).
139 */
140typedef struct
141{
142 /* Sanity check magic value. */
144 /* Total number of pages in this segment (excluding metadata area). */
146 /* Total size of this segment in bytes. */
147 size_t size;
148
149 /*
150 * Index of the segment that precedes this one in the same segment bin, or
151 * DSA_SEGMENT_INDEX_NONE if this is the first one.
152 */
154
155 /*
156 * Index of the segment that follows this one in the same segment bin, or
157 * DSA_SEGMENT_INDEX_NONE if this is the last one.
158 */
160 /* The index of the bin that contains this segment. */
161 size_t bin;
162
163 /*
164 * A flag raised to indicate that this segment is being returned to the
165 * operating system and has been unpinned.
166 */
167 bool freed;
169
170/*
171 * Metadata for one superblock.
172 *
173 * For most blocks, span objects are stored out-of-line; that is, the span
174 * object is not stored within the block itself. But, as an exception, for a
175 * "span of spans", the span object is stored "inline". The allocation is
176 * always exactly one page, and the dsa_area_span object is located at
177 * the beginning of that page. The size class is DSA_SCLASS_BLOCK_OF_SPANS,
178 * and the remaining fields are used just as they would be in an ordinary
179 * block. We can't allocate spans out of ordinary superblocks because
180 * creating an ordinary superblock requires us to be able to allocate a span
181 * *first*. Doing it this way avoids that circularity.
182 */
183typedef struct
184{
185 dsa_pointer pool; /* Containing pool. */
186 dsa_pointer prevspan; /* Previous span. */
187 dsa_pointer nextspan; /* Next span. */
188 dsa_pointer start; /* Starting address. */
189 size_t npages; /* Length of span in pages. */
190 uint16 size_class; /* Size class. */
191 uint16 ninitialized; /* Maximum number of objects ever allocated. */
192 uint16 nallocatable; /* Number of objects currently allocatable. */
193 uint16 firstfree; /* First object on free list. */
194 uint16 nmax; /* Maximum number of objects ever possible. */
195 uint16 fclass; /* Current fullness class. */
197
198/*
199 * Given a pointer to an object in a span, access the index of the next free
200 * object in the same span (ie in the span's freelist) as an L-value.
201 */
202#define NextFreeObjectIndex(object) (* (uint16 *) (object))
203
204/*
205 * Small allocations are handled by dividing a single block of memory into
206 * many small objects of equal size. The possible allocation sizes are
207 * defined by the following array. Larger size classes are spaced more widely
208 * than smaller size classes. We fudge the spacing for size classes >1kB to
209 * avoid space wastage: based on the knowledge that we plan to allocate 64kB
210 * blocks, we bump the maximum object size up to the largest multiple of
211 * 8 bytes that still lets us fit the same number of objects into one block.
212 *
213 * NB: Because of this fudging, if we were ever to use differently-sized blocks
214 * for small allocations, these size classes would need to be reworked to be
215 * optimal for the new size.
216 *
217 * NB: The optimal spacing for size classes, as well as the size of the blocks
218 * out of which small objects are allocated, is not a question that has one
219 * right answer. Some allocators (such as tcmalloc) use more closely-spaced
220 * size classes than we do here, while others (like aset.c) use more
221 * widely-spaced classes. Spacing the classes more closely avoids wasting
222 * memory within individual chunks, but also means a larger number of
223 * potentially-unfilled blocks.
224 */
225static const uint16 dsa_size_classes[] = {
226 sizeof(dsa_area_span), 0, /* special size classes */
227 8, 16, 24, 32, 40, 48, 56, 64, /* 8 classes separated by 8 bytes */
228 80, 96, 112, 128, /* 4 classes separated by 16 bytes */
229 160, 192, 224, 256, /* 4 classes separated by 32 bytes */
230 320, 384, 448, 512, /* 4 classes separated by 64 bytes */
231 640, 768, 896, 1024, /* 4 classes separated by 128 bytes */
232 1280, 1560, 1816, 2048, /* 4 classes separated by ~256 bytes */
233 2616, 3120, 3640, 4096, /* 4 classes separated by ~512 bytes */
234 5456, 6552, 7280, 8192 /* 4 classes separated by ~1024 bytes */
235};
236#define DSA_NUM_SIZE_CLASSES lengthof(dsa_size_classes)
237
238/* Special size classes. */
239#define DSA_SCLASS_BLOCK_OF_SPANS 0
240#define DSA_SCLASS_SPAN_LARGE 1
241
242/*
243 * The following lookup table is used to map the size of small objects
244 * (less than 1kB) onto the corresponding size class. To use this table,
245 * round the size of the object up to the next multiple of 8 bytes, and then
246 * index into this array.
247 */
248static const uint8 dsa_size_class_map[] = {
249 2, 3, 4, 5, 6, 7, 8, 9, 10, 10, 11, 11, 12, 12, 13, 13,
250 14, 14, 14, 14, 15, 15, 15, 15, 16, 16, 16, 16, 17, 17, 17, 17,
251 18, 18, 18, 18, 18, 18, 18, 18, 19, 19, 19, 19, 19, 19, 19, 19,
252 20, 20, 20, 20, 20, 20, 20, 20, 21, 21, 21, 21, 21, 21, 21, 21,
253 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22,
254 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23, 23,
255 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24, 24,
256 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25, 25
257};
258#define DSA_SIZE_CLASS_MAP_QUANTUM 8
259
260/*
261 * Superblocks are binned by how full they are. Generally, each fullness
262 * class corresponds to one quartile, but the block being used for
263 * allocations is always at the head of the list for fullness class 1,
264 * regardless of how full it really is.
265 */
266#define DSA_FULLNESS_CLASSES 4
267
268/*
269 * A dsa_area_pool represents a set of objects of a given size class.
270 *
271 * Perhaps there should be multiple pools for the same size class for
272 * contention avoidance, but for now there is just one!
273 */
274typedef struct
275{
276 /* A lock protecting access to this pool. */
278 /* A set of linked lists of spans, arranged by fullness. */
280 /* Should we pad this out to a cacheline boundary? */
282
283/*
284 * The control block for an area. This lives in shared memory, at the start of
285 * the first DSM segment controlled by this area.
286 */
287typedef struct
288{
289 /* The segment header for the first segment. */
291 /* The handle for this area. */
293 /* The handles of the segments owned by this area. */
294 dsm_handle segment_handles[DSA_MAX_SEGMENTS];
295 /* Lists of segments, binned by maximum contiguous run of free pages. */
297 /* The object pools for each size class. */
299 /* initial allocation segment size */
301 /* maximum allocation segment size */
303 /* The total size of all active segments. */
305 /* The maximum total size of backing storage we are allowed. */
307 /* Highest used segment index in the history of this area. */
309 /* The reference count for this area. */
311 /* A flag indicating that this area has been pinned. */
312 bool pinned;
313 /* The number of times that segments have been freed. */
315 /* The LWLock tranche ID. */
317 /* The general lock (protects everything except object pools). */
320
321/* Given a pointer to a pool, find a dsa_pointer. */
322#define DsaAreaPoolToDsaPointer(area, p) \
323 DSA_MAKE_POINTER(0, (char *) p - (char *) area->control)
324
325/*
326 * A dsa_segment_map is stored within the backend-private memory of each
327 * individual backend. It holds the base address of the segment within that
328 * backend, plus the addresses of key objects within the segment. Those
329 * could instead be derived from the base address but it's handy to have them
330 * around.
331 */
332typedef struct
333{
334 dsm_segment *segment; /* DSM segment */
335 char *mapped_address; /* Address at which segment is mapped */
336 dsa_segment_header *header; /* Header (same as mapped_address) */
337 FreePageManager *fpm; /* Free page manager within segment. */
338 dsa_pointer *pagemap; /* Page map within segment. */
340
341/*
342 * Per-backend state for a storage area. Backends obtain one of these by
343 * creating an area or attaching to an existing one using a handle. Each
344 * process that needs to use an area uses its own object to track where the
345 * segments are mapped.
346 */
348{
349 /* Pointer to the control object in shared memory. */
351
352 /*
353 * All the mappings are owned by this. The dsa_area itself is not
354 * directly tracked by the ResourceOwner, but the effect is the same. NULL
355 * if the attachment has session lifespan, i.e if dsa_pin_mapping() has
356 * been called.
357 */
359
360 /*
361 * This backend's array of segment maps, ordered by segment index
362 * corresponding to control->segment_handles. Some of the area's segments
363 * may not be mapped in this backend yet, and some slots may have been
364 * freed and need to be detached; these operations happen on demand.
365 */
367
368 /* The highest segment index this backend has ever mapped. */
370
371 /* The last observed freed_segment_counter. */
373};
374
375#define DSA_SPAN_NOTHING_FREE ((uint16) -1)
376#define DSA_SUPERBLOCK_SIZE (DSA_PAGES_PER_SUPERBLOCK * FPM_PAGE_SIZE)
377
378/* Given a pointer to a segment_map, obtain a segment index number. */
379#define get_segment_index(area, segment_map_ptr) \
380 (segment_map_ptr - &area->segment_maps[0])
381
382static void init_span(dsa_area *area, dsa_pointer span_pointer,
383 dsa_area_pool *pool, dsa_pointer start, size_t npages,
384 uint16 size_class);
385static bool transfer_first_span(dsa_area *area, dsa_area_pool *pool,
386 int fromclass, int toclass);
387static inline dsa_pointer alloc_object(dsa_area *area, int size_class);
388static bool ensure_active_superblock(dsa_area *area, dsa_area_pool *pool,
389 int size_class);
393static void unlink_span(dsa_area *area, dsa_area_span *span);
395 dsa_pointer span_pointer, int fclass);
397static dsa_segment_map *get_best_segment(dsa_area *area, size_t npages);
399static dsa_area *create_internal(void *place, size_t size,
400 int tranche_id,
403 size_t init_segment_size,
404 size_t max_segment_size);
405static dsa_area *attach_internal(void *place, dsm_segment *segment,
406 dsa_handle handle);
407static void check_for_freed_segments(dsa_area *area);
410
411/*
412 * Create a new shared area in a new DSM segment. Further DSM segments will
413 * be allocated as required to extend the available space.
414 *
415 * We can't allocate a LWLock tranche_id within this function, because tranche
416 * IDs are a scarce resource; there are only 64k available, using low numbers
417 * when possible matters, and we have no provision for recycling them. So,
418 * we require the caller to provide one.
419 */
420dsa_area *
421dsa_create_ext(int tranche_id, size_t init_segment_size, size_t max_segment_size)
422{
423 dsm_segment *segment;
424 dsa_area *area;
425
426 /*
427 * Create the DSM segment that will hold the shared control object and the
428 * first segment of usable space.
429 */
430 segment = dsm_create(init_segment_size, 0);
431
432 /*
433 * All segments backing this area are pinned, so that DSA can explicitly
434 * control their lifetime (otherwise a newly created segment belonging to
435 * this area might be freed when the only backend that happens to have it
436 * mapped in ends, corrupting the area).
437 */
438 dsm_pin_segment(segment);
439
440 /* Create a new DSA area with the control object in this segment. */
441 area = create_internal(dsm_segment_address(segment),
442 init_segment_size,
443 tranche_id,
444 dsm_segment_handle(segment), segment,
445 init_segment_size, max_segment_size);
446
447 /* Clean up when the control segment detaches. */
450
451 return area;
452}
453
454/*
455 * Create a new shared area in an existing shared memory space, which may be
456 * either DSM or Postmaster-initialized memory. DSM segments will be
457 * allocated as required to extend the available space, though that can be
458 * prevented with dsa_set_size_limit(area, size) using the same size provided
459 * to dsa_create_in_place.
460 *
461 * Areas created in-place must eventually be released by the backend that
462 * created them and all backends that attach to them. This can be done
463 * explicitly with dsa_release_in_place, or, in the special case that 'place'
464 * happens to be in a pre-existing DSM segment, by passing in a pointer to the
465 * segment so that a detach hook can be registered with the containing DSM
466 * segment.
467 *
468 * See dsa_create() for a note about the tranche arguments.
469 */
470dsa_area *
471dsa_create_in_place_ext(void *place, size_t size,
472 int tranche_id, dsm_segment *segment,
473 size_t init_segment_size, size_t max_segment_size)
474{
475 dsa_area *area;
476
477 area = create_internal(place, size, tranche_id,
479 init_segment_size, max_segment_size);
480
481 /*
482 * Clean up when the control segment detaches, if a containing DSM segment
483 * was provided.
484 */
485 if (segment != NULL)
487 PointerGetDatum(place));
488
489 return area;
490}
491
492/*
493 * Obtain a handle that can be passed to other processes so that they can
494 * attach to the given area. Cannot be called for areas created with
495 * dsa_create_in_place.
496 */
499{
501 return area->control->handle;
502}
503
504/*
505 * Attach to an area given a handle generated (possibly in another process) by
506 * dsa_get_handle. The area must have been created with dsa_create (not
507 * dsa_create_in_place).
508 */
509dsa_area *
511{
512 dsm_segment *segment;
513 dsa_area *area;
514
515 /*
516 * An area handle is really a DSM segment handle for the first segment, so
517 * we go ahead and attach to that.
518 */
519 segment = dsm_attach(handle);
520 if (segment == NULL)
523 errmsg("could not attach to dynamic shared area")));
524
525 area = attach_internal(dsm_segment_address(segment), segment, handle);
526
527 /* Clean up when the control segment detaches. */
530
531 return area;
532}
533
534/*
535 * Returns whether the area with the given handle was already attached by the
536 * current process. The area must have been created with dsa_create (not
537 * dsa_create_in_place).
538 */
539bool
541{
542 /*
543 * An area handle is really a DSM segment handle for the first segment, so
544 * we can just search for that.
545 */
546 return dsm_find_mapping(handle) != NULL;
547}
548
549/*
550 * Attach to an area that was created with dsa_create_in_place. The caller
551 * must somehow know the location in memory that was used when the area was
552 * created, though it may be mapped at a different virtual address in this
553 * process.
554 *
555 * See dsa_create_in_place for note about releasing in-place areas, and the
556 * optional 'segment' argument which can be provided to allow automatic
557 * release if the containing memory happens to be a DSM segment.
558 */
559dsa_area *
560dsa_attach_in_place(void *place, dsm_segment *segment)
561{
562 dsa_area *area;
563
565
566 /*
567 * Clean up when the control segment detaches, if a containing DSM segment
568 * was provided.
569 */
570 if (segment != NULL)
572 PointerGetDatum(place));
573
574 return area;
575}
576
577/*
578 * Release a DSA area that was produced by dsa_create_in_place or
579 * dsa_attach_in_place. The 'segment' argument is ignored but provides an
580 * interface suitable for on_dsm_detach, for the convenience of users who want
581 * to create a DSA segment inside an existing DSM segment and have it
582 * automatically released when the containing DSM segment is detached.
583 * 'place' should be the address of the place where the area was created.
584 *
585 * This callback is automatically registered for the DSM segment containing
586 * the control object of in-place areas when a segment is provided to
587 * dsa_create_in_place or dsa_attach_in_place, and also for all areas created
588 * with dsa_create.
589 */
590void
595
596/*
597 * Release a DSA area that was produced by dsa_create_in_place or
598 * dsa_attach_in_place. The 'code' argument is ignored but provides an
599 * interface suitable for on_shmem_exit or before_shmem_exit, for the
600 * convenience of users who want to create a DSA segment inside shared memory
601 * other than a DSM segment and have it automatically release at backend exit.
602 * 'place' should be the address of the place where the area was created.
603 */
604void
609
610/*
611 * Release a DSA area that was produced by dsa_create_in_place or
612 * dsa_attach_in_place. It is preferable to use one of the 'dsa_on_XXX'
613 * callbacks so that this is managed automatically, because failure to release
614 * an area created in-place leaks its segments permanently.
615 *
616 * This is also called automatically for areas produced by dsa_create or
617 * dsa_attach as an implementation detail.
618 */
619void
621{
622 dsa_area_control *control = (dsa_area_control *) place;
623
624 LWLockAcquire(&control->lock, LW_EXCLUSIVE);
625 Assert(control->segment_header.magic ==
626 (DSA_SEGMENT_HEADER_MAGIC ^ control->handle ^ 0));
627 Assert(control->refcnt > 0);
628 if (--control->refcnt == 0)
629 {
630 for (dsa_segment_index i = 0; i <= control->high_segment_index; ++i)
631 {
632 dsm_handle handle;
633
634 handle = control->segment_handles[i];
635 if (handle != DSM_HANDLE_INVALID)
636 dsm_unpin_segment(handle);
637 }
638 }
639 LWLockRelease(&control->lock);
640}
641
642/*
643 * Keep a DSA area attached until end of session or explicit detach.
644 *
645 * By default, areas are owned by the current resource owner, which means they
646 * are detached automatically when that scope ends.
647 */
648void
650{
651 if (area->resowner != NULL)
652 {
653 area->resowner = NULL;
654
655 for (dsa_segment_index i = 0; i <= area->high_segment_index; ++i)
656 if (area->segment_maps[i].segment != NULL)
658 }
659}
660
661/*
662 * Allocate memory in this storage area. The return value is a dsa_pointer
663 * that can be passed to other processes, and converted to a local pointer
664 * with dsa_get_address. 'flags' is a bitmap which should be constructed
665 * from the following values:
666 *
667 * DSA_ALLOC_HUGE allows allocations >= 1GB. Otherwise, such allocations
668 * will result in an ERROR.
669 *
670 * DSA_ALLOC_NO_OOM causes this function to return InvalidDsaPointer when
671 * no memory is available or a size limit established by dsa_set_size_limit
672 * would be exceeded. Otherwise, such allocations will result in an ERROR.
673 *
674 * DSA_ALLOC_ZERO causes the allocated memory to be zeroed. Otherwise, the
675 * contents of newly-allocated memory are indeterminate.
676 *
677 * These flags correspond to similarly named flags used by
678 * MemoryContextAllocExtended(). See also the macros dsa_allocate and
679 * dsa_allocate0 which expand to a call to this function with commonly used
680 * flags.
681 */
683dsa_allocate_extended(dsa_area *area, size_t size, int flags)
684{
685 uint16 size_class;
689
690 Assert(size > 0);
691
692 /* Sanity check on huge individual allocation size. */
693 if (((flags & DSA_ALLOC_HUGE) != 0 && !AllocHugeSizeIsValid(size)) ||
694 ((flags & DSA_ALLOC_HUGE) == 0 && !AllocSizeIsValid(size)))
695 elog(ERROR, "invalid DSA memory alloc request size %zu", size);
696
697 /*
698 * If bigger than the largest size class, just grab a run of pages from
699 * the free page manager, instead of allocating an object from a pool.
700 * There will still be a span, but it's a special class of span that
701 * manages this whole allocation and simply gives all pages back to the
702 * free page manager when dsa_free is called.
703 */
705 {
706 size_t npages = fpm_size_to_pages(size);
707 size_t first_page;
710
711 /* Obtain a span object. */
714 {
715 /* Raise error unless asked not to. */
716 if ((flags & DSA_ALLOC_NO_OOM) == 0)
719 errmsg("out of memory"),
720 errdetail("Failed on DSA request of size %zu.",
721 size)));
722 return InvalidDsaPointer;
723 }
724
726
727 /* Find a segment from which to allocate. */
728 segment_map = get_best_segment(area, npages);
729 if (segment_map == NULL)
730 segment_map = make_new_segment(area, npages);
731 if (segment_map == NULL)
732 {
733 /* Can't make any more segments: game over. */
735 dsa_free(area, span_pointer);
736
737 /* Raise error unless asked not to. */
738 if ((flags & DSA_ALLOC_NO_OOM) == 0)
741 errmsg("out of memory"),
742 errdetail("Failed on DSA request of size %zu.",
743 size)));
744 return InvalidDsaPointer;
745 }
746
747 /*
748 * Ask the free page manager for a run of pages. This should always
749 * succeed, since both get_best_segment and make_new_segment should
750 * only return a non-NULL pointer if it actually contains enough
751 * contiguous freespace. If it does fail, something in our backend
752 * private state is out of whack, so use FATAL to kill the process.
753 */
754 if (!FreePageManagerGet(segment_map->fpm, npages, &first_page))
755 elog(FATAL,
756 "dsa_allocate could not find %zu free pages", npages);
758
760 first_page * FPM_PAGE_SIZE);
761
762 /* Initialize span and pagemap. */
765 init_span(area, span_pointer, pool, start_pointer, npages,
767 segment_map->pagemap[first_page] = span_pointer;
769
770 /* Zero-initialize the memory if requested. */
771 if ((flags & DSA_ALLOC_ZERO) != 0)
772 memset(dsa_get_address(area, start_pointer), 0, size);
773
774 return start_pointer;
775 }
776
777 /* Map allocation to a size class. */
779 {
780 int mapidx;
781
782 /* For smaller sizes we have a lookup table... */
783 mapidx = ((size + DSA_SIZE_CLASS_MAP_QUANTUM - 1) /
785 size_class = dsa_size_class_map[mapidx];
786 }
787 else
788 {
789 uint16 min;
790 uint16 max;
791
792 /* ... and for the rest we search by binary chop. */
795
796 while (min < max)
797 {
798 uint16 mid = (min + max) / 2;
800
801 if (class_size < size)
802 min = mid + 1;
803 else
804 max = mid;
805 }
806
807 size_class = min;
808 }
809 Assert(size <= dsa_size_classes[size_class]);
810 Assert(size_class == 0 || size > dsa_size_classes[size_class - 1]);
811
812 /* Attempt to allocate an object from the appropriate pool. */
813 result = alloc_object(area, size_class);
814
815 /* Check for failure to allocate. */
817 {
818 /* Raise error unless asked not to. */
819 if ((flags & DSA_ALLOC_NO_OOM) == 0)
822 errmsg("out of memory"),
823 errdetail("Failed on DSA request of size %zu.", size)));
824 return InvalidDsaPointer;
825 }
826
827 /* Zero-initialize the memory if requested. */
828 if ((flags & DSA_ALLOC_ZERO) != 0)
829 memset(dsa_get_address(area, result), 0, size);
830
831 return result;
832}
833
834/*
835 * Free memory obtained with dsa_allocate.
836 */
837void
839{
841 int pageno;
844 char *superblock;
845 char *object;
846 size_t size;
847 int size_class;
848
849 /* Make sure we don't have a stale segment in the slot 'dp' refers to. */
851
852 /* Locate the object, span and pool. */
855 span_pointer = segment_map->pagemap[pageno];
857 superblock = dsa_get_address(area, span->start);
858 object = dsa_get_address(area, dp);
859 size_class = span->size_class;
860 size = dsa_size_classes[size_class];
861
862 /*
863 * Special case for large objects that live in a special span: we return
864 * those pages directly to the free page manager and free the span.
865 */
866 if (span->size_class == DSA_SCLASS_SPAN_LARGE)
867 {
868
869#ifdef CLOBBER_FREED_MEMORY
870 memset(object, 0x7f, span->npages * FPM_PAGE_SIZE);
871#endif
872
873 /* Give pages back to free page manager. */
877 span->npages);
878
879 /* Move segment to appropriate bin if necessary. */
882
883 /* Unlink span. */
886 unlink_span(area, span);
888 /* Free the span object so it can be reused. */
889 dsa_free(area, span_pointer);
890 return;
891 }
892
893#ifdef CLOBBER_FREED_MEMORY
894 memset(object, 0x7f, size);
895#endif
896
897 LWLockAcquire(DSA_SCLASS_LOCK(area, size_class), LW_EXCLUSIVE);
898
899 /* Put the object on the span's freelist. */
900 Assert(object >= superblock);
902 Assert((object - superblock) % size == 0);
903 NextFreeObjectIndex(object) = span->firstfree;
904 span->firstfree = (object - superblock) / size;
905 ++span->nallocatable;
906
907 /*
908 * See if the span needs to moved to a different fullness class, or be
909 * freed so its pages can be given back to the segment.
910 */
911 if (span->nallocatable == 1 && span->fclass == DSA_FULLNESS_CLASSES - 1)
912 {
913 /*
914 * The block was completely full and is located in the
915 * highest-numbered fullness class, which is never scanned for free
916 * chunks. We must move it to the next-lower fullness class.
917 */
918 unlink_span(area, span);
921
922 /*
923 * If this is the only span, and there is no active span, then we
924 * should probably move this span to fullness class 1. (Otherwise if
925 * you allocate exactly all the objects in the only span, it moves to
926 * class 3, then you free them all, it moves to 2, and then is given
927 * back, leaving no active span).
928 */
929 }
930 else if (span->nallocatable == span->nmax &&
931 (span->fclass != 1 || span->prevspan != InvalidDsaPointer))
932 {
933 /*
934 * This entire block is free, and it's not the active block for this
935 * size class. Return the memory to the free page manager. We don't
936 * do this for the active block to prevent hysteresis: if we
937 * repeatedly allocate and free the only chunk in the active block, it
938 * will be very inefficient if we deallocate and reallocate the block
939 * every time.
940 */
942 }
943
944 LWLockRelease(DSA_SCLASS_LOCK(area, size_class));
945}
946
947/*
948 * Obtain a backend-local address for a dsa_pointer. 'dp' must point to
949 * memory allocated by the given area (possibly in another process) that
950 * hasn't yet been freed. This may cause a segment to be mapped into the
951 * current process if required, and may cause freed segments to be unmapped.
952 */
953void *
955{
957 size_t offset;
958
959 /* Convert InvalidDsaPointer to NULL. */
960 if (!DsaPointerIsValid(dp))
961 return NULL;
962
963 /* Process any requests to detach from freed segments. */
965
966 /* Break the dsa_pointer into its components. */
968 offset = DSA_EXTRACT_OFFSET(dp);
970
971 /* Check if we need to cause this segment to be mapped in. */
973 {
974 /* Call for effect (we don't need the result). */
976 }
977
978 return area->segment_maps[index].mapped_address + offset;
979}
980
981/*
982 * Pin this area, so that it will continue to exist even if all backends
983 * detach from it. In that case, the area can still be reattached to if a
984 * handle has been recorded somewhere.
985 */
986void
988{
990 if (area->control->pinned)
991 {
993 elog(ERROR, "dsa_area already pinned");
994 }
995 area->control->pinned = true;
996 ++area->control->refcnt;
998}
999
1000/*
1001 * Undo the effects of dsa_pin, so that the given area can be freed when no
1002 * backends are attached to it. May be called only if dsa_pin has been
1003 * called.
1004 */
1005void
1007{
1009 Assert(area->control->refcnt > 1);
1010 if (!area->control->pinned)
1011 {
1013 elog(ERROR, "dsa_area not pinned");
1014 }
1015 area->control->pinned = false;
1016 --area->control->refcnt;
1018}
1019
1020/*
1021 * Set the total size limit for this area. This limit is checked whenever new
1022 * segments need to be allocated from the operating system. If the new size
1023 * limit is already exceeded, this has no immediate effect.
1024 *
1025 * Note that the total virtual memory usage may be temporarily larger than
1026 * this limit when segments have been freed, but not yet detached by all
1027 * backends that have attached to them.
1028 */
1029void
1030dsa_set_size_limit(dsa_area *area, size_t limit)
1031{
1033 area->control->max_total_segment_size = limit;
1035}
1036
1037/* Return the total size of all active segments */
1038size_t
1040{
1041 size_t size;
1042
1044 size = area->control->total_segment_size;
1046
1047 return size;
1048}
1049
1050/*
1051 * Same as dsa_get_total_size(), but accepts a DSA handle. The area must have
1052 * been created with dsa_create (not dsa_create_in_place).
1053 */
1054size_t
1056{
1057 size_t size;
1058 bool already_attached;
1059 dsm_segment *segment;
1060 dsa_area_control *control;
1061
1063 if (already_attached)
1064 segment = dsm_find_mapping(handle);
1065 else
1066 segment = dsm_attach(handle);
1067
1068 if (segment == NULL)
1069 ereport(ERROR,
1071 errmsg("could not attach to dynamic shared area")));
1072
1073 control = (dsa_area_control *) dsm_segment_address(segment);
1074
1075 LWLockAcquire(&control->lock, LW_SHARED);
1076 size = control->total_segment_size;
1077 LWLockRelease(&control->lock);
1078
1079 if (!already_attached)
1080 dsm_detach(segment);
1081
1082 return size;
1083}
1084
1085/*
1086 * Aggressively free all spare memory in the hope of returning DSM segments to
1087 * the operating system.
1088 */
1089void
1091{
1092 int size_class;
1093
1094 /*
1095 * Trim in reverse pool order so we get to the spans-of-spans last, just
1096 * in case any become entirely free while processing all the other pools.
1097 */
1098 for (size_class = DSA_NUM_SIZE_CLASSES - 1; size_class >= 0; --size_class)
1099 {
1100 dsa_area_pool *pool = &area->control->pools[size_class];
1102
1103 if (size_class == DSA_SCLASS_SPAN_LARGE)
1104 {
1105 /* Large object frees give back segments aggressively already. */
1106 continue;
1107 }
1108
1109 /*
1110 * Search fullness class 1 only. That is where we expect to find an
1111 * entirely empty superblock (entirely empty superblocks in other
1112 * fullness classes are returned to the free page map by dsa_free).
1113 */
1114 LWLockAcquire(DSA_SCLASS_LOCK(area, size_class), LW_EXCLUSIVE);
1115 span_pointer = pool->spans[1];
1117 {
1119 dsa_pointer next = span->nextspan;
1120
1121 if (span->nallocatable == span->nmax)
1123
1125 }
1126 LWLockRelease(DSA_SCLASS_LOCK(area, size_class));
1127 }
1128}
1129
1130/*
1131 * Print out debugging information about the internal state of the shared
1132 * memory area.
1133 */
1134void
1136{
1137 size_t i,
1138 j;
1139
1140 /*
1141 * Note: This gives an inconsistent snapshot as it acquires and releases
1142 * individual locks as it goes...
1143 */
1144
1147 fprintf(stderr, "dsa_area handle %x:\n", area->control->handle);
1148 fprintf(stderr, " max_total_segment_size: %zu\n",
1150 fprintf(stderr, " total_segment_size: %zu\n",
1152 fprintf(stderr, " refcnt: %d\n", area->control->refcnt);
1153 fprintf(stderr, " pinned: %c\n", area->control->pinned ? 't' : 'f');
1154 fprintf(stderr, " segment bins:\n");
1155 for (i = 0; i < DSA_NUM_SEGMENT_BINS; ++i)
1156 {
1158 {
1160
1161 if (i == 0)
1163 " segment bin %zu (no contiguous free pages):\n", i);
1164 else
1166 " segment bin %zu (at least %d contiguous pages free):\n",
1167 i, 1 << (i - 1));
1170 {
1172
1173 segment_map =
1175
1177 " segment index %zu, usable_pages = %zu, "
1178 "contiguous_pages = %zu, mapped at %p\n",
1180 segment_map->header->usable_pages,
1182 segment_map->mapped_address);
1183 segment_index = segment_map->header->next;
1184 }
1185 }
1186 }
1188
1189 fprintf(stderr, " pools:\n");
1190 for (i = 0; i < DSA_NUM_SIZE_CLASSES; ++i)
1191 {
1192 bool found = false;
1193
1195 for (j = 0; j < DSA_FULLNESS_CLASSES; ++j)
1196 if (DsaPointerIsValid(area->control->pools[i].spans[j]))
1197 found = true;
1198 if (found)
1199 {
1201 fprintf(stderr, " pool for blocks of span objects:\n");
1202 else if (i == DSA_SCLASS_SPAN_LARGE)
1203 fprintf(stderr, " pool for large object spans:\n");
1204 else
1206 " pool for size class %zu (object size %hu bytes):\n",
1207 i, dsa_size_classes[i]);
1208 for (j = 0; j < DSA_FULLNESS_CLASSES; ++j)
1209 {
1210 if (!DsaPointerIsValid(area->control->pools[i].spans[j]))
1211 fprintf(stderr, " fullness class %zu is empty\n", j);
1212 else
1213 {
1215
1216 fprintf(stderr, " fullness class %zu:\n", j);
1218 {
1220
1223 " span descriptor at "
1224 DSA_POINTER_FORMAT ", superblock at "
1226 ", pages = %zu, objects free = %hu/%hu\n",
1227 span_pointer, span->start, span->npages,
1228 span->nallocatable, span->nmax);
1229 span_pointer = span->nextspan;
1230 }
1231 }
1232 }
1233 }
1235 }
1236}
1237
1238/*
1239 * Return the smallest size that you can successfully provide to
1240 * dsa_create_in_place.
1241 */
1242size_t
1244{
1245 size_t size;
1246 size_t pages = 0;
1247
1248 size = MAXALIGN(sizeof(dsa_area_control)) +
1249 MAXALIGN(sizeof(FreePageManager));
1250
1251 /* Figure out how many pages we need, including the page map... */
1252 while (((size + FPM_PAGE_SIZE - 1) / FPM_PAGE_SIZE) > pages)
1253 {
1254 ++pages;
1255 size += sizeof(dsa_pointer);
1256 }
1257
1258 return pages * FPM_PAGE_SIZE;
1259}
1260
1261/*
1262 * Workhorse function for dsa_create and dsa_create_in_place.
1263 */
1264static dsa_area *
1265create_internal(void *place, size_t size,
1266 int tranche_id,
1269 size_t init_segment_size, size_t max_segment_size)
1270{
1271 dsa_area_control *control;
1272 dsa_area *area;
1274 size_t usable_pages;
1275 size_t total_pages;
1276 size_t metadata_bytes;
1277
1278 /* Check the initial and maximum block sizes */
1279 Assert(init_segment_size >= DSA_MIN_SEGMENT_SIZE);
1280 Assert(max_segment_size >= init_segment_size);
1281 Assert(max_segment_size <= DSA_MAX_SEGMENT_SIZE);
1282
1283 /* Sanity check on the space we have to work in. */
1284 if (size < dsa_minimum_size())
1285 elog(ERROR, "dsa_area space must be at least %zu, but %zu provided",
1286 dsa_minimum_size(), size);
1287
1288 /* Now figure out how much space is usable */
1289 total_pages = size / FPM_PAGE_SIZE;
1291 MAXALIGN(sizeof(dsa_area_control)) +
1292 MAXALIGN(sizeof(FreePageManager)) +
1293 total_pages * sizeof(dsa_pointer);
1294 /* Add padding up to next page boundary. */
1295 if (metadata_bytes % FPM_PAGE_SIZE != 0)
1297 Assert(metadata_bytes <= size);
1298 usable_pages = (size - metadata_bytes) / FPM_PAGE_SIZE;
1299
1300 /*
1301 * Initialize the dsa_area_control object located at the start of the
1302 * space.
1303 */
1304 control = (dsa_area_control *) place;
1305 memset(place, 0, sizeof(*control));
1306 control->segment_header.magic =
1310 control->segment_header.usable_pages = usable_pages;
1311 control->segment_header.freed = false;
1312 control->segment_header.size = size;
1313 control->handle = control_handle;
1314 control->init_segment_size = init_segment_size;
1315 control->max_segment_size = max_segment_size;
1316 control->max_total_segment_size = (size_t) -1;
1317 control->total_segment_size = size;
1318 control->segment_handles[0] = control_handle;
1319 for (int i = 0; i < DSA_NUM_SEGMENT_BINS; ++i)
1321 control->refcnt = 1;
1322 control->lwlock_tranche_id = tranche_id;
1323
1324 /*
1325 * Create the dsa_area object that this backend will use to access the
1326 * area. Other backends will need to obtain their own dsa_area object by
1327 * attaching.
1328 */
1329 area = palloc_object(dsa_area);
1330 area->control = control;
1333 area->high_segment_index = 0;
1334 area->freed_segment_counter = 0;
1335 LWLockInitialize(&control->lock, control->lwlock_tranche_id);
1336 for (size_t i = 0; i < DSA_NUM_SIZE_CLASSES; ++i)
1338 control->lwlock_tranche_id);
1339
1340 /* Set up the segment map for this process's mapping. */
1341 segment_map = &area->segment_maps[0];
1343 segment_map->mapped_address = place;
1344 segment_map->header = (dsa_segment_header *) place;
1345 segment_map->fpm = (FreePageManager *)
1346 (segment_map->mapped_address +
1347 MAXALIGN(sizeof(dsa_area_control)));
1348 segment_map->pagemap = (dsa_pointer *)
1349 (segment_map->mapped_address +
1350 MAXALIGN(sizeof(dsa_area_control)) +
1351 MAXALIGN(sizeof(FreePageManager)));
1352
1353 /* Set up the free page map. */
1354 FreePageManagerInitialize(segment_map->fpm, segment_map->mapped_address);
1355 /* There can be 0 usable pages if size is dsa_minimum_size(). */
1356
1357 if (usable_pages > 0)
1359 usable_pages);
1360
1361 /* Put this segment into the appropriate bin. */
1362 control->segment_bins[contiguous_pages_to_segment_bin(usable_pages)] = 0;
1363 segment_map->header->bin = contiguous_pages_to_segment_bin(usable_pages);
1364
1365 return area;
1366}
1367
1368/*
1369 * Workhorse function for dsa_attach and dsa_attach_in_place.
1370 */
1371static dsa_area *
1372attach_internal(void *place, dsm_segment *segment, dsa_handle handle)
1373{
1374 dsa_area_control *control;
1375 dsa_area *area;
1377
1378 control = (dsa_area_control *) place;
1379 Assert(control->handle == handle);
1380 Assert(control->segment_handles[0] == handle);
1381 Assert(control->segment_header.magic ==
1382 (DSA_SEGMENT_HEADER_MAGIC ^ handle ^ 0));
1383
1384 /* Build the backend-local area object. */
1385 area = palloc_object(dsa_area);
1386 area->control = control;
1388 memset(&area->segment_maps[0], 0,
1390 area->high_segment_index = 0;
1391
1392 /* Set up the segment map for this process's mapping. */
1393 segment_map = &area->segment_maps[0];
1394 segment_map->segment = segment; /* NULL for in-place */
1395 segment_map->mapped_address = place;
1396 segment_map->header = (dsa_segment_header *) segment_map->mapped_address;
1397 segment_map->fpm = (FreePageManager *)
1398 (segment_map->mapped_address + MAXALIGN(sizeof(dsa_area_control)));
1399 segment_map->pagemap = (dsa_pointer *)
1400 (segment_map->mapped_address + MAXALIGN(sizeof(dsa_area_control)) +
1401 MAXALIGN(sizeof(FreePageManager)));
1402
1403 /* Bump the reference count. */
1405 if (control->refcnt == 0)
1406 {
1407 /* We can't attach to a DSA area that has already been destroyed. */
1408 ereport(ERROR,
1410 errmsg("could not attach to dynamic shared area")));
1411 }
1412 ++control->refcnt;
1415
1416 return area;
1417}
1418
1419/*
1420 * Add a new span to fullness class 1 of the indicated pool.
1421 */
1422static void
1425 dsa_area_pool *pool, dsa_pointer start, size_t npages,
1426 uint16 size_class)
1427{
1429 size_t obsize = dsa_size_classes[size_class];
1430
1431 /*
1432 * The per-pool lock must be held because we manipulate the span list for
1433 * this pool.
1434 */
1435 Assert(LWLockHeldByMe(DSA_SCLASS_LOCK(area, size_class)));
1436
1437 /* Push this span onto the front of the span list for fullness class 1. */
1438 if (DsaPointerIsValid(pool->spans[1]))
1439 {
1440 dsa_area_span *head = (dsa_area_span *)
1441 dsa_get_address(area, pool->spans[1]);
1442
1443 head->prevspan = span_pointer;
1444 }
1445 span->pool = DsaAreaPoolToDsaPointer(area, pool);
1446 span->nextspan = pool->spans[1];
1447 span->prevspan = InvalidDsaPointer;
1448 pool->spans[1] = span_pointer;
1449
1450 span->start = start;
1451 span->npages = npages;
1452 span->size_class = size_class;
1453 span->ninitialized = 0;
1454 if (size_class == DSA_SCLASS_BLOCK_OF_SPANS)
1455 {
1456 /*
1457 * A block-of-spans contains its own descriptor, so mark one object as
1458 * initialized and reduce the count of allocatable objects by one.
1459 * Doing this here has the side effect of also reducing nmax by one,
1460 * which is important to make sure we free this object at the correct
1461 * time.
1462 */
1463 span->ninitialized = 1;
1464 span->nallocatable = FPM_PAGE_SIZE / obsize - 1;
1465 }
1466 else if (size_class != DSA_SCLASS_SPAN_LARGE)
1467 span->nallocatable = DSA_SUPERBLOCK_SIZE / obsize;
1468 span->firstfree = DSA_SPAN_NOTHING_FREE;
1469 span->nmax = span->nallocatable;
1470 span->fclass = 1;
1471}
1472
1473/*
1474 * Transfer the first span in one fullness class to the head of another
1475 * fullness class.
1476 */
1477static bool
1479 dsa_area_pool *pool, int fromclass, int toclass)
1480{
1483 dsa_area_span *nextspan;
1484
1485 /* Can't do it if source list is empty. */
1486 span_pointer = pool->spans[fromclass];
1488 return false;
1489
1490 /* Remove span from head of source list. */
1492 pool->spans[fromclass] = span->nextspan;
1493 if (DsaPointerIsValid(span->nextspan))
1494 {
1495 nextspan = (dsa_area_span *)
1496 dsa_get_address(area, span->nextspan);
1497 nextspan->prevspan = InvalidDsaPointer;
1498 }
1499
1500 /* Add span to head of target list. */
1501 span->nextspan = pool->spans[toclass];
1502 pool->spans[toclass] = span_pointer;
1503 if (DsaPointerIsValid(span->nextspan))
1504 {
1505 nextspan = (dsa_area_span *)
1506 dsa_get_address(area, span->nextspan);
1507 nextspan->prevspan = span_pointer;
1508 }
1509 span->fclass = toclass;
1510
1511 return true;
1512}
1513
1514/*
1515 * Allocate one object of the requested size class from the given area.
1516 */
1517static inline dsa_pointer
1518alloc_object(dsa_area *area, int size_class)
1519{
1520 dsa_area_pool *pool = &area->control->pools[size_class];
1522 dsa_pointer block;
1524 char *object;
1525 size_t size;
1526
1527 /*
1528 * Even though ensure_active_superblock can in turn call alloc_object if
1529 * it needs to allocate a new span, that's always from a different pool,
1530 * and the order of lock acquisition is always the same, so it's OK that
1531 * we hold this lock for the duration of this function.
1532 */
1533 Assert(!LWLockHeldByMe(DSA_SCLASS_LOCK(area, size_class)));
1534 LWLockAcquire(DSA_SCLASS_LOCK(area, size_class), LW_EXCLUSIVE);
1535
1536 /*
1537 * If there's no active superblock, we must successfully obtain one or
1538 * fail the request.
1539 */
1540 if (!DsaPointerIsValid(pool->spans[1]) &&
1541 !ensure_active_superblock(area, pool, size_class))
1542 {
1544 }
1545 else
1546 {
1547 /*
1548 * There should be a block in fullness class 1 at this point, and it
1549 * should never be completely full. Thus we can either pop an object
1550 * from the free list or, failing that, initialize a new object.
1551 */
1552 Assert(DsaPointerIsValid(pool->spans[1]));
1553 span = (dsa_area_span *)
1554 dsa_get_address(area, pool->spans[1]);
1555 Assert(span->nallocatable > 0);
1556 block = span->start;
1557 Assert(size_class < DSA_NUM_SIZE_CLASSES);
1558 size = dsa_size_classes[size_class];
1559 if (span->firstfree != DSA_SPAN_NOTHING_FREE)
1560 {
1561 result = block + span->firstfree * size;
1562 object = dsa_get_address(area, result);
1563 span->firstfree = NextFreeObjectIndex(object);
1564 }
1565 else
1566 {
1567 result = block + span->ninitialized * size;
1568 ++span->ninitialized;
1569 }
1570 --span->nallocatable;
1571
1572 /* If it's now full, move it to the highest-numbered fullness class. */
1573 if (span->nallocatable == 0)
1574 transfer_first_span(area, pool, 1, DSA_FULLNESS_CLASSES - 1);
1575 }
1576
1577 Assert(LWLockHeldByMe(DSA_SCLASS_LOCK(area, size_class)));
1578 LWLockRelease(DSA_SCLASS_LOCK(area, size_class));
1579
1580 return result;
1581}
1582
1583/*
1584 * Ensure an active (i.e. fullness class 1) superblock, unless all existing
1585 * superblocks are completely full and no more can be allocated.
1586 *
1587 * Fullness classes K of 0..N are loosely intended to represent blocks whose
1588 * utilization percentage is at least K/N, but we only enforce this rigorously
1589 * for the highest-numbered fullness class, which always contains exactly
1590 * those blocks that are completely full. It's otherwise acceptable for a
1591 * block to be in a higher-numbered fullness class than the one to which it
1592 * logically belongs. In addition, the active block, which is always the
1593 * first block in fullness class 1, is permitted to have a higher allocation
1594 * percentage than would normally be allowable for that fullness class; we
1595 * don't move it until it's completely full, and then it goes to the
1596 * highest-numbered fullness class.
1597 *
1598 * It might seem odd that the active block is the head of fullness class 1
1599 * rather than fullness class 0, but experience with other allocators has
1600 * shown that it's usually better to allocate from a block that's moderately
1601 * full rather than one that's nearly empty. Insofar as is reasonably
1602 * possible, we want to avoid performing new allocations in a block that would
1603 * otherwise become empty soon.
1604 */
1605static bool
1607 int size_class)
1608{
1611 size_t obsize = dsa_size_classes[size_class];
1612 size_t nmax;
1613 int fclass;
1614 size_t npages = 1;
1615 size_t first_page;
1616 size_t i;
1618
1619 Assert(LWLockHeldByMe(DSA_SCLASS_LOCK(area, size_class)));
1620
1621 /*
1622 * Compute the number of objects that will fit in a block of this size
1623 * class. Span-of-spans blocks are just a single page, and the first
1624 * object isn't available for use because it describes the block-of-spans
1625 * itself.
1626 */
1627 if (size_class == DSA_SCLASS_BLOCK_OF_SPANS)
1628 nmax = FPM_PAGE_SIZE / obsize - 1;
1629 else
1630 nmax = DSA_SUPERBLOCK_SIZE / obsize;
1631
1632 /*
1633 * If fullness class 1 is empty, try to find a span to put in it by
1634 * scanning higher-numbered fullness classes (excluding the last one,
1635 * whose blocks are certain to all be completely full).
1636 */
1637 for (fclass = 2; fclass < DSA_FULLNESS_CLASSES - 1; ++fclass)
1638 {
1639 span_pointer = pool->spans[fclass];
1640
1642 {
1643 int tfclass;
1645 dsa_area_span *nextspan;
1646 dsa_area_span *prevspan;
1648
1649 span = (dsa_area_span *)
1652
1653 /* Figure out what fullness class should contain this span. */
1654 tfclass = (nmax - span->nallocatable)
1655 * (DSA_FULLNESS_CLASSES - 1) / nmax;
1656
1657 /* Look up next span. */
1658 if (DsaPointerIsValid(span->nextspan))
1659 nextspan = (dsa_area_span *)
1660 dsa_get_address(area, span->nextspan);
1661 else
1662 nextspan = NULL;
1663
1664 /*
1665 * If utilization has dropped enough that this now belongs in some
1666 * other fullness class, move it there.
1667 */
1668 if (tfclass < fclass)
1669 {
1670 /* Remove from the current fullness class list. */
1671 if (pool->spans[fclass] == span_pointer)
1672 {
1673 /* It was the head; remove it. */
1674 Assert(!DsaPointerIsValid(span->prevspan));
1675 pool->spans[fclass] = span->nextspan;
1676 if (nextspan != NULL)
1677 nextspan->prevspan = InvalidDsaPointer;
1678 }
1679 else
1680 {
1681 /* It was not the head. */
1682 Assert(DsaPointerIsValid(span->prevspan));
1683 prevspan = (dsa_area_span *)
1684 dsa_get_address(area, span->prevspan);
1685 prevspan->nextspan = span->nextspan;
1686 }
1687 if (nextspan != NULL)
1688 nextspan->prevspan = span->prevspan;
1689
1690 /* Push onto the head of the new fullness class list. */
1691 span->nextspan = pool->spans[tfclass];
1692 pool->spans[tfclass] = span_pointer;
1693 span->prevspan = InvalidDsaPointer;
1694 if (DsaPointerIsValid(span->nextspan))
1695 {
1696 nextspan = (dsa_area_span *)
1697 dsa_get_address(area, span->nextspan);
1698 nextspan->prevspan = span_pointer;
1699 }
1700 span->fclass = tfclass;
1701 }
1702
1703 /* Advance to next span on list. */
1705 }
1706
1707 /* Stop now if we found a suitable block. */
1708 if (DsaPointerIsValid(pool->spans[1]))
1709 return true;
1710 }
1711
1712 /*
1713 * If there are no blocks that properly belong in fullness class 1, pick
1714 * one from some other fullness class and move it there anyway, so that we
1715 * have an allocation target. Our last choice is to transfer a block
1716 * that's almost empty (and might become completely empty soon if left
1717 * alone), but even that is better than failing, which is what we must do
1718 * if there are no blocks at all with freespace.
1719 */
1720 Assert(!DsaPointerIsValid(pool->spans[1]));
1721 for (fclass = 2; fclass < DSA_FULLNESS_CLASSES - 1; ++fclass)
1722 if (transfer_first_span(area, pool, fclass, 1))
1723 return true;
1724 if (!DsaPointerIsValid(pool->spans[1]) &&
1725 transfer_first_span(area, pool, 0, 1))
1726 return true;
1727
1728 /*
1729 * We failed to find an existing span with free objects, so we need to
1730 * allocate a new superblock and construct a new span to manage it.
1731 *
1732 * First, get a dsa_area_span object to describe the new superblock block
1733 * ... unless this allocation is for a dsa_area_span object, in which case
1734 * that's surely not going to work. We handle that case by storing the
1735 * span describing a block-of-spans inline.
1736 */
1737 if (size_class != DSA_SCLASS_BLOCK_OF_SPANS)
1738 {
1741 return false;
1742 npages = DSA_PAGES_PER_SUPERBLOCK;
1743 }
1744
1745 /* Find or create a segment and allocate the superblock. */
1747 segment_map = get_best_segment(area, npages);
1748 if (segment_map == NULL)
1749 {
1750 segment_map = make_new_segment(area, npages);
1751 if (segment_map == NULL)
1752 {
1754 return false;
1755 }
1756 }
1757
1758 /*
1759 * This shouldn't happen: get_best_segment() or make_new_segment()
1760 * promised that we can successfully allocate npages.
1761 */
1762 if (!FreePageManagerGet(segment_map->fpm, npages, &first_page))
1763 elog(FATAL,
1764 "dsa_allocate could not find %zu free pages for superblock",
1765 npages);
1767
1768 /* Compute the start of the superblock. */
1771 first_page * FPM_PAGE_SIZE);
1772
1773 /*
1774 * If this is a block-of-spans, carve the descriptor right out of the
1775 * allocated space.
1776 */
1777 if (size_class == DSA_SCLASS_BLOCK_OF_SPANS)
1778 {
1779 /*
1780 * We have a pointer into the segment. We need to build a dsa_pointer
1781 * from the segment index and offset into the segment.
1782 */
1784 }
1785
1786 /* Initialize span and pagemap. */
1787 init_span(area, span_pointer, pool, start_pointer, npages, size_class);
1788 for (i = 0; i < npages; ++i)
1789 segment_map->pagemap[first_page + i] = span_pointer;
1790
1791 return true;
1792}
1793
1794/*
1795 * Return the segment map corresponding to a given segment index, mapping the
1796 * segment in if necessary. For internal segment book-keeping, this is called
1797 * with the area lock held. It is also called by dsa_free and dsa_get_address
1798 * without any locking, relying on the fact they have a known live segment
1799 * index and they always call check_for_freed_segments to ensures that any
1800 * freed segment occupying the same slot is detached first.
1801 */
1802static dsa_segment_map *
1804{
1806 {
1807 dsm_handle handle;
1808 dsm_segment *segment;
1810 ResourceOwner oldowner;
1811
1812 /*
1813 * If we are reached by dsa_free or dsa_get_address, there must be at
1814 * least one object allocated in the referenced segment. Otherwise,
1815 * their caller has a double-free or access-after-free bug, which we
1816 * have no hope of detecting. So we know it's safe to access this
1817 * array slot without holding a lock; it won't change underneath us.
1818 * Furthermore, we know that we can see the latest contents of the
1819 * slot, as explained in check_for_freed_segments, which those
1820 * functions call before arriving here.
1821 */
1822 handle = area->control->segment_handles[index];
1823
1824 /* It's an error to try to access an unused slot. */
1825 if (handle == DSM_HANDLE_INVALID)
1826 elog(ERROR,
1827 "dsa_area could not attach to a segment that has been freed");
1828
1829 oldowner = CurrentResourceOwner;
1831 segment = dsm_attach(handle);
1832 CurrentResourceOwner = oldowner;
1833 if (segment == NULL)
1834 elog(ERROR, "dsa_area could not attach to segment");
1835 segment_map = &area->segment_maps[index];
1836 segment_map->segment = segment;
1838 segment_map->header =
1839 (dsa_segment_header *) segment_map->mapped_address;
1840 segment_map->fpm = (FreePageManager *)
1841 (segment_map->mapped_address +
1842 MAXALIGN(sizeof(dsa_segment_header)));
1843 segment_map->pagemap = (dsa_pointer *)
1844 (segment_map->mapped_address +
1845 MAXALIGN(sizeof(dsa_segment_header)) +
1846 MAXALIGN(sizeof(FreePageManager)));
1847
1848 /* Remember the highest index this backend has ever mapped. */
1849 if (area->high_segment_index < index)
1850 area->high_segment_index = index;
1851
1852 Assert(segment_map->header->magic ==
1854 }
1855
1856 /*
1857 * Callers of dsa_get_address() and dsa_free() don't hold the area lock,
1858 * but it's a bug in the calling code and undefined behavior if the
1859 * address is not live (ie if the segment might possibly have been freed,
1860 * they're trying to use a dangling pointer).
1861 *
1862 * For dsa.c code that holds the area lock to manipulate segment_bins
1863 * lists, it would be a bug if we ever reach a freed segment here. After
1864 * it's marked as freed, the only thing any backend should do with it is
1865 * unmap it, and it should always have done that in
1866 * check_for_freed_segments_locked() before arriving here to resolve an
1867 * index to a segment_map.
1868 *
1869 * Either way we can assert that we aren't returning a freed segment.
1870 */
1872
1873 return &area->segment_maps[index];
1874}
1875
1876/*
1877 * Return a superblock to the free page manager. If the underlying segment
1878 * has become entirely free, then return it to the operating system.
1879 *
1880 * The appropriate pool lock must be held.
1881 */
1882static void
1884{
1886 int size_class = span->size_class;
1888
1889
1890 /* Remove it from its fullness class list. */
1891 unlink_span(area, span);
1892
1893 /*
1894 * Note: Here we acquire the area lock while we already hold a per-pool
1895 * lock. We never hold the area lock and then take a pool lock, or we
1896 * could deadlock.
1897 */
1900 segment_map =
1904 span->npages);
1905 /* Check if the segment is now entirely free. */
1906 if (fpm_largest(segment_map->fpm) == segment_map->header->usable_pages)
1907 {
1909
1910 /* If it's not the segment with extra control data, free it. */
1911 if (index != 0)
1912 {
1913 /*
1914 * Give it back to the OS, and allow other backends to detect that
1915 * they need to detach.
1916 */
1918 segment_map->header->freed = true;
1920 segment_map->header->size);
1921 area->control->total_segment_size -=
1922 segment_map->header->size;
1924 dsm_detach(segment_map->segment);
1927 segment_map->segment = NULL;
1928 segment_map->header = NULL;
1929 segment_map->mapped_address = NULL;
1930 }
1931 }
1932
1933 /* Move segment to appropriate bin if necessary. */
1934 if (segment_map->header != NULL)
1936
1938
1939 /*
1940 * Span-of-spans blocks store the span which describes them within the
1941 * block itself, so freeing the storage implicitly frees the descriptor
1942 * also. If this is a block of any other type, we need to separately free
1943 * the span object also. This recursive call to dsa_free will acquire the
1944 * span pool's lock. We can't deadlock because the acquisition order is
1945 * always some other pool and then the span pool.
1946 */
1947 if (size_class != DSA_SCLASS_BLOCK_OF_SPANS)
1948 dsa_free(area, span_pointer);
1949}
1950
1951static void
1953{
1954 if (DsaPointerIsValid(span->nextspan))
1955 {
1956 dsa_area_span *next = dsa_get_address(area, span->nextspan);
1957
1958 next->prevspan = span->prevspan;
1959 }
1960 if (DsaPointerIsValid(span->prevspan))
1961 {
1962 dsa_area_span *prev = dsa_get_address(area, span->prevspan);
1963
1964 prev->nextspan = span->nextspan;
1965 }
1966 else
1967 {
1968 dsa_area_pool *pool = dsa_get_address(area, span->pool);
1969
1970 pool->spans[span->fclass] = span->nextspan;
1971 }
1972}
1973
1974static void
1977 int fclass)
1978{
1979 dsa_area_pool *pool = dsa_get_address(area, span->pool);
1980
1981 if (DsaPointerIsValid(pool->spans[fclass]))
1982 {
1983 dsa_area_span *head = dsa_get_address(area,
1984 pool->spans[fclass]);
1985
1986 head->prevspan = span_pointer;
1987 }
1988 span->prevspan = InvalidDsaPointer;
1989 span->nextspan = pool->spans[fclass];
1990 pool->spans[fclass] = span_pointer;
1991 span->fclass = fclass;
1992}
1993
1994/*
1995 * Detach from an area that was either created or attached to by this process.
1996 */
1997void
1999{
2000 /* Detach from all segments. */
2001 for (dsa_segment_index i = 0; i <= area->high_segment_index; ++i)
2002 if (area->segment_maps[i].segment != NULL)
2004
2005 /*
2006 * Note that 'detaching' (= detaching from DSM segments) doesn't include
2007 * 'releasing' (= adjusting the reference count). It would be nice to
2008 * combine these operations, but client code might never get around to
2009 * calling dsa_detach because of an error path, and a detach hook on any
2010 * particular segment is too late to detach other segments in the area
2011 * without risking a 'leak' warning in the non-error path.
2012 */
2013
2014 /* Free the backend-local area object. */
2015 pfree(area);
2016}
2017
2018/*
2019 * Unlink a segment from the bin that contains it.
2020 */
2021static void
2023{
2024 if (segment_map->header->prev != DSA_SEGMENT_INDEX_NONE)
2025 {
2026 dsa_segment_map *prev;
2027
2028 prev = get_segment_by_index(area, segment_map->header->prev);
2029 prev->header->next = segment_map->header->next;
2030 }
2031 else
2032 {
2033 Assert(area->control->segment_bins[segment_map->header->bin] ==
2035 area->control->segment_bins[segment_map->header->bin] =
2036 segment_map->header->next;
2037 }
2038 if (segment_map->header->next != DSA_SEGMENT_INDEX_NONE)
2039 {
2041
2042 next = get_segment_by_index(area, segment_map->header->next);
2043 next->header->prev = segment_map->header->prev;
2044 }
2045}
2046
2047/*
2048 * Find a segment that could satisfy a request for 'npages' of contiguous
2049 * memory, or return NULL if none can be found. This may involve attaching to
2050 * segments that weren't previously attached so that we can query their free
2051 * pages map.
2052 */
2053static dsa_segment_map *
2054get_best_segment(dsa_area *area, size_t npages)
2055{
2056 size_t bin;
2057
2060
2061 /*
2062 * Start searching from the first bin that *might* have enough contiguous
2063 * pages.
2064 */
2065 for (bin = contiguous_pages_to_segment_bin(npages);
2067 ++bin)
2068 {
2069 /*
2070 * The minimum contiguous size that any segment in this bin should
2071 * have. We'll re-bin if we see segments with fewer.
2072 */
2073 size_t threshold = (size_t) 1 << (bin - 1);
2075
2076 /* Search this bin for a segment with enough contiguous space. */
2077 segment_index = area->control->segment_bins[bin];
2079 {
2082 size_t contiguous_pages;
2083
2085 next_segment_index = segment_map->header->next;
2086 contiguous_pages = fpm_largest(segment_map->fpm);
2087
2088 /* Not enough for the request, still enough for this bin. */
2089 if (contiguous_pages >= threshold && contiguous_pages < npages)
2090 {
2092 continue;
2093 }
2094
2095 /* Re-bin it if it's no longer in the appropriate bin. */
2096 if (contiguous_pages < threshold)
2097 {
2099
2100 /*
2101 * But fall through to see if it's enough to satisfy this
2102 * request anyway....
2103 */
2104 }
2105
2106 /* Check if we are done. */
2107 if (contiguous_pages >= npages)
2108 return segment_map;
2109
2110 /* Continue searching the same bin. */
2112 }
2113 }
2114
2115 /* Not found. */
2116 return NULL;
2117}
2118
2119/*
2120 * Create a new segment that can handle at least requested_pages. Returns
2121 * NULL if the requested total size limit or maximum allowed number of
2122 * segments would be exceeded.
2123 */
2124static dsa_segment_map *
2126{
2127 dsa_segment_index new_index;
2128 size_t metadata_bytes;
2129 size_t total_size;
2130 size_t total_pages;
2131 size_t usable_pages;
2133 dsm_segment *segment;
2134 ResourceOwner oldowner;
2135
2137
2138 /* Find a segment slot that is not in use (linearly for now). */
2139 for (new_index = 1; new_index < DSA_MAX_SEGMENTS; ++new_index)
2140 {
2141 if (area->control->segment_handles[new_index] == DSM_HANDLE_INVALID)
2142 break;
2143 }
2144 if (new_index == DSA_MAX_SEGMENTS)
2145 return NULL;
2146
2147 /*
2148 * If the total size limit is already exceeded, then we exit early and
2149 * avoid arithmetic wraparound in the unsigned expressions below.
2150 */
2151 if (area->control->total_segment_size >=
2153 return NULL;
2154
2155 /*
2156 * The size should be at least as big as requested, and at least big
2157 * enough to follow a geometric series that approximately doubles the
2158 * total storage each time we create a new segment. We use geometric
2159 * growth because the underlying DSM system isn't designed for large
2160 * numbers of segments (otherwise we might even consider just using one
2161 * DSM segment for each large allocation and for each superblock, and then
2162 * we wouldn't need to use FreePageManager).
2163 *
2164 * We decide on a total segment size first, so that we produce tidy
2165 * power-of-two sized segments. This is a good property to have if we
2166 * move to huge pages in the future. Then we work back to the number of
2167 * pages we can fit.
2168 */
2170 ((size_t) 1 << (new_index / DSA_NUM_SEGMENTS_AT_EACH_SIZE));
2175
2178 MAXALIGN(sizeof(dsa_segment_header)) +
2179 MAXALIGN(sizeof(FreePageManager)) +
2180 sizeof(dsa_pointer) * total_pages;
2181
2182 /* Add padding up to next page boundary. */
2183 if (metadata_bytes % FPM_PAGE_SIZE != 0)
2186 return NULL;
2187 usable_pages = (total_size - metadata_bytes) / FPM_PAGE_SIZE;
2188 Assert(metadata_bytes + usable_pages * FPM_PAGE_SIZE <= total_size);
2189
2190 /* See if that is enough... */
2191 if (requested_pages > usable_pages)
2192 {
2194
2195 /*
2196 * We'll make an odd-sized segment, working forward from the requested
2197 * number of pages.
2198 */
2199 usable_pages = requested_pages;
2201 MAXALIGN(sizeof(dsa_segment_header)) +
2202 MAXALIGN(sizeof(FreePageManager)) +
2203 usable_pages * sizeof(dsa_pointer);
2204
2205 /*
2206 * We must also account for pagemap entries needed to cover the
2207 * metadata pages themselves. The pagemap must track all pages in the
2208 * segment, including the pages occupied by metadata.
2209 *
2210 * This formula uses integer ceiling division to compute the exact
2211 * number of additional entries needed. The divisor (FPM_PAGE_SIZE -
2212 * sizeof(dsa_pointer)) accounts for the fact that each metadata page
2213 * consumes one pagemap entry of sizeof(dsa_pointer) bytes, leaving
2214 * only (FPM_PAGE_SIZE - sizeof(dsa_pointer)) net bytes per metadata
2215 * page.
2216 */
2218 ((metadata_bytes + (FPM_PAGE_SIZE - sizeof(dsa_pointer)) - 1) /
2219 (FPM_PAGE_SIZE - sizeof(dsa_pointer))) *
2220 sizeof(dsa_pointer);
2221
2222 /* Add padding up to next page boundary. */
2223 if (metadata_bytes % FPM_PAGE_SIZE != 0)
2225 total_size = metadata_bytes + usable_pages * FPM_PAGE_SIZE;
2227
2228 /*
2229 * Verify that we allocated enough pagemap entries for metadata and
2230 * usable pages. This reverse-engineers the new calculation of
2231 * "metadata_bytes" done based on the new "requested_pages" for an
2232 * odd-sized segment.
2233 */
2236
2237 /* Is that too large for dsa_pointer's addressing scheme? */
2239 return NULL;
2240
2241 /* Would that exceed the limit? */
2244 return NULL;
2245 }
2246
2247 /* Create the segment. */
2248 oldowner = CurrentResourceOwner;
2250 segment = dsm_create(total_size, 0);
2251 CurrentResourceOwner = oldowner;
2252 if (segment == NULL)
2253 return NULL;
2254 dsm_pin_segment(segment);
2255
2256 /* Store the handle in shared memory to be found by index. */
2257 area->control->segment_handles[new_index] =
2258 dsm_segment_handle(segment);
2259 /* Track the highest segment index in the history of the area. */
2260 if (area->control->high_segment_index < new_index)
2261 area->control->high_segment_index = new_index;
2262 /* Track the highest segment index this backend has ever mapped. */
2263 if (area->high_segment_index < new_index)
2264 area->high_segment_index = new_index;
2265 /* Track total size of all segments. */
2269
2270 /* Build a segment map for this segment in this backend. */
2271 segment_map = &area->segment_maps[new_index];
2272 segment_map->segment = segment;
2274 segment_map->header = (dsa_segment_header *) segment_map->mapped_address;
2275 segment_map->fpm = (FreePageManager *)
2276 (segment_map->mapped_address +
2277 MAXALIGN(sizeof(dsa_segment_header)));
2278 segment_map->pagemap = (dsa_pointer *)
2279 (segment_map->mapped_address +
2280 MAXALIGN(sizeof(dsa_segment_header)) +
2281 MAXALIGN(sizeof(FreePageManager)));
2282
2283 /* Set up the free page map. */
2284 FreePageManagerInitialize(segment_map->fpm, segment_map->mapped_address);
2286 usable_pages);
2287
2288 /* Set up the segment header and put it in the appropriate bin. */
2289 segment_map->header->magic =
2290 DSA_SEGMENT_HEADER_MAGIC ^ area->control->handle ^ new_index;
2291 segment_map->header->usable_pages = usable_pages;
2292 segment_map->header->size = total_size;
2293 segment_map->header->bin = contiguous_pages_to_segment_bin(usable_pages);
2294 segment_map->header->prev = DSA_SEGMENT_INDEX_NONE;
2295 segment_map->header->next =
2296 area->control->segment_bins[segment_map->header->bin];
2297 segment_map->header->freed = false;
2298 area->control->segment_bins[segment_map->header->bin] = new_index;
2299 if (segment_map->header->next != DSA_SEGMENT_INDEX_NONE)
2300 {
2302 get_segment_by_index(area, segment_map->header->next);
2303
2304 Assert(next->header->bin == segment_map->header->bin);
2305 next->header->prev = new_index;
2306 }
2307
2308 return segment_map;
2309}
2310
2311/*
2312 * Check if any segments have been freed by destroy_superblock, so we can
2313 * detach from them in this backend. This function is called by
2314 * dsa_get_address and dsa_free to make sure that a dsa_pointer they have
2315 * received can be resolved to the correct segment.
2316 *
2317 * The danger we want to defend against is that there could be an old segment
2318 * mapped into a given slot in this backend, and the dsa_pointer they have
2319 * might refer to some new segment in the same slot. So those functions must
2320 * be sure to process all instructions to detach from a freed segment that had
2321 * been generated by the time this process received the dsa_pointer, before
2322 * they call get_segment_by_index.
2323 */
2324static void
2326{
2327 size_t freed_segment_counter;
2328
2329 /*
2330 * Any other process that has freed a segment has incremented
2331 * freed_segment_counter while holding an LWLock, and that must precede
2332 * any backend creating a new segment in the same slot while holding an
2333 * LWLock, and that must precede the creation of any dsa_pointer pointing
2334 * into the new segment which might reach us here, and the caller must
2335 * have sent the dsa_pointer to this process using appropriate memory
2336 * synchronization (some kind of locking or atomic primitive or system
2337 * call). So all we need to do on the reading side is ask for the load of
2338 * freed_segment_counter to follow the caller's load of the dsa_pointer it
2339 * has, and we can be sure to detect any segments that had been freed as
2340 * of the time that the dsa_pointer reached this process.
2341 */
2343 freed_segment_counter = area->control->freed_segment_counter;
2344 if (unlikely(area->freed_segment_counter != freed_segment_counter))
2345 {
2346 /* Check all currently mapped segments to find what's been freed. */
2350 }
2351}
2352
2353/*
2354 * Workhorse for check_for_freed_segments(), and also used directly in path
2355 * where the area lock is already held. This should be called after acquiring
2356 * the lock but before looking up any segment by index number, to make sure we
2357 * unmap any stale segments that might have previously had the same index as a
2358 * current segment.
2359 */
2360static void
2362{
2363 size_t freed_segment_counter;
2364
2366 freed_segment_counter = area->control->freed_segment_counter;
2367 if (unlikely(area->freed_segment_counter != freed_segment_counter))
2368 {
2369 for (dsa_segment_index i = 0; i <= area->high_segment_index; ++i)
2370 {
2371 if (area->segment_maps[i].header != NULL &&
2372 area->segment_maps[i].header->freed)
2373 {
2375 area->segment_maps[i].segment = NULL;
2376 area->segment_maps[i].header = NULL;
2378 }
2379 }
2380 area->freed_segment_counter = freed_segment_counter;
2381 }
2382}
2383
2384/*
2385 * Re-bin segment if it's no longer in the appropriate bin.
2386 */
2387static void
2389{
2390 size_t new_bin;
2392
2394 if (segment_map->header->bin == new_bin)
2395 return;
2396
2397 /* Remove it from its current bin. */
2399
2400 /* Push it onto the front of its new bin. */
2402 segment_map->header->prev = DSA_SEGMENT_INDEX_NONE;
2403 segment_map->header->next = area->control->segment_bins[new_bin];
2404 segment_map->header->bin = new_bin;
2406 if (segment_map->header->next != DSA_SEGMENT_INDEX_NONE)
2407 {
2409
2410 next = get_segment_by_index(area, segment_map->header->next);
2411 Assert(next->header->bin == new_bin);
2412 next->header->prev = segment_index;
2413 }
2414}
#define pg_read_barrier()
Definition atomics.h:154
static int32 next
Definition blutils.c:225
#define Min(x, y)
Definition c.h:1131
#define MAXALIGN(LEN)
Definition c.h:955
uint8_t uint8
Definition c.h:681
#define PG_USED_FOR_ASSERTS_ONLY
Definition c.h:308
#define Assert(condition)
Definition c.h:1002
uint16_t uint16
Definition c.h:682
#define unlikely(x)
Definition c.h:497
uint32_t uint32
Definition c.h:683
#define lengthof(array)
Definition c.h:932
uint32 result
#define fprintf(file, fmt, msg)
Definition cubescan.l:21
static void unlink_segment(dsa_area *area, dsa_segment_map *segment_map)
Definition dsa.c:2022
static void check_for_freed_segments(dsa_area *area)
Definition dsa.c:2325
static const uint16 dsa_size_classes[]
Definition dsa.c:225
#define DSA_EXTRACT_SEGMENT_NUMBER(dp)
Definition dsa.c:96
#define DSA_AREA_LOCK(area)
Definition dsa.c:132
#define DSA_NUM_SEGMENTS_AT_EACH_SIZE
Definition dsa.c:69
static void add_span_to_fullness_class(dsa_area *area, dsa_area_span *span, dsa_pointer span_pointer, int fclass)
Definition dsa.c:1975
static bool ensure_active_superblock(dsa_area *area, dsa_area_pool *pool, int size_class)
Definition dsa.c:1606
#define DSA_SEGMENT_INDEX_NONE
Definition dsa.c:105
static dsa_area * create_internal(void *place, size_t size, int tranche_id, dsm_handle control_handle, dsm_segment *control_segment, size_t init_segment_size, size_t max_segment_size)
Definition dsa.c:1265
dsa_area * dsa_attach(dsa_handle handle)
Definition dsa.c:510
#define DSA_SEGMENT_HEADER_MAGIC
Definition dsa.c:89
void dsa_trim(dsa_area *area)
Definition dsa.c:1090
#define DSA_SPAN_NOTHING_FREE
Definition dsa.c:375
#define DSA_MAKE_POINTER(segment_number, offset)
Definition dsa.c:92
dsa_area * dsa_create_in_place_ext(void *place, size_t size, int tranche_id, dsm_segment *segment, size_t init_segment_size, size_t max_segment_size)
Definition dsa.c:471
#define get_segment_index(area, segment_map_ptr)
Definition dsa.c:379
dsa_area * dsa_attach_in_place(void *place, dsm_segment *segment)
Definition dsa.c:560
void * dsa_get_address(dsa_area *area, dsa_pointer dp)
Definition dsa.c:954
void dsa_on_shmem_exit_release_in_place(int code, Datum place)
Definition dsa.c:605
void dsa_on_dsm_detach_release_in_place(dsm_segment *segment, Datum place)
Definition dsa.c:591
static dsa_pointer alloc_object(dsa_area *area, int size_class)
Definition dsa.c:1518
#define DSA_PAGES_PER_SUPERBLOCK
Definition dsa.c:82
#define DSA_SIZE_CLASS_MAP_QUANTUM
Definition dsa.c:258
static size_t contiguous_pages_to_segment_bin(size_t n)
Definition dsa.c:119
static const uint8 dsa_size_class_map[]
Definition dsa.c:248
dsa_pointer dsa_allocate_extended(dsa_area *area, size_t size, int flags)
Definition dsa.c:683
static dsa_segment_map * make_new_segment(dsa_area *area, size_t requested_pages)
Definition dsa.c:2125
size_t dsa_get_total_size(dsa_area *area)
Definition dsa.c:1039
#define DSA_SUPERBLOCK_SIZE
Definition dsa.c:376
#define DsaAreaPoolToDsaPointer(area, p)
Definition dsa.c:322
size_t dsa_get_total_size_from_handle(dsa_handle handle)
Definition dsa.c:1055
static void check_for_freed_segments_locked(dsa_area *area)
Definition dsa.c:2361
#define DSA_EXTRACT_OFFSET(dp)
Definition dsa.c:99
dsa_area * dsa_create_ext(int tranche_id, size_t init_segment_size, size_t max_segment_size)
Definition dsa.c:421
static void destroy_superblock(dsa_area *area, dsa_pointer span_pointer)
Definition dsa.c:1883
#define DSA_MAX_SEGMENTS
Definition dsa.c:75
size_t dsa_segment_index
Definition dsa.c:102
static void rebin_segment(dsa_area *area, dsa_segment_map *segment_map)
Definition dsa.c:2388
#define DSA_SCLASS_LOCK(area, sclass)
Definition dsa.c:133
void dsa_release_in_place(void *place)
Definition dsa.c:620
static dsa_segment_map * get_segment_by_index(dsa_area *area, dsa_segment_index index)
Definition dsa.c:1803
void dsa_set_size_limit(dsa_area *area, size_t limit)
Definition dsa.c:1030
#define DSA_SCLASS_BLOCK_OF_SPANS
Definition dsa.c:239
static bool transfer_first_span(dsa_area *area, dsa_area_pool *pool, int fromclass, int toclass)
Definition dsa.c:1478
static void unlink_span(dsa_area *area, dsa_area_span *span)
Definition dsa.c:1952
#define DSA_SCLASS_SPAN_LARGE
Definition dsa.c:240
#define DSA_NUM_SIZE_CLASSES
Definition dsa.c:236
void dsa_unpin(dsa_area *area)
Definition dsa.c:1006
void dsa_pin_mapping(dsa_area *area)
Definition dsa.c:649
static dsa_area * attach_internal(void *place, dsm_segment *segment, dsa_handle handle)
Definition dsa.c:1372
#define NextFreeObjectIndex(object)
Definition dsa.c:202
void dsa_dump(dsa_area *area)
Definition dsa.c:1135
dsa_handle dsa_get_handle(dsa_area *area)
Definition dsa.c:498
static void init_span(dsa_area *area, dsa_pointer span_pointer, dsa_area_pool *pool, dsa_pointer start, size_t npages, uint16 size_class)
Definition dsa.c:1423
bool dsa_is_attached(dsa_handle handle)
Definition dsa.c:540
void dsa_detach(dsa_area *area)
Definition dsa.c:1998
static dsa_segment_map * get_best_segment(dsa_area *area, size_t npages)
Definition dsa.c:2054
#define DSA_FULLNESS_CLASSES
Definition dsa.c:266
void dsa_free(dsa_area *area, dsa_pointer dp)
Definition dsa.c:838
#define DSA_NUM_SEGMENT_BINS
Definition dsa.c:111
size_t dsa_minimum_size(void)
Definition dsa.c:1243
void dsa_pin(dsa_area *area)
Definition dsa.c:987
uint64 dsa_pointer
Definition dsa.h:62
#define DSA_POINTER_FORMAT
Definition dsa.h:69
#define DSA_MIN_SEGMENT_SIZE
Definition dsa.h:100
dsm_handle dsa_handle
Definition dsa.h:136
#define InvalidDsaPointer
Definition dsa.h:78
#define DSA_ALLOC_NO_OOM
Definition dsa.h:74
#define DSA_HANDLE_INVALID
Definition dsa.h:139
#define DsaPointerIsValid(x)
Definition dsa.h:106
#define DSA_MAX_SEGMENT_SIZE
Definition dsa.h:103
#define DSA_ALLOC_HUGE
Definition dsa.h:73
#define DSA_ALLOC_ZERO
Definition dsa.h:75
dsm_handle dsm_segment_handle(dsm_segment *seg)
Definition dsm.c:1131
void dsm_detach(dsm_segment *seg)
Definition dsm.c:811
void on_dsm_detach(dsm_segment *seg, on_dsm_detach_callback function, Datum arg)
Definition dsm.c:1140
void dsm_pin_mapping(dsm_segment *seg)
Definition dsm.c:923
void dsm_unpin_segment(dsm_handle handle)
Definition dsm.c:996
void dsm_pin_segment(dsm_segment *seg)
Definition dsm.c:963
void * dsm_segment_address(dsm_segment *seg)
Definition dsm.c:1103
dsm_segment * dsm_create(Size size, int flags)
Definition dsm.c:524
dsm_segment * dsm_attach(dsm_handle h)
Definition dsm.c:673
dsm_segment * dsm_find_mapping(dsm_handle handle)
Definition dsm.c:1084
uint32 dsm_handle
Definition dsm_impl.h:55
#define DSM_HANDLE_INVALID
Definition dsm_impl.h:58
int errcode(int sqlerrcode)
Definition elog.c:875
int errdetail(const char *fmt,...) pg_attribute_printf(1
#define FATAL
Definition elog.h:42
#define ERROR
Definition elog.h:40
#define elog(elevel,...)
Definition elog.h:228
#define ereport(elevel,...)
Definition elog.h:152
#define palloc_object(type)
Definition fe_memutils.h:89
bool FreePageManagerGet(FreePageManager *fpm, Size npages, Size *first_page)
Definition freepage.c:210
void FreePageManagerPut(FreePageManager *fpm, Size first_page, Size npages)
Definition freepage.c:379
void FreePageManagerInitialize(FreePageManager *fpm, char *base)
Definition freepage.c:183
#define fpm_largest(fpm)
Definition freepage.h:88
#define fpm_size_to_pages(sz)
Definition freepage.h:74
#define FPM_PAGE_SIZE
Definition freepage.h:30
return str start
int j
Definition isn.c:78
int i
Definition isn.c:77
bool LWLockHeldByMe(LWLock *lock)
Definition lwlock.c:1885
bool LWLockAcquire(LWLock *lock, LWLockMode mode)
Definition lwlock.c:1150
void LWLockRelease(LWLock *lock)
Definition lwlock.c:1767
void LWLockInitialize(LWLock *lock, int tranche_id)
Definition lwlock.c:670
@ LW_SHARED
Definition lwlock.h:105
@ LW_EXCLUSIVE
Definition lwlock.h:104
void pfree(void *pointer)
Definition mcxt.c:1619
#define AllocHugeSizeIsValid(size)
Definition memutils.h:49
#define AllocSizeIsValid(size)
Definition memutils.h:42
static char * errmsg
#define pg_leftmost_one_pos_size_t
static int64 total_size
uint64_t Datum
Definition postgres.h:70
static Pointer DatumGetPointer(Datum X)
Definition postgres.h:332
#define PointerGetDatum(X)
Definition postgres.h:354
static int fb(int x)
#define min(a, b)
Definition private.h:155
#define max(a, b)
Definition private.h:154
ResourceOwner CurrentResourceOwner
Definition resowner.c:173
dsa_segment_header segment_header
Definition dsa.c:290
size_t init_segment_size
Definition dsa.c:300
size_t total_segment_size
Definition dsa.c:304
int lwlock_tranche_id
Definition dsa.c:316
size_t max_segment_size
Definition dsa.c:302
dsa_segment_index high_segment_index
Definition dsa.c:308
bool pinned
Definition dsa.c:312
size_t max_total_segment_size
Definition dsa.c:306
dsa_segment_index segment_bins[DSA_NUM_SEGMENT_BINS]
Definition dsa.c:296
dsa_area_pool pools[DSA_NUM_SIZE_CLASSES]
Definition dsa.c:298
size_t freed_segment_counter
Definition dsa.c:314
LWLock lock
Definition dsa.c:318
dsa_handle handle
Definition dsa.c:292
dsm_handle segment_handles[DSA_MAX_SEGMENTS]
Definition dsa.c:294
dsa_pointer spans[DSA_FULLNESS_CLASSES]
Definition dsa.c:279
LWLock lock
Definition dsa.c:277
dsa_pointer nextspan
Definition dsa.c:187
uint16 fclass
Definition dsa.c:195
dsa_pointer start
Definition dsa.c:188
uint16 nallocatable
Definition dsa.c:192
dsa_pointer prevspan
Definition dsa.c:186
uint16 size_class
Definition dsa.c:190
uint16 nmax
Definition dsa.c:194
uint16 ninitialized
Definition dsa.c:191
uint16 firstfree
Definition dsa.c:193
dsa_pointer pool
Definition dsa.c:185
size_t npages
Definition dsa.c:189
dsa_segment_map segment_maps[DSA_MAX_SEGMENTS]
Definition dsa.c:366
dsa_segment_index high_segment_index
Definition dsa.c:369
size_t freed_segment_counter
Definition dsa.c:372
dsa_area_control * control
Definition dsa.c:350
ResourceOwner resowner
Definition dsa.c:358
uint32 magic
Definition dsa.c:143
size_t size
Definition dsa.c:147
dsa_segment_index next
Definition dsa.c:159
dsa_segment_index prev
Definition dsa.c:153
size_t usable_pages
Definition dsa.c:145
dsa_segment_header * header
Definition dsa.c:336
FreePageManager * fpm
Definition dsa.c:337
dsm_segment * segment
Definition dsa.c:334
dsa_pointer * pagemap
Definition dsa.c:338
char * mapped_address
Definition dsa.c:335
void * mapped_address
Definition dsm.c:74
Definition type.h:97