Re: [RFC bpf-next 06/11] bpf: Add reference tracking to verifier

On 14 May 2018 at 20:04, Alexei Starovoitov wrote: > On Wed, May 09, 2018 at 02:07:04PM -0700, Joe Stringer wrote: >> Allow helper functions to acquire a reference and return it into a >> register. Specific pointer types such as the PTR_TO_SOCKET will >> implicitly

Re: [RFC bpf-next 06/11] bpf: Add reference tracking to verifier

On Wed, May 09, 2018 at 02:07:04PM -0700, Joe Stringer wrote: > Allow helper functions to acquire a reference and return it into a > register. Specific pointer types such as the PTR_TO_SOCKET will > implicitly represent such a reference. The verifier must ensure that > these references are

[RFC bpf-next 06/11] bpf: Add reference tracking to verifier

Allow helper functions to acquire a reference and return it into a register. Specific pointer types such as the PTR_TO_SOCKET will implicitly represent such a reference. The verifier must ensure that these references are released exactly once in each path through the program. To achieve this,