From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-ot1-f51.google.com (mail-ot1-f51.google.com [209.85.210.51]) (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 2AF163644C5 for ; Fri, 19 Jun 2026 21:55:21 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.210.51 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1781906123; cv=none; b=C6xz97vLYjVcerLjPijwdkpXLo+z86jySoxnXj4UAmgivZcwHlgz0OW0Ytq267UcKI5JElBeT3f19rvgfyoEAY5sVg4g905CaQwAovT/Hvx/aT33GWs4t+Z/jKIv39l8jkKb3VTLb1Hn7uYJx5+YRMeDtJy3TvV+WCDBj8O7xGQ= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1781906123; c=relaxed/simple; bh=1TBT000VZsjsrh2eGBT6mjiiO1fTUs34DeS+O0xeYrQ=; h=Mime-Version:Content-Type:Date:Message-Id:To:Cc:Subject:From: References:In-Reply-To; b=tLcrZuiBtln0npGNrza0ebqSbQhGjfZb1I1+3bIKhDLOb6wZHjQTlmlg9eSbfTP8mL2KNpLxBUISVVLaV6mN++g0oQAzH8iGkCMO66/tczRpcN/53wcDDpSksouEhvKJGJfvdcx9oNBHYEheopB1fIPwLVsaYbDyg6cc6TA1/nA= 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=P5qtjfBr; arc=none smtp.client-ip=209.85.210.51 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="P5qtjfBr" Received: by mail-ot1-f51.google.com with SMTP id 46e09a7af769-7e71dd64ea2so1349077a34.3 for ; Fri, 19 Jun 2026 14:55:21 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20251104; t=1781906120; x=1782510920; darn=vger.kernel.org; h=in-reply-to:references:from:subject:cc:to:message-id:date :content-transfer-encoding:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=1D3cBmNu4YFH8WjCxOSV1D9t43oN1k/1HHsWttX0H6M=; b=P5qtjfBrJEYGa3WsF0ZfelJ6Urg50+QFj39AUSfTWfUoGuCBRxJsMtGMJZRmet4ODK a066sxrmhNEl71PCuV6g2koK5CQmLxW2KwFs3No9k2LpJi8Eo1SITjwb0I/iSVMDymCL PLToqUI5rpF2lzlLakExkaMXbUNoLQxTice5RMRsU73OIf0IpYU+IXmXOaWY/m0i3SB0 qvrWch4r+0/wNgbHSXDv9koe4DjjF8YaeMJwwEGerXTryRhB6D3Z5WGlPLKbz9hceqPM bj/pMbA2roCYPN0EgM6Gj+xkCrVc8iVBYIN6xfoyj75dzGj/Qh80fjwki9ftaS2wNVsy FrrQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1781906120; x=1782510920; h=in-reply-to:references:from:subject:cc:to:message-id:date :content-transfer-encoding:mime-version:x-gm-gg:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=1D3cBmNu4YFH8WjCxOSV1D9t43oN1k/1HHsWttX0H6M=; b=LchINTfetj91LpjH4I273jFJDKDcFe9lAAdGFvMl6Fi6Z58E2Crj4YZlTvTjhp8Q77 LGKGjXHnXIABozBmxzCUQfavsaXk1DwLRXdsDeWlkBeH+Nl7/0vCuiII0qWsZha8sPui LlxXsQ2k/7pEoBNd+jpRgFyfFR+JCGp3Tmnn9k1Ap5WlWzaC4qPiTwcsRYbfKUyXYlKc mpgqeAsjfIUWP61yAW0GHIy4tteUONqO8v56qGNUsDJVLR3Zj+fmauaZdsW6iuhcoc2V oma+2BVijj3eAweNNLnuWVVAs+Pw+3MZxV1YoXbl3KIlGYGBgJESWRTjz2NscYoPyg/0 RMwg== X-Forwarded-Encrypted: i=1; AFNElJ9suuzp6D5+DZI2Z9e0DQXwlnJdCSMB3xuO7YsLeAiE0QvyP81iKYeRiA4B3GNDzAX1olLtgGIpLbX5K5k=@vger.kernel.org X-Gm-Message-State: AOJu0YzRmhJwp40Wg4YeowjLS6Uti6z+B40CdprB/u48SHU2Yvjl00QR D3eUZDEODZZHlyePMh24emeJLbnM6MbXbRbKmYHaofUChE8qr++P4+dE X-Gm-Gg: AfdE7cl3OhKF7csbN720aaJKB88L/3OlQWOIngj0/YPIs1i39bq0mYgGl6DVVBEh9sQ CRlcoUX9m0N/pGev8SkFMNHsSAML74j/NuXfPgy1eEzniWsIhpcKtZynV0rJaHUHdS/5pM8Rn27 cYjoqA+PNlecopkXz8sThtd3TfEBsg/YmlMpZiGpeQJFmaLL5sp2UaMW+zGnqueawcSD66jk/e3 TwmbOtZ4Ci+Az/lQ7bQX20ZuGhWYJqG7i8fKAzunbwm82AtRsfo4e6vVqPXcfX/NRu+7AKfW6KW e48n+09ZuFHnStu8utUYFB5/8uK3o7LfC8H4p8w4Cw0HXLHAtSjPUF9BH7GPPnnRrZ88R7XLdWE 6LaJxoxhWLH4sPEWBCxayekvmPz3RoxAFzwQX2uP6oq5GThaC/sys0zUSdqQXP3haLVAZm268kj lk3JurWwll9ZuZwFJyDnPE56qZIGbyw8g3CapOE2viineQhBAAa2y8u77QpqnHA82V8tbfsNUDS ed50xw= X-Received: by 2002:a05:6830:620b:b0:7e6:cec2:a4a5 with SMTP id 46e09a7af769-7e92d8aec54mr4035312a34.20.1781906120073; Fri, 19 Jun 2026 14:55:20 -0700 (PDT) Received: from localhost ([2a03:2880:10ff:47::]) by smtp.gmail.com with ESMTPSA id 46e09a7af769-7e94424ca09sm293111a34.16.2026.06.19.14.55.19 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 19 Jun 2026 14:55:19 -0700 (PDT) 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 Date: Fri, 19 Jun 2026 14:55:18 -0700 Message-Id: To: "John Fastabend" , "Sechang Lim" Cc: "Jiayuan Chen" , "Jakub Sitnicki" , "Alexei Starovoitov" , "Daniel Borkmann" , "Eric Dumazet" , "Kuniyuki Iwashima" , "Paolo Abeni" , "Willem de Bruijn" , "David S . Miller" , "Jakub Kicinski" , "Simon Horman" , , , Subject: Re: [PATCH bpf] bpf, sockmap: fix lock inversion between stab->lock and sk_callback_lock From: "Alexei Starovoitov" X-Mailer: aerc References: <20260616091153.2966617-1-rhkrqnwk98@gmail.com> <575a878e-6d37-4337-a821-4883d3dd3a63@linux.dev> In-Reply-To: On Wed Jun 17, 2026 at 9:59 AM PDT, John Fastabend wrote: > > The bot also thinks it found another locking issue. I'm not sure > supporting 'tc' is really needed here. sockmap is much more easy > to reason about from socket layer. What about just blocking sockmap > manipulations from these prog types. > > My current thinking on sockmap at the moment is its has sprawled > across so many layers the locking is overly tricky to reason about. > > diff --git a/kernel/bpf/verifier.c b/kernel/bpf/verifier.c > index d9bdc3b32c05..5e08d3e03453 100644 > --- a/kernel/bpf/verifier.c > +++ b/kernel/bpf/verifier.c > @@ -8567,11 +8567,7 @@ static bool may_update_sockmap(struct bpf_verifier= _env *env, int func_id) > return true; > break; > case BPF_PROG_TYPE_SOCKET_FILTER: > - case BPF_PROG_TYPE_SCHED_CLS: > - case BPF_PROG_TYPE_SCHED_ACT: > - case BPF_PROG_TYPE_XDP: > case BPF_PROG_TYPE_SK_REUSEPORT: > - case BPF_PROG_TYPE_FLOW_DISSECTOR: > case BPF_PROG_TYPE_SK_LOOKUP: > return true; +1. Let's disable.