selftests/bpf: libarena: Add spmc queue data structure

Browse source

Expand libarena with a single producer multiple consumer deque data
structure. This is a single producer, multiple consumer lockless structure
that permits efficient work stealing. The structure is a Lev-Chase queue,
so it is lock-free and wait-free.

The data structure exposes three main calls. two of them are available to
the thread owning the queue and one available to all threads in the program:

spmc_owner_push(): Push an item to the top of the queue.
spmc_owner_pop(): Pop an item from the top of the queue.
spmc_steal(): Steal a thread from the bottom of the queue from
any thread.

Note that the queue is not really FIFO for all consumers, since
non-owners of the queue can only work steal from the bottom.

Signed-off-by: Emil Tsalapatis <emil@etsalapatis.com>
Link: https://lore.kernel.org/r/20260605222020.5231-3-emil@etsalapatis.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>

...

This commit is contained in:

Emil Tsalapatis 2026-06-05 18:20:19 -04:00 • committed by Alexei Starovoitov

parent 6c3e8a4d47

commit 57c6ace839

3 changed files with 455 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

27

tools/testing/selftests/bpf/libarena/include/libarena/spmc.h

View file

194

tools/testing/selftests/bpf/libarena/selftests/test_spmc.bpf.c

View file

234

tools/testing/selftests/bpf/libarena/src/spmc.bpf.c

View file