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 kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by smtp.lore.kernel.org (Postfix) with ESMTP id DBF0AC433EF for ; Fri, 10 Dec 2021 13:02:03 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 317F76B0071; Fri, 10 Dec 2021 08:01:53 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id 2A0156B0072; Fri, 10 Dec 2021 08:01:53 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 141256B0074; Fri, 10 Dec 2021 08:01:53 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from forelay.hostedemail.com (smtprelay0123.hostedemail.com [216.40.44.123]) by kanga.kvack.org (Postfix) with ESMTP id 008606B0071 for ; Fri, 10 Dec 2021 08:01:52 -0500 (EST) Received: from smtpin28.hostedemail.com (10.5.19.251.rfc1918.com [10.5.19.251]) by forelay04.hostedemail.com (Postfix) with ESMTP id B86EE7CCE5 for ; Fri, 10 Dec 2021 13:01:42 +0000 (UTC) X-FDA: 78901896444.28.DBA6F51 Received: from galois.linutronix.de (Galois.linutronix.de [193.142.43.55]) by imf01.hostedemail.com (Postfix) with ESMTP id 7C5C14001B for ; Fri, 10 Dec 2021 13:01:34 +0000 (UTC) Date: Fri, 10 Dec 2021 14:01:32 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linutronix.de; s=2020; t=1639141294; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=XNlggrwdxU2IO35iIw34nGX4eaR6cSUi5G5TgF7sVRU=; b=FxdZ93dzBwccssU1Jn4Fw0Q+frnksamu020mgTYBG7dsvQY/AOQX3CzvAjaZLDOD9IMXvb GePbIbeGm45IefXJs6/wz6KizHVylKCTSy5gbmQfof64Tb3cZXOW8qX5zLn4F0+ol5+ZY4 Ln9XSVz4Wt/ReZ+81ZNgp933y8hjkuP2zbWyjLlN1Vo+4Pje+1Fn4Z4fSDQElZ5rvKsQ1K wFvJ3KzkgRGj97JuQQPGnEFVLFQIVZPBL2dc3Ewt+7WnHIBRELmdqSrWhayk9K6p2FrV1m BZpP5nAbCv91mpAcPYmGlNBUCTqjFBVtw/02gb8t0uNKS7gqwqRpeRIbZP9KCQ== DKIM-Signature: v=1; a=ed25519-sha256; c=relaxed/relaxed; d=linutronix.de; s=2020e; t=1639141294; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=XNlggrwdxU2IO35iIw34nGX4eaR6cSUi5G5TgF7sVRU=; b=mEULxooEnU4502J3ZNOj8iBBPuXwd1P1XAtsCS5qSs54GrXINbBoe1fOeeYzUdY3JxFmN4 TUekS4bmjzb1YQBw== From: Sebastian Andrzej Siewior To: Waiman Long Cc: Johannes Weiner , Michal Hocko , Vladimir Davydov , Andrew Morton , linux-kernel@vger.kernel.org, cgroups@vger.kernel.org, linux-mm@kvack.org, Thomas Gleixner , Peter Zijlstra Subject: Re: [PATCH-next v2] mm/memcg: Properly handle memcg_stock access for PREEMPT_RT Message-ID: References: <20211210025228.158196-1-longman@redhat.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable In-Reply-To: <20211210025228.158196-1-longman@redhat.com> X-Rspamd-Server: rspam07 X-Rspamd-Queue-Id: 7C5C14001B X-Stat-Signature: z3wwkn4pyuj7yt4w1ygijc31psfy3ym3 Authentication-Results: imf01.hostedemail.com; dkim=pass header.d=linutronix.de header.s=2020 header.b=FxdZ93dz; dkim=pass header.d=linutronix.de header.s=2020e header.b=mEULxooE; spf=pass (imf01.hostedemail.com: domain of bigeasy@linutronix.de designates 193.142.43.55 as permitted sender) smtp.mailfrom=bigeasy@linutronix.de; dmarc=pass (policy=none) header.from=linutronix.de X-HE-Tag: 1639141294-486661 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: On 2021-12-09 21:52:28 [-0500], Waiman Long wrote: =E2=80=A6 > --- a/mm/memcontrol.c > +++ b/mm/memcontrol.c =E2=80=A6 > @@ -2210,7 +2211,7 @@ static void refill_stock(struct mem_cgroup *memcg, = unsigned int nr_pages) > struct memcg_stock_pcp *stock; > unsigned long flags; > =20 > - local_irq_save(flags); > + local_lock_irqsave(&memcg_stock.lock, flags); Why is this one using the lock? It isn't accessing irq_obj, right? > stock =3D this_cpu_ptr(&memcg_stock); > if (stock->cached !=3D memcg) { /* reset if necessary */ > @@ -2779,29 +2780,28 @@ static struct mem_cgroup *get_mem_cgroup_from_obj= cg(struct obj_cgroup *objcg) > * which is cheap in non-preempt kernel. The interrupt context object st= ock > * can only be accessed after disabling interrupt. User context code can > * access interrupt object stock, but not vice versa. > + * > + * This task and interrupt context optimization is disabled for PREEMPT_= RT > + * as there is no performance gain in this case. > */ > static inline struct obj_stock *get_obj_stock(unsigned long *pflags) > { > - struct memcg_stock_pcp *stock; > - > - if (likely(in_task())) { > + if (likely(in_task()) && !IS_ENABLED(CONFIG_PREEMPT_RT)) { > *pflags =3D 0UL; > preempt_disable(); > - stock =3D this_cpu_ptr(&memcg_stock); > - return &stock->task_obj; > + return this_cpu_ptr(&memcg_stock.task_obj); > } We usually add the local_lock_t to the object it protects, struct obj_stock it this case. That would give you two different locks (instead of one) so you wouldn't have to use preempt_disable() to avoid lockdep's complains. Also it would warn you if you happen to use that obj_stock in !in_task() which is isn't possible now. The only downside would be that drain_local_stock() needs to acquire two locks. > =20 > - local_irq_save(*pflags); > - stock =3D this_cpu_ptr(&memcg_stock); > - return &stock->irq_obj; > + local_lock_irqsave(&memcg_stock.lock, *pflags); > + return this_cpu_ptr(&memcg_stock.irq_obj); > } > =20 > static inline void put_obj_stock(unsigned long flags) > { > - if (likely(in_task())) > + if (likely(in_task()) && !IS_ENABLED(CONFIG_PREEMPT_RT)) > preempt_enable(); > else > - local_irq_restore(flags); > + local_unlock_irqrestore(&memcg_stock.lock, flags); > } > =20 > /* Sebastian