BPF List
 help / color / mirror / Atom feed
From: David Vernet <void@manifault.com>
To: Dave Thaler <dthaler@microsoft.com>
Cc: "Jose E. Marchesi" <jemarch@gnu.org>,
	Christoph Hellwig <hch@infradead.org>,
	Michael Richardson <mcr+ietf@sandelman.ca>,
	"bpf@ietf.org" <bpf@ietf.org>, bpf <bpf@vger.kernel.org>,
	Alexei Starovoitov <ast@kernel.org>,
	Erik Kline <ek.ietf@gmail.com>,
	"Suresh Krishnan (sureshk)" <sureshk@cisco.com>,
	Lorenz Bauer <oss@lmb.io>
Subject: Re: [Bpf] IETF BPF working group draft charter
Date: Fri, 26 May 2023 12:19:29 -0500	[thread overview]
Message-ID: <20230526171929.GB1209625@maniforge> (raw)
In-Reply-To: <PH7PR21MB3878E80B01C2AA8273131D7CA347A@PH7PR21MB3878.namprd21.prod.outlook.com>

On Fri, May 26, 2023 at 05:01:57PM +0000, Dave Thaler wrote:
> David Vernet writes:
> [...]
> > I'd like to highlight this line in particular:
> > 
> > > This means any version of this specification published at the above
> > > link can be regarded as stable in the technical sense of the word (but
> > > not necessarily in the official RISC-V International specification
> > > state meaning), with the official specification state being an
> > > indicator of the completeness, clarity and general editorial quality
> > > of the specification.
> > 
> > To my reading, this sounds a lot more like a (strongly advised) informational
> > document, than a formal standard.
> > 
> > > The eBPF Foundation could publish the equivalent of the
> > > riscv-calling.pdf document above, but we (the IETF and BPF
> > > communities) decided the IETF was the best place to publish such
> > > documents.  As such, I envision an IETF RFC for the BPF calling convention
> > that is very similar to the RISC-V standard one above.
> > >
> > > Given the precedent, and the need in BPF, I don't see a problem.
> > 
> > Just to make sure we're all on the same page here: Are you proposing that we
> > publish a formal standard for psABI specifications, or are you proposing we
> > publish an informationl document?
> 
> In an email last week to the list I mentioned Informational as a possibility.
> I don't have a strong preference, but I have a weak preference for Proposed
> Standard status.

Thanks for clarifying. Erik, Suresh and I met yesterday to try and find
a middle ground that addresses everyone's concerns, and we came up with
[0].

[0]: https://github.com/ekline/bpf/blob/ekline-patch-1/charter-ietf-bpf.txt#L31

Does that sound reasonable to you?

I must admit that I feel quite strongly that a Proposed Standard is not
the right move for now. Many of the existing ABI conventions that exist
today are simply artifacts of somewhat arbitrary choices that were made
early-on in libbpf. I say "arbitrary" here not to imply that they
weren't well thought out, but rather just to say that like many other
decisions in software projects, they were made somewhat organically and
without the benefit of hindsight and a larger corpus of participants.

> As an implementer, I would want to make sure that ebpf-for-windows,
> PREVAIL, and uBPF all do the same thing, ideally matching Linux for everything
> the former projects support, to allow using consistent tooling.

I completely understand the motivation. Hopefully an Information
document will address those concerns? Let me know what you think.

- David

WARNING: multiple messages have this Message-ID (diff)
From: David Vernet <void@manifault.com>
To: Dave Thaler <dthaler@microsoft.com>
Cc: "Jose E. Marchesi" <jemarch@gnu.org>,
	Christoph Hellwig <hch@infradead.org>,
	Michael Richardson <mcr+ietf@sandelman.ca>,
	"bpf@ietf.org" <bpf@ietf.org>, bpf <bpf@vger.kernel.org>,
	Alexei Starovoitov <ast@kernel.org>,
	Erik Kline <ek.ietf@gmail.com>,
	"Suresh Krishnan (sureshk)" <sureshk@cisco.com>,
	Lorenz Bauer <oss@lmb.io>
Subject: Re: [Bpf] IETF BPF working group draft charter
Date: Fri, 26 May 2023 12:19:29 -0500	[thread overview]
Message-ID: <20230526171929.GB1209625@maniforge> (raw)
Message-ID: <20230526171929.FTYVq2wP42BMqljmDtC818n1M9PdQ9ySXf0TBUgMkS0@z> (raw)
In-Reply-To: <PH7PR21MB3878E80B01C2AA8273131D7CA347A@PH7PR21MB3878.namprd21.prod.outlook.com>

On Fri, May 26, 2023 at 05:01:57PM +0000, Dave Thaler wrote:
> David Vernet writes:
> [...]
> > I'd like to highlight this line in particular:
> > 
> > > This means any version of this specification published at the above
> > > link can be regarded as stable in the technical sense of the word (but
> > > not necessarily in the official RISC-V International specification
> > > state meaning), with the official specification state being an
> > > indicator of the completeness, clarity and general editorial quality
> > > of the specification.
> > 
> > To my reading, this sounds a lot more like a (strongly advised) informational
> > document, than a formal standard.
> > 
> > > The eBPF Foundation could publish the equivalent of the
> > > riscv-calling.pdf document above, but we (the IETF and BPF
> > > communities) decided the IETF was the best place to publish such
> > > documents.  As such, I envision an IETF RFC for the BPF calling convention
> > that is very similar to the RISC-V standard one above.
> > >
> > > Given the precedent, and the need in BPF, I don't see a problem.
> > 
> > Just to make sure we're all on the same page here: Are you proposing that we
> > publish a formal standard for psABI specifications, or are you proposing we
> > publish an informationl document?
> 
> In an email last week to the list I mentioned Informational as a possibility.
> I don't have a strong preference, but I have a weak preference for Proposed
> Standard status.

Thanks for clarifying. Erik, Suresh and I met yesterday to try and find
a middle ground that addresses everyone's concerns, and we came up with
[0].

[0]: https://github.com/ekline/bpf/blob/ekline-patch-1/charter-ietf-bpf.txt#L31

Does that sound reasonable to you?

I must admit that I feel quite strongly that a Proposed Standard is not
the right move for now. Many of the existing ABI conventions that exist
today are simply artifacts of somewhat arbitrary choices that were made
early-on in libbpf. I say "arbitrary" here not to imply that they
weren't well thought out, but rather just to say that like many other
decisions in software projects, they were made somewhat organically and
without the benefit of hindsight and a larger corpus of participants.

> As an implementer, I would want to make sure that ebpf-for-windows,
> PREVAIL, and uBPF all do the same thing, ideally matching Linux for everything
> the former projects support, to allow using consistent tooling.

I completely understand the motivation. Hopefully an Information
document will address those concerns? Let me know what you think.

- David

-- 
Bpf mailing list
Bpf@ietf.org
https://www.ietf.org/mailman/listinfo/bpf

  parent reply	other threads:[~2023-05-26 17:19 UTC|newest]

Thread overview: 59+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <PH7PR21MB38780769D482CC5F83768D3CA37E9@PH7PR21MB3878.namprd21.prod.outlook.com>
     [not found] ` <87v8grkn67.fsf@gnu.org>
2023-05-17 18:19   ` [Bpf] IETF BPF working group draft charter Dave Thaler
2023-05-17 18:19     ` Dave Thaler
2023-05-17 21:00     ` David Vernet
2023-05-17 21:00       ` David Vernet
2023-05-17 21:13       ` Dave Thaler
2023-05-17 21:13         ` Dave Thaler
2023-05-18 17:33     ` Jose E. Marchesi
2023-05-18 17:33       ` Jose E. Marchesi
2023-05-18 19:42       ` Dave Thaler
2023-05-18 19:42         ` Dave Thaler
2023-05-23 16:32         ` David Vernet
2023-05-23 16:32           ` David Vernet
2023-05-23 16:50           ` Dave Thaler
2023-05-23 16:50             ` Dave Thaler
2023-05-23 17:15             ` David Vernet
2023-05-23 17:15               ` David Vernet
2023-05-23 19:08               ` David Vernet
2023-05-23 19:08                 ` David Vernet
2023-05-23 19:42                 ` Erik Kline
2023-05-23 19:42                   ` Erik Kline
2023-05-23 19:47                   ` Jose E. Marchesi
2023-05-23 19:47                     ` Jose E. Marchesi
2023-05-23 17:58           ` Michael Richardson
2023-05-23 17:58             ` Michael Richardson
2023-05-23 18:25             ` Dave Thaler
2023-05-23 18:25               ` Dave Thaler
2023-05-23 20:28             ` David Vernet
2023-05-23 20:28               ` David Vernet
2023-05-24 20:38               ` Suresh Krishnan
2023-05-24 21:06                 ` Jose E. Marchesi
2023-05-24 21:06                   ` Jose E. Marchesi
2023-05-26 16:05                   ` Dave Thaler
2023-05-26 16:05                     ` Dave Thaler
2023-05-26 17:25                     ` Jose E. Marchesi
2023-05-26 17:25                       ` Jose E. Marchesi
2023-05-25  7:44               ` Christoph Hellwig
2023-05-25  7:44                 ` Christoph Hellwig
2023-05-25 10:14                 ` Jose E. Marchesi
2023-05-25 10:14                   ` Jose E. Marchesi
2023-05-26 16:02                   ` Dave Thaler
2023-05-26 16:02                     ` Dave Thaler
2023-05-26 16:55                     ` David Vernet
2023-05-26 16:55                       ` David Vernet
2023-05-26 17:01                       ` Dave Thaler
2023-05-26 17:01                         ` Dave Thaler
2023-05-26 17:19                         ` David Vernet [this message]
2023-05-26 17:19                           ` David Vernet
2023-05-26 17:30                           ` Dave Thaler
2023-05-26 17:30                             ` Dave Thaler
2023-05-31  3:48                             ` Christoph Hellwig
2023-05-31  3:48                               ` Christoph Hellwig
2023-05-31 19:38                               ` Michael Richardson
2023-05-31 19:38                                 ` Michael Richardson
2023-05-31 19:44                                 ` Dave Thaler
2023-05-31 19:44                                   ` Dave Thaler
2023-06-01 17:40                                   ` Michael Richardson
2023-06-01 17:40                                     ` Michael Richardson
2023-05-31  3:47                         ` Christoph Hellwig
2023-05-31  3:47                           ` Christoph Hellwig

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20230526171929.GB1209625@maniforge \
    --to=void@manifault.com \
    --cc=ast@kernel.org \
    --cc=bpf@ietf.org \
    --cc=bpf@vger.kernel.org \
    --cc=dthaler@microsoft.com \
    --cc=ek.ietf@gmail.com \
    --cc=hch@infradead.org \
    --cc=jemarch@gnu.org \
    --cc=mcr+ietf@sandelman.ca \
    --cc=oss@lmb.io \
    --cc=sureshk@cisco.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox