diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-07-05 12:21:14 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-07-05 11:43:19 +0000 |
| commit | b74bb60b0b66b4cb1c01655d31e39964ed46dfff (patch) | |
| tree | a666cf240cf4d5aa25837dfe2f9a59de820176e2 /executor | |
| parent | e5f6d2961cef719e286f3f5f7f4ab868fc4ba7cd (diff) | |
prog: don't keep uncompressed images in memory during hints
Unmap the image for the duration of the execution.
Execution can take a while and uncompressed images are large,
since hints jobs are executed round-robin, we can have thousands of them running.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions