|
Re: math between pkt pointer and register with unbounded min value is not allowed
#verifier
Thx a lot for your time Jiong.
The more I played with bpf/xdp, the more I understand that the challenge is about making "optimized byte code" compliant for the verifier.
How could I do this kind of
Thx a lot for your time Jiong.
The more I played with bpf/xdp, the more I understand that the challenge is about making "optimized byte code" compliant for the verifier.
How could I do this kind of
|
By
Simon
·
#1631
·
|
|
Re: math between pkt pointer and register with unbounded min value is not allowed
#verifier
And in your code, after you insert those printk, they made the following
two comparisons non-combinable any more, so udp_len is used for the
comparison and got correct value range to pass the later
And in your code, after you insert those printk, they made the following
two comparisons non-combinable any more, so udp_len is used for the
comparison and got correct value range to pass the later
|
By
Jiong Wang
·
#1630
·
|
|
Re: math between pkt pointer and register with unbounded min value is not allowed
#verifier
Hi Simon,
Thanks for the .i, I prototyped some byteswap code-gen change, but
seems doesn’t help your issue which could narrow down to the following
general code pattern:
unsigned char
Hi Simon,
Thanks for the .i, I prototyped some byteswap code-gen change, but
seems doesn’t help your issue which could narrow down to the following
general code pattern:
unsigned char
|
By
Jiong Wang
·
#1629
·
|
|
Re: R? min value is negative, either use unsigned or 'var &= const'
#verifier
Hi,
I begin to start to rewrite my code without using bcc. (I only used bpf c api / clang/ iproute2)
I have a reduced version compared to the one I used here, unlike the previous error I reported
Hi,
I begin to start to rewrite my code without using bcc. (I only used bpf c api / clang/ iproute2)
I have a reduced version compared to the one I used here, unlike the previous error I reported
|
By
Simon
·
#1628
·
|
|
Re: math between pkt pointer and register with unbounded min value is not allowed
#verifier
Hi Jiong,
I didn't succeed to generate .i file using bcc, but since severals days I try to rewrite my code without bcc. (directly with bpf C api / clang / iproute2)
I didn't finished yet, but I
Hi Jiong,
I didn't succeed to generate .i file using bcc, but since severals days I try to rewrite my code without bcc. (directly with bpf C api / clang / iproute2)
I didn't finished yet, but I
|
By
Simon
·
#1627
·
|
|
[PATCH v3 bpf-next 1/3] BPF: helpers: New helper to obtain namespace data from current task
Hi,
Could you give me a hand with a couple of doubts?
- What is the reason to not use the current namespace api instead of directly
accessing namespaces?.
- Regarding bpf programs not being
Hi,
Could you give me a hand with a couple of doubts?
- What is the reason to not use the current namespace api instead of directly
accessing namespaces?.
- Regarding bpf programs not being
|
By
neirac
·
#1626
·
|
|
Re: R? min value is negative, either use unsigned or 'var &= const'
#verifier
Hi, Jiong,
Thanks for your interest to help with this issue.
You can reproduce with the code at
https://github.com/sbernard31/udploadbalancer/tree/bf71e99fbd0c3f806a43076fc12a47e966422839
Using
Hi, Jiong,
Thanks for your interest to help with this issue.
You can reproduce with the code at
https://github.com/sbernard31/udploadbalancer/tree/bf71e99fbd0c3f806a43076fc12a47e966422839
Using
|
By
Yonghong Song
·
#1625
·
|
|
minutes: IO Visor TSC/Dev Meeting
Hi all,
Thanks for joining the discussion today. Here are the notes; however, this was
a longer discussion and I'm sure I missed some things.
Cheers,
Brenden
=== Discussion ===
Yonghong:
* Some
Hi all,
Thanks for joining the discussion today. Here are the notes; however, this was
a longer discussion and I'm sure I missed some things.
Cheers,
Brenden
=== Discussion ===
Yonghong:
* Some
|
By
Brenden Blanco
·
#1624
·
|
|
[RFC][Proposal] BPF Control MAP
In this proposal I am going to address the lack of a unified user API
for accessing and manipulating BPF system attributes, while this
proposal is generic and will work on any BPF subsystem (eBPF
In this proposal I am going to address the lack of a unified user API
for accessing and manipulating BPF system attributes, while this
proposal is generic and will work on any BPF subsystem (eBPF
|
By
Saeed Mahameed <saeedm@...>
·
#1623
·
|
|
Re: [RFC][Proposal] BPF Control MAP
Saeed Mahameed <saeedm@...> writes:
The one concern I have with this is that it makes XDP configuration
different from regular networking configuration. One of the compelling
features of XDP
Saeed Mahameed <saeedm@...> writes:
The one concern I have with this is that it makes XDP configuration
different from regular networking configuration. One of the compelling
features of XDP
|
By
Toke Høiland-Jørgensen <toke@...>
·
#1622
·
|
|
Re: [RFC][Proposal] BPF Control MAP
ok, i think i wasn't clear enough, let me retry.
So map creation has nothing to do with ifindex or the object the user
is trying to access.
on map creation the user will define what map sub type
ok, i think i wasn't clear enough, let me retry.
So map creation has nothing to do with ifindex or the object the user
is trying to access.
on map creation the user will define what map sub type
|
By
Saeed Mahameed <saeedm@...>
·
#1621
·
|
|
Re: [RFC][Proposal] BPF Control MAP
Sure will discuss most of the use cases tomorrow in the iovisor
meeting.
The idea is that we need to keep a map semantics (object->vlaue).
in this case ( map_attr.ctrl_type = XDP_ATTR ) object (key)
Sure will discuss most of the use cases tomorrow in the iovisor
meeting.
The idea is that we need to keep a map semantics (object->vlaue).
in this case ( map_attr.ctrl_type = XDP_ATTR ) object (key)
|
By
Saeed Mahameed <saeedm@...>
·
#1620
·
|
|
Re: R? min value is negative, either use unsigned or 'var &= const'
#verifier
Maybe. I have not looked at this yet from compiler side. Sometimes you
won't have an easy compiler option to turn off. Tuning -O may not
help. Lowering -O to -O1/-O0 may help to remove this
Maybe. I have not looked at this yet from compiler side. Sometimes you
won't have an easy compiler option to turn off. Tuning -O may not
help. Lowering -O to -O1/-O0 may help to remove this
|
By
Yonghong Song
·
#1619
·
|
|
Re: [RFC][Proposal] BPF Control MAP
perfect. let's agree on the use case first...
would be great to have. no doubt.
and bpf_map_info returns btf_key_type_id and btf_value_type_id
Are you saying btf_key_type_id will return single u32
perfect. let's agree on the use case first...
would be great to have. no doubt.
and bpf_map_info returns btf_key_type_id and btf_value_type_id
Are you saying btf_key_type_id will return single u32
|
By
Alexei Starovoitov
·
#1618
·
|
|
Re: [RFC][Proposal] BPF Control MAP
In your examples above does netdev with corresponding ifindex
exist before map is created?
Does prog_fd exist ? and socket?
In all cases yes. they do. Hence creation of 'map' (even pseudo map)
is an
In your examples above does netdev with corresponding ifindex
exist before map is created?
Does prog_fd exist ? and socket?
In all cases yes. they do. Hence creation of 'map' (even pseudo map)
is an
|
By
Alexei Starovoitov
·
#1617
·
|
|
reminder: IO Visor TSC/Dev Meeting
Agenda: Discussion on BTF Control MAP proposal from Saeed
Also, please note the 1 hour time change.
Please join us tomorrow for our bi-weekly call. As usual, this meeting is
open to everybody and
Agenda: Discussion on BTF Control MAP proposal from Saeed
Also, please note the 1 hour time change.
Please join us tomorrow for our bi-weekly call. As usual, this meeting is
open to everybody and
|
By
Brenden Blanco
·
#1616
·
|
|
Re: R? min value is negative, either use unsigned or 'var &= const'
#verifier
Maybe a silly question, but does it make sense to try to change compiler optimization option ? (I tried to play with -O option without success)
Please keep me informed about your progress about this
Maybe a silly question, but does it make sense to try to change compiler optimization option ? (I tried to play with -O option without success)
Please keep me informed about your progress about this
|
By
Simon
·
#1615
·
|
|
Re: [RFC][Proposal] BPF Control MAP
It's certainly an interesting idea. I think we need to agree on use cases
and goals first before bikesheding on the solution.
this bit show cases advantage of BTF nicely.
this one starting to become
It's certainly an interesting idea. I think we need to agree on use cases
and goals first before bikesheding on the solution.
this bit show cases advantage of BTF nicely.
this one starting to become
|
By
Alexei Starovoitov
·
#1614
·
|
|
Re: R? min value is negative, either use unsigned or 'var &= const'
#verifier
This is a tough issue. I spent a couple of hours trying various source
workaround and did not succeed.
To illustrate my experiment, the following is what I tried to do to
move the code udp_len
This is a tough issue. I spent a couple of hours trying various source
workaround and did not succeed.
To illustrate my experiment, the following is what I tried to do to
move the code udp_len
|
By
Yonghong Song
·
#1613
·
|
|
Re: R? min value is negative, either use unsigned or 'var &= const'
#verifier
Thx a lot again for your time and your detailed explanation.
About the workaround you proposed, I didn't get where I should repeat __u16 udp_len = bpf_ntohs(udp->len);.. I tried several spot but
Thx a lot again for your time and your detailed explanation.
About the workaround you proposed, I didn't get where I should repeat __u16 udp_len = bpf_ntohs(udp->len);.. I tried several spot but
|
By
Simon
·
#1612
·
|