Re: [PATCH v2 bpf-next 2/7] tools/memory-model: add BPF ringbuf MPSC litmus tests

2020-05-25 Thread Paul E. McKenney
On Mon, May 25, 2020 at 04:33:15PM -0700, Andrii Nakryiko wrote: > On Fri, May 22, 2020 at 11:51 AM Andrii Nakryiko > wrote: > > > > On Thu, May 21, 2020 at 5:34 PM Paul E. McKenney wrote: > > > > > > On Sun, May 17, 2020 at 12:57:22PM -0700, Andrii Nakryiko wrote: > > > > Add 4 litmus tests for

Re: [PATCH v2 bpf-next 2/7] tools/memory-model: add BPF ringbuf MPSC litmus tests

2020-05-25 Thread Andrii Nakryiko
On Fri, May 22, 2020 at 11:51 AM Andrii Nakryiko wrote: > > On Thu, May 21, 2020 at 5:34 PM Paul E. McKenney wrote: > > > > On Sun, May 17, 2020 at 12:57:22PM -0700, Andrii Nakryiko wrote: > > > Add 4 litmus tests for BPF ringbuf implementation, divided into two > > > different > > > use cases.

Re: [PATCH v2 bpf-next 2/7] tools/memory-model: add BPF ringbuf MPSC litmus tests

2020-05-22 Thread Andrii Nakryiko
On Thu, May 21, 2020 at 5:34 PM Paul E. McKenney wrote: > > On Sun, May 17, 2020 at 12:57:22PM -0700, Andrii Nakryiko wrote: > > Add 4 litmus tests for BPF ringbuf implementation, divided into two > > different > > use cases. > > > > First, two unbounded case, one with 1 producer and another with

Re: [PATCH v2 bpf-next 2/7] tools/memory-model: add BPF ringbuf MPSC litmus tests

2020-05-21 Thread Paul E. McKenney
On Sun, May 17, 2020 at 12:57:22PM -0700, Andrii Nakryiko wrote: > Add 4 litmus tests for BPF ringbuf implementation, divided into two different > use cases. > > First, two unbounded case, one with 1 producer and another with > 2 producers, single consumer. All reservations are supposed to succeed

[PATCH v2 bpf-next 2/7] tools/memory-model: add BPF ringbuf MPSC litmus tests

2020-05-17 Thread Andrii Nakryiko
Add 4 litmus tests for BPF ringbuf implementation, divided into two different use cases. First, two unbounded case, one with 1 producer and another with 2 producers, single consumer. All reservations are supposed to succeed. Second, bounded case with only 1 record allowed in ring buffer at any gi