From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from bombadil.infradead.org (bombadil.infradead.org [198.137.202.133]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id 32777C004D4 for ; Thu, 19 Jan 2023 19:56:25 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lists.infradead.org; s=bombadil.20210309; h=Sender: Content-Transfer-Encoding:Content-Type:Reply-To:List-Subscribe:List-Help: List-Post:List-Archive:List-Unsubscribe:List-Id:In-Reply-To:MIME-Version: References:Message-ID:Subject:Cc:To:From:Date:Content-ID:Content-Description: Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID: List-Owner; bh=Zdij0gtB9627GyPuB6lYJl1Q4ylJZIYh3RXb5oe43Y8=; b=yJYwRddZ42Wheg bDSwPOqZmmdzEsdly7Qf/99BDyfjEy7jthRHsLt6FMDRq3I/89rMIEqAxI6UgvTaiesJHLJAHhIQp IjhxLW2TiHhQN+JT1i2DAqAC+rIQNN7cjPT3JZOGd3bG5fwrRjpauV+Nd/OiOt4i8HOc9qikirgy3 UohJcGsIwlQ5XOMV5LK1k0kkK9oS18ccNJepk5Hy8J0kbzCw/9wuAUC1NsXqUH0zgS+sO0WhvKRkS 3fcIEv82gSF6GSL9eePSKIVXhKm4tGSKNFQn9NylKIllm6WyM/YmB4MrXXOeKYMYWMgZGHQfYJspw hY8U2jcyGXK7r2uidRpg==; Received: from localhost ([::1] helo=bombadil.infradead.org) by bombadil.infradead.org with esmtp (Exim 4.94.2 #2 (Red Hat Linux)) id 1pIb0G-00754a-8b; Thu, 19 Jan 2023 19:55:16 +0000 Received: from ams.source.kernel.org ([145.40.68.75]) by bombadil.infradead.org with esmtps (Exim 4.94.2 #2 (Red Hat Linux)) id 1pIb06-007523-K9 for linux-arm-kernel@lists.infradead.org; Thu, 19 Jan 2023 19:55:14 +0000 Received: from smtp.kernel.org (relay.kernel.org [52.25.139.140]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ams.source.kernel.org (Postfix) with ESMTPS id EA1D3B82727; Thu, 19 Jan 2023 19:55:04 +0000 (UTC) Received: by smtp.kernel.org (Postfix) with ESMTPSA id 7FE89C433EF; Thu, 19 Jan 2023 19:55:03 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1674158103; bh=EMPBQ4pP3jV2vAFvJnKq8YQhPGbB7BbH0D7DPSSWiE0=; h=Date:From:To:Cc:Subject:Reply-To:References:In-Reply-To:From; b=NXfYK9b7Bf1duGFORs3XSGIs+UMUQmhuwi4YVxvT7G/a3nyhvq5WGGqDvi2Jt4yEC CYTOZC7SC2s5sbih3/HU7vME2OyQq2gao04lm/woIzKWR9ZAuME5yoiZT76tvEu8hY KD/2TqtFC+45YbMMbghKuKW2NZDEpeKMkn5IPB9C6zT63HjYC3lvSzCL46WofWmxqR IbepnruhsHrtTmpmHMTT97T4P70VZLJSmePvbr104ujcjZtUyjrMyTAdUN4QDVPhe4 ZwN+eCEq65ETEcXVtoQ149M5NPDMN14ArNCMZH1F+kzZfsaR/80+AdiIBYkJGMpyEW WAxZ65/uHOQrQ== Received: by paulmck-ThinkPad-P17-Gen-1.home (Postfix, from userid 1000) id 18A4D5C1A49; Thu, 19 Jan 2023 11:55:03 -0800 (PST) Date: Thu, 19 Jan 2023 11:55:03 -0800 From: "Paul E. McKenney" To: Suren Baghdasaryan Cc: Michal Hocko , akpm@linux-foundation.org, michel@lespinasse.org, jglisse@google.com, vbabka@suse.cz, hannes@cmpxchg.org, mgorman@techsingularity.net, dave@stgolabs.net, willy@infradead.org, liam.howlett@oracle.com, peterz@infradead.org, ldufour@linux.ibm.com, laurent.dufour@fr.ibm.com, luto@kernel.org, songliubraving@fb.com, peterx@redhat.com, david@redhat.com, dhowells@redhat.com, hughd@google.com, bigeasy@linutronix.de, kent.overstreet@linux.dev, punit.agrawal@bytedance.com, lstoakes@gmail.com, peterjung1337@gmail.com, rientjes@google.com, axelrasmussen@google.com, joelaf@google.com, minchan@google.com, jannh@google.com, shakeelb@google.com, tatashin@google.com, edumazet@google.com, gthelen@google.com, gurua@google.com, arjunroy@google.com, soheil@google.com, hughlynch@google.com, leewalsh@google.com, posk@google.com, linux-mm@kvack.org, linux-arm-kernel@lists.infradead.org, linuxppc-dev@lists.ozlabs.org, x86@kernel.org, linux-kernel@vger.kernel.org, kernel-team@android.com Subject: Re: [PATCH 39/41] kernel/fork: throttle call_rcu() calls in vm_area_free Message-ID: <20230119195503.GY2948950@paulmck-ThinkPad-P17-Gen-1> References: <20230109205336.3665937-1-surenb@google.com> <20230109205336.3665937-40-surenb@google.com> <20230119192002.GX2948950@paulmck-ThinkPad-P17-Gen-1> MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: X-CRM114-Version: 20100106-BlameMichelson ( TRE 0.8.0 (BSD) ) MR-646709E3 X-CRM114-CacheID: sfid-20230119_115511_184582_78518803 X-CRM114-Status: GOOD ( 45.10 ) X-BeenThere: linux-arm-kernel@lists.infradead.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: paulmck@kernel.org Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Sender: "linux-arm-kernel" Errors-To: linux-arm-kernel-bounces+linux-arm-kernel=archiver.kernel.org@lists.infradead.org On Thu, Jan 19, 2023 at 11:47:36AM -0800, Suren Baghdasaryan wrote: > On Thu, Jan 19, 2023 at 11:20 AM Paul E. McKenney wrote: > > > > On Thu, Jan 19, 2023 at 10:52:03AM -0800, Suren Baghdasaryan wrote: > > > On Thu, Jan 19, 2023 at 4:59 AM Michal Hocko wrote: > > > > > > > > On Mon 09-01-23 12:53:34, Suren Baghdasaryan wrote: > > > > > call_rcu() can take a long time when callback offloading is enabled. > > > > > Its use in the vm_area_free can cause regressions in the exit path when > > > > > multiple VMAs are being freed. To minimize that impact, place VMAs into > > > > > a list and free them in groups using one call_rcu() call per group. > > > > > > > > After some more clarification I can understand how call_rcu might not be > > > > super happy about thousands of callbacks to be invoked and I do agree > > > > that this is not really optimal. > > > > > > > > On the other hand I do not like this solution much either. > > > > VM_AREA_FREE_LIST_MAX is arbitrary and it won't really help all that > > > > much with processes with a huge number of vmas either. It would still be > > > > in housands of callbacks to be scheduled without a good reason. > > > > > > > > Instead, are there any other cases than remove_vma that need this > > > > batching? We could easily just link all the vmas into linked list and > > > > use a single call_rcu instead, no? This would both simplify the > > > > implementation, remove the scaling issue as well and we do not have to > > > > argue whether VM_AREA_FREE_LIST_MAX should be epsilon or epsilon + 1. > > > > > > Yes, I agree the solution is not stellar. I wanted something simple > > > but this is probably too simple. OTOH keeping all dead vm_area_structs > > > on the list without hooking up a shrinker (additional complexity) does > > > not sound too appealing either. WDYT about time domain throttling to > > > limit draining the list to say once per second like this: > > > > > > void vm_area_free(struct vm_area_struct *vma) > > > { > > > struct mm_struct *mm = vma->vm_mm; > > > bool drain; > > > > > > free_anon_vma_name(vma); > > > > > > spin_lock(&mm->vma_free_list.lock); > > > list_add(&vma->vm_free_list, &mm->vma_free_list.head); > > > mm->vma_free_list.size++; > > > - drain = mm->vma_free_list.size > VM_AREA_FREE_LIST_MAX; > > > + drain = jiffies > mm->last_drain_tm + HZ; > > > > > > spin_unlock(&mm->vma_free_list.lock); > > > > > > - if (drain) > > > + if (drain) { > > > drain_free_vmas(mm); > > > + mm->last_drain_tm = jiffies; > > > + } > > > } > > > > > > Ultimately we want to prevent very frequent call_rcu() calls, so > > > throttling in the time domain seems appropriate. That's the simplest > > > way I can think of to address your concern about a quick spike in VMA > > > freeing. It does not place any restriction on the list size and we > > > might have excessive dead vm_area_structs if after a large spike there > > > are no vm_area_free() calls but I don't know if that's a real problem, > > > so not sure we should be addressing it at this time. WDYT? > > > > Just to double-check, we really did try the very frequent call_rcu() > > invocations and we really did see a problem, correct? > > Correct. More specifically with CONFIG_RCU_NOCB_CPU=y we saw > regressions when a process exits and all its VMAs get destroyed, > causing a flood of call_rcu()'s. Thank you for the reminder, real problem needs solution. ;-) Thanx, Paul > > Although it is not perfect, call_rcu() is designed to take a fair amount > > of abuse. So if we didn't see a real problem, the frequent call_rcu() > > invocations might be a bit simpler. _______________________________________________ linux-arm-kernel mailing list linux-arm-kernel@lists.infradead.org http://lists.infradead.org/mailman/listinfo/linux-arm-kernel