MPS issue job004010

TitleNo check that collecting a generation reduces its "new size" to zero
Assigned userGareth Rees
DescriptionCollecting a generation must reduce its new size to zero (otherwise it might still be over its capacity and so cause the policy to get stuck as described in job004007). There should be an assertion to this effect.
AnalysisThere's no point the collection cycle where this can be checked, because allocation between flip and reclaim is accounted as "new".
How foundinspection
EvidenceNone as yet.
Created byGareth Rees
Created on2016-04-19 16:16:53
Last modified byGareth Rees
Last modified on2016-04-22 10:22:20
History2016-04-19 GDR Created.
2016-04-22 GDR Closed as invalid (see analysis).