Received: by 2002:a05:7412:419a:b0:f3:1519:9f41 with SMTP id i26csp3624310rdh; Mon, 27 Nov 2023 21:39:28 -0800 (PST) X-Google-Smtp-Source: AGHT+IHocLbZnRtlI8NF9VCah9Voe4OeRTmuzle3JiwClUKL0cV21F0W5k6rXnd5T6sv8jbvlVAY X-Received: by 2002:a17:902:db0d:b0:1cf:cb80:3fa5 with SMTP id m13-20020a170902db0d00b001cfcb803fa5mr9208436plx.23.1701149968603; Mon, 27 Nov 2023 21:39:28 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1701149968; cv=none; d=google.com; s=arc-20160816; b=vBDNU0eZ05gX0NfGN/0pIKj+Crf0kMNObUz+Tl7t+tpMoZO+HAaN8t+Sv/ye1Ln4OB 8GeLHwu/HUMNH/oUXVBQApak5fWLOK2VVBTERSldvPQ5hHkb+yip3t1yxIcNVcu0vXWQ JmY5laoPeeDMVpWeLjHm8hdyFvSeDS8fNE9K+tUwrGzAZwmi7tyucnsZwtLdifYs9eV5 7mNY8H8JpBi4Pzi7vCUpZdLVt5Bh/15H9WhLAzDC2693Qwl4yLhoF2z++gBNdWAvuYtD Q6+JfyzGunfDpYz5ZCRQJ6aIPJ5yWU19pKOVVt3K0nP6KuwNyRMv5WInItr3ELE/GwNp YUdw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:content-transfer-encoding:mime-version :user-agent:message-id:date:references:in-reply-to:subject:cc:to :from:dkim-signature; bh=BWvgiCBShAojG5uXubK0G4reC4cLxUcM0j/7+IsxW8k=; fh=76F0Ja2qiCsVSA/RSZlcEQdDMAeqk3aN2OJtq2tmWuo=; b=hCviNLDCC1BpB/a+LfJafsyzY0eFjH5OeuKZnVyFCrj9CfgFNDbIvwaiFAMx3LZGfo mLpdr2+9kkbAn5toGiHcedt0cpllC1/789H+1xkB7HVsqDMKgv8HIZTQeYXpZPh63hEb m/kYLVGnAT+aKP6z5Us6bhRrnAhE9VdG7ra0ieDLZ4XU8WyAOvyXPVXSWuASg5AFh5ZK pSjBp9PiK1QR+Ddg99sf/cszAQDjwSQUa/tjqYb+z2UUG3/xg/FusaJzKmhrsjMIUpy7 8e3qqipTcjOKZ3UDMYFEO9ARtrykrT3TYqto5sYW+dmRX/y2CcW4UGkPV4TWMEmKPDbu Y17g== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@intel.com header.s=Intel header.b=l7f+b0wy; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:4 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=intel.com Return-Path: Received: from howler.vger.email (howler.vger.email. [2620:137:e000::3:4]) by mx.google.com with ESMTPS id k7-20020a170902694700b001cfbead272dsi5596091plt.610.2023.11.27.21.39.28 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 27 Nov 2023 21:39:28 -0800 (PST) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:4 as permitted sender) client-ip=2620:137:e000::3:4; Authentication-Results: mx.google.com; dkim=pass header.i=@intel.com header.s=Intel header.b=l7f+b0wy; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:4 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=intel.com Received: from out1.vger.email (depot.vger.email [IPv6:2620:137:e000::3:0]) by howler.vger.email (Postfix) with ESMTP id 3284082CFA59; Mon, 27 Nov 2023 21:39:25 -0800 (PST) X-Virus-Status: Clean X-Virus-Scanned: clamav-milter 0.103.11 at howler.vger.email Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1343536AbjK1FjG (ORCPT + 99 others); Tue, 28 Nov 2023 00:39:06 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:42684 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S232615AbjK1FjF (ORCPT ); Tue, 28 Nov 2023 00:39:05 -0500 Received: from mgamail.intel.com (mgamail.intel.com [134.134.136.31]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 31A29C4 for ; Mon, 27 Nov 2023 21:39:11 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=intel.com; i=@intel.com; q=dns/txt; s=Intel; t=1701149951; x=1732685951; h=from:to:cc:subject:in-reply-to:references:date: message-id:mime-version:content-transfer-encoding; bh=kSB8jAGzkfz946UtyNz1cb0xEsgJtUvO9yZaeDIA+C8=; b=l7f+b0wyFIlcJS1AZ7Wb80RatbQ3HquLp5dMRePtY37useJppHBRuM6M vFaUK9+r21MAbkuupwBdTWk1Dtkiv5waiqGzBaZjSBQo3jTvuDpIcyfaz WJIaI5YbHE1RBPrtq4GtfuDTLTHZ+VKBsAv0DHp5+i6DmXPxifI/Nf+O1 +l/DQaNoylwCFP5hgKPn4qEcy1RgnNaAbRoVHlhPBHllkvQ/Ep9LO1fRr Ykd1JFlW2tLXfUlTIU9LTmQTz2rRYdB813iqFYFspzRetkI8WkOQM/0F1 tiXAZb3PVl1G3lNflJRWCd2U0f2xHMRCNg0t3tn/0q7al0LOiwvR1XsVT Q==; X-IronPort-AV: E=McAfee;i="6600,9927,10907"; a="457184903" X-IronPort-AV: E=Sophos;i="6.04,233,1695711600"; d="scan'208";a="457184903" Received: from orviesa002.jf.intel.com ([10.64.159.142]) by orsmga104.jf.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 27 Nov 2023 21:39:09 -0800 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="6.04,233,1695711600"; d="scan'208";a="9837544" Received: from yhuang6-desk2.sh.intel.com (HELO yhuang6-desk2.ccr.corp.intel.com) ([10.238.208.55]) by orviesa002-auth.jf.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 27 Nov 2023 21:39:07 -0800 From: "Huang, Ying" To: Yosry Ahmed Cc: Minchan Kim , Chris Li , Michal Hocko , Liu Shixin , Yu Zhao , Andrew Morton , Sachin Sant , Johannes Weiner , Kefeng Wang , linux-mm@kvack.org, linux-kernel@vger.kernel.org Subject: Re: [PATCH v10] mm: vmscan: try to reclaim swapcache pages if no swap space In-Reply-To: (Yosry Ahmed's message of "Mon, 27 Nov 2023 20:13:38 -0800") References: <87msv58068.fsf@yhuang6-desk2.ccr.corp.intel.com> <87h6l77wl5.fsf@yhuang6-desk2.ccr.corp.intel.com> <87bkbf7gz6.fsf@yhuang6-desk2.ccr.corp.intel.com> <87msuy5zuv.fsf@yhuang6-desk2.ccr.corp.intel.com> <87fs0q5xsq.fsf@yhuang6-desk2.ccr.corp.intel.com> Date: Tue, 28 Nov 2023 13:37:05 +0800 Message-ID: <87bkbe5tha.fsf@yhuang6-desk2.ccr.corp.intel.com> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS,T_SCC_BODY_TEXT_LINE autolearn=unavailable autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on howler.vger.email Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.6.4 (howler.vger.email [0.0.0.0]); Mon, 27 Nov 2023 21:39:25 -0800 (PST) Yosry Ahmed writes: > On Mon, Nov 27, 2023 at 8:05=E2=80=AFPM Huang, Ying wrote: >> >> Yosry Ahmed writes: >> >> > On Mon, Nov 27, 2023 at 7:21=E2=80=AFPM Huang, Ying wrote: >> >> >> >> Yosry Ahmed writes: >> >> >> >> > On Mon, Nov 27, 2023 at 1:32=E2=80=AFPM Minchan Kim wrote: >> >> >> >> >> >> On Mon, Nov 27, 2023 at 12:22:59AM -0800, Chris Li wrote: >> >> >> > On Mon, Nov 27, 2023 at 12:14=E2=80=AFAM Huang, Ying wrote: >> >> >> > > > I agree with Ying that anonymous pages typically have diffe= rent page >> >> >> > > > access patterns than file pages, so we might want to treat t= hem >> >> >> > > > differently to reclaim them effectively. >> >> >> > > > One random idea: >> >> >> > > > How about we put the anonymous page in a swap cache in a dif= ferent LRU >> >> >> > > > than the rest of the anonymous pages. Then shrinking against= those >> >> >> > > > pages in the swap cache would be more effective.Instead of h= aving >> >> >> > > > [anon, file] LRU, now we have [anon not in swap cache, anon = in swap >> >> >> > > > cache, file] LRU >> >> >> > > >> >> >> > > I don't think that it is necessary. The patch is only for a s= pecial use >> >> >> > > case. Where the swap device is used up while some pages are i= n swap >> >> >> > > cache. The patch will kill performance, but it is used to avo= id OOM >> >> >> > > only, not to improve performance. Per my understanding, we wi= ll not use >> >> >> > > up swap device space in most cases. This may be true for ZRAM= , but will >> >> >> > > we keep pages in swap cache for long when we use ZRAM? >> >> >> > >> >> >> > I ask the question regarding how many pages can be freed by this= patch >> >> >> > in this email thread as well, but haven't got the answer from the >> >> >> > author yet. That is one important aspect to evaluate how valuabl= e is >> >> >> > that patch. >> >> >> >> >> >> Exactly. Since swap cache has different life time with page cache,= they >> >> >> would be usually dropped when pages are unmapped(unless they are s= hared >> >> >> with others but anon is usually exclusive private) so I wonder how= much >> >> >> memory we can save. >> >> > >> >> > I think the point of this patch is not saving memory, but rather >> >> > avoiding an OOM condition that will happen if we have no swap space >> >> > left, but some pages left in the swap cache. Of course, the OOM >> >> > avoidance will come at the cost of extra work in reclaim to swap th= ose >> >> > pages out. >> >> > >> >> > The only case where I think this might be harmful is if there's ple= nty >> >> > of pages to reclaim on the file LRU, and instead we opt to chase do= wn >> >> > the few swap cache pages. So perhaps we can add a check to only set >> >> > sc->swapcache_only if the number of pages in the swap cache is more >> >> > than the number of pages on the file LRU or similar? Just make sure= we >> >> > don't chase the swapcache pages down if there's plenty to scan on t= he >> >> > file LRU? >> >> >> >> The swap cache pages can be divided to 3 groups. >> >> >> >> - group 1: pages have been written out, at the tail of inactive LRU, = but >> >> not reclaimed yet. >> >> >> >> - group 2: pages have been written out, but were failed to be reclaim= ed >> >> (e.g., were accessed before reclaiming) >> >> >> >> - group 3: pages have been swapped in, but were kept in swap cache. = The >> >> pages may be in active LRU. >> >> >> >> The main target of the original patch should be group 1. And the pag= es >> >> may be cheaper to reclaim than file pages. >> >> >> >> Group 2 are hard to be reclaimed if swap_count() isn't 0. >> >> >> >> Group 3 should be reclaimed in theory, but the overhead may be high. >> >> And we may need to reclaim the swap entries instead of pages if the p= ages >> >> are hot. But we can start to reclaim the swap entries before the swap >> >> space is run out. >> >> >> >> So, if we can count group 1, we may use that as indicator to scan anon >> >> pages. And we may add code to reclaim group 3 earlier. >> >> >> > >> > My point was not that reclaiming the pages in the swap cache is more >> > expensive that reclaiming the pages in the file LRU. In a lot of >> > cases, as you point out, the pages in the swap cache can just be >> > dropped, so they may be as cheap or cheaper to reclaim than the pages >> > in the file LRU. >> > >> > My point was that scanning the anon LRU when swap space is exhausted >> > to get to the pages in the swap cache may be much more expensive, >> > because there may be a lot of pages on the anon LRU that are not in >> > the swap cache, and hence are not reclaimable, unlike pages in the >> > file LRU, which should mostly be reclaimable. >> > >> > So what I am saying is that maybe we should not do the effort of >> > scanning the anon LRU in the swapcache_only case unless there aren't a >> > lot of pages to reclaim on the file LRU (relatively). For example, if >> > we have a 100 pages in the swap cache out of 10000 pages in the anon >> > LRU, and there are 10000 pages in the file LRU, it's probably not >> > worth scanning the anon LRU. >> >> For group 1 pages, they are at the tail of the anon inactive LRU, so the >> scan overhead is low too. For example, if number of group 1 pages is >> 100, we just need to scan 100 pages to reclaim them. We can choose to >> stop scanning when the number of the non-group-1 pages reached some >> threshold. >> > > We should still try to reclaim pages in groups 2 & 3 before OOMing > though. Maybe the motivation for this patch is group 1, but I don't > see why we should special case them. Pages in groups 2 & 3 should be > roughly equally cheap to reclaim. They may have higher refault cost, > but IIUC we should still try to reclaim them before OOMing. The scan cost of group 3 may be high, you may need to scan all anonymous pages to identify them. The reclaim cost of group 2 may be high, it may just cause trashing (shared pages that are accessed by just one process). So I think that we can allow reclaim group 1 in all cases. Try to reclaim swap entries for group 3 during normal LRU scanning after more than half of swap space of limit is used. As a last resort before OOM, try to reclaim group 2 and group 3. Or, limit scan count for group 2 and group 3. BTW, in some situation, OOM is not the worst situation. For example, trashing may kill interaction latency, while killing the memory hog (may be caused by memory leak) saves system response time. -- Best Regards, Huang, Ying