blob: 2e48d0e094d97633310f2b869c80579380e24d6f [file] [log] [blame]
Björn Töpelfbfc504a2018-05-02 13:01:28 +02001// SPDX-License-Identifier: GPL-2.0
2/* XSKMAP used for AF_XDP sockets
3 * Copyright(c) 2018 Intel Corporation.
Björn Töpelfbfc504a2018-05-02 13:01:28 +02004 */
5
6#include <linux/bpf.h>
7#include <linux/capability.h>
8#include <net/xdp_sock.h>
9#include <linux/slab.h>
10#include <linux/sched.h>
11
Björn Töpeld20a16762020-05-20 21:20:50 +020012#include "xsk.h"
13
Björn Töpel0402acd2019-08-15 11:30:13 +020014static struct xsk_map_node *xsk_map_node_alloc(struct xsk_map *map,
Toke Høiland-Jørgensen782347b2021-06-24 18:05:55 +020015 struct xdp_sock __rcu **map_entry)
Björn Töpel0402acd2019-08-15 11:30:13 +020016{
17 struct xsk_map_node *node;
Björn Töpel0402acd2019-08-15 11:30:13 +020018
Roman Gushchin28e1dcd2020-12-01 13:58:43 -080019 node = bpf_map_kzalloc(&map->map, sizeof(*node),
20 GFP_ATOMIC | __GFP_NOWARN);
Björn Töpel0402acd2019-08-15 11:30:13 +020021 if (!node)
Jonathan Lemonfcd30ae2019-09-24 09:25:21 -070022 return ERR_PTR(-ENOMEM);
Björn Töpel0402acd2019-08-15 11:30:13 +020023
Zhu Yanjunbb1b25c2020-11-26 23:03:18 +080024 bpf_map_inc(&map->map);
Björn Töpel0402acd2019-08-15 11:30:13 +020025
26 node->map = map;
27 node->map_entry = map_entry;
28 return node;
29}
30
31static void xsk_map_node_free(struct xsk_map_node *node)
32{
Zhu Yanjunbb1b25c2020-11-26 23:03:18 +080033 bpf_map_put(&node->map->map);
Björn Töpel0402acd2019-08-15 11:30:13 +020034 kfree(node);
35}
36
37static void xsk_map_sock_add(struct xdp_sock *xs, struct xsk_map_node *node)
38{
39 spin_lock_bh(&xs->map_list_lock);
40 list_add_tail(&node->node, &xs->map_list);
41 spin_unlock_bh(&xs->map_list_lock);
42}
43
44static void xsk_map_sock_delete(struct xdp_sock *xs,
Toke Høiland-Jørgensen782347b2021-06-24 18:05:55 +020045 struct xdp_sock __rcu **map_entry)
Björn Töpel0402acd2019-08-15 11:30:13 +020046{
47 struct xsk_map_node *n, *tmp;
48
49 spin_lock_bh(&xs->map_list_lock);
50 list_for_each_entry_safe(n, tmp, &xs->map_list, node) {
51 if (map_entry == n->map_entry) {
52 list_del(&n->node);
53 xsk_map_node_free(n);
54 }
55 }
56 spin_unlock_bh(&xs->map_list_lock);
57}
58
Björn Töpelfbfc504a2018-05-02 13:01:28 +020059static struct bpf_map *xsk_map_alloc(union bpf_attr *attr)
60{
Björn Töpelfbfc504a2018-05-02 13:01:28 +020061 struct xsk_map *m;
Roman Gushchin819a4f32020-12-01 13:58:56 -080062 int numa_node;
Björn Töpele312b9e2019-12-19 07:10:02 +010063 u64 size;
Björn Töpelfbfc504a2018-05-02 13:01:28 +020064
65 if (!capable(CAP_NET_ADMIN))
66 return ERR_PTR(-EPERM);
67
68 if (attr->max_entries == 0 || attr->key_size != 4 ||
69 attr->value_size != 4 ||
70 attr->map_flags & ~(BPF_F_NUMA_NODE | BPF_F_RDONLY | BPF_F_WRONLY))
71 return ERR_PTR(-EINVAL);
72
Björn Töpel64fe8c02019-11-01 12:03:44 +010073 numa_node = bpf_map_attr_numa_node(attr);
74 size = struct_size(m, xsk_map, attr->max_entries);
Björn Töpel64fe8c02019-11-01 12:03:44 +010075
Björn Töpel64fe8c02019-11-01 12:03:44 +010076 m = bpf_map_area_alloc(size, numa_node);
Roman Gushchin819a4f32020-12-01 13:58:56 -080077 if (!m)
Björn Töpelfbfc504a2018-05-02 13:01:28 +020078 return ERR_PTR(-ENOMEM);
79
80 bpf_map_init_from_attr(&m->map, attr);
Björn Töpel0402acd2019-08-15 11:30:13 +020081 spin_lock_init(&m->lock);
Björn Töpelfbfc504a2018-05-02 13:01:28 +020082
Björn Töpelfbfc504a2018-05-02 13:01:28 +020083 return &m->map;
Björn Töpelfbfc504a2018-05-02 13:01:28 +020084}
85
86static void xsk_map_free(struct bpf_map *map)
87{
88 struct xsk_map *m = container_of(map, struct xsk_map, map);
Björn Töpelfbfc504a2018-05-02 13:01:28 +020089
90 synchronize_net();
Björn Töpel64fe8c02019-11-01 12:03:44 +010091 bpf_map_area_free(m);
Björn Töpelfbfc504a2018-05-02 13:01:28 +020092}
93
94static int xsk_map_get_next_key(struct bpf_map *map, void *key, void *next_key)
95{
96 struct xsk_map *m = container_of(map, struct xsk_map, map);
97 u32 index = key ? *(u32 *)key : U32_MAX;
98 u32 *next = next_key;
99
100 if (index >= m->map.max_entries) {
101 *next = 0;
102 return 0;
103 }
104
105 if (index == m->map.max_entries - 1)
106 return -ENOENT;
107 *next = index + 1;
108 return 0;
109}
110
Daniel Borkmann4a8f87e2020-10-11 01:40:03 +0200111static int xsk_map_gen_lookup(struct bpf_map *map, struct bpf_insn *insn_buf)
Maciej Fijalkowskie65650f2019-11-01 12:03:45 +0100112{
113 const int ret = BPF_REG_0, mp = BPF_REG_1, index = BPF_REG_2;
114 struct bpf_insn *insn = insn_buf;
115
116 *insn++ = BPF_LDX_MEM(BPF_W, ret, index, 0);
117 *insn++ = BPF_JMP_IMM(BPF_JGE, ret, map->max_entries, 5);
118 *insn++ = BPF_ALU64_IMM(BPF_LSH, ret, ilog2(sizeof(struct xsk_sock *)));
119 *insn++ = BPF_ALU64_IMM(BPF_ADD, mp, offsetof(struct xsk_map, xsk_map));
120 *insn++ = BPF_ALU64_REG(BPF_ADD, ret, mp);
121 *insn++ = BPF_LDX_MEM(BPF_SIZEOF(struct xsk_sock *), ret, ret, 0);
122 *insn++ = BPF_JMP_IMM(BPF_JA, 0, 0, 1);
123 *insn++ = BPF_MOV64_IMM(ret, 0);
124 return insn - insn_buf;
125}
126
Toke Høiland-Jørgensen782347b2021-06-24 18:05:55 +0200127/* Elements are kept alive by RCU; either by rcu_read_lock() (from syscall) or
128 * by local_bh_disable() (from XDP calls inside NAPI). The
129 * rcu_read_lock_bh_held() below makes lockdep accept both.
130 */
Björn Töpele6a47502021-03-08 12:29:06 +0100131static void *__xsk_map_lookup_elem(struct bpf_map *map, u32 key)
132{
133 struct xsk_map *m = container_of(map, struct xsk_map, map);
134
135 if (key >= map->max_entries)
136 return NULL;
137
Toke Høiland-Jørgensen782347b2021-06-24 18:05:55 +0200138 return rcu_dereference_check(m->xsk_map[key], rcu_read_lock_bh_held());
Björn Töpele6a47502021-03-08 12:29:06 +0100139}
140
Björn Töpelfbfc504a2018-05-02 13:01:28 +0200141static void *xsk_map_lookup_elem(struct bpf_map *map, void *key)
142{
Jonathan Lemonfada7fd2019-06-06 13:59:40 -0700143 return __xsk_map_lookup_elem(map, *(u32 *)key);
144}
145
146static void *xsk_map_lookup_elem_sys_only(struct bpf_map *map, void *key)
147{
Prashant Bhole3b4a63f2018-10-09 10:04:50 +0900148 return ERR_PTR(-EOPNOTSUPP);
Björn Töpelfbfc504a2018-05-02 13:01:28 +0200149}
150
151static int xsk_map_update_elem(struct bpf_map *map, void *key, void *value,
152 u64 map_flags)
153{
154 struct xsk_map *m = container_of(map, struct xsk_map, map);
Toke Høiland-Jørgensen782347b2021-06-24 18:05:55 +0200155 struct xdp_sock __rcu **map_entry;
156 struct xdp_sock *xs, *old_xs;
Björn Töpelfbfc504a2018-05-02 13:01:28 +0200157 u32 i = *(u32 *)key, fd = *(u32 *)value;
Björn Töpel0402acd2019-08-15 11:30:13 +0200158 struct xsk_map_node *node;
Björn Töpelfbfc504a2018-05-02 13:01:28 +0200159 struct socket *sock;
160 int err;
161
162 if (unlikely(map_flags > BPF_EXIST))
163 return -EINVAL;
164 if (unlikely(i >= m->map.max_entries))
165 return -E2BIG;
Björn Töpelfbfc504a2018-05-02 13:01:28 +0200166
167 sock = sockfd_lookup(fd, &err);
168 if (!sock)
169 return err;
170
171 if (sock->sk->sk_family != PF_XDP) {
172 sockfd_put(sock);
173 return -EOPNOTSUPP;
174 }
175
176 xs = (struct xdp_sock *)sock->sk;
177
Björn Töpel0402acd2019-08-15 11:30:13 +0200178 map_entry = &m->xsk_map[i];
179 node = xsk_map_node_alloc(m, map_entry);
180 if (IS_ERR(node)) {
181 sockfd_put(sock);
182 return PTR_ERR(node);
183 }
Björn Töpelfbfc504a2018-05-02 13:01:28 +0200184
Björn Töpel0402acd2019-08-15 11:30:13 +0200185 spin_lock_bh(&m->lock);
Toke Høiland-Jørgensen782347b2021-06-24 18:05:55 +0200186 old_xs = rcu_dereference_protected(*map_entry, lockdep_is_held(&m->lock));
Björn Töpel0402acd2019-08-15 11:30:13 +0200187 if (old_xs == xs) {
188 err = 0;
189 goto out;
Björn Töpel36cc34352019-08-15 11:30:14 +0200190 } else if (old_xs && map_flags == BPF_NOEXIST) {
191 err = -EEXIST;
192 goto out;
193 } else if (!old_xs && map_flags == BPF_EXIST) {
194 err = -ENOENT;
195 goto out;
Björn Töpel0402acd2019-08-15 11:30:13 +0200196 }
197 xsk_map_sock_add(xs, node);
Toke Høiland-Jørgensen782347b2021-06-24 18:05:55 +0200198 rcu_assign_pointer(*map_entry, xs);
Björn Töpelcee27162018-10-08 19:40:16 +0200199 if (old_xs)
Björn Töpel0402acd2019-08-15 11:30:13 +0200200 xsk_map_sock_delete(old_xs, map_entry);
201 spin_unlock_bh(&m->lock);
Björn Töpelfbfc504a2018-05-02 13:01:28 +0200202 sockfd_put(sock);
203 return 0;
Björn Töpel0402acd2019-08-15 11:30:13 +0200204
205out:
206 spin_unlock_bh(&m->lock);
207 sockfd_put(sock);
208 xsk_map_node_free(node);
209 return err;
Björn Töpelfbfc504a2018-05-02 13:01:28 +0200210}
211
212static int xsk_map_delete_elem(struct bpf_map *map, void *key)
213{
214 struct xsk_map *m = container_of(map, struct xsk_map, map);
Toke Høiland-Jørgensen782347b2021-06-24 18:05:55 +0200215 struct xdp_sock __rcu **map_entry;
216 struct xdp_sock *old_xs;
Björn Töpelfbfc504a2018-05-02 13:01:28 +0200217 int k = *(u32 *)key;
218
219 if (k >= map->max_entries)
220 return -EINVAL;
221
Björn Töpel0402acd2019-08-15 11:30:13 +0200222 spin_lock_bh(&m->lock);
223 map_entry = &m->xsk_map[k];
Toke Høiland-Jørgensen782347b2021-06-24 18:05:55 +0200224 old_xs = unrcu_pointer(xchg(map_entry, NULL));
Björn Töpelcee27162018-10-08 19:40:16 +0200225 if (old_xs)
Björn Töpel0402acd2019-08-15 11:30:13 +0200226 xsk_map_sock_delete(old_xs, map_entry);
227 spin_unlock_bh(&m->lock);
Björn Töpelfbfc504a2018-05-02 13:01:28 +0200228
229 return 0;
230}
231
Björn Töpele6a47502021-03-08 12:29:06 +0100232static int xsk_map_redirect(struct bpf_map *map, u32 ifindex, u64 flags)
233{
Hangbin Liue624d4e2021-05-19 17:07:45 +0800234 return __bpf_xdp_redirect_map(map, ifindex, flags, 0,
235 __xsk_map_lookup_elem);
Björn Töpele6a47502021-03-08 12:29:06 +0100236}
237
Björn Töpel0402acd2019-08-15 11:30:13 +0200238void xsk_map_try_sock_delete(struct xsk_map *map, struct xdp_sock *xs,
Toke Høiland-Jørgensen782347b2021-06-24 18:05:55 +0200239 struct xdp_sock __rcu **map_entry)
Björn Töpel0402acd2019-08-15 11:30:13 +0200240{
241 spin_lock_bh(&map->lock);
Toke Høiland-Jørgensen782347b2021-06-24 18:05:55 +0200242 if (rcu_access_pointer(*map_entry) == xs) {
243 rcu_assign_pointer(*map_entry, NULL);
Björn Töpel0402acd2019-08-15 11:30:13 +0200244 xsk_map_sock_delete(xs, map_entry);
245 }
246 spin_unlock_bh(&map->lock);
247}
248
Martin KaFai Lau134fede2020-08-27 18:18:13 -0700249static bool xsk_map_meta_equal(const struct bpf_map *meta0,
250 const struct bpf_map *meta1)
251{
252 return meta0->max_entries == meta1->max_entries &&
253 bpf_map_meta_equal(meta0, meta1);
254}
255
Andrey Ignatov2872e9a2020-06-19 14:11:44 -0700256static int xsk_map_btf_id;
Björn Töpelfbfc504a2018-05-02 13:01:28 +0200257const struct bpf_map_ops xsk_map_ops = {
Martin KaFai Lau134fede2020-08-27 18:18:13 -0700258 .map_meta_equal = xsk_map_meta_equal,
Björn Töpelfbfc504a2018-05-02 13:01:28 +0200259 .map_alloc = xsk_map_alloc,
260 .map_free = xsk_map_free,
261 .map_get_next_key = xsk_map_get_next_key,
262 .map_lookup_elem = xsk_map_lookup_elem,
Maciej Fijalkowskie65650f2019-11-01 12:03:45 +0100263 .map_gen_lookup = xsk_map_gen_lookup,
Jonathan Lemonfada7fd2019-06-06 13:59:40 -0700264 .map_lookup_elem_sys_only = xsk_map_lookup_elem_sys_only,
Björn Töpelfbfc504a2018-05-02 13:01:28 +0200265 .map_update_elem = xsk_map_update_elem,
266 .map_delete_elem = xsk_map_delete_elem,
Daniel Borkmanne8d2bec2018-08-12 01:59:17 +0200267 .map_check_btf = map_check_no_btf,
Andrey Ignatov2872e9a2020-06-19 14:11:44 -0700268 .map_btf_name = "xsk_map",
269 .map_btf_id = &xsk_map_btf_id,
Björn Töpele6a47502021-03-08 12:29:06 +0100270 .map_redirect = xsk_map_redirect,
Björn Töpelfbfc504a2018-05-02 13:01:28 +0200271};