Re: [RESEND PATCH bpf-next 2/2] selftests/bpf: libarena: Add Lev-Chase queue data structure

["Alexei Starovoitov" <alexei.starovoitov@gmail.com>]

On Mon May 11, 2026 at 2:41 PM PDT, Emil Tsalapatis wrote:
> +
> +struct lv_queue {
> +	lv_arr_t *cur;
> +	volatile u64 top;
> +	volatile u64 bottom;
> +	struct lv_arr arr[LV_ARR_ORDERS];
> +};
> +
> +typedef struct lv_queue __arena lv_queue_t;
> +
> +int lvq_owner_push(lv_queue_t *lvq, u64 val);
> +int lvq_owner_pop(lv_queue_t *lvq, u64 *val);
> +int lvq_steal(lv_queue_t *lvq, u64 *val);
> +
> +u64 lvq_create_internal(void);
> +#define lvq_create() ((lv_queue_t *)lvq_create_internal())

workaround for some verifier issue?

> +/*
> + * NOTE: These selftests only test for the single-threaded use case, which for
> + * Lev-Chase queues is obviously the simplest one. Still, it is important to
> + * exercise the API to ensure it passes verification and basic checks.
> + */

and multi-thread test pls :)