blob: 0b7d78f59d8cb727c1ac0506a5cbdf8cd36f153f [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
2 * net/sched/sch_tbf.c Token Bucket Filter queue.
3 *
4 * This program is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU General Public License
6 * as published by the Free Software Foundation; either version
7 * 2 of the License, or (at your option) any later version.
8 *
9 * Authors: Alexey Kuznetsov, <kuznet@ms2.inr.ac.ru>
10 * Dmitry Torokhov <dtor@mail.ru> - allow attaching inner qdiscs -
11 * original idea by Martin Devera
12 *
13 */
14
Linus Torvalds1da177e2005-04-16 15:20:36 -070015#include <linux/module.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070016#include <linux/types.h>
17#include <linux/kernel.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070018#include <linux/string.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070019#include <linux/errno.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070020#include <linux/skbuff.h>
Patrick McHardy0ba48052007-07-02 22:49:07 -070021#include <net/netlink.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070022#include <net/pkt_sched.h>
23
24
25/* Simple Token Bucket Filter.
26 =======================================
27
28 SOURCE.
29 -------
30
31 None.
32
33 Description.
34 ------------
35
36 A data flow obeys TBF with rate R and depth B, if for any
37 time interval t_i...t_f the number of transmitted bits
38 does not exceed B + R*(t_f-t_i).
39
40 Packetized version of this definition:
41 The sequence of packets of sizes s_i served at moments t_i
42 obeys TBF, if for any i<=k:
43
44 s_i+....+s_k <= B + R*(t_k - t_i)
45
46 Algorithm.
47 ----------
48
49 Let N(t_i) be B/R initially and N(t) grow continuously with time as:
50
51 N(t+delta) = min{B/R, N(t) + delta}
52
53 If the first packet in queue has length S, it may be
54 transmitted only at the time t_* when S/R <= N(t_*),
55 and in this case N(t) jumps:
56
57 N(t_* + 0) = N(t_* - 0) - S/R.
58
59
60
61 Actually, QoS requires two TBF to be applied to a data stream.
62 One of them controls steady state burst size, another
63 one with rate P (peak rate) and depth M (equal to link MTU)
64 limits bursts at a smaller time scale.
65
66 It is easy to see that P>R, and B>M. If P is infinity, this double
67 TBF is equivalent to a single one.
68
69 When TBF works in reshaping mode, latency is estimated as:
70
71 lat = max ((L-B)/R, (L-M)/P)
72
73
74 NOTES.
75 ------
76
77 If TBF throttles, it starts a watchdog timer, which will wake it up
78 when it is ready to transmit.
79 Note that the minimal timer resolution is 1/HZ.
80 If no new packets arrive during this period,
81 or if the device is not awaken by EOI for some previous packet,
82 TBF can stop its activity for 1/HZ.
83
84
85 This means, that with depth B, the maximal rate is
86
87 R_crit = B*HZ
88
89 F.e. for 10Mbit ethernet and HZ=100 the minimal allowed B is ~10Kbytes.
90
91 Note that the peak rate TBF is much more tough: with MTU 1500
92 P_crit = 150Kbytes/sec. So, if you need greater peak
93 rates, use alpha with HZ=1000 :-)
94
95 With classful TBF, limit is just kept for backwards compatibility.
96 It is passed to the default bfifo qdisc - if the inner qdisc is
97 changed the limit is not effective anymore.
98*/
99
100struct tbf_sched_data
101{
102/* Parameters */
103 u32 limit; /* Maximal length of backlog: bytes */
104 u32 buffer; /* Token bucket depth/rate: MUST BE >= MTU/B */
105 u32 mtu;
106 u32 max_size;
107 struct qdisc_rate_table *R_tab;
108 struct qdisc_rate_table *P_tab;
109
110/* Variables */
111 long tokens; /* Current number of B tokens */
112 long ptokens; /* Current number of P tokens */
113 psched_time_t t_c; /* Time check-point */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700114 struct Qdisc *qdisc; /* Inner qdisc, default - bfifo queue */
Patrick McHardyf7f593e2007-03-16 01:20:07 -0700115 struct qdisc_watchdog watchdog; /* Watchdog timer */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700116};
117
Jesper Dangaard Brouere9bef552007-09-12 16:35:24 +0200118#define L2T(q,L) qdisc_l2t((q)->R_tab,L)
119#define L2T_P(q,L) qdisc_l2t((q)->P_tab,L)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700120
121static int tbf_enqueue(struct sk_buff *skb, struct Qdisc* sch)
122{
123 struct tbf_sched_data *q = qdisc_priv(sch);
124 int ret;
125
126 if (skb->len > q->max_size) {
127 sch->qstats.drops++;
Patrick McHardyc3bc7cf2007-07-15 00:03:05 -0700128#ifdef CONFIG_NET_CLS_ACT
Linus Torvalds1da177e2005-04-16 15:20:36 -0700129 if (sch->reshape_fail == NULL || sch->reshape_fail(skb, sch))
130#endif
131 kfree_skb(skb);
132
133 return NET_XMIT_DROP;
134 }
135
136 if ((ret = q->qdisc->enqueue(skb, q->qdisc)) != 0) {
137 sch->qstats.drops++;
138 return ret;
139 }
140
141 sch->q.qlen++;
142 sch->bstats.bytes += skb->len;
143 sch->bstats.packets++;
144 return 0;
145}
146
147static int tbf_requeue(struct sk_buff *skb, struct Qdisc* sch)
148{
149 struct tbf_sched_data *q = qdisc_priv(sch);
150 int ret;
151
152 if ((ret = q->qdisc->ops->requeue(skb, q->qdisc)) == 0) {
153 sch->q.qlen++;
154 sch->qstats.requeues++;
155 }
156
157 return ret;
158}
159
160static unsigned int tbf_drop(struct Qdisc* sch)
161{
162 struct tbf_sched_data *q = qdisc_priv(sch);
Patrick McHardy6d037a22006-03-20 19:00:49 -0800163 unsigned int len = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700164
Patrick McHardy6d037a22006-03-20 19:00:49 -0800165 if (q->qdisc->ops->drop && (len = q->qdisc->ops->drop(q->qdisc)) != 0) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700166 sch->q.qlen--;
167 sch->qstats.drops++;
168 }
169 return len;
170}
171
Linus Torvalds1da177e2005-04-16 15:20:36 -0700172static struct sk_buff *tbf_dequeue(struct Qdisc* sch)
173{
174 struct tbf_sched_data *q = qdisc_priv(sch);
175 struct sk_buff *skb;
176
177 skb = q->qdisc->dequeue(q->qdisc);
178
179 if (skb) {
180 psched_time_t now;
Patrick McHardyf7f593e2007-03-16 01:20:07 -0700181 long toks;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700182 long ptoks = 0;
183 unsigned int len = skb->len;
184
Patrick McHardy3bebcda2007-03-23 11:29:25 -0700185 now = psched_get_time();
Patrick McHardy03cc45c2007-03-23 11:29:11 -0700186 toks = psched_tdiff_bounded(now, q->t_c, q->buffer);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700187
188 if (q->P_tab) {
189 ptoks = toks + q->ptokens;
190 if (ptoks > (long)q->mtu)
191 ptoks = q->mtu;
192 ptoks -= L2T_P(q, len);
193 }
194 toks += q->tokens;
195 if (toks > (long)q->buffer)
196 toks = q->buffer;
197 toks -= L2T(q, len);
198
199 if ((toks|ptoks) >= 0) {
200 q->t_c = now;
201 q->tokens = toks;
202 q->ptokens = ptoks;
203 sch->q.qlen--;
204 sch->flags &= ~TCQ_F_THROTTLED;
205 return skb;
206 }
207
Patrick McHardyf7f593e2007-03-16 01:20:07 -0700208 qdisc_watchdog_schedule(&q->watchdog,
209 now + max_t(long, -toks, -ptoks));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700210
211 /* Maybe we have a shorter packet in the queue,
212 which can be sent now. It sounds cool,
213 but, however, this is wrong in principle.
214 We MUST NOT reorder packets under these circumstances.
215
216 Really, if we split the flow into independent
217 subflows, it would be a very good solution.
218 This is the main idea of all FQ algorithms
219 (cf. CSZ, HPFQ, HFSC)
220 */
221
222 if (q->qdisc->ops->requeue(skb, q->qdisc) != NET_XMIT_SUCCESS) {
223 /* When requeue fails skb is dropped */
Patrick McHardye488eaf2006-11-29 17:37:42 -0800224 qdisc_tree_decrease_qlen(q->qdisc, 1);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700225 sch->qstats.drops++;
226 }
227
Linus Torvalds1da177e2005-04-16 15:20:36 -0700228 sch->qstats.overlimits++;
229 }
230 return NULL;
231}
232
233static void tbf_reset(struct Qdisc* sch)
234{
235 struct tbf_sched_data *q = qdisc_priv(sch);
236
237 qdisc_reset(q->qdisc);
238 sch->q.qlen = 0;
Patrick McHardy3bebcda2007-03-23 11:29:25 -0700239 q->t_c = psched_get_time();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700240 q->tokens = q->buffer;
241 q->ptokens = q->mtu;
Patrick McHardyf7f593e2007-03-16 01:20:07 -0700242 qdisc_watchdog_cancel(&q->watchdog);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700243}
244
Patrick McHardy9f9afec2006-11-29 17:35:18 -0800245static struct Qdisc *tbf_create_dflt_qdisc(struct Qdisc *sch, u32 limit)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700246{
Patrick McHardy9f9afec2006-11-29 17:35:18 -0800247 struct Qdisc *q;
Patrick McHardy1e904742008-01-22 22:11:17 -0800248 struct nlattr *nla;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700249 int ret;
250
Patrick McHardy9f9afec2006-11-29 17:35:18 -0800251 q = qdisc_create_dflt(sch->dev, &bfifo_qdisc_ops,
252 TC_H_MAKE(sch->handle, 1));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700253 if (q) {
Patrick McHardy1e904742008-01-22 22:11:17 -0800254 nla = kmalloc(nla_attr_size(sizeof(struct tc_fifo_qopt)),
255 GFP_KERNEL);
256 if (nla) {
257 nla->nla_type = RTM_NEWQDISC;
258 nla->nla_len = nla_attr_size(sizeof(struct tc_fifo_qopt));
259 ((struct tc_fifo_qopt *)nla_data(nla))->limit = limit;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700260
Patrick McHardy1e904742008-01-22 22:11:17 -0800261 ret = q->ops->change(q, nla);
262 kfree(nla);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700263
264 if (ret == 0)
265 return q;
266 }
267 qdisc_destroy(q);
268 }
269
270 return NULL;
271}
272
Patrick McHardy27a34212008-01-23 20:35:39 -0800273static const struct nla_policy tbf_policy[TCA_TBF_MAX + 1] = {
274 [TCA_TBF_PARMS] = { .len = sizeof(struct tc_tbf_qopt) },
275 [TCA_TBF_RTAB] = { .type = NLA_BINARY, .len = TC_RTAB_SIZE },
276 [TCA_TBF_PTAB] = { .type = NLA_BINARY, .len = TC_RTAB_SIZE },
277};
278
Patrick McHardy1e904742008-01-22 22:11:17 -0800279static int tbf_change(struct Qdisc* sch, struct nlattr *opt)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700280{
Patrick McHardycee63722008-01-23 20:33:32 -0800281 int err;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700282 struct tbf_sched_data *q = qdisc_priv(sch);
Patrick McHardy1e904742008-01-22 22:11:17 -0800283 struct nlattr *tb[TCA_TBF_PTAB + 1];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700284 struct tc_tbf_qopt *qopt;
285 struct qdisc_rate_table *rtab = NULL;
286 struct qdisc_rate_table *ptab = NULL;
287 struct Qdisc *child = NULL;
288 int max_size,n;
289
Patrick McHardy27a34212008-01-23 20:35:39 -0800290 err = nla_parse_nested(tb, TCA_TBF_PTAB, opt, tbf_policy);
Patrick McHardycee63722008-01-23 20:33:32 -0800291 if (err < 0)
292 return err;
293
294 err = -EINVAL;
Patrick McHardy27a34212008-01-23 20:35:39 -0800295 if (tb[TCA_TBF_PARMS] == NULL)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700296 goto done;
297
Patrick McHardy1e904742008-01-22 22:11:17 -0800298 qopt = nla_data(tb[TCA_TBF_PARMS]);
299 rtab = qdisc_get_rtab(&qopt->rate, tb[TCA_TBF_RTAB]);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700300 if (rtab == NULL)
301 goto done;
302
303 if (qopt->peakrate.rate) {
304 if (qopt->peakrate.rate > qopt->rate.rate)
Patrick McHardy1e904742008-01-22 22:11:17 -0800305 ptab = qdisc_get_rtab(&qopt->peakrate, tb[TCA_TBF_PTAB]);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700306 if (ptab == NULL)
307 goto done;
308 }
309
310 for (n = 0; n < 256; n++)
311 if (rtab->data[n] > qopt->buffer) break;
312 max_size = (n << qopt->rate.cell_log)-1;
313 if (ptab) {
314 int size;
315
316 for (n = 0; n < 256; n++)
317 if (ptab->data[n] > qopt->mtu) break;
318 size = (n << qopt->peakrate.cell_log)-1;
319 if (size < max_size) max_size = size;
320 }
321 if (max_size < 0)
322 goto done;
323
Patrick McHardy053cfed2006-03-20 19:01:21 -0800324 if (qopt->limit > 0) {
Patrick McHardy9f9afec2006-11-29 17:35:18 -0800325 if ((child = tbf_create_dflt_qdisc(sch, qopt->limit)) == NULL)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700326 goto done;
327 }
328
329 sch_tree_lock(sch);
Patrick McHardy5e50da02006-11-29 17:36:20 -0800330 if (child) {
331 qdisc_tree_decrease_qlen(q->qdisc, q->qdisc->q.qlen);
Patrick McHardy053cfed2006-03-20 19:01:21 -0800332 qdisc_destroy(xchg(&q->qdisc, child));
Patrick McHardy5e50da02006-11-29 17:36:20 -0800333 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700334 q->limit = qopt->limit;
335 q->mtu = qopt->mtu;
336 q->max_size = max_size;
337 q->buffer = qopt->buffer;
338 q->tokens = q->buffer;
339 q->ptokens = q->mtu;
340 rtab = xchg(&q->R_tab, rtab);
341 ptab = xchg(&q->P_tab, ptab);
342 sch_tree_unlock(sch);
343 err = 0;
344done:
345 if (rtab)
346 qdisc_put_rtab(rtab);
347 if (ptab)
348 qdisc_put_rtab(ptab);
349 return err;
350}
351
Patrick McHardy1e904742008-01-22 22:11:17 -0800352static int tbf_init(struct Qdisc* sch, struct nlattr *opt)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700353{
354 struct tbf_sched_data *q = qdisc_priv(sch);
355
356 if (opt == NULL)
357 return -EINVAL;
358
Patrick McHardy3bebcda2007-03-23 11:29:25 -0700359 q->t_c = psched_get_time();
Patrick McHardyf7f593e2007-03-16 01:20:07 -0700360 qdisc_watchdog_init(&q->watchdog, sch);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700361 q->qdisc = &noop_qdisc;
362
363 return tbf_change(sch, opt);
364}
365
366static void tbf_destroy(struct Qdisc *sch)
367{
368 struct tbf_sched_data *q = qdisc_priv(sch);
369
Patrick McHardyf7f593e2007-03-16 01:20:07 -0700370 qdisc_watchdog_cancel(&q->watchdog);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700371
372 if (q->P_tab)
373 qdisc_put_rtab(q->P_tab);
374 if (q->R_tab)
375 qdisc_put_rtab(q->R_tab);
376
377 qdisc_destroy(q->qdisc);
378}
379
380static int tbf_dump(struct Qdisc *sch, struct sk_buff *skb)
381{
382 struct tbf_sched_data *q = qdisc_priv(sch);
Patrick McHardy4b3550ef2008-01-23 20:34:11 -0800383 struct nlattr *nest;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700384 struct tc_tbf_qopt opt;
385
Patrick McHardy4b3550ef2008-01-23 20:34:11 -0800386 nest = nla_nest_start(skb, TCA_OPTIONS);
387 if (nest == NULL)
388 goto nla_put_failure;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700389
390 opt.limit = q->limit;
391 opt.rate = q->R_tab->rate;
392 if (q->P_tab)
393 opt.peakrate = q->P_tab->rate;
394 else
395 memset(&opt.peakrate, 0, sizeof(opt.peakrate));
396 opt.mtu = q->mtu;
397 opt.buffer = q->buffer;
Patrick McHardy1e904742008-01-22 22:11:17 -0800398 NLA_PUT(skb, TCA_TBF_PARMS, sizeof(opt), &opt);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700399
Patrick McHardy4b3550ef2008-01-23 20:34:11 -0800400 nla_nest_end(skb, nest);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700401 return skb->len;
402
Patrick McHardy1e904742008-01-22 22:11:17 -0800403nla_put_failure:
Patrick McHardy4b3550ef2008-01-23 20:34:11 -0800404 nla_nest_cancel(skb, nest);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700405 return -1;
406}
407
408static int tbf_dump_class(struct Qdisc *sch, unsigned long cl,
409 struct sk_buff *skb, struct tcmsg *tcm)
410{
411 struct tbf_sched_data *q = qdisc_priv(sch);
412
413 if (cl != 1) /* only one class */
414 return -ENOENT;
415
416 tcm->tcm_handle |= TC_H_MIN(1);
417 tcm->tcm_info = q->qdisc->handle;
418
419 return 0;
420}
421
422static int tbf_graft(struct Qdisc *sch, unsigned long arg, struct Qdisc *new,
423 struct Qdisc **old)
424{
425 struct tbf_sched_data *q = qdisc_priv(sch);
426
427 if (new == NULL)
428 new = &noop_qdisc;
429
430 sch_tree_lock(sch);
431 *old = xchg(&q->qdisc, new);
Patrick McHardy5e50da02006-11-29 17:36:20 -0800432 qdisc_tree_decrease_qlen(*old, (*old)->q.qlen);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700433 qdisc_reset(*old);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700434 sch_tree_unlock(sch);
435
436 return 0;
437}
438
439static struct Qdisc *tbf_leaf(struct Qdisc *sch, unsigned long arg)
440{
441 struct tbf_sched_data *q = qdisc_priv(sch);
442 return q->qdisc;
443}
444
445static unsigned long tbf_get(struct Qdisc *sch, u32 classid)
446{
447 return 1;
448}
449
450static void tbf_put(struct Qdisc *sch, unsigned long arg)
451{
452}
453
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900454static int tbf_change_class(struct Qdisc *sch, u32 classid, u32 parentid,
Patrick McHardy1e904742008-01-22 22:11:17 -0800455 struct nlattr **tca, unsigned long *arg)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700456{
457 return -ENOSYS;
458}
459
460static int tbf_delete(struct Qdisc *sch, unsigned long arg)
461{
462 return -ENOSYS;
463}
464
465static void tbf_walk(struct Qdisc *sch, struct qdisc_walker *walker)
466{
467 if (!walker->stop) {
468 if (walker->count >= walker->skip)
469 if (walker->fn(sch, 1, walker) < 0) {
470 walker->stop = 1;
471 return;
472 }
473 walker->count++;
474 }
475}
476
477static struct tcf_proto **tbf_find_tcf(struct Qdisc *sch, unsigned long cl)
478{
479 return NULL;
480}
481
Eric Dumazet20fea082007-11-14 01:44:41 -0800482static const struct Qdisc_class_ops tbf_class_ops =
Linus Torvalds1da177e2005-04-16 15:20:36 -0700483{
484 .graft = tbf_graft,
485 .leaf = tbf_leaf,
486 .get = tbf_get,
487 .put = tbf_put,
488 .change = tbf_change_class,
489 .delete = tbf_delete,
490 .walk = tbf_walk,
491 .tcf_chain = tbf_find_tcf,
492 .dump = tbf_dump_class,
493};
494
Eric Dumazet20fea082007-11-14 01:44:41 -0800495static struct Qdisc_ops tbf_qdisc_ops __read_mostly = {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700496 .next = NULL,
497 .cl_ops = &tbf_class_ops,
498 .id = "tbf",
499 .priv_size = sizeof(struct tbf_sched_data),
500 .enqueue = tbf_enqueue,
501 .dequeue = tbf_dequeue,
502 .requeue = tbf_requeue,
503 .drop = tbf_drop,
504 .init = tbf_init,
505 .reset = tbf_reset,
506 .destroy = tbf_destroy,
507 .change = tbf_change,
508 .dump = tbf_dump,
509 .owner = THIS_MODULE,
510};
511
512static int __init tbf_module_init(void)
513{
514 return register_qdisc(&tbf_qdisc_ops);
515}
516
517static void __exit tbf_module_exit(void)
518{
519 unregister_qdisc(&tbf_qdisc_ops);
520}
521module_init(tbf_module_init)
522module_exit(tbf_module_exit)
523MODULE_LICENSE("GPL");