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

Dave Thaler <dthaler@microsoft.com> Wed, 02 August 2023 12:15 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 1969DC15153E for <bpf@ietfa.amsl.com>; Wed, 2 Aug 2023 05:15:44 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.11
X-Spam-Level:
X-Spam-Status: No, score=-2.11 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_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001] 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 6yL30-gd8OaF for <bpf@ietfa.amsl.com>; Wed, 2 Aug 2023 05:15:39 -0700 (PDT)
Received: from NAM12-DM6-obe.outbound.protection.outlook.com (mail-dm6nam12on2139.outbound.protection.outlook.com [40.107.243.139]) (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 9EB37C14CEED for <bpf@ietf.org>; Wed, 2 Aug 2023 05:15:39 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=bUzcgoeWMYKNpA7bCwpBfL5YiC4RejmZuwhGa0uULokMNSb9KeyzbIlsol6ANdhUzPYoeqiCsn1UM3Gnx+0sHNFjkDue/gyAgg45kMcdtYCBEMH336MPVJGiuEPVgl83xYdk4NR+g1xQ9/TwyWdRHWCuPgHJM+quDTNcxJXBa1/BYMVY5uBjDZ6nZbJYp2XrcRGtMuKJKx02ZVm94k9nDMMkuUZP69+dDmITN8P9dgtNbiGMezVyu0fZwz7z1IZ2kqCzpZssPGaFWNYhcH5pSc5WhvLR6vUdsJfiIO+M/ulhzAi+E5op52QlDrvgZ+w/myAlcDZKlh1TCBSKFBazrg==
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=Wn/+ypCVtsw2IfxABMjK1saEvHMcl9LFeoeDXpcDVJM=; b=PckgsNAUew8Yc9lZbmRr7LWhcoEjkNnZxBUK5rJ/J27zLEmnJUuWcuQS1fAGCcZSz4MsxYYngiwmFtBL54RzHOVhq5/qt/CgY8C4CdLL//+58p1qawrHn9F4n8l6ZnHYy0I9/6MBvWe6aVgregYhIw0U/ha8Q+kRkKlJKhk7Ysl5NRDJ0OGK9T4EOrRn7UL4svJQ0cpS2OvCdUfCe0uQHuf/h9nu7pXnYk5luj5J0iOqvmRrFdGjwEzIFlLRlbFr5xNpEKEfMu9QLAMdyHpVKPcn3g/soVIwSY9b5w5U665MuByckPHqwfOgzx15Tp7BIZbMDZLGLOTWh3pN8gg8Yg==
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=Wn/+ypCVtsw2IfxABMjK1saEvHMcl9LFeoeDXpcDVJM=; b=EECjqejb0F7+X6zzn/DpDdm51vPNfR0G0hjCQL+YcjwtAbNz8w+3uSEWDQ+YP+dB1NQjTAbjEsdGR0erhW4XZvvCSy1Py26LTvITMdtu3rCnNU8rGbhTKLkpsHOPNiq0joajMl8ENRfqEBDXwm5ri3qPad/zc+dD5s5NA+gc+4w=
Received: from PH7PR21MB3878.namprd21.prod.outlook.com (2603:10b6:510:243::22) by DM4PR21MB3153.namprd21.prod.outlook.com (2603:10b6:8:65::11) 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 12:15:36 +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 12:15:36 +0000
From: Dave Thaler <dthaler@microsoft.com>
To: Alexei Starovoitov <alexei.starovoitov@gmail.com>
CC: Will Hawkins <hawkinsw@obs.cr>, Watson Ladd <watsonbladd@gmail.com>, "bpf@ietf.org" <bpf@ietf.org>, bpf <bpf@vger.kernel.org>
Thread-Topic: [Bpf] Review of draft-thaler-bpf-isa-01
Thread-Index: AQHZvrWW9Z2mpBtp0E2+6M55X5/AaK/Kg57wgAAlYwCAACeEAIABnVIAgAH0AgCAAXhcAIAACQCAgAAD5YCAAASEgIAAAyOAgAABqACAAARZAIAAF4WAgAALs4CAABuJAIAGE7vAgAANsYCAAJYucIAADUZA
Date: Wed, 02 Aug 2023 12:15:36 +0000
Message-ID: <PH7PR21MB38781121163CAB2C6BCB75CBA30BA@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> <PH7PR21MB38789504BF4250E37467C484A30BA@PH7PR21MB3878.namprd21.prod.outlook.com> <CAADnVQLt7S9uwMxB3JaLMYACs5xTVwZ+en9pLYUguZ3gOf=33g@mail.gmail.com> <PH7PR21MB387874D32202CBA7F0C9E8DFA30BA@PH7PR21MB3878.namprd21.prod.outlook.com>
In-Reply-To: <PH7PR21MB387874D32202CBA7F0C9E8DFA30BA@PH7PR21MB3878.namprd21.prod.outlook.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=47093801-2e17-4671-aeff-9a517ad050ff; 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-02T11:27:06Z; 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_|DM4PR21MB3153:EE_
x-ms-office365-filtering-correlation-id: ddabd4c1-1acb-4dca-d3a6-08db93522d5f
x-ms-exchange-senderadcheck: 1
x-ms-exchange-antispam-relay: 0
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info: FHwurmE19oi2RDzyGozdu/+EFnsiLuJeNx4M2cBstBmJUvxseCDOMSMCzja0GZ76sUWC+QFtrs7+FBWJ09hxvV3eksIeirhIpoJv306LPpH/opQd9TzIc228kFNkxrmaIG5/jMGBZQRdleLJM0qecRdZ1FGmF6PJ1RbiRXA2SK9XBHm9jS4chkiD+OCKtgEWml7sX+oPLbA3+5n6c6f7Cd4H+aZ1L8sKifHc6MoSDhzn12ya6+7v2THJbTO9naFyGr1/iqMaiaOh4WqGvtakgAr0X5q/opq+7eUEfHg+CfCiWKNamqf89kzPgQjzVPT/gPge3O8AbqItvRBetR/T2w07+oSB0x3L9EN9G6+ZOWTVEPovvkCdScCmIgPY9hhTrhk6GYQjKLwRVRi2Fe1Q689zRrtLhmwkUx605ZpG/tbyl20CaBjS0vf5BYQtn4IBDWYrwD4vpb0fuSD5fmKxWIVHGyL2joYFZ1jaNNQnD8AGwgbYxiZn+qCJxSZMxubHdySKJEBu2P2TtLy16BzAk4vnHkdVu4exD2abjGK6NH2qaiICgrSvvqGDAS8fidcnSTRJAdpk0+BxVrWyYuFI9SnPMabDBqOFVufUbHzdz5L4R/1BQLK2W6kZLarVLzGfYCbV4s2V2DLGWDrpe3HAEQ==
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)(136003)(39860400002)(396003)(346002)(366004)(451199021)(71200400001)(38100700002)(54906003)(10290500003)(55016003)(7696005)(82960400001)(82950400001)(478600001)(8936002)(52536014)(8676002)(8990500004)(2906002)(5660300002)(86362001)(66476007)(38070700005)(6916009)(4326008)(64756008)(33656002)(66556008)(66946007)(66446008)(122000001)(76116006)(53546011)(316002)(26005)(786003)(83380400001)(41300700001)(66574015)(6506007)(186003)(2940100002)(966005)(9686003); DIR:OUT; SFP:1102;
x-ms-exchange-antispam-messagedata-chunkcount: 1
x-ms-exchange-antispam-messagedata-0: fjKDnfX0XJuOQeZ7AUwYbrL9rHxnI2ox+m8L2zXxuWzCzjrBQpHIBHWK4kflb+sV6607X1B3GGsI5mgn/YVYOcdxWHwUCsQVaYa37LDHSEJFkytxPumzoiYvkBoJvw8xqWcbOfind+4GgsuPAHCanlqEviMvVwT4MkfJbvSdQ2i8h1qa5I1R//vqgBh4sWmWPIhQvDDZ10KOwsUd1G+HFGowgWYPXRQzdgzvVmBtArOCCzbJ84HOjyWQiEkoTofo6Ypxhh4uj+vgiWMi/hKewfMUxsmO7mctbtN5UvyIAeBVL5ZlFA2ElO9ca3KrQ+jlsawD+Vk21w+bB47EyRQnlKjC/79WcwkvPhzLY3MQo25+9pBD3oXVhD16RMf7h+G+oCsR8KYd/l17Tw27ne05bke8JnByh4hN9VljN4lfnRz1J6Bo/2wx94SUJa/elludS+xgTCy65OI/QifS0zmTHOliK8FkA+XqMI6FvUHfvmh5kCtTteBDKyUXfhJvRqabyPG61enAIqphjcCg8r4INZX5EaWJeRr3OIv556eNAs7nDL2VvaiRPCGBHVg3Jrc2PWxpTUFV4qeXlh/C1e+dUVaPpPZDR8SN3SwRD1E2CO/ddRK7LuFTa9O7UyZn6UaPoJty0ingpSmci9y4HnMG3jk7aNYs16GwyW/ymB9wDHp2+flo6SssC+KJejUTxOzTHqd6AoKtylG/MnovgYOkcoR6MfsryGi8QHHcZhmqBq44Qt2ib2eYcOVPx8SaaoeoBZLbBjXT+pmC493g+NVANVmnuRPftENYI08RK6Wv1X+cWmXHJlfHca1szz48Zap6Qyz4AnpCGdI+ShFUEtC2OS5M16QiunBmN9F1Vm6W1azrRh7OPpdGfoRMkFKDj0z/szNvBp2A33lMSoCBjDmPayiKS/GS6Qpv4Utq083EIR0ixyo+t4g8Mwc0u3OHZ1xB0T4ceWBYPi0GYHFpJJ0zh9MzNSEQOtKMKwimR7dTcQ5fYKUQla49iyCYI4ixQjXzdKxhOchSvQ0D4avYTTwqine+gydAnzzi3ne6ZOW81brksHOPerPPxIr8QiXpfmwWmLq5NGIYMzp+JB8koYp3kTAGmhRmgU7Y6Lymo/f8yN2GJnkkynQF5bSN/GEglNXD36B6Ui5t00l+IO2gx3ua72TFBMxZFkj9+gQkQsBFfMj3uiXhuUAehWB3PpLpKV4MT6jW0Xf7CJtOKSWF5Wg8ni0S9fBogyHNlssSZB/MdXXGAhB7Z/PAd6NHmZQiuaaWaEtbfaCAPnipBFYvRFtbpBt0LzTc9PyLo+lVC2rTpTZ2QRgMyWQ2QJPF3Vhha5lP9osWH8WaZ6axGyOiukCctTWnX77VoMs0b3FDWxkzQdFjZIT/k8HPpTj+A20j+AW0EyeEIJgYm78aSAGmNbWK+FfnL22CU731pwCorGHdco2dkbpc3/JJo2WdR9RtH5F7hBH+p/0urLYsvSwUQqN4CH1iSJQuldr6sw5m0b3AZa8PhJ69IMzjp4fbahpn8UzzOGbFbU87IAF+uxS4eK6TMFg7htWT+27WBAqH2SDAYVJRRe+pvGrZ8W6aXtkzCldK0Z78TALpr9QT8GqZuoBY+g==
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: ddabd4c1-1acb-4dca-d3a6-08db93522d5f
X-MS-Exchange-CrossTenant-originalarrivaltime: 02 Aug 2023 12:15:36.0712 (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: tOvOj4LhDX3LnWpukkBD769GKXllSsYW/2BZZM0DT2o8MqrR/dLeLDy9j2s/8GaIHqism9jY/B9aK9aTIzmWCE1eTT9K5ub9us1Jm4eQD5U=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DM4PR21MB3153
Archived-At: <https://mailarchive.ietf.org/arch/msg/bpf/kj2Ue612EesVL23rZrs1p9bZols>
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 12:15:44 -0000

> -----Original Message-----
> From: Dave Thaler
> Sent: Wednesday, August 2, 2023 5:05 AM
> To: Alexei Starovoitov <alexei.starovoitov@gmail.com>
> Cc: Will Hawkins <hawkinsw@obs.cr>; Watson Ladd
> <watsonbladd@gmail.com>; bpf@ietf.org; bpf <bpf@vger.kernel.org>
> Subject: RE: [Bpf] Review of draft-thaler-bpf-isa-01
> 
> Alexei Starovoitov <alexei.starovoitov@gmail.com> wrote:
> > On Tue, Aug 1, 2023 at 6:55 PM Dave Thaler <dthaler@microsoft.com>
> > wrote:
> [...]
> >  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 think IANA consideration section is orthogonal to giant opcode table.
> 
> It's not orthogonal, such a table is a required part of the IANA Considerations
> section.  See https://www.rfc-editor.org/rfc/rfc8126#section-2.2
> (specifically the "Initial assignments and reservations").
> 
> > They're related, but don't have to be together in one .rst file.
> 
> True.
> 
> > I think it's cleaner to have separate instruction-set-opcode.rst
> 
> Sure.

Forgot to add: yes, they're already in separate rst files in my pending
changes, which get combined into the same section of the Internet Draft
when it's generated.

Dave