blob: 24e0a62a65ccbe720f0648f1b68fdbbf4eea2dde [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
2 * net/sched/cls_tcindex.c Packet classifier for skb->tc_index
3 *
4 * Written 1998,1999 by Werner Almesberger, EPFL ICA
5 */
6
Linus Torvalds1da177e2005-04-16 15:20:36 -07007#include <linux/module.h>
8#include <linux/types.h>
9#include <linux/kernel.h>
10#include <linux/skbuff.h>
11#include <linux/errno.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090012#include <linux/slab.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070013#include <net/act_api.h>
Arnaldo Carvalho de Melodc5fc572007-03-25 23:06:12 -070014#include <net/netlink.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070015#include <net/pkt_cls.h>
Jiri Pirko1abf2722017-10-13 14:01:03 +020016#include <net/sch_generic.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070017
Linus Torvalds1da177e2005-04-16 15:20:36 -070018/*
19 * Passing parameters to the root seems to be done more awkwardly than really
20 * necessary. At least, u32 doesn't seem to use such dirty hacks. To be
21 * verified. FIXME.
22 */
23
24#define PERFECT_HASH_THRESHOLD 64 /* use perfect hash if not bigger */
25#define DEFAULT_HASH_SIZE 64 /* optimized for diffserv */
26
27
Linus Torvalds1da177e2005-04-16 15:20:36 -070028struct tcindex_filter_result {
29 struct tcf_exts exts;
30 struct tcf_result res;
Cong Wangaaa908f2018-05-23 15:26:53 -070031 struct rcu_work rwork;
Linus Torvalds1da177e2005-04-16 15:20:36 -070032};
33
34struct tcindex_filter {
35 u16 key;
36 struct tcindex_filter_result result;
John Fastabend331b7292014-09-12 20:08:20 -070037 struct tcindex_filter __rcu *next;
Cong Wangaaa908f2018-05-23 15:26:53 -070038 struct rcu_work rwork;
Linus Torvalds1da177e2005-04-16 15:20:36 -070039};
40
41
42struct tcindex_data {
43 struct tcindex_filter_result *perfect; /* perfect hash; NULL if none */
John Fastabend331b7292014-09-12 20:08:20 -070044 struct tcindex_filter __rcu **h; /* imperfect hash; */
45 struct tcf_proto *tp;
Linus Torvalds1da177e2005-04-16 15:20:36 -070046 u16 mask; /* AND key with mask */
John Fastabend331b7292014-09-12 20:08:20 -070047 u32 shift; /* shift ANDed key to the right */
48 u32 hash; /* hash table size; 0 if undefined */
49 u32 alloc_hash; /* allocated size */
50 u32 fall_through; /* 0: only classify if explicit match */
Cong Wang3d210532019-02-16 10:58:26 -080051 struct rcu_work rwork;
Linus Torvalds1da177e2005-04-16 15:20:36 -070052};
53
Jamal Hadi Salim5a7a5552016-09-18 08:45:33 -040054static inline int tcindex_filter_is_set(struct tcindex_filter_result *r)
Linus Torvalds1da177e2005-04-16 15:20:36 -070055{
Jiri Pirko6fc6d062017-08-04 14:29:00 +020056 return tcf_exts_has_actions(&r->exts) || r->res.classid;
Linus Torvalds1da177e2005-04-16 15:20:36 -070057}
58
Jamal Hadi Salim5a7a5552016-09-18 08:45:33 -040059static struct tcindex_filter_result *tcindex_lookup(struct tcindex_data *p,
60 u16 key)
Linus Torvalds1da177e2005-04-16 15:20:36 -070061{
John Fastabend331b7292014-09-12 20:08:20 -070062 if (p->perfect) {
63 struct tcindex_filter_result *f = p->perfect + key;
Linus Torvalds1da177e2005-04-16 15:20:36 -070064
John Fastabend331b7292014-09-12 20:08:20 -070065 return tcindex_filter_is_set(f) ? f : NULL;
66 } else if (p->h) {
67 struct tcindex_filter __rcu **fp;
68 struct tcindex_filter *f;
69
70 fp = &p->h[key % p->hash];
71 for (f = rcu_dereference_bh_rtnl(*fp);
72 f;
73 fp = &f->next, f = rcu_dereference_bh_rtnl(*fp))
Linus Torvalds1da177e2005-04-16 15:20:36 -070074 if (f->key == key)
75 return &f->result;
76 }
77
78 return NULL;
79}
80
81
Eric Dumazetdc7f9f62011-07-05 23:25:42 +000082static int tcindex_classify(struct sk_buff *skb, const struct tcf_proto *tp,
Linus Torvalds1da177e2005-04-16 15:20:36 -070083 struct tcf_result *res)
84{
WANG Cong2f9a2202014-09-15 14:06:48 -070085 struct tcindex_data *p = rcu_dereference_bh(tp->root);
Linus Torvalds1da177e2005-04-16 15:20:36 -070086 struct tcindex_filter_result *f;
87 int key = (skb->tc_index & p->mask) >> p->shift;
88
Stephen Hemmingeraa767bf2008-01-21 02:26:41 -080089 pr_debug("tcindex_classify(skb %p,tp %p,res %p),p %p\n",
90 skb, tp, res, p);
Linus Torvalds1da177e2005-04-16 15:20:36 -070091
92 f = tcindex_lookup(p, key);
93 if (!f) {
Jiri Pirko1abf2722017-10-13 14:01:03 +020094 struct Qdisc *q = tcf_block_q(tp->chain->block);
95
Linus Torvalds1da177e2005-04-16 15:20:36 -070096 if (!p->fall_through)
97 return -1;
Jiri Pirko1abf2722017-10-13 14:01:03 +020098 res->classid = TC_H_MAKE(TC_H_MAJ(q->handle), key);
Linus Torvalds1da177e2005-04-16 15:20:36 -070099 res->class = 0;
Stephen Hemmingeraa767bf2008-01-21 02:26:41 -0800100 pr_debug("alg 0x%x\n", res->classid);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700101 return 0;
102 }
103 *res = f->res;
Stephen Hemmingeraa767bf2008-01-21 02:26:41 -0800104 pr_debug("map 0x%x\n", res->classid);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700105
106 return tcf_exts_exec(skb, &f->exts, res);
107}
108
109
WANG Cong8113c092017-08-04 21:31:43 -0700110static void *tcindex_get(struct tcf_proto *tp, u32 handle)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700111{
John Fastabend331b7292014-09-12 20:08:20 -0700112 struct tcindex_data *p = rtnl_dereference(tp->root);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700113 struct tcindex_filter_result *r;
114
Stephen Hemmingeraa767bf2008-01-21 02:26:41 -0800115 pr_debug("tcindex_get(tp %p,handle 0x%08x)\n", tp, handle);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700116 if (p->perfect && handle >= p->alloc_hash)
WANG Cong8113c092017-08-04 21:31:43 -0700117 return NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700118 r = tcindex_lookup(p, handle);
WANG Cong8113c092017-08-04 21:31:43 -0700119 return r && tcindex_filter_is_set(r) ? r : NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700120}
121
Linus Torvalds1da177e2005-04-16 15:20:36 -0700122static int tcindex_init(struct tcf_proto *tp)
123{
124 struct tcindex_data *p;
125
Stephen Hemmingeraa767bf2008-01-21 02:26:41 -0800126 pr_debug("tcindex_init(tp %p)\n", tp);
127 p = kzalloc(sizeof(struct tcindex_data), GFP_KERNEL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700128 if (!p)
129 return -ENOMEM;
130
Linus Torvalds1da177e2005-04-16 15:20:36 -0700131 p->mask = 0xffff;
132 p->hash = DEFAULT_HASH_SIZE;
133 p->fall_through = 1;
134
John Fastabend331b7292014-09-12 20:08:20 -0700135 rcu_assign_pointer(tp->root, p);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700136 return 0;
137}
138
Cong Wangf2b75102017-11-06 13:47:29 -0800139static void __tcindex_destroy_rexts(struct tcindex_filter_result *r)
140{
141 tcf_exts_destroy(&r->exts);
142 tcf_exts_put_net(&r->exts);
143}
144
Cong Wang27ce4f02017-10-26 18:24:39 -0700145static void tcindex_destroy_rexts_work(struct work_struct *work)
146{
147 struct tcindex_filter_result *r;
148
Cong Wangaaa908f2018-05-23 15:26:53 -0700149 r = container_of(to_rcu_work(work),
150 struct tcindex_filter_result,
151 rwork);
Cong Wang27ce4f02017-10-26 18:24:39 -0700152 rtnl_lock();
Cong Wangf2b75102017-11-06 13:47:29 -0800153 __tcindex_destroy_rexts(r);
Cong Wang27ce4f02017-10-26 18:24:39 -0700154 rtnl_unlock();
155}
156
Cong Wangf2b75102017-11-06 13:47:29 -0800157static void __tcindex_destroy_fexts(struct tcindex_filter *f)
158{
159 tcf_exts_destroy(&f->result.exts);
160 tcf_exts_put_net(&f->result.exts);
161 kfree(f);
162}
163
Cong Wang27ce4f02017-10-26 18:24:39 -0700164static void tcindex_destroy_fexts_work(struct work_struct *work)
165{
Cong Wangaaa908f2018-05-23 15:26:53 -0700166 struct tcindex_filter *f = container_of(to_rcu_work(work),
167 struct tcindex_filter,
168 rwork);
Cong Wang27ce4f02017-10-26 18:24:39 -0700169
170 rtnl_lock();
Cong Wangf2b75102017-11-06 13:47:29 -0800171 __tcindex_destroy_fexts(f);
Cong Wang27ce4f02017-10-26 18:24:39 -0700172 rtnl_unlock();
Alexei Starovoitoved7aa872015-08-25 20:06:33 -0700173}
174
Alexander Aring571acf22018-01-18 11:20:53 -0500175static int tcindex_delete(struct tcf_proto *tp, void *arg, bool *last,
Vlad Buslov12db03b2019-02-11 10:55:45 +0200176 bool rtnl_held, struct netlink_ext_ack *extack)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700177{
John Fastabend331b7292014-09-12 20:08:20 -0700178 struct tcindex_data *p = rtnl_dereference(tp->root);
WANG Cong8113c092017-08-04 21:31:43 -0700179 struct tcindex_filter_result *r = arg;
John Fastabend331b7292014-09-12 20:08:20 -0700180 struct tcindex_filter __rcu **walk;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700181 struct tcindex_filter *f = NULL;
182
WANG Cong8113c092017-08-04 21:31:43 -0700183 pr_debug("tcindex_delete(tp %p,arg %p),p %p\n", tp, arg, p);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700184 if (p->perfect) {
185 if (!r->res.class)
186 return -ENOENT;
187 } else {
188 int i;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700189
John Fastabend331b7292014-09-12 20:08:20 -0700190 for (i = 0; i < p->hash; i++) {
191 walk = p->h + i;
192 for (f = rtnl_dereference(*walk); f;
193 walk = &f->next, f = rtnl_dereference(*walk)) {
194 if (&f->result == r)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700195 goto found;
John Fastabend331b7292014-09-12 20:08:20 -0700196 }
197 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700198 return -ENOENT;
199
200found:
John Fastabend331b7292014-09-12 20:08:20 -0700201 rcu_assign_pointer(*walk, rtnl_dereference(f->next));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700202 }
203 tcf_unbind_filter(tp, &r->res);
Alexei Starovoitoved7aa872015-08-25 20:06:33 -0700204 /* all classifiers are required to call tcf_exts_destroy() after rcu
205 * grace period, since converted-to-rcu actions are relying on that
206 * in cleanup() callback
207 */
Cong Wangf2b75102017-11-06 13:47:29 -0800208 if (f) {
209 if (tcf_exts_get_net(&f->result.exts))
Cong Wangaaa908f2018-05-23 15:26:53 -0700210 tcf_queue_work(&f->rwork, tcindex_destroy_fexts_work);
Cong Wangf2b75102017-11-06 13:47:29 -0800211 else
212 __tcindex_destroy_fexts(f);
213 } else {
214 if (tcf_exts_get_net(&r->exts))
Cong Wangaaa908f2018-05-23 15:26:53 -0700215 tcf_queue_work(&r->rwork, tcindex_destroy_rexts_work);
Cong Wangf2b75102017-11-06 13:47:29 -0800216 else
217 __tcindex_destroy_rexts(r);
218 }
WANG Cong763dbf62017-04-19 14:21:21 -0700219
220 *last = false;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700221 return 0;
222}
223
Cong Wang3d210532019-02-16 10:58:26 -0800224static void tcindex_destroy_work(struct work_struct *work)
John Fastabend331b7292014-09-12 20:08:20 -0700225{
Cong Wang3d210532019-02-16 10:58:26 -0800226 struct tcindex_data *p = container_of(to_rcu_work(work),
227 struct tcindex_data,
228 rwork);
John Fastabend331b7292014-09-12 20:08:20 -0700229
230 kfree(p->perfect);
231 kfree(p->h);
232 kfree(p);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700233}
234
235static inline int
236valid_perfect_hash(struct tcindex_data *p)
237{
238 return p->hash > (p->mask >> p->shift);
239}
240
Patrick McHardy6fa8c012008-01-23 20:36:12 -0800241static const struct nla_policy tcindex_policy[TCA_TCINDEX_MAX + 1] = {
242 [TCA_TCINDEX_HASH] = { .type = NLA_U32 },
243 [TCA_TCINDEX_MASK] = { .type = NLA_U16 },
244 [TCA_TCINDEX_SHIFT] = { .type = NLA_U32 },
245 [TCA_TCINDEX_FALL_THROUGH] = { .type = NLA_U32 },
246 [TCA_TCINDEX_CLASSID] = { .type = NLA_U32 },
247};
248
Cong Wang14215102019-02-20 21:37:42 -0800249static int tcindex_filter_result_init(struct tcindex_filter_result *r,
250 struct net *net)
Cong Wangbf63ac72014-05-19 12:15:49 -0700251{
252 memset(r, 0, sizeof(*r));
Cong Wang14215102019-02-20 21:37:42 -0800253 return tcf_exts_init(&r->exts, net, TCA_TCINDEX_ACT,
254 TCA_TCINDEX_POLICE);
Cong Wangbf63ac72014-05-19 12:15:49 -0700255}
256
Cong Wang3d210532019-02-16 10:58:26 -0800257static void tcindex_partial_destroy_work(struct work_struct *work)
John Fastabend331b7292014-09-12 20:08:20 -0700258{
Cong Wang3d210532019-02-16 10:58:26 -0800259 struct tcindex_data *p = container_of(to_rcu_work(work),
260 struct tcindex_data,
261 rwork);
John Fastabend331b7292014-09-12 20:08:20 -0700262
263 kfree(p->perfect);
264 kfree(p);
265}
266
WANG Congb9a24bb2016-08-19 12:36:54 -0700267static void tcindex_free_perfect_hash(struct tcindex_data *cp)
268{
269 int i;
270
271 for (i = 0; i < cp->hash; i++)
272 tcf_exts_destroy(&cp->perfect[i].exts);
273 kfree(cp->perfect);
274}
275
Cong Wang033b2282019-02-11 13:06:15 -0800276static int tcindex_alloc_perfect_hash(struct net *net, struct tcindex_data *cp)
WANG Congb9a24bb2016-08-19 12:36:54 -0700277{
278 int i, err = 0;
279
280 cp->perfect = kcalloc(cp->hash, sizeof(struct tcindex_filter_result),
281 GFP_KERNEL);
282 if (!cp->perfect)
283 return -ENOMEM;
284
285 for (i = 0; i < cp->hash; i++) {
Cong Wang14215102019-02-20 21:37:42 -0800286 err = tcf_exts_init(&cp->perfect[i].exts, net,
WANG Congb9a24bb2016-08-19 12:36:54 -0700287 TCA_TCINDEX_ACT, TCA_TCINDEX_POLICE);
288 if (err < 0)
289 goto errout;
290 }
291
292 return 0;
293
294errout:
295 tcindex_free_perfect_hash(cp);
296 return err;
297}
298
Linus Torvalds1da177e2005-04-16 15:20:36 -0700299static int
Benjamin LaHaisec1b52732013-01-14 05:15:39 +0000300tcindex_set_parms(struct net *net, struct tcf_proto *tp, unsigned long base,
301 u32 handle, struct tcindex_data *p,
302 struct tcindex_filter_result *r, struct nlattr **tb,
Alexander Aring50a56192018-01-18 11:20:52 -0500303 struct nlattr *est, bool ovr, struct netlink_ext_ack *extack)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700304{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700305 struct tcindex_filter_result new_filter_result, *old_r = r;
WANG Congb9a24bb2016-08-19 12:36:54 -0700306 struct tcindex_data *cp = NULL, *oldp;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700307 struct tcindex_filter *f = NULL; /* make gcc behave */
Cong Wang1db817e72019-02-11 13:06:16 -0800308 struct tcf_result cr = {};
WANG Congb9a24bb2016-08-19 12:36:54 -0700309 int err, balloc = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700310 struct tcf_exts e;
311
Cong Wang14215102019-02-20 21:37:42 -0800312 err = tcf_exts_init(&e, net, TCA_TCINDEX_ACT, TCA_TCINDEX_POLICE);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700313 if (err < 0)
314 return err;
Vlad Buslovec6743a2019-02-11 10:55:43 +0200315 err = tcf_exts_validate(net, tp, tb, est, &e, ovr, true, extack);
WANG Congb9a24bb2016-08-19 12:36:54 -0700316 if (err < 0)
317 goto errout;
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900318
WANG Cong02c5e842014-09-25 12:06:04 -0700319 err = -ENOMEM;
John Fastabend331b7292014-09-12 20:08:20 -0700320 /* tcindex_data attributes must look atomic to classifier/lookup so
321 * allocate new tcindex data and RCU assign it onto root. Keeping
322 * perfect hash and hash pointers from old data.
323 */
WANG Conga57a65b2014-09-15 14:06:46 -0700324 cp = kzalloc(sizeof(*cp), GFP_KERNEL);
WANG Cong02c5e842014-09-25 12:06:04 -0700325 if (!cp)
WANG Cong44b75e42014-09-15 16:43:42 -0700326 goto errout;
John Fastabend331b7292014-09-12 20:08:20 -0700327
328 cp->mask = p->mask;
329 cp->shift = p->shift;
330 cp->hash = p->hash;
331 cp->alloc_hash = p->alloc_hash;
332 cp->fall_through = p->fall_through;
333 cp->tp = tp;
334
335 if (p->perfect) {
WANG Cong6e056562014-09-30 16:07:23 -0700336 int i;
337
Cong Wang033b2282019-02-11 13:06:15 -0800338 if (tcindex_alloc_perfect_hash(net, cp) < 0)
John Fastabend331b7292014-09-12 20:08:20 -0700339 goto errout;
WANG Cong6e056562014-09-30 16:07:23 -0700340 for (i = 0; i < cp->hash; i++)
WANG Congb9a24bb2016-08-19 12:36:54 -0700341 cp->perfect[i].res = p->perfect[i].res;
WANG Cong44b75e42014-09-15 16:43:42 -0700342 balloc = 1;
John Fastabend331b7292014-09-12 20:08:20 -0700343 }
344 cp->h = p->h;
345
Cong Wang14215102019-02-20 21:37:42 -0800346 err = tcindex_filter_result_init(&new_filter_result, net);
WANG Congb9a24bb2016-08-19 12:36:54 -0700347 if (err < 0)
348 goto errout1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700349 if (old_r)
Cong Wang1db817e72019-02-11 13:06:16 -0800350 cr = r->res;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700351
Patrick McHardy6fa8c012008-01-23 20:36:12 -0800352 if (tb[TCA_TCINDEX_HASH])
John Fastabend331b7292014-09-12 20:08:20 -0700353 cp->hash = nla_get_u32(tb[TCA_TCINDEX_HASH]);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700354
Patrick McHardy6fa8c012008-01-23 20:36:12 -0800355 if (tb[TCA_TCINDEX_MASK])
John Fastabend331b7292014-09-12 20:08:20 -0700356 cp->mask = nla_get_u16(tb[TCA_TCINDEX_MASK]);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700357
Patrick McHardy6fa8c012008-01-23 20:36:12 -0800358 if (tb[TCA_TCINDEX_SHIFT])
John Fastabend331b7292014-09-12 20:08:20 -0700359 cp->shift = nla_get_u32(tb[TCA_TCINDEX_SHIFT]);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700360
361 err = -EBUSY;
John Fastabend331b7292014-09-12 20:08:20 -0700362
Linus Torvalds1da177e2005-04-16 15:20:36 -0700363 /* Hash already allocated, make sure that we still meet the
364 * requirements for the allocated hash.
365 */
John Fastabend331b7292014-09-12 20:08:20 -0700366 if (cp->perfect) {
367 if (!valid_perfect_hash(cp) ||
368 cp->hash > cp->alloc_hash)
WANG Cong44b75e42014-09-15 16:43:42 -0700369 goto errout_alloc;
John Fastabend331b7292014-09-12 20:08:20 -0700370 } else if (cp->h && cp->hash != cp->alloc_hash) {
WANG Cong44b75e42014-09-15 16:43:42 -0700371 goto errout_alloc;
John Fastabend331b7292014-09-12 20:08:20 -0700372 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700373
374 err = -EINVAL;
Patrick McHardy6fa8c012008-01-23 20:36:12 -0800375 if (tb[TCA_TCINDEX_FALL_THROUGH])
John Fastabend331b7292014-09-12 20:08:20 -0700376 cp->fall_through = nla_get_u32(tb[TCA_TCINDEX_FALL_THROUGH]);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700377
John Fastabend331b7292014-09-12 20:08:20 -0700378 if (!cp->hash) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700379 /* Hash not specified, use perfect hash if the upper limit
380 * of the hashing index is below the threshold.
381 */
John Fastabend331b7292014-09-12 20:08:20 -0700382 if ((cp->mask >> cp->shift) < PERFECT_HASH_THRESHOLD)
383 cp->hash = (cp->mask >> cp->shift) + 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700384 else
John Fastabend331b7292014-09-12 20:08:20 -0700385 cp->hash = DEFAULT_HASH_SIZE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700386 }
387
WANG Cong68f6a7c2014-09-25 12:06:05 -0700388 if (!cp->perfect && !cp->h)
John Fastabend331b7292014-09-12 20:08:20 -0700389 cp->alloc_hash = cp->hash;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700390
391 /* Note: this could be as restrictive as if (handle & ~(mask >> shift))
392 * but then, we'd fail handles that may become valid after some future
393 * mask change. While this is extremely unlikely to ever matter,
394 * the check below is safer (and also more backwards-compatible).
395 */
John Fastabend331b7292014-09-12 20:08:20 -0700396 if (cp->perfect || valid_perfect_hash(cp))
397 if (handle >= cp->alloc_hash)
WANG Cong44b75e42014-09-15 16:43:42 -0700398 goto errout_alloc;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700399
400
401 err = -ENOMEM;
John Fastabend331b7292014-09-12 20:08:20 -0700402 if (!cp->perfect && !cp->h) {
403 if (valid_perfect_hash(cp)) {
Cong Wang033b2282019-02-11 13:06:15 -0800404 if (tcindex_alloc_perfect_hash(net, cp) < 0)
WANG Cong44b75e42014-09-15 16:43:42 -0700405 goto errout_alloc;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700406 balloc = 1;
407 } else {
John Fastabend331b7292014-09-12 20:08:20 -0700408 struct tcindex_filter __rcu **hash;
409
410 hash = kcalloc(cp->hash,
411 sizeof(struct tcindex_filter *),
412 GFP_KERNEL);
413
414 if (!hash)
WANG Cong44b75e42014-09-15 16:43:42 -0700415 goto errout_alloc;
John Fastabend331b7292014-09-12 20:08:20 -0700416
417 cp->h = hash;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700418 balloc = 2;
419 }
420 }
421
John Fastabend331b7292014-09-12 20:08:20 -0700422 if (cp->perfect)
423 r = cp->perfect + handle;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700424 else
John Fastabend331b7292014-09-12 20:08:20 -0700425 r = tcindex_lookup(cp, handle) ? : &new_filter_result;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700426
427 if (r == &new_filter_result) {
Panagiotis Issaris0da974f2006-07-21 14:51:30 -0700428 f = kzalloc(sizeof(*f), GFP_KERNEL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700429 if (!f)
430 goto errout_alloc;
WANG Cong6e056562014-09-30 16:07:23 -0700431 f->key = handle;
WANG Cong6e056562014-09-30 16:07:23 -0700432 f->next = NULL;
Cong Wang14215102019-02-20 21:37:42 -0800433 err = tcindex_filter_result_init(&f->result, net);
WANG Congb9a24bb2016-08-19 12:36:54 -0700434 if (err < 0) {
435 kfree(f);
436 goto errout_alloc;
437 }
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900438 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700439
Patrick McHardyadd93b62008-01-22 22:11:33 -0800440 if (tb[TCA_TCINDEX_CLASSID]) {
Cong Wang1db817e72019-02-11 13:06:16 -0800441 cr.classid = nla_get_u32(tb[TCA_TCINDEX_CLASSID]);
442 tcf_bind_filter(tp, &cr, base);
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900443 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700444
WANG Congb9a24bb2016-08-19 12:36:54 -0700445 if (old_r && old_r != r) {
Cong Wang14215102019-02-20 21:37:42 -0800446 err = tcindex_filter_result_init(old_r, net);
WANG Congb9a24bb2016-08-19 12:36:54 -0700447 if (err < 0) {
448 kfree(f);
449 goto errout_alloc;
450 }
451 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700452
John Fastabend331b7292014-09-12 20:08:20 -0700453 oldp = p;
Cong Wang1db817e72019-02-11 13:06:16 -0800454 r->res = cr;
Hangbin Liu2df8bee2018-08-13 18:44:03 +0800455 tcf_exts_change(&r->exts, &e);
456
John Fastabend331b7292014-09-12 20:08:20 -0700457 rcu_assign_pointer(tp->root, cp);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700458
459 if (r == &new_filter_result) {
John Fastabend331b7292014-09-12 20:08:20 -0700460 struct tcindex_filter *nfp;
461 struct tcindex_filter __rcu **fp;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700462
Hangbin Liu008369d2018-08-13 18:44:04 +0800463 f->result.res = r->res;
Jiri Pirko9b0d4442017-08-04 14:29:15 +0200464 tcf_exts_change(&f->result.exts, &r->exts);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700465
WANG Cong69301ea2014-09-15 16:43:43 -0700466 fp = cp->h + (handle % cp->hash);
John Fastabend331b7292014-09-12 20:08:20 -0700467 for (nfp = rtnl_dereference(*fp);
468 nfp;
469 fp = &nfp->next, nfp = rtnl_dereference(*fp))
470 ; /* nothing */
471
472 rcu_assign_pointer(*fp, f);
Cong Wang1db817e72019-02-11 13:06:16 -0800473 } else {
474 tcf_exts_destroy(&new_filter_result.exts);
John Fastabend331b7292014-09-12 20:08:20 -0700475 }
476
477 if (oldp)
Cong Wang3d210532019-02-16 10:58:26 -0800478 tcf_queue_work(&oldp->rwork, tcindex_partial_destroy_work);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700479 return 0;
480
481errout_alloc:
482 if (balloc == 1)
WANG Congb9a24bb2016-08-19 12:36:54 -0700483 tcindex_free_perfect_hash(cp);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700484 else if (balloc == 2)
John Fastabend331b7292014-09-12 20:08:20 -0700485 kfree(cp->h);
WANG Congb9a24bb2016-08-19 12:36:54 -0700486errout1:
WANG Congb9a24bb2016-08-19 12:36:54 -0700487 tcf_exts_destroy(&new_filter_result.exts);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700488errout:
John Fastabend331b7292014-09-12 20:08:20 -0700489 kfree(cp);
WANG Cong18d02642014-09-25 10:26:37 -0700490 tcf_exts_destroy(&e);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700491 return err;
492}
493
494static int
Benjamin LaHaisec1b52732013-01-14 05:15:39 +0000495tcindex_change(struct net *net, struct sk_buff *in_skb,
Eric W. Biedermanaf4c6642012-05-25 13:42:45 -0600496 struct tcf_proto *tp, unsigned long base, u32 handle,
Alexander Aring7306db32018-01-18 11:20:51 -0500497 struct nlattr **tca, void **arg, bool ovr,
Vlad Buslov12db03b2019-02-11 10:55:45 +0200498 bool rtnl_held, struct netlink_ext_ack *extack)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700499{
Patrick McHardyadd93b62008-01-22 22:11:33 -0800500 struct nlattr *opt = tca[TCA_OPTIONS];
501 struct nlattr *tb[TCA_TCINDEX_MAX + 1];
John Fastabend331b7292014-09-12 20:08:20 -0700502 struct tcindex_data *p = rtnl_dereference(tp->root);
WANG Cong8113c092017-08-04 21:31:43 -0700503 struct tcindex_filter_result *r = *arg;
Patrick McHardycee63722008-01-23 20:33:32 -0800504 int err;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700505
Stephen Hemmingeraa767bf2008-01-21 02:26:41 -0800506 pr_debug("tcindex_change(tp %p,handle 0x%08x,tca %p,arg %p),opt %p,"
WANG Cong8113c092017-08-04 21:31:43 -0700507 "p %p,r %p,*arg %p\n",
508 tp, handle, tca, arg, opt, p, r, arg ? *arg : NULL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700509
510 if (!opt)
511 return 0;
512
Johannes Bergfceb6432017-04-12 14:34:07 +0200513 err = nla_parse_nested(tb, TCA_TCINDEX_MAX, opt, tcindex_policy, NULL);
Patrick McHardycee63722008-01-23 20:33:32 -0800514 if (err < 0)
515 return err;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700516
Benjamin LaHaisec1b52732013-01-14 05:15:39 +0000517 return tcindex_set_parms(net, tp, base, handle, p, r, tb,
Alexander Aring50a56192018-01-18 11:20:52 -0500518 tca[TCA_RATE], ovr, extack);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700519}
520
Vlad Buslov12db03b2019-02-11 10:55:45 +0200521static void tcindex_walk(struct tcf_proto *tp, struct tcf_walker *walker,
522 bool rtnl_held)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700523{
John Fastabend331b7292014-09-12 20:08:20 -0700524 struct tcindex_data *p = rtnl_dereference(tp->root);
Stephen Hemmingeraa767bf2008-01-21 02:26:41 -0800525 struct tcindex_filter *f, *next;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700526 int i;
527
Stephen Hemmingeraa767bf2008-01-21 02:26:41 -0800528 pr_debug("tcindex_walk(tp %p,walker %p),p %p\n", tp, walker, p);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700529 if (p->perfect) {
530 for (i = 0; i < p->hash; i++) {
531 if (!p->perfect[i].res.class)
532 continue;
533 if (walker->count >= walker->skip) {
WANG Cong8113c092017-08-04 21:31:43 -0700534 if (walker->fn(tp, p->perfect + i, walker) < 0) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700535 walker->stop = 1;
536 return;
537 }
538 }
539 walker->count++;
540 }
541 }
542 if (!p->h)
543 return;
544 for (i = 0; i < p->hash; i++) {
John Fastabend331b7292014-09-12 20:08:20 -0700545 for (f = rtnl_dereference(p->h[i]); f; f = next) {
546 next = rtnl_dereference(f->next);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700547 if (walker->count >= walker->skip) {
WANG Cong8113c092017-08-04 21:31:43 -0700548 if (walker->fn(tp, &f->result, walker) < 0) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700549 walker->stop = 1;
550 return;
551 }
552 }
553 walker->count++;
554 }
555 }
556}
557
Vlad Buslov12db03b2019-02-11 10:55:45 +0200558static void tcindex_destroy(struct tcf_proto *tp, bool rtnl_held,
Jakub Kicinski715df5e2018-01-24 12:54:13 -0800559 struct netlink_ext_ack *extack)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700560{
John Fastabend331b7292014-09-12 20:08:20 -0700561 struct tcindex_data *p = rtnl_dereference(tp->root);
Cong Wang51dcb692019-02-16 10:58:27 -0800562 int i;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700563
Stephen Hemmingeraa767bf2008-01-21 02:26:41 -0800564 pr_debug("tcindex_destroy(tp %p),p %p\n", tp, p);
Cong Wang51dcb692019-02-16 10:58:27 -0800565
566 if (p->perfect) {
567 for (i = 0; i < p->hash; i++) {
568 struct tcindex_filter_result *r = p->perfect + i;
569
570 tcf_unbind_filter(tp, &r->res);
571 if (tcf_exts_get_net(&r->exts))
572 tcf_queue_work(&r->rwork,
573 tcindex_destroy_rexts_work);
574 else
575 __tcindex_destroy_rexts(r);
576 }
577 }
578
579 for (i = 0; p->h && i < p->hash; i++) {
580 struct tcindex_filter *f, *next;
581 bool last;
582
583 for (f = rtnl_dereference(p->h[i]); f; f = next) {
584 next = rtnl_dereference(f->next);
585 tcindex_delete(tp, &f->result, &last, rtnl_held, NULL);
586 }
587 }
John Fastabend331b7292014-09-12 20:08:20 -0700588
Cong Wang3d210532019-02-16 10:58:26 -0800589 tcf_queue_work(&p->rwork, tcindex_destroy_work);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700590}
591
592
WANG Cong8113c092017-08-04 21:31:43 -0700593static int tcindex_dump(struct net *net, struct tcf_proto *tp, void *fh,
Vlad Buslov12db03b2019-02-11 10:55:45 +0200594 struct sk_buff *skb, struct tcmsg *t, bool rtnl_held)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700595{
John Fastabend331b7292014-09-12 20:08:20 -0700596 struct tcindex_data *p = rtnl_dereference(tp->root);
WANG Cong8113c092017-08-04 21:31:43 -0700597 struct tcindex_filter_result *r = fh;
Patrick McHardy4b3550ef2008-01-23 20:34:11 -0800598 struct nlattr *nest;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700599
WANG Cong8113c092017-08-04 21:31:43 -0700600 pr_debug("tcindex_dump(tp %p,fh %p,skb %p,t %p),p %p,r %p\n",
Jiri Pirko6ea3b442014-12-09 22:23:29 +0100601 tp, fh, skb, t, p, r);
Stephen Hemmingeraa767bf2008-01-21 02:26:41 -0800602 pr_debug("p->perfect %p p->h %p\n", p->perfect, p->h);
Patrick McHardy4b3550ef2008-01-23 20:34:11 -0800603
604 nest = nla_nest_start(skb, TCA_OPTIONS);
605 if (nest == NULL)
606 goto nla_put_failure;
607
Linus Torvalds1da177e2005-04-16 15:20:36 -0700608 if (!fh) {
609 t->tcm_handle = ~0; /* whatever ... */
David S. Miller1b34ec42012-03-29 05:11:39 -0400610 if (nla_put_u32(skb, TCA_TCINDEX_HASH, p->hash) ||
611 nla_put_u16(skb, TCA_TCINDEX_MASK, p->mask) ||
612 nla_put_u32(skb, TCA_TCINDEX_SHIFT, p->shift) ||
613 nla_put_u32(skb, TCA_TCINDEX_FALL_THROUGH, p->fall_through))
614 goto nla_put_failure;
Patrick McHardy4b3550ef2008-01-23 20:34:11 -0800615 nla_nest_end(skb, nest);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700616 } else {
617 if (p->perfect) {
John Fastabend331b7292014-09-12 20:08:20 -0700618 t->tcm_handle = r - p->perfect;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700619 } else {
620 struct tcindex_filter *f;
John Fastabend331b7292014-09-12 20:08:20 -0700621 struct tcindex_filter __rcu **fp;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700622 int i;
623
624 t->tcm_handle = 0;
625 for (i = 0; !t->tcm_handle && i < p->hash; i++) {
John Fastabend331b7292014-09-12 20:08:20 -0700626 fp = &p->h[i];
627 for (f = rtnl_dereference(*fp);
628 !t->tcm_handle && f;
629 fp = &f->next, f = rtnl_dereference(*fp)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700630 if (&f->result == r)
631 t->tcm_handle = f->key;
632 }
633 }
634 }
Stephen Hemmingeraa767bf2008-01-21 02:26:41 -0800635 pr_debug("handle = %d\n", t->tcm_handle);
David S. Miller1b34ec42012-03-29 05:11:39 -0400636 if (r->res.class &&
637 nla_put_u32(skb, TCA_TCINDEX_CLASSID, r->res.classid))
638 goto nla_put_failure;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700639
WANG Cong5da57f42013-12-15 20:15:07 -0800640 if (tcf_exts_dump(skb, &r->exts) < 0)
Patrick McHardyadd93b62008-01-22 22:11:33 -0800641 goto nla_put_failure;
Patrick McHardy4b3550ef2008-01-23 20:34:11 -0800642 nla_nest_end(skb, nest);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700643
WANG Cong5da57f42013-12-15 20:15:07 -0800644 if (tcf_exts_dump_stats(skb, &r->exts) < 0)
Patrick McHardyadd93b62008-01-22 22:11:33 -0800645 goto nla_put_failure;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700646 }
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900647
Linus Torvalds1da177e2005-04-16 15:20:36 -0700648 return skb->len;
649
Patrick McHardyadd93b62008-01-22 22:11:33 -0800650nla_put_failure:
Jiri Pirko6ea3b442014-12-09 22:23:29 +0100651 nla_nest_cancel(skb, nest);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700652 return -1;
653}
654
Cong Wang07d79fc2017-08-30 14:30:36 -0700655static void tcindex_bind_class(void *fh, u32 classid, unsigned long cl)
656{
657 struct tcindex_filter_result *r = fh;
658
659 if (r && r->res.classid == classid)
660 r->res.class = cl;
661}
662
Patrick McHardy2eb9d752008-01-22 22:10:42 -0800663static struct tcf_proto_ops cls_tcindex_ops __read_mostly = {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700664 .kind = "tcindex",
665 .classify = tcindex_classify,
666 .init = tcindex_init,
667 .destroy = tcindex_destroy,
668 .get = tcindex_get,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700669 .change = tcindex_change,
670 .delete = tcindex_delete,
671 .walk = tcindex_walk,
672 .dump = tcindex_dump,
Cong Wang07d79fc2017-08-30 14:30:36 -0700673 .bind_class = tcindex_bind_class,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700674 .owner = THIS_MODULE,
675};
676
677static int __init init_tcindex(void)
678{
679 return register_tcf_proto_ops(&cls_tcindex_ops);
680}
681
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900682static void __exit exit_tcindex(void)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700683{
684 unregister_tcf_proto_ops(&cls_tcindex_ops);
685}
686
687module_init(init_tcindex)
688module_exit(exit_tcindex)
689MODULE_LICENSE("GPL");