| Title | Manually managed address space is only returned to the operating system via a trace |
| Status | open |
| Priority | optional |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | ArenaCompact 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. |
| Analysis | Found via MMQA function/232.c [1]. See also job003815. |
| How found | automated_test |
| Evidence | [1] https://info.ravenbrook.com/mail/2016/01/18/16-20-20/0/ |
| Created by | Gareth Rees |
| Created on | 2016-04-11 18:05:00 |
| Last modified by | Gareth Rees |
| Last modified on | 2016-10-14 21:27:44 |
| History | 2016-04-11 GDR Created. |