1 // SPDX-License-Identifier: GPL-2.0-only
2 /* Copyright (c) 2011-2014 PLUMgrid, http://plumgrid.com
3 * Copyright (c) 2016,2017 Facebook
8 #include <linux/slab.h>
10 #include <linux/filter.h>
11 #include <linux/perf_event.h>
12 #include <uapi/linux/btf.h>
14 #include "map_in_map.h"
16 #define ARRAY_CREATE_FLAG_MASK \
17 (BPF_F_NUMA_NODE | BPF_F_MMAPABLE | BPF_F_ACCESS_MASK)
19 static void bpf_array_free_percpu(struct bpf_array
*array
)
23 for (i
= 0; i
< array
->map
.max_entries
; i
++) {
24 free_percpu(array
->pptrs
[i
]);
29 static int bpf_array_alloc_percpu(struct bpf_array
*array
)
34 for (i
= 0; i
< array
->map
.max_entries
; i
++) {
35 ptr
= __alloc_percpu_gfp(array
->elem_size
, 8,
36 GFP_USER
| __GFP_NOWARN
);
38 bpf_array_free_percpu(array
);
41 array
->pptrs
[i
] = ptr
;
48 /* Called from syscall */
49 int array_map_alloc_check(union bpf_attr
*attr
)
51 bool percpu
= attr
->map_type
== BPF_MAP_TYPE_PERCPU_ARRAY
;
52 int numa_node
= bpf_map_attr_numa_node(attr
);
54 /* check sanity of attributes */
55 if (attr
->max_entries
== 0 || attr
->key_size
!= 4 ||
56 attr
->value_size
== 0 ||
57 attr
->map_flags
& ~ARRAY_CREATE_FLAG_MASK
||
58 !bpf_map_flags_access_ok(attr
->map_flags
) ||
59 (percpu
&& numa_node
!= NUMA_NO_NODE
))
62 if (attr
->map_type
!= BPF_MAP_TYPE_ARRAY
&&
63 attr
->map_flags
& BPF_F_MMAPABLE
)
66 if (attr
->value_size
> KMALLOC_MAX_SIZE
)
67 /* if value_size is bigger, the user space won't be able to
68 * access the elements.
75 static struct bpf_map
*array_map_alloc(union bpf_attr
*attr
)
77 bool percpu
= attr
->map_type
== BPF_MAP_TYPE_PERCPU_ARRAY
;
78 int ret
, numa_node
= bpf_map_attr_numa_node(attr
);
79 u32 elem_size
, index_mask
, max_entries
;
80 bool bypass_spec_v1
= bpf_bypass_spec_v1();
81 u64 cost
, array_size
, mask64
;
82 struct bpf_map_memory mem
;
83 struct bpf_array
*array
;
85 elem_size
= round_up(attr
->value_size
, 8);
87 max_entries
= attr
->max_entries
;
89 /* On 32 bit archs roundup_pow_of_two() with max_entries that has
90 * upper most bit set in u32 space is undefined behavior due to
91 * resulting 1U << 32, so do it manually here in u64 space.
93 mask64
= fls_long(max_entries
- 1);
94 mask64
= 1ULL << mask64
;
98 if (!bypass_spec_v1
) {
99 /* round up array size to nearest power of 2,
100 * since cpu will speculate within index_mask limits
102 max_entries
= index_mask
+ 1;
103 /* Check for overflows. */
104 if (max_entries
< attr
->max_entries
)
105 return ERR_PTR(-E2BIG
);
108 array_size
= sizeof(*array
);
110 array_size
+= (u64
) max_entries
* sizeof(void *);
112 /* rely on vmalloc() to return page-aligned memory and
113 * ensure array->value is exactly page-aligned
115 if (attr
->map_flags
& BPF_F_MMAPABLE
) {
116 array_size
= PAGE_ALIGN(array_size
);
117 array_size
+= PAGE_ALIGN((u64
) max_entries
* elem_size
);
119 array_size
+= (u64
) max_entries
* elem_size
;
123 /* make sure there is no u32 overflow later in round_up() */
126 cost
+= (u64
)attr
->max_entries
* elem_size
* num_possible_cpus();
128 ret
= bpf_map_charge_init(&mem
, cost
);
132 /* allocate all map elements and zero-initialize them */
133 if (attr
->map_flags
& BPF_F_MMAPABLE
) {
136 /* kmalloc'ed memory can't be mmap'ed, use explicit vmalloc */
137 data
= bpf_map_area_mmapable_alloc(array_size
, numa_node
);
139 bpf_map_charge_finish(&mem
);
140 return ERR_PTR(-ENOMEM
);
142 array
= data
+ PAGE_ALIGN(sizeof(struct bpf_array
))
143 - offsetof(struct bpf_array
, value
);
145 array
= bpf_map_area_alloc(array_size
, numa_node
);
148 bpf_map_charge_finish(&mem
);
149 return ERR_PTR(-ENOMEM
);
151 array
->index_mask
= index_mask
;
152 array
->map
.bypass_spec_v1
= bypass_spec_v1
;
154 /* copy mandatory map attributes */
155 bpf_map_init_from_attr(&array
->map
, attr
);
156 bpf_map_charge_move(&array
->map
.memory
, &mem
);
157 array
->elem_size
= elem_size
;
159 if (percpu
&& bpf_array_alloc_percpu(array
)) {
160 bpf_map_charge_finish(&array
->map
.memory
);
161 bpf_map_area_free(array
);
162 return ERR_PTR(-ENOMEM
);
168 /* Called from syscall or from eBPF program */
169 static void *array_map_lookup_elem(struct bpf_map
*map
, void *key
)
171 struct bpf_array
*array
= container_of(map
, struct bpf_array
, map
);
172 u32 index
= *(u32
*)key
;
174 if (unlikely(index
>= array
->map
.max_entries
))
177 return array
->value
+ array
->elem_size
* (index
& array
->index_mask
);
180 static int array_map_direct_value_addr(const struct bpf_map
*map
, u64
*imm
,
183 struct bpf_array
*array
= container_of(map
, struct bpf_array
, map
);
185 if (map
->max_entries
!= 1)
187 if (off
>= map
->value_size
)
190 *imm
= (unsigned long)array
->value
;
194 static int array_map_direct_value_meta(const struct bpf_map
*map
, u64 imm
,
197 struct bpf_array
*array
= container_of(map
, struct bpf_array
, map
);
198 u64 base
= (unsigned long)array
->value
;
199 u64 range
= array
->elem_size
;
201 if (map
->max_entries
!= 1)
203 if (imm
< base
|| imm
>= base
+ range
)
210 /* emit BPF instructions equivalent to C code of array_map_lookup_elem() */
211 static u32
array_map_gen_lookup(struct bpf_map
*map
, struct bpf_insn
*insn_buf
)
213 struct bpf_array
*array
= container_of(map
, struct bpf_array
, map
);
214 struct bpf_insn
*insn
= insn_buf
;
215 u32 elem_size
= round_up(map
->value_size
, 8);
216 const int ret
= BPF_REG_0
;
217 const int map_ptr
= BPF_REG_1
;
218 const int index
= BPF_REG_2
;
220 *insn
++ = BPF_ALU64_IMM(BPF_ADD
, map_ptr
, offsetof(struct bpf_array
, value
));
221 *insn
++ = BPF_LDX_MEM(BPF_W
, ret
, index
, 0);
222 if (!map
->bypass_spec_v1
) {
223 *insn
++ = BPF_JMP_IMM(BPF_JGE
, ret
, map
->max_entries
, 4);
224 *insn
++ = BPF_ALU32_IMM(BPF_AND
, ret
, array
->index_mask
);
226 *insn
++ = BPF_JMP_IMM(BPF_JGE
, ret
, map
->max_entries
, 3);
229 if (is_power_of_2(elem_size
)) {
230 *insn
++ = BPF_ALU64_IMM(BPF_LSH
, ret
, ilog2(elem_size
));
232 *insn
++ = BPF_ALU64_IMM(BPF_MUL
, ret
, elem_size
);
234 *insn
++ = BPF_ALU64_REG(BPF_ADD
, ret
, map_ptr
);
235 *insn
++ = BPF_JMP_IMM(BPF_JA
, 0, 0, 1);
236 *insn
++ = BPF_MOV64_IMM(ret
, 0);
237 return insn
- insn_buf
;
240 /* Called from eBPF program */
241 static void *percpu_array_map_lookup_elem(struct bpf_map
*map
, void *key
)
243 struct bpf_array
*array
= container_of(map
, struct bpf_array
, map
);
244 u32 index
= *(u32
*)key
;
246 if (unlikely(index
>= array
->map
.max_entries
))
249 return this_cpu_ptr(array
->pptrs
[index
& array
->index_mask
]);
252 int bpf_percpu_array_copy(struct bpf_map
*map
, void *key
, void *value
)
254 struct bpf_array
*array
= container_of(map
, struct bpf_array
, map
);
255 u32 index
= *(u32
*)key
;
260 if (unlikely(index
>= array
->map
.max_entries
))
263 /* per_cpu areas are zero-filled and bpf programs can only
264 * access 'value_size' of them, so copying rounded areas
265 * will not leak any kernel data
267 size
= round_up(map
->value_size
, 8);
269 pptr
= array
->pptrs
[index
& array
->index_mask
];
270 for_each_possible_cpu(cpu
) {
271 bpf_long_memcpy(value
+ off
, per_cpu_ptr(pptr
, cpu
), size
);
278 /* Called from syscall */
279 static int array_map_get_next_key(struct bpf_map
*map
, void *key
, void *next_key
)
281 struct bpf_array
*array
= container_of(map
, struct bpf_array
, map
);
282 u32 index
= key
? *(u32
*)key
: U32_MAX
;
283 u32
*next
= (u32
*)next_key
;
285 if (index
>= array
->map
.max_entries
) {
290 if (index
== array
->map
.max_entries
- 1)
297 /* Called from syscall or from eBPF program */
298 static int array_map_update_elem(struct bpf_map
*map
, void *key
, void *value
,
301 struct bpf_array
*array
= container_of(map
, struct bpf_array
, map
);
302 u32 index
= *(u32
*)key
;
305 if (unlikely((map_flags
& ~BPF_F_LOCK
) > BPF_EXIST
))
309 if (unlikely(index
>= array
->map
.max_entries
))
310 /* all elements were pre-allocated, cannot insert a new one */
313 if (unlikely(map_flags
& BPF_NOEXIST
))
314 /* all elements already exist */
317 if (unlikely((map_flags
& BPF_F_LOCK
) &&
318 !map_value_has_spin_lock(map
)))
321 if (array
->map
.map_type
== BPF_MAP_TYPE_PERCPU_ARRAY
) {
322 memcpy(this_cpu_ptr(array
->pptrs
[index
& array
->index_mask
]),
323 value
, map
->value_size
);
326 array
->elem_size
* (index
& array
->index_mask
);
327 if (map_flags
& BPF_F_LOCK
)
328 copy_map_value_locked(map
, val
, value
, false);
330 copy_map_value(map
, val
, value
);
335 int bpf_percpu_array_update(struct bpf_map
*map
, void *key
, void *value
,
338 struct bpf_array
*array
= container_of(map
, struct bpf_array
, map
);
339 u32 index
= *(u32
*)key
;
344 if (unlikely(map_flags
> BPF_EXIST
))
348 if (unlikely(index
>= array
->map
.max_entries
))
349 /* all elements were pre-allocated, cannot insert a new one */
352 if (unlikely(map_flags
== BPF_NOEXIST
))
353 /* all elements already exist */
356 /* the user space will provide round_up(value_size, 8) bytes that
357 * will be copied into per-cpu area. bpf programs can only access
358 * value_size of it. During lookup the same extra bytes will be
359 * returned or zeros which were zero-filled by percpu_alloc,
360 * so no kernel data leaks possible
362 size
= round_up(map
->value_size
, 8);
364 pptr
= array
->pptrs
[index
& array
->index_mask
];
365 for_each_possible_cpu(cpu
) {
366 bpf_long_memcpy(per_cpu_ptr(pptr
, cpu
), value
+ off
, size
);
373 /* Called from syscall or from eBPF program */
374 static int array_map_delete_elem(struct bpf_map
*map
, void *key
)
379 static void *array_map_vmalloc_addr(struct bpf_array
*array
)
381 return (void *)round_down((unsigned long)array
, PAGE_SIZE
);
384 /* Called when map->refcnt goes to zero, either from workqueue or from syscall */
385 static void array_map_free(struct bpf_map
*map
)
387 struct bpf_array
*array
= container_of(map
, struct bpf_array
, map
);
389 if (array
->map
.map_type
== BPF_MAP_TYPE_PERCPU_ARRAY
)
390 bpf_array_free_percpu(array
);
392 if (array
->map
.map_flags
& BPF_F_MMAPABLE
)
393 bpf_map_area_free(array_map_vmalloc_addr(array
));
395 bpf_map_area_free(array
);
398 static void array_map_seq_show_elem(struct bpf_map
*map
, void *key
,
405 value
= array_map_lookup_elem(map
, key
);
411 if (map
->btf_key_type_id
)
412 seq_printf(m
, "%u: ", *(u32
*)key
);
413 btf_type_seq_show(map
->btf
, map
->btf_value_type_id
, value
, m
);
419 static void percpu_array_map_seq_show_elem(struct bpf_map
*map
, void *key
,
422 struct bpf_array
*array
= container_of(map
, struct bpf_array
, map
);
423 u32 index
= *(u32
*)key
;
429 seq_printf(m
, "%u: {\n", *(u32
*)key
);
430 pptr
= array
->pptrs
[index
& array
->index_mask
];
431 for_each_possible_cpu(cpu
) {
432 seq_printf(m
, "\tcpu%d: ", cpu
);
433 btf_type_seq_show(map
->btf
, map
->btf_value_type_id
,
434 per_cpu_ptr(pptr
, cpu
), m
);
442 static int array_map_check_btf(const struct bpf_map
*map
,
443 const struct btf
*btf
,
444 const struct btf_type
*key_type
,
445 const struct btf_type
*value_type
)
449 /* One exception for keyless BTF: .bss/.data/.rodata map */
450 if (btf_type_is_void(key_type
)) {
451 if (map
->map_type
!= BPF_MAP_TYPE_ARRAY
||
452 map
->max_entries
!= 1)
455 if (BTF_INFO_KIND(value_type
->info
) != BTF_KIND_DATASEC
)
461 if (BTF_INFO_KIND(key_type
->info
) != BTF_KIND_INT
)
464 int_data
= *(u32
*)(key_type
+ 1);
465 /* bpf array can only take a u32 key. This check makes sure
466 * that the btf matches the attr used during map_create.
468 if (BTF_INT_BITS(int_data
) != 32 || BTF_INT_OFFSET(int_data
))
474 static int array_map_mmap(struct bpf_map
*map
, struct vm_area_struct
*vma
)
476 struct bpf_array
*array
= container_of(map
, struct bpf_array
, map
);
477 pgoff_t pgoff
= PAGE_ALIGN(sizeof(*array
)) >> PAGE_SHIFT
;
479 if (!(map
->map_flags
& BPF_F_MMAPABLE
))
482 if (vma
->vm_pgoff
* PAGE_SIZE
+ (vma
->vm_end
- vma
->vm_start
) >
483 PAGE_ALIGN((u64
)array
->map
.max_entries
* array
->elem_size
))
486 return remap_vmalloc_range(vma
, array_map_vmalloc_addr(array
),
487 vma
->vm_pgoff
+ pgoff
);
490 struct bpf_iter_seq_array_map_info
{
492 void *percpu_value_buf
;
496 static void *bpf_array_map_seq_start(struct seq_file
*seq
, loff_t
*pos
)
498 struct bpf_iter_seq_array_map_info
*info
= seq
->private;
499 struct bpf_map
*map
= info
->map
;
500 struct bpf_array
*array
;
503 if (info
->index
>= map
->max_entries
)
508 array
= container_of(map
, struct bpf_array
, map
);
509 index
= info
->index
& array
->index_mask
;
510 if (info
->percpu_value_buf
)
511 return array
->pptrs
[index
];
512 return array
->value
+ array
->elem_size
* index
;
515 static void *bpf_array_map_seq_next(struct seq_file
*seq
, void *v
, loff_t
*pos
)
517 struct bpf_iter_seq_array_map_info
*info
= seq
->private;
518 struct bpf_map
*map
= info
->map
;
519 struct bpf_array
*array
;
524 if (info
->index
>= map
->max_entries
)
527 array
= container_of(map
, struct bpf_array
, map
);
528 index
= info
->index
& array
->index_mask
;
529 if (info
->percpu_value_buf
)
530 return array
->pptrs
[index
];
531 return array
->value
+ array
->elem_size
* index
;
534 static int __bpf_array_map_seq_show(struct seq_file
*seq
, void *v
)
536 struct bpf_iter_seq_array_map_info
*info
= seq
->private;
537 struct bpf_iter__bpf_map_elem ctx
= {};
538 struct bpf_map
*map
= info
->map
;
539 struct bpf_iter_meta meta
;
540 struct bpf_prog
*prog
;
541 int off
= 0, cpu
= 0;
542 void __percpu
**pptr
;
546 prog
= bpf_iter_get_info(&meta
, v
== NULL
);
553 ctx
.key
= &info
->index
;
555 if (!info
->percpu_value_buf
) {
559 size
= round_up(map
->value_size
, 8);
560 for_each_possible_cpu(cpu
) {
561 bpf_long_memcpy(info
->percpu_value_buf
+ off
,
562 per_cpu_ptr(pptr
, cpu
),
566 ctx
.value
= info
->percpu_value_buf
;
570 return bpf_iter_run_prog(prog
, &ctx
);
573 static int bpf_array_map_seq_show(struct seq_file
*seq
, void *v
)
575 return __bpf_array_map_seq_show(seq
, v
);
578 static void bpf_array_map_seq_stop(struct seq_file
*seq
, void *v
)
581 (void)__bpf_array_map_seq_show(seq
, NULL
);
584 static int bpf_iter_init_array_map(void *priv_data
,
585 struct bpf_iter_aux_info
*aux
)
587 struct bpf_iter_seq_array_map_info
*seq_info
= priv_data
;
588 struct bpf_map
*map
= aux
->map
;
592 if (map
->map_type
== BPF_MAP_TYPE_PERCPU_ARRAY
) {
593 buf_size
= round_up(map
->value_size
, 8) * num_possible_cpus();
594 value_buf
= kmalloc(buf_size
, GFP_USER
| __GFP_NOWARN
);
598 seq_info
->percpu_value_buf
= value_buf
;
605 static void bpf_iter_fini_array_map(void *priv_data
)
607 struct bpf_iter_seq_array_map_info
*seq_info
= priv_data
;
609 kfree(seq_info
->percpu_value_buf
);
612 static const struct seq_operations bpf_array_map_seq_ops
= {
613 .start
= bpf_array_map_seq_start
,
614 .next
= bpf_array_map_seq_next
,
615 .stop
= bpf_array_map_seq_stop
,
616 .show
= bpf_array_map_seq_show
,
619 static const struct bpf_iter_seq_info iter_seq_info
= {
620 .seq_ops
= &bpf_array_map_seq_ops
,
621 .init_seq_private
= bpf_iter_init_array_map
,
622 .fini_seq_private
= bpf_iter_fini_array_map
,
623 .seq_priv_size
= sizeof(struct bpf_iter_seq_array_map_info
),
626 static int array_map_btf_id
;
627 const struct bpf_map_ops array_map_ops
= {
628 .map_alloc_check
= array_map_alloc_check
,
629 .map_alloc
= array_map_alloc
,
630 .map_free
= array_map_free
,
631 .map_get_next_key
= array_map_get_next_key
,
632 .map_lookup_elem
= array_map_lookup_elem
,
633 .map_update_elem
= array_map_update_elem
,
634 .map_delete_elem
= array_map_delete_elem
,
635 .map_gen_lookup
= array_map_gen_lookup
,
636 .map_direct_value_addr
= array_map_direct_value_addr
,
637 .map_direct_value_meta
= array_map_direct_value_meta
,
638 .map_mmap
= array_map_mmap
,
639 .map_seq_show_elem
= array_map_seq_show_elem
,
640 .map_check_btf
= array_map_check_btf
,
641 .map_lookup_batch
= generic_map_lookup_batch
,
642 .map_update_batch
= generic_map_update_batch
,
643 .map_btf_name
= "bpf_array",
644 .map_btf_id
= &array_map_btf_id
,
645 .iter_seq_info
= &iter_seq_info
,
648 static int percpu_array_map_btf_id
;
649 const struct bpf_map_ops percpu_array_map_ops
= {
650 .map_alloc_check
= array_map_alloc_check
,
651 .map_alloc
= array_map_alloc
,
652 .map_free
= array_map_free
,
653 .map_get_next_key
= array_map_get_next_key
,
654 .map_lookup_elem
= percpu_array_map_lookup_elem
,
655 .map_update_elem
= array_map_update_elem
,
656 .map_delete_elem
= array_map_delete_elem
,
657 .map_seq_show_elem
= percpu_array_map_seq_show_elem
,
658 .map_check_btf
= array_map_check_btf
,
659 .map_btf_name
= "bpf_array",
660 .map_btf_id
= &percpu_array_map_btf_id
,
661 .iter_seq_info
= &iter_seq_info
,
664 static int fd_array_map_alloc_check(union bpf_attr
*attr
)
666 /* only file descriptors can be stored in this type of map */
667 if (attr
->value_size
!= sizeof(u32
))
669 /* Program read-only/write-only not supported for special maps yet. */
670 if (attr
->map_flags
& (BPF_F_RDONLY_PROG
| BPF_F_WRONLY_PROG
))
672 return array_map_alloc_check(attr
);
675 static void fd_array_map_free(struct bpf_map
*map
)
677 struct bpf_array
*array
= container_of(map
, struct bpf_array
, map
);
680 /* make sure it's empty */
681 for (i
= 0; i
< array
->map
.max_entries
; i
++)
682 BUG_ON(array
->ptrs
[i
] != NULL
);
684 bpf_map_area_free(array
);
687 static void *fd_array_map_lookup_elem(struct bpf_map
*map
, void *key
)
689 return ERR_PTR(-EOPNOTSUPP
);
692 /* only called from syscall */
693 int bpf_fd_array_map_lookup_elem(struct bpf_map
*map
, void *key
, u32
*value
)
698 if (!map
->ops
->map_fd_sys_lookup_elem
)
702 elem
= array_map_lookup_elem(map
, key
);
703 if (elem
&& (ptr
= READ_ONCE(*elem
)))
704 *value
= map
->ops
->map_fd_sys_lookup_elem(ptr
);
712 /* only called from syscall */
713 int bpf_fd_array_map_update_elem(struct bpf_map
*map
, struct file
*map_file
,
714 void *key
, void *value
, u64 map_flags
)
716 struct bpf_array
*array
= container_of(map
, struct bpf_array
, map
);
717 void *new_ptr
, *old_ptr
;
718 u32 index
= *(u32
*)key
, ufd
;
720 if (map_flags
!= BPF_ANY
)
723 if (index
>= array
->map
.max_entries
)
727 new_ptr
= map
->ops
->map_fd_get_ptr(map
, map_file
, ufd
);
729 return PTR_ERR(new_ptr
);
731 if (map
->ops
->map_poke_run
) {
732 mutex_lock(&array
->aux
->poke_mutex
);
733 old_ptr
= xchg(array
->ptrs
+ index
, new_ptr
);
734 map
->ops
->map_poke_run(map
, index
, old_ptr
, new_ptr
);
735 mutex_unlock(&array
->aux
->poke_mutex
);
737 old_ptr
= xchg(array
->ptrs
+ index
, new_ptr
);
741 map
->ops
->map_fd_put_ptr(old_ptr
);
745 static int fd_array_map_delete_elem(struct bpf_map
*map
, void *key
)
747 struct bpf_array
*array
= container_of(map
, struct bpf_array
, map
);
749 u32 index
= *(u32
*)key
;
751 if (index
>= array
->map
.max_entries
)
754 if (map
->ops
->map_poke_run
) {
755 mutex_lock(&array
->aux
->poke_mutex
);
756 old_ptr
= xchg(array
->ptrs
+ index
, NULL
);
757 map
->ops
->map_poke_run(map
, index
, old_ptr
, NULL
);
758 mutex_unlock(&array
->aux
->poke_mutex
);
760 old_ptr
= xchg(array
->ptrs
+ index
, NULL
);
764 map
->ops
->map_fd_put_ptr(old_ptr
);
771 static void *prog_fd_array_get_ptr(struct bpf_map
*map
,
772 struct file
*map_file
, int fd
)
774 struct bpf_array
*array
= container_of(map
, struct bpf_array
, map
);
775 struct bpf_prog
*prog
= bpf_prog_get(fd
);
780 if (!bpf_prog_array_compatible(array
, prog
)) {
782 return ERR_PTR(-EINVAL
);
788 static void prog_fd_array_put_ptr(void *ptr
)
793 static u32
prog_fd_array_sys_lookup_elem(void *ptr
)
795 return ((struct bpf_prog
*)ptr
)->aux
->id
;
798 /* decrement refcnt of all bpf_progs that are stored in this map */
799 static void bpf_fd_array_map_clear(struct bpf_map
*map
)
801 struct bpf_array
*array
= container_of(map
, struct bpf_array
, map
);
804 for (i
= 0; i
< array
->map
.max_entries
; i
++)
805 fd_array_map_delete_elem(map
, &i
);
808 static void prog_array_map_seq_show_elem(struct bpf_map
*map
, void *key
,
816 elem
= array_map_lookup_elem(map
, key
);
818 ptr
= READ_ONCE(*elem
);
820 seq_printf(m
, "%u: ", *(u32
*)key
);
821 prog_id
= prog_fd_array_sys_lookup_elem(ptr
);
822 btf_type_seq_show(map
->btf
, map
->btf_value_type_id
,
831 struct prog_poke_elem
{
832 struct list_head list
;
833 struct bpf_prog_aux
*aux
;
836 static int prog_array_map_poke_track(struct bpf_map
*map
,
837 struct bpf_prog_aux
*prog_aux
)
839 struct prog_poke_elem
*elem
;
840 struct bpf_array_aux
*aux
;
843 aux
= container_of(map
, struct bpf_array
, map
)->aux
;
844 mutex_lock(&aux
->poke_mutex
);
845 list_for_each_entry(elem
, &aux
->poke_progs
, list
) {
846 if (elem
->aux
== prog_aux
)
850 elem
= kmalloc(sizeof(*elem
), GFP_KERNEL
);
856 INIT_LIST_HEAD(&elem
->list
);
857 /* We must track the program's aux info at this point in time
858 * since the program pointer itself may not be stable yet, see
859 * also comment in prog_array_map_poke_run().
861 elem
->aux
= prog_aux
;
863 list_add_tail(&elem
->list
, &aux
->poke_progs
);
865 mutex_unlock(&aux
->poke_mutex
);
869 static void prog_array_map_poke_untrack(struct bpf_map
*map
,
870 struct bpf_prog_aux
*prog_aux
)
872 struct prog_poke_elem
*elem
, *tmp
;
873 struct bpf_array_aux
*aux
;
875 aux
= container_of(map
, struct bpf_array
, map
)->aux
;
876 mutex_lock(&aux
->poke_mutex
);
877 list_for_each_entry_safe(elem
, tmp
, &aux
->poke_progs
, list
) {
878 if (elem
->aux
== prog_aux
) {
879 list_del_init(&elem
->list
);
884 mutex_unlock(&aux
->poke_mutex
);
887 static void prog_array_map_poke_run(struct bpf_map
*map
, u32 key
,
888 struct bpf_prog
*old
,
889 struct bpf_prog
*new)
891 struct prog_poke_elem
*elem
;
892 struct bpf_array_aux
*aux
;
894 aux
= container_of(map
, struct bpf_array
, map
)->aux
;
895 WARN_ON_ONCE(!mutex_is_locked(&aux
->poke_mutex
));
897 list_for_each_entry(elem
, &aux
->poke_progs
, list
) {
898 struct bpf_jit_poke_descriptor
*poke
;
901 for (i
= 0; i
< elem
->aux
->size_poke_tab
; i
++) {
902 poke
= &elem
->aux
->poke_tab
[i
];
904 /* Few things to be aware of:
906 * 1) We can only ever access aux in this context, but
907 * not aux->prog since it might not be stable yet and
908 * there could be danger of use after free otherwise.
909 * 2) Initially when we start tracking aux, the program
910 * is not JITed yet and also does not have a kallsyms
911 * entry. We skip these as poke->ip_stable is not
912 * active yet. The JIT will do the final fixup before
913 * setting it stable. The various poke->ip_stable are
914 * successively activated, so tail call updates can
915 * arrive from here while JIT is still finishing its
916 * final fixup for non-activated poke entries.
917 * 3) On program teardown, the program's kallsym entry gets
918 * removed out of RCU callback, but we can only untrack
919 * from sleepable context, therefore bpf_arch_text_poke()
920 * might not see that this is in BPF text section and
921 * bails out with -EINVAL. As these are unreachable since
922 * RCU grace period already passed, we simply skip them.
923 * 4) Also programs reaching refcount of zero while patching
924 * is in progress is okay since we're protected under
925 * poke_mutex and untrack the programs before the JIT
926 * buffer is freed. When we're still in the middle of
927 * patching and suddenly kallsyms entry of the program
928 * gets evicted, we just skip the rest which is fine due
930 * 5) Any other error happening below from bpf_arch_text_poke()
931 * is a unexpected bug.
933 if (!READ_ONCE(poke
->ip_stable
))
935 if (poke
->reason
!= BPF_POKE_REASON_TAIL_CALL
)
937 if (poke
->tail_call
.map
!= map
||
938 poke
->tail_call
.key
!= key
)
941 ret
= bpf_arch_text_poke(poke
->ip
, BPF_MOD_JUMP
,
942 old
? (u8
*)old
->bpf_func
+
943 poke
->adj_off
: NULL
,
944 new ? (u8
*)new->bpf_func
+
945 poke
->adj_off
: NULL
);
946 BUG_ON(ret
< 0 && ret
!= -EINVAL
);
951 static void prog_array_map_clear_deferred(struct work_struct
*work
)
953 struct bpf_map
*map
= container_of(work
, struct bpf_array_aux
,
955 bpf_fd_array_map_clear(map
);
959 static void prog_array_map_clear(struct bpf_map
*map
)
961 struct bpf_array_aux
*aux
= container_of(map
, struct bpf_array
,
964 schedule_work(&aux
->work
);
967 static struct bpf_map
*prog_array_map_alloc(union bpf_attr
*attr
)
969 struct bpf_array_aux
*aux
;
972 aux
= kzalloc(sizeof(*aux
), GFP_KERNEL
);
974 return ERR_PTR(-ENOMEM
);
976 INIT_WORK(&aux
->work
, prog_array_map_clear_deferred
);
977 INIT_LIST_HEAD(&aux
->poke_progs
);
978 mutex_init(&aux
->poke_mutex
);
980 map
= array_map_alloc(attr
);
986 container_of(map
, struct bpf_array
, map
)->aux
= aux
;
992 static void prog_array_map_free(struct bpf_map
*map
)
994 struct prog_poke_elem
*elem
, *tmp
;
995 struct bpf_array_aux
*aux
;
997 aux
= container_of(map
, struct bpf_array
, map
)->aux
;
998 list_for_each_entry_safe(elem
, tmp
, &aux
->poke_progs
, list
) {
999 list_del_init(&elem
->list
);
1003 fd_array_map_free(map
);
1006 static int prog_array_map_btf_id
;
1007 const struct bpf_map_ops prog_array_map_ops
= {
1008 .map_alloc_check
= fd_array_map_alloc_check
,
1009 .map_alloc
= prog_array_map_alloc
,
1010 .map_free
= prog_array_map_free
,
1011 .map_poke_track
= prog_array_map_poke_track
,
1012 .map_poke_untrack
= prog_array_map_poke_untrack
,
1013 .map_poke_run
= prog_array_map_poke_run
,
1014 .map_get_next_key
= array_map_get_next_key
,
1015 .map_lookup_elem
= fd_array_map_lookup_elem
,
1016 .map_delete_elem
= fd_array_map_delete_elem
,
1017 .map_fd_get_ptr
= prog_fd_array_get_ptr
,
1018 .map_fd_put_ptr
= prog_fd_array_put_ptr
,
1019 .map_fd_sys_lookup_elem
= prog_fd_array_sys_lookup_elem
,
1020 .map_release_uref
= prog_array_map_clear
,
1021 .map_seq_show_elem
= prog_array_map_seq_show_elem
,
1022 .map_btf_name
= "bpf_array",
1023 .map_btf_id
= &prog_array_map_btf_id
,
1026 static struct bpf_event_entry
*bpf_event_entry_gen(struct file
*perf_file
,
1027 struct file
*map_file
)
1029 struct bpf_event_entry
*ee
;
1031 ee
= kzalloc(sizeof(*ee
), GFP_ATOMIC
);
1033 ee
->event
= perf_file
->private_data
;
1034 ee
->perf_file
= perf_file
;
1035 ee
->map_file
= map_file
;
1041 static void __bpf_event_entry_free(struct rcu_head
*rcu
)
1043 struct bpf_event_entry
*ee
;
1045 ee
= container_of(rcu
, struct bpf_event_entry
, rcu
);
1046 fput(ee
->perf_file
);
1050 static void bpf_event_entry_free_rcu(struct bpf_event_entry
*ee
)
1052 call_rcu(&ee
->rcu
, __bpf_event_entry_free
);
1055 static void *perf_event_fd_array_get_ptr(struct bpf_map
*map
,
1056 struct file
*map_file
, int fd
)
1058 struct bpf_event_entry
*ee
;
1059 struct perf_event
*event
;
1060 struct file
*perf_file
;
1063 perf_file
= perf_event_get(fd
);
1064 if (IS_ERR(perf_file
))
1067 ee
= ERR_PTR(-EOPNOTSUPP
);
1068 event
= perf_file
->private_data
;
1069 if (perf_event_read_local(event
, &value
, NULL
, NULL
) == -EOPNOTSUPP
)
1072 ee
= bpf_event_entry_gen(perf_file
, map_file
);
1075 ee
= ERR_PTR(-ENOMEM
);
1081 static void perf_event_fd_array_put_ptr(void *ptr
)
1083 bpf_event_entry_free_rcu(ptr
);
1086 static void perf_event_fd_array_release(struct bpf_map
*map
,
1087 struct file
*map_file
)
1089 struct bpf_array
*array
= container_of(map
, struct bpf_array
, map
);
1090 struct bpf_event_entry
*ee
;
1094 for (i
= 0; i
< array
->map
.max_entries
; i
++) {
1095 ee
= READ_ONCE(array
->ptrs
[i
]);
1096 if (ee
&& ee
->map_file
== map_file
)
1097 fd_array_map_delete_elem(map
, &i
);
1102 static int perf_event_array_map_btf_id
;
1103 const struct bpf_map_ops perf_event_array_map_ops
= {
1104 .map_alloc_check
= fd_array_map_alloc_check
,
1105 .map_alloc
= array_map_alloc
,
1106 .map_free
= fd_array_map_free
,
1107 .map_get_next_key
= array_map_get_next_key
,
1108 .map_lookup_elem
= fd_array_map_lookup_elem
,
1109 .map_delete_elem
= fd_array_map_delete_elem
,
1110 .map_fd_get_ptr
= perf_event_fd_array_get_ptr
,
1111 .map_fd_put_ptr
= perf_event_fd_array_put_ptr
,
1112 .map_release
= perf_event_fd_array_release
,
1113 .map_check_btf
= map_check_no_btf
,
1114 .map_btf_name
= "bpf_array",
1115 .map_btf_id
= &perf_event_array_map_btf_id
,
1118 #ifdef CONFIG_CGROUPS
1119 static void *cgroup_fd_array_get_ptr(struct bpf_map
*map
,
1120 struct file
*map_file
/* not used */,
1123 return cgroup_get_from_fd(fd
);
1126 static void cgroup_fd_array_put_ptr(void *ptr
)
1128 /* cgroup_put free cgrp after a rcu grace period */
1132 static void cgroup_fd_array_free(struct bpf_map
*map
)
1134 bpf_fd_array_map_clear(map
);
1135 fd_array_map_free(map
);
1138 static int cgroup_array_map_btf_id
;
1139 const struct bpf_map_ops cgroup_array_map_ops
= {
1140 .map_alloc_check
= fd_array_map_alloc_check
,
1141 .map_alloc
= array_map_alloc
,
1142 .map_free
= cgroup_fd_array_free
,
1143 .map_get_next_key
= array_map_get_next_key
,
1144 .map_lookup_elem
= fd_array_map_lookup_elem
,
1145 .map_delete_elem
= fd_array_map_delete_elem
,
1146 .map_fd_get_ptr
= cgroup_fd_array_get_ptr
,
1147 .map_fd_put_ptr
= cgroup_fd_array_put_ptr
,
1148 .map_check_btf
= map_check_no_btf
,
1149 .map_btf_name
= "bpf_array",
1150 .map_btf_id
= &cgroup_array_map_btf_id
,
1154 static struct bpf_map
*array_of_map_alloc(union bpf_attr
*attr
)
1156 struct bpf_map
*map
, *inner_map_meta
;
1158 inner_map_meta
= bpf_map_meta_alloc(attr
->inner_map_fd
);
1159 if (IS_ERR(inner_map_meta
))
1160 return inner_map_meta
;
1162 map
= array_map_alloc(attr
);
1164 bpf_map_meta_free(inner_map_meta
);
1168 map
->inner_map_meta
= inner_map_meta
;
1173 static void array_of_map_free(struct bpf_map
*map
)
1175 /* map->inner_map_meta is only accessed by syscall which
1176 * is protected by fdget/fdput.
1178 bpf_map_meta_free(map
->inner_map_meta
);
1179 bpf_fd_array_map_clear(map
);
1180 fd_array_map_free(map
);
1183 static void *array_of_map_lookup_elem(struct bpf_map
*map
, void *key
)
1185 struct bpf_map
**inner_map
= array_map_lookup_elem(map
, key
);
1190 return READ_ONCE(*inner_map
);
1193 static u32
array_of_map_gen_lookup(struct bpf_map
*map
,
1194 struct bpf_insn
*insn_buf
)
1196 struct bpf_array
*array
= container_of(map
, struct bpf_array
, map
);
1197 u32 elem_size
= round_up(map
->value_size
, 8);
1198 struct bpf_insn
*insn
= insn_buf
;
1199 const int ret
= BPF_REG_0
;
1200 const int map_ptr
= BPF_REG_1
;
1201 const int index
= BPF_REG_2
;
1203 *insn
++ = BPF_ALU64_IMM(BPF_ADD
, map_ptr
, offsetof(struct bpf_array
, value
));
1204 *insn
++ = BPF_LDX_MEM(BPF_W
, ret
, index
, 0);
1205 if (!map
->bypass_spec_v1
) {
1206 *insn
++ = BPF_JMP_IMM(BPF_JGE
, ret
, map
->max_entries
, 6);
1207 *insn
++ = BPF_ALU32_IMM(BPF_AND
, ret
, array
->index_mask
);
1209 *insn
++ = BPF_JMP_IMM(BPF_JGE
, ret
, map
->max_entries
, 5);
1211 if (is_power_of_2(elem_size
))
1212 *insn
++ = BPF_ALU64_IMM(BPF_LSH
, ret
, ilog2(elem_size
));
1214 *insn
++ = BPF_ALU64_IMM(BPF_MUL
, ret
, elem_size
);
1215 *insn
++ = BPF_ALU64_REG(BPF_ADD
, ret
, map_ptr
);
1216 *insn
++ = BPF_LDX_MEM(BPF_DW
, ret
, ret
, 0);
1217 *insn
++ = BPF_JMP_IMM(BPF_JEQ
, ret
, 0, 1);
1218 *insn
++ = BPF_JMP_IMM(BPF_JA
, 0, 0, 1);
1219 *insn
++ = BPF_MOV64_IMM(ret
, 0);
1221 return insn
- insn_buf
;
1224 static int array_of_maps_map_btf_id
;
1225 const struct bpf_map_ops array_of_maps_map_ops
= {
1226 .map_alloc_check
= fd_array_map_alloc_check
,
1227 .map_alloc
= array_of_map_alloc
,
1228 .map_free
= array_of_map_free
,
1229 .map_get_next_key
= array_map_get_next_key
,
1230 .map_lookup_elem
= array_of_map_lookup_elem
,
1231 .map_delete_elem
= fd_array_map_delete_elem
,
1232 .map_fd_get_ptr
= bpf_map_fd_get_ptr
,
1233 .map_fd_put_ptr
= bpf_map_fd_put_ptr
,
1234 .map_fd_sys_lookup_elem
= bpf_map_fd_sys_lookup_elem
,
1235 .map_gen_lookup
= array_of_map_gen_lookup
,
1236 .map_check_btf
= map_check_no_btf
,
1237 .map_btf_name
= "bpf_array",
1238 .map_btf_id
= &array_of_maps_map_btf_id
,