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

Watson Ladd <watsonbladd@gmail.com> Tue, 25 July 2023 05:05 UTC

MIME-Version: 1.0
From: Watson Ladd <watsonbladd@gmail.com>
Date: Mon, 24 Jul 2023 22:04:55 -0700
Message-ID: <CACsn0ckZO+b5bRgMZhOvx+Jn-sa0g8cBD+ug1CJEdtYxSm_hgA@mail.gmail.com>
To: bpf@ietf.org
Content-Type: multipart/alternative; boundary="000000000000900b78060148ac7b"
Archived-At: <https://mailarchive.ietf.org/arch/msg/bpf/8Fkl_dExCX-YbPGOmWbG4SJFBKw>
Subject: [Bpf] Review of draft-thaler-bpf-isa-01
Precedence: list

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

[Bpf] Review of draft-thaler-bpf-isa-01 Watson Ladd
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Dave Thaler
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Dave Thaler
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Alexei Starovoitov
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Watson Ladd
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Will Hawkins
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Alexei Starovoitov
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Alexei Starovoitov
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Will Hawkins
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Alexei Starovoitov
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Will Hawkins
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Alexei Starovoitov
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Will Hawkins
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Alexei Starovoitov
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Will Hawkins
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Alexei Starovoitov
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Will Hawkins
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Alexei Starovoitov
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Dave Thaler
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Alexei Starovoitov
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Watson Ladd
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Alexei Starovoitov
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Dave Thaler
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Dave Thaler
Re: [Bpf] Review of draft-thaler-bpf-isa-01 David Vernet
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Watson Ladd
Re: [Bpf] Review of draft-thaler-bpf-isa-01 Will Hawkins
Re: [Bpf] Review of draft-thaler-bpf-isa-01 David Vernet
Re: [Bpf] Review of draft-thaler-bpf-isa-01 David Vernet