1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
.. manual/source/design/index.rst -- index of designs in MPS manual

.. See design.mps.doc.impl.manual.design.

.. NOTE: If there is a discrepancy between the design directory and
   this list then Sphinx will produce a warning.

.. TODO: Generate this list from the design directory rather than rely
   in keeping it updated.

.. _design:

Design
******

.. warning::

    The documents in this section are included from the working
    designs in the MPS source tree.  They are intended for developers
    of the MPS.  They vary a great deal in detail depending on the
    risks associated with the things they describe.

.. toctree::
    :numbered:

    abq
    an
    bootstrap
    cbs
    clock
    config
    critical-path
    doc
    exec-env
    failover
    finalize
    freelist
    guide.developer
    guide.hex.trans
    guide.impl.c.format
    guide.impl.c.naming
    guide.review
    interface-c
    keyword-arguments
    land
    lock
    message
    monitor
    nailboard
    pool
    prmc
    prot
    protix
    range
    ring
    shield
    sig
    sp
    splay
    stack-scan
    tests
    testthr
    thread-manager
    thread-safety
    type
    version-library
    vm
    walk
    write-barrier
    writef