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 vger.kernel.org (vger.kernel.org [23.128.96.18]) by smtp.lore.kernel.org (Postfix) with ESMTP id 59309C433FE for ; Wed, 6 Apr 2022 10:39:35 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1348269AbiDFKlY (ORCPT ); Wed, 6 Apr 2022 06:41:24 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:50720 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1354092AbiDFKj6 (ORCPT ); Wed, 6 Apr 2022 06:39:58 -0400 Received: from mail-il1-x133.google.com (mail-il1-x133.google.com [IPv6:2607:f8b0:4864:20::133]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 8C1764F9164 for ; Wed, 6 Apr 2022 00:05:15 -0700 (PDT) Received: by mail-il1-x133.google.com with SMTP id x9so1277627ilc.3 for ; Wed, 06 Apr 2022 00:05:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20210112; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=8brfd4/xj9n/UUbz1QgkS/+4GSIqfRVY8lKR+Ve02ZQ=; b=JdmbHxbY+8JX8cz01LU1ksij0DZUUY5x8192E1h/BvzuCqmGoiCxSLWZGq/eUFalNQ FvgdOGyW7HR22BregNT2UoSHD0vPqGHLrJwx1aDv9q7U873nHfCuf78RsyUSc+ZcGqrt ARFSoeUGxNOaJsAmv9OWIFVADgnLvreKjzgQ+X/UgBgUjdshdt69STvqXE9ryra9YXcz tlOgUvoN7+ICqARPWqV/H1thtHogeFL8pChzPVxluHKwcdyMd31i0hpCMkVFNkPxtF4+ fsNuURlQa2SOtu4YVpsWQIIbmR0826UtJrMtvsmG4M6irpThm4Ca+kXyxBahGpgu1NTy WtYw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=8brfd4/xj9n/UUbz1QgkS/+4GSIqfRVY8lKR+Ve02ZQ=; b=5radINduU3LTbusAnYOjkiWYVEQg+gNjm6zPb6CqM1hG1TyUyJb50gFlKc7tbmxSjY CNsT/uk65azoKoFpkTvjZEgOAa90m8AYdCjNAvPuB4YspaHrhZM+5i//ugNcIYlKf4f8 5wHj9699yrZtE6Q3p0TZMgvsU5f/Uk+3FebzGfMfl4XQNBsjkF1uBCGV3qw1eKm8Oj7H 2ZB/KyFAvV1Spm+FM79HK8MifzI4CplVkZKTO6qAWpyKKjBCk0hS6zP/UtcKwSk3oGYw Vwfa5KkzQbgrARnLjFs1vR2q2kqBrIFwDSWvG0BTR6dPcuNbD8GnCHxO/OmPF9dsUl6j 3gMw== X-Gm-Message-State: AOAM533YTDAoyP+PCR+VCKNvLWp2q7feAJ1VpJf3EuI7IlGTxksJOecW ALHbOicNAyhYz4CeioQwe0bQfuS7kQUx5jWm2215gQ== X-Google-Smtp-Source: ABdhPJyrivXGrt8+ghdHPltEhU5fpHsONeQ1s+2axYkZ4w0Kr/omf9D2IlBFQgtQEsUmDyutKX0N/t/HwMpd6fu5qzY= X-Received: by 2002:a92:cd8b:0:b0:2c9:ded9:f20d with SMTP id r11-20020a92cd8b000000b002c9ded9f20dmr3307152ilb.300.1649228714777; Wed, 06 Apr 2022 00:05:14 -0700 (PDT) MIME-Version: 1.0 References: <20220331084151.2600229-1-yosryahmed@google.com> <87y20nzyw4.fsf@yhuang6-desk2.ccr.corp.intel.com> <87o81fujdc.fsf@yhuang6-desk2.ccr.corp.intel.com> <87bkxfudrk.fsf@yhuang6-desk2.ccr.corp.intel.com> <877d82vi13.fsf@yhuang6-desk2.ccr.corp.intel.com> In-Reply-To: <877d82vi13.fsf@yhuang6-desk2.ccr.corp.intel.com> From: Wei Xu Date: Wed, 6 Apr 2022 00:05:03 -0700 Message-ID: Subject: Re: [PATCH resend] memcg: introduce per-memcg reclaim interface To: "Huang, Ying" Cc: Michal Hocko , Yosry Ahmed , Johannes Weiner , Shakeel Butt , Andrew Morton , David Rientjes , Tejun Heo , Zefan Li , Roman Gushchin , Cgroups , "open list:DOCUMENTATION" , Linux Kernel Mailing List , Linux MM , Jonathan Corbet , Yu Zhao , Dave Hansen , Greg Thelen , Tim Chen Content-Type: text/plain; charset="UTF-8" Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Tue, Apr 5, 2022 at 11:32 PM Huang, Ying wrote: > > Wei Xu writes: > > > On Tue, Apr 5, 2022 at 7:50 PM Huang, Ying wrote: > >> > >> Wei Xu writes: > >> > >> > On Tue, Apr 5, 2022 at 5:49 PM Huang, Ying wrote: > >> >> > >> >> Wei Xu writes: > >> >> > >> >> > On Sat, Apr 2, 2022 at 1:13 AM Huang, Ying wrote: > >> >> >> > >> >> >> Wei Xu writes: > >> >> >> > >> >> >> > On Fri, Apr 1, 2022 at 6:54 AM Michal Hocko wrote: > >> >> >> >> > >> >> >> >> On Thu 31-03-22 08:41:51, Yosry Ahmed wrote: > >> >> >> >> > From: Shakeel Butt > >> >> >> >> > > >> >> >> > >> >> >> [snip] > >> >> >> > >> >> >> >> > Possible Extensions: > >> >> >> >> > -------------------- > >> >> >> >> > > >> >> >> >> > - This interface can be extended with an additional parameter or flags > >> >> >> >> > to allow specifying one or more types of memory to reclaim from (e.g. > >> >> >> >> > file, anon, ..). > >> >> >> >> > > >> >> >> >> > - The interface can also be extended with a node mask to reclaim from > >> >> >> >> > specific nodes. This has use cases for reclaim-based demotion in memory > >> >> >> >> > tiering systens. > >> >> >> >> > > >> >> >> >> > - A similar per-node interface can also be added to support proactive > >> >> >> >> > reclaim and reclaim-based demotion in systems without memcg. > >> >> >> >> > > >> >> >> >> > For now, let's keep things simple by adding the basic functionality. > >> >> >> >> > >> >> >> >> Yes, I am for the simplicity and this really looks like a bare minumum > >> >> >> >> interface. But it is not really clear who do you want to add flags on > >> >> >> >> top of it? > >> >> >> >> > >> >> >> >> I am not really sure we really need a node aware interface for memcg. > >> >> >> >> The global reclaim interface will likely need a different node because > >> >> >> >> we do not want to make this CONFIG_MEMCG constrained. > >> >> >> > > >> >> >> > A nodemask argument for memory.reclaim can be useful for memory > >> >> >> > tiering between NUMA nodes with different performance. Similar to > >> >> >> > proactive reclaim, it can allow a userspace daemon to drive > >> >> >> > memcg-based proactive demotion via the reclaim-based demotion > >> >> >> > mechanism in the kernel. > >> >> >> > >> >> >> I am not sure whether nodemask is a good way for demoting pages between > >> >> >> different types of memory. For example, for a system with DRAM and > >> >> >> PMEM, if specifying DRAM node in nodemask means demoting to PMEM, what > >> >> >> is the meaning of specifying PMEM node? reclaiming to disk? > >> >> >> > >> >> >> In general, I have no objection to the idea in general. But we should > >> >> >> have a clear and consistent interface. Per my understanding the default > >> >> >> memcg interface is for memory, regardless of memory types. The memory > >> >> >> reclaiming means reduce the memory usage, regardless of memory types. > >> >> >> We need to either extending the semantics of memory reclaiming (to > >> >> >> include memory demoting too), or add another interface for memory > >> >> >> demoting. > >> >> > > >> >> > Good point. With the "demote pages during reclaim" patch series, > >> >> > reclaim is already extended to demote pages as well. For example, > >> >> > can_reclaim_anon_pages() returns true if demotion is allowed and > >> >> > shrink_page_list() can demote pages instead of reclaiming pages. > >> >> > >> >> These are in-kernel implementation, not the ABI. So we still have > >> >> the opportunity to define the ABI now. > >> >> > >> >> > Currently, demotion is disabled for memcg reclaim, which I think can > >> >> > be relaxed and also necessary for memcg-based proactive demotion. I'd > >> >> > like to suggest that we extend the semantics of memory.reclaim to > >> >> > cover memory demotion as well. A flag can be used to enable/disable > >> >> > the demotion behavior. > >> >> > >> >> If so, > >> >> > >> >> # echo A > memory.reclaim > >> >> > >> >> means > >> >> > >> >> a) "A" bytes memory are freed from the memcg, regardless demoting is > >> >> used or not. > >> >> > >> >> or > >> >> > >> >> b) "A" bytes memory are reclaimed from the memcg, some of them may be > >> >> freed, some of them may be just demoted from DRAM to PMEM. The total > >> >> number is "A". > >> >> > >> >> For me, a) looks more reasonable. > >> >> > >> > > >> > We can use a DEMOTE flag to control the demotion behavior for > >> > memory.reclaim. If the flag is not set (the default), then > >> > no_demotion of scan_control can be set to 1, similar to > >> > reclaim_pages(). > >> > >> If we have to use a flag to control the behavior, I think it's better to > >> have a separate interface (e.g. memory.demote). But do we really need b)? > >> > > > > I am fine with either approach: a separate interface similar to > > memory.reclaim, but dedicated to demotion, or multiplexing > > memory.reclaim for demotion with a flag. > > > > My understanding is that with the "demote pages during reclaim" > > support, b) is the expected behavior, or more precisely, pages that > > cannot be demoted may be freed or swapped out. This is reasonable. > > Demotion-only can also be supported via some arguments to the > > interface and changes to demotion code in the kernel. After all, this > > interface is being designed to be extensible based on the discussions > > so far. > > I think we should define the interface not from the current > implementation point of view, but from the requirement point of view. > For proactive reclaim, per my understanding, the requirement is, > > we found that there's some cold pages in some workloads, so we can > take advantage of the proactive reclaim to reclaim some pages so that > other workload can use the freed memory. > > For proactive demotion, per my understanding, the requirement could be, > > We found that there's some cold pages in fast memory (e.g. DRAM) in > some workloads, so we can take advantage of the proactive demotion to > demote some pages so that other workload can use the freed fast > memory. Given the DRAM partition support Tim (Cced) is working on. > > Why do we need something in the middle? Maybe there is some misunderstanding. As you said, demotion is to free up fast memory. If pages on fast memory cannot be demoted, but can still be reclaimed to free some fast memory, it is useful, too. Certainly, we can also add the support and configure the policy to only demote, not reclaim, from fast memory in such cases. In any case, we will not reclaim from slow memory for demotion, if that is the middle thing you refer to. This is why nodemask is proposed for memory.reclaim to support the demotion use case. With a separate memory.demote interface and memory tiering topology among NUMA nodes being well defined by the kernel and shared with the userspace, we can omit the nodemask argument. > Best Regards, > Huang, Ying > > >> > The question is then whether we want to rename memory.reclaim to > >> > something more general. I think this name is fine if reclaim-based > >> > demotion is an accepted concept. > >> > >> Best Regards, > >> Huang, Ying