MPS issue job003999

TitleManually managed address space is only returned to the operating system via a trace
Assigned userGareth Rees
DescriptionArenaCompact is only called when a trace is destroyed (either via TraceDestroyInit, if the trace was empty, or via traceReclaim, if the trace was not empty). This is unsatisfactory for programs that only manage memory manually: compaction of address space shouldn't be related to the trace mechanism.
AnalysisFound via MMQA function/232.c [1].

See also job003815.
How foundautomated_test
Created byGareth Rees
Created on2016-04-11 18:05:00
Last modified byGareth Rees
Last modified on2016-10-14 21:27:44
History2016-04-11 GDR Created.