MPS issue job003826

TitleCan't iterate over CBS while deleting some nodes
Statusclosed
Prioritynice
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionThere's no CBS implementation of the LandIterateAndDelete generic function. This would make sense in MVFFFinish, where we have the comment, "TODO: would like to check that LandSize(MVFFTotalCBS(mvff)) == 0 now, but CBS doesn't support deletion while iterating."
AnalysisUse TREE_TRAVERSE_AND_DELETE from the chunk-tree branch. [2]
How foundinspection
Evidence[1] <https://info.ravenbrook.com/project/mp...ch/2014-04-15/mvffnoseg/code/poolmvff.c>
[1] <https://info.ravenbrook.com/project/mps/branch/2014-05-17/chunk-tree/code/tree.h>
Created byGareth Rees
Created on2014-05-30 12:12:06
Last modified byGareth Rees
Last modified on2014-06-14 12:44:11
History2014-05-30 GDR Created.

Fixes

Change Effect Date User Description
186616 closed 2014-06-14 12:44:11 Gareth Rees Add LandIterateAndDelete method for the CBS land classes.
Use this to check that all memory has been returned to the arena in MVFFFinish.