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 C5C00C43334 for ; Wed, 6 Jul 2022 04:19:17 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 25F258E0002; Wed, 6 Jul 2022 00:19:17 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id 20FAC8E0001; Wed, 6 Jul 2022 00:19:17 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 0B1F08E0002; Wed, 6 Jul 2022 00:19:17 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0012.hostedemail.com [216.40.44.12]) by kanga.kvack.org (Postfix) with ESMTP id ED1EA8E0001 for ; Wed, 6 Jul 2022 00:19:16 -0400 (EDT) Received: from smtpin08.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay13.hostedemail.com (Postfix) with ESMTP id BE598604D7 for ; Wed, 6 Jul 2022 04:19:16 +0000 (UTC) X-FDA: 79655370312.08.6775A59 Received: from out1.migadu.com (out1.migadu.com [91.121.223.63]) by imf21.hostedemail.com (Postfix) with ESMTP id 006DF1C0016 for ; Wed, 6 Jul 2022 04:19:15 +0000 (UTC) Date: Tue, 5 Jul 2022 21:19:09 -0700 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linux.dev; s=key1; t=1657081154; 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: in-reply-to:in-reply-to:references:references; bh=76AZv4IrSRET1LqT2uG8cw62wBEBFGdXTLN7yF1z1nI=; b=XuqcFoT3le/cymZAy14Z0rgRPQ4jA5XKdoIpRcatUC6W9ayMAx3vgqiGISURc6uYD0oDve zJHvtxdBZgGzuSo3+6fLtPQBnGgpv4ZI9uht5MRQkwqkDsrwS5citzlSlUhISfxeJJ92Pm 6Js0BecymVQT1MIGpjewORiHmWSZeOM= X-Report-Abuse: Please report any abuse attempt to abuse@migadu.com and include these headers. From: Roman Gushchin To: Yafang Shao Cc: Michal Hocko , Shakeel Butt , Andrew Morton , Johannes Weiner , Muchun Song , Cgroups , Linux MM , bpf Subject: Re: [PATCH] mm: memcontrol: do not miss MEMCG_MAX events for enforced allocations Message-ID: References: <20220702033521.64630-1-roman.gushchin@linux.dev> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Migadu-Flow: FLOW_OUT X-Migadu-Auth-User: linux.dev ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1657081156; a=rsa-sha256; cv=none; b=bCaajiCjzg24MnbSGqoM4Hi9jnZDL9jq67+DQ5/e5EVYTPhmu+jOIm71t6WYYw/255H6D6 r5nKIloXJ+rKf+zQwDgbvfcmcrziEd4jaPtUIO8j/djh5wsSlhcdg3CAKYnY4r3Ui5t3CK QBvXKmpTGXQdaZCrdiMoks/LxyCbbwE= ARC-Authentication-Results: i=1; imf21.hostedemail.com; dkim=pass header.d=linux.dev header.s=key1 header.b=XuqcFoT3; dmarc=pass (policy=none) header.from=linux.dev; spf=pass (imf21.hostedemail.com: domain of roman.gushchin@linux.dev designates 91.121.223.63 as permitted sender) smtp.mailfrom=roman.gushchin@linux.dev ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1657081156; h=from:from:sender: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: in-reply-to:in-reply-to:references:references:dkim-signature; bh=76AZv4IrSRET1LqT2uG8cw62wBEBFGdXTLN7yF1z1nI=; b=wYdLkuJHoQFFsuT0/t8yx3R9lpMT4huPhLiSfA/232/lFpUlMFPoBXVVVPMRAMw7z14o4K 1sxHW/Ovs4mpSCu/ybc4N8lk9cARzXzchLh4wkdvovIoIhK8cr9v7TDv6eQUxrrfjAe8xq Mifl1yVTRhOE/te1Y9gxxGWeKyEPvBE= X-Rspamd-Server: rspam08 X-Rspamd-Queue-Id: 006DF1C0016 X-Rspam-User: Authentication-Results: imf21.hostedemail.com; dkim=pass header.d=linux.dev header.s=key1 header.b=XuqcFoT3; dmarc=pass (policy=none) header.from=linux.dev; spf=pass (imf21.hostedemail.com: domain of roman.gushchin@linux.dev designates 91.121.223.63 as permitted sender) smtp.mailfrom=roman.gushchin@linux.dev X-Stat-Signature: 14o5dr9i5bg9ehdureojt31hehatok4r X-HE-Tag: 1657081155-110564 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 Wed, Jul 06, 2022 at 12:02:49PM +0800, Yafang Shao wrote: > On Wed, Jul 6, 2022 at 11:56 AM Roman Gushchin wrote: > > > > On Wed, Jul 06, 2022 at 11:42:50AM +0800, Yafang Shao wrote: > > > On Wed, Jul 6, 2022 at 11:28 AM Roman Gushchin wrote: > > > > > > > > On Wed, Jul 06, 2022 at 10:46:48AM +0800, Yafang Shao wrote: > > > > > On Wed, Jul 6, 2022 at 4:49 AM Roman Gushchin wrote: > > > > > > > > > > > > On Mon, Jul 04, 2022 at 05:07:30PM +0200, Michal Hocko wrote: > > > > > > > On Sat 02-07-22 08:39:14, Roman Gushchin wrote: > > > > > > > > On Fri, Jul 01, 2022 at 10:50:40PM -0700, Shakeel Butt wrote: > > > > > > > > > On Fri, Jul 1, 2022 at 8:35 PM Roman Gushchin wrote: > > > > > > > > > > > > > > > > > > > > Yafang Shao reported an issue related to the accounting of bpf > > > > > > > > > > memory: if a bpf map is charged indirectly for memory consumed > > > > > > > > > > from an interrupt context and allocations are enforced, MEMCG_MAX > > > > > > > > > > events are not raised. > > > > > > > > > > > > > > > > > > > > It's not/less of an issue in a generic case because consequent > > > > > > > > > > allocations from a process context will trigger the reclaim and > > > > > > > > > > MEMCG_MAX events. However a bpf map can belong to a dying/abandoned > > > > > > > > > > memory cgroup, so it might never happen. > > > > > > > > > > > > > > > > > > The patch looks good but the above sentence is confusing. What might > > > > > > > > > never happen? Reclaim or MAX event on dying memcg? > > > > > > > > > > > > > > > > Direct reclaim and MAX events. I agree it might be not clear without > > > > > > > > looking into the code. How about something like this? > > > > > > > > > > > > > > > > "It's not/less of an issue in a generic case because consequent > > > > > > > > allocations from a process context will trigger the direct reclaim > > > > > > > > and MEMCG_MAX events will be raised. However a bpf map can belong > > > > > > > > to a dying/abandoned memory cgroup, so there will be no allocations > > > > > > > > from a process context and no MEMCG_MAX events will be triggered." > > > > > > > > > > > > > > Could you expand little bit more on the situation? Can those charges to > > > > > > > offline memcg happen indefinetely? > > > > > > > > > > > > Yes. > > > > > > > > > > > > > How can it ever go away then? > > > > > > > > > > > > Bpf map should be deleted by a user first. > > > > > > > > > > > > > > > > It can't apply to pinned bpf maps, because the user expects the bpf > > > > > maps to continue working after the user agent exits. > > > > > > > > > > > > Also is this something that we actually want to encourage? > > > > > > > > > > > > Not really. We can implement reparenting (probably objcg-based), I think it's > > > > > > a good idea in general. I can take a look, but can't promise it will be fast. > > > > > > > > > > > > In thory we can't forbid deleting cgroups with associated bpf maps, but I don't > > > > > > thinks it's a good idea. > > > > > > > > > > > > > > > > Agreed. It is not a good idea. > > > > > > > > > > > > In other words shouldn't those remote charges be redirected when the > > > > > > > target memcg is offline? > > > > > > > > > > > > Reparenting is the best answer I have. > > > > > > > > > > > > > > > > At the cost of increasing the complexity of deployment, that may not > > > > > be a good idea neither. > > > > > > > > What do you mean? Can you please elaborate on it? > > > > > > > > > > parent memcg > > > | > > > bpf memcg <- limit the memory size of bpf > > > programs > > > / \ > > > bpf user agent pinned bpf program > > > > > > After bpf user agents exit, the bpf memcg will be dead, and then all > > > its memory will be reparented. > > > That is okay for preallocated bpf maps, but not okay for > > > non-preallocated bpf maps. > > > Because the bpf maps will continue to charge, but as all its memory > > > and objcg are reparented, so we have to limit the bpf memory size in > > > the parent as follows, > > > > So you're relying on the memory limit of a dying cgroup? > > No. I didn't say it. What I said is you can't use a dying cgroup to > limit it, that's why I said that we have to use parant memcg to limit > it. > > > Sorry, but I don't think we can seriously discuss such a design. > > A dying cgroup is invisible for a user, a user can't change any tunables, > > they have zero visibility into any stats or charges. Why would you do this? > > > > If you want the cgroup to be an active part of the memory management > > process, don't delete it. There are exactly zero guarantees about what > > happens with a memory cgroup after being deleted by a user, it's all > > implementation details. > > > > Anyway, here is the patch for reparenting bpf maps: > > https://github.com/rgushchin/linux/commit/f57df8bb35770507a4624fe52216b6c14f39c50c > > > > I gonna post it to bpf@ after some testing. > > > > I will take a look at it. > But AFAIK the reparenting can't resolve the problem of non-preallocated maps. Sorry, what's the problem then? Michal asked how we can prevent an indefinite pinning of a dying memcg by an associated bpf map being used by other processes, and I guess the objcg-based reparenting is the best answer here. You said it will complicate the deployment? What does it mean? >From a user's POV there is no visible difference. What am I missing here? Yes, if we reparent the bpf map, memory.max of the original memory cgroup will not apply, but as I said, if you want it to be effective, don't delete the cgroup. Thanks!