On 09/29, David Rientjes wrote: > > On Tue, 29 Sep 2015, Oleg Nesterov wrote: > > > Both "child->mm == mm" and "p->mm != mm" checks in oom_kill_process() > > are wrong. ->mm can be if task is the exited group leader. This means > > in particular that "kill sharing same memory" loop can miss a process > > with a zombie leader which uses the same ->mm. > > > > Note: the process_has_mm(child, p->mm) check is still not 100% correct, > > p->mm can be NULL too. This is minor, but probably deserves a fix or a > > comment anyway. > > > > Signed-off-by: Oleg Nesterov <o...@redhat.com> > > Acked-by: David Rientjes <rient...@google.com> > > I like this and I don't want to hold up a fix for a personal preference, > but I find process_has_mm() to simply imply the process has a non-NULL mm.
Hmm, yes ;) > Maybe process_shares_mm()? Something to consider. Agreed, will rename in v2. Oleg. -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/