MPS issue job003522

TitlePoolFix is on the critical path but contains checks
Statusclosed
Priorityoptional
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionPoolFix is on the critical path, but it calls AVERT(Seg, seg). This call to SegCheck takes about 1.6% of the runtime on a Scheme example.
AnalysisChange the AVERT to AVERT_CRITICAL.

GDR 2013-09-05: The macro version of PoolFix doesn't get used because PoolFix is typically called via the ScanState structure.
How foundmanual_test
EvidenceProfiling in Xcode.
Observed in1.111.0
Created byGareth Rees
Created on2013-06-17 18:22:15
Last modified byGareth Rees
Last modified on2014-03-08 10:23:09
History2013-06-17 GDR Created.

Fixes

Change Effect Date User Description
184693 closed 2014-03-08 10:23:09 Gareth Rees PoolFix is on the critical path, so use AVER_CRITICAL rather than AVER.