MPS issue job003987

TitleEmergency collection is not documented
Statusopen
Priorityoptional
Assigned userRichard Brooksby
OrganizationRavenbrook
DescriptionWhen 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.
AnalysisAnalyse 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 foundunknown
Evidence//info.ravenbrook.com/project/mps/branch/2016-03-12/pause/code/policy.c#4 behaves differently in emergencies.
Introduced in1.100.0
Test proceduregrep -iIRw emergency manaual/source
Created byRichard Brooksby
Created on2016-03-15 06:21:54
Last modified byGareth Rees
Last modified on2016-09-13 10:53:25
History2016-03-15 RB Created while reviewing branch/2016-03-12/pause.