MPS issue job003751

TitleMVFF debug does not work with large objects
Statusclosed
Prioritynice
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionThere's a comment in mpmss.c [1], "IWBN to test MVFFDebug, but the MPS doesn't support debugging cross-segment allocation (possibly MVFF ought not to)." and sure enough, if you try, then you get the assertion:

    dbgpool.c:357: MPS ASSERTION FAILED: limit <= SegLimit(seg)
AnalysisfreeCheck is only prepared to expose and cover one segment. But it would surely be possible to loop over all the segments in the range.
How foundinspection
Evidence[1] <http://www.ravenbrook.com/project/mps/master/code/mpmss.c>
Test procedurempmss
Created byGareth Rees
Created on2014-04-09 12:44:42
Last modified byGareth Rees
Last modified on2014-10-20 17:40:34
History2014-04-09 GDR Created.

Fixes

Change Effect Date User Description
185386 closed 2014-04-09 13:30:36 Gareth Rees MVFF debug now supports alloc/free of large objects (by exposing and covering all segments which the object overlaps)