RE: BPF standardization

2024-07-19 Thread Konstantin Ananyev
> This was taken from how kernel converts cBPF and the prologue it generates. > Surprising that verifier gags? Indeed it looks strange... Have to admit I didn't dig into how linux converter works... Below is the patch I used to test it from DPDK UT - might be you'll spot something obvious here.

Re: BPF standardization

2024-07-19 Thread Stephen Hemminger
On Fri, 19 Jul 2024 09:12:58 + Konstantin Ananyev wrote: > bpf_convert_filter() uses standard approach with XOR-ing itself: > xor r0, r0, r0 > to reset some register values. > Unfortunately linux verifier seems way too strict here and > doesn't allow access to register with undefined value. >

RE: BPF standardization

2024-07-19 Thread Konstantin Ananyev
> It would be good to make sure that DPDK BPF conforms to IETF draft. > https://datatracker.ietf.org/doc/draft-ietf-bpf-isa/ > > Based on LWN article on presentation at Linux Storage, Filesystem, > Memory Mangerment, and BPF Summit. > > https://lwn.net/SubscriberLink/975830/3b32df6be23d3abf/

BPF standardization

2024-05-30 Thread Stephen Hemminger
It would be good to make sure that DPDK BPF conforms to IETF draft. https://datatracker.ietf.org/doc/draft-ietf-bpf-isa/ Based on LWN article on presentation at Linux Storage, Filesystem, Memory Mangerment, and BPF Summit. https://lwn.net/SubscriberLink/975830/3b32df6be23d3abf/