Re: [PATCH v2 bpf] bpf: prevent out-of-bounds speculation

2018-01-05 Thread John Fastabend
On 01/04/2018 09:45 PM, Alexei Starovoitov wrote: > From: Alexei Starovoitov > > Under speculation, CPUs may mis-predict branches in bounds checks. Thus, > memory accesses under a bounds check may be speculated even if the > bounds check fails, providing a primitive for building a side channel. >

[PATCH v2 bpf] bpf: prevent out-of-bounds speculation

2018-01-04 Thread Alexei Starovoitov
From: Alexei Starovoitov Under speculation, CPUs may mis-predict branches in bounds checks. Thus, memory accesses under a bounds check may be speculated even if the bounds check fails, providing a primitive for building a side channel. To avoid leaking kernel data round up array-based maps and m