1 // SPDX-License-Identifier: GPL-2.0-only
2 /* Copyright (c) 2017 Covalent IO, Inc. http://covalent.io
5 /* Devmaps primary use is as a backend map for XDP BPF helper call
6 * bpf_redirect_map(). Because XDP is mostly concerned with performance we
7 * spent some effort to ensure the datapath with redirect maps does not use
8 * any locking. This is a quick note on the details.
10 * We have three possible paths to get into the devmap control plane bpf
11 * syscalls, bpf programs, and driver side xmit/flush operations. A bpf syscall
12 * will invoke an update, delete, or lookup operation. To ensure updates and
13 * deletes appear atomic from the datapath side xchg() is used to modify the
14 * netdev_map array. Then because the datapath does a lookup into the netdev_map
15 * array (read-only) from an RCU critical section we use call_rcu() to wait for
16 * an rcu grace period before free'ing the old data structures. This ensures the
17 * datapath always has a valid copy. However, the datapath does a "flush"
18 * operation that pushes any pending packets in the driver outside the RCU
19 * critical section. Each bpf_dtab_netdev tracks these pending operations using
20 * a per-cpu flush list. The bpf_dtab_netdev object will not be destroyed until
21 * this list is empty, indicating outstanding flush operations have completed.
23 * BPF syscalls may race with BPF program calls on any of the update, delete
24 * or lookup operations. As noted above the xchg() operation also keep the
25 * netdev_map consistent in this case. From the devmap side BPF programs
26 * calling into these operations are the same as multiple user space threads
27 * making system calls.
29 * Finally, any of the above may race with a netdev_unregister notifier. The
30 * unregister notifier must search for net devices in the map structure that
31 * contain a reference to the net device and remove them. This is a two step
32 * process (a) dereference the bpf_dtab_netdev object in netdev_map and (b)
33 * check to see if the ifindex is the same as the net_device being removed.
34 * When removing the dev a cmpxchg() is used to ensure the correct dev is
35 * removed, in the case of a concurrent update or delete operation it is
36 * possible that the initially referenced dev is no longer in the map. As the
37 * notifier hook walks the map we know that new dev references can not be
38 * added by the user because core infrastructure ensures dev_get_by_index()
39 * calls will fail at this point.
41 * The devmap_hash type is a map type which interprets keys as ifindexes and
42 * indexes these using a hashmap. This allows maps that use ifindex as key to be
43 * densely packed instead of having holes in the lookup array for unused
44 * ifindexes. The setup and packet enqueue/send code is shared between the two
45 * types of devmap; only the lookup and insertion is different.
47 #include <linux/bpf.h>
49 #include <linux/filter.h>
50 #include <trace/events/xdp.h>
51 #include <linux/btf_ids.h>
53 #define DEV_CREATE_FLAG_MASK \
54 (BPF_F_NUMA_NODE | BPF_F_RDONLY | BPF_F_WRONLY)
56 struct xdp_dev_bulk_queue
{
57 struct xdp_frame
*q
[DEV_MAP_BULK_SIZE
];
58 struct list_head flush_node
;
59 struct net_device
*dev
;
60 struct net_device
*dev_rx
;
61 struct bpf_prog
*xdp_prog
;
65 struct bpf_dtab_netdev
{
66 struct net_device
*dev
; /* must be first member, due to tracepoint */
67 struct hlist_node index_hlist
;
68 struct bpf_prog
*xdp_prog
;
71 struct bpf_devmap_val val
;
76 struct bpf_dtab_netdev __rcu
**netdev_map
; /* DEVMAP type only */
77 struct list_head list
;
79 /* these are only used for DEVMAP_HASH type maps */
80 struct hlist_head
*dev_index_head
;
81 spinlock_t index_lock
;
86 static DEFINE_SPINLOCK(dev_map_lock
);
87 static LIST_HEAD(dev_map_list
);
89 static struct hlist_head
*dev_map_create_hash(unsigned int entries
,
93 struct hlist_head
*hash
;
95 hash
= bpf_map_area_alloc((u64
) entries
* sizeof(*hash
), numa_node
);
97 for (i
= 0; i
< entries
; i
++)
98 INIT_HLIST_HEAD(&hash
[i
]);
103 static inline struct hlist_head
*dev_map_index_hash(struct bpf_dtab
*dtab
,
106 return &dtab
->dev_index_head
[idx
& (dtab
->n_buckets
- 1)];
109 static int dev_map_alloc_check(union bpf_attr
*attr
)
111 u32 valsize
= attr
->value_size
;
113 /* check sanity of attributes. 2 value sizes supported:
115 * 8 bytes: ifindex + prog fd
117 if (attr
->max_entries
== 0 || attr
->key_size
!= 4 ||
118 (valsize
!= offsetofend(struct bpf_devmap_val
, ifindex
) &&
119 valsize
!= offsetofend(struct bpf_devmap_val
, bpf_prog
.fd
)) ||
120 attr
->map_flags
& ~DEV_CREATE_FLAG_MASK
)
123 if (attr
->map_type
== BPF_MAP_TYPE_DEVMAP_HASH
) {
124 /* Hash table size must be power of 2; roundup_pow_of_two()
125 * can overflow into UB on 32-bit arches
127 if (attr
->max_entries
> 1UL << 31)
134 static int dev_map_init_map(struct bpf_dtab
*dtab
, union bpf_attr
*attr
)
136 /* Lookup returns a pointer straight to dev->ifindex, so make sure the
137 * verifier prevents writes from the BPF side
139 attr
->map_flags
|= BPF_F_RDONLY_PROG
;
140 bpf_map_init_from_attr(&dtab
->map
, attr
);
142 if (attr
->map_type
== BPF_MAP_TYPE_DEVMAP_HASH
) {
143 /* Hash table size must be power of 2 */
144 dtab
->n_buckets
= roundup_pow_of_two(dtab
->map
.max_entries
);
145 dtab
->dev_index_head
= dev_map_create_hash(dtab
->n_buckets
,
146 dtab
->map
.numa_node
);
147 if (!dtab
->dev_index_head
)
150 spin_lock_init(&dtab
->index_lock
);
152 dtab
->netdev_map
= bpf_map_area_alloc((u64
) dtab
->map
.max_entries
*
153 sizeof(struct bpf_dtab_netdev
*),
154 dtab
->map
.numa_node
);
155 if (!dtab
->netdev_map
)
162 static struct bpf_map
*dev_map_alloc(union bpf_attr
*attr
)
164 struct bpf_dtab
*dtab
;
167 dtab
= bpf_map_area_alloc(sizeof(*dtab
), NUMA_NO_NODE
);
169 return ERR_PTR(-ENOMEM
);
171 err
= dev_map_init_map(dtab
, attr
);
173 bpf_map_area_free(dtab
);
177 spin_lock(&dev_map_lock
);
178 list_add_tail_rcu(&dtab
->list
, &dev_map_list
);
179 spin_unlock(&dev_map_lock
);
184 static void dev_map_free(struct bpf_map
*map
)
186 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
189 /* At this point bpf_prog->aux->refcnt == 0 and this map->refcnt == 0,
190 * so the programs (can be more than one that used this map) were
191 * disconnected from events. The following synchronize_rcu() guarantees
192 * both rcu read critical sections complete and waits for
193 * preempt-disable regions (NAPI being the relevant context here) so we
194 * are certain there will be no further reads against the netdev_map and
195 * all flush operations are complete. Flush operations can only be done
196 * from NAPI context for this reason.
199 spin_lock(&dev_map_lock
);
200 list_del_rcu(&dtab
->list
);
201 spin_unlock(&dev_map_lock
);
203 /* bpf_redirect_info->map is assigned in __bpf_xdp_redirect_map()
204 * during NAPI callback and cleared after the XDP redirect. There is no
205 * explicit RCU read section which protects bpf_redirect_info->map but
206 * local_bh_disable() also marks the beginning an RCU section. This
207 * makes the complete softirq callback RCU protected. Thus after
208 * following synchronize_rcu() there no bpf_redirect_info->map == map
213 /* Make sure prior __dev_map_entry_free() have completed. */
216 if (dtab
->map
.map_type
== BPF_MAP_TYPE_DEVMAP_HASH
) {
217 for (i
= 0; i
< dtab
->n_buckets
; i
++) {
218 struct bpf_dtab_netdev
*dev
;
219 struct hlist_head
*head
;
220 struct hlist_node
*next
;
222 head
= dev_map_index_hash(dtab
, i
);
224 hlist_for_each_entry_safe(dev
, next
, head
, index_hlist
) {
225 hlist_del_rcu(&dev
->index_hlist
);
227 bpf_prog_put(dev
->xdp_prog
);
233 bpf_map_area_free(dtab
->dev_index_head
);
235 for (i
= 0; i
< dtab
->map
.max_entries
; i
++) {
236 struct bpf_dtab_netdev
*dev
;
238 dev
= rcu_dereference_raw(dtab
->netdev_map
[i
]);
243 bpf_prog_put(dev
->xdp_prog
);
248 bpf_map_area_free(dtab
->netdev_map
);
251 bpf_map_area_free(dtab
);
254 static int dev_map_get_next_key(struct bpf_map
*map
, void *key
, void *next_key
)
256 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
257 u32 index
= key
? *(u32
*)key
: U32_MAX
;
258 u32
*next
= next_key
;
260 if (index
>= dtab
->map
.max_entries
) {
265 if (index
== dtab
->map
.max_entries
- 1)
271 /* Elements are kept alive by RCU; either by rcu_read_lock() (from syscall) or
272 * by local_bh_disable() (from XDP calls inside NAPI). The
273 * rcu_read_lock_bh_held() below makes lockdep accept both.
275 static void *__dev_map_hash_lookup_elem(struct bpf_map
*map
, u32 key
)
277 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
278 struct hlist_head
*head
= dev_map_index_hash(dtab
, key
);
279 struct bpf_dtab_netdev
*dev
;
281 hlist_for_each_entry_rcu(dev
, head
, index_hlist
,
282 lockdep_is_held(&dtab
->index_lock
))
289 static int dev_map_hash_get_next_key(struct bpf_map
*map
, void *key
,
292 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
293 u32 idx
, *next
= next_key
;
294 struct bpf_dtab_netdev
*dev
, *next_dev
;
295 struct hlist_head
*head
;
303 dev
= __dev_map_hash_lookup_elem(map
, idx
);
307 next_dev
= hlist_entry_safe(rcu_dereference_raw(hlist_next_rcu(&dev
->index_hlist
)),
308 struct bpf_dtab_netdev
, index_hlist
);
311 *next
= next_dev
->idx
;
315 i
= idx
& (dtab
->n_buckets
- 1);
319 for (; i
< dtab
->n_buckets
; i
++) {
320 head
= dev_map_index_hash(dtab
, i
);
322 next_dev
= hlist_entry_safe(rcu_dereference_raw(hlist_first_rcu(head
)),
323 struct bpf_dtab_netdev
,
326 *next
= next_dev
->idx
;
334 static int dev_map_bpf_prog_run(struct bpf_prog
*xdp_prog
,
335 struct xdp_frame
**frames
, int n
,
336 struct net_device
*tx_dev
,
337 struct net_device
*rx_dev
)
339 struct xdp_txq_info txq
= { .dev
= tx_dev
};
340 struct xdp_rxq_info rxq
= { .dev
= rx_dev
};
344 for (i
= 0; i
< n
; i
++) {
345 struct xdp_frame
*xdpf
= frames
[i
];
349 xdp_convert_frame_to_buff(xdpf
, &xdp
);
353 act
= bpf_prog_run_xdp(xdp_prog
, &xdp
);
356 err
= xdp_update_frame_from_buff(&xdp
, xdpf
);
357 if (unlikely(err
< 0))
358 xdp_return_frame_rx_napi(xdpf
);
360 frames
[nframes
++] = xdpf
;
363 bpf_warn_invalid_xdp_action(NULL
, xdp_prog
, act
);
366 trace_xdp_exception(tx_dev
, xdp_prog
, act
);
369 xdp_return_frame_rx_napi(xdpf
);
373 return nframes
; /* sent frames count */
376 static void bq_xmit_all(struct xdp_dev_bulk_queue
*bq
, u32 flags
)
378 struct net_device
*dev
= bq
->dev
;
379 unsigned int cnt
= bq
->count
;
380 int sent
= 0, err
= 0;
387 for (i
= 0; i
< cnt
; i
++) {
388 struct xdp_frame
*xdpf
= bq
->q
[i
];
394 to_send
= dev_map_bpf_prog_run(bq
->xdp_prog
, bq
->q
, cnt
, dev
, bq
->dev_rx
);
399 sent
= dev
->netdev_ops
->ndo_xdp_xmit(dev
, to_send
, bq
->q
, flags
);
401 /* If ndo_xdp_xmit fails with an errno, no frames have
408 /* If not all frames have been transmitted, it is our
409 * responsibility to free them
411 for (i
= sent
; unlikely(i
< to_send
); i
++)
412 xdp_return_frame_rx_napi(bq
->q
[i
]);
416 trace_xdp_devmap_xmit(bq
->dev_rx
, dev
, sent
, cnt
- sent
, err
);
419 /* __dev_flush is called from xdp_do_flush() which _must_ be signalled from the
420 * driver before returning from its napi->poll() routine. See the comment above
421 * xdp_do_flush() in filter.c.
423 void __dev_flush(struct list_head
*flush_list
)
425 struct xdp_dev_bulk_queue
*bq
, *tmp
;
427 list_for_each_entry_safe(bq
, tmp
, flush_list
, flush_node
) {
428 bq_xmit_all(bq
, XDP_XMIT_FLUSH
);
431 __list_del_clearprev(&bq
->flush_node
);
435 /* Elements are kept alive by RCU; either by rcu_read_lock() (from syscall) or
436 * by local_bh_disable() (from XDP calls inside NAPI). The
437 * rcu_read_lock_bh_held() below makes lockdep accept both.
439 static void *__dev_map_lookup_elem(struct bpf_map
*map
, u32 key
)
441 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
442 struct bpf_dtab_netdev
*obj
;
444 if (key
>= map
->max_entries
)
447 obj
= rcu_dereference_check(dtab
->netdev_map
[key
],
448 rcu_read_lock_bh_held());
452 /* Runs in NAPI, i.e., softirq under local_bh_disable(). Thus, safe percpu
453 * variable access, and map elements stick around. See comment above
454 * xdp_do_flush() in filter.c.
456 static void bq_enqueue(struct net_device
*dev
, struct xdp_frame
*xdpf
,
457 struct net_device
*dev_rx
, struct bpf_prog
*xdp_prog
)
459 struct xdp_dev_bulk_queue
*bq
= this_cpu_ptr(dev
->xdp_bulkq
);
461 if (unlikely(bq
->count
== DEV_MAP_BULK_SIZE
))
464 /* Ingress dev_rx will be the same for all xdp_frame's in
465 * bulk_queue, because bq stored per-CPU and must be flushed
466 * from net_device drivers NAPI func end.
468 * Do the same with xdp_prog and flush_list since these fields
469 * are only ever modified together.
472 struct list_head
*flush_list
= bpf_net_ctx_get_dev_flush_list();
475 bq
->xdp_prog
= xdp_prog
;
476 list_add(&bq
->flush_node
, flush_list
);
479 bq
->q
[bq
->count
++] = xdpf
;
482 static inline int __xdp_enqueue(struct net_device
*dev
, struct xdp_frame
*xdpf
,
483 struct net_device
*dev_rx
,
484 struct bpf_prog
*xdp_prog
)
488 if (!(dev
->xdp_features
& NETDEV_XDP_ACT_NDO_XMIT
))
491 if (unlikely(!(dev
->xdp_features
& NETDEV_XDP_ACT_NDO_XMIT_SG
) &&
492 xdp_frame_has_frags(xdpf
)))
495 err
= xdp_ok_fwd_dev(dev
, xdp_get_frame_len(xdpf
));
499 bq_enqueue(dev
, xdpf
, dev_rx
, xdp_prog
);
503 static u32
dev_map_bpf_prog_run_skb(struct sk_buff
*skb
, struct bpf_dtab_netdev
*dst
)
505 struct xdp_txq_info txq
= { .dev
= dst
->dev
};
512 __skb_pull(skb
, skb
->mac_len
);
515 act
= bpf_prog_run_generic_xdp(skb
, &xdp
, dst
->xdp_prog
);
518 __skb_push(skb
, skb
->mac_len
);
521 bpf_warn_invalid_xdp_action(NULL
, dst
->xdp_prog
, act
);
524 trace_xdp_exception(dst
->dev
, dst
->xdp_prog
, act
);
534 int dev_xdp_enqueue(struct net_device
*dev
, struct xdp_frame
*xdpf
,
535 struct net_device
*dev_rx
)
537 return __xdp_enqueue(dev
, xdpf
, dev_rx
, NULL
);
540 int dev_map_enqueue(struct bpf_dtab_netdev
*dst
, struct xdp_frame
*xdpf
,
541 struct net_device
*dev_rx
)
543 struct net_device
*dev
= dst
->dev
;
545 return __xdp_enqueue(dev
, xdpf
, dev_rx
, dst
->xdp_prog
);
548 static bool is_valid_dst(struct bpf_dtab_netdev
*obj
, struct xdp_frame
*xdpf
)
553 if (!(obj
->dev
->xdp_features
& NETDEV_XDP_ACT_NDO_XMIT
))
556 if (unlikely(!(obj
->dev
->xdp_features
& NETDEV_XDP_ACT_NDO_XMIT_SG
) &&
557 xdp_frame_has_frags(xdpf
)))
560 if (xdp_ok_fwd_dev(obj
->dev
, xdp_get_frame_len(xdpf
)))
566 static int dev_map_enqueue_clone(struct bpf_dtab_netdev
*obj
,
567 struct net_device
*dev_rx
,
568 struct xdp_frame
*xdpf
)
570 struct xdp_frame
*nxdpf
;
572 nxdpf
= xdpf_clone(xdpf
);
576 bq_enqueue(obj
->dev
, nxdpf
, dev_rx
, obj
->xdp_prog
);
581 static inline bool is_ifindex_excluded(int *excluded
, int num_excluded
, int ifindex
)
583 while (num_excluded
--) {
584 if (ifindex
== excluded
[num_excluded
])
590 /* Get ifindex of each upper device. 'indexes' must be able to hold at
591 * least MAX_NEST_DEV elements.
592 * Returns the number of ifindexes added.
594 static int get_upper_ifindexes(struct net_device
*dev
, int *indexes
)
596 struct net_device
*upper
;
597 struct list_head
*iter
;
600 netdev_for_each_upper_dev_rcu(dev
, upper
, iter
) {
601 indexes
[n
++] = upper
->ifindex
;
606 int dev_map_enqueue_multi(struct xdp_frame
*xdpf
, struct net_device
*dev_rx
,
607 struct bpf_map
*map
, bool exclude_ingress
)
609 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
610 struct bpf_dtab_netdev
*dst
, *last_dst
= NULL
;
611 int excluded_devices
[1+MAX_NEST_DEV
];
612 struct hlist_head
*head
;
613 int num_excluded
= 0;
617 if (exclude_ingress
) {
618 num_excluded
= get_upper_ifindexes(dev_rx
, excluded_devices
);
619 excluded_devices
[num_excluded
++] = dev_rx
->ifindex
;
622 if (map
->map_type
== BPF_MAP_TYPE_DEVMAP
) {
623 for (i
= 0; i
< map
->max_entries
; i
++) {
624 dst
= rcu_dereference_check(dtab
->netdev_map
[i
],
625 rcu_read_lock_bh_held());
626 if (!is_valid_dst(dst
, xdpf
))
629 if (is_ifindex_excluded(excluded_devices
, num_excluded
, dst
->dev
->ifindex
))
632 /* we only need n-1 clones; last_dst enqueued below */
638 err
= dev_map_enqueue_clone(last_dst
, dev_rx
, xdpf
);
644 } else { /* BPF_MAP_TYPE_DEVMAP_HASH */
645 for (i
= 0; i
< dtab
->n_buckets
; i
++) {
646 head
= dev_map_index_hash(dtab
, i
);
647 hlist_for_each_entry_rcu(dst
, head
, index_hlist
,
648 lockdep_is_held(&dtab
->index_lock
)) {
649 if (!is_valid_dst(dst
, xdpf
))
652 if (is_ifindex_excluded(excluded_devices
, num_excluded
,
656 /* we only need n-1 clones; last_dst enqueued below */
662 err
= dev_map_enqueue_clone(last_dst
, dev_rx
, xdpf
);
671 /* consume the last copy of the frame */
673 bq_enqueue(last_dst
->dev
, xdpf
, dev_rx
, last_dst
->xdp_prog
);
675 xdp_return_frame_rx_napi(xdpf
); /* dtab is empty */
680 int dev_map_generic_redirect(struct bpf_dtab_netdev
*dst
, struct sk_buff
*skb
,
681 struct bpf_prog
*xdp_prog
)
685 err
= xdp_ok_fwd_dev(dst
->dev
, skb
->len
);
689 /* Redirect has already succeeded semantically at this point, so we just
690 * return 0 even if packet is dropped. Helper below takes care of
693 if (dev_map_bpf_prog_run_skb(skb
, dst
) != XDP_PASS
)
697 generic_xdp_tx(skb
, xdp_prog
);
702 static int dev_map_redirect_clone(struct bpf_dtab_netdev
*dst
,
704 struct bpf_prog
*xdp_prog
)
706 struct sk_buff
*nskb
;
709 nskb
= skb_clone(skb
, GFP_ATOMIC
);
713 err
= dev_map_generic_redirect(dst
, nskb
, xdp_prog
);
722 int dev_map_redirect_multi(struct net_device
*dev
, struct sk_buff
*skb
,
723 struct bpf_prog
*xdp_prog
, struct bpf_map
*map
,
724 bool exclude_ingress
)
726 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
727 struct bpf_dtab_netdev
*dst
, *last_dst
= NULL
;
728 int excluded_devices
[1+MAX_NEST_DEV
];
729 struct hlist_head
*head
;
730 struct hlist_node
*next
;
731 int num_excluded
= 0;
735 if (exclude_ingress
) {
736 num_excluded
= get_upper_ifindexes(dev
, excluded_devices
);
737 excluded_devices
[num_excluded
++] = dev
->ifindex
;
740 if (map
->map_type
== BPF_MAP_TYPE_DEVMAP
) {
741 for (i
= 0; i
< map
->max_entries
; i
++) {
742 dst
= rcu_dereference_check(dtab
->netdev_map
[i
],
743 rcu_read_lock_bh_held());
747 if (is_ifindex_excluded(excluded_devices
, num_excluded
, dst
->dev
->ifindex
))
750 /* we only need n-1 clones; last_dst enqueued below */
756 err
= dev_map_redirect_clone(last_dst
, skb
, xdp_prog
);
763 } else { /* BPF_MAP_TYPE_DEVMAP_HASH */
764 for (i
= 0; i
< dtab
->n_buckets
; i
++) {
765 head
= dev_map_index_hash(dtab
, i
);
766 hlist_for_each_entry_safe(dst
, next
, head
, index_hlist
) {
767 if (is_ifindex_excluded(excluded_devices
, num_excluded
,
771 /* we only need n-1 clones; last_dst enqueued below */
777 err
= dev_map_redirect_clone(last_dst
, skb
, xdp_prog
);
786 /* consume the first skb and return */
788 return dev_map_generic_redirect(last_dst
, skb
, xdp_prog
);
795 static void *dev_map_lookup_elem(struct bpf_map
*map
, void *key
)
797 struct bpf_dtab_netdev
*obj
= __dev_map_lookup_elem(map
, *(u32
*)key
);
799 return obj
? &obj
->val
: NULL
;
802 static void *dev_map_hash_lookup_elem(struct bpf_map
*map
, void *key
)
804 struct bpf_dtab_netdev
*obj
= __dev_map_hash_lookup_elem(map
,
806 return obj
? &obj
->val
: NULL
;
809 static void __dev_map_entry_free(struct rcu_head
*rcu
)
811 struct bpf_dtab_netdev
*dev
;
813 dev
= container_of(rcu
, struct bpf_dtab_netdev
, rcu
);
815 bpf_prog_put(dev
->xdp_prog
);
820 static long dev_map_delete_elem(struct bpf_map
*map
, void *key
)
822 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
823 struct bpf_dtab_netdev
*old_dev
;
826 if (k
>= map
->max_entries
)
829 old_dev
= unrcu_pointer(xchg(&dtab
->netdev_map
[k
], NULL
));
831 call_rcu(&old_dev
->rcu
, __dev_map_entry_free
);
832 atomic_dec((atomic_t
*)&dtab
->items
);
837 static long dev_map_hash_delete_elem(struct bpf_map
*map
, void *key
)
839 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
840 struct bpf_dtab_netdev
*old_dev
;
845 spin_lock_irqsave(&dtab
->index_lock
, flags
);
847 old_dev
= __dev_map_hash_lookup_elem(map
, k
);
850 hlist_del_init_rcu(&old_dev
->index_hlist
);
851 call_rcu(&old_dev
->rcu
, __dev_map_entry_free
);
854 spin_unlock_irqrestore(&dtab
->index_lock
, flags
);
859 static struct bpf_dtab_netdev
*__dev_map_alloc_node(struct net
*net
,
860 struct bpf_dtab
*dtab
,
861 struct bpf_devmap_val
*val
,
864 struct bpf_prog
*prog
= NULL
;
865 struct bpf_dtab_netdev
*dev
;
867 dev
= bpf_map_kmalloc_node(&dtab
->map
, sizeof(*dev
),
868 GFP_NOWAIT
| __GFP_NOWARN
,
869 dtab
->map
.numa_node
);
871 return ERR_PTR(-ENOMEM
);
873 dev
->dev
= dev_get_by_index(net
, val
->ifindex
);
877 if (val
->bpf_prog
.fd
> 0) {
878 prog
= bpf_prog_get_type_dev(val
->bpf_prog
.fd
,
879 BPF_PROG_TYPE_XDP
, false);
882 if (prog
->expected_attach_type
!= BPF_XDP_DEVMAP
||
883 !bpf_prog_map_compatible(&dtab
->map
, prog
))
889 dev
->xdp_prog
= prog
;
890 dev
->val
.bpf_prog
.id
= prog
->aux
->id
;
892 dev
->xdp_prog
= NULL
;
893 dev
->val
.bpf_prog
.id
= 0;
895 dev
->val
.ifindex
= val
->ifindex
;
904 return ERR_PTR(-EINVAL
);
907 static long __dev_map_update_elem(struct net
*net
, struct bpf_map
*map
,
908 void *key
, void *value
, u64 map_flags
)
910 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
911 struct bpf_dtab_netdev
*dev
, *old_dev
;
912 struct bpf_devmap_val val
= {};
915 if (unlikely(map_flags
> BPF_EXIST
))
917 if (unlikely(i
>= dtab
->map
.max_entries
))
919 if (unlikely(map_flags
== BPF_NOEXIST
))
922 /* already verified value_size <= sizeof val */
923 memcpy(&val
, value
, map
->value_size
);
927 /* can not specify fd if ifindex is 0 */
928 if (val
.bpf_prog
.fd
> 0)
931 dev
= __dev_map_alloc_node(net
, dtab
, &val
, i
);
936 /* Use call_rcu() here to ensure rcu critical sections have completed
937 * Remembering the driver side flush operation will happen before the
938 * net device is removed.
940 old_dev
= unrcu_pointer(xchg(&dtab
->netdev_map
[i
], RCU_INITIALIZER(dev
)));
942 call_rcu(&old_dev
->rcu
, __dev_map_entry_free
);
944 atomic_inc((atomic_t
*)&dtab
->items
);
949 static long dev_map_update_elem(struct bpf_map
*map
, void *key
, void *value
,
952 return __dev_map_update_elem(current
->nsproxy
->net_ns
,
953 map
, key
, value
, map_flags
);
956 static long __dev_map_hash_update_elem(struct net
*net
, struct bpf_map
*map
,
957 void *key
, void *value
, u64 map_flags
)
959 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
960 struct bpf_dtab_netdev
*dev
, *old_dev
;
961 struct bpf_devmap_val val
= {};
962 u32 idx
= *(u32
*)key
;
966 /* already verified value_size <= sizeof val */
967 memcpy(&val
, value
, map
->value_size
);
969 if (unlikely(map_flags
> BPF_EXIST
|| !val
.ifindex
))
972 spin_lock_irqsave(&dtab
->index_lock
, flags
);
974 old_dev
= __dev_map_hash_lookup_elem(map
, idx
);
975 if (old_dev
&& (map_flags
& BPF_NOEXIST
))
978 dev
= __dev_map_alloc_node(net
, dtab
, &val
, idx
);
985 hlist_del_rcu(&old_dev
->index_hlist
);
987 if (dtab
->items
>= dtab
->map
.max_entries
) {
988 spin_unlock_irqrestore(&dtab
->index_lock
, flags
);
989 call_rcu(&dev
->rcu
, __dev_map_entry_free
);
995 hlist_add_head_rcu(&dev
->index_hlist
,
996 dev_map_index_hash(dtab
, idx
));
997 spin_unlock_irqrestore(&dtab
->index_lock
, flags
);
1000 call_rcu(&old_dev
->rcu
, __dev_map_entry_free
);
1005 spin_unlock_irqrestore(&dtab
->index_lock
, flags
);
1009 static long dev_map_hash_update_elem(struct bpf_map
*map
, void *key
, void *value
,
1012 return __dev_map_hash_update_elem(current
->nsproxy
->net_ns
,
1013 map
, key
, value
, map_flags
);
1016 static long dev_map_redirect(struct bpf_map
*map
, u64 ifindex
, u64 flags
)
1018 return __bpf_xdp_redirect_map(map
, ifindex
, flags
,
1019 BPF_F_BROADCAST
| BPF_F_EXCLUDE_INGRESS
,
1020 __dev_map_lookup_elem
);
1023 static long dev_hash_map_redirect(struct bpf_map
*map
, u64 ifindex
, u64 flags
)
1025 return __bpf_xdp_redirect_map(map
, ifindex
, flags
,
1026 BPF_F_BROADCAST
| BPF_F_EXCLUDE_INGRESS
,
1027 __dev_map_hash_lookup_elem
);
1030 static u64
dev_map_mem_usage(const struct bpf_map
*map
)
1032 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
1033 u64 usage
= sizeof(struct bpf_dtab
);
1035 if (map
->map_type
== BPF_MAP_TYPE_DEVMAP_HASH
)
1036 usage
+= (u64
)dtab
->n_buckets
* sizeof(struct hlist_head
);
1038 usage
+= (u64
)map
->max_entries
* sizeof(struct bpf_dtab_netdev
*);
1039 usage
+= atomic_read((atomic_t
*)&dtab
->items
) *
1040 (u64
)sizeof(struct bpf_dtab_netdev
);
1044 BTF_ID_LIST_SINGLE(dev_map_btf_ids
, struct, bpf_dtab
)
1045 const struct bpf_map_ops dev_map_ops
= {
1046 .map_meta_equal
= bpf_map_meta_equal
,
1047 .map_alloc_check
= dev_map_alloc_check
,
1048 .map_alloc
= dev_map_alloc
,
1049 .map_free
= dev_map_free
,
1050 .map_get_next_key
= dev_map_get_next_key
,
1051 .map_lookup_elem
= dev_map_lookup_elem
,
1052 .map_update_elem
= dev_map_update_elem
,
1053 .map_delete_elem
= dev_map_delete_elem
,
1054 .map_check_btf
= map_check_no_btf
,
1055 .map_mem_usage
= dev_map_mem_usage
,
1056 .map_btf_id
= &dev_map_btf_ids
[0],
1057 .map_redirect
= dev_map_redirect
,
1060 const struct bpf_map_ops dev_map_hash_ops
= {
1061 .map_meta_equal
= bpf_map_meta_equal
,
1062 .map_alloc_check
= dev_map_alloc_check
,
1063 .map_alloc
= dev_map_alloc
,
1064 .map_free
= dev_map_free
,
1065 .map_get_next_key
= dev_map_hash_get_next_key
,
1066 .map_lookup_elem
= dev_map_hash_lookup_elem
,
1067 .map_update_elem
= dev_map_hash_update_elem
,
1068 .map_delete_elem
= dev_map_hash_delete_elem
,
1069 .map_check_btf
= map_check_no_btf
,
1070 .map_mem_usage
= dev_map_mem_usage
,
1071 .map_btf_id
= &dev_map_btf_ids
[0],
1072 .map_redirect
= dev_hash_map_redirect
,
1075 static void dev_map_hash_remove_netdev(struct bpf_dtab
*dtab
,
1076 struct net_device
*netdev
)
1078 unsigned long flags
;
1081 spin_lock_irqsave(&dtab
->index_lock
, flags
);
1082 for (i
= 0; i
< dtab
->n_buckets
; i
++) {
1083 struct bpf_dtab_netdev
*dev
;
1084 struct hlist_head
*head
;
1085 struct hlist_node
*next
;
1087 head
= dev_map_index_hash(dtab
, i
);
1089 hlist_for_each_entry_safe(dev
, next
, head
, index_hlist
) {
1090 if (netdev
!= dev
->dev
)
1094 hlist_del_rcu(&dev
->index_hlist
);
1095 call_rcu(&dev
->rcu
, __dev_map_entry_free
);
1098 spin_unlock_irqrestore(&dtab
->index_lock
, flags
);
1101 static int dev_map_notification(struct notifier_block
*notifier
,
1102 ulong event
, void *ptr
)
1104 struct net_device
*netdev
= netdev_notifier_info_to_dev(ptr
);
1105 struct bpf_dtab
*dtab
;
1109 case NETDEV_REGISTER
:
1110 if (!netdev
->netdev_ops
->ndo_xdp_xmit
|| netdev
->xdp_bulkq
)
1113 /* will be freed in free_netdev() */
1114 netdev
->xdp_bulkq
= alloc_percpu(struct xdp_dev_bulk_queue
);
1115 if (!netdev
->xdp_bulkq
)
1118 for_each_possible_cpu(cpu
)
1119 per_cpu_ptr(netdev
->xdp_bulkq
, cpu
)->dev
= netdev
;
1121 case NETDEV_UNREGISTER
:
1122 /* This rcu_read_lock/unlock pair is needed because
1123 * dev_map_list is an RCU list AND to ensure a delete
1124 * operation does not free a netdev_map entry while we
1125 * are comparing it against the netdev being unregistered.
1128 list_for_each_entry_rcu(dtab
, &dev_map_list
, list
) {
1129 if (dtab
->map
.map_type
== BPF_MAP_TYPE_DEVMAP_HASH
) {
1130 dev_map_hash_remove_netdev(dtab
, netdev
);
1134 for (i
= 0; i
< dtab
->map
.max_entries
; i
++) {
1135 struct bpf_dtab_netdev
*dev
, *odev
;
1137 dev
= rcu_dereference(dtab
->netdev_map
[i
]);
1138 if (!dev
|| netdev
!= dev
->dev
)
1140 odev
= unrcu_pointer(cmpxchg(&dtab
->netdev_map
[i
], RCU_INITIALIZER(dev
), NULL
));
1143 __dev_map_entry_free
);
1144 atomic_dec((atomic_t
*)&dtab
->items
);
1156 static struct notifier_block dev_map_notifier
= {
1157 .notifier_call
= dev_map_notification
,
1160 static int __init
dev_map_init(void)
1162 /* Assure tracepoint shadow struct _bpf_dtab_netdev is in sync */
1163 BUILD_BUG_ON(offsetof(struct bpf_dtab_netdev
, dev
) !=
1164 offsetof(struct _bpf_dtab_netdev
, dev
));
1165 register_netdevice_notifier(&dev_map_notifier
);
1170 subsys_initcall(dev_map_init
);