Re: [Bpf] Review of draft-thaler-bpf-isa-01

Dave Thaler <dthaler@microsoft.com> Wed, 02 August 2023 01:55 UTC

Return-Path: <dthaler@microsoft.com>
X-Original-To: bpf@ietfa.amsl.com
Delivered-To: bpf@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 7B3A8C14CF1B for <bpf@ietfa.amsl.com>; Tue, 1 Aug 2023 18:55:20 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.111
X-Spam-Level:
X-Spam-Status: No, score=-2.111 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIMWL_WL_HIGH=-0.001, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=microsoft.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 grIqemcX3tds for <bpf@ietfa.amsl.com>; Tue, 1 Aug 2023 18:55:16 -0700 (PDT)
Received: from DM5PR00CU002.outbound.protection.outlook.com (mail-centralusazon11021026.outbound.protection.outlook.com [52.101.62.26]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 1E689C151AEC for <bpf@ietf.org>; Tue, 1 Aug 2023 18:55:15 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Pc1coSLgP2Yo9oLxsPe4LLXhDmBcoaaeK4Fy2DJ393cf8kA5rM8vq+dFA8nqFXY4YcuABpDIExv/KG6EZLs708PiyGDRlf5YiTB8zDwQZiAVlHpFr4t8FrWlP0xdRq4Zvnbn++TzsFwcZW6kXTofSSyrqRf0zxbJhJbO0J1RF+SzYH7avc7djNlAea7V3iNYNIujLJHwtByNwY/TtD2qJG5clFo5JodxXn0jJkMrk8HKA9NurOrgc9yPStXCmG4/NGC69cujuMbDGAkz9P0r7ERLyM+XXLH9r9+6+NDCSRGk/FJ8Qrthcbht0FASzEHyGQ3etoK1sWhvP2J2LJSqPQ==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=7ngoYHMS3E+GCQhAkhCckdjKd+FJIgkA0jPxHedS5Sc=; b=dHPnZkF8XAWz4xFgiP5zZwzen+Rys9qNK+gjwOqiqyd1rpWnbMC553NRiCZi1ed3SRlRrAV1r5PzS7Cjly1+I1uDyKT26j2HMok5QuZYcHss5vXFrtguhnWDHvC+g4+7pn9z4YwA4OIUrfs0PNmVSzbozisrsf8t3Sm3oEFX3IzZowLc9zMu214FXF+vdoModwy8c7wyvdzVWgBH3n0j5K+iMVtrp+TKXe/TBqvdrKsVJdJi20artoZf1IG3G4FCs2/rsmaLRm2BEgqY4lp75gsfv1mUR9qutjC2zbVWpTD4B2FDhIhPdC7wBZ/4FIj19wzivzvwv+phG1VGkYwqlQ==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=microsoft.com; dmarc=pass action=none header.from=microsoft.com; dkim=pass header.d=microsoft.com; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=selector2; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=7ngoYHMS3E+GCQhAkhCckdjKd+FJIgkA0jPxHedS5Sc=; b=Rg5H1zzLGP1UVjcj6FsAUm4WwagvMudjgcfPeOU2cy/3xj4c6svkGZQ/dUXYboUYA/H+iH4b4h0nupc7Z9mbQutOiU7YhZ7ii5xRSx3W3aWDgeNOA9icuijASDqjclg5trJIF9qaM39rAUNhkugry8PYmIw8jXmnvdTZWvlYxy0=
Received: from PH7PR21MB3878.namprd21.prod.outlook.com (2603:10b6:510:243::22) by CY5PR21MB3662.namprd21.prod.outlook.com (2603:10b6:930:c::19) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6652.5; Wed, 2 Aug 2023 01:55:12 +0000
Received: from PH7PR21MB3878.namprd21.prod.outlook.com ([fe80::3cfe:3743:361a:d95b]) by PH7PR21MB3878.namprd21.prod.outlook.com ([fe80::3cfe:3743:361a:d95b%3]) with mapi id 15.20.6652.002; Wed, 2 Aug 2023 01:55:12 +0000
From: Dave Thaler <dthaler@microsoft.com>
To: Will Hawkins <hawkinsw@obs.cr>
CC: Watson Ladd <watsonbladd@gmail.com>, "bpf@ietf.org" <bpf@ietf.org>, bpf <bpf@vger.kernel.org>, Alexei Starovoitov <alexei.starovoitov@gmail.com>
Thread-Topic: [Bpf] Review of draft-thaler-bpf-isa-01
Thread-Index: AQHZvrWW9Z2mpBtp0E2+6M55X5/AaK/Kg57wgAAlYwCAACeEAIABnVIAgAH0AgCAAXhcAIAACQCAgAAD5YCAAASEgIAAAyOAgAABqACAAARZAIAAF4WAgAALs4CAABuJAIAGE7vA
Date: Wed, 02 Aug 2023 01:55:11 +0000
Message-ID: <PH7PR21MB38789504BF4250E37467C484A30BA@PH7PR21MB3878.namprd21.prod.outlook.com>
References: <CACsn0ckZO+b5bRgMZhOvx+Jn-sa0g8cBD+ug1CJEdtYxSm_hgA@mail.gmail.com> <PH7PR21MB3878D8DCEF24A5F8E52BA59DA303A@PH7PR21MB3878.namprd21.prod.outlook.com> <CAADnVQJ1fKXcsTXdCijwQzf0OVF0md-ATN5RbB3g10geyofNzA@mail.gmail.com> <CACsn0cmf22zEN9AduiRiFnQ7XhY1ABRL=SwAwmmFgxJvVZAOsg@mail.gmail.com> <CADx9qWi+VQ=do+_Bsd8W4Yc-S1LekVq7Hp4bfD3nz0YP47Sqgg@mail.gmail.com> <CAADnVQ+5d8ztfFLraWnZKszAX23Z-12=pHjJfufNbd3qzWVNsQ@mail.gmail.com> <CADx9qWhSqb6xAP=nz5N-vmd2N3+h4TBFtFOGdJUWNfX=LapEBw@mail.gmail.com> <CAADnVQJ4yzDc0qQExLUO1b23ndEiEjnYYPv5qC7JJYmLr4X3ew@mail.gmail.com> <CADx9qWh6ZUKvjkZow6=eB4gvEgP82mBqn+mMZvmDQynCYAfMWw@mail.gmail.com> <CAADnVQKOiwm1UB58=8QcowDyfPQct-wuMD19citS7w5PmadZ6g@mail.gmail.com> <CADx9qWjYChRf2qBr=Pt5D-RLCb665YFKmjDYX8WOQfqMx1-bag@mail.gmail.com> <CAADnVQJDO9MgU2MQQ5NQAE3EwL6PuPp8aAxcV3apf0DHoq8TAw@mail.gmail.com> <CADx9qWjOP4-2K3uKBTRmS4Q5V0gTJtoH65fwN-MhZvn6ukFpBg@mail.gmail.com> <CAADnVQKbpoeMWdnXzYbBaHoDiNsLDbC0JvDUnVGEQbCigjd1Xg@mail.gmail.com> <CADx9qWj4xuYoyz83FphVWU0ZVxy_7Y+SvTWjvChvkMdV290giA@mail.gmail.com> <CAADnVQLWKnGbG6XTVEKSto0kEiqHwFaDTp+UkCYipKpov_btRA@mail.gmail.com>
In-Reply-To: <CAADnVQLWKnGbG6XTVEKSto0kEiqHwFaDTp+UkCYipKpov_btRA@mail.gmail.com>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
msip_labels: MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_ActionId=0cc52a76-40d9-4288-9aff-3d4f45bfd63c; MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_ContentBits=0; MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_Enabled=true; MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_Method=Standard; MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_Name=Internal; MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_SetDate=2023-08-02T01:40:34Z; MSIP_Label_f42aa342-8706-4288-bd11-ebb85995028c_SiteId=72f988bf-86f1-41af-91ab-2d7cd011db47;
authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=microsoft.com;
x-ms-publictraffictype: Email
x-ms-traffictypediagnostic: PH7PR21MB3878:EE_|CY5PR21MB3662:EE_
x-ms-office365-filtering-correlation-id: 9bd4b5ce-7f7a-486a-1b09-08db92fb8221
x-ms-exchange-senderadcheck: 1
x-ms-exchange-antispam-relay: 0
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info: Rf9hLfBz/uCarNP/VrWfwkFD6EsF2gXu0G9IPtZ0aK7q43Wob3zt4wdPueaR1tol49hx4mUzU/OcStwW0s6zvbwYeUU2P7GJvFotL7RdtuxCne0X3sFumoXZJiZ8QjI/39mFwYUJB65DwSbUqBXIvRa29cZ38bXvKW8DkRPuqQaI1aG4vd3t2rX5ZarGTX8MR3dlGzjoFY5JFqVsk3W/O8fZO/NafCwkGyQhMOBpXBecFSsqNSgRAe3QMZSTXCQD/6fV0Okcss3g8WbSDOLOoak7+rHdruj7QJqLLWSulcZIxeKzzc8gZeakaGsCETMXyM8YeNindZuRXaGZ9ijD5k5FtJKb2PrhMuKk/+f55RrwW8zCzvBz2Ditof5V2JvOkdeRv+MDJlUA01qFuJxNFDEEJmj4WansnSb9B8VDg5IIBHd5td3K/ox0fuUVO4D2uQeXDOzskePnVXuak/GUc+dMT/NHLpINQZIZWSwftKEV/lCtsO/SlRN6ZZWT9BjEyb7nYo+7Ewp1gqIlmxLyf9cEKnjM84xqdgMH3yvdA8xuLtgVBEPs/VNYB+PeN0j0InzGwRxwRUIz1T2jfUGa+6jyuyvjxHlrlTCZ7NBZZhJLMmHSjrBpsoDmq+Dpf+tYqVi5ASgQeeTqQr2PfmqcPw==
x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:PH7PR21MB3878.namprd21.prod.outlook.com; PTR:; CAT:NONE; SFS:(13230028)(376002)(396003)(346002)(39860400002)(136003)(366004)(451199021)(966005)(186003)(10290500003)(83380400001)(26005)(8676002)(53546011)(6506007)(5660300002)(66476007)(8936002)(2906002)(41300700001)(66574015)(66946007)(6916009)(66556008)(786003)(52536014)(66446008)(54906003)(76116006)(7696005)(4326008)(8990500004)(71200400001)(33656002)(55016003)(478600001)(64756008)(9686003)(316002)(38070700005)(86362001)(122000001)(38100700002)(82950400001)(66899021)(82960400001); DIR:OUT; SFP:1102;
x-ms-exchange-antispam-messagedata-chunkcount: 1
x-ms-exchange-antispam-messagedata-0: So4OuMtZ8bPqHslCWkzSkxeDqkczWQ/aw4dNbDK58HKVGQduAk3hZdY7sUqJ0awUtXjIM9abOwhOGbNBskwtI+z2aZfSrYbT03Xlpqn/WfFC7RGK6c1qZwRq4AbJpJRsHkH5fj9s+dL+mhjPxOf+SX59UiBV0sJU+JxSvvjNKBdGE0RaUhSpDo5vBgR7UcWYGuPazHp/pv+gVxSy3+Ld4n7lTS6dj3XCUFMjLnnZQ3CQjysEukOVEkkrObW8WgfJtfRqUnDIPO4M87JzGDF4juBT54tA8chWKPXNQ7Uq/eOa83uL9KZpAxJgg0mvukRlCVUN0W0thXxQ/GiO6f/GkmWfYaHzTIU62603UjV66cPF73H7h7Z6cWBSanVyxpfW608MEXj6zPo9gYCrslxLq3opQudG/iXUR+sWSZ7NxIIiaEKRG76Hc8R8tnfME5t52j8GeymavZQA8N8+NfoKz2joQ2hF7TkVCYbjGJlm/THHYUQHCp9eM+yMJhBXMFUTDdlqTIijSg95ZSWefCaaPKO5V0z7f+uE0LlQ7T+pab41CQW/7O+AJK4SvBHcgFYfpcs5W2bB24vkqCcc43+QkirWXZBn5wc4piXDPsq8c77K/0+5dkUFPPbcZDG3ojhPoW2R6FOP0PGCiCcu/2IU65ywuzdyKnyxrgvKaIC3/FaX9D7eeN8n55tIULs/AdqhTd7oFI82CouBZqOq6g0rwJspShQuABUl1kPGz2er4YJdH/Na7xzpIOErQxX0bzmH518cI036uym6yQFlSA0t2tXn5EQeSTkMAfLheub6M38m1+Ls1CV1lVbDL5giyG9bxi267EAxDUh6e2fh6Zqph1riCrYfDQSAxVbHnmAaSJxX6qbXsyM+WVHf+JBAc8DrJFlVhD0gQXqNVmaNRxN/F0of6GOGKzoX6yAF6H7vYO4O6bo+Qmhfnjm1p7TrPMVSRwLjACiv8qZnRSmr8OGFI5p145/CobtELv+eeFwj9kegSF/GUkUrrcxCvPxkqmRdeR7OgyP+S41Ubn4owDfzLWYyli9YszmroAILBkqmThUdzuR685jrO8U4XhVWy5xZA76QUcO8K9tm6QNUFW66rpCU4DEuIxaW+oIL0Wf65nbMufejDdi4TZ2Ky2qlTzWyveDIpH+v075lqmpFrTZkfo5OMNv3G3cB0WV8ddo05ypNTKkE1Ronwy0fn78h7MfDzoKSW3bt5p90w4CpKuwZxhuHq1RnGZI6kMCc7v2dOCZ8MhblHQMcACJF51BlOc7c2vhnTURNc8nlSPLj+kE3xAjkMX/EK+WuUC7so5nnwQYKQ32EWA56YgLHkiULNmsQ0UpwbpA+hmAbJRJZLx5SqPvvAoFCr+QtAfcGBzyj5Dz2O+TByB7Ztil72b/Kf9dzD2zzNHCFXLafEAjbm8Owmlp4jXys5DpSdjL0e1IrbvVTNtH8PLu1XSJIj+QhVb4OXk944rhrKvWC9wNm5suhy6VuXc2qQv7FTjAb2VcjDGskeZM/F6BCsIB6kioJQlnCV0+tC32f5+octNCmrSTNJQgIid7Fqv5H7lV4lMQPr3KgGooTrD2veF/YWYH5SRth4a626e6NgwGvYFQzimxEkA==
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
MIME-Version: 1.0
X-OriginatorOrg: microsoft.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-AuthSource: PH7PR21MB3878.namprd21.prod.outlook.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 9bd4b5ce-7f7a-486a-1b09-08db92fb8221
X-MS-Exchange-CrossTenant-originalarrivaltime: 02 Aug 2023 01:55:12.0145 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: 72f988bf-86f1-41af-91ab-2d7cd011db47
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: I0DWWdb1cjyQpQi5ZeMJnKZuYOJvU5Bg3skflTs8aMql7FGGtK+Vfu1D6usNEnA9Lk7cPkG6X+NUSqLlBrE+8Q9t+x2vXMk00bUpURu35Is=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: CY5PR21MB3662
Archived-At: <https://mailarchive.ietf.org/arch/msg/bpf/gBv3pc2-pyxqA0lCv3Ul2s7iQlc>
Subject: Re: [Bpf] Review of draft-thaler-bpf-isa-01
X-BeenThere: bpf@ietf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: Discussion of BPF/eBPF standardization efforts within the IETF <bpf.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/bpf>, <mailto:bpf-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/bpf/>
List-Post: <mailto:bpf@ietf.org>
List-Help: <mailto:bpf-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/bpf>, <mailto:bpf-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 02 Aug 2023 01:55:20 -0000

> -----Original Message-----
> From: Alexei Starovoitov <alexei.starovoitov@gmail.com>
> Sent: Friday, July 28, 2023 9:52 PM
> To: Will Hawkins <hawkinsw@obs.cr>
> Cc: Watson Ladd <watsonbladd@gmail.com>; Dave Thaler
> <dthaler@microsoft.com>; bpf@ietf.org; bpf <bpf@vger.kernel.org>
> Subject: Re: [Bpf] Review of draft-thaler-bpf-isa-01
> 
> On Fri, Jul 28, 2023 at 8:14 PM Will Hawkins <hawkinsw@obs.cr> wrote:
> >
> > The Appendix (the opcode table) is not in the kernel repo now and
> > still has the issues that I outlined above.

Suggestions (especially concrete changes) welcome :)

> Will that make it in to
> > the kernel?
[...]
> I thought it's auto generated, so it should be easy to update.

It's not yet auto generated, and some parts are hard to auto-generated
because the combinations are just in English text.

> If not, let's certainly bring it in.

At the IETF BPF WG meeting, folks seemed agnostic as to whether it
was brought into the Linux repo or not.  See recording at
https://www.youtube.com/watch?v=jTtPbJqfYwI at 1:15:30 - 1:17:30,
and Christoph was the only one who spoke up, preferring to just keep
a static copy of the Internet Draft in the kernel repository.  I interpreted
this as saying no one cared about having the IANA considerations section
in a separate file there.  But we confirm consensus on the list, so it's fine
to revisit now if there are good reasons to do so.

> I suspect it will be the seed for IANA.
> Dave, thoughts?

That's the intent, yes.  Per RFC 8126, the Internet Draft has the "initial"
contents of the registry at time of publication, after which IANA becomes
the authoritative place going forward since one cannot change the RFC itself.

Dave