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_PER_CPU(struct list_head
, dev_flush_list
);
87 static DEFINE_SPINLOCK(dev_map_lock
);
88 static LIST_HEAD(dev_map_list
);
90 static struct hlist_head
*dev_map_create_hash(unsigned int entries
,
94 struct hlist_head
*hash
;
96 hash
= bpf_map_area_alloc((u64
) entries
* sizeof(*hash
), numa_node
);
98 for (i
= 0; i
< entries
; i
++)
99 INIT_HLIST_HEAD(&hash
[i
]);
104 static inline struct hlist_head
*dev_map_index_hash(struct bpf_dtab
*dtab
,
107 return &dtab
->dev_index_head
[idx
& (dtab
->n_buckets
- 1)];
110 static int dev_map_init_map(struct bpf_dtab
*dtab
, union bpf_attr
*attr
)
112 u32 valsize
= attr
->value_size
;
114 /* check sanity of attributes. 2 value sizes supported:
116 * 8 bytes: ifindex + prog fd
118 if (attr
->max_entries
== 0 || attr
->key_size
!= 4 ||
119 (valsize
!= offsetofend(struct bpf_devmap_val
, ifindex
) &&
120 valsize
!= offsetofend(struct bpf_devmap_val
, bpf_prog
.fd
)) ||
121 attr
->map_flags
& ~DEV_CREATE_FLAG_MASK
)
124 /* Lookup returns a pointer straight to dev->ifindex, so make sure the
125 * verifier prevents writes from the BPF side
127 attr
->map_flags
|= BPF_F_RDONLY_PROG
;
130 bpf_map_init_from_attr(&dtab
->map
, attr
);
132 if (attr
->map_type
== BPF_MAP_TYPE_DEVMAP_HASH
) {
133 /* hash table size must be power of 2; roundup_pow_of_two() can
134 * overflow into UB on 32-bit arches, so check that first
136 if (dtab
->map
.max_entries
> 1UL << 31)
139 dtab
->n_buckets
= roundup_pow_of_two(dtab
->map
.max_entries
);
141 dtab
->dev_index_head
= dev_map_create_hash(dtab
->n_buckets
,
142 dtab
->map
.numa_node
);
143 if (!dtab
->dev_index_head
)
146 spin_lock_init(&dtab
->index_lock
);
148 dtab
->netdev_map
= bpf_map_area_alloc((u64
) dtab
->map
.max_entries
*
149 sizeof(struct bpf_dtab_netdev
*),
150 dtab
->map
.numa_node
);
151 if (!dtab
->netdev_map
)
158 static struct bpf_map
*dev_map_alloc(union bpf_attr
*attr
)
160 struct bpf_dtab
*dtab
;
163 dtab
= bpf_map_area_alloc(sizeof(*dtab
), NUMA_NO_NODE
);
165 return ERR_PTR(-ENOMEM
);
167 err
= dev_map_init_map(dtab
, attr
);
169 bpf_map_area_free(dtab
);
173 spin_lock(&dev_map_lock
);
174 list_add_tail_rcu(&dtab
->list
, &dev_map_list
);
175 spin_unlock(&dev_map_lock
);
180 static void dev_map_free(struct bpf_map
*map
)
182 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
185 /* At this point bpf_prog->aux->refcnt == 0 and this map->refcnt == 0,
186 * so the programs (can be more than one that used this map) were
187 * disconnected from events. The following synchronize_rcu() guarantees
188 * both rcu read critical sections complete and waits for
189 * preempt-disable regions (NAPI being the relevant context here) so we
190 * are certain there will be no further reads against the netdev_map and
191 * all flush operations are complete. Flush operations can only be done
192 * from NAPI context for this reason.
195 spin_lock(&dev_map_lock
);
196 list_del_rcu(&dtab
->list
);
197 spin_unlock(&dev_map_lock
);
199 bpf_clear_redirect_map(map
);
202 /* Make sure prior __dev_map_entry_free() have completed. */
205 if (dtab
->map
.map_type
== BPF_MAP_TYPE_DEVMAP_HASH
) {
206 for (i
= 0; i
< dtab
->n_buckets
; i
++) {
207 struct bpf_dtab_netdev
*dev
;
208 struct hlist_head
*head
;
209 struct hlist_node
*next
;
211 head
= dev_map_index_hash(dtab
, i
);
213 hlist_for_each_entry_safe(dev
, next
, head
, index_hlist
) {
214 hlist_del_rcu(&dev
->index_hlist
);
216 bpf_prog_put(dev
->xdp_prog
);
222 bpf_map_area_free(dtab
->dev_index_head
);
224 for (i
= 0; i
< dtab
->map
.max_entries
; i
++) {
225 struct bpf_dtab_netdev
*dev
;
227 dev
= rcu_dereference_raw(dtab
->netdev_map
[i
]);
232 bpf_prog_put(dev
->xdp_prog
);
237 bpf_map_area_free(dtab
->netdev_map
);
240 bpf_map_area_free(dtab
);
243 static int dev_map_get_next_key(struct bpf_map
*map
, void *key
, void *next_key
)
245 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
246 u32 index
= key
? *(u32
*)key
: U32_MAX
;
247 u32
*next
= next_key
;
249 if (index
>= dtab
->map
.max_entries
) {
254 if (index
== dtab
->map
.max_entries
- 1)
260 /* Elements are kept alive by RCU; either by rcu_read_lock() (from syscall) or
261 * by local_bh_disable() (from XDP calls inside NAPI). The
262 * rcu_read_lock_bh_held() below makes lockdep accept both.
264 static void *__dev_map_hash_lookup_elem(struct bpf_map
*map
, u32 key
)
266 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
267 struct hlist_head
*head
= dev_map_index_hash(dtab
, key
);
268 struct bpf_dtab_netdev
*dev
;
270 hlist_for_each_entry_rcu(dev
, head
, index_hlist
,
271 lockdep_is_held(&dtab
->index_lock
))
278 static int dev_map_hash_get_next_key(struct bpf_map
*map
, void *key
,
281 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
282 u32 idx
, *next
= next_key
;
283 struct bpf_dtab_netdev
*dev
, *next_dev
;
284 struct hlist_head
*head
;
292 dev
= __dev_map_hash_lookup_elem(map
, idx
);
296 next_dev
= hlist_entry_safe(rcu_dereference_raw(hlist_next_rcu(&dev
->index_hlist
)),
297 struct bpf_dtab_netdev
, index_hlist
);
300 *next
= next_dev
->idx
;
304 i
= idx
& (dtab
->n_buckets
- 1);
308 for (; i
< dtab
->n_buckets
; i
++) {
309 head
= dev_map_index_hash(dtab
, i
);
311 next_dev
= hlist_entry_safe(rcu_dereference_raw(hlist_first_rcu(head
)),
312 struct bpf_dtab_netdev
,
315 *next
= next_dev
->idx
;
323 static int dev_map_bpf_prog_run(struct bpf_prog
*xdp_prog
,
324 struct xdp_frame
**frames
, int n
,
325 struct net_device
*dev
)
327 struct xdp_txq_info txq
= { .dev
= dev
};
331 for (i
= 0; i
< n
; i
++) {
332 struct xdp_frame
*xdpf
= frames
[i
];
336 xdp_convert_frame_to_buff(xdpf
, &xdp
);
339 act
= bpf_prog_run_xdp(xdp_prog
, &xdp
);
342 err
= xdp_update_frame_from_buff(&xdp
, xdpf
);
343 if (unlikely(err
< 0))
344 xdp_return_frame_rx_napi(xdpf
);
346 frames
[nframes
++] = xdpf
;
349 bpf_warn_invalid_xdp_action(NULL
, xdp_prog
, act
);
352 trace_xdp_exception(dev
, xdp_prog
, act
);
355 xdp_return_frame_rx_napi(xdpf
);
359 return nframes
; /* sent frames count */
362 static void bq_xmit_all(struct xdp_dev_bulk_queue
*bq
, u32 flags
)
364 struct net_device
*dev
= bq
->dev
;
365 unsigned int cnt
= bq
->count
;
366 int sent
= 0, err
= 0;
373 for (i
= 0; i
< cnt
; i
++) {
374 struct xdp_frame
*xdpf
= bq
->q
[i
];
380 to_send
= dev_map_bpf_prog_run(bq
->xdp_prog
, bq
->q
, cnt
, dev
);
385 sent
= dev
->netdev_ops
->ndo_xdp_xmit(dev
, to_send
, bq
->q
, flags
);
387 /* If ndo_xdp_xmit fails with an errno, no frames have
394 /* If not all frames have been transmitted, it is our
395 * responsibility to free them
397 for (i
= sent
; unlikely(i
< to_send
); i
++)
398 xdp_return_frame_rx_napi(bq
->q
[i
]);
402 trace_xdp_devmap_xmit(bq
->dev_rx
, dev
, sent
, cnt
- sent
, err
);
405 /* __dev_flush is called from xdp_do_flush() which _must_ be signalled from the
406 * driver before returning from its napi->poll() routine. See the comment above
407 * xdp_do_flush() in filter.c.
409 void __dev_flush(void)
411 struct list_head
*flush_list
= this_cpu_ptr(&dev_flush_list
);
412 struct xdp_dev_bulk_queue
*bq
, *tmp
;
414 list_for_each_entry_safe(bq
, tmp
, flush_list
, flush_node
) {
415 bq_xmit_all(bq
, XDP_XMIT_FLUSH
);
418 __list_del_clearprev(&bq
->flush_node
);
422 #ifdef CONFIG_DEBUG_NET
423 bool dev_check_flush(void)
425 if (list_empty(this_cpu_ptr(&dev_flush_list
)))
432 /* Elements are kept alive by RCU; either by rcu_read_lock() (from syscall) or
433 * by local_bh_disable() (from XDP calls inside NAPI). The
434 * rcu_read_lock_bh_held() below makes lockdep accept both.
436 static void *__dev_map_lookup_elem(struct bpf_map
*map
, u32 key
)
438 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
439 struct bpf_dtab_netdev
*obj
;
441 if (key
>= map
->max_entries
)
444 obj
= rcu_dereference_check(dtab
->netdev_map
[key
],
445 rcu_read_lock_bh_held());
449 /* Runs in NAPI, i.e., softirq under local_bh_disable(). Thus, safe percpu
450 * variable access, and map elements stick around. See comment above
451 * xdp_do_flush() in filter.c.
453 static void bq_enqueue(struct net_device
*dev
, struct xdp_frame
*xdpf
,
454 struct net_device
*dev_rx
, struct bpf_prog
*xdp_prog
)
456 struct list_head
*flush_list
= this_cpu_ptr(&dev_flush_list
);
457 struct xdp_dev_bulk_queue
*bq
= this_cpu_ptr(dev
->xdp_bulkq
);
459 if (unlikely(bq
->count
== DEV_MAP_BULK_SIZE
))
462 /* Ingress dev_rx will be the same for all xdp_frame's in
463 * bulk_queue, because bq stored per-CPU and must be flushed
464 * from net_device drivers NAPI func end.
466 * Do the same with xdp_prog and flush_list since these fields
467 * are only ever modified together.
471 bq
->xdp_prog
= xdp_prog
;
472 list_add(&bq
->flush_node
, flush_list
);
475 bq
->q
[bq
->count
++] = xdpf
;
478 static inline int __xdp_enqueue(struct net_device
*dev
, struct xdp_frame
*xdpf
,
479 struct net_device
*dev_rx
,
480 struct bpf_prog
*xdp_prog
)
484 if (!(dev
->xdp_features
& NETDEV_XDP_ACT_NDO_XMIT
))
487 if (unlikely(!(dev
->xdp_features
& NETDEV_XDP_ACT_NDO_XMIT_SG
) &&
488 xdp_frame_has_frags(xdpf
)))
491 err
= xdp_ok_fwd_dev(dev
, xdp_get_frame_len(xdpf
));
495 bq_enqueue(dev
, xdpf
, dev_rx
, xdp_prog
);
499 static u32
dev_map_bpf_prog_run_skb(struct sk_buff
*skb
, struct bpf_dtab_netdev
*dst
)
501 struct xdp_txq_info txq
= { .dev
= dst
->dev
};
508 __skb_pull(skb
, skb
->mac_len
);
511 act
= bpf_prog_run_generic_xdp(skb
, &xdp
, dst
->xdp_prog
);
514 __skb_push(skb
, skb
->mac_len
);
517 bpf_warn_invalid_xdp_action(NULL
, dst
->xdp_prog
, act
);
520 trace_xdp_exception(dst
->dev
, dst
->xdp_prog
, act
);
530 int dev_xdp_enqueue(struct net_device
*dev
, struct xdp_frame
*xdpf
,
531 struct net_device
*dev_rx
)
533 return __xdp_enqueue(dev
, xdpf
, dev_rx
, NULL
);
536 int dev_map_enqueue(struct bpf_dtab_netdev
*dst
, struct xdp_frame
*xdpf
,
537 struct net_device
*dev_rx
)
539 struct net_device
*dev
= dst
->dev
;
541 return __xdp_enqueue(dev
, xdpf
, dev_rx
, dst
->xdp_prog
);
544 static bool is_valid_dst(struct bpf_dtab_netdev
*obj
, struct xdp_frame
*xdpf
)
549 if (!(obj
->dev
->xdp_features
& NETDEV_XDP_ACT_NDO_XMIT
))
552 if (unlikely(!(obj
->dev
->xdp_features
& NETDEV_XDP_ACT_NDO_XMIT_SG
) &&
553 xdp_frame_has_frags(xdpf
)))
556 if (xdp_ok_fwd_dev(obj
->dev
, xdp_get_frame_len(xdpf
)))
562 static int dev_map_enqueue_clone(struct bpf_dtab_netdev
*obj
,
563 struct net_device
*dev_rx
,
564 struct xdp_frame
*xdpf
)
566 struct xdp_frame
*nxdpf
;
568 nxdpf
= xdpf_clone(xdpf
);
572 bq_enqueue(obj
->dev
, nxdpf
, dev_rx
, obj
->xdp_prog
);
577 static inline bool is_ifindex_excluded(int *excluded
, int num_excluded
, int ifindex
)
579 while (num_excluded
--) {
580 if (ifindex
== excluded
[num_excluded
])
586 /* Get ifindex of each upper device. 'indexes' must be able to hold at
587 * least MAX_NEST_DEV elements.
588 * Returns the number of ifindexes added.
590 static int get_upper_ifindexes(struct net_device
*dev
, int *indexes
)
592 struct net_device
*upper
;
593 struct list_head
*iter
;
596 netdev_for_each_upper_dev_rcu(dev
, upper
, iter
) {
597 indexes
[n
++] = upper
->ifindex
;
602 int dev_map_enqueue_multi(struct xdp_frame
*xdpf
, struct net_device
*dev_rx
,
603 struct bpf_map
*map
, bool exclude_ingress
)
605 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
606 struct bpf_dtab_netdev
*dst
, *last_dst
= NULL
;
607 int excluded_devices
[1+MAX_NEST_DEV
];
608 struct hlist_head
*head
;
609 int num_excluded
= 0;
613 if (exclude_ingress
) {
614 num_excluded
= get_upper_ifindexes(dev_rx
, excluded_devices
);
615 excluded_devices
[num_excluded
++] = dev_rx
->ifindex
;
618 if (map
->map_type
== BPF_MAP_TYPE_DEVMAP
) {
619 for (i
= 0; i
< map
->max_entries
; i
++) {
620 dst
= rcu_dereference_check(dtab
->netdev_map
[i
],
621 rcu_read_lock_bh_held());
622 if (!is_valid_dst(dst
, xdpf
))
625 if (is_ifindex_excluded(excluded_devices
, num_excluded
, dst
->dev
->ifindex
))
628 /* we only need n-1 clones; last_dst enqueued below */
634 err
= dev_map_enqueue_clone(last_dst
, dev_rx
, xdpf
);
640 } else { /* BPF_MAP_TYPE_DEVMAP_HASH */
641 for (i
= 0; i
< dtab
->n_buckets
; i
++) {
642 head
= dev_map_index_hash(dtab
, i
);
643 hlist_for_each_entry_rcu(dst
, head
, index_hlist
,
644 lockdep_is_held(&dtab
->index_lock
)) {
645 if (!is_valid_dst(dst
, xdpf
))
648 if (is_ifindex_excluded(excluded_devices
, num_excluded
,
652 /* we only need n-1 clones; last_dst enqueued below */
658 err
= dev_map_enqueue_clone(last_dst
, dev_rx
, xdpf
);
667 /* consume the last copy of the frame */
669 bq_enqueue(last_dst
->dev
, xdpf
, dev_rx
, last_dst
->xdp_prog
);
671 xdp_return_frame_rx_napi(xdpf
); /* dtab is empty */
676 int dev_map_generic_redirect(struct bpf_dtab_netdev
*dst
, struct sk_buff
*skb
,
677 struct bpf_prog
*xdp_prog
)
681 err
= xdp_ok_fwd_dev(dst
->dev
, skb
->len
);
685 /* Redirect has already succeeded semantically at this point, so we just
686 * return 0 even if packet is dropped. Helper below takes care of
689 if (dev_map_bpf_prog_run_skb(skb
, dst
) != XDP_PASS
)
693 generic_xdp_tx(skb
, xdp_prog
);
698 static int dev_map_redirect_clone(struct bpf_dtab_netdev
*dst
,
700 struct bpf_prog
*xdp_prog
)
702 struct sk_buff
*nskb
;
705 nskb
= skb_clone(skb
, GFP_ATOMIC
);
709 err
= dev_map_generic_redirect(dst
, nskb
, xdp_prog
);
718 int dev_map_redirect_multi(struct net_device
*dev
, struct sk_buff
*skb
,
719 struct bpf_prog
*xdp_prog
, struct bpf_map
*map
,
720 bool exclude_ingress
)
722 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
723 struct bpf_dtab_netdev
*dst
, *last_dst
= NULL
;
724 int excluded_devices
[1+MAX_NEST_DEV
];
725 struct hlist_head
*head
;
726 struct hlist_node
*next
;
727 int num_excluded
= 0;
731 if (exclude_ingress
) {
732 num_excluded
= get_upper_ifindexes(dev
, excluded_devices
);
733 excluded_devices
[num_excluded
++] = dev
->ifindex
;
736 if (map
->map_type
== BPF_MAP_TYPE_DEVMAP
) {
737 for (i
= 0; i
< map
->max_entries
; i
++) {
738 dst
= rcu_dereference_check(dtab
->netdev_map
[i
],
739 rcu_read_lock_bh_held());
743 if (is_ifindex_excluded(excluded_devices
, num_excluded
, dst
->dev
->ifindex
))
746 /* we only need n-1 clones; last_dst enqueued below */
752 err
= dev_map_redirect_clone(last_dst
, skb
, xdp_prog
);
759 } else { /* BPF_MAP_TYPE_DEVMAP_HASH */
760 for (i
= 0; i
< dtab
->n_buckets
; i
++) {
761 head
= dev_map_index_hash(dtab
, i
);
762 hlist_for_each_entry_safe(dst
, next
, head
, index_hlist
) {
766 if (is_ifindex_excluded(excluded_devices
, num_excluded
,
770 /* we only need n-1 clones; last_dst enqueued below */
776 err
= dev_map_redirect_clone(last_dst
, skb
, xdp_prog
);
785 /* consume the first skb and return */
787 return dev_map_generic_redirect(last_dst
, skb
, xdp_prog
);
794 static void *dev_map_lookup_elem(struct bpf_map
*map
, void *key
)
796 struct bpf_dtab_netdev
*obj
= __dev_map_lookup_elem(map
, *(u32
*)key
);
798 return obj
? &obj
->val
: NULL
;
801 static void *dev_map_hash_lookup_elem(struct bpf_map
*map
, void *key
)
803 struct bpf_dtab_netdev
*obj
= __dev_map_hash_lookup_elem(map
,
805 return obj
? &obj
->val
: NULL
;
808 static void __dev_map_entry_free(struct rcu_head
*rcu
)
810 struct bpf_dtab_netdev
*dev
;
812 dev
= container_of(rcu
, struct bpf_dtab_netdev
, rcu
);
814 bpf_prog_put(dev
->xdp_prog
);
819 static long dev_map_delete_elem(struct bpf_map
*map
, void *key
)
821 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
822 struct bpf_dtab_netdev
*old_dev
;
825 if (k
>= map
->max_entries
)
828 old_dev
= unrcu_pointer(xchg(&dtab
->netdev_map
[k
], NULL
));
830 call_rcu(&old_dev
->rcu
, __dev_map_entry_free
);
831 atomic_dec((atomic_t
*)&dtab
->items
);
836 static long dev_map_hash_delete_elem(struct bpf_map
*map
, void *key
)
838 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
839 struct bpf_dtab_netdev
*old_dev
;
844 spin_lock_irqsave(&dtab
->index_lock
, flags
);
846 old_dev
= __dev_map_hash_lookup_elem(map
, k
);
849 hlist_del_init_rcu(&old_dev
->index_hlist
);
850 call_rcu(&old_dev
->rcu
, __dev_map_entry_free
);
853 spin_unlock_irqrestore(&dtab
->index_lock
, flags
);
858 static struct bpf_dtab_netdev
*__dev_map_alloc_node(struct net
*net
,
859 struct bpf_dtab
*dtab
,
860 struct bpf_devmap_val
*val
,
863 struct bpf_prog
*prog
= NULL
;
864 struct bpf_dtab_netdev
*dev
;
866 dev
= bpf_map_kmalloc_node(&dtab
->map
, sizeof(*dev
),
867 GFP_NOWAIT
| __GFP_NOWARN
,
868 dtab
->map
.numa_node
);
870 return ERR_PTR(-ENOMEM
);
872 dev
->dev
= dev_get_by_index(net
, val
->ifindex
);
876 if (val
->bpf_prog
.fd
> 0) {
877 prog
= bpf_prog_get_type_dev(val
->bpf_prog
.fd
,
878 BPF_PROG_TYPE_XDP
, false);
881 if (prog
->expected_attach_type
!= BPF_XDP_DEVMAP
||
882 !bpf_prog_map_compatible(&dtab
->map
, prog
))
888 dev
->xdp_prog
= prog
;
889 dev
->val
.bpf_prog
.id
= prog
->aux
->id
;
891 dev
->xdp_prog
= NULL
;
892 dev
->val
.bpf_prog
.id
= 0;
894 dev
->val
.ifindex
= val
->ifindex
;
903 return ERR_PTR(-EINVAL
);
906 static long __dev_map_update_elem(struct net
*net
, struct bpf_map
*map
,
907 void *key
, void *value
, u64 map_flags
)
909 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
910 struct bpf_dtab_netdev
*dev
, *old_dev
;
911 struct bpf_devmap_val val
= {};
914 if (unlikely(map_flags
> BPF_EXIST
))
916 if (unlikely(i
>= dtab
->map
.max_entries
))
918 if (unlikely(map_flags
== BPF_NOEXIST
))
921 /* already verified value_size <= sizeof val */
922 memcpy(&val
, value
, map
->value_size
);
926 /* can not specify fd if ifindex is 0 */
927 if (val
.bpf_prog
.fd
> 0)
930 dev
= __dev_map_alloc_node(net
, dtab
, &val
, i
);
935 /* Use call_rcu() here to ensure rcu critical sections have completed
936 * Remembering the driver side flush operation will happen before the
937 * net device is removed.
939 old_dev
= unrcu_pointer(xchg(&dtab
->netdev_map
[i
], RCU_INITIALIZER(dev
)));
941 call_rcu(&old_dev
->rcu
, __dev_map_entry_free
);
943 atomic_inc((atomic_t
*)&dtab
->items
);
948 static long dev_map_update_elem(struct bpf_map
*map
, void *key
, void *value
,
951 return __dev_map_update_elem(current
->nsproxy
->net_ns
,
952 map
, key
, value
, map_flags
);
955 static long __dev_map_hash_update_elem(struct net
*net
, struct bpf_map
*map
,
956 void *key
, void *value
, u64 map_flags
)
958 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
959 struct bpf_dtab_netdev
*dev
, *old_dev
;
960 struct bpf_devmap_val val
= {};
961 u32 idx
= *(u32
*)key
;
965 /* already verified value_size <= sizeof val */
966 memcpy(&val
, value
, map
->value_size
);
968 if (unlikely(map_flags
> BPF_EXIST
|| !val
.ifindex
))
971 spin_lock_irqsave(&dtab
->index_lock
, flags
);
973 old_dev
= __dev_map_hash_lookup_elem(map
, idx
);
974 if (old_dev
&& (map_flags
& BPF_NOEXIST
))
977 dev
= __dev_map_alloc_node(net
, dtab
, &val
, idx
);
984 hlist_del_rcu(&old_dev
->index_hlist
);
986 if (dtab
->items
>= dtab
->map
.max_entries
) {
987 spin_unlock_irqrestore(&dtab
->index_lock
, flags
);
988 call_rcu(&dev
->rcu
, __dev_map_entry_free
);
994 hlist_add_head_rcu(&dev
->index_hlist
,
995 dev_map_index_hash(dtab
, idx
));
996 spin_unlock_irqrestore(&dtab
->index_lock
, flags
);
999 call_rcu(&old_dev
->rcu
, __dev_map_entry_free
);
1004 spin_unlock_irqrestore(&dtab
->index_lock
, flags
);
1008 static long dev_map_hash_update_elem(struct bpf_map
*map
, void *key
, void *value
,
1011 return __dev_map_hash_update_elem(current
->nsproxy
->net_ns
,
1012 map
, key
, value
, map_flags
);
1015 static long dev_map_redirect(struct bpf_map
*map
, u64 ifindex
, u64 flags
)
1017 return __bpf_xdp_redirect_map(map
, ifindex
, flags
,
1018 BPF_F_BROADCAST
| BPF_F_EXCLUDE_INGRESS
,
1019 __dev_map_lookup_elem
);
1022 static long dev_hash_map_redirect(struct bpf_map
*map
, u64 ifindex
, u64 flags
)
1024 return __bpf_xdp_redirect_map(map
, ifindex
, flags
,
1025 BPF_F_BROADCAST
| BPF_F_EXCLUDE_INGRESS
,
1026 __dev_map_hash_lookup_elem
);
1029 static u64
dev_map_mem_usage(const struct bpf_map
*map
)
1031 struct bpf_dtab
*dtab
= container_of(map
, struct bpf_dtab
, map
);
1032 u64 usage
= sizeof(struct bpf_dtab
);
1034 if (map
->map_type
== BPF_MAP_TYPE_DEVMAP_HASH
)
1035 usage
+= (u64
)dtab
->n_buckets
* sizeof(struct hlist_head
);
1037 usage
+= (u64
)map
->max_entries
* sizeof(struct bpf_dtab_netdev
*);
1038 usage
+= atomic_read((atomic_t
*)&dtab
->items
) *
1039 (u64
)sizeof(struct bpf_dtab_netdev
);
1043 BTF_ID_LIST_SINGLE(dev_map_btf_ids
, struct, bpf_dtab
)
1044 const struct bpf_map_ops dev_map_ops
= {
1045 .map_meta_equal
= bpf_map_meta_equal
,
1046 .map_alloc
= dev_map_alloc
,
1047 .map_free
= dev_map_free
,
1048 .map_get_next_key
= dev_map_get_next_key
,
1049 .map_lookup_elem
= dev_map_lookup_elem
,
1050 .map_update_elem
= dev_map_update_elem
,
1051 .map_delete_elem
= dev_map_delete_elem
,
1052 .map_check_btf
= map_check_no_btf
,
1053 .map_mem_usage
= dev_map_mem_usage
,
1054 .map_btf_id
= &dev_map_btf_ids
[0],
1055 .map_redirect
= dev_map_redirect
,
1058 const struct bpf_map_ops dev_map_hash_ops
= {
1059 .map_meta_equal
= bpf_map_meta_equal
,
1060 .map_alloc
= dev_map_alloc
,
1061 .map_free
= dev_map_free
,
1062 .map_get_next_key
= dev_map_hash_get_next_key
,
1063 .map_lookup_elem
= dev_map_hash_lookup_elem
,
1064 .map_update_elem
= dev_map_hash_update_elem
,
1065 .map_delete_elem
= dev_map_hash_delete_elem
,
1066 .map_check_btf
= map_check_no_btf
,
1067 .map_mem_usage
= dev_map_mem_usage
,
1068 .map_btf_id
= &dev_map_btf_ids
[0],
1069 .map_redirect
= dev_hash_map_redirect
,
1072 static void dev_map_hash_remove_netdev(struct bpf_dtab
*dtab
,
1073 struct net_device
*netdev
)
1075 unsigned long flags
;
1078 spin_lock_irqsave(&dtab
->index_lock
, flags
);
1079 for (i
= 0; i
< dtab
->n_buckets
; i
++) {
1080 struct bpf_dtab_netdev
*dev
;
1081 struct hlist_head
*head
;
1082 struct hlist_node
*next
;
1084 head
= dev_map_index_hash(dtab
, i
);
1086 hlist_for_each_entry_safe(dev
, next
, head
, index_hlist
) {
1087 if (netdev
!= dev
->dev
)
1091 hlist_del_rcu(&dev
->index_hlist
);
1092 call_rcu(&dev
->rcu
, __dev_map_entry_free
);
1095 spin_unlock_irqrestore(&dtab
->index_lock
, flags
);
1098 static int dev_map_notification(struct notifier_block
*notifier
,
1099 ulong event
, void *ptr
)
1101 struct net_device
*netdev
= netdev_notifier_info_to_dev(ptr
);
1102 struct bpf_dtab
*dtab
;
1106 case NETDEV_REGISTER
:
1107 if (!netdev
->netdev_ops
->ndo_xdp_xmit
|| netdev
->xdp_bulkq
)
1110 /* will be freed in free_netdev() */
1111 netdev
->xdp_bulkq
= alloc_percpu(struct xdp_dev_bulk_queue
);
1112 if (!netdev
->xdp_bulkq
)
1115 for_each_possible_cpu(cpu
)
1116 per_cpu_ptr(netdev
->xdp_bulkq
, cpu
)->dev
= netdev
;
1118 case NETDEV_UNREGISTER
:
1119 /* This rcu_read_lock/unlock pair is needed because
1120 * dev_map_list is an RCU list AND to ensure a delete
1121 * operation does not free a netdev_map entry while we
1122 * are comparing it against the netdev being unregistered.
1125 list_for_each_entry_rcu(dtab
, &dev_map_list
, list
) {
1126 if (dtab
->map
.map_type
== BPF_MAP_TYPE_DEVMAP_HASH
) {
1127 dev_map_hash_remove_netdev(dtab
, netdev
);
1131 for (i
= 0; i
< dtab
->map
.max_entries
; i
++) {
1132 struct bpf_dtab_netdev
*dev
, *odev
;
1134 dev
= rcu_dereference(dtab
->netdev_map
[i
]);
1135 if (!dev
|| netdev
!= dev
->dev
)
1137 odev
= unrcu_pointer(cmpxchg(&dtab
->netdev_map
[i
], RCU_INITIALIZER(dev
), NULL
));
1140 __dev_map_entry_free
);
1141 atomic_dec((atomic_t
*)&dtab
->items
);
1153 static struct notifier_block dev_map_notifier
= {
1154 .notifier_call
= dev_map_notification
,
1157 static int __init
dev_map_init(void)
1161 /* Assure tracepoint shadow struct _bpf_dtab_netdev is in sync */
1162 BUILD_BUG_ON(offsetof(struct bpf_dtab_netdev
, dev
) !=
1163 offsetof(struct _bpf_dtab_netdev
, dev
));
1164 register_netdevice_notifier(&dev_map_notifier
);
1166 for_each_possible_cpu(cpu
)
1167 INIT_LIST_HEAD(&per_cpu(dev_flush_list
, cpu
));
1171 subsys_initcall(dev_map_init
);