On Fri, Feb 22, 2019 at 08:10:01AM +0100, Michal Hocko wrote: > On Fri 22-02-19 13:37:33, Junil Lee wrote: > > The oom killer use get_mm_rss() function to estimate how free memory > > will be reclaimed when the oom killer select victim task. > > > > However, the returned rss size by get_mm_rss() function was changed from > > "mm, shmem: add internal shmem resident memory accounting" commit. > > This commit makes the get_mm_rss() return size including SHMEM pages. > > This was actually the case even before eca56ff906bdd because SHMEM was > just accounted to MM_FILEPAGES so this commit hasn't changed much > really. > > Besides that we cannot really rule out SHMEM pages simply. They are > backing MAP_ANON|MAP_SHARED which might be unmapped and freed during the > oom victim exit. Moreover this is essentially the same as file backed > pages or even MAP_PRIVATE|MAP_ANON pages. Bothe can be pinned by other > processes e.g. via private pages via CoW mappings and file pages by > filesystem or simply mlocked by another process. So this really gross > evaluation will never be perfect. We would basically have to do exact > calculation of the freeable memory of each process and that is just not > feasible. > > That being said, I do not think the patch is an improvement in that > direction. It just turnes one fuzzy evaluation by another that even > misses a lot of memory potentially.
You make good points. I think it's also worth noting that while the OOM killer is ultimately about freeing memory, the victim algorithm is not about finding the *optimal* amount of memory to free, but to kill the thing that is most likely to have put the system into trouble. We're not going for killing the smallest tasks until we're barely back over the line and operational again, but instead we're finding the biggest offender to stop the most likely source of unsustainable allocations. That's why our metric is called "badness score", and not "freeable" or similar. So even if a good chunk of the biggest task are tmpfs pages that aren't necessarily freed upon kill, from a heuristics POV it's still the best candidate to kill.
