diff options
| author | Kumar Kartikeya Dwivedi <memxor@gmail.com> | 2025-03-15 21:05:40 -0700 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2025-03-19 08:03:06 -0700 |
| commit | ea21771c077c7aa85d46dd021d03eb0d96b5f418 (patch) | |
| tree | 1d9bbca422a4fdddd49aa54c1635ec166b2aa8a6 /tools/perf/scripts/python/export-to-sqlite.py | |
| parent | 0de2046137f976e7302d43ac01d9894d07ac1fff (diff) | |
| download | linux-stable-ea21771c077c7aa85d46dd021d03eb0d96b5f418.tar.gz linux-stable-ea21771c077c7aa85d46dd021d03eb0d96b5f418.tar.bz2 linux-stable-ea21771c077c7aa85d46dd021d03eb0d96b5f418.zip | |
bpf: Maintain FIFO property for rqspinlock unlock
Since out-of-order unlocks are unsupported for rqspinlock, and irqsave
variants enforce strict FIFO ordering anyway, make the same change for
normal non-irqsave variants, such that FIFO ordering is enforced.
Two new verifier state fields (active_lock_id, active_lock_ptr) are used
to denote the top of the stack, and prev_id and prev_ptr are ascertained
whenever popping the topmost entry through an unlock.
Take special care to make these fields part of the state comparison in
refsafe.
Signed-off-by: Kumar Kartikeya Dwivedi <memxor@gmail.com>
Link: https://lore.kernel.org/r/20250316040541.108729-25-memxor@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'tools/perf/scripts/python/export-to-sqlite.py')
0 files changed, 0 insertions, 0 deletions