15b497af4SThomas Gleixner // SPDX-License-Identifier: GPL-2.0-only 2546ac1ffSJohn Fastabend /* Copyright (c) 2017 Covalent IO, Inc. http://covalent.io 3546ac1ffSJohn Fastabend */ 4546ac1ffSJohn Fastabend 5546ac1ffSJohn Fastabend /* Devmaps primary use is as a backend map for XDP BPF helper call 6546ac1ffSJohn Fastabend * bpf_redirect_map(). Because XDP is mostly concerned with performance we 7546ac1ffSJohn Fastabend * spent some effort to ensure the datapath with redirect maps does not use 8546ac1ffSJohn Fastabend * any locking. This is a quick note on the details. 9546ac1ffSJohn Fastabend * 10546ac1ffSJohn Fastabend * We have three possible paths to get into the devmap control plane bpf 11546ac1ffSJohn Fastabend * syscalls, bpf programs, and driver side xmit/flush operations. A bpf syscall 12546ac1ffSJohn Fastabend * will invoke an update, delete, or lookup operation. To ensure updates and 13546ac1ffSJohn Fastabend * deletes appear atomic from the datapath side xchg() is used to modify the 14546ac1ffSJohn Fastabend * netdev_map array. Then because the datapath does a lookup into the netdev_map 15546ac1ffSJohn Fastabend * array (read-only) from an RCU critical section we use call_rcu() to wait for 16546ac1ffSJohn Fastabend * an rcu grace period before free'ing the old data structures. This ensures the 17546ac1ffSJohn Fastabend * datapath always has a valid copy. However, the datapath does a "flush" 18546ac1ffSJohn Fastabend * operation that pushes any pending packets in the driver outside the RCU 19546ac1ffSJohn Fastabend * critical section. Each bpf_dtab_netdev tracks these pending operations using 20d5df2830SToke Høiland-Jørgensen * a per-cpu flush list. The bpf_dtab_netdev object will not be destroyed until 21d5df2830SToke Høiland-Jørgensen * this list is empty, indicating outstanding flush operations have completed. 22546ac1ffSJohn Fastabend * 23546ac1ffSJohn Fastabend * BPF syscalls may race with BPF program calls on any of the update, delete 24546ac1ffSJohn Fastabend * or lookup operations. As noted above the xchg() operation also keep the 25546ac1ffSJohn Fastabend * netdev_map consistent in this case. From the devmap side BPF programs 26546ac1ffSJohn Fastabend * calling into these operations are the same as multiple user space threads 27546ac1ffSJohn Fastabend * making system calls. 282ddf71e2SJohn Fastabend * 292ddf71e2SJohn Fastabend * Finally, any of the above may race with a netdev_unregister notifier. The 302ddf71e2SJohn Fastabend * unregister notifier must search for net devices in the map structure that 312ddf71e2SJohn Fastabend * contain a reference to the net device and remove them. This is a two step 322ddf71e2SJohn Fastabend * process (a) dereference the bpf_dtab_netdev object in netdev_map and (b) 332ddf71e2SJohn Fastabend * check to see if the ifindex is the same as the net_device being removed. 344cc7b954SJohn Fastabend * When removing the dev a cmpxchg() is used to ensure the correct dev is 354cc7b954SJohn Fastabend * removed, in the case of a concurrent update or delete operation it is 364cc7b954SJohn Fastabend * possible that the initially referenced dev is no longer in the map. As the 374cc7b954SJohn Fastabend * notifier hook walks the map we know that new dev references can not be 384cc7b954SJohn Fastabend * added by the user because core infrastructure ensures dev_get_by_index() 394cc7b954SJohn Fastabend * calls will fail at this point. 406f9d451aSToke Høiland-Jørgensen * 416f9d451aSToke Høiland-Jørgensen * The devmap_hash type is a map type which interprets keys as ifindexes and 426f9d451aSToke Høiland-Jørgensen * indexes these using a hashmap. This allows maps that use ifindex as key to be 436f9d451aSToke Høiland-Jørgensen * densely packed instead of having holes in the lookup array for unused 446f9d451aSToke Høiland-Jørgensen * ifindexes. The setup and packet enqueue/send code is shared between the two 456f9d451aSToke Høiland-Jørgensen * types of devmap; only the lookup and insertion is different. 46546ac1ffSJohn Fastabend */ 47546ac1ffSJohn Fastabend #include <linux/bpf.h> 4867f29e07SJesper Dangaard Brouer #include <net/xdp.h> 49546ac1ffSJohn Fastabend #include <linux/filter.h> 5067f29e07SJesper Dangaard Brouer #include <trace/events/xdp.h> 51546ac1ffSJohn Fastabend 526e71b04aSChenbo Feng #define DEV_CREATE_FLAG_MASK \ 536e71b04aSChenbo Feng (BPF_F_NUMA_NODE | BPF_F_RDONLY | BPF_F_WRONLY) 546e71b04aSChenbo Feng 555d053f9dSJesper Dangaard Brouer #define DEV_MAP_BULK_SIZE 16 56d5df2830SToke Høiland-Jørgensen struct bpf_dtab_netdev; 57d5df2830SToke Høiland-Jørgensen 585d053f9dSJesper Dangaard Brouer struct xdp_bulk_queue { 595d053f9dSJesper Dangaard Brouer struct xdp_frame *q[DEV_MAP_BULK_SIZE]; 60d5df2830SToke Høiland-Jørgensen struct list_head flush_node; 6138edddb8SJesper Dangaard Brouer struct net_device *dev_rx; 62d5df2830SToke Høiland-Jørgensen struct bpf_dtab_netdev *obj; 635d053f9dSJesper Dangaard Brouer unsigned int count; 645d053f9dSJesper Dangaard Brouer }; 655d053f9dSJesper Dangaard Brouer 66546ac1ffSJohn Fastabend struct bpf_dtab_netdev { 6767f29e07SJesper Dangaard Brouer struct net_device *dev; /* must be first member, due to tracepoint */ 686f9d451aSToke Høiland-Jørgensen struct hlist_node index_hlist; 69546ac1ffSJohn Fastabend struct bpf_dtab *dtab; 705d053f9dSJesper Dangaard Brouer struct xdp_bulk_queue __percpu *bulkq; 71af4d045cSDaniel Borkmann struct rcu_head rcu; 72fca16e51SToke Høiland-Jørgensen unsigned int idx; /* keep track of map index for tracepoint */ 73546ac1ffSJohn Fastabend }; 74546ac1ffSJohn Fastabend 75546ac1ffSJohn Fastabend struct bpf_dtab { 76546ac1ffSJohn Fastabend struct bpf_map map; 77546ac1ffSJohn Fastabend struct bpf_dtab_netdev **netdev_map; 78d5df2830SToke Høiland-Jørgensen struct list_head __percpu *flush_list; 792ddf71e2SJohn Fastabend struct list_head list; 806f9d451aSToke Høiland-Jørgensen 816f9d451aSToke Høiland-Jørgensen /* these are only used for DEVMAP_HASH type maps */ 826f9d451aSToke Høiland-Jørgensen struct hlist_head *dev_index_head; 836f9d451aSToke Høiland-Jørgensen spinlock_t index_lock; 846f9d451aSToke Høiland-Jørgensen unsigned int items; 856f9d451aSToke Høiland-Jørgensen u32 n_buckets; 86546ac1ffSJohn Fastabend }; 87546ac1ffSJohn Fastabend 884cc7b954SJohn Fastabend static DEFINE_SPINLOCK(dev_map_lock); 892ddf71e2SJohn Fastabend static LIST_HEAD(dev_map_list); 902ddf71e2SJohn Fastabend 916f9d451aSToke Høiland-Jørgensen static struct hlist_head *dev_map_create_hash(unsigned int entries) 926f9d451aSToke Høiland-Jørgensen { 936f9d451aSToke Høiland-Jørgensen int i; 946f9d451aSToke Høiland-Jørgensen struct hlist_head *hash; 956f9d451aSToke Høiland-Jørgensen 966f9d451aSToke Høiland-Jørgensen hash = kmalloc_array(entries, sizeof(*hash), GFP_KERNEL); 976f9d451aSToke Høiland-Jørgensen if (hash != NULL) 986f9d451aSToke Høiland-Jørgensen for (i = 0; i < entries; i++) 996f9d451aSToke Høiland-Jørgensen INIT_HLIST_HEAD(&hash[i]); 1006f9d451aSToke Høiland-Jørgensen 1016f9d451aSToke Høiland-Jørgensen return hash; 1026f9d451aSToke Høiland-Jørgensen } 1036f9d451aSToke Høiland-Jørgensen 104fca16e51SToke Høiland-Jørgensen static int dev_map_init_map(struct bpf_dtab *dtab, union bpf_attr *attr) 105546ac1ffSJohn Fastabend { 106d5df2830SToke Høiland-Jørgensen int err, cpu; 107546ac1ffSJohn Fastabend u64 cost; 108546ac1ffSJohn Fastabend 109546ac1ffSJohn Fastabend /* check sanity of attributes */ 110546ac1ffSJohn Fastabend if (attr->max_entries == 0 || attr->key_size != 4 || 1116e71b04aSChenbo Feng attr->value_size != 4 || attr->map_flags & ~DEV_CREATE_FLAG_MASK) 112fca16e51SToke Høiland-Jørgensen return -EINVAL; 113546ac1ffSJohn Fastabend 1140cdbb4b0SToke Høiland-Jørgensen /* Lookup returns a pointer straight to dev->ifindex, so make sure the 1150cdbb4b0SToke Høiland-Jørgensen * verifier prevents writes from the BPF side 1160cdbb4b0SToke Høiland-Jørgensen */ 1170cdbb4b0SToke Høiland-Jørgensen attr->map_flags |= BPF_F_RDONLY_PROG; 1180cdbb4b0SToke Høiland-Jørgensen 119546ac1ffSJohn Fastabend 120bd475643SJakub Kicinski bpf_map_init_from_attr(&dtab->map, attr); 121546ac1ffSJohn Fastabend 122546ac1ffSJohn Fastabend /* make sure page count doesn't overflow */ 123546ac1ffSJohn Fastabend cost = (u64) dtab->map.max_entries * sizeof(struct bpf_dtab_netdev *); 124d5df2830SToke Høiland-Jørgensen cost += sizeof(struct list_head) * num_possible_cpus(); 125546ac1ffSJohn Fastabend 1266f9d451aSToke Høiland-Jørgensen if (attr->map_type == BPF_MAP_TYPE_DEVMAP_HASH) { 1276f9d451aSToke Høiland-Jørgensen dtab->n_buckets = roundup_pow_of_two(dtab->map.max_entries); 1286f9d451aSToke Høiland-Jørgensen 1296f9d451aSToke Høiland-Jørgensen if (!dtab->n_buckets) /* Overflow check */ 1306f9d451aSToke Høiland-Jørgensen return -EINVAL; 131*05679ca6SToke Høiland-Jørgensen cost += (u64) sizeof(struct hlist_head) * dtab->n_buckets; 1326f9d451aSToke Høiland-Jørgensen } 1336f9d451aSToke Høiland-Jørgensen 134b936ca64SRoman Gushchin /* if map size is larger than memlock limit, reject it */ 135c85d6913SRoman Gushchin err = bpf_map_charge_init(&dtab->map.memory, cost); 136546ac1ffSJohn Fastabend if (err) 137fca16e51SToke Høiland-Jørgensen return -EINVAL; 138582db7e0STobias Klauser 139d5df2830SToke Høiland-Jørgensen dtab->flush_list = alloc_percpu(struct list_head); 140d5df2830SToke Høiland-Jørgensen if (!dtab->flush_list) 141b936ca64SRoman Gushchin goto free_charge; 14211393cc9SJohn Fastabend 143d5df2830SToke Høiland-Jørgensen for_each_possible_cpu(cpu) 144d5df2830SToke Høiland-Jørgensen INIT_LIST_HEAD(per_cpu_ptr(dtab->flush_list, cpu)); 145d5df2830SToke Høiland-Jørgensen 146546ac1ffSJohn Fastabend dtab->netdev_map = bpf_map_area_alloc(dtab->map.max_entries * 14796eabe7aSMartin KaFai Lau sizeof(struct bpf_dtab_netdev *), 14896eabe7aSMartin KaFai Lau dtab->map.numa_node); 149546ac1ffSJohn Fastabend if (!dtab->netdev_map) 150d5df2830SToke Høiland-Jørgensen goto free_percpu; 151546ac1ffSJohn Fastabend 1526f9d451aSToke Høiland-Jørgensen if (attr->map_type == BPF_MAP_TYPE_DEVMAP_HASH) { 1536f9d451aSToke Høiland-Jørgensen dtab->dev_index_head = dev_map_create_hash(dtab->n_buckets); 1546f9d451aSToke Høiland-Jørgensen if (!dtab->dev_index_head) 1556f9d451aSToke Høiland-Jørgensen goto free_map_area; 1566f9d451aSToke Høiland-Jørgensen 1576f9d451aSToke Høiland-Jørgensen spin_lock_init(&dtab->index_lock); 1586f9d451aSToke Høiland-Jørgensen } 1596f9d451aSToke Høiland-Jørgensen 160fca16e51SToke Høiland-Jørgensen return 0; 161d5df2830SToke Høiland-Jørgensen 1626f9d451aSToke Høiland-Jørgensen free_map_area: 1636f9d451aSToke Høiland-Jørgensen bpf_map_area_free(dtab->netdev_map); 164d5df2830SToke Høiland-Jørgensen free_percpu: 165d5df2830SToke Høiland-Jørgensen free_percpu(dtab->flush_list); 166b936ca64SRoman Gushchin free_charge: 167b936ca64SRoman Gushchin bpf_map_charge_finish(&dtab->map.memory); 168fca16e51SToke Høiland-Jørgensen return -ENOMEM; 169fca16e51SToke Høiland-Jørgensen } 170fca16e51SToke Høiland-Jørgensen 171fca16e51SToke Høiland-Jørgensen static struct bpf_map *dev_map_alloc(union bpf_attr *attr) 172fca16e51SToke Høiland-Jørgensen { 173fca16e51SToke Høiland-Jørgensen struct bpf_dtab *dtab; 174fca16e51SToke Høiland-Jørgensen int err; 175fca16e51SToke Høiland-Jørgensen 176fca16e51SToke Høiland-Jørgensen if (!capable(CAP_NET_ADMIN)) 177fca16e51SToke Høiland-Jørgensen return ERR_PTR(-EPERM); 178fca16e51SToke Høiland-Jørgensen 179fca16e51SToke Høiland-Jørgensen dtab = kzalloc(sizeof(*dtab), GFP_USER); 180fca16e51SToke Høiland-Jørgensen if (!dtab) 181fca16e51SToke Høiland-Jørgensen return ERR_PTR(-ENOMEM); 182fca16e51SToke Høiland-Jørgensen 183fca16e51SToke Høiland-Jørgensen err = dev_map_init_map(dtab, attr); 184fca16e51SToke Høiland-Jørgensen if (err) { 185546ac1ffSJohn Fastabend kfree(dtab); 186582db7e0STobias Klauser return ERR_PTR(err); 187546ac1ffSJohn Fastabend } 188546ac1ffSJohn Fastabend 189fca16e51SToke Høiland-Jørgensen spin_lock(&dev_map_lock); 190fca16e51SToke Høiland-Jørgensen list_add_tail_rcu(&dtab->list, &dev_map_list); 191fca16e51SToke Høiland-Jørgensen spin_unlock(&dev_map_lock); 192fca16e51SToke Høiland-Jørgensen 193fca16e51SToke Høiland-Jørgensen return &dtab->map; 194fca16e51SToke Høiland-Jørgensen } 195fca16e51SToke Høiland-Jørgensen 196546ac1ffSJohn Fastabend static void dev_map_free(struct bpf_map *map) 197546ac1ffSJohn Fastabend { 198546ac1ffSJohn Fastabend struct bpf_dtab *dtab = container_of(map, struct bpf_dtab, map); 19911393cc9SJohn Fastabend int i, cpu; 200546ac1ffSJohn Fastabend 201546ac1ffSJohn Fastabend /* At this point bpf_prog->aux->refcnt == 0 and this map->refcnt == 0, 202546ac1ffSJohn Fastabend * so the programs (can be more than one that used this map) were 203546ac1ffSJohn Fastabend * disconnected from events. Wait for outstanding critical sections in 204546ac1ffSJohn Fastabend * these programs to complete. The rcu critical section only guarantees 205546ac1ffSJohn Fastabend * no further reads against netdev_map. It does __not__ ensure pending 206546ac1ffSJohn Fastabend * flush operations (if any) are complete. 207546ac1ffSJohn Fastabend */ 208274043c6SDaniel Borkmann 209274043c6SDaniel Borkmann spin_lock(&dev_map_lock); 210274043c6SDaniel Borkmann list_del_rcu(&dtab->list); 211274043c6SDaniel Borkmann spin_unlock(&dev_map_lock); 212274043c6SDaniel Borkmann 213f6069b9aSDaniel Borkmann bpf_clear_redirect_map(map); 214546ac1ffSJohn Fastabend synchronize_rcu(); 215546ac1ffSJohn Fastabend 2162baae354SEric Dumazet /* Make sure prior __dev_map_entry_free() have completed. */ 2172baae354SEric Dumazet rcu_barrier(); 2182baae354SEric Dumazet 21911393cc9SJohn Fastabend /* To ensure all pending flush operations have completed wait for flush 220d5df2830SToke Høiland-Jørgensen * list to empty on _all_ cpus. 22111393cc9SJohn Fastabend * Because the above synchronize_rcu() ensures the map is disconnected 222d5df2830SToke Høiland-Jørgensen * from the program we can assume no new items will be added. 22311393cc9SJohn Fastabend */ 22411393cc9SJohn Fastabend for_each_online_cpu(cpu) { 225d5df2830SToke Høiland-Jørgensen struct list_head *flush_list = per_cpu_ptr(dtab->flush_list, cpu); 22611393cc9SJohn Fastabend 227d5df2830SToke Høiland-Jørgensen while (!list_empty(flush_list)) 228374fb014SJohn Fastabend cond_resched(); 22911393cc9SJohn Fastabend } 23011393cc9SJohn Fastabend 231546ac1ffSJohn Fastabend for (i = 0; i < dtab->map.max_entries; i++) { 232546ac1ffSJohn Fastabend struct bpf_dtab_netdev *dev; 233546ac1ffSJohn Fastabend 234546ac1ffSJohn Fastabend dev = dtab->netdev_map[i]; 235546ac1ffSJohn Fastabend if (!dev) 236546ac1ffSJohn Fastabend continue; 237546ac1ffSJohn Fastabend 238edabf4d9SToshiaki Makita free_percpu(dev->bulkq); 239546ac1ffSJohn Fastabend dev_put(dev->dev); 240546ac1ffSJohn Fastabend kfree(dev); 241546ac1ffSJohn Fastabend } 242546ac1ffSJohn Fastabend 243d5df2830SToke Høiland-Jørgensen free_percpu(dtab->flush_list); 244546ac1ffSJohn Fastabend bpf_map_area_free(dtab->netdev_map); 2456f9d451aSToke Høiland-Jørgensen kfree(dtab->dev_index_head); 246546ac1ffSJohn Fastabend kfree(dtab); 247546ac1ffSJohn Fastabend } 248546ac1ffSJohn Fastabend 249546ac1ffSJohn Fastabend static int dev_map_get_next_key(struct bpf_map *map, void *key, void *next_key) 250546ac1ffSJohn Fastabend { 251546ac1ffSJohn Fastabend struct bpf_dtab *dtab = container_of(map, struct bpf_dtab, map); 252546ac1ffSJohn Fastabend u32 index = key ? *(u32 *)key : U32_MAX; 253af4d045cSDaniel Borkmann u32 *next = next_key; 254546ac1ffSJohn Fastabend 255546ac1ffSJohn Fastabend if (index >= dtab->map.max_entries) { 256546ac1ffSJohn Fastabend *next = 0; 257546ac1ffSJohn Fastabend return 0; 258546ac1ffSJohn Fastabend } 259546ac1ffSJohn Fastabend 260546ac1ffSJohn Fastabend if (index == dtab->map.max_entries - 1) 261546ac1ffSJohn Fastabend return -ENOENT; 262546ac1ffSJohn Fastabend *next = index + 1; 263546ac1ffSJohn Fastabend return 0; 264546ac1ffSJohn Fastabend } 265546ac1ffSJohn Fastabend 2666f9d451aSToke Høiland-Jørgensen static inline struct hlist_head *dev_map_index_hash(struct bpf_dtab *dtab, 2676f9d451aSToke Høiland-Jørgensen int idx) 2686f9d451aSToke Høiland-Jørgensen { 2696f9d451aSToke Høiland-Jørgensen return &dtab->dev_index_head[idx & (dtab->n_buckets - 1)]; 2706f9d451aSToke Høiland-Jørgensen } 2716f9d451aSToke Høiland-Jørgensen 2726f9d451aSToke Høiland-Jørgensen struct bpf_dtab_netdev *__dev_map_hash_lookup_elem(struct bpf_map *map, u32 key) 2736f9d451aSToke Høiland-Jørgensen { 2746f9d451aSToke Høiland-Jørgensen struct bpf_dtab *dtab = container_of(map, struct bpf_dtab, map); 2756f9d451aSToke Høiland-Jørgensen struct hlist_head *head = dev_map_index_hash(dtab, key); 2766f9d451aSToke Høiland-Jørgensen struct bpf_dtab_netdev *dev; 2776f9d451aSToke Høiland-Jørgensen 2786f9d451aSToke Høiland-Jørgensen hlist_for_each_entry_rcu(dev, head, index_hlist) 2796f9d451aSToke Høiland-Jørgensen if (dev->idx == key) 2806f9d451aSToke Høiland-Jørgensen return dev; 2816f9d451aSToke Høiland-Jørgensen 2826f9d451aSToke Høiland-Jørgensen return NULL; 2836f9d451aSToke Høiland-Jørgensen } 2846f9d451aSToke Høiland-Jørgensen 2856f9d451aSToke Høiland-Jørgensen static int dev_map_hash_get_next_key(struct bpf_map *map, void *key, 2866f9d451aSToke Høiland-Jørgensen void *next_key) 2876f9d451aSToke Høiland-Jørgensen { 2886f9d451aSToke Høiland-Jørgensen struct bpf_dtab *dtab = container_of(map, struct bpf_dtab, map); 2896f9d451aSToke Høiland-Jørgensen u32 idx, *next = next_key; 2906f9d451aSToke Høiland-Jørgensen struct bpf_dtab_netdev *dev, *next_dev; 2916f9d451aSToke Høiland-Jørgensen struct hlist_head *head; 2926f9d451aSToke Høiland-Jørgensen int i = 0; 2936f9d451aSToke Høiland-Jørgensen 2946f9d451aSToke Høiland-Jørgensen if (!key) 2956f9d451aSToke Høiland-Jørgensen goto find_first; 2966f9d451aSToke Høiland-Jørgensen 2976f9d451aSToke Høiland-Jørgensen idx = *(u32 *)key; 2986f9d451aSToke Høiland-Jørgensen 2996f9d451aSToke Høiland-Jørgensen dev = __dev_map_hash_lookup_elem(map, idx); 3006f9d451aSToke Høiland-Jørgensen if (!dev) 3016f9d451aSToke Høiland-Jørgensen goto find_first; 3026f9d451aSToke Høiland-Jørgensen 3036f9d451aSToke Høiland-Jørgensen next_dev = hlist_entry_safe(rcu_dereference_raw(hlist_next_rcu(&dev->index_hlist)), 3046f9d451aSToke Høiland-Jørgensen struct bpf_dtab_netdev, index_hlist); 3056f9d451aSToke Høiland-Jørgensen 3066f9d451aSToke Høiland-Jørgensen if (next_dev) { 3076f9d451aSToke Høiland-Jørgensen *next = next_dev->idx; 3086f9d451aSToke Høiland-Jørgensen return 0; 3096f9d451aSToke Høiland-Jørgensen } 3106f9d451aSToke Høiland-Jørgensen 3116f9d451aSToke Høiland-Jørgensen i = idx & (dtab->n_buckets - 1); 3126f9d451aSToke Høiland-Jørgensen i++; 3136f9d451aSToke Høiland-Jørgensen 3146f9d451aSToke Høiland-Jørgensen find_first: 3156f9d451aSToke Høiland-Jørgensen for (; i < dtab->n_buckets; i++) { 3166f9d451aSToke Høiland-Jørgensen head = dev_map_index_hash(dtab, i); 3176f9d451aSToke Høiland-Jørgensen 3186f9d451aSToke Høiland-Jørgensen next_dev = hlist_entry_safe(rcu_dereference_raw(hlist_first_rcu(head)), 3196f9d451aSToke Høiland-Jørgensen struct bpf_dtab_netdev, 3206f9d451aSToke Høiland-Jørgensen index_hlist); 3216f9d451aSToke Høiland-Jørgensen if (next_dev) { 3226f9d451aSToke Høiland-Jørgensen *next = next_dev->idx; 3236f9d451aSToke Høiland-Jørgensen return 0; 3246f9d451aSToke Høiland-Jørgensen } 3256f9d451aSToke Høiland-Jørgensen } 3266f9d451aSToke Høiland-Jørgensen 3276f9d451aSToke Høiland-Jørgensen return -ENOENT; 3286f9d451aSToke Høiland-Jørgensen } 3296f9d451aSToke Høiland-Jørgensen 330d5df2830SToke Høiland-Jørgensen static int bq_xmit_all(struct xdp_bulk_queue *bq, u32 flags, 3311bf9116dSJesper Dangaard Brouer bool in_napi_ctx) 3325d053f9dSJesper Dangaard Brouer { 333d5df2830SToke Høiland-Jørgensen struct bpf_dtab_netdev *obj = bq->obj; 3345d053f9dSJesper Dangaard Brouer struct net_device *dev = obj->dev; 335e74de52eSJesper Dangaard Brouer int sent = 0, drops = 0, err = 0; 3365d053f9dSJesper Dangaard Brouer int i; 3375d053f9dSJesper Dangaard Brouer 3385d053f9dSJesper Dangaard Brouer if (unlikely(!bq->count)) 3395d053f9dSJesper Dangaard Brouer return 0; 3405d053f9dSJesper Dangaard Brouer 3415d053f9dSJesper Dangaard Brouer for (i = 0; i < bq->count; i++) { 3425d053f9dSJesper Dangaard Brouer struct xdp_frame *xdpf = bq->q[i]; 3435d053f9dSJesper Dangaard Brouer 3445d053f9dSJesper Dangaard Brouer prefetch(xdpf); 3455d053f9dSJesper Dangaard Brouer } 3465d053f9dSJesper Dangaard Brouer 347c1ece6b2SJesper Dangaard Brouer sent = dev->netdev_ops->ndo_xdp_xmit(dev, bq->count, bq->q, flags); 348735fc405SJesper Dangaard Brouer if (sent < 0) { 349e74de52eSJesper Dangaard Brouer err = sent; 350735fc405SJesper Dangaard Brouer sent = 0; 351735fc405SJesper Dangaard Brouer goto error; 35238edddb8SJesper Dangaard Brouer } 353735fc405SJesper Dangaard Brouer drops = bq->count - sent; 354735fc405SJesper Dangaard Brouer out: 3555d053f9dSJesper Dangaard Brouer bq->count = 0; 3565d053f9dSJesper Dangaard Brouer 357fca16e51SToke Høiland-Jørgensen trace_xdp_devmap_xmit(&obj->dtab->map, obj->idx, 358e74de52eSJesper Dangaard Brouer sent, drops, bq->dev_rx, dev, err); 35938edddb8SJesper Dangaard Brouer bq->dev_rx = NULL; 360d5df2830SToke Høiland-Jørgensen __list_del_clearprev(&bq->flush_node); 3615d053f9dSJesper Dangaard Brouer return 0; 362735fc405SJesper Dangaard Brouer error: 363735fc405SJesper Dangaard Brouer /* If ndo_xdp_xmit fails with an errno, no frames have been 364735fc405SJesper Dangaard Brouer * xmit'ed and it's our responsibility to them free all. 365735fc405SJesper Dangaard Brouer */ 366735fc405SJesper Dangaard Brouer for (i = 0; i < bq->count; i++) { 367735fc405SJesper Dangaard Brouer struct xdp_frame *xdpf = bq->q[i]; 368735fc405SJesper Dangaard Brouer 369735fc405SJesper Dangaard Brouer /* RX path under NAPI protection, can return frames faster */ 3701bf9116dSJesper Dangaard Brouer if (likely(in_napi_ctx)) 371735fc405SJesper Dangaard Brouer xdp_return_frame_rx_napi(xdpf); 3721bf9116dSJesper Dangaard Brouer else 3731bf9116dSJesper Dangaard Brouer xdp_return_frame(xdpf); 374735fc405SJesper Dangaard Brouer drops++; 375735fc405SJesper Dangaard Brouer } 376735fc405SJesper Dangaard Brouer goto out; 3775d053f9dSJesper Dangaard Brouer } 3785d053f9dSJesper Dangaard Brouer 37911393cc9SJohn Fastabend /* __dev_map_flush is called from xdp_do_flush_map() which _must_ be signaled 38011393cc9SJohn Fastabend * from the driver before returning from its napi->poll() routine. The poll() 38111393cc9SJohn Fastabend * routine is called either from busy_poll context or net_rx_action signaled 38211393cc9SJohn Fastabend * from NET_RX_SOFTIRQ. Either way the poll routine must complete before the 383d5df2830SToke Høiland-Jørgensen * net device can be torn down. On devmap tear down we ensure the flush list 384d5df2830SToke Høiland-Jørgensen * is empty before completing to ensure all flush operations have completed. 38511393cc9SJohn Fastabend */ 38611393cc9SJohn Fastabend void __dev_map_flush(struct bpf_map *map) 38711393cc9SJohn Fastabend { 38811393cc9SJohn Fastabend struct bpf_dtab *dtab = container_of(map, struct bpf_dtab, map); 389d5df2830SToke Høiland-Jørgensen struct list_head *flush_list = this_cpu_ptr(dtab->flush_list); 390d5df2830SToke Høiland-Jørgensen struct xdp_bulk_queue *bq, *tmp; 39111393cc9SJohn Fastabend 39286723c86SToshiaki Makita rcu_read_lock(); 393d5df2830SToke Høiland-Jørgensen list_for_each_entry_safe(bq, tmp, flush_list, flush_node) 394d5df2830SToke Høiland-Jørgensen bq_xmit_all(bq, XDP_XMIT_FLUSH, true); 39586723c86SToshiaki Makita rcu_read_unlock(); 39611393cc9SJohn Fastabend } 39711393cc9SJohn Fastabend 398546ac1ffSJohn Fastabend /* rcu_read_lock (from syscall and BPF contexts) ensures that if a delete and/or 399546ac1ffSJohn Fastabend * update happens in parallel here a dev_put wont happen until after reading the 400546ac1ffSJohn Fastabend * ifindex. 401546ac1ffSJohn Fastabend */ 40267f29e07SJesper Dangaard Brouer struct bpf_dtab_netdev *__dev_map_lookup_elem(struct bpf_map *map, u32 key) 403546ac1ffSJohn Fastabend { 404546ac1ffSJohn Fastabend struct bpf_dtab *dtab = container_of(map, struct bpf_dtab, map); 40567f29e07SJesper Dangaard Brouer struct bpf_dtab_netdev *obj; 406546ac1ffSJohn Fastabend 407af4d045cSDaniel Borkmann if (key >= map->max_entries) 408546ac1ffSJohn Fastabend return NULL; 409546ac1ffSJohn Fastabend 41067f29e07SJesper Dangaard Brouer obj = READ_ONCE(dtab->netdev_map[key]); 41167f29e07SJesper Dangaard Brouer return obj; 41267f29e07SJesper Dangaard Brouer } 41367f29e07SJesper Dangaard Brouer 4145d053f9dSJesper Dangaard Brouer /* Runs under RCU-read-side, plus in softirq under NAPI protection. 4155d053f9dSJesper Dangaard Brouer * Thus, safe percpu variable access. 4165d053f9dSJesper Dangaard Brouer */ 41738edddb8SJesper Dangaard Brouer static int bq_enqueue(struct bpf_dtab_netdev *obj, struct xdp_frame *xdpf, 41838edddb8SJesper Dangaard Brouer struct net_device *dev_rx) 41938edddb8SJesper Dangaard Brouer 4205d053f9dSJesper Dangaard Brouer { 421d5df2830SToke Høiland-Jørgensen struct list_head *flush_list = this_cpu_ptr(obj->dtab->flush_list); 4225d053f9dSJesper Dangaard Brouer struct xdp_bulk_queue *bq = this_cpu_ptr(obj->bulkq); 4235d053f9dSJesper Dangaard Brouer 4245d053f9dSJesper Dangaard Brouer if (unlikely(bq->count == DEV_MAP_BULK_SIZE)) 425d5df2830SToke Høiland-Jørgensen bq_xmit_all(bq, 0, true); 4265d053f9dSJesper Dangaard Brouer 42738edddb8SJesper Dangaard Brouer /* Ingress dev_rx will be the same for all xdp_frame's in 42838edddb8SJesper Dangaard Brouer * bulk_queue, because bq stored per-CPU and must be flushed 42938edddb8SJesper Dangaard Brouer * from net_device drivers NAPI func end. 43038edddb8SJesper Dangaard Brouer */ 43138edddb8SJesper Dangaard Brouer if (!bq->dev_rx) 43238edddb8SJesper Dangaard Brouer bq->dev_rx = dev_rx; 43338edddb8SJesper Dangaard Brouer 4345d053f9dSJesper Dangaard Brouer bq->q[bq->count++] = xdpf; 435d5df2830SToke Høiland-Jørgensen 436d5df2830SToke Høiland-Jørgensen if (!bq->flush_node.prev) 437d5df2830SToke Høiland-Jørgensen list_add(&bq->flush_node, flush_list); 438d5df2830SToke Høiland-Jørgensen 4395d053f9dSJesper Dangaard Brouer return 0; 4405d053f9dSJesper Dangaard Brouer } 4415d053f9dSJesper Dangaard Brouer 44238edddb8SJesper Dangaard Brouer int dev_map_enqueue(struct bpf_dtab_netdev *dst, struct xdp_buff *xdp, 44338edddb8SJesper Dangaard Brouer struct net_device *dev_rx) 44467f29e07SJesper Dangaard Brouer { 44567f29e07SJesper Dangaard Brouer struct net_device *dev = dst->dev; 44667f29e07SJesper Dangaard Brouer struct xdp_frame *xdpf; 447d8d7218aSToshiaki Makita int err; 44867f29e07SJesper Dangaard Brouer 44967f29e07SJesper Dangaard Brouer if (!dev->netdev_ops->ndo_xdp_xmit) 45067f29e07SJesper Dangaard Brouer return -EOPNOTSUPP; 45167f29e07SJesper Dangaard Brouer 452d8d7218aSToshiaki Makita err = xdp_ok_fwd_dev(dev, xdp->data_end - xdp->data); 453d8d7218aSToshiaki Makita if (unlikely(err)) 454d8d7218aSToshiaki Makita return err; 455d8d7218aSToshiaki Makita 45667f29e07SJesper Dangaard Brouer xdpf = convert_to_xdp_frame(xdp); 45767f29e07SJesper Dangaard Brouer if (unlikely(!xdpf)) 45867f29e07SJesper Dangaard Brouer return -EOVERFLOW; 45967f29e07SJesper Dangaard Brouer 46038edddb8SJesper Dangaard Brouer return bq_enqueue(dst, xdpf, dev_rx); 461546ac1ffSJohn Fastabend } 462546ac1ffSJohn Fastabend 4636d5fc195SToshiaki Makita int dev_map_generic_redirect(struct bpf_dtab_netdev *dst, struct sk_buff *skb, 4646d5fc195SToshiaki Makita struct bpf_prog *xdp_prog) 4656d5fc195SToshiaki Makita { 4666d5fc195SToshiaki Makita int err; 4676d5fc195SToshiaki Makita 468d8d7218aSToshiaki Makita err = xdp_ok_fwd_dev(dst->dev, skb->len); 4696d5fc195SToshiaki Makita if (unlikely(err)) 4706d5fc195SToshiaki Makita return err; 4716d5fc195SToshiaki Makita skb->dev = dst->dev; 4726d5fc195SToshiaki Makita generic_xdp_tx(skb, xdp_prog); 4736d5fc195SToshiaki Makita 4746d5fc195SToshiaki Makita return 0; 4756d5fc195SToshiaki Makita } 4766d5fc195SToshiaki Makita 477af4d045cSDaniel Borkmann static void *dev_map_lookup_elem(struct bpf_map *map, void *key) 47811393cc9SJohn Fastabend { 47967f29e07SJesper Dangaard Brouer struct bpf_dtab_netdev *obj = __dev_map_lookup_elem(map, *(u32 *)key); 48071b2c87dSColin Ian King struct net_device *dev = obj ? obj->dev : NULL; 481af4d045cSDaniel Borkmann 482af4d045cSDaniel Borkmann return dev ? &dev->ifindex : NULL; 483af4d045cSDaniel Borkmann } 484af4d045cSDaniel Borkmann 4856f9d451aSToke Høiland-Jørgensen static void *dev_map_hash_lookup_elem(struct bpf_map *map, void *key) 4866f9d451aSToke Høiland-Jørgensen { 4876f9d451aSToke Høiland-Jørgensen struct bpf_dtab_netdev *obj = __dev_map_hash_lookup_elem(map, 4886f9d451aSToke Høiland-Jørgensen *(u32 *)key); 4896f9d451aSToke Høiland-Jørgensen struct net_device *dev = obj ? obj->dev : NULL; 4906f9d451aSToke Høiland-Jørgensen 4916f9d451aSToke Høiland-Jørgensen return dev ? &dev->ifindex : NULL; 4926f9d451aSToke Høiland-Jørgensen } 4936f9d451aSToke Høiland-Jørgensen 494af4d045cSDaniel Borkmann static void dev_map_flush_old(struct bpf_dtab_netdev *dev) 495af4d045cSDaniel Borkmann { 496c1ece6b2SJesper Dangaard Brouer if (dev->dev->netdev_ops->ndo_xdp_xmit) { 4975d053f9dSJesper Dangaard Brouer struct xdp_bulk_queue *bq; 49811393cc9SJohn Fastabend int cpu; 49911393cc9SJohn Fastabend 50086723c86SToshiaki Makita rcu_read_lock(); 50111393cc9SJohn Fastabend for_each_online_cpu(cpu) { 5025d053f9dSJesper Dangaard Brouer bq = per_cpu_ptr(dev->bulkq, cpu); 503d5df2830SToke Høiland-Jørgensen bq_xmit_all(bq, XDP_XMIT_FLUSH, false); 50411393cc9SJohn Fastabend } 50586723c86SToshiaki Makita rcu_read_unlock(); 50611393cc9SJohn Fastabend } 50711393cc9SJohn Fastabend } 50811393cc9SJohn Fastabend 509546ac1ffSJohn Fastabend static void __dev_map_entry_free(struct rcu_head *rcu) 510546ac1ffSJohn Fastabend { 511af4d045cSDaniel Borkmann struct bpf_dtab_netdev *dev; 512546ac1ffSJohn Fastabend 513af4d045cSDaniel Borkmann dev = container_of(rcu, struct bpf_dtab_netdev, rcu); 514af4d045cSDaniel Borkmann dev_map_flush_old(dev); 5155d053f9dSJesper Dangaard Brouer free_percpu(dev->bulkq); 516af4d045cSDaniel Borkmann dev_put(dev->dev); 517af4d045cSDaniel Borkmann kfree(dev); 518546ac1ffSJohn Fastabend } 519546ac1ffSJohn Fastabend 520546ac1ffSJohn Fastabend static int dev_map_delete_elem(struct bpf_map *map, void *key) 521546ac1ffSJohn Fastabend { 522546ac1ffSJohn Fastabend struct bpf_dtab *dtab = container_of(map, struct bpf_dtab, map); 523546ac1ffSJohn Fastabend struct bpf_dtab_netdev *old_dev; 524546ac1ffSJohn Fastabend int k = *(u32 *)key; 525546ac1ffSJohn Fastabend 526546ac1ffSJohn Fastabend if (k >= map->max_entries) 527546ac1ffSJohn Fastabend return -EINVAL; 528546ac1ffSJohn Fastabend 529af4d045cSDaniel Borkmann /* Use call_rcu() here to ensure any rcu critical sections have 530af4d045cSDaniel Borkmann * completed, but this does not guarantee a flush has happened 531546ac1ffSJohn Fastabend * yet. Because driver side rcu_read_lock/unlock only protects the 532546ac1ffSJohn Fastabend * running XDP program. However, for pending flush operations the 533546ac1ffSJohn Fastabend * dev and ctx are stored in another per cpu map. And additionally, 534546ac1ffSJohn Fastabend * the driver tear down ensures all soft irqs are complete before 535546ac1ffSJohn Fastabend * removing the net device in the case of dev_put equals zero. 536546ac1ffSJohn Fastabend */ 537546ac1ffSJohn Fastabend old_dev = xchg(&dtab->netdev_map[k], NULL); 538546ac1ffSJohn Fastabend if (old_dev) 539546ac1ffSJohn Fastabend call_rcu(&old_dev->rcu, __dev_map_entry_free); 540546ac1ffSJohn Fastabend return 0; 541546ac1ffSJohn Fastabend } 542546ac1ffSJohn Fastabend 5436f9d451aSToke Høiland-Jørgensen static int dev_map_hash_delete_elem(struct bpf_map *map, void *key) 5446f9d451aSToke Høiland-Jørgensen { 5456f9d451aSToke Høiland-Jørgensen struct bpf_dtab *dtab = container_of(map, struct bpf_dtab, map); 5466f9d451aSToke Høiland-Jørgensen struct bpf_dtab_netdev *old_dev; 5476f9d451aSToke Høiland-Jørgensen int k = *(u32 *)key; 5486f9d451aSToke Høiland-Jørgensen unsigned long flags; 5496f9d451aSToke Høiland-Jørgensen int ret = -ENOENT; 5506f9d451aSToke Høiland-Jørgensen 5516f9d451aSToke Høiland-Jørgensen spin_lock_irqsave(&dtab->index_lock, flags); 5526f9d451aSToke Høiland-Jørgensen 5536f9d451aSToke Høiland-Jørgensen old_dev = __dev_map_hash_lookup_elem(map, k); 5546f9d451aSToke Høiland-Jørgensen if (old_dev) { 5556f9d451aSToke Høiland-Jørgensen dtab->items--; 5566f9d451aSToke Høiland-Jørgensen hlist_del_init_rcu(&old_dev->index_hlist); 5576f9d451aSToke Høiland-Jørgensen call_rcu(&old_dev->rcu, __dev_map_entry_free); 5586f9d451aSToke Høiland-Jørgensen ret = 0; 5596f9d451aSToke Høiland-Jørgensen } 5606f9d451aSToke Høiland-Jørgensen spin_unlock_irqrestore(&dtab->index_lock, flags); 5616f9d451aSToke Høiland-Jørgensen 5626f9d451aSToke Høiland-Jørgensen return ret; 5636f9d451aSToke Høiland-Jørgensen } 5646f9d451aSToke Høiland-Jørgensen 565fca16e51SToke Høiland-Jørgensen static struct bpf_dtab_netdev *__dev_map_alloc_node(struct net *net, 566fca16e51SToke Høiland-Jørgensen struct bpf_dtab *dtab, 567fca16e51SToke Høiland-Jørgensen u32 ifindex, 568fca16e51SToke Høiland-Jørgensen unsigned int idx) 569546ac1ffSJohn Fastabend { 5705d053f9dSJesper Dangaard Brouer gfp_t gfp = GFP_ATOMIC | __GFP_NOWARN; 571fca16e51SToke Høiland-Jørgensen struct bpf_dtab_netdev *dev; 572d5df2830SToke Høiland-Jørgensen struct xdp_bulk_queue *bq; 573d5df2830SToke Høiland-Jørgensen int cpu; 574546ac1ffSJohn Fastabend 575fca16e51SToke Høiland-Jørgensen dev = kmalloc_node(sizeof(*dev), gfp, dtab->map.numa_node); 576546ac1ffSJohn Fastabend if (!dev) 577fca16e51SToke Høiland-Jørgensen return ERR_PTR(-ENOMEM); 578546ac1ffSJohn Fastabend 5795d053f9dSJesper Dangaard Brouer dev->bulkq = __alloc_percpu_gfp(sizeof(*dev->bulkq), 5805d053f9dSJesper Dangaard Brouer sizeof(void *), gfp); 5815d053f9dSJesper Dangaard Brouer if (!dev->bulkq) { 5825d053f9dSJesper Dangaard Brouer kfree(dev); 583fca16e51SToke Høiland-Jørgensen return ERR_PTR(-ENOMEM); 5845d053f9dSJesper Dangaard Brouer } 5855d053f9dSJesper Dangaard Brouer 586d5df2830SToke Høiland-Jørgensen for_each_possible_cpu(cpu) { 587d5df2830SToke Høiland-Jørgensen bq = per_cpu_ptr(dev->bulkq, cpu); 588d5df2830SToke Høiland-Jørgensen bq->obj = dev; 589d5df2830SToke Høiland-Jørgensen } 590d5df2830SToke Høiland-Jørgensen 591546ac1ffSJohn Fastabend dev->dev = dev_get_by_index(net, ifindex); 592546ac1ffSJohn Fastabend if (!dev->dev) { 5935d053f9dSJesper Dangaard Brouer free_percpu(dev->bulkq); 594546ac1ffSJohn Fastabend kfree(dev); 595fca16e51SToke Høiland-Jørgensen return ERR_PTR(-EINVAL); 596546ac1ffSJohn Fastabend } 597546ac1ffSJohn Fastabend 598fca16e51SToke Høiland-Jørgensen dev->idx = idx; 599546ac1ffSJohn Fastabend dev->dtab = dtab; 600fca16e51SToke Høiland-Jørgensen 601fca16e51SToke Høiland-Jørgensen return dev; 602fca16e51SToke Høiland-Jørgensen } 603fca16e51SToke Høiland-Jørgensen 604fca16e51SToke Høiland-Jørgensen static int __dev_map_update_elem(struct net *net, struct bpf_map *map, 605fca16e51SToke Høiland-Jørgensen void *key, void *value, u64 map_flags) 606fca16e51SToke Høiland-Jørgensen { 607fca16e51SToke Høiland-Jørgensen struct bpf_dtab *dtab = container_of(map, struct bpf_dtab, map); 608fca16e51SToke Høiland-Jørgensen struct bpf_dtab_netdev *dev, *old_dev; 609fca16e51SToke Høiland-Jørgensen u32 ifindex = *(u32 *)value; 610fca16e51SToke Høiland-Jørgensen u32 i = *(u32 *)key; 611fca16e51SToke Høiland-Jørgensen 612fca16e51SToke Høiland-Jørgensen if (unlikely(map_flags > BPF_EXIST)) 613fca16e51SToke Høiland-Jørgensen return -EINVAL; 614fca16e51SToke Høiland-Jørgensen if (unlikely(i >= dtab->map.max_entries)) 615fca16e51SToke Høiland-Jørgensen return -E2BIG; 616fca16e51SToke Høiland-Jørgensen if (unlikely(map_flags == BPF_NOEXIST)) 617fca16e51SToke Høiland-Jørgensen return -EEXIST; 618fca16e51SToke Høiland-Jørgensen 619fca16e51SToke Høiland-Jørgensen if (!ifindex) { 620fca16e51SToke Høiland-Jørgensen dev = NULL; 621fca16e51SToke Høiland-Jørgensen } else { 622fca16e51SToke Høiland-Jørgensen dev = __dev_map_alloc_node(net, dtab, ifindex, i); 623fca16e51SToke Høiland-Jørgensen if (IS_ERR(dev)) 624fca16e51SToke Høiland-Jørgensen return PTR_ERR(dev); 625546ac1ffSJohn Fastabend } 626546ac1ffSJohn Fastabend 627546ac1ffSJohn Fastabend /* Use call_rcu() here to ensure rcu critical sections have completed 628546ac1ffSJohn Fastabend * Remembering the driver side flush operation will happen before the 629546ac1ffSJohn Fastabend * net device is removed. 630546ac1ffSJohn Fastabend */ 631546ac1ffSJohn Fastabend old_dev = xchg(&dtab->netdev_map[i], dev); 632546ac1ffSJohn Fastabend if (old_dev) 633546ac1ffSJohn Fastabend call_rcu(&old_dev->rcu, __dev_map_entry_free); 634546ac1ffSJohn Fastabend 635546ac1ffSJohn Fastabend return 0; 636546ac1ffSJohn Fastabend } 637546ac1ffSJohn Fastabend 638fca16e51SToke Høiland-Jørgensen static int dev_map_update_elem(struct bpf_map *map, void *key, void *value, 639fca16e51SToke Høiland-Jørgensen u64 map_flags) 640fca16e51SToke Høiland-Jørgensen { 641fca16e51SToke Høiland-Jørgensen return __dev_map_update_elem(current->nsproxy->net_ns, 642fca16e51SToke Høiland-Jørgensen map, key, value, map_flags); 643fca16e51SToke Høiland-Jørgensen } 644fca16e51SToke Høiland-Jørgensen 6456f9d451aSToke Høiland-Jørgensen static int __dev_map_hash_update_elem(struct net *net, struct bpf_map *map, 6466f9d451aSToke Høiland-Jørgensen void *key, void *value, u64 map_flags) 6476f9d451aSToke Høiland-Jørgensen { 6486f9d451aSToke Høiland-Jørgensen struct bpf_dtab *dtab = container_of(map, struct bpf_dtab, map); 6496f9d451aSToke Høiland-Jørgensen struct bpf_dtab_netdev *dev, *old_dev; 6506f9d451aSToke Høiland-Jørgensen u32 ifindex = *(u32 *)value; 6516f9d451aSToke Høiland-Jørgensen u32 idx = *(u32 *)key; 6526f9d451aSToke Høiland-Jørgensen unsigned long flags; 653af58e7eeSToke Høiland-Jørgensen int err = -EEXIST; 6546f9d451aSToke Høiland-Jørgensen 6556f9d451aSToke Høiland-Jørgensen if (unlikely(map_flags > BPF_EXIST || !ifindex)) 6566f9d451aSToke Høiland-Jørgensen return -EINVAL; 6576f9d451aSToke Høiland-Jørgensen 658af58e7eeSToke Høiland-Jørgensen spin_lock_irqsave(&dtab->index_lock, flags); 659af58e7eeSToke Høiland-Jørgensen 6606f9d451aSToke Høiland-Jørgensen old_dev = __dev_map_hash_lookup_elem(map, idx); 6616f9d451aSToke Høiland-Jørgensen if (old_dev && (map_flags & BPF_NOEXIST)) 662af58e7eeSToke Høiland-Jørgensen goto out_err; 6636f9d451aSToke Høiland-Jørgensen 6646f9d451aSToke Høiland-Jørgensen dev = __dev_map_alloc_node(net, dtab, ifindex, idx); 665af58e7eeSToke Høiland-Jørgensen if (IS_ERR(dev)) { 666af58e7eeSToke Høiland-Jørgensen err = PTR_ERR(dev); 667af58e7eeSToke Høiland-Jørgensen goto out_err; 668af58e7eeSToke Høiland-Jørgensen } 6696f9d451aSToke Høiland-Jørgensen 6706f9d451aSToke Høiland-Jørgensen if (old_dev) { 6716f9d451aSToke Høiland-Jørgensen hlist_del_rcu(&old_dev->index_hlist); 6726f9d451aSToke Høiland-Jørgensen } else { 6736f9d451aSToke Høiland-Jørgensen if (dtab->items >= dtab->map.max_entries) { 6746f9d451aSToke Høiland-Jørgensen spin_unlock_irqrestore(&dtab->index_lock, flags); 6756f9d451aSToke Høiland-Jørgensen call_rcu(&dev->rcu, __dev_map_entry_free); 6766f9d451aSToke Høiland-Jørgensen return -E2BIG; 6776f9d451aSToke Høiland-Jørgensen } 6786f9d451aSToke Høiland-Jørgensen dtab->items++; 6796f9d451aSToke Høiland-Jørgensen } 6806f9d451aSToke Høiland-Jørgensen 6816f9d451aSToke Høiland-Jørgensen hlist_add_head_rcu(&dev->index_hlist, 6826f9d451aSToke Høiland-Jørgensen dev_map_index_hash(dtab, idx)); 6836f9d451aSToke Høiland-Jørgensen spin_unlock_irqrestore(&dtab->index_lock, flags); 6846f9d451aSToke Høiland-Jørgensen 6856f9d451aSToke Høiland-Jørgensen if (old_dev) 6866f9d451aSToke Høiland-Jørgensen call_rcu(&old_dev->rcu, __dev_map_entry_free); 6876f9d451aSToke Høiland-Jørgensen 6886f9d451aSToke Høiland-Jørgensen return 0; 689af58e7eeSToke Høiland-Jørgensen 690af58e7eeSToke Høiland-Jørgensen out_err: 691af58e7eeSToke Høiland-Jørgensen spin_unlock_irqrestore(&dtab->index_lock, flags); 692af58e7eeSToke Høiland-Jørgensen return err; 6936f9d451aSToke Høiland-Jørgensen } 6946f9d451aSToke Høiland-Jørgensen 6956f9d451aSToke Høiland-Jørgensen static int dev_map_hash_update_elem(struct bpf_map *map, void *key, void *value, 6966f9d451aSToke Høiland-Jørgensen u64 map_flags) 6976f9d451aSToke Høiland-Jørgensen { 6986f9d451aSToke Høiland-Jørgensen return __dev_map_hash_update_elem(current->nsproxy->net_ns, 6996f9d451aSToke Høiland-Jørgensen map, key, value, map_flags); 7006f9d451aSToke Høiland-Jørgensen } 7016f9d451aSToke Høiland-Jørgensen 702546ac1ffSJohn Fastabend const struct bpf_map_ops dev_map_ops = { 703546ac1ffSJohn Fastabend .map_alloc = dev_map_alloc, 704546ac1ffSJohn Fastabend .map_free = dev_map_free, 705546ac1ffSJohn Fastabend .map_get_next_key = dev_map_get_next_key, 706546ac1ffSJohn Fastabend .map_lookup_elem = dev_map_lookup_elem, 707546ac1ffSJohn Fastabend .map_update_elem = dev_map_update_elem, 708546ac1ffSJohn Fastabend .map_delete_elem = dev_map_delete_elem, 709e8d2bec0SDaniel Borkmann .map_check_btf = map_check_no_btf, 710546ac1ffSJohn Fastabend }; 7112ddf71e2SJohn Fastabend 7126f9d451aSToke Høiland-Jørgensen const struct bpf_map_ops dev_map_hash_ops = { 7136f9d451aSToke Høiland-Jørgensen .map_alloc = dev_map_alloc, 7146f9d451aSToke Høiland-Jørgensen .map_free = dev_map_free, 7156f9d451aSToke Høiland-Jørgensen .map_get_next_key = dev_map_hash_get_next_key, 7166f9d451aSToke Høiland-Jørgensen .map_lookup_elem = dev_map_hash_lookup_elem, 7176f9d451aSToke Høiland-Jørgensen .map_update_elem = dev_map_hash_update_elem, 7186f9d451aSToke Høiland-Jørgensen .map_delete_elem = dev_map_hash_delete_elem, 7196f9d451aSToke Høiland-Jørgensen .map_check_btf = map_check_no_btf, 7206f9d451aSToke Høiland-Jørgensen }; 7216f9d451aSToke Høiland-Jørgensen 7222ddf71e2SJohn Fastabend static int dev_map_notification(struct notifier_block *notifier, 7232ddf71e2SJohn Fastabend ulong event, void *ptr) 7242ddf71e2SJohn Fastabend { 7252ddf71e2SJohn Fastabend struct net_device *netdev = netdev_notifier_info_to_dev(ptr); 7262ddf71e2SJohn Fastabend struct bpf_dtab *dtab; 7272ddf71e2SJohn Fastabend int i; 7282ddf71e2SJohn Fastabend 7292ddf71e2SJohn Fastabend switch (event) { 7302ddf71e2SJohn Fastabend case NETDEV_UNREGISTER: 7314cc7b954SJohn Fastabend /* This rcu_read_lock/unlock pair is needed because 7324cc7b954SJohn Fastabend * dev_map_list is an RCU list AND to ensure a delete 7334cc7b954SJohn Fastabend * operation does not free a netdev_map entry while we 7344cc7b954SJohn Fastabend * are comparing it against the netdev being unregistered. 7354cc7b954SJohn Fastabend */ 7364cc7b954SJohn Fastabend rcu_read_lock(); 7374cc7b954SJohn Fastabend list_for_each_entry_rcu(dtab, &dev_map_list, list) { 7382ddf71e2SJohn Fastabend for (i = 0; i < dtab->map.max_entries; i++) { 7394cc7b954SJohn Fastabend struct bpf_dtab_netdev *dev, *odev; 7402ddf71e2SJohn Fastabend 7414cc7b954SJohn Fastabend dev = READ_ONCE(dtab->netdev_map[i]); 742f592f804STaehee Yoo if (!dev || netdev != dev->dev) 7432ddf71e2SJohn Fastabend continue; 7444cc7b954SJohn Fastabend odev = cmpxchg(&dtab->netdev_map[i], dev, NULL); 7454cc7b954SJohn Fastabend if (dev == odev) 7462ddf71e2SJohn Fastabend call_rcu(&dev->rcu, 7472ddf71e2SJohn Fastabend __dev_map_entry_free); 7482ddf71e2SJohn Fastabend } 7492ddf71e2SJohn Fastabend } 7504cc7b954SJohn Fastabend rcu_read_unlock(); 7512ddf71e2SJohn Fastabend break; 7522ddf71e2SJohn Fastabend default: 7532ddf71e2SJohn Fastabend break; 7542ddf71e2SJohn Fastabend } 7552ddf71e2SJohn Fastabend return NOTIFY_OK; 7562ddf71e2SJohn Fastabend } 7572ddf71e2SJohn Fastabend 7582ddf71e2SJohn Fastabend static struct notifier_block dev_map_notifier = { 7592ddf71e2SJohn Fastabend .notifier_call = dev_map_notification, 7602ddf71e2SJohn Fastabend }; 7612ddf71e2SJohn Fastabend 7622ddf71e2SJohn Fastabend static int __init dev_map_init(void) 7632ddf71e2SJohn Fastabend { 76467f29e07SJesper Dangaard Brouer /* Assure tracepoint shadow struct _bpf_dtab_netdev is in sync */ 76567f29e07SJesper Dangaard Brouer BUILD_BUG_ON(offsetof(struct bpf_dtab_netdev, dev) != 76667f29e07SJesper Dangaard Brouer offsetof(struct _bpf_dtab_netdev, dev)); 7672ddf71e2SJohn Fastabend register_netdevice_notifier(&dev_map_notifier); 7682ddf71e2SJohn Fastabend return 0; 7692ddf71e2SJohn Fastabend } 7702ddf71e2SJohn Fastabend 7712ddf71e2SJohn Fastabend subsys_initcall(dev_map_init); 772