xref: /linux-6.15/kernel/bpf/arraymap.c (revision 591fe988)
128fbcfa0SAlexei Starovoitov /* Copyright (c) 2011-2014 PLUMgrid, http://plumgrid.com
281ed18abSAlexei Starovoitov  * Copyright (c) 2016,2017 Facebook
328fbcfa0SAlexei Starovoitov  *
428fbcfa0SAlexei Starovoitov  * This program is free software; you can redistribute it and/or
528fbcfa0SAlexei Starovoitov  * modify it under the terms of version 2 of the GNU General Public
628fbcfa0SAlexei Starovoitov  * License as published by the Free Software Foundation.
728fbcfa0SAlexei Starovoitov  *
828fbcfa0SAlexei Starovoitov  * This program is distributed in the hope that it will be useful, but
928fbcfa0SAlexei Starovoitov  * WITHOUT ANY WARRANTY; without even the implied warranty of
1028fbcfa0SAlexei Starovoitov  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
1128fbcfa0SAlexei Starovoitov  * General Public License for more details.
1228fbcfa0SAlexei Starovoitov  */
1328fbcfa0SAlexei Starovoitov #include <linux/bpf.h>
14a26ca7c9SMartin KaFai Lau #include <linux/btf.h>
1528fbcfa0SAlexei Starovoitov #include <linux/err.h>
1628fbcfa0SAlexei Starovoitov #include <linux/slab.h>
1728fbcfa0SAlexei Starovoitov #include <linux/mm.h>
1804fd61abSAlexei Starovoitov #include <linux/filter.h>
190cdf5640SDaniel Borkmann #include <linux/perf_event.h>
20a26ca7c9SMartin KaFai Lau #include <uapi/linux/btf.h>
2128fbcfa0SAlexei Starovoitov 
2256f668dfSMartin KaFai Lau #include "map_in_map.h"
2356f668dfSMartin KaFai Lau 
246e71b04aSChenbo Feng #define ARRAY_CREATE_FLAG_MASK \
25*591fe988SDaniel Borkmann 	(BPF_F_NUMA_NODE | BPF_F_ACCESS_MASK)
266e71b04aSChenbo Feng 
27a10423b8SAlexei Starovoitov static void bpf_array_free_percpu(struct bpf_array *array)
28a10423b8SAlexei Starovoitov {
29a10423b8SAlexei Starovoitov 	int i;
30a10423b8SAlexei Starovoitov 
3132fff239SEric Dumazet 	for (i = 0; i < array->map.max_entries; i++) {
32a10423b8SAlexei Starovoitov 		free_percpu(array->pptrs[i]);
3332fff239SEric Dumazet 		cond_resched();
3432fff239SEric Dumazet 	}
35a10423b8SAlexei Starovoitov }
36a10423b8SAlexei Starovoitov 
37a10423b8SAlexei Starovoitov static int bpf_array_alloc_percpu(struct bpf_array *array)
38a10423b8SAlexei Starovoitov {
39a10423b8SAlexei Starovoitov 	void __percpu *ptr;
40a10423b8SAlexei Starovoitov 	int i;
41a10423b8SAlexei Starovoitov 
42a10423b8SAlexei Starovoitov 	for (i = 0; i < array->map.max_entries; i++) {
43a10423b8SAlexei Starovoitov 		ptr = __alloc_percpu_gfp(array->elem_size, 8,
44a10423b8SAlexei Starovoitov 					 GFP_USER | __GFP_NOWARN);
45a10423b8SAlexei Starovoitov 		if (!ptr) {
46a10423b8SAlexei Starovoitov 			bpf_array_free_percpu(array);
47a10423b8SAlexei Starovoitov 			return -ENOMEM;
48a10423b8SAlexei Starovoitov 		}
49a10423b8SAlexei Starovoitov 		array->pptrs[i] = ptr;
5032fff239SEric Dumazet 		cond_resched();
51a10423b8SAlexei Starovoitov 	}
52a10423b8SAlexei Starovoitov 
53a10423b8SAlexei Starovoitov 	return 0;
54a10423b8SAlexei Starovoitov }
55a10423b8SAlexei Starovoitov 
5628fbcfa0SAlexei Starovoitov /* Called from syscall */
575dc4c4b7SMartin KaFai Lau int array_map_alloc_check(union bpf_attr *attr)
58ad46061fSJakub Kicinski {
59ad46061fSJakub Kicinski 	bool percpu = attr->map_type == BPF_MAP_TYPE_PERCPU_ARRAY;
60ad46061fSJakub Kicinski 	int numa_node = bpf_map_attr_numa_node(attr);
61ad46061fSJakub Kicinski 
62ad46061fSJakub Kicinski 	/* check sanity of attributes */
63ad46061fSJakub Kicinski 	if (attr->max_entries == 0 || attr->key_size != 4 ||
64ad46061fSJakub Kicinski 	    attr->value_size == 0 ||
65ad46061fSJakub Kicinski 	    attr->map_flags & ~ARRAY_CREATE_FLAG_MASK ||
66*591fe988SDaniel Borkmann 	    !bpf_map_flags_access_ok(attr->map_flags) ||
67ad46061fSJakub Kicinski 	    (percpu && numa_node != NUMA_NO_NODE))
68ad46061fSJakub Kicinski 		return -EINVAL;
69ad46061fSJakub Kicinski 
70ad46061fSJakub Kicinski 	if (attr->value_size > KMALLOC_MAX_SIZE)
71ad46061fSJakub Kicinski 		/* if value_size is bigger, the user space won't be able to
72ad46061fSJakub Kicinski 		 * access the elements.
73ad46061fSJakub Kicinski 		 */
74ad46061fSJakub Kicinski 		return -E2BIG;
75ad46061fSJakub Kicinski 
76ad46061fSJakub Kicinski 	return 0;
77ad46061fSJakub Kicinski }
78ad46061fSJakub Kicinski 
7928fbcfa0SAlexei Starovoitov static struct bpf_map *array_map_alloc(union bpf_attr *attr)
8028fbcfa0SAlexei Starovoitov {
81a10423b8SAlexei Starovoitov 	bool percpu = attr->map_type == BPF_MAP_TYPE_PERCPU_ARRAY;
829c2d63b8SDaniel Borkmann 	int ret, numa_node = bpf_map_attr_numa_node(attr);
83b2157399SAlexei Starovoitov 	u32 elem_size, index_mask, max_entries;
84b2157399SAlexei Starovoitov 	bool unpriv = !capable(CAP_SYS_ADMIN);
859c2d63b8SDaniel Borkmann 	u64 cost, array_size, mask64;
8628fbcfa0SAlexei Starovoitov 	struct bpf_array *array;
8728fbcfa0SAlexei Starovoitov 
8828fbcfa0SAlexei Starovoitov 	elem_size = round_up(attr->value_size, 8);
8928fbcfa0SAlexei Starovoitov 
90b2157399SAlexei Starovoitov 	max_entries = attr->max_entries;
91b2157399SAlexei Starovoitov 
92bbeb6e43SDaniel Borkmann 	/* On 32 bit archs roundup_pow_of_two() with max_entries that has
93bbeb6e43SDaniel Borkmann 	 * upper most bit set in u32 space is undefined behavior due to
94bbeb6e43SDaniel Borkmann 	 * resulting 1U << 32, so do it manually here in u64 space.
95bbeb6e43SDaniel Borkmann 	 */
96bbeb6e43SDaniel Borkmann 	mask64 = fls_long(max_entries - 1);
97bbeb6e43SDaniel Borkmann 	mask64 = 1ULL << mask64;
98bbeb6e43SDaniel Borkmann 	mask64 -= 1;
99bbeb6e43SDaniel Borkmann 
100bbeb6e43SDaniel Borkmann 	index_mask = mask64;
101bbeb6e43SDaniel Borkmann 	if (unpriv) {
102b2157399SAlexei Starovoitov 		/* round up array size to nearest power of 2,
103b2157399SAlexei Starovoitov 		 * since cpu will speculate within index_mask limits
104b2157399SAlexei Starovoitov 		 */
105b2157399SAlexei Starovoitov 		max_entries = index_mask + 1;
106bbeb6e43SDaniel Borkmann 		/* Check for overflows. */
107bbeb6e43SDaniel Borkmann 		if (max_entries < attr->max_entries)
108bbeb6e43SDaniel Borkmann 			return ERR_PTR(-E2BIG);
109bbeb6e43SDaniel Borkmann 	}
110b2157399SAlexei Starovoitov 
111a10423b8SAlexei Starovoitov 	array_size = sizeof(*array);
112a10423b8SAlexei Starovoitov 	if (percpu)
113b2157399SAlexei Starovoitov 		array_size += (u64) max_entries * sizeof(void *);
114a10423b8SAlexei Starovoitov 	else
115b2157399SAlexei Starovoitov 		array_size += (u64) max_entries * elem_size;
116a10423b8SAlexei Starovoitov 
117a10423b8SAlexei Starovoitov 	/* make sure there is no u32 overflow later in round_up() */
1189c2d63b8SDaniel Borkmann 	cost = array_size;
1199c2d63b8SDaniel Borkmann 	if (cost >= U32_MAX - PAGE_SIZE)
120daaf427cSAlexei Starovoitov 		return ERR_PTR(-ENOMEM);
1219c2d63b8SDaniel Borkmann 	if (percpu) {
1229c2d63b8SDaniel Borkmann 		cost += (u64)attr->max_entries * elem_size * num_possible_cpus();
1239c2d63b8SDaniel Borkmann 		if (cost >= U32_MAX - PAGE_SIZE)
1249c2d63b8SDaniel Borkmann 			return ERR_PTR(-ENOMEM);
1259c2d63b8SDaniel Borkmann 	}
1269c2d63b8SDaniel Borkmann 	cost = round_up(cost, PAGE_SIZE) >> PAGE_SHIFT;
1279c2d63b8SDaniel Borkmann 
1289c2d63b8SDaniel Borkmann 	ret = bpf_map_precharge_memlock(cost);
1299c2d63b8SDaniel Borkmann 	if (ret < 0)
1309c2d63b8SDaniel Borkmann 		return ERR_PTR(ret);
131daaf427cSAlexei Starovoitov 
13228fbcfa0SAlexei Starovoitov 	/* allocate all map elements and zero-initialize them */
13396eabe7aSMartin KaFai Lau 	array = bpf_map_area_alloc(array_size, numa_node);
13428fbcfa0SAlexei Starovoitov 	if (!array)
13528fbcfa0SAlexei Starovoitov 		return ERR_PTR(-ENOMEM);
136b2157399SAlexei Starovoitov 	array->index_mask = index_mask;
137b2157399SAlexei Starovoitov 	array->map.unpriv_array = unpriv;
13828fbcfa0SAlexei Starovoitov 
13928fbcfa0SAlexei Starovoitov 	/* copy mandatory map attributes */
14032852649SJakub Kicinski 	bpf_map_init_from_attr(&array->map, attr);
1419c2d63b8SDaniel Borkmann 	array->map.pages = cost;
14228fbcfa0SAlexei Starovoitov 	array->elem_size = elem_size;
14328fbcfa0SAlexei Starovoitov 
1449c2d63b8SDaniel Borkmann 	if (percpu && bpf_array_alloc_percpu(array)) {
145d407bd25SDaniel Borkmann 		bpf_map_area_free(array);
146a10423b8SAlexei Starovoitov 		return ERR_PTR(-ENOMEM);
147a10423b8SAlexei Starovoitov 	}
148a10423b8SAlexei Starovoitov 
14928fbcfa0SAlexei Starovoitov 	return &array->map;
15028fbcfa0SAlexei Starovoitov }
15128fbcfa0SAlexei Starovoitov 
15228fbcfa0SAlexei Starovoitov /* Called from syscall or from eBPF program */
15328fbcfa0SAlexei Starovoitov static void *array_map_lookup_elem(struct bpf_map *map, void *key)
15428fbcfa0SAlexei Starovoitov {
15528fbcfa0SAlexei Starovoitov 	struct bpf_array *array = container_of(map, struct bpf_array, map);
15628fbcfa0SAlexei Starovoitov 	u32 index = *(u32 *)key;
15728fbcfa0SAlexei Starovoitov 
158a10423b8SAlexei Starovoitov 	if (unlikely(index >= array->map.max_entries))
15928fbcfa0SAlexei Starovoitov 		return NULL;
16028fbcfa0SAlexei Starovoitov 
161b2157399SAlexei Starovoitov 	return array->value + array->elem_size * (index & array->index_mask);
16228fbcfa0SAlexei Starovoitov }
16328fbcfa0SAlexei Starovoitov 
164d8eca5bbSDaniel Borkmann static int array_map_direct_value_addr(const struct bpf_map *map, u64 *imm,
165d8eca5bbSDaniel Borkmann 				       u32 off)
166d8eca5bbSDaniel Borkmann {
167d8eca5bbSDaniel Borkmann 	struct bpf_array *array = container_of(map, struct bpf_array, map);
168d8eca5bbSDaniel Borkmann 
169d8eca5bbSDaniel Borkmann 	if (map->max_entries != 1)
170d8eca5bbSDaniel Borkmann 		return -ENOTSUPP;
171d8eca5bbSDaniel Borkmann 	if (off >= map->value_size)
172d8eca5bbSDaniel Borkmann 		return -EINVAL;
173d8eca5bbSDaniel Borkmann 
174d8eca5bbSDaniel Borkmann 	*imm = (unsigned long)array->value;
175d8eca5bbSDaniel Borkmann 	return 0;
176d8eca5bbSDaniel Borkmann }
177d8eca5bbSDaniel Borkmann 
178d8eca5bbSDaniel Borkmann static int array_map_direct_value_meta(const struct bpf_map *map, u64 imm,
179d8eca5bbSDaniel Borkmann 				       u32 *off)
180d8eca5bbSDaniel Borkmann {
181d8eca5bbSDaniel Borkmann 	struct bpf_array *array = container_of(map, struct bpf_array, map);
182d8eca5bbSDaniel Borkmann 	u64 base = (unsigned long)array->value;
183d8eca5bbSDaniel Borkmann 	u64 range = array->elem_size;
184d8eca5bbSDaniel Borkmann 
185d8eca5bbSDaniel Borkmann 	if (map->max_entries != 1)
186d8eca5bbSDaniel Borkmann 		return -ENOTSUPP;
187d8eca5bbSDaniel Borkmann 	if (imm < base || imm >= base + range)
188d8eca5bbSDaniel Borkmann 		return -ENOENT;
189d8eca5bbSDaniel Borkmann 
190d8eca5bbSDaniel Borkmann 	*off = imm - base;
191d8eca5bbSDaniel Borkmann 	return 0;
192d8eca5bbSDaniel Borkmann }
193d8eca5bbSDaniel Borkmann 
19481ed18abSAlexei Starovoitov /* emit BPF instructions equivalent to C code of array_map_lookup_elem() */
19581ed18abSAlexei Starovoitov static u32 array_map_gen_lookup(struct bpf_map *map, struct bpf_insn *insn_buf)
19681ed18abSAlexei Starovoitov {
197b2157399SAlexei Starovoitov 	struct bpf_array *array = container_of(map, struct bpf_array, map);
19881ed18abSAlexei Starovoitov 	struct bpf_insn *insn = insn_buf;
199fad73a1aSMartin KaFai Lau 	u32 elem_size = round_up(map->value_size, 8);
20081ed18abSAlexei Starovoitov 	const int ret = BPF_REG_0;
20181ed18abSAlexei Starovoitov 	const int map_ptr = BPF_REG_1;
20281ed18abSAlexei Starovoitov 	const int index = BPF_REG_2;
20381ed18abSAlexei Starovoitov 
20481ed18abSAlexei Starovoitov 	*insn++ = BPF_ALU64_IMM(BPF_ADD, map_ptr, offsetof(struct bpf_array, value));
20581ed18abSAlexei Starovoitov 	*insn++ = BPF_LDX_MEM(BPF_W, ret, index, 0);
206b2157399SAlexei Starovoitov 	if (map->unpriv_array) {
207b2157399SAlexei Starovoitov 		*insn++ = BPF_JMP_IMM(BPF_JGE, ret, map->max_entries, 4);
208b2157399SAlexei Starovoitov 		*insn++ = BPF_ALU32_IMM(BPF_AND, ret, array->index_mask);
209b2157399SAlexei Starovoitov 	} else {
210fad73a1aSMartin KaFai Lau 		*insn++ = BPF_JMP_IMM(BPF_JGE, ret, map->max_entries, 3);
211b2157399SAlexei Starovoitov 	}
212fad73a1aSMartin KaFai Lau 
213fad73a1aSMartin KaFai Lau 	if (is_power_of_2(elem_size)) {
21481ed18abSAlexei Starovoitov 		*insn++ = BPF_ALU64_IMM(BPF_LSH, ret, ilog2(elem_size));
21581ed18abSAlexei Starovoitov 	} else {
21681ed18abSAlexei Starovoitov 		*insn++ = BPF_ALU64_IMM(BPF_MUL, ret, elem_size);
21781ed18abSAlexei Starovoitov 	}
21881ed18abSAlexei Starovoitov 	*insn++ = BPF_ALU64_REG(BPF_ADD, ret, map_ptr);
21981ed18abSAlexei Starovoitov 	*insn++ = BPF_JMP_IMM(BPF_JA, 0, 0, 1);
22081ed18abSAlexei Starovoitov 	*insn++ = BPF_MOV64_IMM(ret, 0);
22181ed18abSAlexei Starovoitov 	return insn - insn_buf;
22281ed18abSAlexei Starovoitov }
22381ed18abSAlexei Starovoitov 
224a10423b8SAlexei Starovoitov /* Called from eBPF program */
225a10423b8SAlexei Starovoitov static void *percpu_array_map_lookup_elem(struct bpf_map *map, void *key)
226a10423b8SAlexei Starovoitov {
227a10423b8SAlexei Starovoitov 	struct bpf_array *array = container_of(map, struct bpf_array, map);
228a10423b8SAlexei Starovoitov 	u32 index = *(u32 *)key;
229a10423b8SAlexei Starovoitov 
230a10423b8SAlexei Starovoitov 	if (unlikely(index >= array->map.max_entries))
231a10423b8SAlexei Starovoitov 		return NULL;
232a10423b8SAlexei Starovoitov 
233b2157399SAlexei Starovoitov 	return this_cpu_ptr(array->pptrs[index & array->index_mask]);
234a10423b8SAlexei Starovoitov }
235a10423b8SAlexei Starovoitov 
23615a07b33SAlexei Starovoitov int bpf_percpu_array_copy(struct bpf_map *map, void *key, void *value)
23715a07b33SAlexei Starovoitov {
23815a07b33SAlexei Starovoitov 	struct bpf_array *array = container_of(map, struct bpf_array, map);
23915a07b33SAlexei Starovoitov 	u32 index = *(u32 *)key;
24015a07b33SAlexei Starovoitov 	void __percpu *pptr;
24115a07b33SAlexei Starovoitov 	int cpu, off = 0;
24215a07b33SAlexei Starovoitov 	u32 size;
24315a07b33SAlexei Starovoitov 
24415a07b33SAlexei Starovoitov 	if (unlikely(index >= array->map.max_entries))
24515a07b33SAlexei Starovoitov 		return -ENOENT;
24615a07b33SAlexei Starovoitov 
24715a07b33SAlexei Starovoitov 	/* per_cpu areas are zero-filled and bpf programs can only
24815a07b33SAlexei Starovoitov 	 * access 'value_size' of them, so copying rounded areas
24915a07b33SAlexei Starovoitov 	 * will not leak any kernel data
25015a07b33SAlexei Starovoitov 	 */
25115a07b33SAlexei Starovoitov 	size = round_up(map->value_size, 8);
25215a07b33SAlexei Starovoitov 	rcu_read_lock();
253b2157399SAlexei Starovoitov 	pptr = array->pptrs[index & array->index_mask];
25415a07b33SAlexei Starovoitov 	for_each_possible_cpu(cpu) {
25515a07b33SAlexei Starovoitov 		bpf_long_memcpy(value + off, per_cpu_ptr(pptr, cpu), size);
25615a07b33SAlexei Starovoitov 		off += size;
25715a07b33SAlexei Starovoitov 	}
25815a07b33SAlexei Starovoitov 	rcu_read_unlock();
25915a07b33SAlexei Starovoitov 	return 0;
26015a07b33SAlexei Starovoitov }
26115a07b33SAlexei Starovoitov 
26228fbcfa0SAlexei Starovoitov /* Called from syscall */
26328fbcfa0SAlexei Starovoitov static int array_map_get_next_key(struct bpf_map *map, void *key, void *next_key)
26428fbcfa0SAlexei Starovoitov {
26528fbcfa0SAlexei Starovoitov 	struct bpf_array *array = container_of(map, struct bpf_array, map);
2668fe45924STeng Qin 	u32 index = key ? *(u32 *)key : U32_MAX;
26728fbcfa0SAlexei Starovoitov 	u32 *next = (u32 *)next_key;
26828fbcfa0SAlexei Starovoitov 
26928fbcfa0SAlexei Starovoitov 	if (index >= array->map.max_entries) {
27028fbcfa0SAlexei Starovoitov 		*next = 0;
27128fbcfa0SAlexei Starovoitov 		return 0;
27228fbcfa0SAlexei Starovoitov 	}
27328fbcfa0SAlexei Starovoitov 
27428fbcfa0SAlexei Starovoitov 	if (index == array->map.max_entries - 1)
27528fbcfa0SAlexei Starovoitov 		return -ENOENT;
27628fbcfa0SAlexei Starovoitov 
27728fbcfa0SAlexei Starovoitov 	*next = index + 1;
27828fbcfa0SAlexei Starovoitov 	return 0;
27928fbcfa0SAlexei Starovoitov }
28028fbcfa0SAlexei Starovoitov 
28128fbcfa0SAlexei Starovoitov /* Called from syscall or from eBPF program */
28228fbcfa0SAlexei Starovoitov static int array_map_update_elem(struct bpf_map *map, void *key, void *value,
28328fbcfa0SAlexei Starovoitov 				 u64 map_flags)
28428fbcfa0SAlexei Starovoitov {
28528fbcfa0SAlexei Starovoitov 	struct bpf_array *array = container_of(map, struct bpf_array, map);
28628fbcfa0SAlexei Starovoitov 	u32 index = *(u32 *)key;
28796049f3aSAlexei Starovoitov 	char *val;
28828fbcfa0SAlexei Starovoitov 
28996049f3aSAlexei Starovoitov 	if (unlikely((map_flags & ~BPF_F_LOCK) > BPF_EXIST))
29028fbcfa0SAlexei Starovoitov 		/* unknown flags */
29128fbcfa0SAlexei Starovoitov 		return -EINVAL;
29228fbcfa0SAlexei Starovoitov 
293a10423b8SAlexei Starovoitov 	if (unlikely(index >= array->map.max_entries))
29428fbcfa0SAlexei Starovoitov 		/* all elements were pre-allocated, cannot insert a new one */
29528fbcfa0SAlexei Starovoitov 		return -E2BIG;
29628fbcfa0SAlexei Starovoitov 
29796049f3aSAlexei Starovoitov 	if (unlikely(map_flags & BPF_NOEXIST))
298daaf427cSAlexei Starovoitov 		/* all elements already exist */
29928fbcfa0SAlexei Starovoitov 		return -EEXIST;
30028fbcfa0SAlexei Starovoitov 
30196049f3aSAlexei Starovoitov 	if (unlikely((map_flags & BPF_F_LOCK) &&
30296049f3aSAlexei Starovoitov 		     !map_value_has_spin_lock(map)))
30396049f3aSAlexei Starovoitov 		return -EINVAL;
30496049f3aSAlexei Starovoitov 
30596049f3aSAlexei Starovoitov 	if (array->map.map_type == BPF_MAP_TYPE_PERCPU_ARRAY) {
306b2157399SAlexei Starovoitov 		memcpy(this_cpu_ptr(array->pptrs[index & array->index_mask]),
307a10423b8SAlexei Starovoitov 		       value, map->value_size);
30896049f3aSAlexei Starovoitov 	} else {
30996049f3aSAlexei Starovoitov 		val = array->value +
31096049f3aSAlexei Starovoitov 			array->elem_size * (index & array->index_mask);
31196049f3aSAlexei Starovoitov 		if (map_flags & BPF_F_LOCK)
31296049f3aSAlexei Starovoitov 			copy_map_value_locked(map, val, value, false);
313a10423b8SAlexei Starovoitov 		else
31496049f3aSAlexei Starovoitov 			copy_map_value(map, val, value);
31596049f3aSAlexei Starovoitov 	}
31628fbcfa0SAlexei Starovoitov 	return 0;
31728fbcfa0SAlexei Starovoitov }
31828fbcfa0SAlexei Starovoitov 
31915a07b33SAlexei Starovoitov int bpf_percpu_array_update(struct bpf_map *map, void *key, void *value,
32015a07b33SAlexei Starovoitov 			    u64 map_flags)
32115a07b33SAlexei Starovoitov {
32215a07b33SAlexei Starovoitov 	struct bpf_array *array = container_of(map, struct bpf_array, map);
32315a07b33SAlexei Starovoitov 	u32 index = *(u32 *)key;
32415a07b33SAlexei Starovoitov 	void __percpu *pptr;
32515a07b33SAlexei Starovoitov 	int cpu, off = 0;
32615a07b33SAlexei Starovoitov 	u32 size;
32715a07b33SAlexei Starovoitov 
32815a07b33SAlexei Starovoitov 	if (unlikely(map_flags > BPF_EXIST))
32915a07b33SAlexei Starovoitov 		/* unknown flags */
33015a07b33SAlexei Starovoitov 		return -EINVAL;
33115a07b33SAlexei Starovoitov 
33215a07b33SAlexei Starovoitov 	if (unlikely(index >= array->map.max_entries))
33315a07b33SAlexei Starovoitov 		/* all elements were pre-allocated, cannot insert a new one */
33415a07b33SAlexei Starovoitov 		return -E2BIG;
33515a07b33SAlexei Starovoitov 
33615a07b33SAlexei Starovoitov 	if (unlikely(map_flags == BPF_NOEXIST))
33715a07b33SAlexei Starovoitov 		/* all elements already exist */
33815a07b33SAlexei Starovoitov 		return -EEXIST;
33915a07b33SAlexei Starovoitov 
34015a07b33SAlexei Starovoitov 	/* the user space will provide round_up(value_size, 8) bytes that
34115a07b33SAlexei Starovoitov 	 * will be copied into per-cpu area. bpf programs can only access
34215a07b33SAlexei Starovoitov 	 * value_size of it. During lookup the same extra bytes will be
34315a07b33SAlexei Starovoitov 	 * returned or zeros which were zero-filled by percpu_alloc,
34415a07b33SAlexei Starovoitov 	 * so no kernel data leaks possible
34515a07b33SAlexei Starovoitov 	 */
34615a07b33SAlexei Starovoitov 	size = round_up(map->value_size, 8);
34715a07b33SAlexei Starovoitov 	rcu_read_lock();
348b2157399SAlexei Starovoitov 	pptr = array->pptrs[index & array->index_mask];
34915a07b33SAlexei Starovoitov 	for_each_possible_cpu(cpu) {
35015a07b33SAlexei Starovoitov 		bpf_long_memcpy(per_cpu_ptr(pptr, cpu), value + off, size);
35115a07b33SAlexei Starovoitov 		off += size;
35215a07b33SAlexei Starovoitov 	}
35315a07b33SAlexei Starovoitov 	rcu_read_unlock();
35415a07b33SAlexei Starovoitov 	return 0;
35515a07b33SAlexei Starovoitov }
35615a07b33SAlexei Starovoitov 
35728fbcfa0SAlexei Starovoitov /* Called from syscall or from eBPF program */
35828fbcfa0SAlexei Starovoitov static int array_map_delete_elem(struct bpf_map *map, void *key)
35928fbcfa0SAlexei Starovoitov {
36028fbcfa0SAlexei Starovoitov 	return -EINVAL;
36128fbcfa0SAlexei Starovoitov }
36228fbcfa0SAlexei Starovoitov 
36328fbcfa0SAlexei Starovoitov /* Called when map->refcnt goes to zero, either from workqueue or from syscall */
36428fbcfa0SAlexei Starovoitov static void array_map_free(struct bpf_map *map)
36528fbcfa0SAlexei Starovoitov {
36628fbcfa0SAlexei Starovoitov 	struct bpf_array *array = container_of(map, struct bpf_array, map);
36728fbcfa0SAlexei Starovoitov 
36828fbcfa0SAlexei Starovoitov 	/* at this point bpf_prog->aux->refcnt == 0 and this map->refcnt == 0,
36928fbcfa0SAlexei Starovoitov 	 * so the programs (can be more than one that used this map) were
37028fbcfa0SAlexei Starovoitov 	 * disconnected from events. Wait for outstanding programs to complete
37128fbcfa0SAlexei Starovoitov 	 * and free the array
37228fbcfa0SAlexei Starovoitov 	 */
37328fbcfa0SAlexei Starovoitov 	synchronize_rcu();
37428fbcfa0SAlexei Starovoitov 
375a10423b8SAlexei Starovoitov 	if (array->map.map_type == BPF_MAP_TYPE_PERCPU_ARRAY)
376a10423b8SAlexei Starovoitov 		bpf_array_free_percpu(array);
377a10423b8SAlexei Starovoitov 
378d407bd25SDaniel Borkmann 	bpf_map_area_free(array);
37928fbcfa0SAlexei Starovoitov }
38028fbcfa0SAlexei Starovoitov 
381a26ca7c9SMartin KaFai Lau static void array_map_seq_show_elem(struct bpf_map *map, void *key,
382a26ca7c9SMartin KaFai Lau 				    struct seq_file *m)
383a26ca7c9SMartin KaFai Lau {
384a26ca7c9SMartin KaFai Lau 	void *value;
385a26ca7c9SMartin KaFai Lau 
386a26ca7c9SMartin KaFai Lau 	rcu_read_lock();
387a26ca7c9SMartin KaFai Lau 
388a26ca7c9SMartin KaFai Lau 	value = array_map_lookup_elem(map, key);
389a26ca7c9SMartin KaFai Lau 	if (!value) {
390a26ca7c9SMartin KaFai Lau 		rcu_read_unlock();
391a26ca7c9SMartin KaFai Lau 		return;
392a26ca7c9SMartin KaFai Lau 	}
393a26ca7c9SMartin KaFai Lau 
394a26ca7c9SMartin KaFai Lau 	seq_printf(m, "%u: ", *(u32 *)key);
3959b2cf328SMartin KaFai Lau 	btf_type_seq_show(map->btf, map->btf_value_type_id, value, m);
396a26ca7c9SMartin KaFai Lau 	seq_puts(m, "\n");
397a26ca7c9SMartin KaFai Lau 
398a26ca7c9SMartin KaFai Lau 	rcu_read_unlock();
399a26ca7c9SMartin KaFai Lau }
400a26ca7c9SMartin KaFai Lau 
401c7b27c37SYonghong Song static void percpu_array_map_seq_show_elem(struct bpf_map *map, void *key,
402c7b27c37SYonghong Song 					   struct seq_file *m)
403c7b27c37SYonghong Song {
404c7b27c37SYonghong Song 	struct bpf_array *array = container_of(map, struct bpf_array, map);
405c7b27c37SYonghong Song 	u32 index = *(u32 *)key;
406c7b27c37SYonghong Song 	void __percpu *pptr;
407c7b27c37SYonghong Song 	int cpu;
408c7b27c37SYonghong Song 
409c7b27c37SYonghong Song 	rcu_read_lock();
410c7b27c37SYonghong Song 
411c7b27c37SYonghong Song 	seq_printf(m, "%u: {\n", *(u32 *)key);
412c7b27c37SYonghong Song 	pptr = array->pptrs[index & array->index_mask];
413c7b27c37SYonghong Song 	for_each_possible_cpu(cpu) {
414c7b27c37SYonghong Song 		seq_printf(m, "\tcpu%d: ", cpu);
415c7b27c37SYonghong Song 		btf_type_seq_show(map->btf, map->btf_value_type_id,
416c7b27c37SYonghong Song 				  per_cpu_ptr(pptr, cpu), m);
417c7b27c37SYonghong Song 		seq_puts(m, "\n");
418c7b27c37SYonghong Song 	}
419c7b27c37SYonghong Song 	seq_puts(m, "}\n");
420c7b27c37SYonghong Song 
421c7b27c37SYonghong Song 	rcu_read_unlock();
422c7b27c37SYonghong Song }
423c7b27c37SYonghong Song 
424e8d2bec0SDaniel Borkmann static int array_map_check_btf(const struct bpf_map *map,
4251b2b234bSRoman Gushchin 			       const struct btf *btf,
426e8d2bec0SDaniel Borkmann 			       const struct btf_type *key_type,
427e8d2bec0SDaniel Borkmann 			       const struct btf_type *value_type)
428a26ca7c9SMartin KaFai Lau {
429a26ca7c9SMartin KaFai Lau 	u32 int_data;
430a26ca7c9SMartin KaFai Lau 
431e8d2bec0SDaniel Borkmann 	if (BTF_INFO_KIND(key_type->info) != BTF_KIND_INT)
432a26ca7c9SMartin KaFai Lau 		return -EINVAL;
433a26ca7c9SMartin KaFai Lau 
434a26ca7c9SMartin KaFai Lau 	int_data = *(u32 *)(key_type + 1);
435e8d2bec0SDaniel Borkmann 	/* bpf array can only take a u32 key. This check makes sure
436e8d2bec0SDaniel Borkmann 	 * that the btf matches the attr used during map_create.
437a26ca7c9SMartin KaFai Lau 	 */
438e8d2bec0SDaniel Borkmann 	if (BTF_INT_BITS(int_data) != 32 || BTF_INT_OFFSET(int_data))
439a26ca7c9SMartin KaFai Lau 		return -EINVAL;
440a26ca7c9SMartin KaFai Lau 
441a26ca7c9SMartin KaFai Lau 	return 0;
442a26ca7c9SMartin KaFai Lau }
443a26ca7c9SMartin KaFai Lau 
44440077e0cSJohannes Berg const struct bpf_map_ops array_map_ops = {
445ad46061fSJakub Kicinski 	.map_alloc_check = array_map_alloc_check,
44628fbcfa0SAlexei Starovoitov 	.map_alloc = array_map_alloc,
44728fbcfa0SAlexei Starovoitov 	.map_free = array_map_free,
44828fbcfa0SAlexei Starovoitov 	.map_get_next_key = array_map_get_next_key,
44928fbcfa0SAlexei Starovoitov 	.map_lookup_elem = array_map_lookup_elem,
45028fbcfa0SAlexei Starovoitov 	.map_update_elem = array_map_update_elem,
45128fbcfa0SAlexei Starovoitov 	.map_delete_elem = array_map_delete_elem,
45281ed18abSAlexei Starovoitov 	.map_gen_lookup = array_map_gen_lookup,
453d8eca5bbSDaniel Borkmann 	.map_direct_value_addr = array_map_direct_value_addr,
454d8eca5bbSDaniel Borkmann 	.map_direct_value_meta = array_map_direct_value_meta,
455a26ca7c9SMartin KaFai Lau 	.map_seq_show_elem = array_map_seq_show_elem,
456a26ca7c9SMartin KaFai Lau 	.map_check_btf = array_map_check_btf,
45728fbcfa0SAlexei Starovoitov };
45828fbcfa0SAlexei Starovoitov 
45940077e0cSJohannes Berg const struct bpf_map_ops percpu_array_map_ops = {
460ad46061fSJakub Kicinski 	.map_alloc_check = array_map_alloc_check,
461a10423b8SAlexei Starovoitov 	.map_alloc = array_map_alloc,
462a10423b8SAlexei Starovoitov 	.map_free = array_map_free,
463a10423b8SAlexei Starovoitov 	.map_get_next_key = array_map_get_next_key,
464a10423b8SAlexei Starovoitov 	.map_lookup_elem = percpu_array_map_lookup_elem,
465a10423b8SAlexei Starovoitov 	.map_update_elem = array_map_update_elem,
466a10423b8SAlexei Starovoitov 	.map_delete_elem = array_map_delete_elem,
467c7b27c37SYonghong Song 	.map_seq_show_elem = percpu_array_map_seq_show_elem,
468e8d2bec0SDaniel Borkmann 	.map_check_btf = array_map_check_btf,
469a10423b8SAlexei Starovoitov };
470a10423b8SAlexei Starovoitov 
471ad46061fSJakub Kicinski static int fd_array_map_alloc_check(union bpf_attr *attr)
47204fd61abSAlexei Starovoitov {
4732a36f0b9SWang Nan 	/* only file descriptors can be stored in this type of map */
47404fd61abSAlexei Starovoitov 	if (attr->value_size != sizeof(u32))
475ad46061fSJakub Kicinski 		return -EINVAL;
476*591fe988SDaniel Borkmann 	/* Program read-only/write-only not supported for special maps yet. */
477*591fe988SDaniel Borkmann 	if (attr->map_flags & (BPF_F_RDONLY_PROG | BPF_F_WRONLY_PROG))
478*591fe988SDaniel Borkmann 		return -EINVAL;
479ad46061fSJakub Kicinski 	return array_map_alloc_check(attr);
48004fd61abSAlexei Starovoitov }
48104fd61abSAlexei Starovoitov 
4822a36f0b9SWang Nan static void fd_array_map_free(struct bpf_map *map)
48304fd61abSAlexei Starovoitov {
48404fd61abSAlexei Starovoitov 	struct bpf_array *array = container_of(map, struct bpf_array, map);
48504fd61abSAlexei Starovoitov 	int i;
48604fd61abSAlexei Starovoitov 
48704fd61abSAlexei Starovoitov 	synchronize_rcu();
48804fd61abSAlexei Starovoitov 
48904fd61abSAlexei Starovoitov 	/* make sure it's empty */
49004fd61abSAlexei Starovoitov 	for (i = 0; i < array->map.max_entries; i++)
4912a36f0b9SWang Nan 		BUG_ON(array->ptrs[i] != NULL);
492d407bd25SDaniel Borkmann 
493d407bd25SDaniel Borkmann 	bpf_map_area_free(array);
49404fd61abSAlexei Starovoitov }
49504fd61abSAlexei Starovoitov 
4962a36f0b9SWang Nan static void *fd_array_map_lookup_elem(struct bpf_map *map, void *key)
49704fd61abSAlexei Starovoitov {
4983b4a63f6SPrashant Bhole 	return ERR_PTR(-EOPNOTSUPP);
49904fd61abSAlexei Starovoitov }
50004fd61abSAlexei Starovoitov 
50104fd61abSAlexei Starovoitov /* only called from syscall */
50214dc6f04SMartin KaFai Lau int bpf_fd_array_map_lookup_elem(struct bpf_map *map, void *key, u32 *value)
50314dc6f04SMartin KaFai Lau {
50414dc6f04SMartin KaFai Lau 	void **elem, *ptr;
50514dc6f04SMartin KaFai Lau 	int ret =  0;
50614dc6f04SMartin KaFai Lau 
50714dc6f04SMartin KaFai Lau 	if (!map->ops->map_fd_sys_lookup_elem)
50814dc6f04SMartin KaFai Lau 		return -ENOTSUPP;
50914dc6f04SMartin KaFai Lau 
51014dc6f04SMartin KaFai Lau 	rcu_read_lock();
51114dc6f04SMartin KaFai Lau 	elem = array_map_lookup_elem(map, key);
51214dc6f04SMartin KaFai Lau 	if (elem && (ptr = READ_ONCE(*elem)))
51314dc6f04SMartin KaFai Lau 		*value = map->ops->map_fd_sys_lookup_elem(ptr);
51414dc6f04SMartin KaFai Lau 	else
51514dc6f04SMartin KaFai Lau 		ret = -ENOENT;
51614dc6f04SMartin KaFai Lau 	rcu_read_unlock();
51714dc6f04SMartin KaFai Lau 
51814dc6f04SMartin KaFai Lau 	return ret;
51914dc6f04SMartin KaFai Lau }
52014dc6f04SMartin KaFai Lau 
52114dc6f04SMartin KaFai Lau /* only called from syscall */
522d056a788SDaniel Borkmann int bpf_fd_array_map_update_elem(struct bpf_map *map, struct file *map_file,
523d056a788SDaniel Borkmann 				 void *key, void *value, u64 map_flags)
52404fd61abSAlexei Starovoitov {
52504fd61abSAlexei Starovoitov 	struct bpf_array *array = container_of(map, struct bpf_array, map);
5262a36f0b9SWang Nan 	void *new_ptr, *old_ptr;
52704fd61abSAlexei Starovoitov 	u32 index = *(u32 *)key, ufd;
52804fd61abSAlexei Starovoitov 
52904fd61abSAlexei Starovoitov 	if (map_flags != BPF_ANY)
53004fd61abSAlexei Starovoitov 		return -EINVAL;
53104fd61abSAlexei Starovoitov 
53204fd61abSAlexei Starovoitov 	if (index >= array->map.max_entries)
53304fd61abSAlexei Starovoitov 		return -E2BIG;
53404fd61abSAlexei Starovoitov 
53504fd61abSAlexei Starovoitov 	ufd = *(u32 *)value;
536d056a788SDaniel Borkmann 	new_ptr = map->ops->map_fd_get_ptr(map, map_file, ufd);
5372a36f0b9SWang Nan 	if (IS_ERR(new_ptr))
5382a36f0b9SWang Nan 		return PTR_ERR(new_ptr);
53904fd61abSAlexei Starovoitov 
5402a36f0b9SWang Nan 	old_ptr = xchg(array->ptrs + index, new_ptr);
5412a36f0b9SWang Nan 	if (old_ptr)
5422a36f0b9SWang Nan 		map->ops->map_fd_put_ptr(old_ptr);
54304fd61abSAlexei Starovoitov 
54404fd61abSAlexei Starovoitov 	return 0;
54504fd61abSAlexei Starovoitov }
54604fd61abSAlexei Starovoitov 
5472a36f0b9SWang Nan static int fd_array_map_delete_elem(struct bpf_map *map, void *key)
54804fd61abSAlexei Starovoitov {
54904fd61abSAlexei Starovoitov 	struct bpf_array *array = container_of(map, struct bpf_array, map);
5502a36f0b9SWang Nan 	void *old_ptr;
55104fd61abSAlexei Starovoitov 	u32 index = *(u32 *)key;
55204fd61abSAlexei Starovoitov 
55304fd61abSAlexei Starovoitov 	if (index >= array->map.max_entries)
55404fd61abSAlexei Starovoitov 		return -E2BIG;
55504fd61abSAlexei Starovoitov 
5562a36f0b9SWang Nan 	old_ptr = xchg(array->ptrs + index, NULL);
5572a36f0b9SWang Nan 	if (old_ptr) {
5582a36f0b9SWang Nan 		map->ops->map_fd_put_ptr(old_ptr);
55904fd61abSAlexei Starovoitov 		return 0;
56004fd61abSAlexei Starovoitov 	} else {
56104fd61abSAlexei Starovoitov 		return -ENOENT;
56204fd61abSAlexei Starovoitov 	}
56304fd61abSAlexei Starovoitov }
56404fd61abSAlexei Starovoitov 
565d056a788SDaniel Borkmann static void *prog_fd_array_get_ptr(struct bpf_map *map,
566d056a788SDaniel Borkmann 				   struct file *map_file, int fd)
5672a36f0b9SWang Nan {
5682a36f0b9SWang Nan 	struct bpf_array *array = container_of(map, struct bpf_array, map);
5692a36f0b9SWang Nan 	struct bpf_prog *prog = bpf_prog_get(fd);
570d056a788SDaniel Borkmann 
5712a36f0b9SWang Nan 	if (IS_ERR(prog))
5722a36f0b9SWang Nan 		return prog;
5732a36f0b9SWang Nan 
5742a36f0b9SWang Nan 	if (!bpf_prog_array_compatible(array, prog)) {
5752a36f0b9SWang Nan 		bpf_prog_put(prog);
5762a36f0b9SWang Nan 		return ERR_PTR(-EINVAL);
5772a36f0b9SWang Nan 	}
578d056a788SDaniel Borkmann 
5792a36f0b9SWang Nan 	return prog;
5802a36f0b9SWang Nan }
5812a36f0b9SWang Nan 
5822a36f0b9SWang Nan static void prog_fd_array_put_ptr(void *ptr)
5832a36f0b9SWang Nan {
5841aacde3dSDaniel Borkmann 	bpf_prog_put(ptr);
5852a36f0b9SWang Nan }
5862a36f0b9SWang Nan 
58714dc6f04SMartin KaFai Lau static u32 prog_fd_array_sys_lookup_elem(void *ptr)
58814dc6f04SMartin KaFai Lau {
58914dc6f04SMartin KaFai Lau 	return ((struct bpf_prog *)ptr)->aux->id;
59014dc6f04SMartin KaFai Lau }
59114dc6f04SMartin KaFai Lau 
59204fd61abSAlexei Starovoitov /* decrement refcnt of all bpf_progs that are stored in this map */
593ba6b8de4SJohn Fastabend static void bpf_fd_array_map_clear(struct bpf_map *map)
59404fd61abSAlexei Starovoitov {
59504fd61abSAlexei Starovoitov 	struct bpf_array *array = container_of(map, struct bpf_array, map);
59604fd61abSAlexei Starovoitov 	int i;
59704fd61abSAlexei Starovoitov 
59804fd61abSAlexei Starovoitov 	for (i = 0; i < array->map.max_entries; i++)
5992a36f0b9SWang Nan 		fd_array_map_delete_elem(map, &i);
60004fd61abSAlexei Starovoitov }
60104fd61abSAlexei Starovoitov 
602a7c19db3SYonghong Song static void prog_array_map_seq_show_elem(struct bpf_map *map, void *key,
603a7c19db3SYonghong Song 					 struct seq_file *m)
604a7c19db3SYonghong Song {
605a7c19db3SYonghong Song 	void **elem, *ptr;
606a7c19db3SYonghong Song 	u32 prog_id;
607a7c19db3SYonghong Song 
608a7c19db3SYonghong Song 	rcu_read_lock();
609a7c19db3SYonghong Song 
610a7c19db3SYonghong Song 	elem = array_map_lookup_elem(map, key);
611a7c19db3SYonghong Song 	if (elem) {
612a7c19db3SYonghong Song 		ptr = READ_ONCE(*elem);
613a7c19db3SYonghong Song 		if (ptr) {
614a7c19db3SYonghong Song 			seq_printf(m, "%u: ", *(u32 *)key);
615a7c19db3SYonghong Song 			prog_id = prog_fd_array_sys_lookup_elem(ptr);
616a7c19db3SYonghong Song 			btf_type_seq_show(map->btf, map->btf_value_type_id,
617a7c19db3SYonghong Song 					  &prog_id, m);
618a7c19db3SYonghong Song 			seq_puts(m, "\n");
619a7c19db3SYonghong Song 		}
620a7c19db3SYonghong Song 	}
621a7c19db3SYonghong Song 
622a7c19db3SYonghong Song 	rcu_read_unlock();
623a7c19db3SYonghong Song }
624a7c19db3SYonghong Song 
62540077e0cSJohannes Berg const struct bpf_map_ops prog_array_map_ops = {
626ad46061fSJakub Kicinski 	.map_alloc_check = fd_array_map_alloc_check,
627ad46061fSJakub Kicinski 	.map_alloc = array_map_alloc,
6282a36f0b9SWang Nan 	.map_free = fd_array_map_free,
62904fd61abSAlexei Starovoitov 	.map_get_next_key = array_map_get_next_key,
6302a36f0b9SWang Nan 	.map_lookup_elem = fd_array_map_lookup_elem,
6312a36f0b9SWang Nan 	.map_delete_elem = fd_array_map_delete_elem,
6322a36f0b9SWang Nan 	.map_fd_get_ptr = prog_fd_array_get_ptr,
6332a36f0b9SWang Nan 	.map_fd_put_ptr = prog_fd_array_put_ptr,
63414dc6f04SMartin KaFai Lau 	.map_fd_sys_lookup_elem = prog_fd_array_sys_lookup_elem,
635ba6b8de4SJohn Fastabend 	.map_release_uref = bpf_fd_array_map_clear,
636a7c19db3SYonghong Song 	.map_seq_show_elem = prog_array_map_seq_show_elem,
63704fd61abSAlexei Starovoitov };
63804fd61abSAlexei Starovoitov 
6393b1efb19SDaniel Borkmann static struct bpf_event_entry *bpf_event_entry_gen(struct file *perf_file,
6403b1efb19SDaniel Borkmann 						   struct file *map_file)
641ea317b26SKaixu Xia {
6423b1efb19SDaniel Borkmann 	struct bpf_event_entry *ee;
6433b1efb19SDaniel Borkmann 
644858d68f1SDaniel Borkmann 	ee = kzalloc(sizeof(*ee), GFP_ATOMIC);
6453b1efb19SDaniel Borkmann 	if (ee) {
6463b1efb19SDaniel Borkmann 		ee->event = perf_file->private_data;
6473b1efb19SDaniel Borkmann 		ee->perf_file = perf_file;
6483b1efb19SDaniel Borkmann 		ee->map_file = map_file;
6493b1efb19SDaniel Borkmann 	}
6503b1efb19SDaniel Borkmann 
6513b1efb19SDaniel Borkmann 	return ee;
6523b1efb19SDaniel Borkmann }
6533b1efb19SDaniel Borkmann 
6543b1efb19SDaniel Borkmann static void __bpf_event_entry_free(struct rcu_head *rcu)
6553b1efb19SDaniel Borkmann {
6563b1efb19SDaniel Borkmann 	struct bpf_event_entry *ee;
6573b1efb19SDaniel Borkmann 
6583b1efb19SDaniel Borkmann 	ee = container_of(rcu, struct bpf_event_entry, rcu);
6593b1efb19SDaniel Borkmann 	fput(ee->perf_file);
6603b1efb19SDaniel Borkmann 	kfree(ee);
6613b1efb19SDaniel Borkmann }
6623b1efb19SDaniel Borkmann 
6633b1efb19SDaniel Borkmann static void bpf_event_entry_free_rcu(struct bpf_event_entry *ee)
6643b1efb19SDaniel Borkmann {
6653b1efb19SDaniel Borkmann 	call_rcu(&ee->rcu, __bpf_event_entry_free);
666ea317b26SKaixu Xia }
667ea317b26SKaixu Xia 
668d056a788SDaniel Borkmann static void *perf_event_fd_array_get_ptr(struct bpf_map *map,
669d056a788SDaniel Borkmann 					 struct file *map_file, int fd)
670ea317b26SKaixu Xia {
6713b1efb19SDaniel Borkmann 	struct bpf_event_entry *ee;
6723b1efb19SDaniel Borkmann 	struct perf_event *event;
6733b1efb19SDaniel Borkmann 	struct file *perf_file;
674f91840a3SAlexei Starovoitov 	u64 value;
675ea317b26SKaixu Xia 
6763b1efb19SDaniel Borkmann 	perf_file = perf_event_get(fd);
6773b1efb19SDaniel Borkmann 	if (IS_ERR(perf_file))
6783b1efb19SDaniel Borkmann 		return perf_file;
679e03e7ee3SAlexei Starovoitov 
680f91840a3SAlexei Starovoitov 	ee = ERR_PTR(-EOPNOTSUPP);
6813b1efb19SDaniel Borkmann 	event = perf_file->private_data;
68297562633SYonghong Song 	if (perf_event_read_local(event, &value, NULL, NULL) == -EOPNOTSUPP)
6833b1efb19SDaniel Borkmann 		goto err_out;
684ea317b26SKaixu Xia 
6853b1efb19SDaniel Borkmann 	ee = bpf_event_entry_gen(perf_file, map_file);
6863b1efb19SDaniel Borkmann 	if (ee)
6873b1efb19SDaniel Borkmann 		return ee;
6883b1efb19SDaniel Borkmann 	ee = ERR_PTR(-ENOMEM);
6893b1efb19SDaniel Borkmann err_out:
6903b1efb19SDaniel Borkmann 	fput(perf_file);
6913b1efb19SDaniel Borkmann 	return ee;
692ea317b26SKaixu Xia }
693ea317b26SKaixu Xia 
694ea317b26SKaixu Xia static void perf_event_fd_array_put_ptr(void *ptr)
695ea317b26SKaixu Xia {
6963b1efb19SDaniel Borkmann 	bpf_event_entry_free_rcu(ptr);
6973b1efb19SDaniel Borkmann }
6983b1efb19SDaniel Borkmann 
6993b1efb19SDaniel Borkmann static void perf_event_fd_array_release(struct bpf_map *map,
7003b1efb19SDaniel Borkmann 					struct file *map_file)
7013b1efb19SDaniel Borkmann {
7023b1efb19SDaniel Borkmann 	struct bpf_array *array = container_of(map, struct bpf_array, map);
7033b1efb19SDaniel Borkmann 	struct bpf_event_entry *ee;
7043b1efb19SDaniel Borkmann 	int i;
7053b1efb19SDaniel Borkmann 
7063b1efb19SDaniel Borkmann 	rcu_read_lock();
7073b1efb19SDaniel Borkmann 	for (i = 0; i < array->map.max_entries; i++) {
7083b1efb19SDaniel Borkmann 		ee = READ_ONCE(array->ptrs[i]);
7093b1efb19SDaniel Borkmann 		if (ee && ee->map_file == map_file)
7103b1efb19SDaniel Borkmann 			fd_array_map_delete_elem(map, &i);
7113b1efb19SDaniel Borkmann 	}
7123b1efb19SDaniel Borkmann 	rcu_read_unlock();
713ea317b26SKaixu Xia }
714ea317b26SKaixu Xia 
71540077e0cSJohannes Berg const struct bpf_map_ops perf_event_array_map_ops = {
716ad46061fSJakub Kicinski 	.map_alloc_check = fd_array_map_alloc_check,
717ad46061fSJakub Kicinski 	.map_alloc = array_map_alloc,
7183b1efb19SDaniel Borkmann 	.map_free = fd_array_map_free,
719ea317b26SKaixu Xia 	.map_get_next_key = array_map_get_next_key,
720ea317b26SKaixu Xia 	.map_lookup_elem = fd_array_map_lookup_elem,
721ea317b26SKaixu Xia 	.map_delete_elem = fd_array_map_delete_elem,
722ea317b26SKaixu Xia 	.map_fd_get_ptr = perf_event_fd_array_get_ptr,
723ea317b26SKaixu Xia 	.map_fd_put_ptr = perf_event_fd_array_put_ptr,
7243b1efb19SDaniel Borkmann 	.map_release = perf_event_fd_array_release,
725e8d2bec0SDaniel Borkmann 	.map_check_btf = map_check_no_btf,
726ea317b26SKaixu Xia };
727ea317b26SKaixu Xia 
72860d20f91SSargun Dhillon #ifdef CONFIG_CGROUPS
7294ed8ec52SMartin KaFai Lau static void *cgroup_fd_array_get_ptr(struct bpf_map *map,
7304ed8ec52SMartin KaFai Lau 				     struct file *map_file /* not used */,
7314ed8ec52SMartin KaFai Lau 				     int fd)
7324ed8ec52SMartin KaFai Lau {
7334ed8ec52SMartin KaFai Lau 	return cgroup_get_from_fd(fd);
7344ed8ec52SMartin KaFai Lau }
7354ed8ec52SMartin KaFai Lau 
7364ed8ec52SMartin KaFai Lau static void cgroup_fd_array_put_ptr(void *ptr)
7374ed8ec52SMartin KaFai Lau {
7384ed8ec52SMartin KaFai Lau 	/* cgroup_put free cgrp after a rcu grace period */
7394ed8ec52SMartin KaFai Lau 	cgroup_put(ptr);
7404ed8ec52SMartin KaFai Lau }
7414ed8ec52SMartin KaFai Lau 
7424ed8ec52SMartin KaFai Lau static void cgroup_fd_array_free(struct bpf_map *map)
7434ed8ec52SMartin KaFai Lau {
7444ed8ec52SMartin KaFai Lau 	bpf_fd_array_map_clear(map);
7454ed8ec52SMartin KaFai Lau 	fd_array_map_free(map);
7464ed8ec52SMartin KaFai Lau }
7474ed8ec52SMartin KaFai Lau 
74840077e0cSJohannes Berg const struct bpf_map_ops cgroup_array_map_ops = {
749ad46061fSJakub Kicinski 	.map_alloc_check = fd_array_map_alloc_check,
750ad46061fSJakub Kicinski 	.map_alloc = array_map_alloc,
7514ed8ec52SMartin KaFai Lau 	.map_free = cgroup_fd_array_free,
7524ed8ec52SMartin KaFai Lau 	.map_get_next_key = array_map_get_next_key,
7534ed8ec52SMartin KaFai Lau 	.map_lookup_elem = fd_array_map_lookup_elem,
7544ed8ec52SMartin KaFai Lau 	.map_delete_elem = fd_array_map_delete_elem,
7554ed8ec52SMartin KaFai Lau 	.map_fd_get_ptr = cgroup_fd_array_get_ptr,
7564ed8ec52SMartin KaFai Lau 	.map_fd_put_ptr = cgroup_fd_array_put_ptr,
757e8d2bec0SDaniel Borkmann 	.map_check_btf = map_check_no_btf,
7584ed8ec52SMartin KaFai Lau };
7594ed8ec52SMartin KaFai Lau #endif
76056f668dfSMartin KaFai Lau 
76156f668dfSMartin KaFai Lau static struct bpf_map *array_of_map_alloc(union bpf_attr *attr)
76256f668dfSMartin KaFai Lau {
76356f668dfSMartin KaFai Lau 	struct bpf_map *map, *inner_map_meta;
76456f668dfSMartin KaFai Lau 
76556f668dfSMartin KaFai Lau 	inner_map_meta = bpf_map_meta_alloc(attr->inner_map_fd);
76656f668dfSMartin KaFai Lau 	if (IS_ERR(inner_map_meta))
76756f668dfSMartin KaFai Lau 		return inner_map_meta;
76856f668dfSMartin KaFai Lau 
769ad46061fSJakub Kicinski 	map = array_map_alloc(attr);
77056f668dfSMartin KaFai Lau 	if (IS_ERR(map)) {
77156f668dfSMartin KaFai Lau 		bpf_map_meta_free(inner_map_meta);
77256f668dfSMartin KaFai Lau 		return map;
77356f668dfSMartin KaFai Lau 	}
77456f668dfSMartin KaFai Lau 
77556f668dfSMartin KaFai Lau 	map->inner_map_meta = inner_map_meta;
77656f668dfSMartin KaFai Lau 
77756f668dfSMartin KaFai Lau 	return map;
77856f668dfSMartin KaFai Lau }
77956f668dfSMartin KaFai Lau 
78056f668dfSMartin KaFai Lau static void array_of_map_free(struct bpf_map *map)
78156f668dfSMartin KaFai Lau {
78256f668dfSMartin KaFai Lau 	/* map->inner_map_meta is only accessed by syscall which
78356f668dfSMartin KaFai Lau 	 * is protected by fdget/fdput.
78456f668dfSMartin KaFai Lau 	 */
78556f668dfSMartin KaFai Lau 	bpf_map_meta_free(map->inner_map_meta);
78656f668dfSMartin KaFai Lau 	bpf_fd_array_map_clear(map);
78756f668dfSMartin KaFai Lau 	fd_array_map_free(map);
78856f668dfSMartin KaFai Lau }
78956f668dfSMartin KaFai Lau 
79056f668dfSMartin KaFai Lau static void *array_of_map_lookup_elem(struct bpf_map *map, void *key)
79156f668dfSMartin KaFai Lau {
79256f668dfSMartin KaFai Lau 	struct bpf_map **inner_map = array_map_lookup_elem(map, key);
79356f668dfSMartin KaFai Lau 
79456f668dfSMartin KaFai Lau 	if (!inner_map)
79556f668dfSMartin KaFai Lau 		return NULL;
79656f668dfSMartin KaFai Lau 
79756f668dfSMartin KaFai Lau 	return READ_ONCE(*inner_map);
79856f668dfSMartin KaFai Lau }
79956f668dfSMartin KaFai Lau 
8007b0c2a05SDaniel Borkmann static u32 array_of_map_gen_lookup(struct bpf_map *map,
8017b0c2a05SDaniel Borkmann 				   struct bpf_insn *insn_buf)
8027b0c2a05SDaniel Borkmann {
803b2157399SAlexei Starovoitov 	struct bpf_array *array = container_of(map, struct bpf_array, map);
8047b0c2a05SDaniel Borkmann 	u32 elem_size = round_up(map->value_size, 8);
8057b0c2a05SDaniel Borkmann 	struct bpf_insn *insn = insn_buf;
8067b0c2a05SDaniel Borkmann 	const int ret = BPF_REG_0;
8077b0c2a05SDaniel Borkmann 	const int map_ptr = BPF_REG_1;
8087b0c2a05SDaniel Borkmann 	const int index = BPF_REG_2;
8097b0c2a05SDaniel Borkmann 
8107b0c2a05SDaniel Borkmann 	*insn++ = BPF_ALU64_IMM(BPF_ADD, map_ptr, offsetof(struct bpf_array, value));
8117b0c2a05SDaniel Borkmann 	*insn++ = BPF_LDX_MEM(BPF_W, ret, index, 0);
812b2157399SAlexei Starovoitov 	if (map->unpriv_array) {
813b2157399SAlexei Starovoitov 		*insn++ = BPF_JMP_IMM(BPF_JGE, ret, map->max_entries, 6);
814b2157399SAlexei Starovoitov 		*insn++ = BPF_ALU32_IMM(BPF_AND, ret, array->index_mask);
815b2157399SAlexei Starovoitov 	} else {
8167b0c2a05SDaniel Borkmann 		*insn++ = BPF_JMP_IMM(BPF_JGE, ret, map->max_entries, 5);
817b2157399SAlexei Starovoitov 	}
8187b0c2a05SDaniel Borkmann 	if (is_power_of_2(elem_size))
8197b0c2a05SDaniel Borkmann 		*insn++ = BPF_ALU64_IMM(BPF_LSH, ret, ilog2(elem_size));
8207b0c2a05SDaniel Borkmann 	else
8217b0c2a05SDaniel Borkmann 		*insn++ = BPF_ALU64_IMM(BPF_MUL, ret, elem_size);
8227b0c2a05SDaniel Borkmann 	*insn++ = BPF_ALU64_REG(BPF_ADD, ret, map_ptr);
8237b0c2a05SDaniel Borkmann 	*insn++ = BPF_LDX_MEM(BPF_DW, ret, ret, 0);
8247b0c2a05SDaniel Borkmann 	*insn++ = BPF_JMP_IMM(BPF_JEQ, ret, 0, 1);
8257b0c2a05SDaniel Borkmann 	*insn++ = BPF_JMP_IMM(BPF_JA, 0, 0, 1);
8267b0c2a05SDaniel Borkmann 	*insn++ = BPF_MOV64_IMM(ret, 0);
8277b0c2a05SDaniel Borkmann 
8287b0c2a05SDaniel Borkmann 	return insn - insn_buf;
8297b0c2a05SDaniel Borkmann }
8307b0c2a05SDaniel Borkmann 
83140077e0cSJohannes Berg const struct bpf_map_ops array_of_maps_map_ops = {
832ad46061fSJakub Kicinski 	.map_alloc_check = fd_array_map_alloc_check,
83356f668dfSMartin KaFai Lau 	.map_alloc = array_of_map_alloc,
83456f668dfSMartin KaFai Lau 	.map_free = array_of_map_free,
83556f668dfSMartin KaFai Lau 	.map_get_next_key = array_map_get_next_key,
83656f668dfSMartin KaFai Lau 	.map_lookup_elem = array_of_map_lookup_elem,
83756f668dfSMartin KaFai Lau 	.map_delete_elem = fd_array_map_delete_elem,
83856f668dfSMartin KaFai Lau 	.map_fd_get_ptr = bpf_map_fd_get_ptr,
83956f668dfSMartin KaFai Lau 	.map_fd_put_ptr = bpf_map_fd_put_ptr,
84014dc6f04SMartin KaFai Lau 	.map_fd_sys_lookup_elem = bpf_map_fd_sys_lookup_elem,
8417b0c2a05SDaniel Borkmann 	.map_gen_lookup = array_of_map_gen_lookup,
842e8d2bec0SDaniel Borkmann 	.map_check_btf = map_check_no_btf,
84356f668dfSMartin KaFai Lau };
844