diff --git a/mps/design/buffer/index.html b/mps/design/buffer/index.html index 007c9db107f..631ae87727e 100644 --- a/mps/design/buffer/index.html +++ b/mps/design/buffer/index.html @@ -26,8 +26,32 @@
+

Allocation buffers and allocation points

+ +

This document contains a guide to allocation buffers and allocation points, followed by the historical initial design. References, History, Copyright and License are at the end.

+ +
+ +

Guide

+ +

Readership: any MPS developer. Not confidential.

+ +

Introduction

+ +

Glossary:

+
+
Trapped
+
means the buffer is in a state such that the MPS gets to know about the next use of that buffer
+
+ + + +
+ +

Initial Design

+
                 ALLOCATION BUFFERS AND ALLOCATION POINTS
                            design.mps.buffer
@@ -780,13 +804,15 @@ Buffer States (richardized)
 
-
   
-
   
-
   
+
 
+
+  
+  
+  
2002-06-07RBConverted from MMInfo database design document.
2007-03-22RHSKCreated Guide.
@@ -794,7 +820,7 @@ Buffer States (richardized)

C. Copyright and License

-

This document is copyright © 1995-2002 Ravenbrook Limited. All rights reserved. This is an open source license. Contact Ravenbrook for commercial licensing options.

+

This document is copyright © 1995-2002, 2007 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: