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 X-Spam-Level: X-Spam-Status: No, score=-1.0 required=3.0 tests=MAILING_LIST_MULTI, SPF_HELO_NONE,SPF_PASS autolearn=no autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 7BF0CC3F68F for ; Wed, 22 Jan 2020 08:14:11 +0000 (UTC) Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by mail.kernel.org (Postfix) with ESMTP id 4A6AA24655 for ; Wed, 22 Jan 2020 08:14:11 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 4A6AA24655 Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=kernel.org Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=owner-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix) id D73B46B0007; Wed, 22 Jan 2020 03:14:10 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id D24726B0008; Wed, 22 Jan 2020 03:14:10 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id C39BE6B000A; Wed, 22 Jan 2020 03:14:10 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from forelay.hostedemail.com (smtprelay0117.hostedemail.com [216.40.44.117]) by kanga.kvack.org (Postfix) with ESMTP id ABDD16B0007 for ; Wed, 22 Jan 2020 03:14:10 -0500 (EST) Received: from smtpin19.hostedemail.com (10.5.19.251.rfc1918.com [10.5.19.251]) by forelay04.hostedemail.com (Postfix) with SMTP id 63142249A for ; Wed, 22 Jan 2020 08:14:10 +0000 (UTC) X-FDA: 76404557460.19.quilt73_7bac819199323 X-HE-Tag: quilt73_7bac819199323 X-Filterd-Recvd-Size: 6475 Received: from mail-wr1-f68.google.com (mail-wr1-f68.google.com [209.85.221.68]) by imf21.hostedemail.com (Postfix) with ESMTP for ; Wed, 22 Jan 2020 08:14:09 +0000 (UTC) Received: by mail-wr1-f68.google.com with SMTP id g17so6234063wro.2 for ; Wed, 22 Jan 2020 00:14:09 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:cc:subject:message-id:references :mime-version:content-disposition:in-reply-to; bh=Xc1OE301adpCBNtCcujnxgV30fLuT/0jt7wsYeyWTiw=; b=ELsUaucZhniCrqnXCa9aGO9Hoc9GmovQxLaprxCymLhwdYmK3uRZwKgTSZrb2Yk7EP 2uxuzYCNT0NLw8akzubwM1ZneE0aW681uhTevK9RVJZwcUWKLEQdp3JmXPAoFfRVnTXB uwlaaK0ns1agXgOUe7Ui+8Qu/qH8KisDZNv9/VAt2qvQuWB6b1eXtZrHHYCaAUsHaFDM lcogJG4DQTE2Dk6FwIDkhlBa+WXdcxMXOGqHbVj4aOaALfC1ymNRJbuqiDfX5uYhoLNg sA6EzfP27NCI75YO+kHe0qBqTTvz7H/xPwH1GKBfD2VU2kGRy1TUQJYMS11KN+2EyKAM xq/g== X-Gm-Message-State: APjAAAUPpSXHlrF+ENVdGP5JJDPr1jerMOhtIF18HYHjTYNiFLwcly+q 6yRGJJpNgvzGxRJRquZq+QA= X-Google-Smtp-Source: APXvYqyOheT4FKJM36xAAG9yMCEXeHGMeg+EQx4a7xD4e+fUU9QX1mOCKWXFyYyYhjo0+Jhd7Q+x3g== X-Received: by 2002:a05:6000:1187:: with SMTP id g7mr9774091wrx.109.1579680848513; Wed, 22 Jan 2020 00:14:08 -0800 (PST) Received: from localhost (ip-37-188-245-167.eurotel.cz. [37.188.245.167]) by smtp.gmail.com with ESMTPSA id t25sm2838897wmj.19.2020.01.22.00.14.07 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 22 Jan 2020 00:14:07 -0800 (PST) Date: Wed, 22 Jan 2020 09:14:06 +0100 From: Michal Hocko To: David Rientjes Cc: Andrew Morton , Wei Yang , hannes@cmpxchg.org, vdavydov.dev@gmail.com, ktkhai@virtuozzo.com, kirill.shutemov@linux.intel.com, yang.shi@linux.alibaba.com, cgroups@vger.kernel.org, linux-mm@kvack.org, linux-kernel@vger.kernel.org, alexander.duyck@gmail.com, stable@vger.kernel.org Subject: Re: [Patch v4] mm: thp: remove the defer list related code since this will not happen Message-ID: <20200122081406.GO29276@dhcp22.suse.cz> References: <20200117233836.3434-1-richardw.yang@linux.intel.com> <20200118145421.0ab96d5d9bea21a3339d52fe@linux-foundation.org> <20200120072237.GA18451@dhcp22.suse.cz> <20200120212726.GB29276@dhcp22.suse.cz> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: 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 Tue 21-01-20 15:08:39, David Rientjes wrote: > On Mon, 20 Jan 2020, Michal Hocko wrote: > > > > > > When migrating memcg charges of thp memory, there are two possibilities: > > > > > > > > > > (1) The underlying compound page is mapped by a pmd and thus does is not > > > > > on a deferred split queue (it's mapped), or > > > > > > > > > > (2) The compound page is not mapped by a pmd and is awaiting split on a > > > > > deferred split queue. > > > > > > > > > > The current charge migration implementation does *not* migrate charges for > > > > > thp memory on the deferred split queue, it only migrates charges for pages > > > > > that are mapped by a pmd. > > > > > > > > > > Thus, to migrate charges, the underlying compound page cannot be on a > > > > > deferred split queue; no list manipulation needs to be done in > > > > > mem_cgroup_move_account(). > > > > > > > > > > With the current code, the underlying compound page is moved to the > > > > > deferred split queue of the memcg its memory is not charged to, so > > > > > susbequent reclaim will consider these pages for the wrong memcg. Remove > > > > > the deferred split queue handling in mem_cgroup_move_account() entirely. > > > > > > > > I believe this still doesn't describe the underlying problem to the full > > > > extent. What happens with the page on the deferred list when it > > > > shouldn't be there in fact? Unless I am missing something deferred_split_scan > > > > will simply split that huge page. Which is a bit unfortunate but nothing > > > > really critical. This should be mentioned in the changelog. > > > > > > > > > > Are you referring to a compound page on the deferred split queue before a > > > task is moved? I'm not sure this is within the scope of Wei's patch.. > > > this is simply preventing a page from being moved to the deferred split > > > queue of a memcg that it is not charged to. Is there a concern about why > > > this code can be removed or a suggestion on something else it should be > > > doing instead? > > > > No, I do not have any concern about the patch itslef. It is that the > > changelog doesn't decribe the user visible effect. All I am saying is > > that the current code splits THPs of moved pages under memory pressure > > even if that is not needed. And that is a clear bug. > > Ah, gotcha. I tried to do this in the final paragraph of my amedment to > Wei's patch and why it's important that this is marked as stable. I considered "susbequent reclaim will consider these pages for the wrong memcg." quite unclear TBH. > The current code in 5.4 from commit 87eaceb3faa59 places any migrated > compound page onto the deferred split queue of the destination memcg > regardless of whether it has a mapping pmd > (list_empty(page_deferred_list()) was already false) or it does not have a > mapping pmd (but is now on the wrong queue). For the latter, > can_split_huge_page() can help for the actual split but not for the > removal of the page that is now erroneously on the queue. Does that mean that those fully mapped THPs are not going to be split? > For the former, > memcg reclaim would not see the pages that it should split under memcg > pressure so we'll see the same memcg oom conditions we saw before the > deferred split shrinker became SHRINKER_MEMCG_AWARE: unnecessary ooms. OK, this is yet another user visibile effect and it would be better to mention it explicitly in the changelog. -- Michal Hocko SUSE Labs