diff options
| author | Robert Haas | 2016-12-02 17:03:30 +0000 |
|---|---|---|
| committer | Robert Haas | 2016-12-02 17:03:30 +0000 |
| commit | 13e14a78ea15f4c581cae408b5010c13961c96de (patch) | |
| tree | d410e51e9944c30619f1320dc4cdba1980db80e3 /src/backend/utils/mmgr/Makefile | |
| parent | fbc1c12a94a638cf4f577fef158175e22ab824a3 (diff) | |
Management of free memory pages.
This is intended as infrastructure for a full-fledged allocator for
dynamic shared memory. The interface looks a bit like a real
allocator, but only supports allocating and freeing memory in
multiples of the 4kB page size. Further, to free memory, you must
know the size of the span you wish to free, in pages. While these are
make it unsuitable as an allocator in and of itself, it still serves
as very useful scaffolding for a full-fledged allocator.
Robert Haas and Thomas Munro. This code is mostly the same as my 2014
submission, but Thomas fixed quite a few bugs and made some changes to
the interface.
Discussion: CA+TgmobkeWptGwiNa+SGFWsTLzTzD-CeLz0KcE-y6LFgoUus4A@mail.gmail.com
Discussion: CAEepm=1z5WLuNoJ80PaCvz6EtG9dN0j-KuHcHtU6QEfcPP5-qA@mail.gmail.com
Diffstat (limited to 'src/backend/utils/mmgr/Makefile')
| -rw-r--r-- | src/backend/utils/mmgr/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/backend/utils/mmgr/Makefile b/src/backend/utils/mmgr/Makefile index b2403e186f5..20973af3ca9 100644 --- a/src/backend/utils/mmgr/Makefile +++ b/src/backend/utils/mmgr/Makefile @@ -12,6 +12,6 @@ subdir = src/backend/utils/mmgr top_builddir = ../../../.. include $(top_builddir)/src/Makefile.global -OBJS = aset.o mcxt.o portalmem.o +OBJS = aset.o freepage.o mcxt.o portalmem.o include $(top_srcdir)/src/backend/common.mk |