MPS issue job003995

TitleMPS doesn't support debugging APs
Statusopen
Priorityoptional
Assigned userRichard Brooksby
OrganizationRavenbrook
DescriptionThe MPS doesn't support the debug pool mixins in conjunction with allocation points. For example, the MVFF debug pool class, allocating through an AP.
Analysis1. Document this fact. It doesn't seem to be mentioned in the debugging pools topic of the manual.
2. Figure out how to implement. Presumably this means trapping the AP to force allocations into the MPS, but otherwise not disturbing the policy. So just redirecting to PoolAlloc isn't good enough. (MVFF uses worst fit for buffers, but first fit for PoolAlloc.)
How foundinspection
Evidence//info.ravenbrook.com/project/mps/master/code/apss.c#35 lines 189-190 say "the MPS doesn't support debugging APs".
Test procedureRedirect mps_class_mv_debug to call mps_class_mvff_debug, and apss complains.
Created byRichard Brooksby
Created on2016-03-27 21:16:15
Last modified byRichard Brooksby
Last modified on2016-03-27 21:16:15
History2016-03-27 RB Created.