From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-pg1-f169.google.com (mail-pg1-f169.google.com [209.85.215.169]) (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 B9C1719259B for ; Fri, 8 Nov 2024 18:53:53 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.215.169 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1731092035; cv=none; b=C1e6tfOm7nJTdCdBsW4noEX3x51C6YJ3YQl+HnBObt3/FjnNFkRb9mPQ4Aobl7KeS9vjGkEdOPzGb+8QgD1P5YlZJYfBGcJ/SqOB+YT3w1IMTz6tyJF5GkjpNJe0rz6xONxHrYaMEMDdP+YFk4fkf0t5y8M4H/tmCMpclw2hAeE= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1731092035; c=relaxed/simple; bh=C1qfXDBbz73toITU0058NUmGoALhiTU/4UgMmjcZYwU=; h=From:To:Cc:References:In-Reply-To:Subject:Date:Message-ID: MIME-Version:Content-Type; b=QhSuthPKavxKRISEO0uv+HcpiAUtVVRDGVqlmEBmmY1WY58wFgqQQoYUn0fc4EhXPCfUI0EB8HFoQMK0lD8snPKWxPwEgAuaT9YGTPDILu/k8vB1wNi5TMPqX3PsyllOXV+RvWWIWMU6iQdR9Wq5bUQWbt0qwyZeqpFrAjUJxbk= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=googlemail.com; spf=pass smtp.mailfrom=googlemail.com; dkim=pass (2048-bit key) header.d=googlemail.com header.i=@googlemail.com header.b=lnKNa55K; arc=none smtp.client-ip=209.85.215.169 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=googlemail.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=googlemail.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=googlemail.com header.i=@googlemail.com header.b="lnKNa55K" Received: by mail-pg1-f169.google.com with SMTP id 41be03b00d2f7-7ed9c16f687so1720158a12.0 for ; Fri, 08 Nov 2024 10:53:53 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20230601; t=1731092033; x=1731696833; darn=vger.kernel.org; h=content-language:thread-index:content-transfer-encoding :mime-version:message-id:date:subject:in-reply-to:references:cc:to :from:from:to:cc:subject:date:message-id:reply-to; bh=hoVx3IzbvzgGPPMK+ztcJErqY3DDxw1a4kxx2dSZOIs=; b=lnKNa55KjkagmUTCBV4bLkdT97i4T5DWjZOGH7Ezpu8R7GMCBoCqNRHAQoXl8ImSOW lvL7AjcoUB+hfxu9THM9WQvy33Q55uLcNrjLreOkxNnM1SlEBT4tXeyBn3JzGL+NT5/Y n53h45l4YgUyfIodp2I/Vu04IZHpLkVpN7zjHf+OamcP4PLOV/HCwQj6KB/Ize5oOEfz M+teHVnCNnVQWChhndhgZ9bWp4bDJmNH27lpjjCQpN7NHDmY9zApEsFkcYcGBV16tm7c 9w18eCCHsX10BtADiTmnTcq/8q7RkJ10IwUfhJW3zRUNX5ffYRDKCXNuVHOkxpwTAQR3 STYQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1731092033; x=1731696833; h=content-language:thread-index:content-transfer-encoding :mime-version:message-id:date:subject:in-reply-to:references:cc:to :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=hoVx3IzbvzgGPPMK+ztcJErqY3DDxw1a4kxx2dSZOIs=; b=eAiI4OcKZpVsb+W4v+/FHt3wLMPzvrkGt31jqofG+Grr5ZCJ0vW0nZsf5yOHV9VcAs 5PPznhmpJQvDXnAJdJu/qEYloWH5EHhL7uxBnzXpYYEyiexj8XOESuka4YYKYwe/kJrC JkzWDeWjab+m2l/gCgilZhDizZEYWD5Y1A7gLxbR590ZSMQY8jftctD9fC89Thno87P2 Wi4Iq8nSi4oxTntrnU1ihAvvPy1jrUqf0OKdmrmMKH8altO6o5iadV9x92lo3RK8xc9e zvSJx/Zkj10EorCD0IN1EGMuW3LCV+zFdfvyx721YHflHsKZJw3aeupThrkQUMsnTHIk pOxQ== X-Forwarded-Encrypted: i=1; AJvYcCUhJi3kM/d3o+uHOrOko6GjV7Qtomk6qXL1Xa4nZGWqFrMUrz92XwA4pBgGef4Hura+H2Y=@vger.kernel.org X-Gm-Message-State: AOJu0YxMe0c/BPUzXlor6q4RRaFzRN4hLvN/Z50eS7EyeJzpf+qN+naA /O6vXAKIjsj0zZumOJ+GVMVSUeP4kgRv1qZRAIbNkRO5LVq6ifOk X-Google-Smtp-Source: AGHT+IEJNzgS4D6XSuxlhvumNgnxU7Rx5rhzo/5zBwcEpyKpy5W+exuYFBh03DQbSyZj1mey6frm0w== X-Received: by 2002:a05:6a21:2e81:b0:1db:e1b0:b679 with SMTP id adf61e73a8af0-1dc229cc1ccmr3685278637.18.1731092032962; Fri, 08 Nov 2024 10:53:52 -0800 (PST) Received: from ArmidaleLaptop (64-119-15-60.fiber.ric.network. [64.119.15.60]) by smtp.gmail.com with ESMTPSA id d2e1a72fcca58-724078a7e09sm4099264b3a.50.2024.11.08.10.53.52 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 08 Nov 2024 10:53:52 -0800 (PST) From: Dave Thaler X-Google-Original-From: "Dave Thaler" To: "'Alexei Starovoitov'" , "'Dave Thaler'" Cc: "'Yonghong Song'" , , "'bpf'" , "'Alexei Starovoitov'" , "'Andrii Nakryiko'" , "'Daniel Borkmann'" , "'Martin KaFai Lau'" References: <20240927033904.2702474-1-yonghong.song@linux.dev> <181301db143b$ba6fd9c0$2f4f8d40$@gmail.com> <000c01db3186$1dd30930$59791b90$@gmail.com> In-Reply-To: Subject: RE: [PATCH bpf-next] docs/bpf: Document some special sdiv/smod operations Date: Fri, 8 Nov 2024 10:53:50 -0800 Message-ID: <09ee01db320f$8d37bc60$a7a73520$@gmail.com> Precedence: bulk X-Mailing-List: bpf@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Mailer: Microsoft Outlook 16.0 Thread-Index: AQKzqMffW8FFfWCd3ulEKsb+gfc3egGOkjXjAfqQ6mkCtID1/gMZ/eqXAhACfxMDWut5qbCGtxtg Content-Language: en-us > -----Original Message----- > From: Alexei Starovoitov > Sent: Friday, November 8, 2024 10:38 AM > To: Dave Thaler > Cc: Yonghong Song ; bpf@ietf.org; bpf > ; Alexei Starovoitov ; Andrii = Nakryiko > ; Daniel Borkmann ; Martin = KaFai Lau > > Subject: Re: [PATCH bpf-next] docs/bpf: Document some special = sdiv/smod > operations >=20 > On Thu, Nov 7, 2024 at 6:30=E2=80=AFPM Dave Thaler = > wrote: > > > > > > Alexei Starovoitov wrote: > > > On Tue, Oct 1, 2024 at 12:54=E2=80=AFPM Dave Thaler > > > > > > wrote: > > [...] > > > > I'm adding bpf@ietf.org to the To line since all changes in the > > > > standardization directory should include that mailing list. > > > > > > > > The WG should discuss whether any changes should be done via a = new > > > > RFC that obsoletes the first one, or as RFCs that Update and = just > > > > describe deltas (additions, etc.). > > > > > > > > There are precedents both ways and I don't have a strong > > > > preference, but I have a weak preference for delta-based ones > > > > since they're shorter and are less likely to re-open discussion = on > > > > previously resolved issues, thus often saving the WG time. > > > > > > Delta-based additions make sense to me. > > > > > > > Also FYI to Linux kernel folks: > > > > With WG and AD approval, it's also possible (but not ideal) to > > > > take changes at AUTH48. That'd be up to the chairs and AD to > > > > decide though, and normally that's just for purely editorial > > > > clarifications, e.g., to confusion called out by the RFC editor = pass. > > > > > > Also agree. We should keep AUTH going its course as-is. > > > All ISA additions can be in the future delta RFC. > > > > > > As far as file logistics... my preference is to keep > > > Documentation/bpf/standardization/instruction-set.rst > > > up to date. > > > Right now it's effectively frozen while awaiting changes (if any) = necessary for > AUTH. > > > After official RFC is issued we can start landing patches into > > > instruction-set.rst and git diff 04efaebd72d1..whatever_future_sha > > > instruction-set.rst will automatically generate the future delta = RFC. > > > Once RFC number is issued we can add a git tag for the particular > > > sha that was the base for RFC as a documentation step and to = simplify future 'git > diff'. > > > > My concern is that index.rst says: > > > This directory contains documents that are being iterated on as = part > > > of the BPF standardization effort with the IETF. See the `IETF BPF > > > Working Group`_ page for the working group charter, documents, and = more. > > > > So having a document that is NOT part of the IETF BPF Working Group > > would seem out of place and, in my view, better located up a level = (outside > standardization). >=20 > It's a part of bpf wg. It's not a new document. RFC 9669 is immutable. Any additions require a new document, in IETF terminology, since would result in a new RFC number. > > Here=E2=80=99s some examples of delta-based RFCs which explain the = gap and > > provide the addition or clarification, and formally Update (not > > replace/obsolete) the original > > RFC: > > * https://www.rfc-editor.org/rfc/rfc6585.html: Additional HTTP = Status > > Codes > > * https://www.rfc-editor.org/rfc/rfc6840.html: Clarifications and = Implementation > Notes > > for DNS Security (DNSSEC) > > * https://www.rfc-editor.org/rfc/rfc9295.html: Clarifications for = Ed25519, Ed448, > > X25519, and X448 Algorithm Identifiers > > * https://www.rfc-editor.org/rfc/rfc5756.html: Updates for = RSAES-OAEP and > > RSASSA-PSS Algorithm Parameters > > > > Having a full document too is valuable but unless the IETF BPF WG > > decides to take on a -bis document, I'd suggest keeping it out of = the > "standardization" > > (say up 1 level) to avoid confusion, and just have one or more > > delta-based rst files in the standardization directory. >=20 > This patch is effectively a fix to the standard. Two of the examples I provided above fit into that category. Two are examples of adding new codepoints. > It's a standard git development process when fixes are applied to the = existing > document. > Forking the whole doc into a different file just to apply fixes makes = no sense to me. Welcome to the IETF and immutable RFCs =F0=9F=98=8A > The formal delta-s for IETF can be created out of git. Not in the IETF per se, since a new document needs new boilerplate, with a new abstract, introduction, etc. At most, part of the document could = be created out of git, but I'm not convinced that git diffs alone (as opposed to = some English prose too for each, as in the examples I cited) make for good content in = an IETF document. > We only need to tag the current version and then git diff = rfc9669_tag..HEAD will give > us that delta. > That will satisfy IETF process and won't mess up normal git style = kernel > development. I am not convinced it is sufficient. Can you point to any precedents in = the IETF for such an approach? I can't offhand... See the RFC 5756 reference above = for what I mean by English prose for each diff. > btw do we still need to do any minor edit/fixes to instruction-set.rst = before tagging it > as RFC9669 ? Yes, we need to backport the formatting/nits from the RFC editor pass. Dave From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail.ietf.org (mail.ietf.org [50.223.129.194]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id DBAAD19924D for ; Fri, 8 Nov 2024 18:54:09 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=50.223.129.194 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1731092051; cv=none; b=rIwtCpU2bM0A6t4mPVFzgTJzU5Ce9LhKEXmyupo3BRLczCj7Jf+bD6N76KRzJeH+Lx9z4oKVN5Xe+2Tju7pTBOWn8IgaSjKQKN5W3rA2edgRUH51ke7KdrjD9XAAW3s+oDsuHAw/TbJvtHmnSk7Lg/uB2FPvN4SEH1+XjI4HYXI= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1731092051; c=relaxed/simple; bh=aQ6qBwDTf/v/wu80rTrSoK7owXVyKuPzeJ1M/rc5MC4=; h=To:References:In-Reply-To:Date:Message-ID:MIME-Version:CC:Subject: Content-Type:From; b=NWL54z+YIhWeKes//tYxVjYVAVYi8qkbdBWXaPp13vylc4MvobXM9Dxy2fT5jKFJZLreLX/Xd9fNwy15RKablNmWXOazDG2AnUfWCtkCXAAyD46QyTm/K8KKI0Z4uTDG7oIM9/ecG1Obz4Xz1ErOJHYgFHpWMMI2AUIVDawZeG8= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=dmarc.ietf.org; spf=pass smtp.mailfrom=ietf.org; dkim=pass (1024-bit key) header.d=ietf.org header.i=@ietf.org header.b=YWvpKGJt; dkim=fail (1024-bit key) header.d=ietf.org header.i=@ietf.org header.b=y1ztY7mI reason="signature verification failed"; dkim=fail (2048-bit key) header.d=googlemail.com header.i=@googlemail.com header.b=EyzvhQ2r reason="signature verification failed"; arc=none smtp.client-ip=50.223.129.194 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=dmarc.ietf.org Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=ietf.org Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=ietf.org header.i=@ietf.org header.b="YWvpKGJt"; dkim=fail reason="signature verification failed" (1024-bit key) header.d=ietf.org header.i=@ietf.org header.b="y1ztY7mI"; dkim=fail reason="signature verification failed" (2048-bit key) header.d=googlemail.com header.i=@googlemail.com header.b="EyzvhQ2r" Received: from ietfa.amsl.com (localhost [IPv6:::1]) by ietfa.amsl.com (Postfix) with ESMTP id 5BCA2C18DB8A for ; Fri, 8 Nov 2024 10:54:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=ietf.org; s=ietf1; t=1731092049; bh=aQ6qBwDTf/v/wu80rTrSoK7owXVyKuPzeJ1M/rc5MC4=; h=To:References:In-Reply-To:Date:CC:Subject:List-Id:List-Archive: List-Help:List-Owner:List-Post:List-Subscribe:List-Unsubscribe: From; b=YWvpKGJtesmYpeY/GZY8wGzKoPH/5xiDTbMaRoB+sqqkmnWQZQ1tUaB/Gx3izTKR3 pbBgeaI+XRTuN9V3QkqfSid6GEFW8TpAlrLlWkIn0pLq/g0xrLzK2+/Hners2DZEIZ mz+X4ILpUQ3GLx12AItfaLbnCD6xi/uPs3GA0DNk= Received: from ietfa.amsl.com (localhost [IPv6:::1]) by ietfa.amsl.com (Postfix) with ESMTP id 38CE4C1CAF38 for ; Fri, 8 Nov 2024 10:54:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=ietf.org; s=ietf1; t=1731092049; bh=aQ6qBwDTf/v/wu80rTrSoK7owXVyKuPzeJ1M/rc5MC4=; h=From:To:References:In-Reply-To:Date:CC:Subject:List-Id: List-Archive:List-Help:List-Owner:List-Post:List-Subscribe: List-Unsubscribe; b=y1ztY7mIjVw+jBM0C8Uyq/PDjXkHQPNghpb77G7CiT1ZVDwAoQ1lvrfcHC56j31Fq gWUUEoX3alAhknQ2SdVBlmvTgi8H/smyzGoDl9S/7glV/7BrjsKynsSg+XSlnX7D+H JL050RJE9wx/me5I71vSVPtV/wCnzP3TgajJ0cvg= Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id A432EC15154A for ; Fri, 8 Nov 2024 10:53:57 -0800 (PST) X-Virus-Scanned: amavisd-new at amsl.com X-Spam-Flag: NO X-Spam-Score: -1.856 X-Spam-Level: Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=googlemail.com Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id oWUVchsmFpjY for ; Fri, 8 Nov 2024 10:53:53 -0800 (PST) Received: from mail-pg1-x532.google.com (mail-pg1-x532.google.com [IPv6:2607:f8b0:4864:20::532]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature ECDSA (P-256) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 8CBB3C15109C for ; Fri, 8 Nov 2024 10:53:53 -0800 (PST) Received: by mail-pg1-x532.google.com with SMTP id 41be03b00d2f7-7d4f85766f0so1810187a12.2 for ; Fri, 08 Nov 2024 10:53:53 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20230601; t=1731092033; x=1731696833; darn=ietf.org; h=content-language:thread-index:content-transfer-encoding :mime-version:message-id:date:subject:in-reply-to:references:cc:to :from:from:to:cc:subject:date:message-id:reply-to; bh=hoVx3IzbvzgGPPMK+ztcJErqY3DDxw1a4kxx2dSZOIs=; b=EyzvhQ2rJMPNbjsv6HoV4sFE6HrOG6u0fbjSjbMs/64yJaKQ0QxnbI4C4DaVjj3FT3 hm6SdV/QrjzOWs6kOA9jG3JpCzyoGwNpnEiyCqSMG1EJbvZMUKciUy7PFSgvBOIZ4Rmo ja4zgsmm2Yqj2WBexmQlqE4MVZRmXd2sjH0BixzS7zDDCpH52TEjGaC6QLInZZYet7AI 0K5zXLtkrTAgYybtAc3EF6FkDnszb0jukhlnuxe44LiXH1ztHv9qzJucA8lztaxpgDbf D7v9E60Tn2l0YI38w8jlL35ZS8AvD9igrKTSsQ9JuDYwcUYc5McwQbob4/G9OqpKnVMw g8BA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1731092033; x=1731696833; h=content-language:thread-index:content-transfer-encoding :mime-version:message-id:date:subject:in-reply-to:references:cc:to :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=hoVx3IzbvzgGPPMK+ztcJErqY3DDxw1a4kxx2dSZOIs=; b=MKiCZDn05eIz2V/Ix9q0ruGuG7aSSVDe2eZMQRQOFANYgUSPKU4OkmLjYFggIUP/Rp a9IVPqIJKQInz8odb1FhxGIt8wvkaVgCEzSldF75/mUQkiCSjmijb80EQIAd2oyFTlYP aTduy2/ET79sxyJS/q0+GMC0H2leEZNsOZ+KS/EvtxbEDd1agLx8vFZN2zDlw88zkaoX 9OyA0QNp7somQ+P1LGLiYxxhTDt8WW1M4jUT0vQ7kLCcaVa6DdBp4zm9mGYmI+1uunVX xU3lxIp+rIHjtOewzhzXsELYGBZBd/hr3f6aMAD26zg/Pvrpblch1uH/nZH1aLRiq5P8 B1mw== X-Forwarded-Encrypted: i=1; AJvYcCWx4GAy+6kMKhEhUB2YlQeUwRamdvKLGGxRxDQStetBI0qBa/1EUtdgxvTodN5WlDFGm9Q=@ietf.org X-Gm-Message-State: AOJu0YwF4pDAEFmqQp35YndPQ8d/Rwc/HNkHYHU2I8g14tDsoDRBUC7J qWoQpMYpkys6MoN2ZUKs2f2T5xniuGhbFd4yoqjI70noNkKcGdfU X-Google-Smtp-Source: AGHT+IEJNzgS4D6XSuxlhvumNgnxU7Rx5rhzo/5zBwcEpyKpy5W+exuYFBh03DQbSyZj1mey6frm0w== X-Received: by 2002:a05:6a21:2e81:b0:1db:e1b0:b679 with SMTP id adf61e73a8af0-1dc229cc1ccmr3685278637.18.1731092032962; Fri, 08 Nov 2024 10:53:52 -0800 (PST) Received: from ArmidaleLaptop (64-119-15-60.fiber.ric.network. [64.119.15.60]) by smtp.gmail.com with ESMTPSA id d2e1a72fcca58-724078a7e09sm4099264b3a.50.2024.11.08.10.53.52 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 08 Nov 2024 10:53:52 -0800 (PST) X-Google-Original-From: "Dave Thaler" To: "'Alexei Starovoitov'" , "'Dave Thaler'" References: <20240927033904.2702474-1-yonghong.song@linux.dev> <181301db143b$ba6fd9c0$2f4f8d40$@gmail.com> <000c01db3186$1dd30930$59791b90$@gmail.com> In-Reply-To: Date: Fri, 8 Nov 2024 10:53:50 -0800 Message-ID: <09ee01db320f$8d37bc60$a7a73520$@gmail.com> Precedence: bulk X-Mailing-List: bpf@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 X-Mailer: Microsoft Outlook 16.0 Thread-Index: AQKzqMffW8FFfWCd3ulEKsb+gfc3egGOkjXjAfqQ6mkCtID1/gMZ/eqXAhACfxMDWut5qbCGtxtg Content-Language: en-us Message-ID-Hash: 3PDLGDPRMA3NLMJLRZ74TSBJMMAHF6XI X-Message-ID-Hash: 3PDLGDPRMA3NLMJLRZ74TSBJMMAHF6XI X-MailFrom: dthaler1968@googlemail.com X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header CC: 'Yonghong Song' , bpf@ietf.org, 'bpf' , 'Alexei Starovoitov' , 'Andrii Nakryiko' , 'Daniel Borkmann' , 'Martin KaFai Lau' X-Mailman-Version: 3.3.9rc6 Precedence: list Subject: =?utf-8?q?=5BBpf=5D_Re=3A_=5BPATCH_bpf-next=5D_docs/bpf=3A_Document_some_spe?= =?utf-8?q?cial_sdiv/smod_operations?= Archived-At: List-Archive: List-Help: List-Owner: List-Post: X-Mailman-Copy: yes Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 X-Original-From: Dave Thaler From: Dave Thaler Message-ID: <20241108185350.ikWQxlBzVqr_O_xNr8CmWqXI_MwXIYkJmVrkvEtR07A@z> PiAtLS0tLU9yaWdpbmFsIE1lc3NhZ2UtLS0tLQ0KPiBGcm9tOiBBbGV4ZWkgU3Rhcm92b2l0b3Yg PGFsZXhlaS5zdGFyb3ZvaXRvdkBnbWFpbC5jb20+DQo+IFNlbnQ6IEZyaWRheSwgTm92ZW1iZXIg OCwgMjAyNCAxMDozOCBBTQ0KPiBUbzogRGF2ZSBUaGFsZXIgPGR0aGFsZXIxOTY4QGdvb2dsZW1h aWwuY29tPg0KPiBDYzogWW9uZ2hvbmcgU29uZyA8eW9uZ2hvbmcuc29uZ0BsaW51eC5kZXY+OyBi cGZAaWV0Zi5vcmc7IGJwZg0KPiA8YnBmQHZnZXIua2VybmVsLm9yZz47IEFsZXhlaSBTdGFyb3Zv aXRvdiA8YXN0QGtlcm5lbC5vcmc+OyBBbmRyaWkgTmFrcnlpa28NCj4gPGFuZHJpaUBrZXJuZWwu b3JnPjsgRGFuaWVsIEJvcmttYW5uIDxkYW5pZWxAaW9nZWFyYm94Lm5ldD47IE1hcnRpbiBLYUZh aSBMYXUNCj4gPG1hcnRpbi5sYXVAa2VybmVsLm9yZz4NCj4gU3ViamVjdDogUmU6IFtQQVRDSCBi cGYtbmV4dF0gZG9jcy9icGY6IERvY3VtZW50IHNvbWUgc3BlY2lhbCBzZGl2L3Ntb2QNCj4gb3Bl cmF0aW9ucw0KPiANCj4gT24gVGh1LCBOb3YgNywgMjAyNCBhdCA2OjMw4oCvUE0gRGF2ZSBUaGFs ZXIgPGR0aGFsZXIxOTY4QGdvb2dsZW1haWwuY29tPg0KPiB3cm90ZToNCj4gPg0KPiA+DQo+ID4g QWxleGVpIFN0YXJvdm9pdG92IDxhbGV4ZWkuc3Rhcm92b2l0b3ZAZ21haWwuY29tPiB3cm90ZToN Cj4gPiA+IE9uIFR1ZSwgT2N0IDEsIDIwMjQgYXQgMTI6NTTigK9QTSBEYXZlIFRoYWxlcg0KPiA+ ID4gPGR0aGFsZXIxOTY4QGdvb2dsZW1haWwuY29tPg0KPiA+ID4gd3JvdGU6DQo+ID4gWy4uLl0N Cj4gPiA+ID4gSSdtIGFkZGluZyBicGZAaWV0Zi5vcmcgdG8gdGhlIFRvIGxpbmUgc2luY2UgYWxs IGNoYW5nZXMgaW4gdGhlDQo+ID4gPiA+IHN0YW5kYXJkaXphdGlvbiBkaXJlY3Rvcnkgc2hvdWxk IGluY2x1ZGUgdGhhdCBtYWlsaW5nIGxpc3QuDQo+ID4gPiA+DQo+ID4gPiA+IFRoZSBXRyBzaG91 bGQgZGlzY3VzcyB3aGV0aGVyIGFueSBjaGFuZ2VzIHNob3VsZCBiZSBkb25lIHZpYSBhIG5ldw0K PiA+ID4gPiBSRkMgdGhhdCBvYnNvbGV0ZXMgdGhlIGZpcnN0IG9uZSwgb3IgYXMgUkZDcyB0aGF0 IFVwZGF0ZSBhbmQganVzdA0KPiA+ID4gPiBkZXNjcmliZSBkZWx0YXMgKGFkZGl0aW9ucywgZXRj LikuDQo+ID4gPiA+DQo+ID4gPiA+IFRoZXJlIGFyZSBwcmVjZWRlbnRzIGJvdGggd2F5cyBhbmQg SSBkb24ndCBoYXZlIGEgc3Ryb25nDQo+ID4gPiA+IHByZWZlcmVuY2UsIGJ1dCBJIGhhdmUgYSB3 ZWFrIHByZWZlcmVuY2UgZm9yIGRlbHRhLWJhc2VkIG9uZXMNCj4gPiA+ID4gc2luY2UgdGhleSdy ZSBzaG9ydGVyIGFuZCBhcmUgbGVzcyBsaWtlbHkgdG8gcmUtb3BlbiBkaXNjdXNzaW9uIG9uDQo+ ID4gPiA+IHByZXZpb3VzbHkgcmVzb2x2ZWQgaXNzdWVzLCB0aHVzIG9mdGVuIHNhdmluZyB0aGUg V0cgdGltZS4NCj4gPiA+DQo+ID4gPiBEZWx0YS1iYXNlZCBhZGRpdGlvbnMgbWFrZSBzZW5zZSB0 byBtZS4NCj4gPiA+DQo+ID4gPiA+IEFsc28gRllJIHRvIExpbnV4IGtlcm5lbCBmb2xrczoNCj4g PiA+ID4gV2l0aCBXRyBhbmQgQUQgYXBwcm92YWwsIGl0J3MgYWxzbyBwb3NzaWJsZSAoYnV0IG5v dCBpZGVhbCkgdG8NCj4gPiA+ID4gdGFrZSBjaGFuZ2VzIGF0IEFVVEg0OC4gIFRoYXQnZCBiZSB1 cCB0byB0aGUgY2hhaXJzIGFuZCBBRCB0bw0KPiA+ID4gPiBkZWNpZGUgdGhvdWdoLCBhbmQgbm9y bWFsbHkgdGhhdCdzIGp1c3QgZm9yIHB1cmVseSBlZGl0b3JpYWwNCj4gPiA+ID4gY2xhcmlmaWNh dGlvbnMsIGUuZy4sIHRvIGNvbmZ1c2lvbiBjYWxsZWQgb3V0IGJ5IHRoZSBSRkMgZWRpdG9yIHBh c3MuDQo+ID4gPg0KPiA+ID4gQWxzbyBhZ3JlZS4gV2Ugc2hvdWxkIGtlZXAgQVVUSCBnb2luZyBp dHMgY291cnNlIGFzLWlzLg0KPiA+ID4gQWxsIElTQSBhZGRpdGlvbnMgY2FuIGJlIGluIHRoZSBm dXR1cmUgZGVsdGEgUkZDLg0KPiA+ID4NCj4gPiA+IEFzIGZhciBhcyBmaWxlIGxvZ2lzdGljcy4u LiBteSBwcmVmZXJlbmNlIGlzIHRvIGtlZXANCj4gPiA+IERvY3VtZW50YXRpb24vYnBmL3N0YW5k YXJkaXphdGlvbi9pbnN0cnVjdGlvbi1zZXQucnN0DQo+ID4gPiB1cCB0byBkYXRlLg0KPiA+ID4g UmlnaHQgbm93IGl0J3MgZWZmZWN0aXZlbHkgZnJvemVuIHdoaWxlIGF3YWl0aW5nIGNoYW5nZXMg KGlmIGFueSkgbmVjZXNzYXJ5IGZvcg0KPiBBVVRILg0KPiA+ID4gQWZ0ZXIgb2ZmaWNpYWwgUkZD IGlzIGlzc3VlZCB3ZSBjYW4gc3RhcnQgbGFuZGluZyBwYXRjaGVzIGludG8NCj4gPiA+IGluc3Ry dWN0aW9uLXNldC5yc3QgYW5kIGdpdCBkaWZmIDA0ZWZhZWJkNzJkMS4ud2hhdGV2ZXJfZnV0dXJl X3NoYQ0KPiA+ID4gaW5zdHJ1Y3Rpb24tc2V0LnJzdCB3aWxsIGF1dG9tYXRpY2FsbHkgZ2VuZXJh dGUgdGhlIGZ1dHVyZSBkZWx0YSBSRkMuDQo+ID4gPiBPbmNlIFJGQyBudW1iZXIgaXMgaXNzdWVk IHdlIGNhbiBhZGQgYSBnaXQgdGFnIGZvciB0aGUgcGFydGljdWxhcg0KPiA+ID4gc2hhIHRoYXQg d2FzIHRoZSBiYXNlIGZvciBSRkMgYXMgYSBkb2N1bWVudGF0aW9uIHN0ZXAgYW5kIHRvIHNpbXBs aWZ5IGZ1dHVyZSAnZ2l0DQo+IGRpZmYnLg0KPiA+DQo+ID4gTXkgY29uY2VybiBpcyB0aGF0IGlu ZGV4LnJzdCBzYXlzOg0KPiA+ID4gVGhpcyBkaXJlY3RvcnkgY29udGFpbnMgZG9jdW1lbnRzIHRo YXQgYXJlIGJlaW5nIGl0ZXJhdGVkIG9uIGFzIHBhcnQNCj4gPiA+IG9mIHRoZSBCUEYgc3RhbmRh cmRpemF0aW9uIGVmZm9ydCB3aXRoIHRoZSBJRVRGLiBTZWUgdGhlIGBJRVRGIEJQRg0KPiA+ID4g V29ya2luZyBHcm91cGBfIHBhZ2UgZm9yIHRoZSB3b3JraW5nIGdyb3VwIGNoYXJ0ZXIsIGRvY3Vt ZW50cywgYW5kIG1vcmUuDQo+ID4NCj4gPiBTbyBoYXZpbmcgYSBkb2N1bWVudCB0aGF0IGlzIE5P VCBwYXJ0IG9mIHRoZSBJRVRGIEJQRiBXb3JraW5nIEdyb3VwDQo+ID4gd291bGQgc2VlbSBvdXQg b2YgcGxhY2UgYW5kLCBpbiBteSB2aWV3LCBiZXR0ZXIgbG9jYXRlZCB1cCBhIGxldmVsIChvdXRz aWRlDQo+IHN0YW5kYXJkaXphdGlvbikuDQo+IA0KPiBJdCdzIGEgcGFydCBvZiBicGYgd2cuIEl0 J3Mgbm90IGEgbmV3IGRvY3VtZW50Lg0KDQpSRkMgOTY2OSBpcyBpbW11dGFibGUuICBBbnkgYWRk aXRpb25zIHJlcXVpcmUgYSBuZXcgZG9jdW1lbnQsIGluDQpJRVRGIHRlcm1pbm9sb2d5LCBzaW5j ZSB3b3VsZCByZXN1bHQgaW4gYSBuZXcgUkZDIG51bWJlci4NCg0KPiA+IEhlcmXigJlzIHNvbWUg ZXhhbXBsZXMgb2YgZGVsdGEtYmFzZWQgUkZDcyB3aGljaCBleHBsYWluIHRoZSBnYXAgYW5kDQo+ ID4gcHJvdmlkZSB0aGUgYWRkaXRpb24gb3IgY2xhcmlmaWNhdGlvbiwgYW5kIGZvcm1hbGx5IFVw ZGF0ZSAobm90DQo+ID4gcmVwbGFjZS9vYnNvbGV0ZSkgdGhlIG9yaWdpbmFsDQo+ID4gUkZDOg0K PiA+ICogaHR0cHM6Ly93d3cucmZjLWVkaXRvci5vcmcvcmZjL3JmYzY1ODUuaHRtbDogQWRkaXRp b25hbCBIVFRQIFN0YXR1cw0KPiA+IENvZGVzDQo+ID4gKiBodHRwczovL3d3dy5yZmMtZWRpdG9y Lm9yZy9yZmMvcmZjNjg0MC5odG1sOiBDbGFyaWZpY2F0aW9ucyBhbmQgSW1wbGVtZW50YXRpb24N Cj4gTm90ZXMNCj4gPiAgICBmb3IgRE5TIFNlY3VyaXR5IChETlNTRUMpDQo+ID4gKiBodHRwczov L3d3dy5yZmMtZWRpdG9yLm9yZy9yZmMvcmZjOTI5NS5odG1sOiBDbGFyaWZpY2F0aW9ucyBmb3Ig RWQyNTUxOSwgRWQ0NDgsDQo+ID4gICAgWDI1NTE5LCBhbmQgWDQ0OCBBbGdvcml0aG0gSWRlbnRp ZmllcnMNCj4gPiAqIGh0dHBzOi8vd3d3LnJmYy1lZGl0b3Iub3JnL3JmYy9yZmM1NzU2Lmh0bWw6 IFVwZGF0ZXMgZm9yIFJTQUVTLU9BRVAgYW5kDQo+ID4gICAgUlNBU1NBLVBTUyBBbGdvcml0aG0g UGFyYW1ldGVycw0KPiA+DQo+ID4gSGF2aW5nIGEgZnVsbCBkb2N1bWVudCB0b28gaXMgdmFsdWFi bGUgYnV0IHVubGVzcyB0aGUgSUVURiBCUEYgV0cNCj4gPiBkZWNpZGVzIHRvIHRha2Ugb24gYSAt YmlzIGRvY3VtZW50LCBJJ2Qgc3VnZ2VzdCBrZWVwaW5nIGl0IG91dCBvZiB0aGUNCj4gInN0YW5k YXJkaXphdGlvbiINCj4gPiAoc2F5IHVwIDEgbGV2ZWwpIHRvIGF2b2lkIGNvbmZ1c2lvbiwgYW5k IGp1c3QgaGF2ZSBvbmUgb3IgbW9yZQ0KPiA+IGRlbHRhLWJhc2VkIHJzdCBmaWxlcyBpbiB0aGUg c3RhbmRhcmRpemF0aW9uIGRpcmVjdG9yeS4NCj4gDQo+IFRoaXMgcGF0Y2ggaXMgZWZmZWN0aXZl bHkgYSBmaXggdG8gdGhlIHN0YW5kYXJkLg0KDQpUd28gb2YgdGhlIGV4YW1wbGVzIEkgcHJvdmlk ZWQgYWJvdmUgZml0IGludG8gdGhhdCBjYXRlZ29yeS4NClR3byBhcmUgZXhhbXBsZXMgb2YgYWRk aW5nIG5ldyBjb2RlcG9pbnRzLg0KDQo+IEl0J3MgYSBzdGFuZGFyZCBnaXQgZGV2ZWxvcG1lbnQg cHJvY2VzcyB3aGVuIGZpeGVzIGFyZSBhcHBsaWVkIHRvIHRoZSBleGlzdGluZw0KPiBkb2N1bWVu dC4NCj4gRm9ya2luZyB0aGUgd2hvbGUgZG9jIGludG8gYSBkaWZmZXJlbnQgZmlsZSBqdXN0IHRv IGFwcGx5IGZpeGVzIG1ha2VzIG5vIHNlbnNlIHRvIG1lLg0KDQpXZWxjb21lIHRvIHRoZSBJRVRG IGFuZCBpbW11dGFibGUgUkZDcyDwn5iKDQoNCj4gVGhlIGZvcm1hbCBkZWx0YS1zIGZvciBJRVRG IGNhbiBiZSBjcmVhdGVkIG91dCBvZiBnaXQuDQoNCk5vdCBpbiB0aGUgSUVURiBwZXIgc2UsIHNp bmNlIGEgbmV3IGRvY3VtZW50IG5lZWRzIG5ldyBib2lsZXJwbGF0ZSwgd2l0aA0KYSBuZXcgYWJz dHJhY3QsIGludHJvZHVjdGlvbiwgZXRjLiAgQXQgbW9zdCwgcGFydCBvZiB0aGUgZG9jdW1lbnQg Y291bGQgYmUgY3JlYXRlZA0Kb3V0IG9mIGdpdCwgYnV0IEknbSBub3QgY29udmluY2VkIHRoYXQg Z2l0IGRpZmZzIGFsb25lIChhcyBvcHBvc2VkIHRvIHNvbWUgRW5nbGlzaA0KcHJvc2UgdG9vIGZv ciBlYWNoLCBhcyBpbiB0aGUgZXhhbXBsZXMgSSBjaXRlZCkgbWFrZSBmb3IgZ29vZCBjb250ZW50 IGluIGFuIElFVEYgZG9jdW1lbnQuDQoNCj4gV2Ugb25seSBuZWVkIHRvIHRhZyB0aGUgY3VycmVu dCB2ZXJzaW9uIGFuZCB0aGVuIGdpdCBkaWZmIHJmYzk2NjlfdGFnLi5IRUFEIHdpbGwgZ2l2ZQ0K PiB1cyB0aGF0IGRlbHRhLg0KPiBUaGF0IHdpbGwgc2F0aXNmeSBJRVRGIHByb2Nlc3MgYW5kIHdv bid0IG1lc3MgdXAgbm9ybWFsIGdpdCBzdHlsZSBrZXJuZWwNCj4gZGV2ZWxvcG1lbnQuDQoNCkkg YW0gbm90IGNvbnZpbmNlZCBpdCBpcyBzdWZmaWNpZW50LiAgQ2FuIHlvdSBwb2ludCB0byBhbnkg cHJlY2VkZW50cyBpbiB0aGUgSUVURiBmb3INCnN1Y2ggYW4gYXBwcm9hY2g/ICBJIGNhbid0IG9m ZmhhbmQuLi4gU2VlIHRoZSBSRkMgNTc1NiByZWZlcmVuY2UgYWJvdmUgZm9yIHdoYXQNCkkgbWVh biBieSBFbmdsaXNoIHByb3NlIGZvciBlYWNoIGRpZmYuDQoNCj4gYnR3IGRvIHdlIHN0aWxsIG5l ZWQgdG8gZG8gYW55IG1pbm9yIGVkaXQvZml4ZXMgdG8gaW5zdHJ1Y3Rpb24tc2V0LnJzdCBiZWZv cmUgdGFnZ2luZyBpdA0KPiBhcyBSRkM5NjY5ID8NCg0KWWVzLCB3ZSBuZWVkIHRvIGJhY2twb3J0 IHRoZSBmb3JtYXR0aW5nL25pdHMgZnJvbSB0aGUgUkZDIGVkaXRvciBwYXNzLg0KDQpEYXZlDQoN Ci0tIApCcGYgbWFpbGluZyBsaXN0IC0tIGJwZkBpZXRmLm9yZwpUbyB1bnN1YnNjcmliZSBzZW5k IGFuIGVtYWlsIHRvIGJwZi1sZWF2ZUBpZXRmLm9yZwo=