From nobody Wed Feb 11 08:12:15 2026 Received: from mail-ot1-f48.google.com (mail-ot1-f48.google.com [209.85.210.48]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id F0EFE3644DA for ; Sun, 8 Feb 2026 21:59:07 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.210.48 ARC-Seal: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1770587948; cv=none; b=ZIGp/ceB4D5YOdUkhP7XHX/WBagHUUbYm3YCHVUao1kTsvovtEjmxs31+G1IQWvBatQStzrPvXz0PkQvc2tJO79WlkzG8Qddb6soILNAZPJt6WOMninpm1xjUeNNe5bFm11FgdVTxHO1lV70pal2EY0rHNj9M4j5JTP0Fu2B5kc= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1770587948; c=relaxed/simple; bh=pyOt9cHGZeWhU9XUoVsThPyzTsvwfO6OGKo9BkcPdbA=; h=From:To:Cc:Subject:Date:Message-ID:In-Reply-To:References: MIME-Version; b=c5o47oBTs0q+sR+tcmMFk6vbVGM3FOBqzz0PCgz2Sg1FGBXDyNFfmR2wACd/j6LZ2EO0kVb3yS6HNmT9iVprh7pgJit/jk+4h23wRGL5NebwkxSNXuTpdEJaFY2wxBGVAXrIAxSha0hpJN3p9nQGK6fGozU09Ac++HCV72iJ+lU= ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com; spf=pass smtp.mailfrom=gmail.com; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b=izhQG7A9; arc=none smtp.client-ip=209.85.210.48 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=gmail.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="izhQG7A9" Received: by mail-ot1-f48.google.com with SMTP id 46e09a7af769-7d1890f5cafso810663a34.1 for ; Sun, 08 Feb 2026 13:59:07 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1770587947; x=1771192747; 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=e8bNI/GS1vV3CKrDoFoyeQFdwXdHl+beBAT/+JTFa9I=; b=izhQG7A9OvkAdcUORzA2M75SdmLMDN2NGTkribHOmDE5/bGTXsGC28qLR2pFjIbSO4 ByvBn3JrviQZWZRykV1wB8tB/gZhEWAFSDzq+59wbMPia75PpAr1uTHb7TdgCCukZ62I L98h3IWPtKa7DJ0fYg28vsHxU3DG1DSC3k1qkOVdial9WtLESPzpDWTykZ1IsDGpjH5F horO3rRHzSyQi892O5jCxPPmu3Hg4ZzqG8dy5Qe5o0DtJWkc6x9aeeiAlzzVq3hHt4s2 g+ku+3MFgmEptB4MH2xhTny9Nj5n6JxJZcF9RXBDHFxJ20VwFuf8M8AVoHgeSI+HzifD KLIw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1770587947; x=1771192747; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-gg:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=e8bNI/GS1vV3CKrDoFoyeQFdwXdHl+beBAT/+JTFa9I=; b=dW0voohoc6wr9ypco6BxomPTK5lkgSajPi4c5CULb5s3p0Y2FCbiajJLSiBxdiovVe aQM4idIzu1XawgL1mcAScXXN24ml1xr8ywPyJVATqI1W9HRr5NgMG/Wk835/Uozm8bM7 ys3jKhLfnlD+1mNSvBO1VQfSAEg/F65woEp14Fspc8MJuIgGn6tpEssXqo2pXyS84ygA gm9akHsESyl57Hg6Nr6hpL9e4kBU2eawM+qKmotu9uSdZhr76Xk+/LMJoiSi+xh3AKSZ yQnYeISa8KyJpSjKDRIcEW19CCZP1BOzmLA3EoLI15egRAwICp9Po3njHtO1eqiW+AbR NnQg== X-Forwarded-Encrypted: i=1; AJvYcCUnGOuGnkeFfACcd/JM4Q56iJlU0JgOXCA1JgO5EV32yWqhfN0kzQJVAUQPeeBDP5TkQZX4Hh/CUbiB6g4=@vger.kernel.org X-Gm-Message-State: AOJu0Yz+PSnFPCS/7T4QozMUpnIySFWPcsTRsLvPLwcsRqpavwFswPkc IQK0YO3/Wi5cmLlvMc/OkoMRTpU1N4KV7wZMyDm3btdkj4rDpwf0GaWD X-Gm-Gg: AZuq6aLC5YYAFjijIXuY0f9Y7Z2j2ZirMRkJIOpuO/vNsIgm1pMm+vTULfVEBm/mQ8s sM4BbrhFZz5Kpph7GnKjOU5S41xhmulCI3qj+hVtUbID8AUFYkOaYczY2gD3ZyFyP8X+X71PC0c aDzZ5QTwPJlYBoyesZvPa4llQD3CXYzlkPyO2JtaOyz3yR03QvZLoWbaYFlOn9y7WwmBz3ULa+Z CpkQHJqjwzsVLocpLxO2eFT+hPyetb82p34mcNO6WygehH8jsyf4atNifNURlwg5WYqROt3W6we vpTToA8NcDaIKSDmehVhtEUNk8kExuxYf4IQQLyDJoO6RAIMpD23Jk1JqyXJ6g9GAk7FfyvCSPl y/pj1VbdFkAbxFtWDCMFhS3S7nAd96l28F3kBUcHmQ7r7nO8waAyzSknPVamyaA5DZpvf4ZWvjQ gdg5sE3UiwIUcV7bhyFvxuWRAJUmAGkomk5A== X-Received: by 2002:a05:6830:2b0e:b0:7cf:c485:be43 with SMTP id 46e09a7af769-7d4643e7eddmr5001314a34.7.1770587946806; Sun, 08 Feb 2026 13:59:06 -0800 (PST) Received: from localhost ([2a03:2880:10ff:48::]) by smtp.gmail.com with ESMTPSA id 46e09a7af769-7d46470da04sm6394135a34.7.2026.02.08.13.59.04 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 08 Feb 2026 13:59:05 -0800 (PST) From: Nhat Pham To: linux-mm@kvack.org Cc: akpm@linux-foundation.org, hannes@cmpxchg.org, hughd@google.com, yosry.ahmed@linux.dev, mhocko@kernel.org, roman.gushchin@linux.dev, shakeel.butt@linux.dev, muchun.song@linux.dev, len.brown@intel.com, chengming.zhou@linux.dev, kasong@tencent.com, chrisl@kernel.org, huang.ying.caritas@gmail.com, ryan.roberts@arm.com, shikemeng@huaweicloud.com, viro@zeniv.linux.org.uk, baohua@kernel.org, bhe@redhat.com, osalvador@suse.de, lorenzo.stoakes@oracle.com, christophe.leroy@csgroup.eu, pavel@kernel.org, kernel-team@meta.com, linux-kernel@vger.kernel.org, cgroups@vger.kernel.org, linux-pm@vger.kernel.org, peterx@redhat.com, riel@surriel.com, joshua.hahnjy@gmail.com, npache@redhat.com, gourry@gourry.net, axelrasmussen@google.com, yuanchu@google.com, weixugc@google.com, rafael@kernel.org, jannh@google.com, pfalcato@suse.de, zhengqi.arch@bytedance.com Subject: [PATCH v3 12/20] swap: implement the swap_cgroup API using virtual swap Date: Sun, 8 Feb 2026 13:58:25 -0800 Message-ID: <20260208215839.87595-13-nphamcs@gmail.com> X-Mailer: git-send-email 2.47.3 In-Reply-To: <20260208215839.87595-1-nphamcs@gmail.com> References: <20260208215839.87595-1-nphamcs@gmail.com> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Once we decouple a swap entry from its backing store via the virtual swap, we can no longer statically allocate an array to store the swap entries' cgroup information. Move it to the swap descriptor. Note that the memory overhead for swap cgroup information is now on demand, i.e dynamically incurred when the virtual swap cluster is allocated. This help reduces the memory overhead in a huge but sparsely used swap space. For instance, a 2 TB swapfile consists of 2147483648 swap slots, each incurring 2 bytes of overhead for swap cgroup, for a total of 1 GB. If we only utilize 10% of the swapfile, we will save 900 MB. Signed-off-by: Nhat Pham --- include/linux/swap_cgroup.h | 13 --- mm/Makefile | 3 - mm/swap_cgroup.c | 174 ------------------------------------ mm/swapfile.c | 7 -- mm/vswap.c | 95 ++++++++++++++++++++ 5 files changed, 95 insertions(+), 197 deletions(-) delete mode 100644 mm/swap_cgroup.c diff --git a/include/linux/swap_cgroup.h b/include/linux/swap_cgroup.h index 91cdf12190a03..a2abb4d6fa085 100644 --- a/include/linux/swap_cgroup.h +++ b/include/linux/swap_cgroup.h @@ -9,8 +9,6 @@ extern void swap_cgroup_record(struct folio *folio, unsigned short id, swp= _entry_t ent); extern unsigned short swap_cgroup_clear(swp_entry_t ent, unsigned int nr_e= nts); extern unsigned short lookup_swap_cgroup_id(swp_entry_t ent); -extern int swap_cgroup_swapon(int type, unsigned long max_pages); -extern void swap_cgroup_swapoff(int type); =20 #else =20 @@ -31,17 +29,6 @@ unsigned short lookup_swap_cgroup_id(swp_entry_t ent) return 0; } =20 -static inline int -swap_cgroup_swapon(int type, unsigned long max_pages) -{ - return 0; -} - -static inline void swap_cgroup_swapoff(int type) -{ - return; -} - #endif =20 #endif /* __LINUX_SWAP_CGROUP_H */ diff --git a/mm/Makefile b/mm/Makefile index 67fa4586e7e18..a7538784191bf 100644 --- a/mm/Makefile +++ b/mm/Makefile @@ -103,9 +103,6 @@ obj-$(CONFIG_PAGE_COUNTER) +=3D page_counter.o obj-$(CONFIG_LIVEUPDATE) +=3D memfd_luo.o obj-$(CONFIG_MEMCG_V1) +=3D memcontrol-v1.o obj-$(CONFIG_MEMCG) +=3D memcontrol.o vmpressure.o -ifdef CONFIG_SWAP -obj-$(CONFIG_MEMCG) +=3D swap_cgroup.o -endif obj-$(CONFIG_CGROUP_HUGETLB) +=3D hugetlb_cgroup.o obj-$(CONFIG_GUP_TEST) +=3D gup_test.o obj-$(CONFIG_DMAPOOL_TEST) +=3D dmapool_test.o diff --git a/mm/swap_cgroup.c b/mm/swap_cgroup.c deleted file mode 100644 index 77ce1d66c318d..0000000000000 --- a/mm/swap_cgroup.c +++ /dev/null @@ -1,174 +0,0 @@ -// SPDX-License-Identifier: GPL-2.0 -#include -#include -#include - -#include /* depends on mm.h include */ - -static DEFINE_MUTEX(swap_cgroup_mutex); - -/* Pack two cgroup id (short) of two entries in one swap_cgroup (atomic_t)= */ -#define ID_PER_SC (sizeof(struct swap_cgroup) / sizeof(unsigned short)) -#define ID_SHIFT (BITS_PER_TYPE(unsigned short)) -#define ID_MASK (BIT(ID_SHIFT) - 1) -struct swap_cgroup { - atomic_t ids; -}; - -struct swap_cgroup_ctrl { - struct swap_cgroup *map; -}; - -static struct swap_cgroup_ctrl swap_cgroup_ctrl[MAX_SWAPFILES]; - -static unsigned short __swap_cgroup_id_lookup(struct swap_cgroup *map, - pgoff_t offset) -{ - unsigned int shift =3D (offset % ID_PER_SC) * ID_SHIFT; - unsigned int old_ids =3D atomic_read(&map[offset / ID_PER_SC].ids); - - BUILD_BUG_ON(!is_power_of_2(ID_PER_SC)); - BUILD_BUG_ON(sizeof(struct swap_cgroup) !=3D sizeof(atomic_t)); - - return (old_ids >> shift) & ID_MASK; -} - -static unsigned short __swap_cgroup_id_xchg(struct swap_cgroup *map, - pgoff_t offset, - unsigned short new_id) -{ - unsigned short old_id; - struct swap_cgroup *sc =3D &map[offset / ID_PER_SC]; - unsigned int shift =3D (offset % ID_PER_SC) * ID_SHIFT; - unsigned int new_ids, old_ids =3D atomic_read(&sc->ids); - - do { - old_id =3D (old_ids >> shift) & ID_MASK; - new_ids =3D (old_ids & ~(ID_MASK << shift)); - new_ids |=3D ((unsigned int)new_id) << shift; - } while (!atomic_try_cmpxchg(&sc->ids, &old_ids, new_ids)); - - return old_id; -} - -/** - * swap_cgroup_record - record mem_cgroup for a set of swap entries. - * These entries must belong to one single folio, and that folio - * must be being charged for swap space (swap out), and these - * entries must not have been charged - * - * @folio: the folio that the swap entry belongs to - * @id: mem_cgroup ID to be recorded - * @ent: the first swap entry to be recorded - */ -void swap_cgroup_record(struct folio *folio, unsigned short id, - swp_entry_t ent) -{ - unsigned int nr_ents =3D folio_nr_pages(folio); - swp_slot_t slot =3D swp_entry_to_swp_slot(ent); - struct swap_cgroup *map; - pgoff_t offset, end; - unsigned short old; - - offset =3D swp_slot_offset(slot); - end =3D offset + nr_ents; - map =3D swap_cgroup_ctrl[swp_slot_type(slot)].map; - - do { - old =3D __swap_cgroup_id_xchg(map, offset, id); - VM_BUG_ON(old); - } while (++offset !=3D end); -} - -/** - * swap_cgroup_clear - clear mem_cgroup for a set of swap entries. - * These entries must be being uncharged from swap. They either - * belongs to one single folio in the swap cache (swap in for - * cgroup v1), or no longer have any users (slot freeing). - * - * @ent: the first swap entry to be recorded into - * @nr_ents: number of swap entries to be recorded - * - * Returns the existing old value. - */ -unsigned short swap_cgroup_clear(swp_entry_t ent, unsigned int nr_ents) -{ - swp_slot_t slot =3D swp_entry_to_swp_slot(ent); - pgoff_t offset =3D swp_slot_offset(slot); - pgoff_t end =3D offset + nr_ents; - struct swap_cgroup *map; - unsigned short old, iter =3D 0; - - map =3D swap_cgroup_ctrl[swp_slot_type(slot)].map; - - do { - old =3D __swap_cgroup_id_xchg(map, offset, 0); - if (!iter) - iter =3D old; - VM_BUG_ON(iter !=3D old); - } while (++offset !=3D end); - - return old; -} - -/** - * lookup_swap_cgroup_id - lookup mem_cgroup id tied to swap entry - * @ent: swap entry to be looked up. - * - * Returns ID of mem_cgroup at success. 0 at failure. (0 is invalid ID) - */ -unsigned short lookup_swap_cgroup_id(swp_entry_t ent) -{ - struct swap_cgroup_ctrl *ctrl; - swp_slot_t slot =3D swp_entry_to_swp_slot(ent); - - if (mem_cgroup_disabled()) - return 0; - - ctrl =3D &swap_cgroup_ctrl[swp_slot_type(slot)]; - return __swap_cgroup_id_lookup(ctrl->map, swp_slot_offset(slot)); -} - -int swap_cgroup_swapon(int type, unsigned long max_pages) -{ - struct swap_cgroup *map; - struct swap_cgroup_ctrl *ctrl; - - if (mem_cgroup_disabled()) - return 0; - - BUILD_BUG_ON(sizeof(unsigned short) * ID_PER_SC !=3D - sizeof(struct swap_cgroup)); - map =3D vzalloc(DIV_ROUND_UP(max_pages, ID_PER_SC) * - sizeof(struct swap_cgroup)); - if (!map) - goto nomem; - - ctrl =3D &swap_cgroup_ctrl[type]; - mutex_lock(&swap_cgroup_mutex); - ctrl->map =3D map; - mutex_unlock(&swap_cgroup_mutex); - - return 0; -nomem: - pr_info("couldn't allocate enough memory for swap_cgroup\n"); - pr_info("swap_cgroup can be disabled by swapaccount=3D0 boot option\n"); - return -ENOMEM; -} - -void swap_cgroup_swapoff(int type) -{ - struct swap_cgroup *map; - struct swap_cgroup_ctrl *ctrl; - - if (mem_cgroup_disabled()) - return; - - mutex_lock(&swap_cgroup_mutex); - ctrl =3D &swap_cgroup_ctrl[type]; - map =3D ctrl->map; - ctrl->map =3D NULL; - mutex_unlock(&swap_cgroup_mutex); - - vfree(map); -} diff --git a/mm/swapfile.c b/mm/swapfile.c index 68ec5d9f05848..345877786e432 100644 --- a/mm/swapfile.c +++ b/mm/swapfile.c @@ -2931,8 +2931,6 @@ SYSCALL_DEFINE1(swapoff, const char __user *, special= file) vfree(swap_map); kvfree(zeromap); free_cluster_info(cluster_info, maxpages); - /* Destroy swap account information */ - swap_cgroup_swapoff(p->type); =20 inode =3D mapping->host; =20 @@ -3497,10 +3495,6 @@ SYSCALL_DEFINE2(swapon, const char __user *, special= file, int, swap_flags) goto bad_swap_unlock_inode; } =20 - error =3D swap_cgroup_swapon(si->type, maxpages); - if (error) - goto bad_swap_unlock_inode; - error =3D setup_swap_map(si, swap_header, swap_map, maxpages); if (error) goto bad_swap_unlock_inode; @@ -3605,7 +3599,6 @@ SYSCALL_DEFINE2(swapon, const char __user *, specialf= ile, int, swap_flags) si->global_cluster =3D NULL; inode =3D NULL; destroy_swap_extents(si); - swap_cgroup_swapoff(si->type); spin_lock(&swap_lock); si->swap_file =3D NULL; si->flags =3D 0; diff --git a/mm/vswap.c b/mm/vswap.c index 9bb733f00fd21..64747493ca9f7 100644 --- a/mm/vswap.c +++ b/mm/vswap.c @@ -41,6 +41,7 @@ * @zswap_entry: The zswap entry associated with this swap slot. * @swap_cache: The folio in swap cache. * @shadow: The shadow entry. + * @memcgid: The memcg id of the owning memcg, if any. */ struct swp_desc { swp_slot_t slot; @@ -49,6 +50,9 @@ struct swp_desc { struct folio *swap_cache; void *shadow; }; +#ifdef CONFIG_MEMCG + unsigned short memcgid; +#endif }; =20 #define VSWAP_CLUSTER_SHIFT HPAGE_PMD_ORDER @@ -242,6 +246,9 @@ static void __vswap_alloc_from_cluster(struct vswap_clu= ster *cluster, int start) desc =3D &cluster->descriptors[start + i]; desc->slot.val =3D 0; desc->zswap_entry =3D NULL; +#ifdef CONFIG_MEMCG + desc->memcgid =3D 0; +#endif } cluster->count +=3D nr; } @@ -1109,6 +1116,94 @@ bool zswap_empty(swp_entry_t swpentry) } #endif /* CONFIG_ZSWAP */ =20 +#ifdef CONFIG_MEMCG +static unsigned short vswap_cgroup_record(swp_entry_t entry, + unsigned short memcgid, unsigned int nr_ents) +{ + struct vswap_cluster *cluster =3D NULL; + struct swp_desc *desc; + unsigned short oldid, iter =3D 0; + int i; + + rcu_read_lock(); + for (i =3D 0; i < nr_ents; i++) { + desc =3D vswap_iter(&cluster, entry.val + i); + VM_WARN_ON(!desc); + oldid =3D desc->memcgid; + desc->memcgid =3D memcgid; + if (!iter) + iter =3D oldid; + VM_WARN_ON(iter !=3D oldid); + } + spin_unlock(&cluster->lock); + rcu_read_unlock(); + + return oldid; +} + +/** + * swap_cgroup_record - record mem_cgroup for a set of swap entries. + * These entries must belong to one single folio, and that folio + * must be being charged for swap space (swap out), and these + * entries must not have been charged + * + * @folio: the folio that the swap entry belongs to + * @memcgid: mem_cgroup ID to be recorded + * @entry: the first swap entry to be recorded + */ +void swap_cgroup_record(struct folio *folio, unsigned short memcgid, + swp_entry_t entry) +{ + unsigned short oldid =3D + vswap_cgroup_record(entry, memcgid, folio_nr_pages(folio)); + + VM_WARN_ON(oldid); +} + +/** + * swap_cgroup_clear - clear mem_cgroup for a set of swap entries. + * These entries must be being uncharged from swap. They either + * belongs to one single folio in the swap cache (swap in for + * cgroup v1), or no longer have any users (slot freeing). + * + * @entry: the first swap entry to be recorded into + * @nr_ents: number of swap entries to be recorded + * + * Returns the existing old value. + */ +unsigned short swap_cgroup_clear(swp_entry_t entry, unsigned int nr_ents) +{ + return vswap_cgroup_record(entry, 0, nr_ents); +} + +/** + * lookup_swap_cgroup_id - lookup mem_cgroup id tied to swap entry + * @entry: swap entry to be looked up. + * + * Returns ID of mem_cgroup at success. 0 at failure. (0 is invalid ID) + */ +unsigned short lookup_swap_cgroup_id(swp_entry_t entry) +{ + struct vswap_cluster *cluster =3D NULL; + struct swp_desc *desc; + unsigned short ret; + + /* + * Note that the virtual swap slot can be freed under us, for instance in + * the invocation of mem_cgroup_swapin_charge_folio. We need to wrap the + * entire lookup in RCU read-side critical section, and double check the + * existence of the swap descriptor. + */ + rcu_read_lock(); + desc =3D vswap_iter(&cluster, entry.val); + ret =3D desc ? desc->memcgid : 0; + if (cluster) + spin_unlock(&cluster->lock); + rcu_read_unlock(); + return ret; +} +#endif /* CONFIG_MEMCG */ + int vswap_init(void) { int i; --=20 2.47.3