On Fri, 17 Sep 2021 16:51:06 +0200 Lorenzo Bianconi wrote: > > Is there much critique of the skb helpers we have? My intuition would > > be to follow a similar paradigm from the API perspective. It may seem > > trivial to us to switch between the two but "normal" users could easily > > be confused. > > > > By skb paradigm I mean skb_pull_data() and bpf_skb_load/store_bytes(). > > > > Alternatively how about we produce a variation on skb_header_pointer() > > (use on-stack buffer or direct access if the entire region is in one > > frag). > > > > bpf_xdp_adjust_data() seems to add cost to helpers and TBH I'm not sure > > how practical it would be to applications. My understanding is that the > > application is not supposed to make assumptions about the fragment > > geometry, meaning data can be split at any point. Parsing data > > arbitrarily split into buffers is hard if pull() is not an option, let > > alone making such parsing provably correct. > > > > Won't applications end up building something like skb_header_pointer() > > based on bpf_xdp_adjust_data(), anyway? In which case why don't we > > provide them what they need? > > Please correct me if I am wrong, here you mean in bpf_xdp_adjust_data() > we are moving the logic to read/write data across fragment boundaries > to the caller. Right. > I do not have a clear view about what could be a real use-case for the helper > (maybe John can help on this), but similar to what you are suggesting, what > about doing something like bpf_skb_load/store_bytes()? > > - bpf_xdp_load_bytes(struct xdp_buff *xdp_md, u32 offset, u32 len, > void *data) > > - bpf_xdp_store_bytes(struct xdp_buff *xdp_md, u32 offset, u32 len, > void *data) > > the helper can take care of reading/writing across fragment boundaries > and remove any layout info from the caller. The only downside here > (as for bpf_skb_load/store_bytes()) is we need to copy. If bpf_xdp_load_bytes() / bpf_xdp_store_bytes() works for most we can start with that. In all honesty I don't know what the exact use cases for looking at data are, either. I'm primarily worried about exposing the kernel internals too early. What I'm imagining is that data access mostly works around bad header/data split or loading some simple >L4 headers. On one hand such headers will fall into one frag, so 99.9% of the time the copy isn't really required. But as I said I'm happy with load/store, to begin with. > But in a real application, is it actually an issue? (since we have > much less pps for xdp multi-buff). > Moreover I do not know if this solution will requires some verifier > changes. > > @John: can this approach works in your use-case? > > Anyway I think we should try to get everyone on the same page here > since the helper can change according to specific use-case. Since > this series is on the agenda for LPC next week, I hope you and others > who have an opinion about this will find the time to come and discuss > it during the conference :) Yup, I'll be there. I'm not good at thinking on my feet tho, hence sharing my comments now.
