| Title | MVFF debug does not work with large objects |
| Status | closed |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | There'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) |
| Analysis | freeCheck 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 found | inspection |
| Evidence | [1] <http://www.ravenbrook.com/project/mps/master/code/mpmss.c> |
| Test procedure | mpmss |
| Created by | Gareth Rees |
| Created on | 2014-04-09 12:44:42 |
| Last modified by | Gareth Rees |
| Last modified on | 2014-10-20 17:40:34 |
| History | 2014-04-09 GDR Created. |
| 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) |