diff options
author | Eric Wong <e@80x24.org> | 2021-09-22 09:45:17 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2021-09-23 04:52:06 +0000 |
commit | 356439a571c536eaa487031802b436d087113f4f (patch) | |
tree | cab628111eefa6f5a059cbc405d8e01a2ccb8670 /ci | |
parent | 7d2f9f7caf63256bab7b3342c52a1d97c889ada4 (diff) | |
download | public-inbox-356439a571c536eaa487031802b436d087113f4f.tar.gz |
Check for unlinked mmap-ed files via /proc/$PID/maps every 60s or so. ExtSearch (extindex) is compatible-enough with Inbox objects to be wired into the old per-inbox code, but the startup cost is projected to be much higher down the line when there's >30K inboxes, so we scan /proc/$PID/maps for deleted files before unlinking. With old Inbox objects, it was (and is) simpler to just kill processes w/o checking due to the low startup cost (and non-portability of checking). Reported-by: Konstantin Ryabitsev <konstantin@linuxfoundation.org> Link: https://public-inbox.org/meta/20210921144754.gulkneuulzo27qbw@meerkat.local/
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions