IETF Logo Mail Archive

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

Dave Thaler <dthaler@microsoft.com> Tue, 25 July 2023 14:03 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 9BFC0C151999 for <bpf@ietfa.amsl.com>; Tue, 25 Jul 2023 07:03:17 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.101
X-Spam-Level:
X-Spam-Status: No, score=-2.101 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] 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 NiDCSZXQomPA for <bpf@ietfa.amsl.com>; Tue, 25 Jul 2023 07:03:17 -0700 (PDT)
Received: from BN3PR00CU001.outbound.protection.outlook.com (mail-eastus2azon11020014.outbound.protection.outlook.com [52.101.56.14]) (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 13DF4C151095 for <bpf@ietf.org>; Tue, 25 Jul 2023 07:03:16 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=JoMvZsp2Fs6DYdyMTAGPPhMPM25cnYwJSbkfshybEFzUT3097e8GcQvhgGpZivDEt6J7/lsUNDsAfrDulKB+hH/uDcqN2+DltHL3yW2NEWmNdHg4e5f7UhXyQ4L26awBlVBWAMC9gLxl/F+Kjsq9RDsFYaqDfezAobaougcPWrs7ICFpyx4RHqbzX9xO+baB9aCNJtzltKHIuMHsYCmc0sdjyJkA6+gOmRtkryq2eKygBrbrYC/UkwqxXd59zh/7kwGbhfXRSm28c8LFnfZ5861qTwBUQSES+V40Yud2drGhrv89Il8zaJAkZT+ZoalX+JCDiv8PqcDLJhYCWnx72g==
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=orM9xmxyFwYuSwQWQ6gTQiNZcp5MlWgDxNpQSVzKc9w=; b=SqLLXYPp6tzluUCzUR/36so0IkwxJa7o4h1g2LTM4XuSjDYpwlS6XKt8sFtb4x/xnZjUDckZC2HLIG+MVonbyMtRDjVMdHvN8T671ymbA7YMVW7MKIjn4+sJOSfuYbFxMriDdRQmRK4sFXEGKHgU8/W3FoUjKecHOurkz97a72VAWVh9U/b86r+QTtVzzJCjJFvkcUsLfeoRB1/2ZIJJC3TbB0plBCtugzNqjAb/Cnwmx1vHkTv/Dyom4jrssDLxzmKrOgWmUX1tgWjwTPSh9Q5vyIeLtKEWQB3JQzoi+2EuoSkTWMKPxKZ/xfYeadH29vsS4vGZ5LRHs96DCwcnXA==
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=orM9xmxyFwYuSwQWQ6gTQiNZcp5MlWgDxNpQSVzKc9w=; b=CIL3R4Br0wSv2ys006wtepCaAWWV+sNDJkm4ueYOq/uL0O4O1kFoi/JH5Ths6hOBJE3ThOHWvXV7eGMowkoaBlaMxvvC2u+jM2l53DQHAkkf+Q49W0IEdplmefMSobxtl7/jZDQjcRflQqf5uewPwOSq+7BHqK0CBcQmEir1fjE=
Received: from PH7PR21MB3878.namprd21.prod.outlook.com (2603:10b6:510:243::22) by MN0PR21MB3217.namprd21.prod.outlook.com (2603:10b6:208:37a::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6652.5; Tue, 25 Jul 2023 14:03:14 +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; Tue, 25 Jul 2023 14:03:14 +0000
From: Dave Thaler <dthaler@microsoft.com>
To: 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/Kg57w
Date: Tue, 25 Jul 2023 14:03:13 +0000
Message-ID: <PH7PR21MB3878D8DCEF24A5F8E52BA59DA303A@PH7PR21MB3878.namprd21.prod.outlook.com>
References: <CACsn0ckZO+b5bRgMZhOvx+Jn-sa0g8cBD+ug1CJEdtYxSm_hgA@mail.gmail.com>
In-Reply-To: <CACsn0ckZO+b5bRgMZhOvx+Jn-sa0g8cBD+ug1CJEdtYxSm_hgA@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=3414c648-ced2-4971-8546-bdccb3c4dcc3; 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-07-25T14:01:32Z; 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_|MN0PR21MB3217:EE_
x-ms-office365-filtering-correlation-id: b9f70826-55dd-4dcd-3b8a-08db8d17e349
x-ms-exchange-senderadcheck: 1
x-ms-exchange-antispam-relay: 0
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info: c/cpC2e4kguEl821SIO8exyTsWkNff2uVJE9hN66cjAT+PB8hlhwV9L9o4dmN6RPRmDiD0BUT5BGcvw1rYNVFjFXnbh8EvxEWvULinqWhfD7TMjej0VIxUaBMhnTWcmUw4F81Mw0z4OeqmAeMM5dYTuGrhbpTuwa+vFGrMdT40RYXQyZSmAEOEQZGK+Rki9Y7MrHsLQzbPjV7gY3JnkK/AJDzI+dM4UkSlPO1loQyMj2vNVo3dttZvCQPGmMYvILOKd6R0oGE27Yd0IKtWx8RD2qja9rEHeNiAfkCzdvXhZPGZTmf9BHuczGHK/AGn8dpn9B7Yuu5PCKm3jCX8dNU0oW8xJGBqVgpFnFQNMDTBKIBc5ECBS4qzXTTfGuiUwgKhKCtOnc9XRL5baW3bvdqMDSsRthitum42EAkdOwNGi6MGyZWRlcygaUpNAdY/dDxLJMbfDRKsK/W02LiN7yV6nxERLjlzTkMm4zyk1ioMRbLawJ0h4JCJX/zy39jgYQ9P3B6X1wh5WYLVPupo0VhCijSkXwIh/wf2h2PpJxZWY0cnjjC7SkM8flrJEU66TK8QsT8K2d1whO7efVh00eNdVs7jkG2yNN/6Mtu4qNauDSmo2Oa4jI7/T2K8+e8fQqeCzOsOT1f4hGEzNkxIvsSLHehPw0xquDSHIKm9apBbE=
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)(4636009)(396003)(366004)(39860400002)(136003)(346002)(376002)(451199021)(8990500004)(55016003)(52536014)(5660300002)(4744005)(2906002)(478600001)(10290500003)(110136005)(7696005)(71200400001)(316002)(8676002)(41300700001)(8936002)(66946007)(66446008)(64756008)(66556008)(66476007)(76116006)(33656002)(83380400001)(86362001)(38100700002)(122000001)(82950400001)(82960400001)(38070700005)(9686003)(186003)(6506007)(53546011); DIR:OUT; SFP:1102;
x-ms-exchange-antispam-messagedata-chunkcount: 1
x-ms-exchange-antispam-messagedata-0: oe02wJoSNQOQt9mDXMdkxqZ38du0YRb7CN7B/KwRASS9j8nnknnWxtcBq9u/hc483OBVUuABeIXLft7ohz+BK/v+BVcFhY9u8JfrqLYRBkgFcpxdYHKqCN4qLjRoIsX0Aqh2D0g4Qg8Q0Fj/5V0ab5zipylXg5j8ecJoyLV0+G8M8JwposmP30f7HJ+xNHxICJazC+G/Bs8ZgljdhPcx/Gi59SeDY+geucYe4m0BRWG4s780mgq24C5wtbfnMUFjljCXIwpj+nEF8Nw2wQZwkt9ZxAotJvwLSGBawr1HBdGG3UqvhajSo0omAhk7Bi05oserdffOpjEsjX0UQbuA/NW0AWVb6Ajtd5XQ1DlO1pdzOVp228egFhye67ylkD3OYCaeFNuuoJzeFBa3Fu37VZH/7QPKuG313V1EPs2K95QKgt6jvgEv0X5VGtJdJcXxKxaVct29JkK7OY/atPNDDOS+RgSW/UngN+U7H3mE9PkIbncNFPTU3x59hwbLb5LvwgUc8sx4vmVAvTSwAPBJqzVx6W3plmhPjqFCXnSMbIy8FtIL0rgMGXHtx3CQdvuE+VR5sB4hQvLQYuVccAh+RFfSImtnDA6nfNheGh8GVhlVZ3eek4fsBKAzoGtlbXEeMd4iPRBIU/ZzEuEEPwbPIXY7aEjSP9J+02VcoxuKpY6Q4Nj6q38R1NwHJ3rDpW86LmfzP10kGfr81pBxU/PPV/RIDLw7YN+AaWD44EiBH+0anME9/N45V1Uj8huIlJbufVeUwRHNe3BOLOvB9vEuukX2uFSpCtcNkJUrMavLeB9MGT5jeYYVWY8A+rTcSZ3lbKoVOVoxuzReea0K7TTBAqMWEN+tRLK6it7XsefVi5w2mPEXoCVmz7pO5vFuw7AqdGLBnWhKAGp33dk9OSuHqsb6c5+xNPEKj5yNXJfSoXflh/E7txqr+/NgHPe5I5ac1yN2cj12JS5XoWxS5rndAUbLtFj1bucMQEwZ5iNXG6SCScY7xqoLpkFICsxrMuAf0OgcX0GRN5qFTiRmSfvfKtR1vXMUTy3o9B6AtPGFKh9SCnMRxbs64FloGhaTkpQihTJ3+Bwf4YqWmNHC27pE+U4lnAjooqg1Ls6AQ8F6BjWDY8jODprJ0MAzg2/wd6l4DxemDW4Lv1+pTDnK9BGxnJ9PnO//zysOL+iNp+AwY+TH90E/kPNqdCfUbcayBvj7n/FRbgoNRNTahat5M/MHVPdMBy5l5uaE7CpbIAjMFKsN20ynI/BsqRMiTW1kLfhHAhR6HlTZW55wwfiv2msXVExdfj7ToGgU62qE5QxpLPOdQJzoe4gYJSUf31k3XviT2XJhIMuGv9WVVAywPFhRAJOhnAQH5Jy6rzTfd+IzJixqmdVwA+RqElYYkURf/KeI7OxUHFHvC0oeKjA1LT4HQk9/g5D56iKYTLrwZS3YRchlnbfvHulrYMKKrEXUGrr/pV6ge5s950ab67BPnjSwi04m0Wg0cJtUNbS1PxszE/VxOrCFk6wsnkmp120AcF0Qj+VJa0ec8x5X7xDQdvAqo2JEetzOWF9YqkNg7xxXSBQtNni+m61UdH9XF9bnn9ZeD2sfhCbJ7hFTuNU0ozALApLTVmIe26PkCZYLfd0yUm8bej2p/GqKu0+dlIBldNDYT7aBLKn0pVNRRpD05rmMzw==
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: b9f70826-55dd-4dcd-3b8a-08db8d17e349
X-MS-Exchange-CrossTenant-originalarrivaltime: 25 Jul 2023 14:03:13.9614 (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: tVpIsBB9SNlnc3ZmjIA07ln/UgrdkAkdQdezwewjMGq+zUOAZgUYt6c4B3M6KaDL5FeFiTUHN+FBQUGFe5xD0AWhezWj9PEwDvmyq6YLGbA=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: MN0PR21MB3217
Archived-At: <https://mailarchive.ietf.org/arch/msg/bpf/HBm1CyuNwpMfcWBMOcUXYzkvpTI>
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: Tue, 25 Jul 2023 14:03:17 -0000

I am forwarding the email below (after converting HTML to plain text)
to the mailto:bpf@vger.kernel.org list so replies can go to both lists.

Please use this one for any replies.

Thanks,
Dave

> From: Bpf <bpf-bounces@ietf.org> On Behalf Of Watson Ladd
> Sent: Monday, July 24, 2023 10:05 PM
> To: bpf@ietf.org
> Subject: [Bpf] Review of draft-thaler-bpf-isa-01
>
> Dear BPF wg,
>
> I took a look at the draft and think it has some issues, unsurprisingly at this stage. One is
> the specification seems to use an underspecified C pseudo code for operations vs
> defining them mathematically.
>
> The good news is I think this is very fixable although tedious.
>
> The other thornier issues are memory model etc. But the overall structure seems good
> and the document overall makes sense.
>
> Sincerely,
> Watson Ladd

v2.23.0 | Report a Bug | By Email