lists.openwall.net | lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening PHC | |
Open Source and information security mailing list archives
| ||
|
Date: Wed, 6 May 2020 09:08:21 +0200 From: Björn Töpel <bjorn.topel@...il.com> To: Luke Nelson <lukenels@...washington.edu> Cc: bpf <bpf@...r.kernel.org>, Luke Nelson <luke.r.nels@...il.com>, Xi Wang <xi.wang@...il.com>, Paul Walmsley <paul.walmsley@...ive.com>, Palmer Dabbelt <palmer@...belt.com>, Albert Ou <aou@...s.berkeley.edu>, Alexei Starovoitov <ast@...nel.org>, Daniel Borkmann <daniel@...earbox.net>, Martin KaFai Lau <kafai@...com>, Song Liu <songliubraving@...com>, Yonghong Song <yhs@...com>, Andrii Nakryiko <andriin@...com>, John Fastabend <john.fastabend@...il.com>, KP Singh <kpsingh@...omium.org>, Netdev <netdev@...r.kernel.org>, linux-riscv@...ts.infradead.org, LKML <linux-kernel@...r.kernel.org> Subject: Re: [PATCH bpf-next 0/4] RV64 BPF JIT Optimizations On Wed, 6 May 2020 at 02:03, Luke Nelson <lukenels@...washington.edu> wrote: > > This patch series introduces a set of optimizations to the BPF JIT > on RV64. The optimizations are related to the verifier zero-extension > optimization and BPF_JMP BPF_K. > > We tested the optimizations on a QEMU riscv64 virt machine, using > lib/test_bpf and test_verifier, and formally verified their correctness > using Serval. > Luke and Xi, Thanks a lot for working on this! Very nice series! For the series: Reviewed-by: Björn Töpel <bjorn.topel@...il.com> Acked-by: Björn Töpel <bjorn.topel@...il.com> > Luke Nelson (4): > bpf, riscv: Enable missing verifier_zext optimizations on RV64 > bpf, riscv: Optimize FROM_LE using verifier_zext on RV64 > bpf, riscv: Optimize BPF_JMP BPF_K when imm == 0 on RV64 > bpf, riscv: Optimize BPF_JSET BPF_K using andi on RV64 > > arch/riscv/net/bpf_jit_comp64.c | 64 ++++++++++++++++++++++----------- > 1 file changed, 44 insertions(+), 20 deletions(-) > > Cc: Xi Wang <xi.wang@...il.com> > > -- > 2.17.1 >
Powered by blists - more mailing lists