Title | Emergency collection is not documented |
Status | open |
Priority | optional |
Assigned user | Richard Brooksby |
Organization | Ravenbrook |
Description | When the MPS runs out of memory it goes into "emergency" mode, where it will attempt to run a special kind of garbage collection. The documentation does not describe this, or what the consequences might be, or how to control the behaviour, etc. See also job003374. |
Analysis | Analyse the goals and requirements of emergency collection and its implementation into a design document, for a start. This should help to clarify what users might want from it. |
How found | unknown |
Evidence | //info.ravenbrook.com/project/mps/branch/2016-03-12/pause/code/policy.c#4 behaves differently in emergencies. |
Introduced in | 1.100.0 |
Test procedure | grep -iIRw emergency manaual/source |
Created by | Richard Brooksby |
Created on | 2016-03-15 06:21:54 |
Last modified by | Gareth Rees |
Last modified on | 2016-09-13 10:53:25 |
History | 2016-03-15 RB Created while reviewing branch/2016-03-12/pause. |