MV pool class

author Richard Brooksby
date 1995-08-25
index terms pair: MV pool class; design single: pool class; MV design
revision //info.ravenbrook.com/project/mps/version/1.116/design/poolmv.txt#1
status incomplete design
tag design.mps.poolmv

Implementation

.lost: It is possible for MV to "lose" memory when freeing an objects. This happens when an extra block descriptor is needed (ie the interior of a block is being freed) and the call to allocate the block fails.

References

[Pugh_1990]William Pugh. 1990. Skip lists: a probabilistic alternative to balanced trees. Commun. ACM 33, 6 (June 1990), 668-676. DOI=10.1145/78973.78977 http://doi.acm.org/10.1145/78973.78977

Document History

  • 1995-08-25 RB. Incomplete design.
  • 2002-06-07 RB Converted from MMInfo database design document.
  • 2013-05-23 GDR Converted to reStructuredText.