1457f4436SAndrii Nakryiko #include <linux/bpf.h>
2457f4436SAndrii Nakryiko #include <linux/btf.h>
3457f4436SAndrii Nakryiko #include <linux/err.h>
4457f4436SAndrii Nakryiko #include <linux/irq_work.h>
5457f4436SAndrii Nakryiko #include <linux/slab.h>
6457f4436SAndrii Nakryiko #include <linux/filter.h>
7457f4436SAndrii Nakryiko #include <linux/mm.h>
8457f4436SAndrii Nakryiko #include <linux/vmalloc.h>
9457f4436SAndrii Nakryiko #include <linux/wait.h>
10457f4436SAndrii Nakryiko #include <linux/poll.h>
11ccff81e1SRustam Kovhaev #include <linux/kmemleak.h>
12457f4436SAndrii Nakryiko #include <uapi/linux/btf.h>
13c317ab71SMenglong Dong #include <linux/btf_ids.h>
14457f4436SAndrii Nakryiko
15457f4436SAndrii Nakryiko #define RINGBUF_CREATE_FLAG_MASK (BPF_F_NUMA_NODE)
16457f4436SAndrii Nakryiko
17457f4436SAndrii Nakryiko /* non-mmap()'able part of bpf_ringbuf (everything up to consumer page) */
18457f4436SAndrii Nakryiko #define RINGBUF_PGOFF \
19457f4436SAndrii Nakryiko (offsetof(struct bpf_ringbuf, consumer_pos) >> PAGE_SHIFT)
20457f4436SAndrii Nakryiko /* consumer page and producer page */
21457f4436SAndrii Nakryiko #define RINGBUF_POS_PAGES 2
222f7e4ab2SYafang Shao #define RINGBUF_NR_META_PAGES (RINGBUF_PGOFF + RINGBUF_POS_PAGES)
23457f4436SAndrii Nakryiko
24457f4436SAndrii Nakryiko #define RINGBUF_MAX_RECORD_SZ (UINT_MAX/4)
25457f4436SAndrii Nakryiko
26457f4436SAndrii Nakryiko struct bpf_ringbuf {
27457f4436SAndrii Nakryiko wait_queue_head_t waitq;
28457f4436SAndrii Nakryiko struct irq_work work;
29457f4436SAndrii Nakryiko u64 mask;
30457f4436SAndrii Nakryiko struct page **pages;
31457f4436SAndrii Nakryiko int nr_pages;
32*f9543375SWander Lairson Costa raw_spinlock_t spinlock ____cacheline_aligned_in_smp;
3320571567SDavid Vernet /* For user-space producer ring buffers, an atomic_t busy bit is used
3420571567SDavid Vernet * to synchronize access to the ring buffers in the kernel, rather than
3520571567SDavid Vernet * the spinlock that is used for kernel-producer ring buffers. This is
3620571567SDavid Vernet * done because the ring buffer must hold a lock across a BPF program's
3720571567SDavid Vernet * callback:
3820571567SDavid Vernet *
3920571567SDavid Vernet * __bpf_user_ringbuf_peek() // lock acquired
4020571567SDavid Vernet * -> program callback_fn()
4120571567SDavid Vernet * -> __bpf_user_ringbuf_sample_release() // lock released
4220571567SDavid Vernet *
4320571567SDavid Vernet * It is unsafe and incorrect to hold an IRQ spinlock across what could
4420571567SDavid Vernet * be a long execution window, so we instead simply disallow concurrent
4520571567SDavid Vernet * access to the ring buffer by kernel consumers, and return -EBUSY from
4620571567SDavid Vernet * __bpf_user_ringbuf_peek() if the busy bit is held by another task.
4720571567SDavid Vernet */
4820571567SDavid Vernet atomic_t busy ____cacheline_aligned_in_smp;
49583c1f42SDavid Vernet /* Consumer and producer counters are put into separate pages to
50583c1f42SDavid Vernet * allow each position to be mapped with different permissions.
51583c1f42SDavid Vernet * This prevents a user-space application from modifying the
52583c1f42SDavid Vernet * position and ruining in-kernel tracking. The permissions of the
53583c1f42SDavid Vernet * pages depend on who is producing samples: user-space or the
54511804abSDaniel Borkmann * kernel. Note that the pending counter is placed in the same
55511804abSDaniel Borkmann * page as the producer, so that it shares the same cache line.
56583c1f42SDavid Vernet *
57583c1f42SDavid Vernet * Kernel-producer
58583c1f42SDavid Vernet * ---------------
59583c1f42SDavid Vernet * The producer position and data pages are mapped as r/o in
60583c1f42SDavid Vernet * userspace. For this approach, bits in the header of samples are
61583c1f42SDavid Vernet * used to signal to user-space, and to other producers, whether a
62583c1f42SDavid Vernet * sample is currently being written.
63583c1f42SDavid Vernet *
64583c1f42SDavid Vernet * User-space producer
65583c1f42SDavid Vernet * -------------------
66583c1f42SDavid Vernet * Only the page containing the consumer position is mapped r/o in
67583c1f42SDavid Vernet * user-space. User-space producers also use bits of the header to
68583c1f42SDavid Vernet * communicate to the kernel, but the kernel must carefully check and
69583c1f42SDavid Vernet * validate each sample to ensure that they're correctly formatted, and
70583c1f42SDavid Vernet * fully contained within the ring buffer.
71457f4436SAndrii Nakryiko */
72457f4436SAndrii Nakryiko unsigned long consumer_pos __aligned(PAGE_SIZE);
73457f4436SAndrii Nakryiko unsigned long producer_pos __aligned(PAGE_SIZE);
74511804abSDaniel Borkmann unsigned long pending_pos;
75457f4436SAndrii Nakryiko char data[] __aligned(PAGE_SIZE);
76457f4436SAndrii Nakryiko };
77457f4436SAndrii Nakryiko
78457f4436SAndrii Nakryiko struct bpf_ringbuf_map {
79457f4436SAndrii Nakryiko struct bpf_map map;
80457f4436SAndrii Nakryiko struct bpf_ringbuf *rb;
81457f4436SAndrii Nakryiko };
82457f4436SAndrii Nakryiko
83457f4436SAndrii Nakryiko /* 8-byte ring buffer record header structure */
84457f4436SAndrii Nakryiko struct bpf_ringbuf_hdr {
85457f4436SAndrii Nakryiko u32 len;
86457f4436SAndrii Nakryiko u32 pg_off;
87457f4436SAndrii Nakryiko };
88457f4436SAndrii Nakryiko
bpf_ringbuf_area_alloc(size_t data_sz,int numa_node)89457f4436SAndrii Nakryiko static struct bpf_ringbuf *bpf_ringbuf_area_alloc(size_t data_sz, int numa_node)
90457f4436SAndrii Nakryiko {
91be4035c7SRoman Gushchin const gfp_t flags = GFP_KERNEL_ACCOUNT | __GFP_RETRY_MAYFAIL |
92be4035c7SRoman Gushchin __GFP_NOWARN | __GFP_ZERO;
932f7e4ab2SYafang Shao int nr_meta_pages = RINGBUF_NR_META_PAGES;
94457f4436SAndrii Nakryiko int nr_data_pages = data_sz >> PAGE_SHIFT;
95457f4436SAndrii Nakryiko int nr_pages = nr_meta_pages + nr_data_pages;
96457f4436SAndrii Nakryiko struct page **pages, *page;
97457f4436SAndrii Nakryiko struct bpf_ringbuf *rb;
98457f4436SAndrii Nakryiko size_t array_size;
99457f4436SAndrii Nakryiko int i;
100457f4436SAndrii Nakryiko
101457f4436SAndrii Nakryiko /* Each data page is mapped twice to allow "virtual"
102457f4436SAndrii Nakryiko * continuous read of samples wrapping around the end of ring
103457f4436SAndrii Nakryiko * buffer area:
104457f4436SAndrii Nakryiko * ------------------------------------------------------
105457f4436SAndrii Nakryiko * | meta pages | real data pages | same data pages |
106457f4436SAndrii Nakryiko * ------------------------------------------------------
107457f4436SAndrii Nakryiko * | | 1 2 3 4 5 6 7 8 9 | 1 2 3 4 5 6 7 8 9 |
108457f4436SAndrii Nakryiko * ------------------------------------------------------
109457f4436SAndrii Nakryiko * | | TA DA | TA DA |
110457f4436SAndrii Nakryiko * ------------------------------------------------------
111457f4436SAndrii Nakryiko * ^^^^^^^
112457f4436SAndrii Nakryiko * |
113457f4436SAndrii Nakryiko * Here, no need to worry about special handling of wrapped-around
114457f4436SAndrii Nakryiko * data due to double-mapped data pages. This works both in kernel and
115457f4436SAndrii Nakryiko * when mmap()'ed in user-space, simplifying both kernel and
116457f4436SAndrii Nakryiko * user-space implementations significantly.
117457f4436SAndrii Nakryiko */
118457f4436SAndrii Nakryiko array_size = (nr_meta_pages + 2 * nr_data_pages) * sizeof(*pages);
119be4035c7SRoman Gushchin pages = bpf_map_area_alloc(array_size, numa_node);
120457f4436SAndrii Nakryiko if (!pages)
121457f4436SAndrii Nakryiko return NULL;
122457f4436SAndrii Nakryiko
123457f4436SAndrii Nakryiko for (i = 0; i < nr_pages; i++) {
124457f4436SAndrii Nakryiko page = alloc_pages_node(numa_node, flags, 0);
125457f4436SAndrii Nakryiko if (!page) {
126457f4436SAndrii Nakryiko nr_pages = i;
127457f4436SAndrii Nakryiko goto err_free_pages;
128457f4436SAndrii Nakryiko }
129457f4436SAndrii Nakryiko pages[i] = page;
130457f4436SAndrii Nakryiko if (i >= nr_meta_pages)
131457f4436SAndrii Nakryiko pages[nr_data_pages + i] = page;
132457f4436SAndrii Nakryiko }
133457f4436SAndrii Nakryiko
134457f4436SAndrii Nakryiko rb = vmap(pages, nr_meta_pages + 2 * nr_data_pages,
135b293dcc4SHou Tao VM_MAP | VM_USERMAP, PAGE_KERNEL);
136457f4436SAndrii Nakryiko if (rb) {
137ccff81e1SRustam Kovhaev kmemleak_not_leak(pages);
138457f4436SAndrii Nakryiko rb->pages = pages;
139457f4436SAndrii Nakryiko rb->nr_pages = nr_pages;
140457f4436SAndrii Nakryiko return rb;
141457f4436SAndrii Nakryiko }
142457f4436SAndrii Nakryiko
143457f4436SAndrii Nakryiko err_free_pages:
144457f4436SAndrii Nakryiko for (i = 0; i < nr_pages; i++)
145457f4436SAndrii Nakryiko __free_page(pages[i]);
1468f58ee54SYafang Shao bpf_map_area_free(pages);
147457f4436SAndrii Nakryiko return NULL;
148457f4436SAndrii Nakryiko }
149457f4436SAndrii Nakryiko
bpf_ringbuf_notify(struct irq_work * work)150457f4436SAndrii Nakryiko static void bpf_ringbuf_notify(struct irq_work *work)
151457f4436SAndrii Nakryiko {
152457f4436SAndrii Nakryiko struct bpf_ringbuf *rb = container_of(work, struct bpf_ringbuf, work);
153457f4436SAndrii Nakryiko
154457f4436SAndrii Nakryiko wake_up_all(&rb->waitq);
155457f4436SAndrii Nakryiko }
156457f4436SAndrii Nakryiko
157cf6eeb8fSHou Tao /* Maximum size of ring buffer area is limited by 32-bit page offset within
158cf6eeb8fSHou Tao * record header, counted in pages. Reserve 8 bits for extensibility, and
159cf6eeb8fSHou Tao * take into account few extra pages for consumer/producer pages and
160cf6eeb8fSHou Tao * non-mmap()'able parts, the current maximum size would be:
161cf6eeb8fSHou Tao *
162cf6eeb8fSHou Tao * (((1ULL << 24) - RINGBUF_POS_PAGES - RINGBUF_PGOFF) * PAGE_SIZE)
163cf6eeb8fSHou Tao *
164cf6eeb8fSHou Tao * This gives 64GB limit, which seems plenty for single ring buffer. Now
165cf6eeb8fSHou Tao * considering that the maximum value of data_sz is (4GB - 1), there
166cf6eeb8fSHou Tao * will be no overflow, so just note the size limit in the comments.
167cf6eeb8fSHou Tao */
bpf_ringbuf_alloc(size_t data_sz,int numa_node)168457f4436SAndrii Nakryiko static struct bpf_ringbuf *bpf_ringbuf_alloc(size_t data_sz, int numa_node)
169457f4436SAndrii Nakryiko {
170457f4436SAndrii Nakryiko struct bpf_ringbuf *rb;
171457f4436SAndrii Nakryiko
172457f4436SAndrii Nakryiko rb = bpf_ringbuf_area_alloc(data_sz, numa_node);
173457f4436SAndrii Nakryiko if (!rb)
174abbdd081SRoman Gushchin return NULL;
175457f4436SAndrii Nakryiko
176*f9543375SWander Lairson Costa raw_spin_lock_init(&rb->spinlock);
17720571567SDavid Vernet atomic_set(&rb->busy, 0);
178457f4436SAndrii Nakryiko init_waitqueue_head(&rb->waitq);
179457f4436SAndrii Nakryiko init_irq_work(&rb->work, bpf_ringbuf_notify);
180457f4436SAndrii Nakryiko
181457f4436SAndrii Nakryiko rb->mask = data_sz - 1;
182457f4436SAndrii Nakryiko rb->consumer_pos = 0;
183457f4436SAndrii Nakryiko rb->producer_pos = 0;
184511804abSDaniel Borkmann rb->pending_pos = 0;
185457f4436SAndrii Nakryiko
186457f4436SAndrii Nakryiko return rb;
187457f4436SAndrii Nakryiko }
188457f4436SAndrii Nakryiko
ringbuf_map_alloc(union bpf_attr * attr)189457f4436SAndrii Nakryiko static struct bpf_map *ringbuf_map_alloc(union bpf_attr *attr)
190457f4436SAndrii Nakryiko {
191457f4436SAndrii Nakryiko struct bpf_ringbuf_map *rb_map;
192457f4436SAndrii Nakryiko
193457f4436SAndrii Nakryiko if (attr->map_flags & ~RINGBUF_CREATE_FLAG_MASK)
194457f4436SAndrii Nakryiko return ERR_PTR(-EINVAL);
195457f4436SAndrii Nakryiko
196457f4436SAndrii Nakryiko if (attr->key_size || attr->value_size ||
197517bbe19SAndrii Nakryiko !is_power_of_2(attr->max_entries) ||
198517bbe19SAndrii Nakryiko !PAGE_ALIGNED(attr->max_entries))
199457f4436SAndrii Nakryiko return ERR_PTR(-EINVAL);
200457f4436SAndrii Nakryiko
20173cf09a3SYafang Shao rb_map = bpf_map_area_alloc(sizeof(*rb_map), NUMA_NO_NODE);
202457f4436SAndrii Nakryiko if (!rb_map)
203457f4436SAndrii Nakryiko return ERR_PTR(-ENOMEM);
204457f4436SAndrii Nakryiko
205457f4436SAndrii Nakryiko bpf_map_init_from_attr(&rb_map->map, attr);
206457f4436SAndrii Nakryiko
207457f4436SAndrii Nakryiko rb_map->rb = bpf_ringbuf_alloc(attr->max_entries, rb_map->map.numa_node);
208abbdd081SRoman Gushchin if (!rb_map->rb) {
20973cf09a3SYafang Shao bpf_map_area_free(rb_map);
210abbdd081SRoman Gushchin return ERR_PTR(-ENOMEM);
211457f4436SAndrii Nakryiko }
212457f4436SAndrii Nakryiko
213457f4436SAndrii Nakryiko return &rb_map->map;
214457f4436SAndrii Nakryiko }
215457f4436SAndrii Nakryiko
bpf_ringbuf_free(struct bpf_ringbuf * rb)216457f4436SAndrii Nakryiko static void bpf_ringbuf_free(struct bpf_ringbuf *rb)
217457f4436SAndrii Nakryiko {
218457f4436SAndrii Nakryiko /* copy pages pointer and nr_pages to local variable, as we are going
219457f4436SAndrii Nakryiko * to unmap rb itself with vunmap() below
220457f4436SAndrii Nakryiko */
221457f4436SAndrii Nakryiko struct page **pages = rb->pages;
222457f4436SAndrii Nakryiko int i, nr_pages = rb->nr_pages;
223457f4436SAndrii Nakryiko
224457f4436SAndrii Nakryiko vunmap(rb);
225457f4436SAndrii Nakryiko for (i = 0; i < nr_pages; i++)
226457f4436SAndrii Nakryiko __free_page(pages[i]);
2278f58ee54SYafang Shao bpf_map_area_free(pages);
228457f4436SAndrii Nakryiko }
229457f4436SAndrii Nakryiko
ringbuf_map_free(struct bpf_map * map)230457f4436SAndrii Nakryiko static void ringbuf_map_free(struct bpf_map *map)
231457f4436SAndrii Nakryiko {
232457f4436SAndrii Nakryiko struct bpf_ringbuf_map *rb_map;
233457f4436SAndrii Nakryiko
234457f4436SAndrii Nakryiko rb_map = container_of(map, struct bpf_ringbuf_map, map);
235457f4436SAndrii Nakryiko bpf_ringbuf_free(rb_map->rb);
23673cf09a3SYafang Shao bpf_map_area_free(rb_map);
237457f4436SAndrii Nakryiko }
238457f4436SAndrii Nakryiko
ringbuf_map_lookup_elem(struct bpf_map * map,void * key)239457f4436SAndrii Nakryiko static void *ringbuf_map_lookup_elem(struct bpf_map *map, void *key)
240457f4436SAndrii Nakryiko {
241457f4436SAndrii Nakryiko return ERR_PTR(-ENOTSUPP);
242457f4436SAndrii Nakryiko }
243457f4436SAndrii Nakryiko
ringbuf_map_update_elem(struct bpf_map * map,void * key,void * value,u64 flags)244d7ba4cc9SJP Kobryn static long ringbuf_map_update_elem(struct bpf_map *map, void *key, void *value,
245457f4436SAndrii Nakryiko u64 flags)
246457f4436SAndrii Nakryiko {
247457f4436SAndrii Nakryiko return -ENOTSUPP;
248457f4436SAndrii Nakryiko }
249457f4436SAndrii Nakryiko
ringbuf_map_delete_elem(struct bpf_map * map,void * key)250d7ba4cc9SJP Kobryn static long ringbuf_map_delete_elem(struct bpf_map *map, void *key)
251457f4436SAndrii Nakryiko {
252457f4436SAndrii Nakryiko return -ENOTSUPP;
253457f4436SAndrii Nakryiko }
254457f4436SAndrii Nakryiko
ringbuf_map_get_next_key(struct bpf_map * map,void * key,void * next_key)255457f4436SAndrii Nakryiko static int ringbuf_map_get_next_key(struct bpf_map *map, void *key,
256457f4436SAndrii Nakryiko void *next_key)
257457f4436SAndrii Nakryiko {
258457f4436SAndrii Nakryiko return -ENOTSUPP;
259457f4436SAndrii Nakryiko }
260457f4436SAndrii Nakryiko
ringbuf_map_mmap_kern(struct bpf_map * map,struct vm_area_struct * vma)261583c1f42SDavid Vernet static int ringbuf_map_mmap_kern(struct bpf_map *map, struct vm_area_struct *vma)
262457f4436SAndrii Nakryiko {
263457f4436SAndrii Nakryiko struct bpf_ringbuf_map *rb_map;
264457f4436SAndrii Nakryiko
265457f4436SAndrii Nakryiko rb_map = container_of(map, struct bpf_ringbuf_map, map);
266457f4436SAndrii Nakryiko
26704ea3086SAndrii Nakryiko if (vma->vm_flags & VM_WRITE) {
26804ea3086SAndrii Nakryiko /* allow writable mapping for the consumer_pos only */
26904ea3086SAndrii Nakryiko if (vma->vm_pgoff != 0 || vma->vm_end - vma->vm_start != PAGE_SIZE)
27004ea3086SAndrii Nakryiko return -EPERM;
27104ea3086SAndrii Nakryiko }
27204ea3086SAndrii Nakryiko /* remap_vmalloc_range() checks size and offset constraints */
273457f4436SAndrii Nakryiko return remap_vmalloc_range(vma, rb_map->rb,
274457f4436SAndrii Nakryiko vma->vm_pgoff + RINGBUF_PGOFF);
275457f4436SAndrii Nakryiko }
276457f4436SAndrii Nakryiko
ringbuf_map_mmap_user(struct bpf_map * map,struct vm_area_struct * vma)277583c1f42SDavid Vernet static int ringbuf_map_mmap_user(struct bpf_map *map, struct vm_area_struct *vma)
278583c1f42SDavid Vernet {
279583c1f42SDavid Vernet struct bpf_ringbuf_map *rb_map;
280583c1f42SDavid Vernet
281583c1f42SDavid Vernet rb_map = container_of(map, struct bpf_ringbuf_map, map);
282583c1f42SDavid Vernet
283583c1f42SDavid Vernet if (vma->vm_flags & VM_WRITE) {
284583c1f42SDavid Vernet if (vma->vm_pgoff == 0)
285583c1f42SDavid Vernet /* Disallow writable mappings to the consumer pointer,
286583c1f42SDavid Vernet * and allow writable mappings to both the producer
287583c1f42SDavid Vernet * position, and the ring buffer data itself.
288583c1f42SDavid Vernet */
289583c1f42SDavid Vernet return -EPERM;
290583c1f42SDavid Vernet }
291583c1f42SDavid Vernet /* remap_vmalloc_range() checks size and offset constraints */
292583c1f42SDavid Vernet return remap_vmalloc_range(vma, rb_map->rb, vma->vm_pgoff + RINGBUF_PGOFF);
293583c1f42SDavid Vernet }
294583c1f42SDavid Vernet
ringbuf_avail_data_sz(struct bpf_ringbuf * rb)295457f4436SAndrii Nakryiko static unsigned long ringbuf_avail_data_sz(struct bpf_ringbuf *rb)
296457f4436SAndrii Nakryiko {
297457f4436SAndrii Nakryiko unsigned long cons_pos, prod_pos;
298457f4436SAndrii Nakryiko
299457f4436SAndrii Nakryiko cons_pos = smp_load_acquire(&rb->consumer_pos);
300457f4436SAndrii Nakryiko prod_pos = smp_load_acquire(&rb->producer_pos);
301457f4436SAndrii Nakryiko return prod_pos - cons_pos;
302457f4436SAndrii Nakryiko }
303457f4436SAndrii Nakryiko
ringbuf_total_data_sz(const struct bpf_ringbuf * rb)30420571567SDavid Vernet static u32 ringbuf_total_data_sz(const struct bpf_ringbuf *rb)
30520571567SDavid Vernet {
30620571567SDavid Vernet return rb->mask + 1;
30720571567SDavid Vernet }
30820571567SDavid Vernet
ringbuf_map_poll_kern(struct bpf_map * map,struct file * filp,struct poll_table_struct * pts)30920571567SDavid Vernet static __poll_t ringbuf_map_poll_kern(struct bpf_map *map, struct file *filp,
310457f4436SAndrii Nakryiko struct poll_table_struct *pts)
311457f4436SAndrii Nakryiko {
312457f4436SAndrii Nakryiko struct bpf_ringbuf_map *rb_map;
313457f4436SAndrii Nakryiko
314457f4436SAndrii Nakryiko rb_map = container_of(map, struct bpf_ringbuf_map, map);
315457f4436SAndrii Nakryiko poll_wait(filp, &rb_map->rb->waitq, pts);
316457f4436SAndrii Nakryiko
317457f4436SAndrii Nakryiko if (ringbuf_avail_data_sz(rb_map->rb))
318457f4436SAndrii Nakryiko return EPOLLIN | EPOLLRDNORM;
319457f4436SAndrii Nakryiko return 0;
320457f4436SAndrii Nakryiko }
321457f4436SAndrii Nakryiko
ringbuf_map_poll_user(struct bpf_map * map,struct file * filp,struct poll_table_struct * pts)32220571567SDavid Vernet static __poll_t ringbuf_map_poll_user(struct bpf_map *map, struct file *filp,
32320571567SDavid Vernet struct poll_table_struct *pts)
32420571567SDavid Vernet {
32520571567SDavid Vernet struct bpf_ringbuf_map *rb_map;
32620571567SDavid Vernet
32720571567SDavid Vernet rb_map = container_of(map, struct bpf_ringbuf_map, map);
32820571567SDavid Vernet poll_wait(filp, &rb_map->rb->waitq, pts);
32920571567SDavid Vernet
33020571567SDavid Vernet if (ringbuf_avail_data_sz(rb_map->rb) < ringbuf_total_data_sz(rb_map->rb))
33120571567SDavid Vernet return EPOLLOUT | EPOLLWRNORM;
33220571567SDavid Vernet return 0;
33320571567SDavid Vernet }
33420571567SDavid Vernet
ringbuf_map_mem_usage(const struct bpf_map * map)3352f7e4ab2SYafang Shao static u64 ringbuf_map_mem_usage(const struct bpf_map *map)
3362f7e4ab2SYafang Shao {
3372f7e4ab2SYafang Shao struct bpf_ringbuf *rb;
3382f7e4ab2SYafang Shao int nr_data_pages;
3392f7e4ab2SYafang Shao int nr_meta_pages;
3402f7e4ab2SYafang Shao u64 usage = sizeof(struct bpf_ringbuf_map);
3412f7e4ab2SYafang Shao
3422f7e4ab2SYafang Shao rb = container_of(map, struct bpf_ringbuf_map, map)->rb;
3432f7e4ab2SYafang Shao usage += (u64)rb->nr_pages << PAGE_SHIFT;
3442f7e4ab2SYafang Shao nr_meta_pages = RINGBUF_NR_META_PAGES;
3452f7e4ab2SYafang Shao nr_data_pages = map->max_entries >> PAGE_SHIFT;
3462f7e4ab2SYafang Shao usage += (nr_meta_pages + 2 * nr_data_pages) * sizeof(struct page *);
3472f7e4ab2SYafang Shao return usage;
3482f7e4ab2SYafang Shao }
3492f7e4ab2SYafang Shao
350c317ab71SMenglong Dong BTF_ID_LIST_SINGLE(ringbuf_map_btf_ids, struct, bpf_ringbuf_map)
351457f4436SAndrii Nakryiko const struct bpf_map_ops ringbuf_map_ops = {
352f4d05259SMartin KaFai Lau .map_meta_equal = bpf_map_meta_equal,
353457f4436SAndrii Nakryiko .map_alloc = ringbuf_map_alloc,
354457f4436SAndrii Nakryiko .map_free = ringbuf_map_free,
355583c1f42SDavid Vernet .map_mmap = ringbuf_map_mmap_kern,
35620571567SDavid Vernet .map_poll = ringbuf_map_poll_kern,
357457f4436SAndrii Nakryiko .map_lookup_elem = ringbuf_map_lookup_elem,
358457f4436SAndrii Nakryiko .map_update_elem = ringbuf_map_update_elem,
359457f4436SAndrii Nakryiko .map_delete_elem = ringbuf_map_delete_elem,
360457f4436SAndrii Nakryiko .map_get_next_key = ringbuf_map_get_next_key,
3612f7e4ab2SYafang Shao .map_mem_usage = ringbuf_map_mem_usage,
362c317ab71SMenglong Dong .map_btf_id = &ringbuf_map_btf_ids[0],
363457f4436SAndrii Nakryiko };
364457f4436SAndrii Nakryiko
365583c1f42SDavid Vernet BTF_ID_LIST_SINGLE(user_ringbuf_map_btf_ids, struct, bpf_ringbuf_map)
366583c1f42SDavid Vernet const struct bpf_map_ops user_ringbuf_map_ops = {
367583c1f42SDavid Vernet .map_meta_equal = bpf_map_meta_equal,
368583c1f42SDavid Vernet .map_alloc = ringbuf_map_alloc,
369583c1f42SDavid Vernet .map_free = ringbuf_map_free,
370583c1f42SDavid Vernet .map_mmap = ringbuf_map_mmap_user,
37120571567SDavid Vernet .map_poll = ringbuf_map_poll_user,
372583c1f42SDavid Vernet .map_lookup_elem = ringbuf_map_lookup_elem,
373583c1f42SDavid Vernet .map_update_elem = ringbuf_map_update_elem,
374583c1f42SDavid Vernet .map_delete_elem = ringbuf_map_delete_elem,
375583c1f42SDavid Vernet .map_get_next_key = ringbuf_map_get_next_key,
3762f7e4ab2SYafang Shao .map_mem_usage = ringbuf_map_mem_usage,
377583c1f42SDavid Vernet .map_btf_id = &user_ringbuf_map_btf_ids[0],
378583c1f42SDavid Vernet };
379583c1f42SDavid Vernet
380457f4436SAndrii Nakryiko /* Given pointer to ring buffer record metadata and struct bpf_ringbuf itself,
381457f4436SAndrii Nakryiko * calculate offset from record metadata to ring buffer in pages, rounded
382457f4436SAndrii Nakryiko * down. This page offset is stored as part of record metadata and allows to
383457f4436SAndrii Nakryiko * restore struct bpf_ringbuf * from record pointer. This page offset is
384457f4436SAndrii Nakryiko * stored at offset 4 of record metadata header.
385457f4436SAndrii Nakryiko */
bpf_ringbuf_rec_pg_off(struct bpf_ringbuf * rb,struct bpf_ringbuf_hdr * hdr)386457f4436SAndrii Nakryiko static size_t bpf_ringbuf_rec_pg_off(struct bpf_ringbuf *rb,
387457f4436SAndrii Nakryiko struct bpf_ringbuf_hdr *hdr)
388457f4436SAndrii Nakryiko {
389457f4436SAndrii Nakryiko return ((void *)hdr - (void *)rb) >> PAGE_SHIFT;
390457f4436SAndrii Nakryiko }
391457f4436SAndrii Nakryiko
392457f4436SAndrii Nakryiko /* Given pointer to ring buffer record header, restore pointer to struct
393457f4436SAndrii Nakryiko * bpf_ringbuf itself by using page offset stored at offset 4
394457f4436SAndrii Nakryiko */
395457f4436SAndrii Nakryiko static struct bpf_ringbuf *
bpf_ringbuf_restore_from_rec(struct bpf_ringbuf_hdr * hdr)396457f4436SAndrii Nakryiko bpf_ringbuf_restore_from_rec(struct bpf_ringbuf_hdr *hdr)
397457f4436SAndrii Nakryiko {
398457f4436SAndrii Nakryiko unsigned long addr = (unsigned long)(void *)hdr;
399457f4436SAndrii Nakryiko unsigned long off = (unsigned long)hdr->pg_off << PAGE_SHIFT;
400457f4436SAndrii Nakryiko
401457f4436SAndrii Nakryiko return (void*)((addr & PAGE_MASK) - off);
402457f4436SAndrii Nakryiko }
403457f4436SAndrii Nakryiko
__bpf_ringbuf_reserve(struct bpf_ringbuf * rb,u64 size)404457f4436SAndrii Nakryiko static void *__bpf_ringbuf_reserve(struct bpf_ringbuf *rb, u64 size)
405457f4436SAndrii Nakryiko {
406511804abSDaniel Borkmann unsigned long cons_pos, prod_pos, new_prod_pos, pend_pos, flags;
407457f4436SAndrii Nakryiko struct bpf_ringbuf_hdr *hdr;
408511804abSDaniel Borkmann u32 len, pg_off, tmp_size, hdr_len;
409457f4436SAndrii Nakryiko
410457f4436SAndrii Nakryiko if (unlikely(size > RINGBUF_MAX_RECORD_SZ))
411457f4436SAndrii Nakryiko return NULL;
412457f4436SAndrii Nakryiko
413457f4436SAndrii Nakryiko len = round_up(size + BPF_RINGBUF_HDR_SZ, 8);
41420571567SDavid Vernet if (len > ringbuf_total_data_sz(rb))
4154b81ccebSThadeu Lima de Souza Cascardo return NULL;
4164b81ccebSThadeu Lima de Souza Cascardo
417457f4436SAndrii Nakryiko cons_pos = smp_load_acquire(&rb->consumer_pos);
418457f4436SAndrii Nakryiko
419457f4436SAndrii Nakryiko if (in_nmi()) {
420*f9543375SWander Lairson Costa if (!raw_spin_trylock_irqsave(&rb->spinlock, flags))
421457f4436SAndrii Nakryiko return NULL;
422457f4436SAndrii Nakryiko } else {
423*f9543375SWander Lairson Costa raw_spin_lock_irqsave(&rb->spinlock, flags);
424457f4436SAndrii Nakryiko }
425457f4436SAndrii Nakryiko
426511804abSDaniel Borkmann pend_pos = rb->pending_pos;
427457f4436SAndrii Nakryiko prod_pos = rb->producer_pos;
428457f4436SAndrii Nakryiko new_prod_pos = prod_pos + len;
429457f4436SAndrii Nakryiko
430511804abSDaniel Borkmann while (pend_pos < prod_pos) {
431511804abSDaniel Borkmann hdr = (void *)rb->data + (pend_pos & rb->mask);
432511804abSDaniel Borkmann hdr_len = READ_ONCE(hdr->len);
433511804abSDaniel Borkmann if (hdr_len & BPF_RINGBUF_BUSY_BIT)
434511804abSDaniel Borkmann break;
435511804abSDaniel Borkmann tmp_size = hdr_len & ~BPF_RINGBUF_DISCARD_BIT;
436511804abSDaniel Borkmann tmp_size = round_up(tmp_size + BPF_RINGBUF_HDR_SZ, 8);
437511804abSDaniel Borkmann pend_pos += tmp_size;
438511804abSDaniel Borkmann }
439511804abSDaniel Borkmann rb->pending_pos = pend_pos;
440511804abSDaniel Borkmann
441511804abSDaniel Borkmann /* check for out of ringbuf space:
442511804abSDaniel Borkmann * - by ensuring producer position doesn't advance more than
443511804abSDaniel Borkmann * (ringbuf_size - 1) ahead
444511804abSDaniel Borkmann * - by ensuring oldest not yet committed record until newest
445511804abSDaniel Borkmann * record does not span more than (ringbuf_size - 1)
446457f4436SAndrii Nakryiko */
447511804abSDaniel Borkmann if (new_prod_pos - cons_pos > rb->mask ||
448511804abSDaniel Borkmann new_prod_pos - pend_pos > rb->mask) {
449*f9543375SWander Lairson Costa raw_spin_unlock_irqrestore(&rb->spinlock, flags);
450457f4436SAndrii Nakryiko return NULL;
451457f4436SAndrii Nakryiko }
452457f4436SAndrii Nakryiko
453457f4436SAndrii Nakryiko hdr = (void *)rb->data + (prod_pos & rb->mask);
454457f4436SAndrii Nakryiko pg_off = bpf_ringbuf_rec_pg_off(rb, hdr);
455457f4436SAndrii Nakryiko hdr->len = size | BPF_RINGBUF_BUSY_BIT;
456457f4436SAndrii Nakryiko hdr->pg_off = pg_off;
457457f4436SAndrii Nakryiko
458457f4436SAndrii Nakryiko /* pairs with consumer's smp_load_acquire() */
459457f4436SAndrii Nakryiko smp_store_release(&rb->producer_pos, new_prod_pos);
460457f4436SAndrii Nakryiko
461*f9543375SWander Lairson Costa raw_spin_unlock_irqrestore(&rb->spinlock, flags);
462457f4436SAndrii Nakryiko
463457f4436SAndrii Nakryiko return (void *)hdr + BPF_RINGBUF_HDR_SZ;
464457f4436SAndrii Nakryiko }
465457f4436SAndrii Nakryiko
BPF_CALL_3(bpf_ringbuf_reserve,struct bpf_map *,map,u64,size,u64,flags)466457f4436SAndrii Nakryiko BPF_CALL_3(bpf_ringbuf_reserve, struct bpf_map *, map, u64, size, u64, flags)
467457f4436SAndrii Nakryiko {
468457f4436SAndrii Nakryiko struct bpf_ringbuf_map *rb_map;
469457f4436SAndrii Nakryiko
470457f4436SAndrii Nakryiko if (unlikely(flags))
471457f4436SAndrii Nakryiko return 0;
472457f4436SAndrii Nakryiko
473457f4436SAndrii Nakryiko rb_map = container_of(map, struct bpf_ringbuf_map, map);
474457f4436SAndrii Nakryiko return (unsigned long)__bpf_ringbuf_reserve(rb_map->rb, size);
475457f4436SAndrii Nakryiko }
476457f4436SAndrii Nakryiko
477457f4436SAndrii Nakryiko const struct bpf_func_proto bpf_ringbuf_reserve_proto = {
478457f4436SAndrii Nakryiko .func = bpf_ringbuf_reserve,
479894f2a8bSKumar Kartikeya Dwivedi .ret_type = RET_PTR_TO_RINGBUF_MEM_OR_NULL,
480457f4436SAndrii Nakryiko .arg1_type = ARG_CONST_MAP_PTR,
481457f4436SAndrii Nakryiko .arg2_type = ARG_CONST_ALLOC_SIZE_OR_ZERO,
482457f4436SAndrii Nakryiko .arg3_type = ARG_ANYTHING,
483457f4436SAndrii Nakryiko };
484457f4436SAndrii Nakryiko
bpf_ringbuf_commit(void * sample,u64 flags,bool discard)485457f4436SAndrii Nakryiko static void bpf_ringbuf_commit(void *sample, u64 flags, bool discard)
486457f4436SAndrii Nakryiko {
487457f4436SAndrii Nakryiko unsigned long rec_pos, cons_pos;
488457f4436SAndrii Nakryiko struct bpf_ringbuf_hdr *hdr;
489457f4436SAndrii Nakryiko struct bpf_ringbuf *rb;
490457f4436SAndrii Nakryiko u32 new_len;
491457f4436SAndrii Nakryiko
492457f4436SAndrii Nakryiko hdr = sample - BPF_RINGBUF_HDR_SZ;
493457f4436SAndrii Nakryiko rb = bpf_ringbuf_restore_from_rec(hdr);
494457f4436SAndrii Nakryiko new_len = hdr->len ^ BPF_RINGBUF_BUSY_BIT;
495457f4436SAndrii Nakryiko if (discard)
496457f4436SAndrii Nakryiko new_len |= BPF_RINGBUF_DISCARD_BIT;
497457f4436SAndrii Nakryiko
498457f4436SAndrii Nakryiko /* update record header with correct final size prefix */
499457f4436SAndrii Nakryiko xchg(&hdr->len, new_len);
500457f4436SAndrii Nakryiko
501457f4436SAndrii Nakryiko /* if consumer caught up and is waiting for our record, notify about
502457f4436SAndrii Nakryiko * new data availability
503457f4436SAndrii Nakryiko */
504457f4436SAndrii Nakryiko rec_pos = (void *)hdr - (void *)rb->data;
505457f4436SAndrii Nakryiko cons_pos = smp_load_acquire(&rb->consumer_pos) & rb->mask;
506457f4436SAndrii Nakryiko
507457f4436SAndrii Nakryiko if (flags & BPF_RB_FORCE_WAKEUP)
508457f4436SAndrii Nakryiko irq_work_queue(&rb->work);
509457f4436SAndrii Nakryiko else if (cons_pos == rec_pos && !(flags & BPF_RB_NO_WAKEUP))
510457f4436SAndrii Nakryiko irq_work_queue(&rb->work);
511457f4436SAndrii Nakryiko }
512457f4436SAndrii Nakryiko
BPF_CALL_2(bpf_ringbuf_submit,void *,sample,u64,flags)513457f4436SAndrii Nakryiko BPF_CALL_2(bpf_ringbuf_submit, void *, sample, u64, flags)
514457f4436SAndrii Nakryiko {
515457f4436SAndrii Nakryiko bpf_ringbuf_commit(sample, flags, false /* discard */);
516457f4436SAndrii Nakryiko return 0;
517457f4436SAndrii Nakryiko }
518457f4436SAndrii Nakryiko
519457f4436SAndrii Nakryiko const struct bpf_func_proto bpf_ringbuf_submit_proto = {
520457f4436SAndrii Nakryiko .func = bpf_ringbuf_submit,
521457f4436SAndrii Nakryiko .ret_type = RET_VOID,
522894f2a8bSKumar Kartikeya Dwivedi .arg1_type = ARG_PTR_TO_RINGBUF_MEM | OBJ_RELEASE,
523457f4436SAndrii Nakryiko .arg2_type = ARG_ANYTHING,
524457f4436SAndrii Nakryiko };
525457f4436SAndrii Nakryiko
BPF_CALL_2(bpf_ringbuf_discard,void *,sample,u64,flags)526457f4436SAndrii Nakryiko BPF_CALL_2(bpf_ringbuf_discard, void *, sample, u64, flags)
527457f4436SAndrii Nakryiko {
528457f4436SAndrii Nakryiko bpf_ringbuf_commit(sample, flags, true /* discard */);
529457f4436SAndrii Nakryiko return 0;
530457f4436SAndrii Nakryiko }
531457f4436SAndrii Nakryiko
532457f4436SAndrii Nakryiko const struct bpf_func_proto bpf_ringbuf_discard_proto = {
533457f4436SAndrii Nakryiko .func = bpf_ringbuf_discard,
534457f4436SAndrii Nakryiko .ret_type = RET_VOID,
535894f2a8bSKumar Kartikeya Dwivedi .arg1_type = ARG_PTR_TO_RINGBUF_MEM | OBJ_RELEASE,
536457f4436SAndrii Nakryiko .arg2_type = ARG_ANYTHING,
537457f4436SAndrii Nakryiko };
538457f4436SAndrii Nakryiko
BPF_CALL_4(bpf_ringbuf_output,struct bpf_map *,map,void *,data,u64,size,u64,flags)539457f4436SAndrii Nakryiko BPF_CALL_4(bpf_ringbuf_output, struct bpf_map *, map, void *, data, u64, size,
540457f4436SAndrii Nakryiko u64, flags)
541457f4436SAndrii Nakryiko {
542457f4436SAndrii Nakryiko struct bpf_ringbuf_map *rb_map;
543457f4436SAndrii Nakryiko void *rec;
544457f4436SAndrii Nakryiko
545457f4436SAndrii Nakryiko if (unlikely(flags & ~(BPF_RB_NO_WAKEUP | BPF_RB_FORCE_WAKEUP)))
546457f4436SAndrii Nakryiko return -EINVAL;
547457f4436SAndrii Nakryiko
548457f4436SAndrii Nakryiko rb_map = container_of(map, struct bpf_ringbuf_map, map);
549457f4436SAndrii Nakryiko rec = __bpf_ringbuf_reserve(rb_map->rb, size);
550457f4436SAndrii Nakryiko if (!rec)
551457f4436SAndrii Nakryiko return -EAGAIN;
552457f4436SAndrii Nakryiko
553457f4436SAndrii Nakryiko memcpy(rec, data, size);
554457f4436SAndrii Nakryiko bpf_ringbuf_commit(rec, flags, false /* discard */);
555457f4436SAndrii Nakryiko return 0;
556457f4436SAndrii Nakryiko }
557457f4436SAndrii Nakryiko
558457f4436SAndrii Nakryiko const struct bpf_func_proto bpf_ringbuf_output_proto = {
559457f4436SAndrii Nakryiko .func = bpf_ringbuf_output,
560457f4436SAndrii Nakryiko .ret_type = RET_INTEGER,
561457f4436SAndrii Nakryiko .arg1_type = ARG_CONST_MAP_PTR,
562216e3cd2SHao Luo .arg2_type = ARG_PTR_TO_MEM | MEM_RDONLY,
563457f4436SAndrii Nakryiko .arg3_type = ARG_CONST_SIZE_OR_ZERO,
564457f4436SAndrii Nakryiko .arg4_type = ARG_ANYTHING,
565457f4436SAndrii Nakryiko };
566457f4436SAndrii Nakryiko
BPF_CALL_2(bpf_ringbuf_query,struct bpf_map *,map,u64,flags)567457f4436SAndrii Nakryiko BPF_CALL_2(bpf_ringbuf_query, struct bpf_map *, map, u64, flags)
568457f4436SAndrii Nakryiko {
569457f4436SAndrii Nakryiko struct bpf_ringbuf *rb;
570457f4436SAndrii Nakryiko
571457f4436SAndrii Nakryiko rb = container_of(map, struct bpf_ringbuf_map, map)->rb;
572457f4436SAndrii Nakryiko
573457f4436SAndrii Nakryiko switch (flags) {
574457f4436SAndrii Nakryiko case BPF_RB_AVAIL_DATA:
575457f4436SAndrii Nakryiko return ringbuf_avail_data_sz(rb);
576457f4436SAndrii Nakryiko case BPF_RB_RING_SIZE:
57720571567SDavid Vernet return ringbuf_total_data_sz(rb);
578457f4436SAndrii Nakryiko case BPF_RB_CONS_POS:
579457f4436SAndrii Nakryiko return smp_load_acquire(&rb->consumer_pos);
580457f4436SAndrii Nakryiko case BPF_RB_PROD_POS:
581457f4436SAndrii Nakryiko return smp_load_acquire(&rb->producer_pos);
582457f4436SAndrii Nakryiko default:
583457f4436SAndrii Nakryiko return 0;
584457f4436SAndrii Nakryiko }
585457f4436SAndrii Nakryiko }
586457f4436SAndrii Nakryiko
587457f4436SAndrii Nakryiko const struct bpf_func_proto bpf_ringbuf_query_proto = {
588457f4436SAndrii Nakryiko .func = bpf_ringbuf_query,
589457f4436SAndrii Nakryiko .ret_type = RET_INTEGER,
590457f4436SAndrii Nakryiko .arg1_type = ARG_CONST_MAP_PTR,
591457f4436SAndrii Nakryiko .arg2_type = ARG_ANYTHING,
592457f4436SAndrii Nakryiko };
593bc34dee6SJoanne Koong
BPF_CALL_4(bpf_ringbuf_reserve_dynptr,struct bpf_map *,map,u32,size,u64,flags,struct bpf_dynptr_kern *,ptr)594bc34dee6SJoanne Koong BPF_CALL_4(bpf_ringbuf_reserve_dynptr, struct bpf_map *, map, u32, size, u64, flags,
595bc34dee6SJoanne Koong struct bpf_dynptr_kern *, ptr)
596bc34dee6SJoanne Koong {
597bc34dee6SJoanne Koong struct bpf_ringbuf_map *rb_map;
598bc34dee6SJoanne Koong void *sample;
599bc34dee6SJoanne Koong int err;
600bc34dee6SJoanne Koong
601bc34dee6SJoanne Koong if (unlikely(flags)) {
602bc34dee6SJoanne Koong bpf_dynptr_set_null(ptr);
603bc34dee6SJoanne Koong return -EINVAL;
604bc34dee6SJoanne Koong }
605bc34dee6SJoanne Koong
606bc34dee6SJoanne Koong err = bpf_dynptr_check_size(size);
607bc34dee6SJoanne Koong if (err) {
608bc34dee6SJoanne Koong bpf_dynptr_set_null(ptr);
609bc34dee6SJoanne Koong return err;
610bc34dee6SJoanne Koong }
611bc34dee6SJoanne Koong
612bc34dee6SJoanne Koong rb_map = container_of(map, struct bpf_ringbuf_map, map);
613bc34dee6SJoanne Koong
614bc34dee6SJoanne Koong sample = __bpf_ringbuf_reserve(rb_map->rb, size);
615bc34dee6SJoanne Koong if (!sample) {
616bc34dee6SJoanne Koong bpf_dynptr_set_null(ptr);
617bc34dee6SJoanne Koong return -EINVAL;
618bc34dee6SJoanne Koong }
619bc34dee6SJoanne Koong
620bc34dee6SJoanne Koong bpf_dynptr_init(ptr, sample, BPF_DYNPTR_TYPE_RINGBUF, 0, size);
621bc34dee6SJoanne Koong
622bc34dee6SJoanne Koong return 0;
623bc34dee6SJoanne Koong }
624bc34dee6SJoanne Koong
625bc34dee6SJoanne Koong const struct bpf_func_proto bpf_ringbuf_reserve_dynptr_proto = {
626bc34dee6SJoanne Koong .func = bpf_ringbuf_reserve_dynptr,
627bc34dee6SJoanne Koong .ret_type = RET_INTEGER,
628bc34dee6SJoanne Koong .arg1_type = ARG_CONST_MAP_PTR,
629bc34dee6SJoanne Koong .arg2_type = ARG_ANYTHING,
630bc34dee6SJoanne Koong .arg3_type = ARG_ANYTHING,
6318a33a047SDaniel Borkmann .arg4_type = ARG_PTR_TO_DYNPTR | DYNPTR_TYPE_RINGBUF | MEM_UNINIT | MEM_WRITE,
632bc34dee6SJoanne Koong };
633bc34dee6SJoanne Koong
BPF_CALL_2(bpf_ringbuf_submit_dynptr,struct bpf_dynptr_kern *,ptr,u64,flags)634bc34dee6SJoanne Koong BPF_CALL_2(bpf_ringbuf_submit_dynptr, struct bpf_dynptr_kern *, ptr, u64, flags)
635bc34dee6SJoanne Koong {
636bc34dee6SJoanne Koong if (!ptr->data)
637bc34dee6SJoanne Koong return 0;
638bc34dee6SJoanne Koong
639bc34dee6SJoanne Koong bpf_ringbuf_commit(ptr->data, flags, false /* discard */);
640bc34dee6SJoanne Koong
641bc34dee6SJoanne Koong bpf_dynptr_set_null(ptr);
642bc34dee6SJoanne Koong
643bc34dee6SJoanne Koong return 0;
644bc34dee6SJoanne Koong }
645bc34dee6SJoanne Koong
646bc34dee6SJoanne Koong const struct bpf_func_proto bpf_ringbuf_submit_dynptr_proto = {
647bc34dee6SJoanne Koong .func = bpf_ringbuf_submit_dynptr,
648bc34dee6SJoanne Koong .ret_type = RET_VOID,
649bc34dee6SJoanne Koong .arg1_type = ARG_PTR_TO_DYNPTR | DYNPTR_TYPE_RINGBUF | OBJ_RELEASE,
650bc34dee6SJoanne Koong .arg2_type = ARG_ANYTHING,
651bc34dee6SJoanne Koong };
652bc34dee6SJoanne Koong
BPF_CALL_2(bpf_ringbuf_discard_dynptr,struct bpf_dynptr_kern *,ptr,u64,flags)653bc34dee6SJoanne Koong BPF_CALL_2(bpf_ringbuf_discard_dynptr, struct bpf_dynptr_kern *, ptr, u64, flags)
654bc34dee6SJoanne Koong {
655bc34dee6SJoanne Koong if (!ptr->data)
656bc34dee6SJoanne Koong return 0;
657bc34dee6SJoanne Koong
658bc34dee6SJoanne Koong bpf_ringbuf_commit(ptr->data, flags, true /* discard */);
659bc34dee6SJoanne Koong
660bc34dee6SJoanne Koong bpf_dynptr_set_null(ptr);
661bc34dee6SJoanne Koong
662bc34dee6SJoanne Koong return 0;
663bc34dee6SJoanne Koong }
664bc34dee6SJoanne Koong
665bc34dee6SJoanne Koong const struct bpf_func_proto bpf_ringbuf_discard_dynptr_proto = {
666bc34dee6SJoanne Koong .func = bpf_ringbuf_discard_dynptr,
667bc34dee6SJoanne Koong .ret_type = RET_VOID,
668bc34dee6SJoanne Koong .arg1_type = ARG_PTR_TO_DYNPTR | DYNPTR_TYPE_RINGBUF | OBJ_RELEASE,
669bc34dee6SJoanne Koong .arg2_type = ARG_ANYTHING,
670bc34dee6SJoanne Koong };
67120571567SDavid Vernet
__bpf_user_ringbuf_peek(struct bpf_ringbuf * rb,void ** sample,u32 * size)67220571567SDavid Vernet static int __bpf_user_ringbuf_peek(struct bpf_ringbuf *rb, void **sample, u32 *size)
67320571567SDavid Vernet {
67420571567SDavid Vernet int err;
67520571567SDavid Vernet u32 hdr_len, sample_len, total_len, flags, *hdr;
67620571567SDavid Vernet u64 cons_pos, prod_pos;
67720571567SDavid Vernet
67820571567SDavid Vernet /* Synchronizes with smp_store_release() in user-space producer. */
67920571567SDavid Vernet prod_pos = smp_load_acquire(&rb->producer_pos);
68020571567SDavid Vernet if (prod_pos % 8)
68120571567SDavid Vernet return -EINVAL;
68220571567SDavid Vernet
68320571567SDavid Vernet /* Synchronizes with smp_store_release() in __bpf_user_ringbuf_sample_release() */
68420571567SDavid Vernet cons_pos = smp_load_acquire(&rb->consumer_pos);
68520571567SDavid Vernet if (cons_pos >= prod_pos)
68620571567SDavid Vernet return -ENODATA;
68720571567SDavid Vernet
68820571567SDavid Vernet hdr = (u32 *)((uintptr_t)rb->data + (uintptr_t)(cons_pos & rb->mask));
68920571567SDavid Vernet /* Synchronizes with smp_store_release() in user-space producer. */
69020571567SDavid Vernet hdr_len = smp_load_acquire(hdr);
69120571567SDavid Vernet flags = hdr_len & (BPF_RINGBUF_BUSY_BIT | BPF_RINGBUF_DISCARD_BIT);
69220571567SDavid Vernet sample_len = hdr_len & ~flags;
69320571567SDavid Vernet total_len = round_up(sample_len + BPF_RINGBUF_HDR_SZ, 8);
69420571567SDavid Vernet
69520571567SDavid Vernet /* The sample must fit within the region advertised by the producer position. */
69620571567SDavid Vernet if (total_len > prod_pos - cons_pos)
69720571567SDavid Vernet return -EINVAL;
69820571567SDavid Vernet
69920571567SDavid Vernet /* The sample must fit within the data region of the ring buffer. */
70020571567SDavid Vernet if (total_len > ringbuf_total_data_sz(rb))
70120571567SDavid Vernet return -E2BIG;
70220571567SDavid Vernet
70320571567SDavid Vernet /* The sample must fit into a struct bpf_dynptr. */
70420571567SDavid Vernet err = bpf_dynptr_check_size(sample_len);
70520571567SDavid Vernet if (err)
70620571567SDavid Vernet return -E2BIG;
70720571567SDavid Vernet
70820571567SDavid Vernet if (flags & BPF_RINGBUF_DISCARD_BIT) {
70920571567SDavid Vernet /* If the discard bit is set, the sample should be skipped.
71020571567SDavid Vernet *
71120571567SDavid Vernet * Update the consumer pos, and return -EAGAIN so the caller
71220571567SDavid Vernet * knows to skip this sample and try to read the next one.
71320571567SDavid Vernet */
71420571567SDavid Vernet smp_store_release(&rb->consumer_pos, cons_pos + total_len);
71520571567SDavid Vernet return -EAGAIN;
71620571567SDavid Vernet }
71720571567SDavid Vernet
71820571567SDavid Vernet if (flags & BPF_RINGBUF_BUSY_BIT)
71920571567SDavid Vernet return -ENODATA;
72020571567SDavid Vernet
72120571567SDavid Vernet *sample = (void *)((uintptr_t)rb->data +
72220571567SDavid Vernet (uintptr_t)((cons_pos + BPF_RINGBUF_HDR_SZ) & rb->mask));
72320571567SDavid Vernet *size = sample_len;
72420571567SDavid Vernet return 0;
72520571567SDavid Vernet }
72620571567SDavid Vernet
__bpf_user_ringbuf_sample_release(struct bpf_ringbuf * rb,size_t size,u64 flags)72720571567SDavid Vernet static void __bpf_user_ringbuf_sample_release(struct bpf_ringbuf *rb, size_t size, u64 flags)
72820571567SDavid Vernet {
72920571567SDavid Vernet u64 consumer_pos;
73020571567SDavid Vernet u32 rounded_size = round_up(size + BPF_RINGBUF_HDR_SZ, 8);
73120571567SDavid Vernet
73220571567SDavid Vernet /* Using smp_load_acquire() is unnecessary here, as the busy-bit
73320571567SDavid Vernet * prevents another task from writing to consumer_pos after it was read
73420571567SDavid Vernet * by this task with smp_load_acquire() in __bpf_user_ringbuf_peek().
73520571567SDavid Vernet */
73620571567SDavid Vernet consumer_pos = rb->consumer_pos;
73720571567SDavid Vernet /* Synchronizes with smp_load_acquire() in user-space producer. */
73820571567SDavid Vernet smp_store_release(&rb->consumer_pos, consumer_pos + rounded_size);
73920571567SDavid Vernet }
74020571567SDavid Vernet
BPF_CALL_4(bpf_user_ringbuf_drain,struct bpf_map *,map,void *,callback_fn,void *,callback_ctx,u64,flags)74120571567SDavid Vernet BPF_CALL_4(bpf_user_ringbuf_drain, struct bpf_map *, map,
74220571567SDavid Vernet void *, callback_fn, void *, callback_ctx, u64, flags)
74320571567SDavid Vernet {
74420571567SDavid Vernet struct bpf_ringbuf *rb;
74520571567SDavid Vernet long samples, discarded_samples = 0, ret = 0;
74620571567SDavid Vernet bpf_callback_t callback = (bpf_callback_t)callback_fn;
74720571567SDavid Vernet u64 wakeup_flags = BPF_RB_NO_WAKEUP | BPF_RB_FORCE_WAKEUP;
74820571567SDavid Vernet int busy = 0;
74920571567SDavid Vernet
75020571567SDavid Vernet if (unlikely(flags & ~wakeup_flags))
75120571567SDavid Vernet return -EINVAL;
75220571567SDavid Vernet
75320571567SDavid Vernet rb = container_of(map, struct bpf_ringbuf_map, map)->rb;
75420571567SDavid Vernet
75520571567SDavid Vernet /* If another consumer is already consuming a sample, wait for them to finish. */
75620571567SDavid Vernet if (!atomic_try_cmpxchg(&rb->busy, &busy, 1))
75720571567SDavid Vernet return -EBUSY;
75820571567SDavid Vernet
75920571567SDavid Vernet for (samples = 0; samples < BPF_MAX_USER_RINGBUF_SAMPLES && ret == 0; samples++) {
76020571567SDavid Vernet int err;
76120571567SDavid Vernet u32 size;
76220571567SDavid Vernet void *sample;
76320571567SDavid Vernet struct bpf_dynptr_kern dynptr;
76420571567SDavid Vernet
76520571567SDavid Vernet err = __bpf_user_ringbuf_peek(rb, &sample, &size);
76620571567SDavid Vernet if (err) {
76720571567SDavid Vernet if (err == -ENODATA) {
76820571567SDavid Vernet break;
76920571567SDavid Vernet } else if (err == -EAGAIN) {
77020571567SDavid Vernet discarded_samples++;
77120571567SDavid Vernet continue;
77220571567SDavid Vernet } else {
77320571567SDavid Vernet ret = err;
77420571567SDavid Vernet goto schedule_work_return;
77520571567SDavid Vernet }
77620571567SDavid Vernet }
77720571567SDavid Vernet
77820571567SDavid Vernet bpf_dynptr_init(&dynptr, sample, BPF_DYNPTR_TYPE_LOCAL, 0, size);
77920571567SDavid Vernet ret = callback((uintptr_t)&dynptr, (uintptr_t)callback_ctx, 0, 0, 0);
78020571567SDavid Vernet __bpf_user_ringbuf_sample_release(rb, size, flags);
78120571567SDavid Vernet }
78220571567SDavid Vernet ret = samples - discarded_samples;
78320571567SDavid Vernet
78420571567SDavid Vernet schedule_work_return:
78520571567SDavid Vernet /* Prevent the clearing of the busy-bit from being reordered before the
78620571567SDavid Vernet * storing of any rb consumer or producer positions.
78720571567SDavid Vernet */
78820571567SDavid Vernet smp_mb__before_atomic();
78920571567SDavid Vernet atomic_set(&rb->busy, 0);
79020571567SDavid Vernet
79120571567SDavid Vernet if (flags & BPF_RB_FORCE_WAKEUP)
79220571567SDavid Vernet irq_work_queue(&rb->work);
79320571567SDavid Vernet else if (!(flags & BPF_RB_NO_WAKEUP) && samples > 0)
79420571567SDavid Vernet irq_work_queue(&rb->work);
79520571567SDavid Vernet return ret;
79620571567SDavid Vernet }
79720571567SDavid Vernet
79820571567SDavid Vernet const struct bpf_func_proto bpf_user_ringbuf_drain_proto = {
79920571567SDavid Vernet .func = bpf_user_ringbuf_drain,
80020571567SDavid Vernet .ret_type = RET_INTEGER,
80120571567SDavid Vernet .arg1_type = ARG_CONST_MAP_PTR,
80220571567SDavid Vernet .arg2_type = ARG_PTR_TO_FUNC,
80320571567SDavid Vernet .arg3_type = ARG_PTR_TO_STACK_OR_NULL,
80420571567SDavid Vernet .arg4_type = ARG_ANYTHING,
80520571567SDavid Vernet };
806