xref: /linux/net/sched/act_pedit.c (revision 264ba53fac79b03ff754bce62da5027ee3c57b8f)
1 // SPDX-License-Identifier: GPL-2.0-or-later
2 /*
3  * net/sched/act_pedit.c	Generic packet editor
4  *
5  * Authors:	Jamal Hadi Salim (2002-4)
6  */
7 
8 #include <linux/types.h>
9 #include <linux/kernel.h>
10 #include <linux/string.h>
11 #include <linux/errno.h>
12 #include <linux/skbuff.h>
13 #include <linux/rtnetlink.h>
14 #include <linux/module.h>
15 #include <linux/init.h>
16 #include <linux/slab.h>
17 #include <net/netlink.h>
18 #include <net/pkt_sched.h>
19 #include <linux/tc_act/tc_pedit.h>
20 #include <net/tc_act/tc_pedit.h>
21 #include <uapi/linux/tc_act/tc_pedit.h>
22 #include <net/pkt_cls.h>
23 #include <net/tc_wrapper.h>
24 
25 static struct tc_action_ops act_pedit_ops;
26 
27 static const struct nla_policy pedit_policy[TCA_PEDIT_MAX + 1] = {
28 	[TCA_PEDIT_PARMS]	= { .len = sizeof(struct tc_pedit) },
29 	[TCA_PEDIT_KEYS_EX]   = { .type = NLA_NESTED },
30 };
31 
32 static const struct nla_policy pedit_key_ex_policy[TCA_PEDIT_KEY_EX_MAX + 1] = {
33 	[TCA_PEDIT_KEY_EX_HTYPE] =
34 		NLA_POLICY_MAX(NLA_U16, TCA_PEDIT_HDR_TYPE_MAX),
35 	[TCA_PEDIT_KEY_EX_CMD] = NLA_POLICY_MAX(NLA_U16, TCA_PEDIT_CMD_MAX),
36 };
37 
38 static struct tcf_pedit_key_ex *tcf_pedit_keys_ex_parse(struct nlattr *nla,
39 							u8 n, struct netlink_ext_ack *extack)
40 {
41 	struct tcf_pedit_key_ex *keys_ex;
42 	struct tcf_pedit_key_ex *k;
43 	const struct nlattr *ka;
44 	int err = -EINVAL;
45 	int rem;
46 
47 	if (!nla)
48 		return NULL;
49 
50 	keys_ex = kcalloc(n, sizeof(*k), GFP_KERNEL);
51 	if (!keys_ex)
52 		return ERR_PTR(-ENOMEM);
53 
54 	k = keys_ex;
55 
56 	nla_for_each_nested(ka, nla, rem) {
57 		struct nlattr *tb[TCA_PEDIT_KEY_EX_MAX + 1];
58 
59 		if (!n) {
60 			NL_SET_ERR_MSG_MOD(extack, "Can't parse more extended keys than requested");
61 			err = -EINVAL;
62 			goto err_out;
63 		}
64 		n--;
65 
66 		if (nla_type(ka) != TCA_PEDIT_KEY_EX) {
67 			NL_SET_ERR_MSG_ATTR(extack, ka, "Unknown attribute, expected extended key");
68 			err = -EINVAL;
69 			goto err_out;
70 		}
71 
72 		err = nla_parse_nested_deprecated(tb, TCA_PEDIT_KEY_EX_MAX,
73 						  ka, pedit_key_ex_policy,
74 						  NULL);
75 		if (err)
76 			goto err_out;
77 
78 		if (NL_REQ_ATTR_CHECK(extack, nla, tb, TCA_PEDIT_KEY_EX_HTYPE)) {
79 			NL_SET_ERR_MSG(extack, "Missing required attribute");
80 			err = -EINVAL;
81 			goto err_out;
82 		}
83 
84 		if (NL_REQ_ATTR_CHECK(extack, nla, tb, TCA_PEDIT_KEY_EX_CMD)) {
85 			NL_SET_ERR_MSG(extack, "Missing required attribute");
86 			err = -EINVAL;
87 			goto err_out;
88 		}
89 
90 		k->htype = nla_get_u16(tb[TCA_PEDIT_KEY_EX_HTYPE]);
91 		k->cmd = nla_get_u16(tb[TCA_PEDIT_KEY_EX_CMD]);
92 
93 		k++;
94 	}
95 
96 	if (n) {
97 		NL_SET_ERR_MSG_MOD(extack, "Not enough extended keys to parse");
98 		err = -EINVAL;
99 		goto err_out;
100 	}
101 
102 	return keys_ex;
103 
104 err_out:
105 	kfree(keys_ex);
106 	return ERR_PTR(err);
107 }
108 
109 static int tcf_pedit_key_ex_dump(struct sk_buff *skb,
110 				 struct tcf_pedit_key_ex *keys_ex, int n)
111 {
112 	struct nlattr *keys_start = nla_nest_start_noflag(skb,
113 							  TCA_PEDIT_KEYS_EX);
114 
115 	if (!keys_start)
116 		goto nla_failure;
117 	for (; n > 0; n--) {
118 		struct nlattr *key_start;
119 
120 		key_start = nla_nest_start_noflag(skb, TCA_PEDIT_KEY_EX);
121 		if (!key_start)
122 			goto nla_failure;
123 
124 		if (nla_put_u16(skb, TCA_PEDIT_KEY_EX_HTYPE, keys_ex->htype) ||
125 		    nla_put_u16(skb, TCA_PEDIT_KEY_EX_CMD, keys_ex->cmd))
126 			goto nla_failure;
127 
128 		nla_nest_end(skb, key_start);
129 
130 		keys_ex++;
131 	}
132 
133 	nla_nest_end(skb, keys_start);
134 
135 	return 0;
136 nla_failure:
137 	nla_nest_cancel(skb, keys_start);
138 	return -EINVAL;
139 }
140 
141 static void tcf_pedit_cleanup_rcu(struct rcu_head *head)
142 {
143 	struct tcf_pedit_parms *parms =
144 		container_of(head, struct tcf_pedit_parms, rcu);
145 
146 	kfree(parms->tcfp_keys_ex);
147 	kfree(parms->tcfp_keys);
148 
149 	kfree(parms);
150 }
151 
152 static int tcf_pedit_init(struct net *net, struct nlattr *nla,
153 			  struct nlattr *est, struct tc_action **a,
154 			  struct tcf_proto *tp, u32 flags,
155 			  struct netlink_ext_ack *extack)
156 {
157 	struct tc_action_net *tn = net_generic(net, act_pedit_ops.net_id);
158 	bool bind = flags & TCA_ACT_FLAGS_BIND;
159 	struct tcf_chain *goto_ch = NULL;
160 	struct tcf_pedit_parms *oparms, *nparms;
161 	struct nlattr *tb[TCA_PEDIT_MAX + 1];
162 	struct tc_pedit *parm;
163 	struct nlattr *pattr;
164 	struct tcf_pedit *p;
165 	int ret = 0, err;
166 	int i, ksize;
167 	u32 index;
168 
169 	if (!nla) {
170 		NL_SET_ERR_MSG_MOD(extack, "Pedit requires attributes to be passed");
171 		return -EINVAL;
172 	}
173 
174 	err = nla_parse_nested_deprecated(tb, TCA_PEDIT_MAX, nla,
175 					  pedit_policy, NULL);
176 	if (err < 0)
177 		return err;
178 
179 	pattr = tb[TCA_PEDIT_PARMS];
180 	if (!pattr)
181 		pattr = tb[TCA_PEDIT_PARMS_EX];
182 	if (!pattr) {
183 		NL_SET_ERR_MSG_MOD(extack, "Missing required TCA_PEDIT_PARMS or TCA_PEDIT_PARMS_EX pedit attribute");
184 		return -EINVAL;
185 	}
186 
187 	parm = nla_data(pattr);
188 
189 	index = parm->index;
190 	err = tcf_idr_check_alloc(tn, &index, a, bind);
191 	if (!err) {
192 		ret = tcf_idr_create_from_flags(tn, index, est, a,
193 						&act_pedit_ops, bind, flags);
194 		if (ret) {
195 			tcf_idr_cleanup(tn, index);
196 			return ret;
197 		}
198 		ret = ACT_P_CREATED;
199 	} else if (err > 0) {
200 		if (bind)
201 			return 0;
202 		if (!(flags & TCA_ACT_FLAGS_REPLACE)) {
203 			ret = -EEXIST;
204 			goto out_release;
205 		}
206 	} else {
207 		return err;
208 	}
209 
210 	if (!parm->nkeys) {
211 		NL_SET_ERR_MSG_MOD(extack, "Pedit requires keys to be passed");
212 		ret = -EINVAL;
213 		goto out_release;
214 	}
215 	ksize = parm->nkeys * sizeof(struct tc_pedit_key);
216 	if (nla_len(pattr) < sizeof(*parm) + ksize) {
217 		NL_SET_ERR_MSG_ATTR(extack, pattr, "Length of TCA_PEDIT_PARMS or TCA_PEDIT_PARMS_EX pedit attribute is invalid");
218 		ret = -EINVAL;
219 		goto out_release;
220 	}
221 
222 	nparms = kzalloc(sizeof(*nparms), GFP_KERNEL);
223 	if (!nparms) {
224 		ret = -ENOMEM;
225 		goto out_release;
226 	}
227 
228 	nparms->tcfp_keys_ex =
229 		tcf_pedit_keys_ex_parse(tb[TCA_PEDIT_KEYS_EX], parm->nkeys, extack);
230 	if (IS_ERR(nparms->tcfp_keys_ex)) {
231 		ret = PTR_ERR(nparms->tcfp_keys_ex);
232 		goto out_free;
233 	}
234 
235 	err = tcf_action_check_ctrlact(parm->action, tp, &goto_ch, extack);
236 	if (err < 0) {
237 		ret = err;
238 		goto out_free_ex;
239 	}
240 
241 	nparms->tcfp_off_max_hint = 0;
242 	nparms->tcfp_flags = parm->flags;
243 	nparms->tcfp_nkeys = parm->nkeys;
244 
245 	nparms->tcfp_keys = kmemdup(parm->keys, ksize, GFP_KERNEL);
246 	if (!nparms->tcfp_keys) {
247 		ret = -ENOMEM;
248 		goto put_chain;
249 	}
250 
251 	for (i = 0; i < nparms->tcfp_nkeys; ++i) {
252 		u32 offmask = nparms->tcfp_keys[i].offmask;
253 		u32 cur = nparms->tcfp_keys[i].off;
254 
255 		/* The AT option can be added to static offsets in the datapath */
256 		if (!offmask && cur % 4) {
257 			NL_SET_ERR_MSG_MOD(extack, "Offsets must be on 32bit boundaries");
258 			ret = -EINVAL;
259 			goto out_free_keys;
260 		}
261 
262 		/* sanitize the shift value for any later use */
263 		nparms->tcfp_keys[i].shift = min_t(size_t,
264 						   BITS_PER_TYPE(int) - 1,
265 						   nparms->tcfp_keys[i].shift);
266 
267 		/* The AT option can read a single byte, we can bound the actual
268 		 * value with uchar max.
269 		 */
270 		cur += (0xff & offmask) >> nparms->tcfp_keys[i].shift;
271 
272 		/* Each key touches 4 bytes starting from the computed offset */
273 		nparms->tcfp_off_max_hint =
274 			max(nparms->tcfp_off_max_hint, cur + 4);
275 	}
276 
277 	p = to_pedit(*a);
278 
279 	spin_lock_bh(&p->tcf_lock);
280 	goto_ch = tcf_action_set_ctrlact(*a, parm->action, goto_ch);
281 	oparms = rcu_replace_pointer(p->parms, nparms, 1);
282 	spin_unlock_bh(&p->tcf_lock);
283 
284 	if (oparms)
285 		call_rcu(&oparms->rcu, tcf_pedit_cleanup_rcu);
286 
287 	if (goto_ch)
288 		tcf_chain_put_by_act(goto_ch);
289 
290 	return ret;
291 
292 out_free_keys:
293 	kfree(nparms->tcfp_keys);
294 put_chain:
295 	if (goto_ch)
296 		tcf_chain_put_by_act(goto_ch);
297 out_free_ex:
298 	kfree(nparms->tcfp_keys_ex);
299 out_free:
300 	kfree(nparms);
301 out_release:
302 	tcf_idr_release(*a, bind);
303 	return ret;
304 }
305 
306 static void tcf_pedit_cleanup(struct tc_action *a)
307 {
308 	struct tcf_pedit *p = to_pedit(a);
309 	struct tcf_pedit_parms *parms;
310 
311 	parms = rcu_dereference_protected(p->parms, 1);
312 
313 	if (parms)
314 		call_rcu(&parms->rcu, tcf_pedit_cleanup_rcu);
315 }
316 
317 static bool offset_valid(struct sk_buff *skb, int offset)
318 {
319 	if (offset > 0 && offset > skb->len)
320 		return false;
321 
322 	if  (offset < 0 && -offset > skb_headroom(skb))
323 		return false;
324 
325 	return true;
326 }
327 
328 static void pedit_skb_hdr_offset(struct sk_buff *skb,
329 				 enum pedit_header_type htype, int *hoffset)
330 {
331 	/* 'htype' is validated in the netlink parsing */
332 	switch (htype) {
333 	case TCA_PEDIT_KEY_EX_HDR_TYPE_ETH:
334 		if (skb_mac_header_was_set(skb))
335 			*hoffset = skb_mac_offset(skb);
336 		break;
337 	case TCA_PEDIT_KEY_EX_HDR_TYPE_NETWORK:
338 	case TCA_PEDIT_KEY_EX_HDR_TYPE_IP4:
339 	case TCA_PEDIT_KEY_EX_HDR_TYPE_IP6:
340 		*hoffset = skb_network_offset(skb);
341 		break;
342 	case TCA_PEDIT_KEY_EX_HDR_TYPE_TCP:
343 	case TCA_PEDIT_KEY_EX_HDR_TYPE_UDP:
344 		if (skb_transport_header_was_set(skb))
345 			*hoffset = skb_transport_offset(skb);
346 		break;
347 	default:
348 		break;
349 	}
350 }
351 
352 TC_INDIRECT_SCOPE int tcf_pedit_act(struct sk_buff *skb,
353 				    const struct tc_action *a,
354 				    struct tcf_result *res)
355 {
356 	enum pedit_header_type htype = TCA_PEDIT_KEY_EX_HDR_TYPE_NETWORK;
357 	enum pedit_cmd cmd = TCA_PEDIT_KEY_EX_CMD_SET;
358 	struct tcf_pedit *p = to_pedit(a);
359 	struct tcf_pedit_key_ex *tkey_ex;
360 	struct tcf_pedit_parms *parms;
361 	struct tc_pedit_key *tkey;
362 	u32 max_offset;
363 	int i;
364 
365 	parms = rcu_dereference_bh(p->parms);
366 
367 	max_offset = (skb_transport_header_was_set(skb) ?
368 		      skb_transport_offset(skb) :
369 		      skb_network_offset(skb)) +
370 		     parms->tcfp_off_max_hint;
371 	if (skb_ensure_writable(skb, min(skb->len, max_offset)))
372 		goto done;
373 
374 	tcf_lastuse_update(&p->tcf_tm);
375 	tcf_action_update_bstats(&p->common, skb);
376 
377 	tkey = parms->tcfp_keys;
378 	tkey_ex = parms->tcfp_keys_ex;
379 
380 	for (i = parms->tcfp_nkeys; i > 0; i--, tkey++) {
381 		int offset = tkey->off;
382 		int hoffset = 0;
383 		u32 *ptr, hdata;
384 		u32 val;
385 
386 		if (tkey_ex) {
387 			htype = tkey_ex->htype;
388 			cmd = tkey_ex->cmd;
389 
390 			tkey_ex++;
391 		}
392 
393 		pedit_skb_hdr_offset(skb, htype, &hoffset);
394 
395 		if (tkey->offmask) {
396 			u8 *d, _d;
397 
398 			if (!offset_valid(skb, hoffset + tkey->at)) {
399 				pr_info_ratelimited("tc action pedit 'at' offset %d out of bounds\n",
400 						    hoffset + tkey->at);
401 				goto bad;
402 			}
403 			d = skb_header_pointer(skb, hoffset + tkey->at,
404 					       sizeof(_d), &_d);
405 			if (!d)
406 				goto bad;
407 
408 			offset += (*d & tkey->offmask) >> tkey->shift;
409 			if (offset % 4) {
410 				pr_info_ratelimited("tc action pedit offset must be on 32 bit boundaries\n");
411 				goto bad;
412 			}
413 		}
414 
415 		if (!offset_valid(skb, hoffset + offset)) {
416 			pr_info_ratelimited("tc action pedit offset %d out of bounds\n", hoffset + offset);
417 			goto bad;
418 		}
419 
420 		ptr = skb_header_pointer(skb, hoffset + offset,
421 					 sizeof(hdata), &hdata);
422 		if (!ptr)
423 			goto bad;
424 		/* just do it, baby */
425 		switch (cmd) {
426 		case TCA_PEDIT_KEY_EX_CMD_SET:
427 			val = tkey->val;
428 			break;
429 		case TCA_PEDIT_KEY_EX_CMD_ADD:
430 			val = (*ptr + tkey->val) & ~tkey->mask;
431 			break;
432 		default:
433 			pr_info_ratelimited("tc action pedit bad command (%d)\n", cmd);
434 			goto bad;
435 		}
436 
437 		*ptr = ((*ptr & tkey->mask) ^ val);
438 		if (ptr == &hdata)
439 			skb_store_bits(skb, hoffset + offset, ptr, 4);
440 	}
441 
442 	goto done;
443 
444 bad:
445 	tcf_action_inc_overlimit_qstats(&p->common);
446 done:
447 	return p->tcf_action;
448 }
449 
450 static void tcf_pedit_stats_update(struct tc_action *a, u64 bytes, u64 packets,
451 				   u64 drops, u64 lastuse, bool hw)
452 {
453 	struct tcf_pedit *d = to_pedit(a);
454 	struct tcf_t *tm = &d->tcf_tm;
455 
456 	tcf_action_update_stats(a, bytes, packets, drops, hw);
457 	tm->lastuse = max_t(u64, tm->lastuse, lastuse);
458 }
459 
460 static int tcf_pedit_dump(struct sk_buff *skb, struct tc_action *a,
461 			  int bind, int ref)
462 {
463 	unsigned char *b = skb_tail_pointer(skb);
464 	struct tcf_pedit *p = to_pedit(a);
465 	struct tcf_pedit_parms *parms;
466 	struct tc_pedit *opt;
467 	struct tcf_t t;
468 	int s;
469 
470 	spin_lock_bh(&p->tcf_lock);
471 	parms = rcu_dereference_protected(p->parms, 1);
472 	s = struct_size(opt, keys, parms->tcfp_nkeys);
473 
474 	opt = kzalloc(s, GFP_ATOMIC);
475 	if (unlikely(!opt)) {
476 		spin_unlock_bh(&p->tcf_lock);
477 		return -ENOBUFS;
478 	}
479 
480 	memcpy(opt->keys, parms->tcfp_keys,
481 	       flex_array_size(opt, keys, parms->tcfp_nkeys));
482 	opt->index = p->tcf_index;
483 	opt->nkeys = parms->tcfp_nkeys;
484 	opt->flags = parms->tcfp_flags;
485 	opt->action = p->tcf_action;
486 	opt->refcnt = refcount_read(&p->tcf_refcnt) - ref;
487 	opt->bindcnt = atomic_read(&p->tcf_bindcnt) - bind;
488 
489 	if (parms->tcfp_keys_ex) {
490 		if (tcf_pedit_key_ex_dump(skb, parms->tcfp_keys_ex,
491 					  parms->tcfp_nkeys))
492 			goto nla_put_failure;
493 
494 		if (nla_put(skb, TCA_PEDIT_PARMS_EX, s, opt))
495 			goto nla_put_failure;
496 	} else {
497 		if (nla_put(skb, TCA_PEDIT_PARMS, s, opt))
498 			goto nla_put_failure;
499 	}
500 
501 	tcf_tm_dump(&t, &p->tcf_tm);
502 	if (nla_put_64bit(skb, TCA_PEDIT_TM, sizeof(t), &t, TCA_PEDIT_PAD))
503 		goto nla_put_failure;
504 	spin_unlock_bh(&p->tcf_lock);
505 
506 	kfree(opt);
507 	return skb->len;
508 
509 nla_put_failure:
510 	spin_unlock_bh(&p->tcf_lock);
511 	nlmsg_trim(skb, b);
512 	kfree(opt);
513 	return -1;
514 }
515 
516 static int tcf_pedit_offload_act_setup(struct tc_action *act, void *entry_data,
517 				       u32 *index_inc, bool bind,
518 				       struct netlink_ext_ack *extack)
519 {
520 	if (bind) {
521 		struct flow_action_entry *entry = entry_data;
522 		int k;
523 
524 		for (k = 0; k < tcf_pedit_nkeys(act); k++) {
525 			switch (tcf_pedit_cmd(act, k)) {
526 			case TCA_PEDIT_KEY_EX_CMD_SET:
527 				entry->id = FLOW_ACTION_MANGLE;
528 				break;
529 			case TCA_PEDIT_KEY_EX_CMD_ADD:
530 				entry->id = FLOW_ACTION_ADD;
531 				break;
532 			default:
533 				NL_SET_ERR_MSG_MOD(extack, "Unsupported pedit command offload");
534 				return -EOPNOTSUPP;
535 			}
536 			entry->mangle.htype = tcf_pedit_htype(act, k);
537 			entry->mangle.mask = tcf_pedit_mask(act, k);
538 			entry->mangle.val = tcf_pedit_val(act, k);
539 			entry->mangle.offset = tcf_pedit_offset(act, k);
540 			entry->hw_stats = tc_act_hw_stats(act->hw_stats);
541 			entry++;
542 		}
543 		*index_inc = k;
544 	} else {
545 		struct flow_offload_action *fl_action = entry_data;
546 		u32 cmd = tcf_pedit_cmd(act, 0);
547 		int k;
548 
549 		switch (cmd) {
550 		case TCA_PEDIT_KEY_EX_CMD_SET:
551 			fl_action->id = FLOW_ACTION_MANGLE;
552 			break;
553 		case TCA_PEDIT_KEY_EX_CMD_ADD:
554 			fl_action->id = FLOW_ACTION_ADD;
555 			break;
556 		default:
557 			NL_SET_ERR_MSG_MOD(extack, "Unsupported pedit command offload");
558 			return -EOPNOTSUPP;
559 		}
560 
561 		for (k = 1; k < tcf_pedit_nkeys(act); k++) {
562 			if (cmd != tcf_pedit_cmd(act, k)) {
563 				NL_SET_ERR_MSG_MOD(extack, "Unsupported pedit command offload");
564 				return -EOPNOTSUPP;
565 			}
566 		}
567 	}
568 
569 	return 0;
570 }
571 
572 static struct tc_action_ops act_pedit_ops = {
573 	.kind		=	"pedit",
574 	.id		=	TCA_ID_PEDIT,
575 	.owner		=	THIS_MODULE,
576 	.act		=	tcf_pedit_act,
577 	.stats_update	=	tcf_pedit_stats_update,
578 	.dump		=	tcf_pedit_dump,
579 	.cleanup	=	tcf_pedit_cleanup,
580 	.init		=	tcf_pedit_init,
581 	.offload_act_setup =	tcf_pedit_offload_act_setup,
582 	.size		=	sizeof(struct tcf_pedit),
583 };
584 
585 static __net_init int pedit_init_net(struct net *net)
586 {
587 	struct tc_action_net *tn = net_generic(net, act_pedit_ops.net_id);
588 
589 	return tc_action_net_init(net, tn, &act_pedit_ops);
590 }
591 
592 static void __net_exit pedit_exit_net(struct list_head *net_list)
593 {
594 	tc_action_net_exit(net_list, act_pedit_ops.net_id);
595 }
596 
597 static struct pernet_operations pedit_net_ops = {
598 	.init = pedit_init_net,
599 	.exit_batch = pedit_exit_net,
600 	.id   = &act_pedit_ops.net_id,
601 	.size = sizeof(struct tc_action_net),
602 };
603 
604 MODULE_AUTHOR("Jamal Hadi Salim(2002-4)");
605 MODULE_DESCRIPTION("Generic Packet Editor actions");
606 MODULE_LICENSE("GPL");
607 
608 static int __init pedit_init_module(void)
609 {
610 	return tcf_register_action(&act_pedit_ops, &pedit_net_ops);
611 }
612 
613 static void __exit pedit_cleanup_module(void)
614 {
615 	tcf_unregister_action(&act_pedit_ops, &pedit_net_ops);
616 }
617 
618 module_init(pedit_init_module);
619 module_exit(pedit_cleanup_module);
620