Previous topic
Memory Pool System Kit Open Source License
Downloads
+ title="previous chapter">Memory Pool System Kit Open Source License +Next topic
+Downloads
MPS Kit release 1.111.0
@@ -105,6 +112,9 @@ Ravenbrook’s web site.
1. Queue design¶
+1. Queue design¶
1.1. Introduction¶
.intro: This is the design of the ABQ module, which implements a diff --git a/mps/manual/html/design/alloc-frame.html b/mps/manual/html/design/alloc-frame.html index 51d1c2656d6..aec754e14be 100644 --- a/mps/manual/html/design/alloc-frame.html +++ b/mps/manual/html/design/alloc-frame.html @@ -54,8 +54,8 @@
1. Allocation frame protocol¶
+1. Allocation frame protocol¶
1.1. Introduction¶
.intro: This document explains the design of the support for
@@ -407,9 +407,9 @@ responding to a Sel
.lw-frame.state-impl: Each AP contains 3 additional fields to hold this state: .lw-frame.enabled: The enabled slot holds the following values for
diff --git a/mps/manual/html/design/arena.html b/mps/manual/html/design/arena.html
index 3ddabd37c0f..ea17e453da4 100644
--- a/mps/manual/html/design/arena.html
+++ b/mps/manual/html/design/arena.html
@@ -54,8 +54,8 @@
.intro: This is the design of the arena structure. .intro: This document describes the detailed design of the Virtual
diff --git a/mps/manual/html/design/boot.html b/mps/manual/html/design/boot.html
deleted file mode 100644
index bacb6afe21e..00000000000
--- a/mps/manual/html/design/boot.html
+++ /dev/null
@@ -1,125 +0,0 @@
-
-
-
-
-
-
- The `Memory Pool System`_ starts with no memory, but must somehow
-allocate its own control structures in order to provide memory to the
-client program. The MPS is freestanding [ref?] and so it can’t get its
-memory from the C library’s malloc. So how does it get off the
-ground? It pulls itself up by its own bootstraps. This document
-describes how. Note This document was written as a prelude to reforming the bootstrap,
-so it shouldn’t be taken as advocating it as an amazing piece of
-design. Pretty much the first call to the MPS is to ArenaCreate, which calls the
-arena class specific init method. That must create an initialized arena,
-except for the “control pool”, from which many MPS data structures will be
-allocated. In the case of the VM arena, VMArenaInit creates a VM large enough to hold
-a VMArenaStruct (which contains the generic ArenaStruct) and maps
-pages into it. It then calls ArenaInit to initialise the generic part,
-before filling in the VM-specific part. Having done that, it adds the initial
-VMChunk – a large area of address space – that will be used to supply
-memory via ArenaAlloc.
-MPS Kit release 1.111.0
-Known issues .intro: This is the design of the Bit Tables module. A Bit Table is a
@@ -400,7 +400,7 @@ now return 0 for base
otherwise. Meets .non-req.ops.test.range.same. .if.find.general: There are four functions (below) to find reset
ranges. All the functions have the same prototype (for symmetry): .scope: This document describes the design of allocation buffers
diff --git a/mps/manual/html/design/cbs.html b/mps/manual/html/design/cbs.html
index 8242ce8331a..1f3a4b6c4e6 100644
--- a/mps/manual/html/design/cbs.html
+++ b/mps/manual/html/design/cbs.html
@@ -55,7 +55,7 @@
.intro: This is the design for impl.c.cbs, which implements a data
diff --git a/mps/manual/html/design/check.html b/mps/manual/html/design/check.html
index 6600fa47ee5..0da920900d6 100644
--- a/mps/manual/html/design/check.html
+++ b/mps/manual/html/design/check.html
@@ -54,8 +54,8 @@
.intro: This documents the design of structure checking within the
diff --git a/mps/manual/html/design/class-interface.html b/mps/manual/html/design/class-interface.html
index 86ddbf7b7b1..11c2952bbd0 100644
--- a/mps/manual/html/design/class-interface.html
+++ b/mps/manual/html/design/class-interface.html
@@ -54,8 +54,8 @@
.intro: This document describes the interface and protocols between
diff --git a/mps/manual/html/design/collection.html b/mps/manual/html/design/collection.html
index 27fc50f68d7..d56e4ff0b9f 100644
--- a/mps/manual/html/design/collection.html
+++ b/mps/manual/html/design/collection.html
@@ -54,8 +54,8 @@
.intro: This document describes the Collection Framework. It’s a
diff --git a/mps/manual/html/design/config.html b/mps/manual/html/design/config.html
index 4110bca1318..5988de687e4 100644
--- a/mps/manual/html/design/config.html
+++ b/mps/manual/html/design/config.html
@@ -54,8 +54,8 @@
.intro: This document describes how the Memory Pool System source code is configured so
@@ -440,19 +440,19 @@ possibly their types, depending on the protocol defined
configuration parameter. However, the concrete interface may vary. For example, this isn’t allowed, because there is a change in the interface: This example shows how: .intro: This document describes how to use the diagnostic feedback
@@ -99,33 +99,34 @@ places where you want to inspect data structures (or wait for the
debugger to be entered via an abort() call or unhandled
segmentation fault). Then at the debugger command prompt, run
Describe() commands of your choice. For example: .overview: Finalization is implemented internally using the
diff --git a/mps/manual/html/design/fix.html b/mps/manual/html/design/fix.html
index f6730444bfd..3a0057a275e 100644
--- a/mps/manual/html/design/fix.html
+++ b/mps/manual/html/design/fix.html
@@ -54,8 +54,8 @@
.intro: Fix is the interface through which the existence of
diff --git a/mps/manual/html/design/freelist.html b/mps/manual/html/design/freelist.html
index 6b6e7447d95..13482cccabd 100644
--- a/mps/manual/html/design/freelist.html
+++ b/mps/manual/html/design/freelist.html
@@ -55,7 +55,7 @@
.intro: This document describes the free list allocator for the
diff --git a/mps/manual/html/design/guide.hex.trans.html b/mps/manual/html/design/guide.hex.trans.html
index 3af49325e2c..5764ebc1aee 100644
--- a/mps/manual/html/design/guide.hex.trans.html
+++ b/mps/manual/html/design/guide.hex.trans.html
@@ -54,8 +54,8 @@
.scope: This document explains how to represent the alphabet as
diff --git a/mps/manual/html/design/guide.impl.c.format.html b/mps/manual/html/design/guide.impl.c.format.html
index 35f39a9dbaf..51775d94743 100644
--- a/mps/manual/html/design/guide.impl.c.format.html
+++ b/mps/manual/html/design/guide.impl.c.format.html
@@ -54,8 +54,8 @@
.scope: This document describes the Ravenbrook conventions for the
diff --git a/mps/manual/html/design/interface-c.html b/mps/manual/html/design/interface-c.html
index b04ebc977c7..77ca5f53ef7 100644
--- a/mps/manual/html/design/interface-c.html
+++ b/mps/manual/html/design/interface-c.html
@@ -54,8 +54,8 @@
.scope: This document is the design for the Memory Pool System
@@ -175,19 +175,19 @@ as pointer to function) are declared a prototype should be used and
the parameters to the function should not be named. This includes the
case where you are declaring the prototype for an interface function. .type.fun.example: So use: rather than: and: rather than: See guide.impl.c.misc.prototype.parameters. .intro: This document is the design of the MPS I/O Subsystem, a
@@ -190,7 +190,7 @@ liberty to define this structure. Up to version 1.111, the Memory Pool System used varags to pass arguments
@@ -70,9 +70,9 @@ parameters. The basic design is not specific to the MPS. The keyword argument list is
passed as an array of argument structures which look like this: .intro: This document is the design of the MPS Library Interface, a
diff --git a/mps/manual/html/design/lock.html b/mps/manual/html/design/lock.html
index 59b77ecf36b..3a644bfb3b5 100644
--- a/mps/manual/html/design/lock.html
+++ b/mps/manual/html/design/lock.html
@@ -54,8 +54,8 @@
.purpose: Support the locking needs of the thread-safe design. In
diff --git a/mps/manual/html/design/locus.html b/mps/manual/html/design/locus.html
index 5ee7f2337e4..ab8d1e542ec 100644
--- a/mps/manual/html/design/locus.html
+++ b/mps/manual/html/design/locus.html
@@ -54,8 +54,8 @@
.intro: The locus manager coordinates between the pools and takes
diff --git a/mps/manual/html/design/message-gc.html b/mps/manual/html/design/message-gc.html
index 35177656e55..27a67303e02 100644
--- a/mps/manual/html/design/message-gc.html
+++ b/mps/manual/html/design/message-gc.html
@@ -54,8 +54,8 @@
.intro: This document describes the design of the MPS garbage
diff --git a/mps/manual/html/design/message.html b/mps/manual/html/design/message.html
index 5223019b610..bd4f090bdf9 100644
--- a/mps/manual/html/design/message.html
+++ b/mps/manual/html/design/message.html
@@ -54,8 +54,8 @@
.intro: The client message protocol provides a means by which
diff --git a/mps/manual/html/design/object-debug.html b/mps/manual/html/design/object-debug.html
index d684197a658..ac0633385d7 100644
--- a/mps/manual/html/design/object-debug.html
+++ b/mps/manual/html/design/object-debug.html
@@ -54,8 +54,8 @@
.intro: This is the design for all the various debugging features
diff --git a/mps/manual/html/design/old.html b/mps/manual/html/design/old.html
index ceacd37afa8..d6fc8aa1c39 100644
--- a/mps/manual/html/design/old.html
+++ b/mps/manual/html/design/old.html
@@ -505,265 +505,324 @@ date, they will be moved to the main 26.12. Notes
-mps_addr_t frameptr;
-mps_bool_t enabled;
-mps_bool_t lwPopPending;
+
mps_addr_t frameptr;
+mps_bool_t enabled;
+mps_bool_t lwPopPending;
2. Arena¶
+ 2. Arena¶
2.1. Introduction¶
3. Virtual Memory Arena¶
+ 3. Virtual Memory Arena¶
3.1. Introduction¶
The MPS Bootstrap¶
-Introduction¶
-Table Of Contents
-
-
-
-
-Downloads
-
-
-All MPS Kit releases
-Issues
-
-
-Issues fixed in release 1.111.0
-Contact us
-
-
- 4. Bit tables¶
+ 4. Bit tables¶
4.1. Introduction¶
Bool find(Index *baseReturn, Index *limitReturn,
+
Bool find(Index *baseReturn, Index *limitReturn,
BT bt,
Index searchBase, Index searchLimit,
Count length);
diff --git a/mps/manual/html/design/buffer.html b/mps/manual/html/design/buffer.html
index ba31277c751..db7f213bca1 100644
--- a/mps/manual/html/design/buffer.html
+++ b/mps/manual/html/design/buffer.html
@@ -54,8 +54,8 @@
5. Allocation buffers and allocation points¶
+ 5. Allocation buffers and allocation points¶
5.1. Introduction¶
2. Coalescing block structure¶
+2. Coalescing block structure¶
2.1. Introduction¶
6. Checking¶
+ 6. Checking¶
6.1. Introduction¶
7. Pool class interface¶
+ 7. Pool class interface¶
7.1. Introduction¶
8. Collection framework¶
+ 8. Collection framework¶
8.1. Introduction¶
3. MPS Configuration¶
+ 3. MPS Configuration¶
3.1. Introduction¶
#if defined(PROT_FOO)
-void ProtSpong(Foo foo, Bar bar);
+void ProtSpong(Foo foo, Bar bar);
#else
-int ProtSpong(Bar bar, Foo foo);
+int ProtSpong(Bar bar, Foo foo);
#endif
#ifdef PROTECTION
-void ProtSync(Space space);
-/* more decls. */
+void ProtSync(Space space);
+/* more decls. */
#else /* PROTECTION not */
#define ProtSync(space) NOOP
-/* more decls. */
+/* more decls. */
#endif /* PROTECTION */
4. The critical path through the MPS¶
+ 4. The critical path through the MPS¶
static mps_res_t dylan_scan_contig(mps_ss_t mps_ss,
- mps_addr_t *base, mps_addr_t *limit)
+
static mps_res_t dylan_scan_contig(mps_ss_t mps_ss,
+ mps_addr_t *base, mps_addr_t *limit)
{
- mps_res_t res;
- mps_addr_t *p; /* reference cursor */
- mps_addr_t r; /* reference to be fixed */
+ mps_res_t res;
+ mps_addr_t *p; /* reference cursor */
+ mps_addr_t r; /* reference to be fixed */
MPS_SCAN_BEGIN(mps_ss) {
p = base;
loop: if(p >= limit) goto out;
r = *p++;
- if(((mps_word_t)r&3) != 0) /* pointers tagged with 0 */
+ if(((mps_word_t)r&3) != 0) /* pointers tagged with 0 */
goto loop; /* not a pointer */
if(!MPS_FIX1(mps_ss, r)) goto loop;
res = MPS_FIX2(mps_ss, p-1);
diff --git a/mps/manual/html/design/diag.html b/mps/manual/html/design/diag.html
index 2f0dca5841a..0a5c0f34206 100644
--- a/mps/manual/html/design/diag.html
+++ b/mps/manual/html/design/diag.html
@@ -54,8 +54,8 @@
9. Diagnostic feedback¶
+ 9. Diagnostic feedback¶
9.1. Introduction¶
(gdb) run
-Starting program: mv2test
-Reading symbols for shared libraries +............................. done
-cbs.c:94: MPS ASSERTION FAILED: !cbs->inCBS
+
(gdb) run
+Starting program: mv2test
+Reading symbols for shared libraries +............................. done
+cbs.c:94: MPS ASSERTION FAILED: !cbs->inCBS
-Program received signal SIGABRT, Aborted.
-0x00007fff83e42d46 in __kill ()
-(gdb) frame 12
-#12 0x000000010000b1fc in MVTFree (pool=0x103ffe160, base=0x101dfd000, size=5024) at poolmv2.c:711
-711 Res res = CBSInsert(MVTCBS(mvt), base, limit);
-(gdb) p MVTDescribe(mvt, mps_lib_get_stdout())
-MVT 0000000103FFE160
-{
- minSize: 8
- meanSize: 42
- maxSize: 8192
- fragLimit: 30
- reuseSize: 16384
- fillSize: 8192
- availLimit: 1110835
- abqOverflow: FALSE
- splinter: TRUE
- splinterSeg: 0000000103FEE780
- splinterBase: 0000000101D7ABB8
- splinterLimit: 0000000101D7B000
- # ... etc ...
-}
+Program received signal SIGABRT, Aborted.
+0x00007fff83e42d46 in __kill ()
+(gdb) frame 12
+#12 0x000000010000b1fc in MVTFree (pool=0x103ffe160, base=0x101dfd000, size=5024) at poolmv2.c:711
+711 Res res = CBSInsert(MVTCBS(mvt), base, limit);
+(gdb) p MVTDescribe(mvt, mps_lib_get_stdout())
+MVT 0000000103FFE160
+{
+ minSize: 8
+ meanSize: 42
+ maxSize: 8192
+ fragLimit: 30
+ reuseSize: 16384
+ fillSize: 8192
+ availLimit: 1110835
+ abqOverflow: FALSE
+ splinter: TRUE
+ splinterSeg: 0000000103FEE780
+ splinterBase: 0000000101D7ABB8
+ splinterLimit: 0000000101D7B000
+ # ... etc ...
+}
+10. Finalization¶
+ 10. Finalization¶
10.1. Overview¶
11. The generic fix function¶
+ 11. The generic fix function¶
11.1. Introduction¶
5. Free list allocator¶
+5. Free list allocator¶
5.1. Introduction¶
6. Transliterating the alphabet into hexadecimal¶
+ 6. Transliterating the alphabet into hexadecimal¶
6.1. Introduction¶
7. C Style – formatting¶
+ 7. C Style – formatting¶
7.1. Introduction¶
12. C interface design¶
+ 12. C interface design¶
12.1. Introduction¶
extern mps_res_t mps_alloc(mps_addr_t *, mps_pool_t, size_t, ...);
+
extern mps_res_t mps_alloc(mps_addr_t *, mps_pool_t, size_t, ...);
extern mps_res_t mps_alloc(mps_addr_t *addr_return, mps_pool_t pool , size_t size, ...);
+
extern mps_res_t mps_alloc(mps_addr_t *addr_return, mps_pool_t pool , size_t size, ...);
typedef mps_addr_t (*mps_fmt_class_t)(mps_addr_t);
+
typedef mps_addr_t (*mps_fmt_class_t)(mps_addr_t);
typedef mps_addr_t (*mps_fmt_class_t)(mps_addr_t object);
+
typedef mps_addr_t (*mps_fmt_class_t)(mps_addr_t object);
13. I/O subsystem¶
+ 13. I/O subsystem¶
13.1. Introduction¶
typedef int mps_io_type_t;
+
typedef int mps_io_type_t;
enum {
MPS_IO_TYPE_TELEMETRY,
MPS_IO_TYPE_DEBUG
@@ -293,11 +293,11 @@ just a few old messages. What can you do with it?
struct sockaddr_in debugging;
} mps_io_s;
-static mps_bool_t inited = 0;
+static mps_bool_t inited = 0;
static mps_io_s state;
-mps_res_t mps_io_create(mps_io_t *mps_io_o)
+mps_res_t mps_io_create(mps_io_t *mps_io_o)
{
int sock, r;
@@ -329,7 +329,7 @@ just a few old messages. What can you do with it?
}
-void mps_io_destroy(mps_io_t mps_io)
+void mps_io_destroy(mps_io_t mps_io)
{
assert(mps_io == &state);
assert(inited);
@@ -340,7 +340,7 @@ just a few old messages. What can you do with it?
}
-mps_res_t mps_io_send(mps_io_t mps_io, mps_type_t type,
+mps_res_t mps_io_send(mps_io_t mps_io, mps_type_t type,
void *message, size_t size)
{
struct sockaddr *toaddr;
@@ -368,7 +368,7 @@ just a few old messages. What can you do with it?
}
-mps_res_t mps_io_receive(mps_io_t mps_io,
+mps_res_t mps_io_receive(mps_io_t mps_io,
void **message_o, size_t **size_o)
{
int r;
diff --git a/mps/manual/html/design/keyword-arguments.html b/mps/manual/html/design/keyword-arguments.html
index 19f17506f36..57e1ca1135c 100644
--- a/mps/manual/html/design/keyword-arguments.html
+++ b/mps/manual/html/design/keyword-arguments.html
@@ -54,8 +54,8 @@
8. Keyword arguments in the MPS¶
+ 8. Keyword arguments in the MPS¶
8.1. Introduction¶
8.2. Overview¶
typedef struct mps_key_s *mps_key_t;
+
typedef struct mps_key_s *mps_key_t;
typedef struct mps_arg_s {
- mps_key_t key;
+ mps_key_t key;
union {
int i;
char c;
@@ -127,7 +127,7 @@ a checking method for the argument, like this:
typedef struct mps_key_s {
Sig sig; /* Always KeySig */
const char *name;
- Bool check(Arg arg);
+ Bool check(Arg arg);
} KeyStruct;
14. Library interface¶
+ 14. Library interface¶
14.1. Introduction¶
15. The lock module¶
+ 15. The lock module¶
15.1. Purpose¶
16. MPS Configuration¶
+ 16. MPS Configuration¶
16.1. Introduction¶
18. GC messages¶
+ 18. GC messages¶
18.1. Introduction¶
17. Client message protocol¶
+ 17. Client message protocol¶
17.1. Introduction¶
19. Debugging features for client objects¶
+ 19. Debugging features for client objects¶
19.1. Introduction¶
-
-
+
-
-
-
-
-
-
-
-
-
-
-
-
+
-
-
-
+
-
-
-
-
-
-
-
-
+
-