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 0A3F6C433EF for ; Tue, 22 Mar 2022 04:39:34 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 742898D0001; Tue, 22 Mar 2022 00:39:34 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id 6C9246B0073; Tue, 22 Mar 2022 00:39:34 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 520148D0001; Tue, 22 Mar 2022 00:39:34 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from forelay.hostedemail.com (smtprelay0128.hostedemail.com [216.40.44.128]) by kanga.kvack.org (Postfix) with ESMTP id 3B3226B0072 for ; Tue, 22 Mar 2022 00:39:34 -0400 (EDT) Received: from smtpin30.hostedemail.com (10.5.19.251.rfc1918.com [10.5.19.251]) by forelay04.hostedemail.com (Postfix) with ESMTP id E3C7EA3098 for ; Tue, 22 Mar 2022 04:39:33 +0000 (UTC) X-FDA: 79270768626.30.9FDA903 Received: from mail-vs1-f45.google.com (mail-vs1-f45.google.com [209.85.217.45]) by imf29.hostedemail.com (Postfix) with ESMTP id 6522D12001A for ; Tue, 22 Mar 2022 04:39:33 +0000 (UTC) Received: by mail-vs1-f45.google.com with SMTP id i63so13373560vsi.5 for ; Mon, 21 Mar 2022 21:39:33 -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=qzc7xhnDWFDyGEZ9XczoWDDRN1//lp5rWNOk/MNR6Qc=; b=oj6Fa/oNOKoiISVs1Ikr/rzuXcz69rLctJa+06Hz/ntpa/w1ijb8EX+sQ8tWoC4k9s BaNT3TlaWgceZHzKDzKDwoXsU1JdT4F5R8X1mxFOVKXEj7/rMGtKypk3SKhl1xdeGCMq 4FWXRY+oJdTUQp8oKXMigBUkVCxGHuzOF7bhiB7ltNHGtDlSKq7QhWZn3EjIdrD3nyOy ShiML/kIoLgen2R8zUVAc32UyR7d9Xt8x1BCFR/m5o2cUWjzULCBmqem78CbKQdz6n95 JLRqHGJtOrybTEwtoKVJ0kFwYTxXeA2KXBKbXFlTmkdaGXKKe3CBxFG4Qn1EaSFy0CfZ E4zA== 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=qzc7xhnDWFDyGEZ9XczoWDDRN1//lp5rWNOk/MNR6Qc=; b=7DtWxoHyB0N9G+HEUjvKxmJTzNHure+bhr/u4vF4KDXieYQxeie3aC0HcgY7JXahRo 7Qx4xPMOKZrhtPbyleFrNSVtr+rbDyebujLSzHiR2LdyupZ1wMekxybDPSshV9PAzqAN I8nFIEhudVqE/F4jK2NIRHTrnNxyTWTJyOZaKgOpMzKHln3wiTJKu15KDUUTTcIaZga1 aA8fxpDHBPclgTHIF7A4Ndz3rI4NV8w2zd7wtIrvYQ7pnUxGjTGRgO4ZJXQvbTy/fXLc UDRmjgcO+CUFZcWdEg2YpoNUs5HSWdYKUCKfVOSNVduVYOwAbQSftLSw3IzR5lO+qMFv WfKw== X-Gm-Message-State: AOAM531fl/LMFIAMw5/F3qe9Ib8DJkQOVj5On5EG5cpj9jadDURDg1y5 9vN4+h+ALbcxXDFbqcddSDWtlwp+NYvqpKZ34wd1LQ== X-Google-Smtp-Source: ABdhPJxefLANlaq+qPI8GTvOzY0DYXscT+QrMjjT+L1xVXhF0FUVv+/fBcCrd2jQ68TGtCC08s8uJkG+6HgUJ8u8x6A= X-Received: by 2002:a05:6102:5cc:b0:320:9bd2:3823 with SMTP id v12-20020a05610205cc00b003209bd23823mr8796701vsf.81.1647923972368; Mon, 21 Mar 2022 21:39:32 -0700 (PDT) MIME-Version: 1.0 References: <20220309021230.721028-1-yuzhao@google.com> <20220309021230.721028-7-yuzhao@google.com> <87a6dj793j.fsf@linux.ibm.com> In-Reply-To: <87a6dj793j.fsf@linux.ibm.com> From: Yu Zhao Date: Mon, 21 Mar 2022 22:39:21 -0600 Message-ID: Subject: Re: [PATCH v9 06/14] mm: multi-gen LRU: minimal implementation To: "Aneesh Kumar K.V" Cc: Andrew Morton , Linus Torvalds , Andi Kleen , Catalin Marinas , Dave Hansen , Hillf Danton , Jens Axboe , Jesse Barnes , Johannes Weiner , Jonathan Corbet , Matthew Wilcox , Mel Gorman , Michael Larabel , Michal Hocko , Mike Rapoport , Rik van Riel , Vlastimil Babka , Will Deacon , Ying Huang , Linux ARM , "open list:DOCUMENTATION" , linux-kernel , Linux-MM , Kernel Page Reclaim v2 , "the arch/x86 maintainers" , Brian Geffon , Jan Alexander Steffens , Oleksandr Natalenko , Steven Barrett , Suleiman Souhlal , Daniel Byrne , Donald Carr , =?UTF-8?Q?Holger_Hoffst=C3=A4tte?= , Konstantin Kharlamov , Shuang Zhai , Sofia Trinh , Vaibhav Jain Content-Type: text/plain; charset="UTF-8" X-Rspamd-Server: rspam03 X-Rspamd-Queue-Id: 6522D12001A X-Rspam-User: Authentication-Results: imf29.hostedemail.com; dkim=pass header.d=google.com header.s=20210112 header.b="oj6Fa/oN"; spf=pass (imf29.hostedemail.com: domain of yuzhao@google.com designates 209.85.217.45 as permitted sender) smtp.mailfrom=yuzhao@google.com; dmarc=pass (policy=reject) header.from=google.com X-Stat-Signature: 4mkjtpbioereyc86yjtxy7tujmkxoi3b X-HE-Tag: 1647923973-205748 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 Mon, Mar 21, 2022 at 7:01 AM Aneesh Kumar K.V wrote: > > Yu Zhao writes: > > > To avoid confusion, the terms "promotion" and "demotion" will be > > applied to the multi-gen LRU, as a new convention; the terms > > "activation" and "deactivation" will be applied to the active/inactive > > LRU, as usual. > > > > The aging produces young generations. Given an lruvec, it increments > > max_seq when max_seq-min_seq+1 approaches MIN_NR_GENS. The aging > > promotes hot pages to the youngest generation when it finds them > > accessed through page tables; the demotion of cold pages happens > > consequently when it increments max_seq. The aging has the complexity > > O(nr_hot_pages), since it is only interested in hot pages. Promotion > > in the aging path does not require any LRU list operations, only the > > updates of the gen counter and lrugen->nr_pages[]; demotion, unless as > > the result of the increment of max_seq, requires LRU list operations, > > e.g., lru_deactivate_fn(). > > > > The eviction consumes old generations. Given an lruvec, it increments > > min_seq when the lists indexed by min_seq%MAX_NR_GENS become empty. A > > feedback loop modeled after the PID controller monitors refaults over > > anon and file types and decides which type to evict when both types > > are available from the same generation. > > > > Each generation is divided into multiple tiers. Tiers represent > > different ranges of numbers of accesses through file descriptors. A > > page accessed N times through file descriptors is in tier > > order_base_2(N). Tiers do not have dedicated lrugen->lists[], only > > bits in folio->flags. In contrast to moving across generations, which > > requires the LRU lock, moving across tiers only involves operations on > > folio->flags. The feedback loop also monitors refaults over all tiers > > and decides when to protect pages in which tiers (N>1), using the > > first tier (N=0,1) as a baseline. The first tier contains single-use > > unmapped clean pages, which are most likely the best choices. The > > eviction moves a page to the next generation, i.e., min_seq+1, if the > > feedback loop decides so. This approach has the following advantages: > > 1. It removes the cost of activation in the buffered access path by > > inferring whether pages accessed multiple times through file > > descriptors are statistically hot and thus worth protecting in the > > eviction path. > > 2. It takes pages accessed through page tables into account and avoids > > overprotecting pages accessed multiple times through file > > descriptors. (Pages accessed through page tables are in the first > > tier, since N=0.) > > 3. More tiers provide better protection for pages accessed more than > > twice through file descriptors, when under heavy buffered I/O > > workloads. > > > > Server benchmark results: > > Single workload: > > fio (buffered I/O): +[47, 49]% > > IOPS BW > > 5.17-rc2: 2242k 8759MiB/s > > patch1-5: 3321k 12.7GiB/s > > > > Single workload: > > memcached (anon): +[101, 105]% > > Ops/sec KB/sec > > 5.17-rc2: 476771.79 18544.31 > > patch1-5: 972526.07 37826.95 > > > > Configurations: > > CPU: two Xeon 6154 > > Mem: total 256G > > > > Node 1 was only used as a ram disk to reduce the variance in the > > results. > > > > patch drivers/block/brd.c < > 99,100c99,100 > > < gfp_flags = GFP_NOIO | __GFP_ZERO | __GFP_HIGHMEM; > > < page = alloc_page(gfp_flags); > > --- > > > gfp_flags = GFP_NOIO | __GFP_ZERO | __GFP_HIGHMEM | __GFP_THISNODE; > > > page = alloc_pages_node(1, gfp_flags, 0); > > EOF > > > > cat >>/etc/systemd/system.conf < > CPUAffinity=numa > > NUMAPolicy=bind > > NUMAMask=0 > > EOF > > > > cat >>/etc/memcached.conf < > -m 184320 > > -s /var/run/memcached/memcached.sock > > -a 0766 > > -t 36 > > -B binary > > EOF > > > > cat fio.sh > > modprobe brd rd_nr=1 rd_size=113246208 > > mkfs.ext4 /dev/ram0 > > mount -t ext4 /dev/ram0 /mnt > > > > mkdir /sys/fs/cgroup/user.slice/test > > echo 38654705664 >/sys/fs/cgroup/user.slice/test/memory.max > > echo $$ >/sys/fs/cgroup/user.slice/test/cgroup.procs > > fio -name=mglru --numjobs=72 --directory=/mnt --size=1408m \ > > --buffered=1 --ioengine=io_uring --iodepth=128 \ > > --iodepth_batch_submit=32 --iodepth_batch_complete=32 \ > > --rw=randread --random_distribution=random --norandommap \ > > --time_based --ramp_time=10m --runtime=5m --group_reporting > > > > cat memcached.sh > > modprobe brd rd_nr=1 rd_size=113246208 > > swapoff -a > > mkswap /dev/ram0 > > swapon /dev/ram0 > > > > memtier_benchmark -S /var/run/memcached/memcached.sock \ > > -P memcache_binary -n allkeys --key-minimum=1 \ > > --key-maximum=65000000 --key-pattern=P:P -c 1 -t 36 \ > > --ratio 1:0 --pipeline 8 -d 2000 > > > > memtier_benchmark -S /var/run/memcached/memcached.sock \ > > -P memcache_binary -n allkeys --key-minimum=1 \ > > --key-maximum=65000000 --key-pattern=R:R -c 1 -t 36 \ > > --ratio 0:1 --pipeline 8 --randomize --distinct-client-seed > > > > Client benchmark results: > > kswapd profiles: > > 5.17-rc2 > > 38.05% page_vma_mapped_walk > > 20.86% lzo1x_1_do_compress (real work) > > 6.16% do_raw_spin_lock > > 4.61% _raw_spin_unlock_irq > > 2.20% vma_interval_tree_iter_next > > 2.19% vma_interval_tree_subtree_search > > 2.15% page_referenced_one > > 1.93% anon_vma_interval_tree_iter_first > > 1.65% ptep_clear_flush > > 1.00% __zram_bvec_write > > > > patch1-5 > > 39.73% lzo1x_1_do_compress (real work) > > 14.96% page_vma_mapped_walk > > 6.97% _raw_spin_unlock_irq > > 3.07% do_raw_spin_lock > > 2.53% anon_vma_interval_tree_iter_first > > 2.04% ptep_clear_flush > > 1.82% __zram_bvec_write > > 1.76% __anon_vma_interval_tree_subtree_search > > 1.57% memmove > > 1.45% free_unref_page_list > > > > Configurations: > > CPU: single Snapdragon 7c > > Mem: total 4G > > > > Chrome OS MemoryPressure [1] > > > > [1] https://chromium.googlesource.com/chromiumos/platform/tast-tests/ > > > > In shrink_active_list we do preferential treatment of VM_EXEC pages. > Do we do similar thing with MGLRU? if not why is that not needed? No, because MGLRU has a different set of assumptions than the active/inactive LRU does [1]. It provides mmapped pages with equal opportunities, and the tradeoff was discussed here [2]. Note that even with this preferential treatment of executable pages, plus other heuristics added since then, executable pages are still underprotected for at least desktop workloads [3]. And I can confirm the problem reported is genuine -- we recently accidentally removed our private patch that works around the problem for the last 12 years, and observed immediate consequences on a small portion of devices not using MGLRU [4]. [1] https://lore.kernel.org/linux-mm/20220309021230.721028-15-yuzhao@google.com/ [2] https://lore.kernel.org/linux-mm/20220208081902.3550911-5-yuzhao@google.com/ [3] https://lore.kernel.org/linux-mm/2dc51fc8-f14e-17ed-a8c6-0ec70423bf54@valdikss.org.ru/ [4] https://chromium-review.googlesource.com/c/chromiumos/third_party/kernel/+/3429559