From nobody Sat Sep 26 22:37:47 2026 Received: from mail-qk1-f171.google.com (mail-qk1-f171.google.com [209.85.222.171]) (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 DBC583A1DB for ; Sat, 29 Aug 2026 01:59:50 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.222.171 ARC-Seal: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1787968792; cv=none; b=Y8ESdKtovo9tQJ7PwP2TgQp+HiQ9tMawhREDCeALNND4/9F0Jh4b0Wvfkmz07/H6HMfonezB7cLdohxu9tOseGInNTUjrebwoe9IoZ3NPP1spuFv8uHrmm+SAHEn5Ww0XyxlPQN+Yp7+O/lTGzC0wgcbBWD4ZgldtlhL9+cV1bg= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1787968792; c=relaxed/simple; bh=rX1XzN2uM/GnLcNQ1zon6YvETR+Ge5U74yYVybm8P/M=; h=From:To:Cc:Subject:Date:Message-ID:In-Reply-To:References: MIME-Version; b=LSuOCcol3232PUXYIDIDCkTObXmm52fKcKZSOsynpO5JOMRZ5Xh1kb8knDPGVK0Be06Txb+VPxV99nyVn+qdb9KEi9fRctOZsGGFLYcdifiqZUiaedA4AXk8a+G64WIY7cM4DPQ0/R/+HfcR8ImIp8KP2L27J8oKdnpXpq3XuGc= ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=none (p=none dis=none) header.from=gourry.net; spf=pass smtp.mailfrom=gourry.net; dkim=pass (2048-bit key) header.d=gourry.net header.i=@gourry.net header.b=VOz6UpFk; arc=none smtp.client-ip=209.85.222.171 Authentication-Results: smtp.subspace.kernel.org; dmarc=none (p=none dis=none) header.from=gourry.net Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=gourry.net Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gourry.net header.i=@gourry.net header.b="VOz6UpFk" Received: by mail-qk1-f171.google.com with SMTP id af79cd13be357-9371bcf1f8fso86674285a.1 for ; Fri, 28 Aug 2026 18:59:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gourry.net; s=google; t=1787968790; x=1788573590; 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:content-type; bh=jC5RZ0/W3U26Ng+tF+NWajMfbOb15T9nPbwMwMEpGWM=; b=VOz6UpFkwkvIKcmRgOOA+5iPgz4LLoXIyTrxJSCFj3keHvrmrShGEYMIb63MNZjVA4 EKjfpvktXM8SxmVB0JUDkA6nvMkYqcWjiCtnJfqmELc2xa3M5DOUyeUtd/tfje11zQ9Q 3ursYIJXKSt+Q/J6TNbj0YIpvyocmANz2gk8DK1vGxMkwkLxw0Afmjli29qSBNwHc4cc irzd4NTEorYuxaR6MqWmOmBdWOZvl6Nml2TNePvFrMrrA4o2GE3Gg8U6cBgJJMs/Iw2u ZCp6j+mkODN5fBzmcNqT4wgqX+IMy7wbWAbs3GFP+h8JZl4yvb7ELma3bSeRnns+q/xu WK+A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1787968790; x=1788573590; 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:content-type; bh=jC5RZ0/W3U26Ng+tF+NWajMfbOb15T9nPbwMwMEpGWM=; b=h4hsrV7KBVeyzq9OPk8gJSdBN9HjYSqk4M5yejNIK3t8rPxZhqIua4O4NsWVh5to59 wBHp/uzSsNVCMSWp0dGLqBVijsg33jftbwPtRYRnVTan8D1QwG9+CuzOAET8ruWtJEUM pJtYqhS1zn5t+F+EuIdal2XnrzJId8V18M9bHgN2M1AESA/NSZNNllLf5WNaOIrQT6ix LrYRzjPBIOkWugEt4ChTBqQQG9SI9B9/0VZaCi0aUy/lSBoejdc96WZyCWZpaGKO8/YQ 2Gf8xKt62tcViBRkHz0PXuyzKXZ4+US5BRfn2fpXYIxJ2vtuPwI8gmYEAI20bvMi5Ps+ qscA== X-Gm-Message-State: AFuF++nW4UGUtHz0rgSSZ2g5ZMxY77A5zdqxqs99pd7o2aEhFZEvn1/y lbSFJ6uZqwroMuSkIW8qZxprxFUzUv8vzLrramBm6lWo9d1IKlz5enrCaa9/Oloxf2E= X-Gm-Gg: AR+sD13VJis+0VnrUI3t1m3aeYEUtNHb7k7SJFfK2TZt8awpnC0/+aqA/hgEcfFFRrX Z5qUFqpEqXc9hm5vjhP8/3pC3Fkh1QNExZorbxwSQ1AeJOn62aBWW7T+sryJDnEce78ZFswM/mx e4+3F9p4Yo3UXJYSpNFqs+vS5oxQrAtE8cwV4LXV7iKPKykH7wxoB8pRcf3pKljqZ8+opxfjoDh AF9cCfkdfUrbHvGH3fS8aq4x8O2nTxYKy4DJgqZwrmQZrFPOl+KIYZp6gcWy3ruE3nPh5TTfcRX CtOqzIn3QEGqZBjwAe8W1lBDbyXUm0wL7e3B/jDSmUKx3TjJrSkr1X6yQt07WObc/g5PG0X0WOj EHjpSUrWGcNRIvElJIkCeUW2Tf+/rtuHSsblCHRQf7gRBrTIvAnCqOHizHobgIM3KSVCO9WtCWq UpLaO6NyrJ37WNPH/Uth7ju1CFlicpiTmHy2SrMXno7fGf8arhFAU6qgl9V21RyUeSQ+CUJjmXR bDUosSVYnz4K25EwgU4Xi39IBxQf6UWSwDNSIOHAH++Md8ySQ== X-Received: by 2002:a05:620a:40cb:b0:936:cda7:554d with SMTP id af79cd13be357-93913798773mr1261501085a.14.1787968789658; Fri, 28 Aug 2026 18:59:49 -0700 (PDT) Received: from gourry-fedora-PF4VCD3F.lan (pool-173-79-60-52.washdc.fios.verizon.net. [173.79.60.52]) by smtp.gmail.com with ESMTPSA id af79cd13be357-9391701305dsm272582285a.4.2026.08.28.18.59.48 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 28 Aug 2026 18:59:49 -0700 (PDT) From: Gregory Price To: linux-mm@kvack.org Cc: linux-kernel@vger.kernel.org, kernel-team@meta.com, akpm@linux-foundation.org, david@kernel.org, ziy@nvidia.com, matthew.brost@intel.com, joshua.hahnjy@gmail.com, rakie.kim@sk.com, byungchul@sk.com, gourry@gourry.net, ying.huang@linux.alibaba.com, apopple@nvidia.com, urezki@gmail.com, chenwandun@huawei.com, Matthew Wilcox Subject: [PATCH 1/2] mm/mempolicy: use SRCU for the weighted interleave state Date: Fri, 28 Aug 2026 21:59:42 -0400 Message-ID: <20260829015943.1258774-2-gourry@gourry.net> X-Mailer: git-send-email 2.55.0 In-Reply-To: <20260829015943.1258774-1-gourry@gourry.net> References: <20260829015943.1258774-1-gourry@gourry.net> 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" alloc_pages_bulk_weighted_interleave() copies iw_table into a scratch array on every call so it can walk the weights outside of RCU. The copy exists only because the loop may sleep in the page allocator and so cannot hold rcu_read_lock(). Use SRCU to pin the global iw_table object and use it in-place instead. Retire through both flavors - call_srcu() for the sleeping readers, then kfree_rcu() for the reference-less ones - so writers no longer block on synchronize_rcu() either. Tested in a VM with KASAN, PROVE_LOCKING and DEBUG_OBJECTS_RCU_HEAD, with a udelay() injected into the read section to widen the race against concurrent sysfs weight writers, and placement checked against the configured weights. Every retired state reached its callback. Swapping the deferred free for a bare kfree() in the same test reports a use-after-free immediately. Suggested-by: Andrew Morton Suggested-by: Matthew Wilcox Assisted-by: Claude:claude-opus-5 Signed-off-by: Gregory Price (Meta) Acked-by: David Hildenbrand (Arm) --- mm/mempolicy.c | 70 ++++++++++++++++++++++++-------------------------- 1 file changed, 34 insertions(+), 36 deletions(-) diff --git a/mm/mempolicy.c b/mm/mempolicy.c index 060a0eb26917..2643915dc966 100644 --- a/mm/mempolicy.c +++ b/mm/mempolicy.c @@ -112,6 +112,7 @@ #include #include #include +#include =20 #include #include @@ -157,6 +158,7 @@ static const int weightiness =3D 32; */ struct weighted_interleave_state { bool mode_auto; + struct rcu_head rcu; u8 iw_table[]; }; static struct weighted_interleave_state __rcu *wi_state; @@ -168,6 +170,24 @@ static unsigned int *node_bw_table; */ static DEFINE_MUTEX(wi_state_lock); =20 +/* Readers that sleep while walking iw_table hold this instead */ +DEFINE_STATIC_SRCU_FAST(wi_srcu); + +static void wi_state_free_rcu(struct rcu_head *head) +{ + struct weighted_interleave_state *state =3D + container_of(head, struct weighted_interleave_state, rcu); + + kfree_rcu(state, rcu); +} + +/* Retire through both flavors: sleeping readers use SRCU, the rest RCU */ +static void wi_state_retire(struct weighted_interleave_state *state) +{ + if (state) + call_srcu(&wi_srcu, &state->rcu, wi_state_free_rcu); +} + static u8 get_il_weight(int node) { struct weighted_interleave_state *state; @@ -266,10 +286,7 @@ int mempolicy_set_node_perf(unsigned int node, struct = access_coordinate *coords) rcu_assign_pointer(wi_state, new_wi_state); =20 mutex_unlock(&wi_state_lock); - if (old_wi_state) { - synchronize_rcu(); - kfree(old_wi_state); - } + wi_state_retire(old_wi_state); out: kfree(old_bw); return 0; @@ -2644,7 +2661,8 @@ static unsigned long alloc_pages_bulk_weighted_interl= eave(gfp_t gfp, unsigned long nr_allocated =3D 0; unsigned long rounds; unsigned long node_pages, delta; - u8 *weights, weight; + struct srcu_ctr __percpu *scp; + u8 *table, weight; unsigned int weight_total =3D 0; unsigned long rem_pages =3D nr_pages; nodemask_t nodes; @@ -2688,25 +2706,14 @@ static unsigned long alloc_pages_bulk_weighted_inte= rleave(gfp_t gfp, me->il_weight =3D 0; prev_node =3D node; =20 - /* create a local copy of node weights to operate on outside rcu */ - weights =3D kmalloc(nr_node_ids, gfp & GFP_RECLAIM_MASK); - if (!weights) - return total_allocated; - - rcu_read_lock(); - state =3D rcu_dereference(wi_state); - if (state) { - memcpy(weights, state->iw_table, nr_node_ids * sizeof(u8)); - rcu_read_unlock(); - } else { - rcu_read_unlock(); - for (i =3D 0; i < nr_node_ids; i++) - weights[i] =3D 1; - } + /* The page allocator may sleep, pin the weight table with SRCU */ + scp =3D srcu_read_lock_fast(&wi_srcu); + state =3D srcu_dereference(wi_state, &wi_srcu); + table =3D state ? state->iw_table : NULL; =20 /* calculate total, detect system default usage */ for_each_node_mask(node, nodes) - weight_total +=3D weights[node]; + weight_total +=3D table ? table[node] : 1; =20 /* * Calculate rounds/partial rounds to minimize __alloc_pages_bulk calls. @@ -2718,10 +2725,10 @@ static unsigned long alloc_pages_bulk_weighted_inte= rleave(gfp_t gfp, rounds =3D rem_pages / weight_total; delta =3D rem_pages % weight_total; resume_node =3D next_node_in(prev_node, nodes); - resume_weight =3D weights[resume_node]; + resume_weight =3D table ? table[resume_node] : 1; for (i =3D 0; i < nnodes; i++) { node =3D next_node_in(prev_node, nodes); - weight =3D weights[node]; + weight =3D table ? table[node] : 1; node_pages =3D weight * rounds; /* If a delta exists, add this node's portion of the delta */ if (delta > weight) { @@ -2747,7 +2754,7 @@ static unsigned long alloc_pages_bulk_weighted_interl= eave(gfp_t gfp, } me->il_prev =3D resume_node; me->il_weight =3D resume_weight; - kfree(weights); + srcu_read_unlock_fast(&wi_srcu, scp); return total_allocated; } =20 @@ -3673,10 +3680,7 @@ static ssize_t node_store(struct kobject *kobj, stru= ct kobj_attribute *attr, =20 rcu_assign_pointer(wi_state, new_wi_state); mutex_unlock(&wi_state_lock); - if (old_wi_state) { - synchronize_rcu(); - kfree(old_wi_state); - } + wi_state_retire(old_wi_state); return count; } =20 @@ -3742,10 +3746,7 @@ static ssize_t weighted_interleave_auto_store(struct= kobject *kobj, update_wi_state: rcu_assign_pointer(wi_state, new_wi_state); mutex_unlock(&wi_state_lock); - if (old_wi_state) { - synchronize_rcu(); - kfree(old_wi_state); - } + wi_state_retire(old_wi_state); return count; } =20 @@ -3789,10 +3790,7 @@ static void wi_state_free(void) rcu_assign_pointer(wi_state, NULL); mutex_unlock(&wi_state_lock); =20 - if (old_wi_state) { - synchronize_rcu(); - kfree(old_wi_state); - } + wi_state_retire(old_wi_state); } =20 static struct kobj_attribute wi_auto_attr =3D { --=20 2.55.0 From nobody Sat Sep 26 22:37:47 2026 Received: from mail-qk1-f179.google.com (mail-qk1-f179.google.com [209.85.222.179]) (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 9D5AB2DF12F for ; Sat, 29 Aug 2026 01:59:52 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.222.179 ARC-Seal: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1787968794; cv=none; b=pN0eOpYUu4E0Mkv4o24OC3pyDzb2mWbz0J79Uy36gSmerLe2eQnRLWB4A7DUZegeJfFxr4lxEtmXeywdAbu/sgFDyqQfRhfc9nQwanHYOa9cLHlMG9gq1ZGHPFtTu060uKl2qmQR2pvhIiSzdHu6T7Cw+h3aHC2bgTDUrg9DrkQ= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1787968794; c=relaxed/simple; bh=xN1O5hap1czxHNRtZxYk5qVL1FQlbdug281W2wtbwY0=; h=From:To:Cc:Subject:Date:Message-ID:In-Reply-To:References: MIME-Version; b=OB0vHkllIuEHxcxuEZocKikmBqc2cFYDObn34h9FoOOpgofdHfb1rBhfIwhtAuj4lU88lQErOM0STRrU2lqPWSN/6W75vywlRYL2iTU+Tm6a2glZsn8HzveEKgF6X80u3qoz6LAIci2o/mWgsNeCOI2YbS4C0pQkXf8c3mGilus= ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=none (p=none dis=none) header.from=gourry.net; spf=pass smtp.mailfrom=gourry.net; dkim=pass (2048-bit key) header.d=gourry.net header.i=@gourry.net header.b=szlbiaLx; arc=none smtp.client-ip=209.85.222.179 Authentication-Results: smtp.subspace.kernel.org; dmarc=none (p=none dis=none) header.from=gourry.net Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=gourry.net Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gourry.net header.i=@gourry.net header.b="szlbiaLx" Received: by mail-qk1-f179.google.com with SMTP id af79cd13be357-93900ed2925so130680285a.0 for ; Fri, 28 Aug 2026 18:59:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gourry.net; s=google; t=1787968791; x=1788573591; 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:content-type; bh=faC0fYG8yMLiPwwr3mLcygBE5e7EbRUJ0hBevdXCmrk=; b=szlbiaLxIc+nrl3gI/fS+a49AY72LcRgPXBW+wrZHVY4qTagU67qQJfYu9H4XTpqBU L0KhVc/opWYwXGR43j0Y/84Ecq9SJb1EviYF/4NAYd1KEKjZdVZanqdN4Lab9vxoVOzP RiZjQE0ncYTsIh1c1UfQgslv3YCq/qa+NhKTs1FYwLDhVRhEsL7xP7DjO472oJFi5TNJ WEkotqvKGVyfX0xTP9K8hNLKDiwzBCQZYyzyhtwkArwoS81q3iN675ULZtGPAWxR7/R7 OeoEtKIezd7hIPy8u7FpKlcS8PrQGahtoI7NEdXdodC7tvAe6mF1WHcZa5geIF3qGxs9 YvNA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1787968791; x=1788573591; 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:content-type; bh=faC0fYG8yMLiPwwr3mLcygBE5e7EbRUJ0hBevdXCmrk=; b=pd+v2u9SVG8VAbFqMPPAV0O6LS45HPwnQ/yKJaAXFpNnt646+rMzIuPAoIgYXpKIda mph9EXKScXTGwn6zCn9MtWEskEu/nTifP6Ykni/Vue4HksYI4GVyn+Qv5u7dkFEtlypp ZNve07b1MLDRT07bsxg3a3/XAGMh2J796BtpvZZBLmpX22WqIAzvjeLwWMtKpYqoTHRQ Heek6OBorP8fSWUT84x5djSZmjRO1/OxRSq7Seq1UDC6HNbBWMquISON4JWrvr+kSE3V 2MGHfUPBiMFokMKgy8VTGWqvhWM5SfFsyBSbZrb2KR2WHPJcYSeYtZyQB7fyKk1VuS3J KKAQ== X-Gm-Message-State: AFuF++kyVESeK55OdhLYVvTFTlcB29sIndAyYWNR5C+QjSwbWGYkMBN8 WZouCVRj6+66muzhNcj5LCHTcIoFwL4pFxSnlF5lNTgQOj+k8Mrm4QfZJqdWEdCZC1qe61Hjt7v x9UtVOKU= X-Gm-Gg: AR+sD13lAhiWTSZblY7846olfGeGBU1rABuZA1+UBBCuum5o6jmNAtlBKlbMnhwjBWc aTH/EdLddw+ANSpqzLp62qkWMN1vSpkpJzesQsscf2mxeRry4tW8fAmKD2uxLu+C8UyUFxBOoda 6LjRZV4K3j2wHNUotAgrCzOjKbD1OXAQbQopdPAFf+tteoB4f7vpc7yWLdyY40t1m6iwqKKrfGj XtNeAyoPNWmPG9M0xXWtwDEorU4i0NoEV+Ed4hix7mVy+BVvwLdXi2hHlvdpHJblM8FbZlMvayJ DAeozEU8T+pgtuituAcayARXAngufWGXF+FNlzYvQDQSFERz4L1k3dFr8aMofF2Z3BAFKRu52EK pxNaoxpbKMZMGJewJ+1smKWx+ON7Ae7UuzOHftO+sWfb5gCupY9C6qx+mPtD2fX4Z1sYfzdfmnL pZeSHgbP+qXbCIfAdN/kma8be7hZhLusK5qZvp6qen9FT+2SSHss0Er69u9r1lCWIzGRmo8fjSW p/Lpp317cDh33IGbgjrKxYJd4bq615gka9l+cdPxjxmWwzFTg== X-Received: by 2002:a05:620a:29d4:b0:92e:71bb:d1c0 with SMTP id af79cd13be357-9391379155emr1157379185a.15.1787968791382; Fri, 28 Aug 2026 18:59:51 -0700 (PDT) Received: from gourry-fedora-PF4VCD3F.lan (pool-173-79-60-52.washdc.fios.verizon.net. [173.79.60.52]) by smtp.gmail.com with ESMTPSA id af79cd13be357-9391701305dsm272582285a.4.2026.08.28.18.59.50 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 28 Aug 2026 18:59:50 -0700 (PDT) From: Gregory Price To: linux-mm@kvack.org Cc: linux-kernel@vger.kernel.org, kernel-team@meta.com, akpm@linux-foundation.org, david@kernel.org, ziy@nvidia.com, matthew.brost@intel.com, joshua.hahnjy@gmail.com, rakie.kim@sk.com, byungchul@sk.com, gourry@gourry.net, ying.huang@linux.alibaba.com, apopple@nvidia.com, urezki@gmail.com, chenwandun@huawei.com Subject: [PATCH 2/2] mm/mempolicy: stop copying the nodemask in the interleave paths Date: Fri, 28 Aug 2026 21:59:43 -0400 Message-ID: <20260829015943.1258774-3-gourry@gourry.net> X-Mailer: git-send-email 2.55.0 In-Reply-To: <20260829015943.1258774-1-gourry@gourry.net> References: <20260829015943.1258774-1-gourry@gourry.net> 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" The interleave node selectors copy pol->nodes onto the stack so the mask cannot change while they walk it. nodemask_t is 128 bytes at MAX_NUMNODES=3D1024, and two of the three run per folio fault. The copy only buys consistency between the node count and the walk. Drop the consistency and just bounds check the walk instead. If an empty nodelist or weight is perceived, fall back to numa_node_id(), which is what the functions already did when the copy came back empty. weighted_interleave_nid() counts the nodes as we sum the weights. We use that node count to limit the maximum skew a single node can host. interleave_nid() walks with next_node_in() rather than next_node(), so a mask that shrank mid-walk wraps to a node still in the policy. alloc_pages_bulk_weighted_interleave() derives per-node counts from a weight total summed over the mask, so a changing mask can make them exceed the request. Clamp each chunk to the space left in page_array. A cpuset cookie will not work here: two of these take VMA policies, which mpol_rebind_mm() rebinds under mmap_write_lock(), not mems_allowed_seq. Cost is distribution accuracy during a rebind - but the copy never corrected this anyway, it was just a safety mechanism to prevent div/0 and overrunning the alloc request buffer. Remove read_once_policy_nodemask(), now unused. -fstack-usage at MAX_NUMNODES=3D1024: weighted_interleave_nid 184 -> 56 interleave_nid 168 -> 32 alloc_pages_bulk_mempolicy_noprof 360 -> 136 Assisted-by: Claude:claude-opus-5 Signed-off-by: Gregory Price (Meta) Acked-by: David Hildenbrand (Arm) Reviewed-by: Rakie Kim --- mm/mempolicy.c | 86 ++++++++++++++++++++++++++++---------------------- 1 file changed, 49 insertions(+), 37 deletions(-) diff --git a/mm/mempolicy.c b/mm/mempolicy.c index 2643915dc966..296129126109 100644 --- a/mm/mempolicy.c +++ b/mm/mempolicy.c @@ -2197,34 +2197,15 @@ unsigned int mempolicy_slab_node(void) } } =20 -static unsigned int read_once_policy_nodemask(struct mempolicy *pol, - nodemask_t *mask) -{ - /* - * barrier stabilizes the nodemask locally so that it can be iterated - * over safely without concern for changes. Allocators validate node - * selection does not violate mems_allowed, so this is safe. - */ - barrier(); - memcpy(mask, &pol->nodes, sizeof(nodemask_t)); - barrier(); - return nodes_weight(*mask); -} - static unsigned int weighted_interleave_nid(struct mempolicy *pol, pgoff_t= ilx) { struct weighted_interleave_state *state; - nodemask_t nodemask; - unsigned int target, nr_nodes; + unsigned int target, nnodes =3D 0; u8 *table =3D NULL; unsigned int weight_total =3D 0; u8 weight; int nid =3D 0; =20 - nr_nodes =3D read_once_policy_nodemask(pol, &nodemask); - if (!nr_nodes) - return numa_node_id(); - rcu_read_lock(); =20 state =3D rcu_dereference(wi_state); @@ -2232,22 +2213,40 @@ static unsigned int weighted_interleave_nid(struct = mempolicy *pol, pgoff_t ilx) if (state) table =3D state->iw_table; =20 - /* calculate the total weight */ - for_each_node_mask(nid, nodemask) + /* calculate the total weight and the node count */ + for_each_node_mask(nid, pol->nodes) { weight_total +=3D table ? table[nid] : 1; + nnodes++; + } + + /* the mask is empty */ + if (!weight_total) { + rcu_read_unlock(); + return numa_node_id(); + } =20 /* Calculate the node offset based on totals */ target =3D ilx % weight_total; - nid =3D first_node(nodemask); - while (target) { + nid =3D first_node(pol->nodes); + + /* + * The target was calculated in a separate loop, and a concurrent + * rebind can change the total number of nodes. Clamp this loop to + * a single pass (nnodes) to keep the walk bounded by node count. + */ + while (target && nnodes-- && nid < MAX_NUMNODES) { /* detect system default usage */ weight =3D table ? table[nid] : 1; if (target < weight) break; target -=3D weight; - nid =3D next_node_in(nid, nodemask); + nid =3D next_node_in(nid, pol->nodes); } rcu_read_unlock(); + + /* the mask emptied under the walk */ + if (nid >=3D MAX_NUMNODES) + return numa_node_id(); return nid; } =20 @@ -2258,18 +2257,21 @@ static unsigned int weighted_interleave_nid(struct = mempolicy *pol, pgoff_t ilx) */ static unsigned int interleave_nid(struct mempolicy *pol, pgoff_t ilx) { - nodemask_t nodemask; unsigned int target, nnodes; int i; int nid; =20 - nnodes =3D read_once_policy_nodemask(pol, &nodemask); + nnodes =3D nodes_weight(pol->nodes); if (!nnodes) return numa_node_id(); target =3D ilx % nnodes; - nid =3D first_node(nodemask); - for (i =3D 0; i < target; i++) - nid =3D next_node(nid, nodemask); + nid =3D first_node(pol->nodes); + for (i =3D 0; i < target && nid < MAX_NUMNODES; i++) + nid =3D next_node_in(nid, pol->nodes); + + /* the mask emptied under the walk */ + if (nid >=3D MAX_NUMNODES) + return numa_node_id(); return nid; } =20 @@ -2665,7 +2667,6 @@ static unsigned long alloc_pages_bulk_weighted_interl= eave(gfp_t gfp, u8 *table, weight; unsigned int weight_total =3D 0; unsigned long rem_pages =3D nr_pages; - nodemask_t nodes; int nnodes, node; int resume_node =3D MAX_NUMNODES - 1; u8 resume_weight =3D 0; @@ -2675,10 +2676,10 @@ static unsigned long alloc_pages_bulk_weighted_inte= rleave(gfp_t gfp, if (!nr_pages) return 0; =20 - /* read the nodes onto the stack, retry if done during rebind */ + /* count the nodes, retry if a rebind happened during the read */ do { cpuset_mems_cookie =3D read_mems_allowed_begin(); - nnodes =3D read_once_policy_nodemask(pol, &nodes); + nnodes =3D nodes_weight(pol->nodes); } while (read_mems_allowed_retry(cpuset_mems_cookie)); =20 /* if the nodemask has become invalid, we cannot do anything */ @@ -2688,7 +2689,7 @@ static unsigned long alloc_pages_bulk_weighted_interl= eave(gfp_t gfp, /* Continue allocating from most recent node and adjust the nr_pages */ node =3D me->il_prev; weight =3D me->il_weight; - if (weight && node_isset(node, nodes)) { + if (weight && node_isset(node, pol->nodes)) { node_pages =3D min(rem_pages, weight); nr_allocated =3D __alloc_pages_bulk(gfp, node, NULL, node_pages, page_array); @@ -2712,9 +2713,13 @@ static unsigned long alloc_pages_bulk_weighted_inter= leave(gfp_t gfp, table =3D state ? state->iw_table : NULL; =20 /* calculate total, detect system default usage */ - for_each_node_mask(node, nodes) + for_each_node_mask(node, pol->nodes) weight_total +=3D table ? table[node] : 1; =20 + /* the mask emptied since it was counted */ + if (!weight_total) + goto out; + /* * Calculate rounds/partial rounds to minimize __alloc_pages_bulk calls. * Track which node weighted interleave should resume from. @@ -2724,10 +2729,14 @@ static unsigned long alloc_pages_bulk_weighted_inte= rleave(gfp_t gfp, */ rounds =3D rem_pages / weight_total; delta =3D rem_pages % weight_total; - resume_node =3D next_node_in(prev_node, nodes); + resume_node =3D next_node_in(prev_node, pol->nodes); + if (resume_node >=3D MAX_NUMNODES) + goto out; resume_weight =3D table ? table[resume_node] : 1; for (i =3D 0; i < nnodes; i++) { - node =3D next_node_in(prev_node, nodes); + node =3D next_node_in(prev_node, pol->nodes); + if (node >=3D MAX_NUMNODES) + break; weight =3D table ? table[node] : 1; node_pages =3D weight * rounds; /* If a delta exists, add this node's portion of the delta */ @@ -2744,6 +2753,8 @@ static unsigned long alloc_pages_bulk_weighted_interl= eave(gfp_t gfp, /* node_pages can be 0 if an allocation fails and rounds =3D=3D 0 */ if (!node_pages) break; + /* a rebind can invalidate the counts: never overrun page_array */ + node_pages =3D min(node_pages, nr_pages - total_allocated); nr_allocated =3D __alloc_pages_bulk(gfp, node, NULL, node_pages, page_array); page_array +=3D nr_allocated; @@ -2754,6 +2765,7 @@ static unsigned long alloc_pages_bulk_weighted_interl= eave(gfp_t gfp, } me->il_prev =3D resume_node; me->il_weight =3D resume_weight; +out: srcu_read_unlock_fast(&wi_srcu, scp); return total_allocated; } --=20 2.55.0