From patchwork Wed Sep 2 01:25:58 2020 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Suren Baghdasaryan X-Patchwork-Id: 11749635 Return-Path: Received: from mail.kernel.org (pdx-korg-mail-1.web.codeaurora.org [172.30.200.123]) by pdx-korg-patchwork-2.web.codeaurora.org (Postfix) with ESMTP id D88A413B1 for ; Wed, 2 Sep 2020 01:26:05 +0000 (UTC) Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by mail.kernel.org (Postfix) with ESMTP id 96490206EB for ; Wed, 2 Sep 2020 01:26:05 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=fail reason="signature verification failed" (2048-bit key) header.d=google.com header.i=@google.com header.b="dXw7B+2P" DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 96490206EB Authentication-Results: mail.kernel.org; dmarc=fail (p=reject dis=none) header.from=google.com Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=owner-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix) id 4F826900002; Tue, 1 Sep 2020 21:26:04 -0400 (EDT) Delivered-To: linux-mm-outgoing@kvack.org Received: by kanga.kvack.org (Postfix, from userid 40) id 4B0DD8E0001; Tue, 1 Sep 2020 21:26:04 -0400 (EDT) X-Original-To: int-list-linux-mm@kvack.org X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 39591900002; Tue, 1 Sep 2020 21:26:04 -0400 (EDT) X-Original-To: linux-mm@kvack.org X-Delivered-To: linux-mm@kvack.org Received: from forelay.hostedemail.com (smtprelay0099.hostedemail.com [216.40.44.99]) by kanga.kvack.org (Postfix) with ESMTP id 1CDBE8E0001 for ; Tue, 1 Sep 2020 21:26:04 -0400 (EDT) Received: from smtpin14.hostedemail.com (10.5.19.251.rfc1918.com [10.5.19.251]) by forelay04.hostedemail.com (Postfix) with ESMTP id CBA921F06 for ; Wed, 2 Sep 2020 01:26:03 +0000 (UTC) X-FDA: 77216380206.14.horn39_261281f2709c Received: from filter.hostedemail.com (10.5.16.251.rfc1918.com [10.5.16.251]) by smtpin14.hostedemail.com (Postfix) with ESMTP id 9CC4D18229818 for ; Wed, 2 Sep 2020 01:26:03 +0000 (UTC) X-Spam-Summary: 1,0,0,b2e2a3d0e3aba70f,d41d8cd98f00b204,3qvroxwykcm8dfcz8w19916z.x97638fi-775gvx5.9c1@flex--surenb.bounces.google.com,,RULES_HIT:2:41:152:355:379:541:800:960:966:967:973:982:988:989:1260:1277:1313:1314:1345:1437:1516:1518:1535:1593:1594:1605:1730:1747:1777:1792:2196:2198:2199:2200:2393:2525:2559:2566:2570:2682:2685:2703:2859:2895:2900:2933:2937:2939:2942:2945:2947:2951:2954:3022:3152:3865:3866:3867:3868:3870:3871:3872:3874:3934:3936:3938:3941:3944:3947:3950:3953:3956:3959:4049:4120:4250:4321:4385:4605:5007:6117:6119:6261:7875:7903:7974:9025:9969:11658:13146:13221:13229:13230,0,RBL:209.85.219.74:@flex--surenb.bounces.google.com:.lbl8.mailshell.net-66.100.201.100 62.18.0.100;04yrm4zk3114wd99u6g5zgwk3yt35occdwdx8naeuwgspmprqjukdikxeiu38y8.g64efc5wnuo61r3uee6x13n7hny1goa3m4hcexss735ws9w93f4gp5gw3yd5g6h.e-lbl8.mailshell.net-223.238.255.100,CacheIP:none,Bayesian:0.5,0.5,0.5,Netcheck:none,DomainCache:0,MSF:not bulk,SPF:fp,MSBL:0,DNSBL:neutral,Custom_rules:0:1:0,LFtim e:23,LUA X-HE-Tag: horn39_261281f2709c X-Filterd-Recvd-Size: 9998 Received: from mail-qv1-f74.google.com (mail-qv1-f74.google.com [209.85.219.74]) by imf44.hostedemail.com (Postfix) with ESMTP for ; Wed, 2 Sep 2020 01:26:03 +0000 (UTC) Received: by mail-qv1-f74.google.com with SMTP id y12so2317371qva.8 for ; Tue, 01 Sep 2020 18:26:03 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20161025; h=sender:date:message-id:mime-version:subject:from:to:cc; bh=RLfqZvE8pBUN1hIKB0BVnJlGhsKyMWNU1UKytWcZLUM=; b=dXw7B+2PvKo8CcOZn9XS2LOZ2blgCKjwW3Um30oC4s5uZ9ae94Gr4A+8BphAzSOPI/ RpVY7nU4c4WJIDVUjcXmLU91IngTEQleW1DdyVcTtbBjGdKXDwWChoC5oAMnAKT6bmQM 8l4TDUmSzHu8/2QGEDN9OTeQUai2duwHW5j1cJj3D1CBc3Q8PNUNL2UJzgVWytSUqc4c RYKLsGbSPytwDeZsCNqrwO7Z2n1FZJqFcab/sFJ+grNnedMrIOmt04oF2KkN/Vo8Ykzk n8/GB1z8AelGbbgpyiLvW8/IpbKlNcbnZzUpXjoJ1c4+neHqQnPo2lQ5W9dyY1BptBdL /eUQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:sender:date:message-id:mime-version:subject:from :to:cc; bh=RLfqZvE8pBUN1hIKB0BVnJlGhsKyMWNU1UKytWcZLUM=; b=Q4WUDVMvgs1i5697DOufqjjlHZSIZ5SRaFonGMziYzdYVLilNEB9EFJvJl2IZmXwYh xZdfqFuNDOpsFMAhXZ3OezAlTy9uU6pCh9ZS//t+QqbXiRDBNcQes5E4ybekcqqREANM AkQ7gJFeO0srkAIA1jwSD0ox2HAWGVNc/XEm8NbWOKnAaZzIw9dawkN64uD4XctpWkBG zdc5wXMdBpwIWZBxYXBhuUvXziP3i/ygEw0FF2O4w3f3ZkIyVRIN5IvII9daOcLQ1ZtC NgVU+QkVmE21jTkm1wH8LKb4+Jv1ZSO2A3yprzvAS4pi2ZO2AoZP01AVTNelWJIFSZEU DpbA== X-Gm-Message-State: AOAM533z1n6NplGiCZ+0hC8zZqr/HR4bRHamLSNS1LaZzXtGrXNH1JpZ xCjNmW2h5/TCIlAoHzP/sJQlpTH9wbM= X-Google-Smtp-Source: ABdhPJzfnzS7XFT2K3jQLTxN2cjQbQ0gu+G/2Ska9DLh59I+r+w1xXd+TQEC72s/KA60EEHPQBIQik6vI28= X-Received: from surenb1.mtv.corp.google.com ([2620:15c:211:0:f693:9fff:fef4:2055]) (user=surenb job=sendgmr) by 2002:ad4:4527:: with SMTP id l7mr1710656qvu.2.1599009962317; Tue, 01 Sep 2020 18:26:02 -0700 (PDT) Date: Tue, 1 Sep 2020 18:25:58 -0700 Message-Id: <20200902012558.2335613-1-surenb@google.com> Mime-Version: 1.0 X-Mailer: git-send-email 2.28.0.526.ge36021eeef-goog Subject: [PATCH v3 1/1] mm, oom_adj: don't loop through tasks in __set_oom_adj when not necessary From: Suren Baghdasaryan To: surenb@google.com Cc: mhocko@suse.com, christian.brauner@ubuntu.com, mingo@kernel.org, peterz@infradead.org, tglx@linutronix.de, esyr@redhat.com, christian@kellner.me, areber@redhat.com, shakeelb@google.com, cyphar@cyphar.com, oleg@redhat.com, adobriyan@gmail.com, akpm@linux-foundation.org, ebiederm@xmission.com, gladkov.alexey@gmail.com, walken@google.com, daniel.m.jordan@oracle.com, avagin@gmail.com, bernd.edlinger@hotmail.de, john.johansen@canonical.com, laoar.shao@gmail.com, timmurray@google.com, minchan@kernel.org, kernel-team@android.com, linux-kernel@vger.kernel.org, linux-fsdevel@vger.kernel.org, stable@vger.kernel.org, linux-mm@kvack.org, Michal Hocko X-Rspamd-Queue-Id: 9CC4D18229818 X-Spamd-Result: default: False [0.00 / 100.00] X-Rspamd-Server: rspam02 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: Currently __set_oom_adj loops through all processes in the system to keep oom_score_adj and oom_score_adj_min in sync between processes sharing their mm. This is done for any task with more that one mm_users, which includes processes with multiple threads (sharing mm and signals). However for such processes the loop is unnecessary because their signal structure is shared as well. Android updates oom_score_adj whenever a tasks changes its role (background/foreground/...) or binds to/unbinds from a service, making it more/less important. Such operation can happen frequently. We noticed that updates to oom_score_adj became more expensive and after further investigation found out that the patch mentioned in "Fixes" introduced a regression. Using Pixel 4 with a typical Android workload, write time to oom_score_adj increased from ~3.57us to ~362us. Moreover this regression linearly depends on the number of multi-threaded processes running on the system. Mark the mm with a new MMF_MULTIPROCESS flag bit when task is created with (CLONE_VM && !CLONE_THREAD && !CLONE_VFORK). Change __set_oom_adj to use MMF_MULTIPROCESS instead of mm_users to decide whether oom_score_adj update should be synchronized between multiple processes. To prevent races between clone() and __set_oom_adj(), when oom_score_adj of the process being cloned might be modified from userspace, we use oom_adj_mutex. Its scope is changed to global. The combination of (CLONE_VM && !CLONE_THREAD) is rarely used except for the case of vfork(). To prevent performance regressions of vfork(), we skip taking oom_adj_mutex and setting MMF_MULTIPROCESS when CLONE_VFORK is specified. Clearing the MMF_MULTIPROCESS flag (when the last process sharing the mm exits) is left out of this patch to keep it simple and because it is believed that this threading model is rare. Should there ever be a need for optimizing that case as well, it can be done by hooking into the exit path, likely following the mm_update_next_owner pattern. With the combination of (CLONE_VM && !CLONE_THREAD && !CLONE_VFORK) being quite rare, the regression is gone after the change is applied. Fixes: 44a70adec910 ("mm, oom_adj: make sure processes sharing mm have same view of oom_score_adj") Reported-by: Tim Murray Debugged-by: Minchan Kim Suggested-by: Michal Hocko Signed-off-by: Suren Baghdasaryan Acked-by: Michal Hocko Acked-by: Christian Brauner Acked-by: Oleg Nesterov --- v3: - Addressed Eric Biederman's comments from: https://lore.kernel.org/linux-mm/87imd6n0qk.fsf@x220.int.ebiederm.org/ -- renabled oom_adj_lock back to oom_adj_mutex -- renamed MMF_PROC_SHARED into MMF_MULTIPROCESS and fixed its comment - Updated description to reflect the change v2: - https://lore.kernel.org/linux-mm/20200824153036.3201505-1-surenb@google.com/ - Implemented proposal from Michal Hocko in: https://lore.kernel.org/linux-fsdevel/20200820124109.GI5033@dhcp22.suse.cz/ - Updated description to reflect the change v1: - https://lore.kernel.org/linux-mm/20200820002053.1424000-1-surenb@google.com/ fs/proc/base.c | 3 +-- include/linux/oom.h | 1 + include/linux/sched/coredump.h | 1 + kernel/fork.c | 21 +++++++++++++++++++++ mm/oom_kill.c | 2 ++ 5 files changed, 26 insertions(+), 2 deletions(-) diff --git a/fs/proc/base.c b/fs/proc/base.c index 617db4e0faa0..aa69c35d904c 100644 --- a/fs/proc/base.c +++ b/fs/proc/base.c @@ -1055,7 +1055,6 @@ static ssize_t oom_adj_read(struct file *file, char __user *buf, size_t count, static int __set_oom_adj(struct file *file, int oom_adj, bool legacy) { - static DEFINE_MUTEX(oom_adj_mutex); struct mm_struct *mm = NULL; struct task_struct *task; int err = 0; @@ -1095,7 +1094,7 @@ static int __set_oom_adj(struct file *file, int oom_adj, bool legacy) struct task_struct *p = find_lock_task_mm(task); if (p) { - if (atomic_read(&p->mm->mm_users) > 1) { + if (test_bit(MMF_MULTIPROCESS, &p->mm->flags)) { mm = p->mm; mmgrab(mm); } diff --git a/include/linux/oom.h b/include/linux/oom.h index f022f581ac29..2db9a1432511 100644 --- a/include/linux/oom.h +++ b/include/linux/oom.h @@ -55,6 +55,7 @@ struct oom_control { }; extern struct mutex oom_lock; +extern struct mutex oom_adj_mutex; static inline void set_current_oom_origin(void) { diff --git a/include/linux/sched/coredump.h b/include/linux/sched/coredump.h index ecdc6542070f..dfd82eab2902 100644 --- a/include/linux/sched/coredump.h +++ b/include/linux/sched/coredump.h @@ -72,6 +72,7 @@ static inline int get_dumpable(struct mm_struct *mm) #define MMF_DISABLE_THP 24 /* disable THP for all VMAs */ #define MMF_OOM_VICTIM 25 /* mm is the oom victim */ #define MMF_OOM_REAP_QUEUED 26 /* mm was queued for oom_reaper */ +#define MMF_MULTIPROCESS 27 /* mm is shared between processes */ #define MMF_DISABLE_THP_MASK (1 << MMF_DISABLE_THP) #define MMF_INIT_MASK (MMF_DUMPABLE_MASK | MMF_DUMP_FILTER_MASK |\ diff --git a/kernel/fork.c b/kernel/fork.c index 4d32190861bd..6129a88c19ad 100644 --- a/kernel/fork.c +++ b/kernel/fork.c @@ -1809,6 +1809,25 @@ static __always_inline void delayed_free_task(struct task_struct *tsk) free_task(tsk); } +static void copy_oom_score_adj(u64 clone_flags, struct task_struct *tsk) +{ + /* Skip if kernel thread */ + if (!tsk->mm) + return; + + /* Skip if spawning a thread or using vfork */ + if ((clone_flags & (CLONE_VM | CLONE_THREAD | CLONE_VFORK)) != CLONE_VM) + return; + + /* We need to synchronize with __set_oom_adj */ + mutex_lock(&oom_adj_mutex); + set_bit(MMF_MULTIPROCESS, &tsk->mm->flags); + /* Update the values in case they were changed after copy_signal */ + tsk->signal->oom_score_adj = current->signal->oom_score_adj; + tsk->signal->oom_score_adj_min = current->signal->oom_score_adj_min; + mutex_unlock(&oom_adj_mutex); +} + /* * This creates a new process as a copy of the old one, * but does not actually start it yet. @@ -2281,6 +2300,8 @@ static __latent_entropy struct task_struct *copy_process( trace_task_newtask(p, clone_flags); uprobe_copy_process(p, clone_flags); + copy_oom_score_adj(clone_flags, p); + return p; bad_fork_cancel_cgroup: diff --git a/mm/oom_kill.c b/mm/oom_kill.c index e90f25d6385d..8b84661a6410 100644 --- a/mm/oom_kill.c +++ b/mm/oom_kill.c @@ -64,6 +64,8 @@ int sysctl_oom_dump_tasks = 1; * and mark_oom_victim */ DEFINE_MUTEX(oom_lock); +/* Serializes oom_score_adj and oom_score_adj_min updates */ +DEFINE_MUTEX(oom_adj_mutex); static inline bool is_memcg_oom(struct oom_control *oc) {