This wiki is a collection of incomplete notes about the MPS, the precursor to more formal documentation.
See About the MPS Wiki↓ for an introduction.
Not confidential. Readership: MPS users and developers. Status: not authoritative.
Recommended; some relevance to client developers:
MPS Internals:
Sketchy, very incomplete, or arcane:
The MPS Wiki is a wiki in the sense that it is an incomplete, evolving, informally structured collection of articles.
Here's a template for new articles.
Currently, only MPS developers at Ravenbrook may edit it, but we'd be very grateful for your comments, or articles you would like to contribute: please contact us.
The following symbols are used in wiki articles:
This mark indicates a link to a document that is not publicly available
Often, this will be a historical document that, along with useful general information, contains some confidential material -- we just haven't had time to publish a 'declassified' version. If you suspect this is the case, please request that we do so.
This mark indicates a link to another section in the same document
If you intend to read the whole document, you can skip these links and you will not miss out on any material.
2006-05-25 RHSK Created. 2006-06-02 RHSK Added template. Articles: pool_classes, GC. 2006-06-06 RHSK Article: glossary. 2006-06-06 RHSK Article: Modes of use of MPS. 2006-06-22 RHSK Article: Allocation Point User Guide. 2006-06-23 RHSK Section: About the MPS Wiki 2006-06-23 RHSK Article: Allocation Point Internals 2006-06-28 RHSK Pool_classes article is now slightly useful 2006-07-25 RHSK Interrupts 2006-07-25 RHSK rename Interrupts as C-Stack 2006-11-27 RHSK Article: Timeline 2006-11-28 RHSK Article: RefMan Addenda 2006-11-30 RHSK Article: Story of a GC 2007-01-12 RHSK Article: Trace 2007-01-18 RHSK Article: PoolAMC 2007-03-01 RHSK Article: Theorem 2007-04-26 RHSK New categories on this index page. 2007-03-01 RHSK Article: Describe methods 2007-09-27 RHSK Article: access: when the mutator hits a shield 2008-09-29 RHSK Article: buildsystem: the MPS build system 2009-12-01 RHSK Link to guide.hex.trans. 2012-10-18 GDR Removed "RefMan Addenda", "Garbage Collection" and "Allocation Point User's Guide": moved these to the user documentation proper.
This document is copyright © 2006-2009 Ravenbrook Limited. All rights reserved. This is an open source license. Contact Ravenbrook for commercial licensing options.
Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
This software is provided by the copyright holders and contributors "as is" and any express or implied warranties, including, but not limited to, the implied warranties of merchantability, fitness for a particular purpose, or non-infringement, are disclaimed. In no event shall the copyright holders and contributors be liable for any direct, indirect, incidental, special, exemplary, or consequential damages (including, but not limited to, procurement of substitute goods or services; loss of use, data, or profits; or business interruption) however caused and on any theory of liability, whether in contract, strict liability, or tort (including negligence or otherwise) arising in any way out of the use of this software, even if advised of the possibility of such damage.