Hello Teng,

(Adding the list as dropped in last message)

On Tue, Feb 27, 2018 at 12:27 PM, Mauricio Vasquez via iovisor-dev <iovisor-dev@...> wrote:

Dear All,

We know from our experience implementing network functions in eBPF that some services require to keep pool of elements, for example addresses and ports in a NAT.  So far we haven't found a way to do it entirely in eBPF, we have implemented some workarounds as described in [1] (use an array map and a counter for example), we also have moved this logic into user space for some applications, however none of these solutions fulfill our requirements.

We want to bring the discussion of a possible extension to eBPF maps, we think the right way to go is to have a map that supports the push and pop methods.

I think we could (kind of) simulate a stack-like data structure now, by using

a normal BPF array as storage, along with another global variable

(i.e., array of size 1) to keep track of the stack top index, and inc / dec it

on push / pop. There could be concurrency issues, so maybe using per-CPU version

of those?

Unfortunately percpu would not work, the set of elements has to be shared across all cpus.
We could think about using a synchronization primitive to avoid potential problems, however that synchronization should also be available from user space, because in our use case the eBPF programs are consumers while an application in userspace is the producer.

I agree it feels complicated and error-prone, a native stack / queue map type

would definitely make such use case nicer.

If there is consensus about this map, we could propose an implementation.

/Mauricio.

 

Any thoughts on this?

Thanks,

Mauricio

[1] https://lists.iovisor.org/pipermail/iovisor-dev/2017-January/000614.html

_______________________________________________
iovisor-dev mailing list
iovisor-dev@...
https://lists.iovisor.org/mailman/listinfo/iovisor-dev