linux-kernel - Re: [PATCH RFC bpf-next v1 4/4] selftests/bpf: Add selftests for load-acquire and store-release instructions

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 linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Message-ID: <eab308952286a2eee443fdd368fd05b6e6389df0.camel@gmail.com>
Date: Fri, 03 Jan 2025 17:11:11 -0800
From: Eduard Zingerman <eddyz87@...il.com>
To: Peilin Ye <yepeilin@...gle.com>, bpf@...r.kernel.org
Cc: Alexei Starovoitov <ast@...nel.org>, Song Liu <song@...nel.org>, 
 Yonghong Song <yonghong.song@...ux.dev>, Daniel Borkmann
 <daniel@...earbox.net>, Andrii Nakryiko	 <andrii@...nel.org>, Martin KaFai
 Lau <martin.lau@...ux.dev>, John Fastabend	 <john.fastabend@...il.com>, KP
 Singh <kpsingh@...nel.org>, Stanislav Fomichev	 <sdf@...ichev.me>, Hao Luo
 <haoluo@...gle.com>, Jiri Olsa <jolsa@...nel.org>,  "Paul E. McKenney"	
 <paulmck@...nel.org>, Puranjay Mohan <puranjay@...nel.org>, Xu Kuohai	
 <xukuohai@...weicloud.com>, Catalin Marinas <catalin.marinas@....com>, Will
 Deacon <will@...nel.org>, Quentin Monnet <qmo@...nel.org>, Mykola Lysenko
 <mykolal@...com>,  Shuah Khan <shuah@...nel.org>, Josh Don
 <joshdon@...gle.com>, Barret Rhoden <brho@...gle.com>, Neel Natu	
 <neelnatu@...gle.com>, Benjamin Segall <bsegall@...gle.com>, David Vernet	
 <dvernet@...a.com>, linux-kernel@...r.kernel.org
Subject: Re: [PATCH RFC bpf-next v1 4/4] selftests/bpf: Add selftests for
 load-acquire and store-release instructions

On Sat, 2024-12-21 at 01:26 +0000, Peilin Ye wrote:
> Add the following ./test_progs tests:
> 
>   * atomics/load_acquire
>   * atomics/store_release
>   * arena_atomics/load_acquire
>   * arena_atomics/store_release

[...]

> ---
>  include/linux/filter.h                        |  2 +
>  .../selftests/bpf/prog_tests/arena_atomics.c  | 61 +++++++++++++++-
>  .../selftests/bpf/prog_tests/atomics.c        | 57 ++++++++++++++-
>  .../selftests/bpf/progs/arena_atomics.c       | 62 +++++++++++++++-
>  tools/testing/selftests/bpf/progs/atomics.c   | 62 +++++++++++++++-
>  .../selftests/bpf/verifier/atomic_invalid.c   | 26 +++----
>  .../selftests/bpf/verifier/atomic_load.c      | 71 +++++++++++++++++++
>  .../selftests/bpf/verifier/atomic_store.c     | 70 ++++++++++++++++++
>  8 files changed, 393 insertions(+), 18 deletions(-)
>  create mode 100644 tools/testing/selftests/bpf/verifier/atomic_load.c
>  create mode 100644 tools/testing/selftests/bpf/verifier/atomic_store.c

test_verifier tests runner is currently in a maintenance mode,
new tests should be added as parts of a test_progs runner.
Please take a look at selftests/bpf/progs/verifier_ldsx.c,
selftests/bpf/prog_tests/verifier.c and selftests/bpf/bpf_misc.h.

[...]