This is a note to let you know that I've just added the patch titled netfilter: nf_tables: fix GC transaction races with netns and netlink event exit path to the 5.4-stable tree which can be found at: http://www.kernel.org/git/?p=linux/kernel/git/stable/stable-queue.git;a=summary The filename of the patch is: netfilter-nf_tables-fix-gc-transaction-races-with-netns-and-netlink-event-exit-path.patch and it can be found in the queue-5.4 subdirectory. If you, or anyone else, feels it should not be added to the stable tree, please let <stable@xxxxxxxxxxxxxxx> know about it. >From stable-owner@xxxxxxxxxxxxxxx Tue Nov 21 12:13:56 2023 From: Pablo Neira Ayuso <pablo@xxxxxxxxxxxxx> Date: Tue, 21 Nov 2023 13:13:19 +0100 Subject: netfilter: nf_tables: fix GC transaction races with netns and netlink event exit path To: netfilter-devel@xxxxxxxxxxxxxxx Cc: gregkh@xxxxxxxxxxxxxxxxxxx, sashal@xxxxxxxxxx, stable@xxxxxxxxxxxxxxx Message-ID: <20231121121333.294238-13-pablo@xxxxxxxxxxxxx> From: Pablo Neira Ayuso <pablo@xxxxxxxxxxxxx> commit 6a33d8b73dfac0a41f3877894b38082bd0c9a5bc upstream. Netlink event path is missing a synchronization point with GC transactions. Add GC sequence number update to netns release path and netlink event path, any GC transaction losing race will be discarded. Fixes: 5f68718b34a5 ("netfilter: nf_tables: GC transaction API to avoid race with control plane") Signed-off-by: Pablo Neira Ayuso <pablo@xxxxxxxxxxxxx> Signed-off-by: Florian Westphal <fw@xxxxxxxxx> Signed-off-by: Greg Kroah-Hartman <gregkh@xxxxxxxxxxxxxxxxxxx> --- net/netfilter/nf_tables_api.c | 29 +++++++++++++++++++++++++---- 1 file changed, 25 insertions(+), 4 deletions(-) --- a/net/netfilter/nf_tables_api.c +++ b/net/netfilter/nf_tables_api.c @@ -7178,6 +7178,22 @@ static void nf_tables_commit_release(str mutex_unlock(&nft_net->commit_mutex); } +static unsigned int nft_gc_seq_begin(struct nftables_pernet *nft_net) +{ + unsigned int gc_seq; + + /* Bump gc counter, it becomes odd, this is the busy mark. */ + gc_seq = READ_ONCE(nft_net->gc_seq); + WRITE_ONCE(nft_net->gc_seq, ++gc_seq); + + return gc_seq; +} + +static void nft_gc_seq_end(struct nftables_pernet *nft_net, unsigned int gc_seq) +{ + WRITE_ONCE(nft_net->gc_seq, ++gc_seq); +} + static int nf_tables_commit(struct net *net, struct sk_buff *skb) { struct nftables_pernet *nft_net = net_generic(net, nf_tables_net_id); @@ -7242,9 +7258,7 @@ static int nf_tables_commit(struct net * while (++nft_net->base_seq == 0) ; - /* Bump gc counter, it becomes odd, this is the busy mark. */ - gc_seq = READ_ONCE(nft_net->gc_seq); - WRITE_ONCE(nft_net->gc_seq, ++gc_seq); + gc_seq = nft_gc_seq_begin(nft_net); /* step 3. Start new generation, rules_gen_X now in use. */ net->nft.gencursor = nft_gencursor_next(net); @@ -7386,7 +7400,7 @@ static int nf_tables_commit(struct net * nf_tables_gen_notify(net, skb, NFT_MSG_NEWGEN); - WRITE_ONCE(nft_net->gc_seq, ++gc_seq); + nft_gc_seq_end(nft_net, gc_seq); nf_tables_commit_release(net); return 0; @@ -8256,11 +8270,18 @@ static void __net_exit nf_tables_pre_exi static void __net_exit nf_tables_exit_net(struct net *net) { struct nftables_pernet *nft_net = net_generic(net, nf_tables_net_id); + unsigned int gc_seq; mutex_lock(&nft_net->commit_mutex); + + gc_seq = nft_gc_seq_begin(nft_net); + if (!list_empty(&nft_net->commit_list)) __nf_tables_abort(net, NFNL_ABORT_NONE); __nft_release_tables(net); + + nft_gc_seq_end(nft_net, gc_seq); + mutex_unlock(&nft_net->commit_mutex); WARN_ON_ONCE(!list_empty(&nft_net->tables)); WARN_ON_ONCE(!list_empty(&nft_net->module_list)); Patches currently in stable-queue which might be from stable-owner@xxxxxxxxxxxxxxx are queue-5.4/netfilter-nf_tables-fix-memleak-when-more-than-255-elements-expired.patch queue-5.4/netfilter-nft_set_rbtree-fix-overlap-expiration-walk.patch queue-5.4/netfilter-nf_tables-use-correct-lock-to-protect-gc_list.patch queue-5.4/netfilter-nf_tables-disable-toggling-dormant-table-state-more-than-once.patch queue-5.4/netfilter-nf_tables-gc-transaction-race-with-netns-dismantle.patch queue-5.4/netfilter-nf_tables-drop-map-element-references-from-preparation-phase.patch queue-5.4/netfilter-nf_tables-fix-gc-transaction-races-with-netns-and-netlink-event-exit-path.patch queue-5.4/netfilter-nf_tables-don-t-skip-expired-elements-during-walk.patch queue-5.4/netfilter-nf_tables-remove-busy-mark-and-gc-batch-api.patch queue-5.4/netfilter-nf_tables-gc-transaction-race-with-abort-path.patch queue-5.4/netfilter-nf_tables-unregister-flowtable-hooks-on-netns-exit.patch queue-5.4/netfilter-nft_set_rbtree-switch-to-node-list-walk-for-overlap-detection.patch queue-5.4/netfilter-nf_tables-adapt-set-backend-to-use-gc-transaction-api.patch queue-5.4/netfilter-nftables-rename-set-element-data-activation-deactivation-functions.patch queue-5.4/netfilter-nft_set_rbtree-skip-sync-gc-for-new-elements-in-this-transaction.patch queue-5.4/netfilter-nf_tables-pass-context-to-nft_set_destroy.patch queue-5.4/netfilter-nf_tables-bogus-ebusy-when-deleting-flowtable-after-flush-for-5.4.patch queue-5.4/netfilter-nft_set_hash-try-later-when-gc-hits-eagain-on-iteration.patch queue-5.4/netfilter-nf_tables-defer-gc-run-if-previous-batch-is-still-pending.patch queue-5.4/netfilter-nft_set_rbtree-use-read-spinlock-to-avoid-datapath-contention.patch queue-5.4/netfilter-nf_tables-double-hook-unregistration-in-netns-path.patch queue-5.4/netfilter-nftables-update-table-flags-from-the-commit-phase.patch queue-5.4/netfilter-nft_set_hash-mark-set-element-as-dead-when-deleting-from-packet-path.patch queue-5.4/netfilter-nf_tables-gc-transaction-api-to-avoid-race-with-control-plane.patch queue-5.4/netfilter-nf_tables-fix-table-flag-updates.patch queue-5.4/netfilter-nft_set_rbtree-fix-null-deref-on-element-insertion.patch