From patchwork Tue Sep 19 17:14:46 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Nhat Pham X-Patchwork-Id: 142005 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a05:612c:172:b0:3f2:4152:657d with SMTP id h50csp3550174vqi; Tue, 19 Sep 2023 10:15:53 -0700 (PDT) X-Google-Smtp-Source: AGHT+IFl4oguwgTSaGthDTEV7ltEO7qxcS3rWlekF3B3yx2eghpxzWQbT0XjEpiRsLRHlzjPcRGI X-Received: by 2002:a17:903:52:b0:1c5:8401:355b with SMTP id l18-20020a170903005200b001c58401355bmr3001789pla.29.1695143753685; Tue, 19 Sep 2023 10:15:53 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1695143753; cv=none; d=google.com; s=arc-20160816; b=GIolbLqR/xq2QKK3UffetrEqnN36eKPs9aJPBaocPUubJ18oZu2w1DSViI/QE5o4ul CKWIkkqgbog2YejhlQWoBoOcMasLHKSGP0O5F7J1KM/QYWBWUYM7254z/XVOzfbIp+uE EJ1w2a/1RWUX5yJP/9cfrKmCnLp/7bdKU6HUnp8jiSHNl07ZdBefEX1QB7Z9u8crkIHM Mv6bR9WlqAveUhtL+rWkawueDaEWzXoMI5RhV2jEK6+nirtJUBdKikO1Z3bRAK/fDsjT W9So42idE44hkKbfmM7a28D8G7ntzXQtIEmgJD04AcwTFpwIfWwiMKTqZh24YrWsjaPk Ygsw== 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 :references:in-reply-to:message-id:date:subject:cc:to:from :dkim-signature; bh=ps5yyHIsL0jmDCdV8gOzPQmLuV+jzhDxNGzAQR9e58w=; fh=BoqES/YfwgDgdaRE/9KjBy1Sg2rljWjnO9N9WNLjWHg=; b=CohyfpUXj+IC1YC8OzOVX/UHHPndxXsChd9M00GDqwEJMiwvcB8NWuxnDX9ClgAmT3 v6BAU7SfpD6ne52idfmFrgw0GlSndzNwX/GiMyIga9uEplKRbaNOBB+tbYSv/WPVhqoG EICORwUuXIAqQkobPwto2fbq3XwQ/Rq3pctlNGv6PFgA0kqvTB4rnVW+ZfuvIk86d0ZB hKk0B7l7CiEcaEnw0p9O7x6Duvl3bnFVPQPwJZVpynBm+zJ6fLw6HbZ7HmxAhStZjuBI 3qSJCG3hBVQ22bj2j6d4HvXF3Tw4TYMzTBzMM6kXH5ciFVroMmkovz1n7qX7ghqtXbx9 gSJA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=FBsCSwTL; 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=QUARANTINE dis=NONE) header.from=gmail.com Received: from howler.vger.email (howler.vger.email. [2620:137:e000::3:4]) by mx.google.com with ESMTPS id a2-20020a170902ecc200b001c446b59c8dsi7246020plh.271.2023.09.19.10.15.53 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 19 Sep 2023 10:15:53 -0700 (PDT) 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=@gmail.com header.s=20230601 header.b=FBsCSwTL; 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=QUARANTINE dis=NONE) header.from=gmail.com Received: from out1.vger.email (depot.vger.email [IPv6:2620:137:e000::3:0]) by howler.vger.email (Postfix) with ESMTP id 0CA2683B6BFC; Tue, 19 Sep 2023 10:15:07 -0700 (PDT) X-Virus-Status: Clean X-Virus-Scanned: clamav-milter 0.103.10 at howler.vger.email Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S232016AbjISRO7 (ORCPT + 26 others); Tue, 19 Sep 2023 13:14:59 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:54868 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S231987AbjISRO5 (ORCPT ); Tue, 19 Sep 2023 13:14:57 -0400 Received: from mail-pf1-x42b.google.com (mail-pf1-x42b.google.com [IPv6:2607:f8b0:4864:20::42b]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 766A8F0; Tue, 19 Sep 2023 10:14:49 -0700 (PDT) Received: by mail-pf1-x42b.google.com with SMTP id d2e1a72fcca58-68fdcc37827so32310b3a.0; Tue, 19 Sep 2023 10:14:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1695143689; x=1695748489; darn=vger.kernel.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=ps5yyHIsL0jmDCdV8gOzPQmLuV+jzhDxNGzAQR9e58w=; b=FBsCSwTL+430W60sEPalVnqFz8jKVchnUs+AAz8G1RbSxxGEUDLMYbFP1kKUjYYtqQ ECNwCsL/6ZM8pj68FGUFXw+rBsu3IaBaRbvbHkHpDTSmFYdRMx6n3UtTj6A9iZEB3GDA MsUBHKOn6cXkdKWbhyJAnXHJsc6NEo1OsG3XL/VauisMO/91/tvWJ3py4GDjoGN0PtUq /ijTjAFij3cKlHo4g6y21dLMwv3iW5GYfXFqBRyVPrBxrTfKnlaygK4hY/zh9x07iFGQ wa20xz4SS6T1E4qOD34fBvEp9xDeDClh9DdlBm7ohT4cpeaq0yuAq3Mnno4TxWm+pUek C5oQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1695143689; x=1695748489; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=ps5yyHIsL0jmDCdV8gOzPQmLuV+jzhDxNGzAQR9e58w=; b=rO/mE1UBB9G/3bELG1sBph1QH3e35VPx3tzsT8TMD3/ndlJUrMoMvEN/jaTeNDLe3z 1rW0YOcBg3QO+qbEd0u+YpfiQf8eQthqn6TUhja5UBQtt046eLcF0u865meY9GqM9mS4 MQ/LJuul9Y46ewDaCVqkAnDPGmPNRB3xbeZU0f7O23MIY/L2HDcjHjN7Aji3dvH4PQE6 aIJarrr0GoCwr+QpD/AnYcCI1tjemivNcGYiljjgax/0BuKOboOnWFK8WdhvsapjY/SZ 2lrWBGDjhW8je27uLCCL/oK3pqiX+NbWyFovaIkqwb8kn+8t+5kdO0/8w5lyL5vFulZL loKg== X-Gm-Message-State: AOJu0Yx2qh1sHKHYUuFageYwKdOYkAkob0FcVdT5oXKDDupS67CZdmfr m60uqtw82OaXaFr9gAGAAk8= X-Received: by 2002:a17:90a:4594:b0:276:78f2:5d31 with SMTP id v20-20020a17090a459400b0027678f25d31mr304060pjg.21.1695143688694; Tue, 19 Sep 2023 10:14:48 -0700 (PDT) Received: from localhost (fwdproxy-prn-012.fbsv.net. [2a03:2880:ff:c::face:b00c]) by smtp.gmail.com with ESMTPSA id t5-20020a17090ad50500b00263154aab24sm8836683pju.57.2023.09.19.10.14.48 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 19 Sep 2023 10:14:48 -0700 (PDT) From: Nhat Pham To: akpm@linux-foundation.org Cc: hannes@cmpxchg.org, cerasuolodomenico@gmail.com, yosryahmed@google.com, sjenning@redhat.com, ddstreet@ieee.org, vitaly.wool@konsulko.com, mhocko@kernel.org, roman.gushchin@linux.dev, shakeelb@google.com, muchun.song@linux.dev, linux-mm@kvack.org, kernel-team@meta.com, linux-kernel@vger.kernel.org, cgroups@vger.kernel.org Subject: [PATCH v2 1/2] zswap: make shrinking memcg-aware Date: Tue, 19 Sep 2023 10:14:46 -0700 Message-Id: <20230919171447.2712746-2-nphamcs@gmail.com> X-Mailer: git-send-email 2.34.1 In-Reply-To: <20230919171447.2712746-1-nphamcs@gmail.com> References: <20230919171447.2712746-1-nphamcs@gmail.com> MIME-Version: 1.0 X-Spam-Status: No, score=-2.1 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM, RCVD_IN_DNSWL_BLOCKED,SPF_HELO_NONE,SPF_PASS autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on lindbergh.monkeyblade.net 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]); Tue, 19 Sep 2023 10:15:07 -0700 (PDT) X-getmail-retrieved-from-mailbox: INBOX X-GMAIL-THRID: 1777487056548612666 X-GMAIL-MSGID: 1777487056548612666 From: Domenico Cerasuolo Currently, we only have a single global LRU for zswap. This makes it impossible to perform worload-specific shrinking - an memcg cannot determine which pages in the pool it owns, and often ends up writing pages from other memcgs. This issue has been previously observed in practice and mitigated by simply disabling memcg-initiated shrinking: https://lore.kernel.org/all/20230530232435.3097106-1-nphamcs@gmail.com/T/#u This patch fully resolves the issue by replacing the global zswap LRU with memcg- and NUMA-specific LRUs, and modify the reclaim logic: a) When a store attempt hits an memcg limit, it now triggers a synchronous reclaim attempt that, if successful, allows the new hotter page to be accepted by zswap. b) If the store attempt instead hits the global zswap limit, it will trigger an asynchronous reclaim attempt, in which an memcg is selected for reclaim in a round-robin-like fashion. Signed-off-by: Domenico Cerasuolo Co-developed-by: Nhat Pham Signed-off-by: Nhat Pham --- include/linux/list_lru.h | 39 +++++++ include/linux/memcontrol.h | 5 + include/linux/zswap.h | 9 ++ mm/list_lru.c | 46 ++++++-- mm/swap_state.c | 19 ++++ mm/zswap.c | 221 +++++++++++++++++++++++++++++-------- 6 files changed, 287 insertions(+), 52 deletions(-) diff --git a/include/linux/list_lru.h b/include/linux/list_lru.h index b35968ee9fb5..b517b4e2c7c4 100644 --- a/include/linux/list_lru.h +++ b/include/linux/list_lru.h @@ -89,6 +89,24 @@ void memcg_reparent_list_lrus(struct mem_cgroup *memcg, struct mem_cgroup *paren */ bool list_lru_add(struct list_lru *lru, struct list_head *item); +/** + * __list_lru_add: add an element to a specific sublist. + * @list_lru: the lru pointer + * @item: the item to be added. + * @memcg: the cgroup of the sublist to add the item to. + * @nid: the node id of the sublist to add the item to. + * + * This function is similar to list_lru_add(), but it allows the caller to + * specify the sublist to which the item should be added. This can be useful + * when the list_head node is not necessarily in the same cgroup and NUMA node + * as the data it represents, such as zswap, where the list_head node could be + * from kswapd and the data from a different cgroup altogether. + * + * Return value: true if the list was updated, false otherwise + */ +bool __list_lru_add(struct list_lru *lru, struct list_head *item, int nid, + struct mem_cgroup *memcg); + /** * list_lru_del: delete an element to the lru list * @list_lru: the lru pointer @@ -102,6 +120,18 @@ bool list_lru_add(struct list_lru *lru, struct list_head *item); */ bool list_lru_del(struct list_lru *lru, struct list_head *item); +/** + * __list_lru_delete: delete an element from a specific sublist. + * @list_lru: the lru pointer + * @item: the item to be deleted. + * @memcg: the cgroup of the sublist to delete the item from. + * @nid: the node id of the sublist to delete the item from. + * + * Return value: true if the list was updated, false otherwise. + */ +bool __list_lru_del(struct list_lru *lru, struct list_head *item, int nid, + struct mem_cgroup *memcg); + /** * list_lru_count_one: return the number of objects currently held by @lru * @lru: the lru pointer. @@ -137,6 +167,15 @@ void list_lru_isolate(struct list_lru_one *list, struct list_head *item); void list_lru_isolate_move(struct list_lru_one *list, struct list_head *item, struct list_head *head); +/* + * list_lru_putback: undo list_lru_isolate. + * + * Since we might have dropped the LRU lock in between, recompute list_lru_one + * from the node's id and memcg. + */ +void list_lru_putback(struct list_lru *lru, struct list_head *item, int nid, + struct mem_cgroup *memcg); + typedef enum lru_status (*list_lru_walk_cb)(struct list_head *item, struct list_lru_one *list, spinlock_t *lock, void *cb_arg); diff --git a/include/linux/memcontrol.h b/include/linux/memcontrol.h index 67b823dfa47d..05d34b328d9d 100644 --- a/include/linux/memcontrol.h +++ b/include/linux/memcontrol.h @@ -1179,6 +1179,11 @@ static inline struct mem_cgroup *page_memcg_check(struct page *page) return NULL; } +static inline struct mem_cgroup *get_mem_cgroup_from_objcg(struct obj_cgroup *objcg) +{ + return NULL; +} + static inline bool folio_memcg_kmem(struct folio *folio) { return false; diff --git a/include/linux/zswap.h b/include/linux/zswap.h index 2a60ce39cfde..04f80b64a09b 100644 --- a/include/linux/zswap.h +++ b/include/linux/zswap.h @@ -15,6 +15,8 @@ bool zswap_load(struct folio *folio); void zswap_invalidate(int type, pgoff_t offset); void zswap_swapon(int type); void zswap_swapoff(int type); +bool zswap_remove_swpentry_from_lru(swp_entry_t swpentry); +void zswap_insert_swpentry_into_lru(swp_entry_t swpentry); #else @@ -32,6 +34,13 @@ static inline void zswap_invalidate(int type, pgoff_t offset) {} static inline void zswap_swapon(int type) {} static inline void zswap_swapoff(int type) {} +static inline bool zswap_remove_swpentry_from_lru(swp_entry_t swpentry) +{ + return false; +} + +static inline void zswap_insert_swpentry_into_lru(swp_entry_t swpentry) {} + #endif #endif /* _LINUX_ZSWAP_H */ diff --git a/mm/list_lru.c b/mm/list_lru.c index a05e5bef3b40..37c5c2ef6c0e 100644 --- a/mm/list_lru.c +++ b/mm/list_lru.c @@ -119,18 +119,26 @@ list_lru_from_kmem(struct list_lru *lru, int nid, void *ptr, bool list_lru_add(struct list_lru *lru, struct list_head *item) { int nid = page_to_nid(virt_to_page(item)); + struct mem_cgroup *memcg = list_lru_memcg_aware(lru) ? + mem_cgroup_from_slab_obj(item) : NULL; + + return __list_lru_add(lru, item, nid, memcg); +} +EXPORT_SYMBOL_GPL(list_lru_add); + +bool __list_lru_add(struct list_lru *lru, struct list_head *item, int nid, + struct mem_cgroup *memcg) +{ struct list_lru_node *nlru = &lru->node[nid]; - struct mem_cgroup *memcg; struct list_lru_one *l; spin_lock(&nlru->lock); if (list_empty(item)) { - l = list_lru_from_kmem(lru, nid, item, &memcg); + l = list_lru_from_memcg_idx(lru, nid, memcg_kmem_id(memcg)); list_add_tail(item, &l->list); /* Set shrinker bit if the first element was added */ if (!l->nr_items++) - set_shrinker_bit(memcg, nid, - lru_shrinker_id(lru)); + set_shrinker_bit(memcg, nid, lru_shrinker_id(lru)); nlru->nr_items++; spin_unlock(&nlru->lock); return true; @@ -138,17 +146,27 @@ bool list_lru_add(struct list_lru *lru, struct list_head *item) spin_unlock(&nlru->lock); return false; } -EXPORT_SYMBOL_GPL(list_lru_add); +EXPORT_SYMBOL_GPL(__list_lru_add); bool list_lru_del(struct list_lru *lru, struct list_head *item) { int nid = page_to_nid(virt_to_page(item)); + struct mem_cgroup *memcg = list_lru_memcg_aware(lru) ? + mem_cgroup_from_slab_obj(item) : NULL; + + return __list_lru_del(lru, item, nid, memcg); +} +EXPORT_SYMBOL_GPL(list_lru_del); + +bool __list_lru_del(struct list_lru *lru, struct list_head *item, int nid, + struct mem_cgroup *memcg) +{ struct list_lru_node *nlru = &lru->node[nid]; struct list_lru_one *l; spin_lock(&nlru->lock); if (!list_empty(item)) { - l = list_lru_from_kmem(lru, nid, item, NULL); + l = list_lru_from_memcg_idx(lru, nid, memcg_kmem_id(memcg)); list_del_init(item); l->nr_items--; nlru->nr_items--; @@ -158,7 +176,7 @@ bool list_lru_del(struct list_lru *lru, struct list_head *item) spin_unlock(&nlru->lock); return false; } -EXPORT_SYMBOL_GPL(list_lru_del); +EXPORT_SYMBOL_GPL(__list_lru_del); void list_lru_isolate(struct list_lru_one *list, struct list_head *item) { @@ -175,6 +193,20 @@ void list_lru_isolate_move(struct list_lru_one *list, struct list_head *item, } EXPORT_SYMBOL_GPL(list_lru_isolate_move); +void list_lru_putback(struct list_lru *lru, struct list_head *item, int nid, + struct mem_cgroup *memcg) +{ + struct list_lru_one *list = + list_lru_from_memcg_idx(lru, nid, memcg_kmem_id(memcg)); + + if (list_empty(item)) { + list_add_tail(item, &list->list); + if (!list->nr_items++) + set_shrinker_bit(memcg, nid, lru_shrinker_id(lru)); + } +} +EXPORT_SYMBOL_GPL(list_lru_putback); + unsigned long list_lru_count_one(struct list_lru *lru, int nid, struct mem_cgroup *memcg) { diff --git a/mm/swap_state.c b/mm/swap_state.c index b3b14bd0dd64..1c826737aacb 100644 --- a/mm/swap_state.c +++ b/mm/swap_state.c @@ -21,6 +21,7 @@ #include #include #include +#include #include "internal.h" #include "swap.h" @@ -417,6 +418,7 @@ struct page *__read_swap_cache_async(swp_entry_t entry, gfp_t gfp_mask, struct folio *folio; struct page *page; void *shadow = NULL; + bool zswap_lru_removed = false; *new_page_allocated = false; si = get_swap_device(entry); @@ -485,6 +487,17 @@ struct page *__read_swap_cache_async(swp_entry_t entry, gfp_t gfp_mask, __folio_set_locked(folio); __folio_set_swapbacked(folio); + /* + * Page fault might itself trigger reclaim, on a zswap object that + * corresponds to the same swap entry. However, as the swap entry has + * previously been pinned, the task will run into an infinite loop trying + * to pin the swap entry again. + * + * To prevent this from happening, we remove it from the zswap + * LRU to prevent its reclamation. + */ + zswap_lru_removed = zswap_remove_swpentry_from_lru(entry); + if (mem_cgroup_swapin_charge_folio(folio, NULL, gfp_mask, entry)) goto fail_unlock; @@ -497,6 +510,9 @@ struct page *__read_swap_cache_async(swp_entry_t entry, gfp_t gfp_mask, if (shadow) workingset_refault(folio, shadow); + if (zswap_lru_removed) + zswap_insert_swpentry_into_lru(entry); + /* Caller will initiate read into locked folio */ folio_add_lru(folio); *new_page_allocated = true; @@ -506,6 +522,9 @@ struct page *__read_swap_cache_async(swp_entry_t entry, gfp_t gfp_mask, return page; fail_unlock: + if (zswap_lru_removed) + zswap_insert_swpentry_into_lru(entry); + put_swap_folio(folio, entry); folio_unlock(folio); folio_put(folio); diff --git a/mm/zswap.c b/mm/zswap.c index 412b1409a0d7..1a469e5d5197 100644 --- a/mm/zswap.c +++ b/mm/zswap.c @@ -34,6 +34,7 @@ #include #include #include +#include #include "swap.h" #include "internal.h" @@ -171,8 +172,8 @@ struct zswap_pool { struct work_struct shrink_work; struct hlist_node node; char tfm_name[CRYPTO_MAX_ALG_NAME]; - struct list_head lru; - spinlock_t lru_lock; + struct list_lru list_lru; + struct mem_cgroup *next_shrink; }; /* @@ -209,6 +210,7 @@ struct zswap_entry { unsigned long value; }; struct obj_cgroup *objcg; + int nid; struct list_head lru; }; @@ -309,6 +311,29 @@ static void zswap_entry_cache_free(struct zswap_entry *entry) kmem_cache_free(zswap_entry_cache, entry); } +/********************************* +* lru functions +**********************************/ +static bool zswap_lru_add(struct list_lru *list_lru, struct zswap_entry *entry) +{ + struct mem_cgroup *memcg = entry->objcg ? + get_mem_cgroup_from_objcg(entry->objcg) : NULL; + bool added = __list_lru_add(list_lru, &entry->lru, entry->nid, memcg); + + mem_cgroup_put(memcg); + return added; +} + +static bool zswap_lru_del(struct list_lru *list_lru, struct zswap_entry *entry) +{ + struct mem_cgroup *memcg = entry->objcg ? + get_mem_cgroup_from_objcg(entry->objcg) : NULL; + bool removed = __list_lru_del(list_lru, &entry->lru, entry->nid, memcg); + + mem_cgroup_put(memcg); + return removed; +} + /********************************* * rbtree functions **********************************/ @@ -393,9 +418,7 @@ static void zswap_free_entry(struct zswap_entry *entry) if (!entry->length) atomic_dec(&zswap_same_filled_pages); else { - spin_lock(&entry->pool->lru_lock); - list_del(&entry->lru); - spin_unlock(&entry->pool->lru_lock); + zswap_lru_del(&entry->pool->list_lru, entry); zpool_free(zswap_find_zpool(entry), entry->handle); zswap_pool_put(entry->pool); } @@ -629,21 +652,16 @@ static void zswap_invalidate_entry(struct zswap_tree *tree, zswap_entry_put(tree, entry); } -static int zswap_reclaim_entry(struct zswap_pool *pool) +static enum lru_status shrink_memcg_cb(struct list_head *item, struct list_lru_one *l, + spinlock_t *lock, void *arg) { - struct zswap_entry *entry; + struct zswap_entry *entry = container_of(item, struct zswap_entry, lru); + struct mem_cgroup *memcg; struct zswap_tree *tree; pgoff_t swpoffset; - int ret; + enum lru_status ret = LRU_REMOVED_RETRY; + int writeback_result; - /* Get an entry off the LRU */ - spin_lock(&pool->lru_lock); - if (list_empty(&pool->lru)) { - spin_unlock(&pool->lru_lock); - return -EINVAL; - } - entry = list_last_entry(&pool->lru, struct zswap_entry, lru); - list_del_init(&entry->lru); /* * Once the lru lock is dropped, the entry might get freed. The * swpoffset is copied to the stack, and entry isn't deref'd again @@ -651,26 +669,35 @@ static int zswap_reclaim_entry(struct zswap_pool *pool) */ swpoffset = swp_offset(entry->swpentry); tree = zswap_trees[swp_type(entry->swpentry)]; - spin_unlock(&pool->lru_lock); + list_lru_isolate(l, item); + spin_unlock(lock); /* Check for invalidate() race */ spin_lock(&tree->lock); if (entry != zswap_rb_search(&tree->rbroot, swpoffset)) { - ret = -EAGAIN; goto unlock; } /* Hold a reference to prevent a free during writeback */ zswap_entry_get(entry); spin_unlock(&tree->lock); - ret = zswap_writeback_entry(entry, tree); + writeback_result = zswap_writeback_entry(entry, tree); spin_lock(&tree->lock); - if (ret) { - /* Writeback failed, put entry back on LRU */ - spin_lock(&pool->lru_lock); - list_move(&entry->lru, &pool->lru); - spin_unlock(&pool->lru_lock); + if (writeback_result) { + zswap_reject_reclaim_fail++; + + /* Check for invalidate() race */ + if (entry != zswap_rb_search(&tree->rbroot, swpoffset)) + goto put_unlock; + + memcg = entry->objcg ? get_mem_cgroup_from_objcg(entry->objcg) : NULL; + spin_lock(lock); + /* we cannot use zswap_lru_add here, because it increments node's lru count */ + list_lru_putback(&entry->pool->list_lru, item, entry->nid, memcg); + spin_unlock(lock); + mem_cgroup_put(memcg); + ret = LRU_RETRY; goto put_unlock; } @@ -686,19 +713,63 @@ static int zswap_reclaim_entry(struct zswap_pool *pool) zswap_entry_put(tree, entry); unlock: spin_unlock(&tree->lock); - return ret ? -EAGAIN : 0; + spin_lock(lock); + return ret; +} + +static int shrink_memcg(struct mem_cgroup *memcg) +{ + struct zswap_pool *pool; + int nid, shrunk = 0; + bool is_empty = true; + + pool = zswap_pool_current_get(); + if (!pool) + return -EINVAL; + + for_each_node_state(nid, N_NORMAL_MEMORY) { + unsigned long nr_to_walk = 1; + + if (list_lru_walk_one(&pool->list_lru, nid, memcg, &shrink_memcg_cb, + NULL, &nr_to_walk)) + shrunk++; + if (!nr_to_walk) + is_empty = false; + } + zswap_pool_put(pool); + + if (is_empty) + return -EINVAL; + if (shrunk) + return 0; + return -EAGAIN; } static void shrink_worker(struct work_struct *w) { struct zswap_pool *pool = container_of(w, typeof(*pool), shrink_work); - int ret, failures = 0; + int ret, failures = 0, memcg_selection_failures = 0; + /* global reclaim will select cgroup in a round-robin fashion. */ do { - ret = zswap_reclaim_entry(pool); + /* previous next_shrink has become a zombie - restart from the top */ + if (pool->next_shrink && !mem_cgroup_online(pool->next_shrink)) { + mem_cgroup_put(pool->next_shrink); + pool->next_shrink = NULL; + } + pool->next_shrink = mem_cgroup_iter(NULL, pool->next_shrink, NULL); + + /* fails to find a suitable cgroup - give the worker another chance. */ + if (!pool->next_shrink) { + if (++memcg_selection_failures == 2) + break; + continue; + } + + ret = shrink_memcg(pool->next_shrink); + if (ret) { - zswap_reject_reclaim_fail++; if (ret != -EAGAIN) break; if (++failures == MAX_RECLAIM_RETRIES) @@ -764,9 +835,8 @@ static struct zswap_pool *zswap_pool_create(char *type, char *compressor) */ kref_init(&pool->kref); INIT_LIST_HEAD(&pool->list); - INIT_LIST_HEAD(&pool->lru); - spin_lock_init(&pool->lru_lock); INIT_WORK(&pool->shrink_work, shrink_worker); + list_lru_init_memcg(&pool->list_lru, NULL); zswap_pool_debug("created", pool); @@ -831,6 +901,9 @@ static void zswap_pool_destroy(struct zswap_pool *pool) cpuhp_state_remove_instance(CPUHP_MM_ZSWP_POOL_PREPARE, &pool->node); free_percpu(pool->acomp_ctx); + list_lru_destroy(&pool->list_lru); + if (pool->next_shrink) + mem_cgroup_put(pool->next_shrink); for (i = 0; i < ZSWAP_NR_ZPOOLS; i++) zpool_destroy_pool(pool->zpools[i]); kfree(pool); @@ -1199,8 +1272,10 @@ bool zswap_store(struct folio *folio) struct scatterlist input, output; struct crypto_acomp_ctx *acomp_ctx; struct obj_cgroup *objcg = NULL; + struct mem_cgroup *memcg = NULL; struct zswap_pool *pool; struct zpool *zpool; + int lru_alloc_ret; unsigned int dlen = PAGE_SIZE; unsigned long handle, value; char *buf; @@ -1218,14 +1293,15 @@ bool zswap_store(struct folio *folio) if (!zswap_enabled || !tree) return false; - /* - * XXX: zswap reclaim does not work with cgroups yet. Without a - * cgroup-aware entry LRU, we will push out entries system-wide based on - * local cgroup limits. - */ objcg = get_obj_cgroup_from_folio(folio); - if (objcg && !obj_cgroup_may_zswap(objcg)) - goto reject; + if (objcg && !obj_cgroup_may_zswap(objcg)) { + memcg = get_mem_cgroup_from_objcg(objcg); + if (shrink_memcg(memcg)) { + mem_cgroup_put(memcg); + goto reject; + } + mem_cgroup_put(memcg); + } /* reclaim space if needed */ if (zswap_is_full()) { @@ -1240,7 +1316,11 @@ bool zswap_store(struct folio *folio) else zswap_pool_reached_full = false; } - + pool = zswap_pool_current_get(); + if (!pool) { + ret = -EINVAL; + goto reject; + } /* allocate entry */ entry = zswap_entry_cache_alloc(GFP_KERNEL); if (!entry) { @@ -1256,6 +1336,7 @@ bool zswap_store(struct folio *folio) entry->length = 0; entry->value = value; atomic_inc(&zswap_same_filled_pages); + zswap_pool_put(pool); goto insert_entry; } kunmap_atomic(src); @@ -1264,6 +1345,15 @@ bool zswap_store(struct folio *folio) if (!zswap_non_same_filled_pages_enabled) goto freepage; + if (objcg) { + memcg = get_mem_cgroup_from_objcg(objcg); + lru_alloc_ret = memcg_list_lru_alloc(memcg, &pool->list_lru, GFP_KERNEL); + mem_cgroup_put(memcg); + + if (lru_alloc_ret) + goto freepage; + } + /* if entry is successfully added, it keeps the reference */ entry->pool = zswap_pool_current_get(); if (!entry->pool) @@ -1325,6 +1415,7 @@ bool zswap_store(struct folio *folio) insert_entry: entry->objcg = objcg; + entry->nid = page_to_nid(page); if (objcg) { obj_cgroup_charge_zswap(objcg, entry->length); /* Account before objcg ref is moved to tree */ @@ -1338,9 +1429,8 @@ bool zswap_store(struct folio *folio) zswap_invalidate_entry(tree, dupentry); } if (entry->length) { - spin_lock(&entry->pool->lru_lock); - list_add(&entry->lru, &entry->pool->lru); - spin_unlock(&entry->pool->lru_lock); + INIT_LIST_HEAD(&entry->lru); + zswap_lru_add(&pool->list_lru, entry); } spin_unlock(&tree->lock); @@ -1447,9 +1537,8 @@ bool zswap_load(struct folio *folio) zswap_invalidate_entry(tree, entry); folio_mark_dirty(folio); } else if (entry->length) { - spin_lock(&entry->pool->lru_lock); - list_move(&entry->lru, &entry->pool->lru); - spin_unlock(&entry->pool->lru_lock); + zswap_lru_del(&entry->pool->list_lru, entry); + zswap_lru_add(&entry->pool->list_lru, entry); } zswap_entry_put(tree, entry); spin_unlock(&tree->lock); @@ -1507,6 +1596,48 @@ void zswap_swapoff(int type) zswap_trees[type] = NULL; } +bool zswap_remove_swpentry_from_lru(swp_entry_t swpentry) +{ + struct zswap_tree *tree = zswap_trees[swp_type(swpentry)]; + struct zswap_entry *entry; + struct zswap_pool *pool; + bool removed = false; + + /* get the zswap entry and prevent it from being freed */ + spin_lock(&tree->lock); + entry = zswap_rb_search(&tree->rbroot, swp_offset(swpentry)); + /* skip if the entry is already written back or is a same filled page */ + if (!entry || !entry->length) + goto tree_unlock; + + pool = entry->pool; + removed = zswap_lru_del(&pool->list_lru, entry); + +tree_unlock: + spin_unlock(&tree->lock); + return removed; +} + +void zswap_insert_swpentry_into_lru(swp_entry_t swpentry) +{ + struct zswap_tree *tree = zswap_trees[swp_type(swpentry)]; + struct zswap_entry *entry; + struct zswap_pool *pool; + + /* get the zswap entry and prevent it from being freed */ + spin_lock(&tree->lock); + entry = zswap_rb_search(&tree->rbroot, swp_offset(swpentry)); + /* skip if the entry is already written back or is a same filled page */ + if (!entry || !entry->length) + goto tree_unlock; + + pool = entry->pool; + zswap_lru_add(&pool->list_lru, entry); + +tree_unlock: + spin_unlock(&tree->lock); +} + /********************************* * debugfs functions **********************************/ @@ -1560,7 +1691,7 @@ static int zswap_setup(void) struct zswap_pool *pool; int ret; - zswap_entry_cache = KMEM_CACHE(zswap_entry, 0); + zswap_entry_cache = KMEM_CACHE(zswap_entry, SLAB_ACCOUNT); if (!zswap_entry_cache) { pr_err("entry cache creation failed\n"); goto cache_fail;