xref: /openbmc/linux/kernel/bpf/offload.c (revision a39e17b2)
1a39e17b2SJakub Kicinski /*
2a39e17b2SJakub Kicinski  * Copyright (C) 2017 Netronome Systems, Inc.
3a39e17b2SJakub Kicinski  *
4a39e17b2SJakub Kicinski  * This software is licensed under the GNU General License Version 2,
5a39e17b2SJakub Kicinski  * June 1991 as shown in the file COPYING in the top-level directory of this
6a39e17b2SJakub Kicinski  * source tree.
7a39e17b2SJakub Kicinski  *
8a39e17b2SJakub Kicinski  * THE COPYRIGHT HOLDERS AND/OR OTHER PARTIES PROVIDE THE PROGRAM "AS IS"
9a39e17b2SJakub Kicinski  * WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING,
10a39e17b2SJakub Kicinski  * BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
11a39e17b2SJakub Kicinski  * FOR A PARTICULAR PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE
12a39e17b2SJakub Kicinski  * OF THE PROGRAM IS WITH YOU. SHOULD THE PROGRAM PROVE DEFECTIVE, YOU ASSUME
13a39e17b2SJakub Kicinski  * THE COST OF ALL NECESSARY SERVICING, REPAIR OR CORRECTION.
14a39e17b2SJakub Kicinski  */
15a39e17b2SJakub Kicinski 
16ab3f0063SJakub Kicinski #include <linux/bpf.h>
17ab3f0063SJakub Kicinski #include <linux/bpf_verifier.h>
18ab3f0063SJakub Kicinski #include <linux/bug.h>
19ab3f0063SJakub Kicinski #include <linux/list.h>
20ab3f0063SJakub Kicinski #include <linux/netdevice.h>
21ab3f0063SJakub Kicinski #include <linux/printk.h>
22ab3f0063SJakub Kicinski #include <linux/rtnetlink.h>
23ab3f0063SJakub Kicinski 
24ab3f0063SJakub Kicinski /* protected by RTNL */
25ab3f0063SJakub Kicinski static LIST_HEAD(bpf_prog_offload_devs);
26ab3f0063SJakub Kicinski 
27ab3f0063SJakub Kicinski int bpf_prog_offload_init(struct bpf_prog *prog, union bpf_attr *attr)
28ab3f0063SJakub Kicinski {
29ab3f0063SJakub Kicinski 	struct net *net = current->nsproxy->net_ns;
30ab3f0063SJakub Kicinski 	struct bpf_dev_offload *offload;
31ab3f0063SJakub Kicinski 
32649f11dcSJakub Kicinski 	if (attr->prog_type != BPF_PROG_TYPE_SCHED_CLS &&
33649f11dcSJakub Kicinski 	    attr->prog_type != BPF_PROG_TYPE_XDP)
34649f11dcSJakub Kicinski 		return -EINVAL;
35ab3f0063SJakub Kicinski 
36ab3f0063SJakub Kicinski 	if (attr->prog_flags)
37ab3f0063SJakub Kicinski 		return -EINVAL;
38ab3f0063SJakub Kicinski 
39ab3f0063SJakub Kicinski 	offload = kzalloc(sizeof(*offload), GFP_USER);
40ab3f0063SJakub Kicinski 	if (!offload)
41ab3f0063SJakub Kicinski 		return -ENOMEM;
42ab3f0063SJakub Kicinski 
43ab3f0063SJakub Kicinski 	offload->prog = prog;
44ab3f0063SJakub Kicinski 	init_waitqueue_head(&offload->verifier_done);
45ab3f0063SJakub Kicinski 
46ab3f0063SJakub Kicinski 	rtnl_lock();
471f6f4cb7SJakub Kicinski 	offload->netdev = __dev_get_by_index(net, attr->prog_ifindex);
48ab3f0063SJakub Kicinski 	if (!offload->netdev) {
49ab3f0063SJakub Kicinski 		rtnl_unlock();
50ab3f0063SJakub Kicinski 		kfree(offload);
51ab3f0063SJakub Kicinski 		return -EINVAL;
52ab3f0063SJakub Kicinski 	}
53ab3f0063SJakub Kicinski 
54ab3f0063SJakub Kicinski 	prog->aux->offload = offload;
55ab3f0063SJakub Kicinski 	list_add_tail(&offload->offloads, &bpf_prog_offload_devs);
56ab3f0063SJakub Kicinski 	rtnl_unlock();
57ab3f0063SJakub Kicinski 
58ab3f0063SJakub Kicinski 	return 0;
59ab3f0063SJakub Kicinski }
60ab3f0063SJakub Kicinski 
61ab3f0063SJakub Kicinski static int __bpf_offload_ndo(struct bpf_prog *prog, enum bpf_netdev_command cmd,
62ab3f0063SJakub Kicinski 			     struct netdev_bpf *data)
63ab3f0063SJakub Kicinski {
64ab3f0063SJakub Kicinski 	struct net_device *netdev = prog->aux->offload->netdev;
65ab3f0063SJakub Kicinski 
66ab3f0063SJakub Kicinski 	ASSERT_RTNL();
67ab3f0063SJakub Kicinski 
68ab3f0063SJakub Kicinski 	if (!netdev)
69ab3f0063SJakub Kicinski 		return -ENODEV;
70ab3f0063SJakub Kicinski 	if (!netdev->netdev_ops->ndo_bpf)
71ab3f0063SJakub Kicinski 		return -EOPNOTSUPP;
72ab3f0063SJakub Kicinski 
73ab3f0063SJakub Kicinski 	data->command = cmd;
74ab3f0063SJakub Kicinski 
75ab3f0063SJakub Kicinski 	return netdev->netdev_ops->ndo_bpf(netdev, data);
76ab3f0063SJakub Kicinski }
77ab3f0063SJakub Kicinski 
78ab3f0063SJakub Kicinski int bpf_prog_offload_verifier_prep(struct bpf_verifier_env *env)
79ab3f0063SJakub Kicinski {
80ab3f0063SJakub Kicinski 	struct netdev_bpf data = {};
81ab3f0063SJakub Kicinski 	int err;
82ab3f0063SJakub Kicinski 
83ab3f0063SJakub Kicinski 	data.verifier.prog = env->prog;
84ab3f0063SJakub Kicinski 
85ab3f0063SJakub Kicinski 	rtnl_lock();
86ab3f0063SJakub Kicinski 	err = __bpf_offload_ndo(env->prog, BPF_OFFLOAD_VERIFIER_PREP, &data);
87ab3f0063SJakub Kicinski 	if (err)
88ab3f0063SJakub Kicinski 		goto exit_unlock;
89ab3f0063SJakub Kicinski 
90ab3f0063SJakub Kicinski 	env->dev_ops = data.verifier.ops;
91ab3f0063SJakub Kicinski 
92ab3f0063SJakub Kicinski 	env->prog->aux->offload->dev_state = true;
93ab3f0063SJakub Kicinski 	env->prog->aux->offload->verifier_running = true;
94ab3f0063SJakub Kicinski exit_unlock:
95ab3f0063SJakub Kicinski 	rtnl_unlock();
96ab3f0063SJakub Kicinski 	return err;
97ab3f0063SJakub Kicinski }
98ab3f0063SJakub Kicinski 
99ab3f0063SJakub Kicinski static void __bpf_prog_offload_destroy(struct bpf_prog *prog)
100ab3f0063SJakub Kicinski {
101ab3f0063SJakub Kicinski 	struct bpf_dev_offload *offload = prog->aux->offload;
102ab3f0063SJakub Kicinski 	struct netdev_bpf data = {};
103ab3f0063SJakub Kicinski 
10413a9c48aSJakub Kicinski 	/* Caution - if netdev is destroyed before the program, this function
10513a9c48aSJakub Kicinski 	 * will be called twice.
10613a9c48aSJakub Kicinski 	 */
10713a9c48aSJakub Kicinski 
108ab3f0063SJakub Kicinski 	data.offload.prog = prog;
109ab3f0063SJakub Kicinski 
110ab3f0063SJakub Kicinski 	if (offload->verifier_running)
111ab3f0063SJakub Kicinski 		wait_event(offload->verifier_done, !offload->verifier_running);
112ab3f0063SJakub Kicinski 
113ab3f0063SJakub Kicinski 	if (offload->dev_state)
114ab3f0063SJakub Kicinski 		WARN_ON(__bpf_offload_ndo(prog, BPF_OFFLOAD_DESTROY, &data));
115ab3f0063SJakub Kicinski 
116ab3f0063SJakub Kicinski 	offload->dev_state = false;
117ab3f0063SJakub Kicinski 	list_del_init(&offload->offloads);
118ab3f0063SJakub Kicinski 	offload->netdev = NULL;
119ab3f0063SJakub Kicinski }
120ab3f0063SJakub Kicinski 
121ab3f0063SJakub Kicinski void bpf_prog_offload_destroy(struct bpf_prog *prog)
122ab3f0063SJakub Kicinski {
123ab3f0063SJakub Kicinski 	struct bpf_dev_offload *offload = prog->aux->offload;
124ab3f0063SJakub Kicinski 
125ab3f0063SJakub Kicinski 	offload->verifier_running = false;
126ab3f0063SJakub Kicinski 	wake_up(&offload->verifier_done);
127ab3f0063SJakub Kicinski 
128ab3f0063SJakub Kicinski 	rtnl_lock();
129ab3f0063SJakub Kicinski 	__bpf_prog_offload_destroy(prog);
130ab3f0063SJakub Kicinski 	rtnl_unlock();
131ab3f0063SJakub Kicinski 
132ab3f0063SJakub Kicinski 	kfree(offload);
133ab3f0063SJakub Kicinski }
134ab3f0063SJakub Kicinski 
135ab3f0063SJakub Kicinski static int bpf_prog_offload_translate(struct bpf_prog *prog)
136ab3f0063SJakub Kicinski {
137ab3f0063SJakub Kicinski 	struct bpf_dev_offload *offload = prog->aux->offload;
138ab3f0063SJakub Kicinski 	struct netdev_bpf data = {};
139ab3f0063SJakub Kicinski 	int ret;
140ab3f0063SJakub Kicinski 
141ab3f0063SJakub Kicinski 	data.offload.prog = prog;
142ab3f0063SJakub Kicinski 
143ab3f0063SJakub Kicinski 	offload->verifier_running = false;
144ab3f0063SJakub Kicinski 	wake_up(&offload->verifier_done);
145ab3f0063SJakub Kicinski 
146ab3f0063SJakub Kicinski 	rtnl_lock();
147ab3f0063SJakub Kicinski 	ret = __bpf_offload_ndo(prog, BPF_OFFLOAD_TRANSLATE, &data);
148ab3f0063SJakub Kicinski 	rtnl_unlock();
149ab3f0063SJakub Kicinski 
150ab3f0063SJakub Kicinski 	return ret;
151ab3f0063SJakub Kicinski }
152ab3f0063SJakub Kicinski 
153ab3f0063SJakub Kicinski static unsigned int bpf_prog_warn_on_exec(const void *ctx,
154ab3f0063SJakub Kicinski 					  const struct bpf_insn *insn)
155ab3f0063SJakub Kicinski {
156ab3f0063SJakub Kicinski 	WARN(1, "attempt to execute device eBPF program on the host!");
157ab3f0063SJakub Kicinski 	return 0;
158ab3f0063SJakub Kicinski }
159ab3f0063SJakub Kicinski 
160ab3f0063SJakub Kicinski int bpf_prog_offload_compile(struct bpf_prog *prog)
161ab3f0063SJakub Kicinski {
162ab3f0063SJakub Kicinski 	prog->bpf_func = bpf_prog_warn_on_exec;
163ab3f0063SJakub Kicinski 
164ab3f0063SJakub Kicinski 	return bpf_prog_offload_translate(prog);
165ab3f0063SJakub Kicinski }
166ab3f0063SJakub Kicinski 
167ab3f0063SJakub Kicinski const struct bpf_prog_ops bpf_offload_prog_ops = {
168ab3f0063SJakub Kicinski };
169ab3f0063SJakub Kicinski 
170ab3f0063SJakub Kicinski static int bpf_offload_notification(struct notifier_block *notifier,
171ab3f0063SJakub Kicinski 				    ulong event, void *ptr)
172ab3f0063SJakub Kicinski {
173ab3f0063SJakub Kicinski 	struct net_device *netdev = netdev_notifier_info_to_dev(ptr);
174ab3f0063SJakub Kicinski 	struct bpf_dev_offload *offload, *tmp;
175ab3f0063SJakub Kicinski 
176ab3f0063SJakub Kicinski 	ASSERT_RTNL();
177ab3f0063SJakub Kicinski 
178ab3f0063SJakub Kicinski 	switch (event) {
179ab3f0063SJakub Kicinski 	case NETDEV_UNREGISTER:
18062c71b45SJakub Kicinski 		/* ignore namespace changes */
18162c71b45SJakub Kicinski 		if (netdev->reg_state != NETREG_UNREGISTERING)
18262c71b45SJakub Kicinski 			break;
18362c71b45SJakub Kicinski 
184ab3f0063SJakub Kicinski 		list_for_each_entry_safe(offload, tmp, &bpf_prog_offload_devs,
185ab3f0063SJakub Kicinski 					 offloads) {
186ab3f0063SJakub Kicinski 			if (offload->netdev == netdev)
187ab3f0063SJakub Kicinski 				__bpf_prog_offload_destroy(offload->prog);
188ab3f0063SJakub Kicinski 		}
189ab3f0063SJakub Kicinski 		break;
190ab3f0063SJakub Kicinski 	default:
191ab3f0063SJakub Kicinski 		break;
192ab3f0063SJakub Kicinski 	}
193ab3f0063SJakub Kicinski 	return NOTIFY_OK;
194ab3f0063SJakub Kicinski }
195ab3f0063SJakub Kicinski 
196ab3f0063SJakub Kicinski static struct notifier_block bpf_offload_notifier = {
197ab3f0063SJakub Kicinski 	.notifier_call = bpf_offload_notification,
198ab3f0063SJakub Kicinski };
199ab3f0063SJakub Kicinski 
200ab3f0063SJakub Kicinski static int __init bpf_offload_init(void)
201ab3f0063SJakub Kicinski {
202ab3f0063SJakub Kicinski 	register_netdevice_notifier(&bpf_offload_notifier);
203ab3f0063SJakub Kicinski 	return 0;
204ab3f0063SJakub Kicinski }
205ab3f0063SJakub Kicinski 
206ab3f0063SJakub Kicinski subsys_initcall(bpf_offload_init);
207