Re: [PATCHv4 bpf-next 07/13] bpf: Add reference tracking to verifier

2019-01-10 Thread Joe Stringer
[resend as apparently I untoggled the "plain text" option in gmail...] On Tue, 8 Jan 2019 at 23:42, Alexei Starovoitov wrote: > > On Tue, Oct 02, 2018 at 01:35:35PM -0700, Joe Stringer wrote: > > Allow helper functions to acquire a reference and return it into a > > register. Specific pointer typ

Re: [PATCHv4 bpf-next 07/13] bpf: Add reference tracking to verifier

2019-01-08 Thread Alexei Starovoitov
On Tue, Oct 02, 2018 at 01:35:35PM -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 released

[PATCHv4 bpf-next 07/13] bpf: Add reference tracking to verifier

2018-10-02 Thread Joe Stringer
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, this