diff --git a/manual/Makefile b/manual/Makefile index 25615b8571..9a16e305ae 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -159,10 +159,10 @@ doctest: $(SPHINXBUILD) "results in $(BUILDDIR)/doctest/output.txt." .PHONY: tools -tools: tool/bin/pip requirements.pip - tool/bin/pip install -r requirements.pip +tools: $(SPHINXBUILD) -tool/bin/sphinx-build: tools +$(SPHINXBUILD): tool/bin/pip requirements.pip + tool/bin/pip install -r requirements.pip tool/bin/pip: $(PYTHON) -mvenv tool diff --git a/manual/requirements.pip b/manual/requirements.pip index f5e50bda3e..9b44cd928f 100644 --- a/manual/requirements.pip +++ b/manual/requirements.pip @@ -1,4 +1,4 @@ -# manual/requirements.txt -- MPS manual build requirements for pip +# manual/requirements.pip -- MPS manual build requirements for pip -# Layout breaks in Sphinx >= 5. See . -sphinx >= 4, < 5 +sphinx +sphinx-rtd-theme diff --git a/manual/source/_templates/layout.html b/manual/source/_templates/layout.html new file mode 100644 index 0000000000..c99ff36094 --- /dev/null +++ b/manual/source/_templates/layout.html @@ -0,0 +1,40 @@ +{# manual/source/_templates/layout.html -- add index to manual sidebar. + # + # See https://stackoverflow.com/a/37843854 . + #} + +{% extends "!layout.html" %} + + {% block menu %} + {{ super() }} + +

+ Indices and tables +

+ + + + {% endblock %} diff --git a/manual/source/conf.py b/manual/source/conf.py index 57c4b1d64c..8e2613f1c1 100644 --- a/manual/source/conf.py +++ b/manual/source/conf.py @@ -37,7 +37,17 @@ else: project = u'Memory Pool System' master_doc = 'index' - html_theme = 'mps' + # We use the Read the Docs theme for Sphinx for smooth publishing + # at readthedocs.io, low maintenance overheads, local search, etc. + # See primarily `GitHub issue #98 + # `_ but also `GitHub + # issue #121 `_ . + # See for theme + # documentation. + html_theme = 'sphinx_rtd_theme' + html_theme_options = { + 'includehidden': False, + } html_sidebars = { '**': ['localtoc.html', 'relations.html', 'links.html', 'contact.html'], } diff --git a/manual/source/glossary/index.rst b/manual/source/glossary/index.rst index e1fdb3af05..1c8915e1e4 100644 --- a/manual/source/glossary/index.rst +++ b/manual/source/glossary/index.rst @@ -36,594 +36,604 @@ Memory Management Glossary All === -:term:`absolute address ` -:term:`activation frame ` -:term:`activation record` -:term:`activation stack ` -:term:`active ` -:term:`address` -:term:`address space` -:term:`address space layout randomization` -:term:`address translation cache ` -:term:`address-ordered first fit` -:term:`aging space` -:term:`algebraic data type` -:term:`alignment` -:term:`alive ` -:term:`allocate` -:term:`allocation frame` -:term:`allocation mechanism` -:term:`allocation pattern` -:term:`allocation point` -:term:`allocation point protocol` -:term:`allocation policy` -:term:`allocation strategy` -:term:`allocator` -:term:`ambiguous reference` -:term:`ambiguous root` -:term:`arena` -:term:`arena class` -:term:`ASLR
` -:term:`assertion` -:term:`asynchronous garbage collector` -:term:`ATC ` -:term:`atomic object ` -:term:`automatic memory management` -:term:`automatic storage duration` +.. Sphinx presents the terms in this list run together in paragraphs, + so we use a visual cue (comma) to separate them, and a wide space + to break up the wall-of-text effect. See `this comment on GitHub + pull request #166 + `__. + TODO: Perhaps something more elegant and robust by overriding + styles? -:term:`backing store` -:term:`barrier (1)` -:term:`barrier (2)` -:term:`barrier hit ` -:term:`base pointer` -:term:`best fit` -:term:`BIBOP` -:term:`big bag of pages ` -:term:`binary buddies` -:term:`bit array ` -:term:`bit table ` -:term:`bit vector ` -:term:`bitmap` -:term:`bitmap marking` -:term:`bitmapped fit` -:term:`bitmask` -:term:`bitset ` -:term:`black` -:term:`blacklisting` -:term:`black-listing` -:term:`block` -:term:`bounds error ` -:term:`boxed` -:term:`break-table` -:term:`brk` -:term:`broken heart` -:term:`bucket` -:term:`buddy system` -:term:`buffer` -:term:`bus error` -:term:`byte (1)` -:term:`byte (2)` -:term:`byte (3)` -:term:`byte (4)` +.. |emspace| unicode:: U+2003 .. visually wide space -:term:`C89 ` -:term:`C90` -:term:`C99` -:term:`cache (1)` -:term:`cache (2)` -:term:`cache memory ` -:term:`cache policy` -:term:`caching (3)` -:term:`cactus stack` -:term:`card` -:term:`card marking` -:term:`cell ` -:term:`Cheney collector` -:term:`Cheney scan ` -:term:`clamped state` -:term:`client arena` -:term:`client object` -:term:`client pointer` -:term:`client program ` -:term:`closure` -:term:`coalesce` -:term:`cold end` -:term:`collect` -:term:`collection ` -:term:`collection cycle` -:term:`collector (1) ` -:term:`collector (2)` -:term:`color` -:term:`colour` -:term:`commit limit` -:term:`committed (1) ` -:term:`committed (2)` -:term:`compactifying ` -:term:`compaction` -:term:`composite object` -:term:`comprehensive` -:term:`concurrent garbage collection ` -:term:`condemned set` -:term:`connected` -:term:`cons (1)` -:term:`cons (2) ` -:term:`conservative garbage collection` -:term:`constant root` -:term:`constructor (1)` -:term:`constructor (2)` -:term:`continuation` -:term:`control stack` -:term:`cool` -:term:`copying garbage collection` -:term:`core` -:term:`creation space` -:term:`critical path` -:term:`crossing map` -:term:`cyclic data structure` +:term:`absolute address `,\ |emspace| +:term:`activation frame `,\ |emspace| +:term:`activation record`,\ |emspace| +:term:`activation stack `,\ |emspace| +:term:`active `,\ |emspace| +:term:`address`,\ |emspace| +:term:`address space`,\ |emspace| +:term:`address space layout randomization`,\ |emspace| +:term:`address translation cache `,\ |emspace| +:term:`address-ordered first fit`,\ |emspace| +:term:`aging space`,\ |emspace| +:term:`algebraic data type`,\ |emspace| +:term:`alignment`,\ |emspace| +:term:`alive `,\ |emspace| +:term:`allocate`,\ |emspace| +:term:`allocation frame`,\ |emspace| +:term:`allocation mechanism`,\ |emspace| +:term:`allocation pattern`,\ |emspace| +:term:`allocation point`,\ |emspace| +:term:`allocation point protocol`,\ |emspace| +:term:`allocation policy`,\ |emspace| +:term:`allocation strategy`,\ |emspace| +:term:`allocator`,\ |emspace| +:term:`ambiguous reference`,\ |emspace| +:term:`ambiguous root`,\ |emspace| +:term:`arena`,\ |emspace| +:term:`arena class`,\ |emspace| +:term:`ASLR
`,\ |emspace| +:term:`assertion`,\ |emspace| +:term:`asynchronous garbage collector`,\ |emspace| +:term:`ATC `,\ |emspace| +:term:`atomic object `,\ |emspace| +:term:`automatic memory management`,\ |emspace| +:term:`automatic storage duration`,\ |emspace| -:term:`dangling pointer` -:term:`data stack` -:term:`dead` -:term:`deallocate ` -:term:`debugging pool` -:term:`deferred coalescing` -:term:`deferred reference counting` -:term:`dependent object` -:term:`derived pointer ` -:term:`destructor (1)` -:term:`destructor (2)` -:term:`DGC ` -:term:`direct method` -:term:`dirty bit` -:term:`distributed garbage collection` -:term:`double buddies` -:term:`double free` -:term:`doubleword` -:term:`doubly weak hash table` -:term:`DRAM ` -:term:`dynamic allocation ` -:term:`dynamic extent` -:term:`dynamic memory` -:term:`dynamic RAM ` +:term:`backing store`,\ |emspace| +:term:`barrier (1)`,\ |emspace| +:term:`barrier (2)`,\ |emspace| +:term:`barrier hit `,\ |emspace| +:term:`base pointer`,\ |emspace| +:term:`best fit`,\ |emspace| +:term:`BIBOP`,\ |emspace| +:term:`big bag of pages `,\ |emspace| +:term:`binary buddies`,\ |emspace| +:term:`bit array `,\ |emspace| +:term:`bit table `,\ |emspace| +:term:`bit vector `,\ |emspace| +:term:`bitmap`,\ |emspace| +:term:`bitmap marking`,\ |emspace| +:term:`bitmapped fit`,\ |emspace| +:term:`bitmask`,\ |emspace| +:term:`bitset `,\ |emspace| +:term:`black`,\ |emspace| +:term:`blacklisting`,\ |emspace| +:term:`black-listing`,\ |emspace| +:term:`block`,\ |emspace| +:term:`bounds error `,\ |emspace| +:term:`boxed`,\ |emspace| +:term:`break-table`,\ |emspace| +:term:`brk`,\ |emspace| +:term:`broken heart`,\ |emspace| +:term:`bucket`,\ |emspace| +:term:`buddy system`,\ |emspace| +:term:`buffer`,\ |emspace| +:term:`bus error`,\ |emspace| +:term:`byte (1)`,\ |emspace| +:term:`byte (2)`,\ |emspace| +:term:`byte (3)`,\ |emspace| +:term:`byte (4)`,\ |emspace| -:term:`ecru ` -:term:`edge` -:term:`entry table (1)` -:term:`entry table (2)` -:term:`exact garbage collection` -:term:`exact reference` -:term:`exact root` -:term:`exact segregated fit` -:term:`execution stack ` -:term:`exit table` -:term:`extent ` -:term:`external fragmentation` +:term:`C89 `,\ |emspace| +:term:`C90`,\ |emspace| +:term:`C99`,\ |emspace| +:term:`cache (1)`,\ |emspace| +:term:`cache (2)`,\ |emspace| +:term:`cache memory `,\ |emspace| +:term:`cache policy`,\ |emspace| +:term:`caching (3)`,\ |emspace| +:term:`cactus stack`,\ |emspace| +:term:`card`,\ |emspace| +:term:`card marking`,\ |emspace| +:term:`cell `,\ |emspace| +:term:`Cheney collector`,\ |emspace| +:term:`Cheney scan `,\ |emspace| +:term:`clamped state`,\ |emspace| +:term:`client arena`,\ |emspace| +:term:`client object`,\ |emspace| +:term:`client pointer`,\ |emspace| +:term:`client program `,\ |emspace| +:term:`closure`,\ |emspace| +:term:`coalesce`,\ |emspace| +:term:`cold end`,\ |emspace| +:term:`collect`,\ |emspace| +:term:`collection `,\ |emspace| +:term:`collection cycle`,\ |emspace| +:term:`collector (1) `,\ |emspace| +:term:`collector (2)`,\ |emspace| +:term:`color`,\ |emspace| +:term:`colour`,\ |emspace| +:term:`commit limit`,\ |emspace| +:term:`committed (1) `,\ |emspace| +:term:`committed (2)`,\ |emspace| +:term:`compactifying `,\ |emspace| +:term:`compaction`,\ |emspace| +:term:`composite object`,\ |emspace| +:term:`comprehensive`,\ |emspace| +:term:`concurrent garbage collection `,\ |emspace| +:term:`condemned set`,\ |emspace| +:term:`connected`,\ |emspace| +:term:`cons (1)`,\ |emspace| +:term:`cons (2) `,\ |emspace| +:term:`conservative garbage collection`,\ |emspace| +:term:`constant root`,\ |emspace| +:term:`constructor (1)`,\ |emspace| +:term:`constructor (2)`,\ |emspace| +:term:`continuation`,\ |emspace| +:term:`control stack`,\ |emspace| +:term:`cool`,\ |emspace| +:term:`copying garbage collection`,\ |emspace| +:term:`core`,\ |emspace| +:term:`creation space`,\ |emspace| +:term:`critical path`,\ |emspace| +:term:`crossing map`,\ |emspace| +:term:`cyclic data structure`,\ |emspace| -:term:`fencepost` -:term:`fence post` -:term:`fencepost error` -:term:`fence post error` -:term:`Fibonacci buddies` -:term:`FIFO-ordered first fit` -:term:`file mapping ` -:term:`finalization` -:term:`finalized block` -:term:`first fit` -:term:`fix` -:term:`flip` -:term:`floating garbage` -:term:`foreign code` -:term:`format` -:term:`format method` -:term:`formatted object` -:term:`forward method` -:term:`forwarding marker` -:term:`forwarding object` -:term:`forwarding pointer` -:term:`fragmentation` -:term:`frame ` -:term:`free (1)` -:term:`free (2)` -:term:`free (3)` -:term:`free (4) ` -:term:`free block` -:term:`free block chain` -:term:`free list` -:term:`free store ` -:term:`freestore ` -:term:`from space` -:term:`fromspace` -:term:`function pointer` -:term:`function record ` +:term:`dangling pointer`,\ |emspace| +:term:`data stack`,\ |emspace| +:term:`dead`,\ |emspace| +:term:`deallocate `,\ |emspace| +:term:`debugging pool`,\ |emspace| +:term:`deferred coalescing`,\ |emspace| +:term:`deferred reference counting`,\ |emspace| +:term:`dependent object`,\ |emspace| +:term:`derived pointer `,\ |emspace| +:term:`destructor (1)`,\ |emspace| +:term:`destructor (2)`,\ |emspace| +:term:`DGC `,\ |emspace| +:term:`direct method`,\ |emspace| +:term:`dirty bit`,\ |emspace| +:term:`distributed garbage collection`,\ |emspace| +:term:`double buddies`,\ |emspace| +:term:`double free`,\ |emspace| +:term:`doubleword`,\ |emspace| +:term:`doubly weak hash table`,\ |emspace| +:term:`DRAM `,\ |emspace| +:term:`dynamic allocation `,\ |emspace| +:term:`dynamic extent`,\ |emspace| +:term:`dynamic memory`,\ |emspace| +:term:`dynamic RAM `,\ |emspace| -:term:`garbage` -:term:`garbage collection` -:term:`garbage collector` -:term:`GB ` -:term:`GC ` -:term:`General Protection Fault` -:term:`generation` -:term:`generation chain` -:term:`generation scavenging ` -:term:`generational garbage collection` -:term:`generational hypothesis` -:term:`gigabyte` -:term:`good fit` -:term:`GPF ` -:term:`grain` -:term:`graph` -:term:`gray` -:term:`grey` -:term:`gray list` -:term:`grey list` +:term:`ecru `,\ |emspace| +:term:`edge`,\ |emspace| +:term:`entry table (1)`,\ |emspace| +:term:`entry table (2)`,\ |emspace| +:term:`exact garbage collection`,\ |emspace| +:term:`exact reference`,\ |emspace| +:term:`exact root`,\ |emspace| +:term:`exact segregated fit`,\ |emspace| +:term:`execution stack `,\ |emspace| +:term:`exit table`,\ |emspace| +:term:`extent `,\ |emspace| +:term:`external fragmentation`,\ |emspace| -:term:`handle` -:term:`header ` -:term:`heap` -:term:`heap allocation` -:term:`hit` -:term:`hit rate` -:term:`hot` -:term:`hot end` -:term:`huge page` +:term:`fencepost`,\ |emspace| +:term:`fence post`,\ |emspace| +:term:`fencepost error`,\ |emspace| +:term:`fence post error`,\ |emspace| +:term:`Fibonacci buddies`,\ |emspace| +:term:`FIFO-ordered first fit`,\ |emspace| +:term:`file mapping `,\ |emspace| +:term:`finalization`,\ |emspace| +:term:`finalized block`,\ |emspace| +:term:`first fit`,\ |emspace| +:term:`fix`,\ |emspace| +:term:`flip`,\ |emspace| +:term:`floating garbage`,\ |emspace| +:term:`foreign code`,\ |emspace| +:term:`format`,\ |emspace| +:term:`format method`,\ |emspace| +:term:`formatted object`,\ |emspace| +:term:`forward method`,\ |emspace| +:term:`forwarding marker`,\ |emspace| +:term:`forwarding object`,\ |emspace| +:term:`forwarding pointer`,\ |emspace| +:term:`fragmentation`,\ |emspace| +:term:`frame `,\ |emspace| +:term:`free (1)`,\ |emspace| +:term:`free (2)`,\ |emspace| +:term:`free (3)`,\ |emspace| +:term:`free (4) `,\ |emspace| +:term:`free block`,\ |emspace| +:term:`free block chain`,\ |emspace| +:term:`free list`,\ |emspace| +:term:`free store `,\ |emspace| +:term:`freestore `,\ |emspace| +:term:`from space`,\ |emspace| +:term:`fromspace`,\ |emspace| +:term:`function pointer`,\ |emspace| +:term:`function record `,\ |emspace| -:term:`immediate data` -:term:`immune set` -:term:`immutable` -:term:`immutable object ` -:term:`in-band header` -:term:`in parameter` -:term:`in/out parameter` -:term:`incremental garbage collection` -:term:`incremental update` -:term:`indefinite extent` -:term:`indexed fit` -:term:`indirect method` -:term:`infant mortality ` -:term:`inline allocation (1)` -:term:`inline allocation (2)` -:term:`inter-generational pointer` -:term:`interior pointer` -:term:`internal fragmentation` -:term:`invalid page fault` -:term:`inverted page table` -:term:`inverted page-table` -:term:`is-forwarded method` +:term:`garbage`,\ |emspace| +:term:`garbage collection`,\ |emspace| +:term:`garbage collector`,\ |emspace| +:term:`GB `,\ |emspace| +:term:`GC `,\ |emspace| +:term:`General Protection Fault`,\ |emspace| +:term:`generation`,\ |emspace| +:term:`generation chain`,\ |emspace| +:term:`generation scavenging `,\ |emspace| +:term:`generational garbage collection`,\ |emspace| +:term:`generational hypothesis`,\ |emspace| +:term:`gigabyte`,\ |emspace| +:term:`good fit`,\ |emspace| +:term:`GPF `,\ |emspace| +:term:`grain`,\ |emspace| +:term:`graph`,\ |emspace| +:term:`gray`,\ |emspace| +:term:`grey`,\ |emspace| +:term:`gray list`,\ |emspace| +:term:`grey list`,\ |emspace| -:term:`kB ` -:term:`keyword argument` -:term:`kilobyte` +:term:`handle`,\ |emspace| +:term:`header `,\ |emspace| +:term:`heap`,\ |emspace| +:term:`heap allocation`,\ |emspace| +:term:`hit`,\ |emspace| +:term:`hit rate`,\ |emspace| +:term:`hot`,\ |emspace| +:term:`hot end`,\ |emspace| +:term:`huge page`,\ |emspace| -:term:`large object area` -:term:`large page ` -:term:`leaf object` -:term:`leak ` -:term:`life ` -:term:`lifetime` -:term:`LIFO-ordered first fit` -:term:`limited-field reference count` -:term:`linear addressing` -:term:`live` -:term:`load` -:term:`locality of reference` -:term:`location ` -:term:`location dependency` -:term:`lock free` -:term:`logical address ` -:term:`longword ` +:term:`immediate data`,\ |emspace| +:term:`immune set`,\ |emspace| +:term:`immutable`,\ |emspace| +:term:`immutable object `,\ |emspace| +:term:`in-band header`,\ |emspace| +:term:`in parameter`,\ |emspace| +:term:`in/out parameter`,\ |emspace| +:term:`incremental garbage collection`,\ |emspace| +:term:`incremental update`,\ |emspace| +:term:`indefinite extent`,\ |emspace| +:term:`indexed fit`,\ |emspace| +:term:`indirect method`,\ |emspace| +:term:`infant mortality `,\ |emspace| +:term:`inline allocation (1)`,\ |emspace| +:term:`inline allocation (2)`,\ |emspace| +:term:`inter-generational pointer`,\ |emspace| +:term:`interior pointer`,\ |emspace| +:term:`internal fragmentation`,\ |emspace| +:term:`invalid page fault`,\ |emspace| +:term:`inverted page table`,\ |emspace| +:term:`inverted page-table`,\ |emspace| +:term:`is-forwarded method`,\ |emspace| -:term:`machine word ` -:term:`main memory` -:term:`malloc` -:term:`manual memory management` -:term:`mapped` -:term:`mapping` -:term:`mark-compact` -:term:`mark-sweep` -:term:`mark-and-sweep` -:term:`marking` -:term:`MB ` -:term:`megabyte` -:term:`memoization ` -:term:`memory (1)` -:term:`memory (2)` -:term:`memory (3)
` -:term:`memory (4)` -:term:`memory bandwidth` -:term:`memory cache ` -:term:`memory hierarchy ` -:term:`memory leak` -:term:`memory location` -:term:`memory management` -:term:`Memory Management Unit ` -:term:`memory manager` -:term:`memory mapping` -:term:`memory protection ` -:term:`message` -:term:`message queue` -:term:`message type` -:term:`misaligned ` -:term:`miss` -:term:`miss rate` -:term:`mmap` -:term:`MMU` -:term:`mostly-copying garbage collection` -:term:`mostly-exact garbage collection ` -:term:`mostly-precise garbage collection ` -:term:`moving garbage collector` -:term:`moving memory manager` -:term:`mutable` -:term:`mutator` +:term:`kB `,\ |emspace| +:term:`keyword argument`,\ |emspace| +:term:`kilobyte`,\ |emspace| -:term:`nailing ` -:term:`natural alignment` -:term:`nepotism` -:term:`next fit` -:term:`new space` -:term:`newspace ` -:term:`node` -:term:`non-moving garbage collector` -:term:`non-moving memory manager` -:term:`nursery generation ` -:term:`nursery space` +:term:`large object area`,\ |emspace| +:term:`large page `,\ |emspace| +:term:`leaf object`,\ |emspace| +:term:`leak `,\ |emspace| +:term:`life `,\ |emspace| +:term:`lifetime`,\ |emspace| +:term:`LIFO-ordered first fit`,\ |emspace| +:term:`limited-field reference count`,\ |emspace| +:term:`linear addressing`,\ |emspace| +:term:`live`,\ |emspace| +:term:`load`,\ |emspace| +:term:`locality of reference`,\ |emspace| +:term:`location `,\ |emspace| +:term:`location dependency`,\ |emspace| +:term:`lock free`,\ |emspace| +:term:`logical address `,\ |emspace| +:term:`longword `,\ |emspace| -:term:`object` -:term:`object format` -:term:`object pointer` -:term:`off-white` -:term:`old space ` -:term:`oldspace ` -:term:`one-bit reference count` -:term:`opaque type` -:term:`out parameter` -:term:`out-of-band header` -:term:`overcommit` -:term:`overwriting error` +:term:`machine word `,\ |emspace| +:term:`main memory`,\ |emspace| +:term:`malloc`,\ |emspace| +:term:`manual memory management`,\ |emspace| +:term:`mapped`,\ |emspace| +:term:`mapping`,\ |emspace| +:term:`mark-compact`,\ |emspace| +:term:`mark-sweep`,\ |emspace| +:term:`mark-and-sweep`,\ |emspace| +:term:`marking`,\ |emspace| +:term:`MB `,\ |emspace| +:term:`megabyte`,\ |emspace| +:term:`memoization `,\ |emspace| +:term:`memory (1)`,\ |emspace| +:term:`memory (2)`,\ |emspace| +:term:`memory (3)
`,\ |emspace| +:term:`memory (4)`,\ |emspace| +:term:`memory bandwidth`,\ |emspace| +:term:`memory cache `,\ |emspace| +:term:`memory hierarchy `,\ |emspace| +:term:`memory leak`,\ |emspace| +:term:`memory location`,\ |emspace| +:term:`memory management`,\ |emspace| +:term:`Memory Management Unit `,\ |emspace| +:term:`memory manager`,\ |emspace| +:term:`memory mapping`,\ |emspace| +:term:`memory protection `,\ |emspace| +:term:`message`,\ |emspace| +:term:`message queue`,\ |emspace| +:term:`message type`,\ |emspace| +:term:`misaligned `,\ |emspace| +:term:`miss`,\ |emspace| +:term:`miss rate`,\ |emspace| +:term:`mmap`,\ |emspace| +:term:`MMU`,\ |emspace| +:term:`mostly-copying garbage collection`,\ |emspace| +:term:`mostly-exact garbage collection `,\ |emspace| +:term:`mostly-precise garbage collection `,\ |emspace| +:term:`moving garbage collector`,\ |emspace| +:term:`moving memory manager`,\ |emspace| +:term:`mutable`,\ |emspace| +:term:`mutator`,\ |emspace| -:term:`padding` -:term:`padding method` -:term:`padding object` -:term:`page` -:term:`page fault` -:term:`page marking` -:term:`page protection ` -:term:`page table` -:term:`paged in` -:term:`paged out` -:term:`paging` -:term:`palimpsest` -:term:`parallel garbage collection` -:term:`parked state` -:term:`perfect fit` -:term:`phantom reachable` -:term:`phantomly reachable` -:term:`phantom reference` -:term:`physical address` -:term:`physical address space` -:term:`physical memory (1)` -:term:`physical memory (2)` -:term:`physical storage ` -:term:`pig in the python` -:term:`pig in the snake ` -:term:`pinning` -:term:`placement policy ` -:term:`platform` -:term:`plinth` -:term:`pointer` -:term:`pool` -:term:`pool class` -:term:`postmortem state` -:term:`precise garbage collection ` -:term:`precise reference ` -:term:`precise root ` -:term:`premature free` -:term:`premature promotion ` -:term:`premature tenuring` -:term:`primary storage
` -:term:`promotion` -:term:`protectable root` -:term:`protected` -:term:`protection` -:term:`protection exception ` -:term:`protection fault` -:term:`protection violation ` +:term:`nailing `,\ |emspace| +:term:`natural alignment`,\ |emspace| +:term:`nepotism`,\ |emspace| +:term:`next fit`,\ |emspace| +:term:`new space`,\ |emspace| +:term:`newspace `,\ |emspace| +:term:`node`,\ |emspace| +:term:`non-moving garbage collector`,\ |emspace| +:term:`non-moving memory manager`,\ |emspace| +:term:`nursery generation `,\ |emspace| +:term:`nursery space`,\ |emspace| -:term:`quadword` +:term:`object`,\ |emspace| +:term:`object format`,\ |emspace| +:term:`object pointer`,\ |emspace| +:term:`off-white`,\ |emspace| +:term:`old space `,\ |emspace| +:term:`oldspace `,\ |emspace| +:term:`one-bit reference count`,\ |emspace| +:term:`opaque type`,\ |emspace| +:term:`out parameter`,\ |emspace| +:term:`out-of-band header`,\ |emspace| +:term:`overcommit`,\ |emspace| +:term:`overwriting error`,\ |emspace| -:term:`RAM` -:term:`random access memory ` -:term:`ramp allocation` -:term:`rank` -:term:`rash` -:term:`raw ` -:term:`reachable` -:term:`read barrier` -:term:`read fault` -:term:`read-only memory ` -:term:`real memory (1)` -:term:`real memory (2) ` -:term:`reclaim` -:term:`recycle` -:term:`reference` -:term:`reference counting` -:term:`reference object` -:term:`region inference` -:term:`register` -:term:`register set partitioning` -:term:`relocation` -:term:`remembered set` -:term:`remote reference` -:term:`replicating garbage collector` -:term:`reserved` -:term:`resident` -:term:`resident set` -:term:`result code` -:term:`resurrection` -:term:`ROM` -:term:`root` -:term:`root description` -:term:`root mode` -:term:`root set` +:term:`padding`,\ |emspace| +:term:`padding method`,\ |emspace| +:term:`padding object`,\ |emspace| +:term:`page`,\ |emspace| +:term:`page fault`,\ |emspace| +:term:`page marking`,\ |emspace| +:term:`page protection `,\ |emspace| +:term:`page table`,\ |emspace| +:term:`paged in`,\ |emspace| +:term:`paged out`,\ |emspace| +:term:`paging`,\ |emspace| +:term:`palimpsest`,\ |emspace| +:term:`parallel garbage collection`,\ |emspace| +:term:`parked state`,\ |emspace| +:term:`perfect fit`,\ |emspace| +:term:`phantom reachable`,\ |emspace| +:term:`phantomly reachable`,\ |emspace| +:term:`phantom reference`,\ |emspace| +:term:`physical address`,\ |emspace| +:term:`physical address space`,\ |emspace| +:term:`physical memory (1)`,\ |emspace| +:term:`physical memory (2)`,\ |emspace| +:term:`physical storage `,\ |emspace| +:term:`pig in the python`,\ |emspace| +:term:`pig in the snake `,\ |emspace| +:term:`pinning`,\ |emspace| +:term:`placement policy `,\ |emspace| +:term:`platform`,\ |emspace| +:term:`plinth`,\ |emspace| +:term:`pointer`,\ |emspace| +:term:`pool`,\ |emspace| +:term:`pool class`,\ |emspace| +:term:`postmortem state`,\ |emspace| +:term:`precise garbage collection `,\ |emspace| +:term:`precise reference `,\ |emspace| +:term:`precise root `,\ |emspace| +:term:`premature free`,\ |emspace| +:term:`premature promotion `,\ |emspace| +:term:`premature tenuring`,\ |emspace| +:term:`primary storage
`,\ |emspace| +:term:`promotion`,\ |emspace| +:term:`protectable root`,\ |emspace| +:term:`protected`,\ |emspace| +:term:`protection`,\ |emspace| +:term:`protection exception `,\ |emspace| +:term:`protection fault`,\ |emspace| +:term:`protection violation `,\ |emspace| -:term:`sbrk` -:term:`scalar data type` -:term:`scan` -:term:`scan method` -:term:`scan state` -:term:`scavenging garbage collection ` -:term:`SDRAM` -:term:`segmentation violation` -:term:`segmented addressing` -:term:`segregated allocation cache` -:term:`segregated fit` -:term:`segregated free list` -:term:`segregated free-list` -:term:`semi-conservative garbage collection` -:term:`semi-space` -:term:`semi-space collector ` -:term:`sequential fit` -:term:`sequential store buffer` -:term:`shared memory` -:term:`simple object` -:term:`simple segregated storage` -:term:`size` -:term:`size class` -:term:`skip method` -:term:`smart pointer` -:term:`snap-out` -:term:`snapshot at the beginning` -:term:`soft reference` -:term:`softly reachable` -:term:`space leak ` -:term:`spare commit limit` -:term:`spare committed memory` -:term:`spaghetti stack ` -:term:`splat` -:term:`split` -:term:`SRAM ` -:term:`SSB ` -:term:`stack` -:term:`stack allocation` -:term:`stack frame` -:term:`stack record ` -:term:`static allocation` -:term:`static memory (1)` -:term:`static memory (2)` -:term:`static object` -:term:`static RAM ` -:term:`static storage duration` -:term:`stepper function` -:term:`sticky reference count ` -:term:`stop-and-copy collection` -:term:`storage ` -:term:`storage hierarchy` -:term:`storage level` -:term:`storage management ` -:term:`store (1)` -:term:`store (2) ` -:term:`stretchy vector` -:term:`strict segregated fit` -:term:`strong reference` -:term:`strong root` -:term:`strong tri-color invariant` -:term:`strong tri-colour invariant` -:term:`strong tricolor invariant` -:term:`strong tricolour invariant` -:term:`strongly reachable` -:term:`suballocator` -:term:`subgraph` -:term:`superpage ` -:term:`sure reference ` -:term:`swap space` -:term:`swapped in` -:term:`swapped out` -:term:`swapping` -:term:`sweeping` -:term:`synchronous garbage collector` +:term:`quadword`,\ |emspace| -:term:`tabling ` -:term:`tag` -:term:`tagged architecture` -:term:`tagged reference` -:term:`TB (1) ` -:term:`TB (2) ` -:term:`telemetry filter` -:term:`telemetry label` -:term:`telemetry stream` -:term:`tenuring ` -:term:`terabyte` -:term:`termination ` -:term:`thrash` -:term:`thread` -:term:`threatened set ` -:term:`TLB ` -:term:`to space` -:term:`tospace` -:term:`trace` -:term:`tracing garbage collection` -:term:`translation buffer` -:term:`translation lookaside buffer` -:term:`transparent alias` -:term:`transparent type` -:term:`transport` -:term:`transport snap-out ` -:term:`treadmill` -:term:`tri-color invariant` -:term:`tri-colour invariant` -:term:`tricolor invariant` -:term:`tricolour invariant` -:term:`tri-color marking` -:term:`tri-colour marking` -:term:`tricolor marking` -:term:`tricolour marking` -:term:`two-space collector` -:term:`two space collector` -:term:`type-accurate garbage collection ` -:term:`type punning` +:term:`RAM`,\ |emspace| +:term:`random access memory `,\ |emspace| +:term:`ramp allocation`,\ |emspace| +:term:`rank`,\ |emspace| +:term:`rash`,\ |emspace| +:term:`raw `,\ |emspace| +:term:`reachable`,\ |emspace| +:term:`read barrier`,\ |emspace| +:term:`read fault`,\ |emspace| +:term:`read-only memory `,\ |emspace| +:term:`real memory (1)`,\ |emspace| +:term:`real memory (2) `,\ |emspace| +:term:`reclaim`,\ |emspace| +:term:`recycle`,\ |emspace| +:term:`reference`,\ |emspace| +:term:`reference counting`,\ |emspace| +:term:`reference object`,\ |emspace| +:term:`region inference`,\ |emspace| +:term:`register`,\ |emspace| +:term:`register set partitioning`,\ |emspace| +:term:`relocation`,\ |emspace| +:term:`remembered set`,\ |emspace| +:term:`remote reference`,\ |emspace| +:term:`replicating garbage collector`,\ |emspace| +:term:`reserved`,\ |emspace| +:term:`resident`,\ |emspace| +:term:`resident set`,\ |emspace| +:term:`result code`,\ |emspace| +:term:`resurrection`,\ |emspace| +:term:`ROM`,\ |emspace| +:term:`root`,\ |emspace| +:term:`root description`,\ |emspace| +:term:`root mode`,\ |emspace| +:term:`root set`,\ |emspace| -:term:`unaligned` -:term:`unboxed` -:term:`unclamped state` -:term:`undead` -:term:`unmapped` -:term:`unprotected` -:term:`unreachable` -:term:`unsure reference ` -:term:`unwrapped` -:term:`use after free ` +:term:`sbrk`,\ |emspace| +:term:`scalar data type`,\ |emspace| +:term:`scan`,\ |emspace| +:term:`scan method`,\ |emspace| +:term:`scan state`,\ |emspace| +:term:`scavenging garbage collection `,\ |emspace| +:term:`SDRAM`,\ |emspace| +:term:`segmentation violation`,\ |emspace| +:term:`segmented addressing`,\ |emspace| +:term:`segregated allocation cache`,\ |emspace| +:term:`segregated fit`,\ |emspace| +:term:`segregated free list`,\ |emspace| +:term:`segregated free-list`,\ |emspace| +:term:`semi-conservative garbage collection`,\ |emspace| +:term:`semi-space`,\ |emspace| +:term:`semi-space collector `,\ |emspace| +:term:`sequential fit`,\ |emspace| +:term:`sequential store buffer`,\ |emspace| +:term:`shared memory`,\ |emspace| +:term:`simple object`,\ |emspace| +:term:`simple segregated storage`,\ |emspace| +:term:`size`,\ |emspace| +:term:`size class`,\ |emspace| +:term:`skip method`,\ |emspace| +:term:`smart pointer`,\ |emspace| +:term:`snap-out`,\ |emspace| +:term:`snapshot at the beginning`,\ |emspace| +:term:`soft reference`,\ |emspace| +:term:`softly reachable`,\ |emspace| +:term:`space leak `,\ |emspace| +:term:`spare commit limit`,\ |emspace| +:term:`spare committed memory`,\ |emspace| +:term:`spaghetti stack `,\ |emspace| +:term:`splat`,\ |emspace| +:term:`split`,\ |emspace| +:term:`SRAM `,\ |emspace| +:term:`SSB `,\ |emspace| +:term:`stack`,\ |emspace| +:term:`stack allocation`,\ |emspace| +:term:`stack frame`,\ |emspace| +:term:`stack record `,\ |emspace| +:term:`static allocation`,\ |emspace| +:term:`static memory (1)`,\ |emspace| +:term:`static memory (2)`,\ |emspace| +:term:`static object`,\ |emspace| +:term:`static RAM `,\ |emspace| +:term:`static storage duration`,\ |emspace| +:term:`stepper function`,\ |emspace| +:term:`sticky reference count `,\ |emspace| +:term:`stop-and-copy collection`,\ |emspace| +:term:`storage `,\ |emspace| +:term:`storage hierarchy`,\ |emspace| +:term:`storage level`,\ |emspace| +:term:`storage management `,\ |emspace| +:term:`store (1)`,\ |emspace| +:term:`store (2) `,\ |emspace| +:term:`stretchy vector`,\ |emspace| +:term:`strict segregated fit`,\ |emspace| +:term:`strong reference`,\ |emspace| +:term:`strong root`,\ |emspace| +:term:`strong tri-color invariant`,\ |emspace| +:term:`strong tri-colour invariant`,\ |emspace| +:term:`strong tricolor invariant`,\ |emspace| +:term:`strong tricolour invariant`,\ |emspace| +:term:`strongly reachable`,\ |emspace| +:term:`suballocator`,\ |emspace| +:term:`subgraph`,\ |emspace| +:term:`superpage `,\ |emspace| +:term:`sure reference `,\ |emspace| +:term:`swap space`,\ |emspace| +:term:`swapped in`,\ |emspace| +:term:`swapped out`,\ |emspace| +:term:`swapping`,\ |emspace| +:term:`sweeping`,\ |emspace| +:term:`synchronous garbage collector`,\ |emspace| -:term:`value object` -:term:`variety` -:term:`vector data type` -:term:`virtual address` -:term:`virtual address space` -:term:`virtual memory` -:term:`virtual memory arena` -:term:`visitor function ` -:term:`VM (1) ` -:term:`VM (2)` +:term:`tabling `,\ |emspace| +:term:`tag`,\ |emspace| +:term:`tagged architecture`,\ |emspace| +:term:`tagged reference`,\ |emspace| +:term:`TB (1) `,\ |emspace| +:term:`TB (2) `,\ |emspace| +:term:`telemetry filter`,\ |emspace| +:term:`telemetry label`,\ |emspace| +:term:`telemetry stream`,\ |emspace| +:term:`tenuring `,\ |emspace| +:term:`terabyte`,\ |emspace| +:term:`termination `,\ |emspace| +:term:`thrash`,\ |emspace| +:term:`thread`,\ |emspace| +:term:`threatened set `,\ |emspace| +:term:`TLB `,\ |emspace| +:term:`to space`,\ |emspace| +:term:`tospace`,\ |emspace| +:term:`trace`,\ |emspace| +:term:`tracing garbage collection`,\ |emspace| +:term:`translation buffer`,\ |emspace| +:term:`translation lookaside buffer`,\ |emspace| +:term:`transparent alias`,\ |emspace| +:term:`transparent type`,\ |emspace| +:term:`transport`,\ |emspace| +:term:`transport snap-out `,\ |emspace| +:term:`treadmill`,\ |emspace| +:term:`tri-color invariant`,\ |emspace| +:term:`tri-colour invariant`,\ |emspace| +:term:`tricolor invariant`,\ |emspace| +:term:`tricolour invariant`,\ |emspace| +:term:`tri-color marking`,\ |emspace| +:term:`tri-colour marking`,\ |emspace| +:term:`tricolor marking`,\ |emspace| +:term:`tricolour marking`,\ |emspace| +:term:`two-space collector`,\ |emspace| +:term:`two space collector`,\ |emspace| +:term:`type-accurate garbage collection `,\ |emspace| +:term:`type punning`,\ |emspace| -:term:`weak-key hash table` -:term:`weak-value hash table` -:term:`weak hash table` -:term:`weak reference (1)` -:term:`weak reference (2)` -:term:`weak root` -:term:`weak tri-color invariant` -:term:`weak tri-colour invariant` -:term:`weak tricolor invariant` -:term:`weak tricolour invariant` -:term:`weakly reachable` -:term:`weighted buddies` -:term:`weighted reference counting` -:term:`white` -:term:`word` -:term:`working set` -:term:`worst fit` -:term:`wrapped` -:term:`wrapper` -:term:`write barrier` -:term:`write fault` +:term:`unaligned`,\ |emspace| +:term:`unboxed`,\ |emspace| +:term:`unclamped state`,\ |emspace| +:term:`undead`,\ |emspace| +:term:`unmapped`,\ |emspace| +:term:`unprotected`,\ |emspace| +:term:`unreachable`,\ |emspace| +:term:`unsure reference `,\ |emspace| +:term:`unwrapped`,\ |emspace| +:term:`use after free `,\ |emspace| -:term:`ZCT ` +:term:`value object`,\ |emspace| +:term:`variety`,\ |emspace| +:term:`vector data type`,\ |emspace| +:term:`virtual address`,\ |emspace| +:term:`virtual address space`,\ |emspace| +:term:`virtual memory`,\ |emspace| +:term:`virtual memory arena`,\ |emspace| +:term:`visitor function `,\ |emspace| +:term:`VM (1) `,\ |emspace| +:term:`VM (2)`,\ |emspace| + +:term:`weak-key hash table`,\ |emspace| +:term:`weak-value hash table`,\ |emspace| +:term:`weak hash table`,\ |emspace| +:term:`weak reference (1)`,\ |emspace| +:term:`weak reference (2)`,\ |emspace| +:term:`weak root`,\ |emspace| +:term:`weak tri-color invariant`,\ |emspace| +:term:`weak tri-colour invariant`,\ |emspace| +:term:`weak tricolor invariant`,\ |emspace| +:term:`weak tricolour invariant`,\ |emspace| +:term:`weakly reachable`,\ |emspace| +:term:`weighted buddies`,\ |emspace| +:term:`weighted reference counting`,\ |emspace| +:term:`white`,\ |emspace| +:term:`word`,\ |emspace| +:term:`working set`,\ |emspace| +:term:`worst fit`,\ |emspace| +:term:`wrapped`,\ |emspace| +:term:`wrapper`,\ |emspace| +:term:`write barrier`,\ |emspace| +:term:`write fault`,\ |emspace| + +:term:`ZCT `,\ |emspace| :term:`zero count table` diff --git a/manual/source/images/logo.png b/manual/source/images/logo.png index f60476aa6c..8a769e3384 100644 Binary files a/manual/source/images/logo.png and b/manual/source/images/logo.png differ diff --git a/manual/source/index.rst b/manual/source/index.rst index 5d61d583c2..bfd3e6012e 100644 --- a/manual/source/index.rst +++ b/manual/source/index.rst @@ -1,7 +1,8 @@ -Memory Pool System -################## +Contents +******** .. toctree:: + :caption: Memory Pool System :maxdepth: 2 guide/index @@ -10,11 +11,8 @@ Memory Pool System design/index design/old - -Appendices -########## - .. toctree:: + :caption: Appendices :maxdepth: 1 bib @@ -25,10 +23,9 @@ Appendices contributing release -* :ref:`genindex` - - .. toctree:: + :caption: Memory Management Reference + :maxdepth: 2 :hidden: mmref/index @@ -36,3 +33,6 @@ Appendices mmref/faq mmref-copyright mmref/credit + +* :ref:`genindex` +