All of lore.kernel.org
 help / color / mirror / Atom feed
From: Ilya Leoshkevich <iii@linux.ibm.com>
To: Arnaldo Carvalho de Melo <acme@kernel.org>,
	Andrii Nakryiko <andrii.nakryiko@gmail.com>
Cc: Arnaldo Carvalho de Melo <acme@redhat.com>,
	dwarves@vger.kernel.org, bpf <bpf@vger.kernel.org>,
	Alexei Starovoitov <ast@kernel.org>,
	Daniel Borkmann <daniel@iogearbox.net>,
	Andrii Nakryiko <andrii@kernel.org>, Yonghong Song <yhs@fb.com>,
	Heiko Carstens <hca@linux.ibm.com>,
	Vasily Gorbik <gor@linux.ibm.com>
Subject: Re: [PATCH dwarves v2] btf: Add support for the floating-point types
Date: Wed, 10 Mar 2021 14:39:56 +0100	[thread overview]
Message-ID: <a8ca404e725891cbd54164ce4b08b884e3eabf1f.camel@linux.ibm.com> (raw)
In-Reply-To: <YEjLfbBQSxiWQMLD@kernel.org>

On Wed, 2021-03-10 at 10:37 -0300, Arnaldo Carvalho de Melo wrote:
> Em Tue, Mar 09, 2021 at 08:14:50PM -0800, Andrii Nakryiko escreveu:
> > On Tue, Mar 9, 2021 at 1:57 PM Ilya Leoshkevich <iii@linux.ibm.com>
> > wrote:
> > > On Tue, 2021-03-09 at 13:37 -0800, Andrii Nakryiko wrote:
> > > > On Tue, Mar 9, 2021 at 3:48 AM Arnaldo Carvalho de Melo
> > > > <acme@kernel.org> wrote:
> > > > > Em Tue, Mar 09, 2021 at 12:59:13AM +0100, Ilya Leoshkevich
> > > > > escreveu:
> > > > TBH, I think it's not exactly right to call out libbpf version
> > > > here.  It's BTF "version" (if we had such a thing) that
> > > > determines
> > > > the set of supported BTF kinds. There could be other libraries
> > > > that might want to parse BTF. So I don't know what this should
> > > > be
> > > > called, but libbpf_compat is probably a wrong name for it.
> 
> > > BTF version seems to exist: btf_header.version. Should we maybe
> > > bump
> > > this?
>  
> > That seems excessive. If the kernel doesn't use FLOATs, then no one
> > would even notice a difference. While if we bump this version, then
> > everything will automatically become incompatible.
> 
> > > > If we do want to teach pahole to not emit some parts of BTF, it
> > > > should
> > > > probably be a set of BPF features, not some arbitrary library
> > > > versions.
> 
> > > I thought about just adding --btf-allow-floats, but if new
> > > features
> > > will be added in the future, the list of options will become
> > > unwieldy.
> > > So I thought it would be good to settle for something that
> > > increases
> > > monotonically.
>  
> > BTF_KIND_FLOAT is the first extension in a long while. I'd worry
> > about
> > the proliferation of new options when we actually see some proof of
> > that being a problem in practice.
> 
> I tend to agree, Ilya, can you rework the patch in that direction?
> Something like --encode-btf-kind-float that starts disabled or other
> suitable name?
> 
> - Arnaldo

Sure, I'm actually testing v3 that does this right now. So far I went
with simply --btf_float, but I'll change it to the more explicit 
--encode_btf_kind_float.


      reply	other threads:[~2021-03-10 13:41 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-03-08 23:59 [PATCH dwarves v2] btf: Add support for the floating-point types Ilya Leoshkevich
2021-03-09 11:48 ` Arnaldo Carvalho de Melo
2021-03-09 13:06   ` Ilya Leoshkevich
2021-03-09 21:37   ` Andrii Nakryiko
2021-03-09 21:57     ` Ilya Leoshkevich
2021-03-10  4:14       ` Andrii Nakryiko
2021-03-10 13:37         ` Arnaldo Carvalho de Melo
2021-03-10 13:39           ` Ilya Leoshkevich [this message]

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=a8ca404e725891cbd54164ce4b08b884e3eabf1f.camel@linux.ibm.com \
    --to=iii@linux.ibm.com \
    --cc=acme@kernel.org \
    --cc=acme@redhat.com \
    --cc=andrii.nakryiko@gmail.com \
    --cc=andrii@kernel.org \
    --cc=ast@kernel.org \
    --cc=bpf@vger.kernel.org \
    --cc=daniel@iogearbox.net \
    --cc=dwarves@vger.kernel.org \
    --cc=gor@linux.ibm.com \
    --cc=hca@linux.ibm.com \
    --cc=yhs@fb.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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.