xref: /linux/net/xdp/xskmap.c (revision 2c1ed907520c50326b8f604907a8478b27881a2e)
1fbfc504aSBjörn Töpel // SPDX-License-Identifier: GPL-2.0
2fbfc504aSBjörn Töpel /* XSKMAP used for AF_XDP sockets
3fbfc504aSBjörn Töpel  * Copyright(c) 2018 Intel Corporation.
4fbfc504aSBjörn Töpel  */
5fbfc504aSBjörn Töpel 
6fbfc504aSBjörn Töpel #include <linux/bpf.h>
7b6459415SJakub Kicinski #include <linux/filter.h>
8fbfc504aSBjörn Töpel #include <net/xdp_sock.h>
9fbfc504aSBjörn Töpel #include <linux/slab.h>
10fbfc504aSBjörn Töpel #include <linux/sched.h>
11c317ab71SMenglong Dong #include <linux/btf_ids.h>
12fbfc504aSBjörn Töpel 
13d20a1676SBjörn Töpel #include "xsk.h"
14d20a1676SBjörn Töpel 
xsk_map_node_alloc(struct xsk_map * map,struct xdp_sock __rcu ** map_entry)150402acd6SBjörn Töpel static struct xsk_map_node *xsk_map_node_alloc(struct xsk_map *map,
16782347b6SToke Høiland-Jørgensen 					       struct xdp_sock __rcu **map_entry)
170402acd6SBjörn Töpel {
180402acd6SBjörn Töpel 	struct xsk_map_node *node;
190402acd6SBjörn Töpel 
2028e1dcdeSRoman Gushchin 	node = bpf_map_kzalloc(&map->map, sizeof(*node),
2128e1dcdeSRoman Gushchin 			       GFP_ATOMIC | __GFP_NOWARN);
220402acd6SBjörn Töpel 	if (!node)
23fcd30ae0SJonathan Lemon 		return ERR_PTR(-ENOMEM);
240402acd6SBjörn Töpel 
25bb1b25caSZhu Yanjun 	bpf_map_inc(&map->map);
26b4fd0d67SYafang Shao 	atomic_inc(&map->count);
270402acd6SBjörn Töpel 
280402acd6SBjörn Töpel 	node->map = map;
290402acd6SBjörn Töpel 	node->map_entry = map_entry;
300402acd6SBjörn Töpel 	return node;
310402acd6SBjörn Töpel }
320402acd6SBjörn Töpel 
xsk_map_node_free(struct xsk_map_node * node)330402acd6SBjörn Töpel static void xsk_map_node_free(struct xsk_map_node *node)
340402acd6SBjörn Töpel {
35b4fd0d67SYafang Shao 	struct xsk_map *map = node->map;
36b4fd0d67SYafang Shao 
37bb1b25caSZhu Yanjun 	bpf_map_put(&node->map->map);
380402acd6SBjörn Töpel 	kfree(node);
39b4fd0d67SYafang Shao 	atomic_dec(&map->count);
400402acd6SBjörn Töpel }
410402acd6SBjörn Töpel 
xsk_map_sock_add(struct xdp_sock * xs,struct xsk_map_node * node)420402acd6SBjörn Töpel static void xsk_map_sock_add(struct xdp_sock *xs, struct xsk_map_node *node)
430402acd6SBjörn Töpel {
440402acd6SBjörn Töpel 	spin_lock_bh(&xs->map_list_lock);
450402acd6SBjörn Töpel 	list_add_tail(&node->node, &xs->map_list);
460402acd6SBjörn Töpel 	spin_unlock_bh(&xs->map_list_lock);
470402acd6SBjörn Töpel }
480402acd6SBjörn Töpel 
xsk_map_sock_delete(struct xdp_sock * xs,struct xdp_sock __rcu ** map_entry)490402acd6SBjörn Töpel static void xsk_map_sock_delete(struct xdp_sock *xs,
50782347b6SToke Høiland-Jørgensen 				struct xdp_sock __rcu **map_entry)
510402acd6SBjörn Töpel {
520402acd6SBjörn Töpel 	struct xsk_map_node *n, *tmp;
530402acd6SBjörn Töpel 
540402acd6SBjörn Töpel 	spin_lock_bh(&xs->map_list_lock);
550402acd6SBjörn Töpel 	list_for_each_entry_safe(n, tmp, &xs->map_list, node) {
560402acd6SBjörn Töpel 		if (map_entry == n->map_entry) {
570402acd6SBjörn Töpel 			list_del(&n->node);
580402acd6SBjörn Töpel 			xsk_map_node_free(n);
590402acd6SBjörn Töpel 		}
600402acd6SBjörn Töpel 	}
610402acd6SBjörn Töpel 	spin_unlock_bh(&xs->map_list_lock);
620402acd6SBjörn Töpel }
630402acd6SBjörn Töpel 
xsk_map_alloc(union bpf_attr * attr)64fbfc504aSBjörn Töpel static struct bpf_map *xsk_map_alloc(union bpf_attr *attr)
65fbfc504aSBjörn Töpel {
66fbfc504aSBjörn Töpel 	struct xsk_map *m;
67819a4f32SRoman Gushchin 	int numa_node;
68e312b9e7SBjörn Töpel 	u64 size;
69fbfc504aSBjörn Töpel 
70fbfc504aSBjörn Töpel 	if (attr->max_entries == 0 || attr->key_size != 4 ||
71fbfc504aSBjörn Töpel 	    attr->value_size != 4 ||
72fbfc504aSBjörn Töpel 	    attr->map_flags & ~(BPF_F_NUMA_NODE | BPF_F_RDONLY | BPF_F_WRONLY))
73fbfc504aSBjörn Töpel 		return ERR_PTR(-EINVAL);
74fbfc504aSBjörn Töpel 
7564fe8c06SBjörn Töpel 	numa_node = bpf_map_attr_numa_node(attr);
7664fe8c06SBjörn Töpel 	size = struct_size(m, xsk_map, attr->max_entries);
7764fe8c06SBjörn Töpel 
7864fe8c06SBjörn Töpel 	m = bpf_map_area_alloc(size, numa_node);
79819a4f32SRoman Gushchin 	if (!m)
80fbfc504aSBjörn Töpel 		return ERR_PTR(-ENOMEM);
81fbfc504aSBjörn Töpel 
82fbfc504aSBjörn Töpel 	bpf_map_init_from_attr(&m->map, attr);
830402acd6SBjörn Töpel 	spin_lock_init(&m->lock);
84fbfc504aSBjörn Töpel 
85fbfc504aSBjörn Töpel 	return &m->map;
86fbfc504aSBjörn Töpel }
87fbfc504aSBjörn Töpel 
xsk_map_mem_usage(const struct bpf_map * map)88b4fd0d67SYafang Shao static u64 xsk_map_mem_usage(const struct bpf_map *map)
89b4fd0d67SYafang Shao {
90b4fd0d67SYafang Shao 	struct xsk_map *m = container_of(map, struct xsk_map, map);
91b4fd0d67SYafang Shao 
92b4fd0d67SYafang Shao 	return struct_size(m, xsk_map, map->max_entries) +
93b4fd0d67SYafang Shao 		   (u64)atomic_read(&m->count) * sizeof(struct xsk_map_node);
94b4fd0d67SYafang Shao }
95b4fd0d67SYafang Shao 
xsk_map_free(struct bpf_map * map)96fbfc504aSBjörn Töpel static void xsk_map_free(struct bpf_map *map)
97fbfc504aSBjörn Töpel {
98fbfc504aSBjörn Töpel 	struct xsk_map *m = container_of(map, struct xsk_map, map);
99fbfc504aSBjörn Töpel 
100fbfc504aSBjörn Töpel 	synchronize_net();
10164fe8c06SBjörn Töpel 	bpf_map_area_free(m);
102fbfc504aSBjörn Töpel }
103fbfc504aSBjörn Töpel 
xsk_map_get_next_key(struct bpf_map * map,void * key,void * next_key)104fbfc504aSBjörn Töpel static int xsk_map_get_next_key(struct bpf_map *map, void *key, void *next_key)
105fbfc504aSBjörn Töpel {
106fbfc504aSBjörn Töpel 	struct xsk_map *m = container_of(map, struct xsk_map, map);
107fbfc504aSBjörn Töpel 	u32 index = key ? *(u32 *)key : U32_MAX;
108fbfc504aSBjörn Töpel 	u32 *next = next_key;
109fbfc504aSBjörn Töpel 
110fbfc504aSBjörn Töpel 	if (index >= m->map.max_entries) {
111fbfc504aSBjörn Töpel 		*next = 0;
112fbfc504aSBjörn Töpel 		return 0;
113fbfc504aSBjörn Töpel 	}
114fbfc504aSBjörn Töpel 
115fbfc504aSBjörn Töpel 	if (index == m->map.max_entries - 1)
116fbfc504aSBjörn Töpel 		return -ENOENT;
117fbfc504aSBjörn Töpel 	*next = index + 1;
118fbfc504aSBjörn Töpel 	return 0;
119fbfc504aSBjörn Töpel }
120fbfc504aSBjörn Töpel 
xsk_map_gen_lookup(struct bpf_map * map,struct bpf_insn * insn_buf)1214a8f87e6SDaniel Borkmann static int xsk_map_gen_lookup(struct bpf_map *map, struct bpf_insn *insn_buf)
122e65650f2SMaciej Fijalkowski {
123e65650f2SMaciej Fijalkowski 	const int ret = BPF_REG_0, mp = BPF_REG_1, index = BPF_REG_2;
124e65650f2SMaciej Fijalkowski 	struct bpf_insn *insn = insn_buf;
125e65650f2SMaciej Fijalkowski 
126e65650f2SMaciej Fijalkowski 	*insn++ = BPF_LDX_MEM(BPF_W, ret, index, 0);
127e65650f2SMaciej Fijalkowski 	*insn++ = BPF_JMP_IMM(BPF_JGE, ret, map->max_entries, 5);
128e65650f2SMaciej Fijalkowski 	*insn++ = BPF_ALU64_IMM(BPF_LSH, ret, ilog2(sizeof(struct xsk_sock *)));
129e65650f2SMaciej Fijalkowski 	*insn++ = BPF_ALU64_IMM(BPF_ADD, mp, offsetof(struct xsk_map, xsk_map));
130e65650f2SMaciej Fijalkowski 	*insn++ = BPF_ALU64_REG(BPF_ADD, ret, mp);
131e65650f2SMaciej Fijalkowski 	*insn++ = BPF_LDX_MEM(BPF_SIZEOF(struct xsk_sock *), ret, ret, 0);
132e65650f2SMaciej Fijalkowski 	*insn++ = BPF_JMP_IMM(BPF_JA, 0, 0, 1);
133e65650f2SMaciej Fijalkowski 	*insn++ = BPF_MOV64_IMM(ret, 0);
134e65650f2SMaciej Fijalkowski 	return insn - insn_buf;
135e65650f2SMaciej Fijalkowski }
136e65650f2SMaciej Fijalkowski 
137782347b6SToke Høiland-Jørgensen /* Elements are kept alive by RCU; either by rcu_read_lock() (from syscall) or
138782347b6SToke Høiland-Jørgensen  * by local_bh_disable() (from XDP calls inside NAPI). The
139782347b6SToke Høiland-Jørgensen  * rcu_read_lock_bh_held() below makes lockdep accept both.
140782347b6SToke Høiland-Jørgensen  */
__xsk_map_lookup_elem(struct bpf_map * map,u32 key)141e6a4750fSBjörn Töpel static void *__xsk_map_lookup_elem(struct bpf_map *map, u32 key)
142e6a4750fSBjörn Töpel {
143e6a4750fSBjörn Töpel 	struct xsk_map *m = container_of(map, struct xsk_map, map);
144e6a4750fSBjörn Töpel 
145e6a4750fSBjörn Töpel 	if (key >= map->max_entries)
146e6a4750fSBjörn Töpel 		return NULL;
147e6a4750fSBjörn Töpel 
148782347b6SToke Høiland-Jørgensen 	return rcu_dereference_check(m->xsk_map[key], rcu_read_lock_bh_held());
149e6a4750fSBjörn Töpel }
150e6a4750fSBjörn Töpel 
xsk_map_lookup_elem(struct bpf_map * map,void * key)151fbfc504aSBjörn Töpel static void *xsk_map_lookup_elem(struct bpf_map *map, void *key)
152fbfc504aSBjörn Töpel {
153fada7fdcSJonathan Lemon 	return __xsk_map_lookup_elem(map, *(u32 *)key);
154fada7fdcSJonathan Lemon }
155fada7fdcSJonathan Lemon 
xsk_map_lookup_elem_sys_only(struct bpf_map * map,void * key)156fada7fdcSJonathan Lemon static void *xsk_map_lookup_elem_sys_only(struct bpf_map *map, void *key)
157fada7fdcSJonathan Lemon {
1583b4a63f6SPrashant Bhole 	return ERR_PTR(-EOPNOTSUPP);
159fbfc504aSBjörn Töpel }
160fbfc504aSBjörn Töpel 
xsk_map_update_elem(struct bpf_map * map,void * key,void * value,u64 map_flags)161d7ba4cc9SJP Kobryn static long xsk_map_update_elem(struct bpf_map *map, void *key, void *value,
162fbfc504aSBjörn Töpel 				u64 map_flags)
163fbfc504aSBjörn Töpel {
164fbfc504aSBjörn Töpel 	struct xsk_map *m = container_of(map, struct xsk_map, map);
165782347b6SToke Høiland-Jørgensen 	struct xdp_sock __rcu **map_entry;
166782347b6SToke Høiland-Jørgensen 	struct xdp_sock *xs, *old_xs;
167fbfc504aSBjörn Töpel 	u32 i = *(u32 *)key, fd = *(u32 *)value;
1680402acd6SBjörn Töpel 	struct xsk_map_node *node;
169fbfc504aSBjörn Töpel 	struct socket *sock;
170fbfc504aSBjörn Töpel 	int err;
171fbfc504aSBjörn Töpel 
172fbfc504aSBjörn Töpel 	if (unlikely(map_flags > BPF_EXIST))
173fbfc504aSBjörn Töpel 		return -EINVAL;
174fbfc504aSBjörn Töpel 	if (unlikely(i >= m->map.max_entries))
175fbfc504aSBjörn Töpel 		return -E2BIG;
176fbfc504aSBjörn Töpel 
177fbfc504aSBjörn Töpel 	sock = sockfd_lookup(fd, &err);
178fbfc504aSBjörn Töpel 	if (!sock)
179fbfc504aSBjörn Töpel 		return err;
180fbfc504aSBjörn Töpel 
181fbfc504aSBjörn Töpel 	if (sock->sk->sk_family != PF_XDP) {
182fbfc504aSBjörn Töpel 		sockfd_put(sock);
183fbfc504aSBjörn Töpel 		return -EOPNOTSUPP;
184fbfc504aSBjörn Töpel 	}
185fbfc504aSBjörn Töpel 
186fbfc504aSBjörn Töpel 	xs = (struct xdp_sock *)sock->sk;
187fbfc504aSBjörn Töpel 
1880402acd6SBjörn Töpel 	map_entry = &m->xsk_map[i];
1890402acd6SBjörn Töpel 	node = xsk_map_node_alloc(m, map_entry);
1900402acd6SBjörn Töpel 	if (IS_ERR(node)) {
1910402acd6SBjörn Töpel 		sockfd_put(sock);
1920402acd6SBjörn Töpel 		return PTR_ERR(node);
1930402acd6SBjörn Töpel 	}
194fbfc504aSBjörn Töpel 
1950402acd6SBjörn Töpel 	spin_lock_bh(&m->lock);
196782347b6SToke Høiland-Jørgensen 	old_xs = rcu_dereference_protected(*map_entry, lockdep_is_held(&m->lock));
1970402acd6SBjörn Töpel 	if (old_xs == xs) {
1980402acd6SBjörn Töpel 		err = 0;
1990402acd6SBjörn Töpel 		goto out;
20036cc3435SBjörn Töpel 	} else if (old_xs && map_flags == BPF_NOEXIST) {
20136cc3435SBjörn Töpel 		err = -EEXIST;
20236cc3435SBjörn Töpel 		goto out;
20336cc3435SBjörn Töpel 	} else if (!old_xs && map_flags == BPF_EXIST) {
20436cc3435SBjörn Töpel 		err = -ENOENT;
20536cc3435SBjörn Töpel 		goto out;
2060402acd6SBjörn Töpel 	}
2070402acd6SBjörn Töpel 	xsk_map_sock_add(xs, node);
208782347b6SToke Høiland-Jørgensen 	rcu_assign_pointer(*map_entry, xs);
209cee27167SBjörn Töpel 	if (old_xs)
2100402acd6SBjörn Töpel 		xsk_map_sock_delete(old_xs, map_entry);
2110402acd6SBjörn Töpel 	spin_unlock_bh(&m->lock);
212fbfc504aSBjörn Töpel 	sockfd_put(sock);
213fbfc504aSBjörn Töpel 	return 0;
2140402acd6SBjörn Töpel 
2150402acd6SBjörn Töpel out:
2160402acd6SBjörn Töpel 	spin_unlock_bh(&m->lock);
2170402acd6SBjörn Töpel 	sockfd_put(sock);
2180402acd6SBjörn Töpel 	xsk_map_node_free(node);
2190402acd6SBjörn Töpel 	return err;
220fbfc504aSBjörn Töpel }
221fbfc504aSBjörn Töpel 
xsk_map_delete_elem(struct bpf_map * map,void * key)222d7ba4cc9SJP Kobryn static long xsk_map_delete_elem(struct bpf_map *map, void *key)
223fbfc504aSBjörn Töpel {
224fbfc504aSBjörn Töpel 	struct xsk_map *m = container_of(map, struct xsk_map, map);
225782347b6SToke Høiland-Jørgensen 	struct xdp_sock __rcu **map_entry;
226782347b6SToke Høiland-Jørgensen 	struct xdp_sock *old_xs;
227*32cd3db7SMaciej Fijalkowski 	u32 k = *(u32 *)key;
228fbfc504aSBjörn Töpel 
229fbfc504aSBjörn Töpel 	if (k >= map->max_entries)
230fbfc504aSBjörn Töpel 		return -EINVAL;
231fbfc504aSBjörn Töpel 
2320402acd6SBjörn Töpel 	spin_lock_bh(&m->lock);
2330402acd6SBjörn Töpel 	map_entry = &m->xsk_map[k];
234782347b6SToke Høiland-Jørgensen 	old_xs = unrcu_pointer(xchg(map_entry, NULL));
235cee27167SBjörn Töpel 	if (old_xs)
2360402acd6SBjörn Töpel 		xsk_map_sock_delete(old_xs, map_entry);
2370402acd6SBjörn Töpel 	spin_unlock_bh(&m->lock);
238fbfc504aSBjörn Töpel 
239fbfc504aSBjörn Töpel 	return 0;
240fbfc504aSBjörn Töpel }
241fbfc504aSBjörn Töpel 
xsk_map_redirect(struct bpf_map * map,u64 index,u64 flags)242d7ba4cc9SJP Kobryn static long xsk_map_redirect(struct bpf_map *map, u64 index, u64 flags)
243e6a4750fSBjörn Töpel {
24432637e33SToke Høiland-Jørgensen 	return __bpf_xdp_redirect_map(map, index, flags, 0,
245e624d4edSHangbin Liu 				      __xsk_map_lookup_elem);
246e6a4750fSBjörn Töpel }
247e6a4750fSBjörn Töpel 
xsk_map_try_sock_delete(struct xsk_map * map,struct xdp_sock * xs,struct xdp_sock __rcu ** map_entry)2480402acd6SBjörn Töpel void xsk_map_try_sock_delete(struct xsk_map *map, struct xdp_sock *xs,
249782347b6SToke Høiland-Jørgensen 			     struct xdp_sock __rcu **map_entry)
2500402acd6SBjörn Töpel {
2510402acd6SBjörn Töpel 	spin_lock_bh(&map->lock);
252782347b6SToke Høiland-Jørgensen 	if (rcu_access_pointer(*map_entry) == xs) {
253782347b6SToke Høiland-Jørgensen 		rcu_assign_pointer(*map_entry, NULL);
2540402acd6SBjörn Töpel 		xsk_map_sock_delete(xs, map_entry);
2550402acd6SBjörn Töpel 	}
2560402acd6SBjörn Töpel 	spin_unlock_bh(&map->lock);
2570402acd6SBjörn Töpel }
2580402acd6SBjörn Töpel 
xsk_map_meta_equal(const struct bpf_map * meta0,const struct bpf_map * meta1)259134fede4SMartin KaFai Lau static bool xsk_map_meta_equal(const struct bpf_map *meta0,
260134fede4SMartin KaFai Lau 			       const struct bpf_map *meta1)
261134fede4SMartin KaFai Lau {
262134fede4SMartin KaFai Lau 	return meta0->max_entries == meta1->max_entries &&
263134fede4SMartin KaFai Lau 		bpf_map_meta_equal(meta0, meta1);
264134fede4SMartin KaFai Lau }
265134fede4SMartin KaFai Lau 
266c317ab71SMenglong Dong BTF_ID_LIST_SINGLE(xsk_map_btf_ids, struct, xsk_map)
267fbfc504aSBjörn Töpel const struct bpf_map_ops xsk_map_ops = {
268134fede4SMartin KaFai Lau 	.map_meta_equal = xsk_map_meta_equal,
269fbfc504aSBjörn Töpel 	.map_alloc = xsk_map_alloc,
270fbfc504aSBjörn Töpel 	.map_free = xsk_map_free,
271fbfc504aSBjörn Töpel 	.map_get_next_key = xsk_map_get_next_key,
272fbfc504aSBjörn Töpel 	.map_lookup_elem = xsk_map_lookup_elem,
273e65650f2SMaciej Fijalkowski 	.map_gen_lookup = xsk_map_gen_lookup,
274fada7fdcSJonathan Lemon 	.map_lookup_elem_sys_only = xsk_map_lookup_elem_sys_only,
275fbfc504aSBjörn Töpel 	.map_update_elem = xsk_map_update_elem,
276fbfc504aSBjörn Töpel 	.map_delete_elem = xsk_map_delete_elem,
277e8d2bec0SDaniel Borkmann 	.map_check_btf = map_check_no_btf,
278b4fd0d67SYafang Shao 	.map_mem_usage = xsk_map_mem_usage,
279c317ab71SMenglong Dong 	.map_btf_id = &xsk_map_btf_ids[0],
280e6a4750fSBjörn Töpel 	.map_redirect = xsk_map_redirect,
281fbfc504aSBjörn Töpel };
282