On Fri, Nov 15, 2019 at 5:18 PM Alexei Starovoitov <ast@xxxxxx> wrote: > > On 11/15/19 4:13 PM, Daniel Borkmann wrote: > >>> Yeah, only for fd array currently. Question is, if we ever reuse that > >>> map_release_uref > >>> callback in future for something else, will we remember that we earlier > >>> missed to add > >>> it here? :/ > >> > >> What do you mean 'missed to add' ? > > > > Was saying missed to add the inc/put for the uref counter. > > > >> This is mmap path. Anything that needs releasing (like FDs for > >> prog_array or progs for sockmap) cannot be mmap-able. > > > > Right, I meant if in future we ever have another use case outside of it > > for some reason (unrelated to those maps you mention above). Can we > > guarantee this is never going to happen? Seemed less fragile at least to > > maintain proper count here. I don't think we'll ever going to allow mmaping anything that contains not just pure data. E.g., we disallow mmaping array that contains spin lock for that reason. So I think it's safe to assume that this is not going to happen even for future maps. At least not without some serious considerations before that. So I'm going to keep it as just plain bpf_map_inc for now. I'm going to convert bpf_prog_add/bpf_prog_inc, though, and will do it as a separate patch, on top of bpf_map_inc refactor. It touches quite a lot drivers, so would benefit from having being separate. > > I'm struggling to understand the concern. > map-in-map, xskmap, socket local storage are doing bpf_map_inc(, false) > when they need to hold the map. Why this case is any different?