diff options
| author | Kumar Kartikeya Dwivedi <[email protected]> | 2025-03-16 04:05:40 +0000 |
|---|---|---|
| committer | Alexei Starovoitov <[email protected]> | 2025-03-19 15:03:06 +0000 |
| commit | ea21771c077c7aa85d46dd021d03eb0d96b5f418 (patch) | |
| tree | 1d9bbca422a4fdddd49aa54c1635ec166b2aa8a6 /net/unix/af_unix.c | |
| parent | bpf: Implement verifier support for rqspinlock (diff) | |
| download | kernel-ea21771c077c7aa85d46dd021d03eb0d96b5f418.tar.gz kernel-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 <[email protected]>
Link: https://lore.kernel.org/r/[email protected]
Signed-off-by: Alexei Starovoitov <[email protected]>
Diffstat (limited to 'net/unix/af_unix.c')
0 files changed, 0 insertions, 0 deletions