Re: [oss-drivers] Re: [RFC bpf-next 2/8] bpf: extend list based insn patching infra to verification layer

2019-07-16 Thread Jiong Wang
Andrii Nakryiko writes: > On Mon, Jul 15, 2019 at 3:02 AM Jiong Wang wrote: >> >> >> Andrii Nakryiko writes: >> >> > On Thu, Jul 11, 2019 at 5:20 AM Jiong Wang >> > wrote: >> >> >> >> >> >> Jiong Wang writes: >> >> >> >> > Andrii Nakryiko writes: >> >> > >> >> >> On Thu, Jul 4, 2019 at 2:32 P

Re: [oss-drivers] Re: [RFC bpf-next 2/8] bpf: extend list based insn patching infra to verification layer

2019-07-15 Thread Andrii Nakryiko
On Mon, Jul 15, 2019 at 3:02 AM Jiong Wang wrote: > > > Andrii Nakryiko writes: > > > On Thu, Jul 11, 2019 at 5:20 AM Jiong Wang wrote: > >> > >> > >> Jiong Wang writes: > >> > >> > Andrii Nakryiko writes: > >> > > >> >> On Thu, Jul 4, 2019 at 2:32 PM Jiong Wang > >> >> wrote: > >> >>> > >> >>>

Re: [oss-drivers] Re: [RFC bpf-next 2/8] bpf: extend list based insn patching infra to verification layer

2019-07-15 Thread Jiong Wang
Andrii Nakryiko writes: > On Thu, Jul 11, 2019 at 5:20 AM Jiong Wang wrote: >> >> >> Jiong Wang writes: >> >> > Andrii Nakryiko writes: >> > >> >> On Thu, Jul 4, 2019 at 2:32 PM Jiong Wang >> >> wrote: >> >>> >> >>> Verification layer also needs to handle auxiliar info as well as >> >>> adju

Re: [oss-drivers] Re: [RFC bpf-next 2/8] bpf: extend list based insn patching infra to verification layer

2019-07-12 Thread Andrii Nakryiko
On Thu, Jul 11, 2019 at 5:20 AM Jiong Wang wrote: > > > Jiong Wang writes: > > > Andrii Nakryiko writes: > > > >> On Thu, Jul 4, 2019 at 2:32 PM Jiong Wang wrote: > >>> > >>> Verification layer also needs to handle auxiliar info as well as adjusting > >>> subprog start. > >>> > >>> At this layer,

Re: [oss-drivers] Re: [RFC bpf-next 2/8] bpf: extend list based insn patching infra to verification layer

2019-07-11 Thread Jiong Wang
Jiong Wang writes: > Andrii Nakryiko writes: > >> On Thu, Jul 4, 2019 at 2:32 PM Jiong Wang wrote: >>> >>> Verification layer also needs to handle auxiliar info as well as adjusting >>> subprog start. >>> >>> At this layer, insns inside patch buffer could be jump, but they should >>> have been

Re: [oss-drivers] Re: [RFC bpf-next 2/8] bpf: extend list based insn patching infra to verification layer

2019-07-11 Thread Jiong Wang
Andrii Nakryiko writes: > On Thu, Jul 4, 2019 at 2:32 PM Jiong Wang wrote: >> >> Verification layer also needs to handle auxiliar info as well as adjusting >> subprog start. >> >> At this layer, insns inside patch buffer could be jump, but they should >> have been resolved, meaning they shouldn

Re: [RFC bpf-next 2/8] bpf: extend list based insn patching infra to verification layer

2019-07-10 Thread Andrii Nakryiko
On Thu, Jul 4, 2019 at 2:32 PM Jiong Wang wrote: > > Verification layer also needs to handle auxiliar info as well as adjusting > subprog start. > > At this layer, insns inside patch buffer could be jump, but they should > have been resolved, meaning they shouldn't jump to insn outside of the > pa

[RFC bpf-next 2/8] bpf: extend list based insn patching infra to verification layer

2019-07-04 Thread Jiong Wang
Verification layer also needs to handle auxiliar info as well as adjusting subprog start. At this layer, insns inside patch buffer could be jump, but they should have been resolved, meaning they shouldn't jump to insn outside of the patch buffer. Lineration function for this layer won't touch insn