blob: 7130a2441b0ddd6c8c820d29a48975fa411c2a95 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
2 * Copyright (c) 2003 Patrick McHardy, <kaber@trash.net>
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 2
7 * of the License, or (at your option) any later version.
8 *
9 * 2003-10-17 - Ported from altq
10 */
11/*
12 * Copyright (c) 1997-1999 Carnegie Mellon University. All Rights Reserved.
13 *
14 * Permission to use, copy, modify, and distribute this software and
15 * its documentation is hereby granted (including for commercial or
16 * for-profit use), provided that both the copyright notice and this
17 * permission notice appear in all copies of the software, derivative
18 * works, or modified versions, and any portions thereof.
19 *
20 * THIS SOFTWARE IS EXPERIMENTAL AND IS KNOWN TO HAVE BUGS, SOME OF
21 * WHICH MAY HAVE SERIOUS CONSEQUENCES. CARNEGIE MELLON PROVIDES THIS
22 * SOFTWARE IN ITS ``AS IS'' CONDITION, AND ANY EXPRESS OR IMPLIED
23 * WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
24 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
25 * DISCLAIMED. IN NO EVENT SHALL CARNEGIE MELLON UNIVERSITY BE LIABLE
26 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
27 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT
28 * OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
29 * BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
30 * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
31 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE
32 * USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH
33 * DAMAGE.
34 *
35 * Carnegie Mellon encourages (but does not require) users of this
36 * software to return any improvements or extensions that they make,
37 * and to grant Carnegie Mellon the rights to redistribute these
38 * changes without encumbrance.
39 */
40/*
41 * H-FSC is described in Proceedings of SIGCOMM'97,
42 * "A Hierarchical Fair Service Curve Algorithm for Link-Sharing,
43 * Real-Time and Priority Service"
44 * by Ion Stoica, Hui Zhang, and T. S. Eugene Ng.
45 *
46 * Oleg Cherevko <olwi@aq.ml.com.ua> added the upperlimit for link-sharing.
47 * when a class has an upperlimit, the fit-time is computed from the
48 * upperlimit service curve. the link-sharing scheduler does not schedule
49 * a class whose fit-time exceeds the current time.
50 */
51
52#include <linux/kernel.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070053#include <linux/module.h>
54#include <linux/types.h>
55#include <linux/errno.h>
56#include <linux/jiffies.h>
57#include <linux/compiler.h>
58#include <linux/spinlock.h>
59#include <linux/skbuff.h>
60#include <linux/string.h>
61#include <linux/slab.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070062#include <linux/list.h>
63#include <linux/rbtree.h>
64#include <linux/init.h>
65#include <linux/netdevice.h>
66#include <linux/rtnetlink.h>
67#include <linux/pkt_sched.h>
Arnaldo Carvalho de Melodc5fc572007-03-25 23:06:12 -070068#include <net/netlink.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070069#include <net/pkt_sched.h>
70#include <net/pkt_cls.h>
71#include <asm/system.h>
72#include <asm/div64.h>
73
Linus Torvalds1da177e2005-04-16 15:20:36 -070074/*
75 * kernel internal service curve representation:
76 * coordinates are given by 64 bit unsigned integers.
77 * x-axis: unit is clock count.
78 * y-axis: unit is byte.
79 *
80 * The service curve parameters are converted to the internal
81 * representation. The slope values are scaled to avoid overflow.
82 * the inverse slope values as well as the y-projection of the 1st
83 * segment are kept in order to to avoid 64-bit divide operations
84 * that are expensive on 32-bit architectures.
85 */
86
87struct internal_sc
88{
89 u64 sm1; /* scaled slope of the 1st segment */
90 u64 ism1; /* scaled inverse-slope of the 1st segment */
91 u64 dx; /* the x-projection of the 1st segment */
92 u64 dy; /* the y-projection of the 1st segment */
93 u64 sm2; /* scaled slope of the 2nd segment */
94 u64 ism2; /* scaled inverse-slope of the 2nd segment */
95};
96
97/* runtime service curve */
98struct runtime_sc
99{
100 u64 x; /* current starting position on x-axis */
101 u64 y; /* current starting position on y-axis */
102 u64 sm1; /* scaled slope of the 1st segment */
103 u64 ism1; /* scaled inverse-slope of the 1st segment */
104 u64 dx; /* the x-projection of the 1st segment */
105 u64 dy; /* the y-projection of the 1st segment */
106 u64 sm2; /* scaled slope of the 2nd segment */
107 u64 ism2; /* scaled inverse-slope of the 2nd segment */
108};
109
110enum hfsc_class_flags
111{
112 HFSC_RSC = 0x1,
113 HFSC_FSC = 0x2,
114 HFSC_USC = 0x4
115};
116
117struct hfsc_class
118{
119 u32 classid; /* class id */
120 unsigned int refcnt; /* usage count */
121
122 struct gnet_stats_basic bstats;
123 struct gnet_stats_queue qstats;
124 struct gnet_stats_rate_est rate_est;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700125 unsigned int level; /* class level in hierarchy */
126 struct tcf_proto *filter_list; /* filter list */
127 unsigned int filter_cnt; /* filter count */
128
129 struct hfsc_sched *sched; /* scheduler data */
130 struct hfsc_class *cl_parent; /* parent class */
131 struct list_head siblings; /* sibling classes */
132 struct list_head children; /* child classes */
133 struct Qdisc *qdisc; /* leaf qdisc */
134
135 struct rb_node el_node; /* qdisc's eligible tree member */
136 struct rb_root vt_tree; /* active children sorted by cl_vt */
137 struct rb_node vt_node; /* parent's vt_tree member */
138 struct rb_root cf_tree; /* active children sorted by cl_f */
139 struct rb_node cf_node; /* parent's cf_heap member */
140 struct list_head hlist; /* hash list member */
141 struct list_head dlist; /* drop list member */
142
143 u64 cl_total; /* total work in bytes */
144 u64 cl_cumul; /* cumulative work in bytes done by
145 real-time criteria */
146
147 u64 cl_d; /* deadline*/
148 u64 cl_e; /* eligible time */
149 u64 cl_vt; /* virtual time */
150 u64 cl_f; /* time when this class will fit for
151 link-sharing, max(myf, cfmin) */
152 u64 cl_myf; /* my fit-time (calculated from this
153 class's own upperlimit curve) */
154 u64 cl_myfadj; /* my fit-time adjustment (to cancel
155 history dependence) */
156 u64 cl_cfmin; /* earliest children's fit-time (used
157 with cl_myf to obtain cl_f) */
158 u64 cl_cvtmin; /* minimal virtual time among the
159 children fit for link-sharing
160 (monotonic within a period) */
161 u64 cl_vtadj; /* intra-period cumulative vt
162 adjustment */
163 u64 cl_vtoff; /* inter-period cumulative vt offset */
164 u64 cl_cvtmax; /* max child's vt in the last period */
165 u64 cl_cvtoff; /* cumulative cvtmax of all periods */
166 u64 cl_pcvtoff; /* parent's cvtoff at initalization
167 time */
168
169 struct internal_sc cl_rsc; /* internal real-time service curve */
170 struct internal_sc cl_fsc; /* internal fair service curve */
171 struct internal_sc cl_usc; /* internal upperlimit service curve */
172 struct runtime_sc cl_deadline; /* deadline curve */
173 struct runtime_sc cl_eligible; /* eligible curve */
174 struct runtime_sc cl_virtual; /* virtual curve */
175 struct runtime_sc cl_ulimit; /* upperlimit curve */
176
177 unsigned long cl_flags; /* which curves are valid */
178 unsigned long cl_vtperiod; /* vt period sequence number */
179 unsigned long cl_parentperiod;/* parent's vt period sequence number*/
180 unsigned long cl_nactive; /* number of active children */
181};
182
183#define HFSC_HSIZE 16
184
185struct hfsc_sched
186{
187 u16 defcls; /* default class id */
188 struct hfsc_class root; /* root class */
189 struct list_head clhash[HFSC_HSIZE]; /* class hash */
190 struct rb_root eligible; /* eligible tree */
191 struct list_head droplist; /* active leaf class list (for
192 dropping) */
193 struct sk_buff_head requeue; /* requeued packet */
Patrick McHardyed2b2292007-03-16 01:19:33 -0700194 struct qdisc_watchdog watchdog; /* watchdog timer */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700195};
196
Linus Torvalds1da177e2005-04-16 15:20:36 -0700197#define HT_INFINITY 0xffffffffffffffffULL /* infinite time value */
198
199
200/*
201 * eligible tree holds backlogged classes being sorted by their eligible times.
202 * there is one eligible tree per hfsc instance.
203 */
204
205static void
206eltree_insert(struct hfsc_class *cl)
207{
208 struct rb_node **p = &cl->sched->eligible.rb_node;
209 struct rb_node *parent = NULL;
210 struct hfsc_class *cl1;
211
212 while (*p != NULL) {
213 parent = *p;
214 cl1 = rb_entry(parent, struct hfsc_class, el_node);
215 if (cl->cl_e >= cl1->cl_e)
216 p = &parent->rb_right;
217 else
218 p = &parent->rb_left;
219 }
220 rb_link_node(&cl->el_node, parent, p);
221 rb_insert_color(&cl->el_node, &cl->sched->eligible);
222}
223
224static inline void
225eltree_remove(struct hfsc_class *cl)
226{
227 rb_erase(&cl->el_node, &cl->sched->eligible);
228}
229
230static inline void
231eltree_update(struct hfsc_class *cl)
232{
233 eltree_remove(cl);
234 eltree_insert(cl);
235}
236
237/* find the class with the minimum deadline among the eligible classes */
238static inline struct hfsc_class *
239eltree_get_mindl(struct hfsc_sched *q, u64 cur_time)
240{
241 struct hfsc_class *p, *cl = NULL;
242 struct rb_node *n;
243
244 for (n = rb_first(&q->eligible); n != NULL; n = rb_next(n)) {
245 p = rb_entry(n, struct hfsc_class, el_node);
246 if (p->cl_e > cur_time)
247 break;
248 if (cl == NULL || p->cl_d < cl->cl_d)
249 cl = p;
250 }
251 return cl;
252}
253
254/* find the class with minimum eligible time among the eligible classes */
255static inline struct hfsc_class *
256eltree_get_minel(struct hfsc_sched *q)
257{
258 struct rb_node *n;
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900259
Linus Torvalds1da177e2005-04-16 15:20:36 -0700260 n = rb_first(&q->eligible);
261 if (n == NULL)
262 return NULL;
263 return rb_entry(n, struct hfsc_class, el_node);
264}
265
266/*
267 * vttree holds holds backlogged child classes being sorted by their virtual
268 * time. each intermediate class has one vttree.
269 */
270static void
271vttree_insert(struct hfsc_class *cl)
272{
273 struct rb_node **p = &cl->cl_parent->vt_tree.rb_node;
274 struct rb_node *parent = NULL;
275 struct hfsc_class *cl1;
276
277 while (*p != NULL) {
278 parent = *p;
279 cl1 = rb_entry(parent, struct hfsc_class, vt_node);
280 if (cl->cl_vt >= cl1->cl_vt)
281 p = &parent->rb_right;
282 else
283 p = &parent->rb_left;
284 }
285 rb_link_node(&cl->vt_node, parent, p);
286 rb_insert_color(&cl->vt_node, &cl->cl_parent->vt_tree);
287}
288
289static inline void
290vttree_remove(struct hfsc_class *cl)
291{
292 rb_erase(&cl->vt_node, &cl->cl_parent->vt_tree);
293}
294
295static inline void
296vttree_update(struct hfsc_class *cl)
297{
298 vttree_remove(cl);
299 vttree_insert(cl);
300}
301
302static inline struct hfsc_class *
303vttree_firstfit(struct hfsc_class *cl, u64 cur_time)
304{
305 struct hfsc_class *p;
306 struct rb_node *n;
307
308 for (n = rb_first(&cl->vt_tree); n != NULL; n = rb_next(n)) {
309 p = rb_entry(n, struct hfsc_class, vt_node);
310 if (p->cl_f <= cur_time)
311 return p;
312 }
313 return NULL;
314}
315
316/*
317 * get the leaf class with the minimum vt in the hierarchy
318 */
319static struct hfsc_class *
320vttree_get_minvt(struct hfsc_class *cl, u64 cur_time)
321{
322 /* if root-class's cfmin is bigger than cur_time nothing to do */
323 if (cl->cl_cfmin > cur_time)
324 return NULL;
325
326 while (cl->level > 0) {
327 cl = vttree_firstfit(cl, cur_time);
328 if (cl == NULL)
329 return NULL;
330 /*
331 * update parent's cl_cvtmin.
332 */
333 if (cl->cl_parent->cl_cvtmin < cl->cl_vt)
334 cl->cl_parent->cl_cvtmin = cl->cl_vt;
335 }
336 return cl;
337}
338
339static void
340cftree_insert(struct hfsc_class *cl)
341{
342 struct rb_node **p = &cl->cl_parent->cf_tree.rb_node;
343 struct rb_node *parent = NULL;
344 struct hfsc_class *cl1;
345
346 while (*p != NULL) {
347 parent = *p;
348 cl1 = rb_entry(parent, struct hfsc_class, cf_node);
349 if (cl->cl_f >= cl1->cl_f)
350 p = &parent->rb_right;
351 else
352 p = &parent->rb_left;
353 }
354 rb_link_node(&cl->cf_node, parent, p);
355 rb_insert_color(&cl->cf_node, &cl->cl_parent->cf_tree);
356}
357
358static inline void
359cftree_remove(struct hfsc_class *cl)
360{
361 rb_erase(&cl->cf_node, &cl->cl_parent->cf_tree);
362}
363
364static inline void
365cftree_update(struct hfsc_class *cl)
366{
367 cftree_remove(cl);
368 cftree_insert(cl);
369}
370
371/*
372 * service curve support functions
373 *
374 * external service curve parameters
375 * m: bps
376 * d: us
377 * internal service curve parameters
378 * sm: (bytes/psched_us) << SM_SHIFT
379 * ism: (psched_us/byte) << ISM_SHIFT
380 * dx: psched_us
381 *
Patrick McHardy641b9e02007-03-16 01:18:42 -0700382 * The clock source resolution with ktime is 1.024us.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700383 *
384 * sm and ism are scaled in order to keep effective digits.
385 * SM_SHIFT and ISM_SHIFT are selected to keep at least 4 effective
386 * digits in decimal using the following table.
387 *
Linus Torvalds1da177e2005-04-16 15:20:36 -0700388 * bits/sec 100Kbps 1Mbps 10Mbps 100Mbps 1Gbps
389 * ------------+-------------------------------------------------------
Patrick McHardy641b9e02007-03-16 01:18:42 -0700390 * bytes/1.024us 12.8e-3 128e-3 1280e-3 12800e-3 128000e-3
Linus Torvalds1da177e2005-04-16 15:20:36 -0700391 *
Patrick McHardy641b9e02007-03-16 01:18:42 -0700392 * 1.024us/byte 78.125 7.8125 0.78125 0.078125 0.0078125
Linus Torvalds1da177e2005-04-16 15:20:36 -0700393 */
394#define SM_SHIFT 20
395#define ISM_SHIFT 18
396
397#define SM_MASK ((1ULL << SM_SHIFT) - 1)
398#define ISM_MASK ((1ULL << ISM_SHIFT) - 1)
399
400static inline u64
401seg_x2y(u64 x, u64 sm)
402{
403 u64 y;
404
405 /*
406 * compute
407 * y = x * sm >> SM_SHIFT
408 * but divide it for the upper and lower bits to avoid overflow
409 */
410 y = (x >> SM_SHIFT) * sm + (((x & SM_MASK) * sm) >> SM_SHIFT);
411 return y;
412}
413
414static inline u64
415seg_y2x(u64 y, u64 ism)
416{
417 u64 x;
418
419 if (y == 0)
420 x = 0;
421 else if (ism == HT_INFINITY)
422 x = HT_INFINITY;
423 else {
424 x = (y >> ISM_SHIFT) * ism
425 + (((y & ISM_MASK) * ism) >> ISM_SHIFT);
426 }
427 return x;
428}
429
430/* Convert m (bps) into sm (bytes/psched us) */
431static u64
432m2sm(u32 m)
433{
434 u64 sm;
435
436 sm = ((u64)m << SM_SHIFT);
Patrick McHardy00c04af2007-03-16 01:23:02 -0700437 sm += PSCHED_TICKS_PER_SEC - 1;
438 do_div(sm, PSCHED_TICKS_PER_SEC);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700439 return sm;
440}
441
442/* convert m (bps) into ism (psched us/byte) */
443static u64
444m2ism(u32 m)
445{
446 u64 ism;
447
448 if (m == 0)
449 ism = HT_INFINITY;
450 else {
Patrick McHardy00c04af2007-03-16 01:23:02 -0700451 ism = ((u64)PSCHED_TICKS_PER_SEC << ISM_SHIFT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700452 ism += m - 1;
453 do_div(ism, m);
454 }
455 return ism;
456}
457
458/* convert d (us) into dx (psched us) */
459static u64
460d2dx(u32 d)
461{
462 u64 dx;
463
Patrick McHardy00c04af2007-03-16 01:23:02 -0700464 dx = ((u64)d * PSCHED_TICKS_PER_SEC);
Patrick McHardy538e43a2006-01-08 22:12:03 -0800465 dx += USEC_PER_SEC - 1;
466 do_div(dx, USEC_PER_SEC);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700467 return dx;
468}
469
470/* convert sm (bytes/psched us) into m (bps) */
471static u32
472sm2m(u64 sm)
473{
474 u64 m;
475
Patrick McHardy00c04af2007-03-16 01:23:02 -0700476 m = (sm * PSCHED_TICKS_PER_SEC) >> SM_SHIFT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700477 return (u32)m;
478}
479
480/* convert dx (psched us) into d (us) */
481static u32
482dx2d(u64 dx)
483{
484 u64 d;
485
Patrick McHardy538e43a2006-01-08 22:12:03 -0800486 d = dx * USEC_PER_SEC;
Patrick McHardy00c04af2007-03-16 01:23:02 -0700487 do_div(d, PSCHED_TICKS_PER_SEC);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700488 return (u32)d;
489}
490
491static void
492sc2isc(struct tc_service_curve *sc, struct internal_sc *isc)
493{
494 isc->sm1 = m2sm(sc->m1);
495 isc->ism1 = m2ism(sc->m1);
496 isc->dx = d2dx(sc->d);
497 isc->dy = seg_x2y(isc->dx, isc->sm1);
498 isc->sm2 = m2sm(sc->m2);
499 isc->ism2 = m2ism(sc->m2);
500}
501
502/*
503 * initialize the runtime service curve with the given internal
504 * service curve starting at (x, y).
505 */
506static void
507rtsc_init(struct runtime_sc *rtsc, struct internal_sc *isc, u64 x, u64 y)
508{
509 rtsc->x = x;
510 rtsc->y = y;
511 rtsc->sm1 = isc->sm1;
512 rtsc->ism1 = isc->ism1;
513 rtsc->dx = isc->dx;
514 rtsc->dy = isc->dy;
515 rtsc->sm2 = isc->sm2;
516 rtsc->ism2 = isc->ism2;
517}
518
519/*
520 * calculate the y-projection of the runtime service curve by the
521 * given x-projection value
522 */
523static u64
524rtsc_y2x(struct runtime_sc *rtsc, u64 y)
525{
526 u64 x;
527
528 if (y < rtsc->y)
529 x = rtsc->x;
530 else if (y <= rtsc->y + rtsc->dy) {
531 /* x belongs to the 1st segment */
532 if (rtsc->dy == 0)
533 x = rtsc->x + rtsc->dx;
534 else
535 x = rtsc->x + seg_y2x(y - rtsc->y, rtsc->ism1);
536 } else {
537 /* x belongs to the 2nd segment */
538 x = rtsc->x + rtsc->dx
539 + seg_y2x(y - rtsc->y - rtsc->dy, rtsc->ism2);
540 }
541 return x;
542}
543
544static u64
545rtsc_x2y(struct runtime_sc *rtsc, u64 x)
546{
547 u64 y;
548
549 if (x <= rtsc->x)
550 y = rtsc->y;
551 else if (x <= rtsc->x + rtsc->dx)
552 /* y belongs to the 1st segment */
553 y = rtsc->y + seg_x2y(x - rtsc->x, rtsc->sm1);
554 else
555 /* y belongs to the 2nd segment */
556 y = rtsc->y + rtsc->dy
557 + seg_x2y(x - rtsc->x - rtsc->dx, rtsc->sm2);
558 return y;
559}
560
561/*
562 * update the runtime service curve by taking the minimum of the current
563 * runtime service curve and the service curve starting at (x, y).
564 */
565static void
566rtsc_min(struct runtime_sc *rtsc, struct internal_sc *isc, u64 x, u64 y)
567{
568 u64 y1, y2, dx, dy;
569 u32 dsm;
570
571 if (isc->sm1 <= isc->sm2) {
572 /* service curve is convex */
573 y1 = rtsc_x2y(rtsc, x);
574 if (y1 < y)
575 /* the current rtsc is smaller */
576 return;
577 rtsc->x = x;
578 rtsc->y = y;
579 return;
580 }
581
582 /*
583 * service curve is concave
584 * compute the two y values of the current rtsc
585 * y1: at x
586 * y2: at (x + dx)
587 */
588 y1 = rtsc_x2y(rtsc, x);
589 if (y1 <= y) {
590 /* rtsc is below isc, no change to rtsc */
591 return;
592 }
593
594 y2 = rtsc_x2y(rtsc, x + isc->dx);
595 if (y2 >= y + isc->dy) {
596 /* rtsc is above isc, replace rtsc by isc */
597 rtsc->x = x;
598 rtsc->y = y;
599 rtsc->dx = isc->dx;
600 rtsc->dy = isc->dy;
601 return;
602 }
603
604 /*
605 * the two curves intersect
606 * compute the offsets (dx, dy) using the reverse
607 * function of seg_x2y()
608 * seg_x2y(dx, sm1) == seg_x2y(dx, sm2) + (y1 - y)
609 */
610 dx = (y1 - y) << SM_SHIFT;
611 dsm = isc->sm1 - isc->sm2;
612 do_div(dx, dsm);
613 /*
614 * check if (x, y1) belongs to the 1st segment of rtsc.
615 * if so, add the offset.
616 */
617 if (rtsc->x + rtsc->dx > x)
618 dx += rtsc->x + rtsc->dx - x;
619 dy = seg_x2y(dx, isc->sm1);
620
621 rtsc->x = x;
622 rtsc->y = y;
623 rtsc->dx = dx;
624 rtsc->dy = dy;
625 return;
626}
627
628static void
629init_ed(struct hfsc_class *cl, unsigned int next_len)
630{
Patrick McHardy3bebcda2007-03-23 11:29:25 -0700631 u64 cur_time = psched_get_time();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700632
633 /* update the deadline curve */
634 rtsc_min(&cl->cl_deadline, &cl->cl_rsc, cur_time, cl->cl_cumul);
635
636 /*
637 * update the eligible curve.
638 * for concave, it is equal to the deadline curve.
639 * for convex, it is a linear curve with slope m2.
640 */
641 cl->cl_eligible = cl->cl_deadline;
642 if (cl->cl_rsc.sm1 <= cl->cl_rsc.sm2) {
643 cl->cl_eligible.dx = 0;
644 cl->cl_eligible.dy = 0;
645 }
646
647 /* compute e and d */
648 cl->cl_e = rtsc_y2x(&cl->cl_eligible, cl->cl_cumul);
649 cl->cl_d = rtsc_y2x(&cl->cl_deadline, cl->cl_cumul + next_len);
650
651 eltree_insert(cl);
652}
653
654static void
655update_ed(struct hfsc_class *cl, unsigned int next_len)
656{
657 cl->cl_e = rtsc_y2x(&cl->cl_eligible, cl->cl_cumul);
658 cl->cl_d = rtsc_y2x(&cl->cl_deadline, cl->cl_cumul + next_len);
659
660 eltree_update(cl);
661}
662
663static inline void
664update_d(struct hfsc_class *cl, unsigned int next_len)
665{
666 cl->cl_d = rtsc_y2x(&cl->cl_deadline, cl->cl_cumul + next_len);
667}
668
669static inline void
670update_cfmin(struct hfsc_class *cl)
671{
672 struct rb_node *n = rb_first(&cl->cf_tree);
673 struct hfsc_class *p;
674
675 if (n == NULL) {
676 cl->cl_cfmin = 0;
677 return;
678 }
679 p = rb_entry(n, struct hfsc_class, cf_node);
680 cl->cl_cfmin = p->cl_f;
681}
682
683static void
684init_vf(struct hfsc_class *cl, unsigned int len)
685{
686 struct hfsc_class *max_cl;
687 struct rb_node *n;
688 u64 vt, f, cur_time;
689 int go_active;
690
691 cur_time = 0;
692 go_active = 1;
693 for (; cl->cl_parent != NULL; cl = cl->cl_parent) {
694 if (go_active && cl->cl_nactive++ == 0)
695 go_active = 1;
696 else
697 go_active = 0;
698
699 if (go_active) {
700 n = rb_last(&cl->cl_parent->vt_tree);
701 if (n != NULL) {
702 max_cl = rb_entry(n, struct hfsc_class,vt_node);
703 /*
704 * set vt to the average of the min and max
705 * classes. if the parent's period didn't
706 * change, don't decrease vt of the class.
707 */
708 vt = max_cl->cl_vt;
709 if (cl->cl_parent->cl_cvtmin != 0)
710 vt = (cl->cl_parent->cl_cvtmin + vt)/2;
711
712 if (cl->cl_parent->cl_vtperiod !=
713 cl->cl_parentperiod || vt > cl->cl_vt)
714 cl->cl_vt = vt;
715 } else {
716 /*
717 * first child for a new parent backlog period.
718 * add parent's cvtmax to cvtoff to make a new
719 * vt (vtoff + vt) larger than the vt in the
720 * last period for all children.
721 */
722 vt = cl->cl_parent->cl_cvtmax;
723 cl->cl_parent->cl_cvtoff += vt;
724 cl->cl_parent->cl_cvtmax = 0;
725 cl->cl_parent->cl_cvtmin = 0;
726 cl->cl_vt = 0;
727 }
728
729 cl->cl_vtoff = cl->cl_parent->cl_cvtoff -
730 cl->cl_pcvtoff;
731
732 /* update the virtual curve */
733 vt = cl->cl_vt + cl->cl_vtoff;
734 rtsc_min(&cl->cl_virtual, &cl->cl_fsc, vt,
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900735 cl->cl_total);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700736 if (cl->cl_virtual.x == vt) {
737 cl->cl_virtual.x -= cl->cl_vtoff;
738 cl->cl_vtoff = 0;
739 }
740 cl->cl_vtadj = 0;
741
742 cl->cl_vtperiod++; /* increment vt period */
743 cl->cl_parentperiod = cl->cl_parent->cl_vtperiod;
744 if (cl->cl_parent->cl_nactive == 0)
745 cl->cl_parentperiod++;
746 cl->cl_f = 0;
747
748 vttree_insert(cl);
749 cftree_insert(cl);
750
751 if (cl->cl_flags & HFSC_USC) {
752 /* class has upper limit curve */
753 if (cur_time == 0)
Patrick McHardy3bebcda2007-03-23 11:29:25 -0700754 cur_time = psched_get_time();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700755
756 /* update the ulimit curve */
757 rtsc_min(&cl->cl_ulimit, &cl->cl_usc, cur_time,
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900758 cl->cl_total);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700759 /* compute myf */
760 cl->cl_myf = rtsc_y2x(&cl->cl_ulimit,
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900761 cl->cl_total);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700762 cl->cl_myfadj = 0;
763 }
764 }
765
766 f = max(cl->cl_myf, cl->cl_cfmin);
767 if (f != cl->cl_f) {
768 cl->cl_f = f;
769 cftree_update(cl);
770 update_cfmin(cl->cl_parent);
771 }
772 }
773}
774
775static void
776update_vf(struct hfsc_class *cl, unsigned int len, u64 cur_time)
777{
778 u64 f; /* , myf_bound, delta; */
779 int go_passive = 0;
780
781 if (cl->qdisc->q.qlen == 0 && cl->cl_flags & HFSC_FSC)
782 go_passive = 1;
783
784 for (; cl->cl_parent != NULL; cl = cl->cl_parent) {
785 cl->cl_total += len;
786
787 if (!(cl->cl_flags & HFSC_FSC) || cl->cl_nactive == 0)
788 continue;
789
790 if (go_passive && --cl->cl_nactive == 0)
791 go_passive = 1;
792 else
793 go_passive = 0;
794
795 if (go_passive) {
796 /* no more active child, going passive */
797
798 /* update cvtmax of the parent class */
799 if (cl->cl_vt > cl->cl_parent->cl_cvtmax)
800 cl->cl_parent->cl_cvtmax = cl->cl_vt;
801
802 /* remove this class from the vt tree */
803 vttree_remove(cl);
804
805 cftree_remove(cl);
806 update_cfmin(cl->cl_parent);
807
808 continue;
809 }
810
811 /*
812 * update vt and f
813 */
814 cl->cl_vt = rtsc_y2x(&cl->cl_virtual, cl->cl_total)
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900815 - cl->cl_vtoff + cl->cl_vtadj;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700816
817 /*
818 * if vt of the class is smaller than cvtmin,
819 * the class was skipped in the past due to non-fit.
820 * if so, we need to adjust vtadj.
821 */
822 if (cl->cl_vt < cl->cl_parent->cl_cvtmin) {
823 cl->cl_vtadj += cl->cl_parent->cl_cvtmin - cl->cl_vt;
824 cl->cl_vt = cl->cl_parent->cl_cvtmin;
825 }
826
827 /* update the vt tree */
828 vttree_update(cl);
829
830 if (cl->cl_flags & HFSC_USC) {
831 cl->cl_myf = cl->cl_myfadj + rtsc_y2x(&cl->cl_ulimit,
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900832 cl->cl_total);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700833#if 0
834 /*
835 * This code causes classes to stay way under their
836 * limit when multiple classes are used at gigabit
837 * speed. needs investigation. -kaber
838 */
839 /*
840 * if myf lags behind by more than one clock tick
841 * from the current time, adjust myfadj to prevent
842 * a rate-limited class from going greedy.
843 * in a steady state under rate-limiting, myf
844 * fluctuates within one clock tick.
845 */
846 myf_bound = cur_time - PSCHED_JIFFIE2US(1);
847 if (cl->cl_myf < myf_bound) {
848 delta = cur_time - cl->cl_myf;
849 cl->cl_myfadj += delta;
850 cl->cl_myf += delta;
851 }
852#endif
853 }
854
855 f = max(cl->cl_myf, cl->cl_cfmin);
856 if (f != cl->cl_f) {
857 cl->cl_f = f;
858 cftree_update(cl);
859 update_cfmin(cl->cl_parent);
860 }
861 }
862}
863
864static void
865set_active(struct hfsc_class *cl, unsigned int len)
866{
867 if (cl->cl_flags & HFSC_RSC)
868 init_ed(cl, len);
869 if (cl->cl_flags & HFSC_FSC)
870 init_vf(cl, len);
871
872 list_add_tail(&cl->dlist, &cl->sched->droplist);
873}
874
875static void
876set_passive(struct hfsc_class *cl)
877{
878 if (cl->cl_flags & HFSC_RSC)
879 eltree_remove(cl);
880
881 list_del(&cl->dlist);
882
883 /*
884 * vttree is now handled in update_vf() so that update_vf(cl, 0, 0)
885 * needs to be called explicitly to remove a class from vttree.
886 */
887}
888
889/*
890 * hack to get length of first packet in queue.
891 */
892static unsigned int
893qdisc_peek_len(struct Qdisc *sch)
894{
895 struct sk_buff *skb;
896 unsigned int len;
897
898 skb = sch->dequeue(sch);
899 if (skb == NULL) {
900 if (net_ratelimit())
901 printk("qdisc_peek_len: non work-conserving qdisc ?\n");
902 return 0;
903 }
904 len = skb->len;
905 if (unlikely(sch->ops->requeue(skb, sch) != NET_XMIT_SUCCESS)) {
906 if (net_ratelimit())
907 printk("qdisc_peek_len: failed to requeue\n");
Patrick McHardye488eaf2006-11-29 17:37:42 -0800908 qdisc_tree_decrease_qlen(sch, 1);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700909 return 0;
910 }
911 return len;
912}
913
914static void
915hfsc_purge_queue(struct Qdisc *sch, struct hfsc_class *cl)
916{
917 unsigned int len = cl->qdisc->q.qlen;
918
919 qdisc_reset(cl->qdisc);
Patrick McHardyf973b912006-11-29 17:36:43 -0800920 qdisc_tree_decrease_qlen(cl->qdisc, len);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700921}
922
923static void
924hfsc_adjust_levels(struct hfsc_class *cl)
925{
926 struct hfsc_class *p;
927 unsigned int level;
928
929 do {
930 level = 0;
931 list_for_each_entry(p, &cl->children, siblings) {
Patrick McHardy210525d2006-05-11 12:22:03 -0700932 if (p->level >= level)
933 level = p->level + 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700934 }
Patrick McHardy210525d2006-05-11 12:22:03 -0700935 cl->level = level;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700936 } while ((cl = cl->cl_parent) != NULL);
937}
938
939static inline unsigned int
940hfsc_hash(u32 h)
941{
942 h ^= h >> 8;
943 h ^= h >> 4;
944
945 return h & (HFSC_HSIZE - 1);
946}
947
948static inline struct hfsc_class *
949hfsc_find_class(u32 classid, struct Qdisc *sch)
950{
951 struct hfsc_sched *q = qdisc_priv(sch);
952 struct hfsc_class *cl;
953
954 list_for_each_entry(cl, &q->clhash[hfsc_hash(classid)], hlist) {
955 if (cl->classid == classid)
956 return cl;
957 }
958 return NULL;
959}
960
961static void
962hfsc_change_rsc(struct hfsc_class *cl, struct tc_service_curve *rsc,
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900963 u64 cur_time)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700964{
965 sc2isc(rsc, &cl->cl_rsc);
966 rtsc_init(&cl->cl_deadline, &cl->cl_rsc, cur_time, cl->cl_cumul);
967 cl->cl_eligible = cl->cl_deadline;
968 if (cl->cl_rsc.sm1 <= cl->cl_rsc.sm2) {
969 cl->cl_eligible.dx = 0;
970 cl->cl_eligible.dy = 0;
971 }
972 cl->cl_flags |= HFSC_RSC;
973}
974
975static void
976hfsc_change_fsc(struct hfsc_class *cl, struct tc_service_curve *fsc)
977{
978 sc2isc(fsc, &cl->cl_fsc);
979 rtsc_init(&cl->cl_virtual, &cl->cl_fsc, cl->cl_vt, cl->cl_total);
980 cl->cl_flags |= HFSC_FSC;
981}
982
983static void
984hfsc_change_usc(struct hfsc_class *cl, struct tc_service_curve *usc,
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900985 u64 cur_time)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700986{
987 sc2isc(usc, &cl->cl_usc);
988 rtsc_init(&cl->cl_ulimit, &cl->cl_usc, cur_time, cl->cl_total);
989 cl->cl_flags |= HFSC_USC;
990}
991
992static int
993hfsc_change_class(struct Qdisc *sch, u32 classid, u32 parentid,
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900994 struct rtattr **tca, unsigned long *arg)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700995{
996 struct hfsc_sched *q = qdisc_priv(sch);
997 struct hfsc_class *cl = (struct hfsc_class *)*arg;
998 struct hfsc_class *parent = NULL;
999 struct rtattr *opt = tca[TCA_OPTIONS-1];
1000 struct rtattr *tb[TCA_HFSC_MAX];
1001 struct tc_service_curve *rsc = NULL, *fsc = NULL, *usc = NULL;
1002 u64 cur_time;
1003
1004 if (opt == NULL || rtattr_parse_nested(tb, TCA_HFSC_MAX, opt))
1005 return -EINVAL;
1006
1007 if (tb[TCA_HFSC_RSC-1]) {
1008 if (RTA_PAYLOAD(tb[TCA_HFSC_RSC-1]) < sizeof(*rsc))
1009 return -EINVAL;
1010 rsc = RTA_DATA(tb[TCA_HFSC_RSC-1]);
1011 if (rsc->m1 == 0 && rsc->m2 == 0)
1012 rsc = NULL;
1013 }
1014
1015 if (tb[TCA_HFSC_FSC-1]) {
1016 if (RTA_PAYLOAD(tb[TCA_HFSC_FSC-1]) < sizeof(*fsc))
1017 return -EINVAL;
1018 fsc = RTA_DATA(tb[TCA_HFSC_FSC-1]);
1019 if (fsc->m1 == 0 && fsc->m2 == 0)
1020 fsc = NULL;
1021 }
1022
1023 if (tb[TCA_HFSC_USC-1]) {
1024 if (RTA_PAYLOAD(tb[TCA_HFSC_USC-1]) < sizeof(*usc))
1025 return -EINVAL;
1026 usc = RTA_DATA(tb[TCA_HFSC_USC-1]);
1027 if (usc->m1 == 0 && usc->m2 == 0)
1028 usc = NULL;
1029 }
1030
1031 if (cl != NULL) {
1032 if (parentid) {
1033 if (cl->cl_parent && cl->cl_parent->classid != parentid)
1034 return -EINVAL;
1035 if (cl->cl_parent == NULL && parentid != TC_H_ROOT)
1036 return -EINVAL;
1037 }
Patrick McHardy3bebcda2007-03-23 11:29:25 -07001038 cur_time = psched_get_time();
Linus Torvalds1da177e2005-04-16 15:20:36 -07001039
1040 sch_tree_lock(sch);
1041 if (rsc != NULL)
1042 hfsc_change_rsc(cl, rsc, cur_time);
1043 if (fsc != NULL)
1044 hfsc_change_fsc(cl, fsc);
1045 if (usc != NULL)
1046 hfsc_change_usc(cl, usc, cur_time);
1047
1048 if (cl->qdisc->q.qlen != 0) {
1049 if (cl->cl_flags & HFSC_RSC)
1050 update_ed(cl, qdisc_peek_len(cl->qdisc));
1051 if (cl->cl_flags & HFSC_FSC)
1052 update_vf(cl, 0, cur_time);
1053 }
1054 sch_tree_unlock(sch);
1055
Linus Torvalds1da177e2005-04-16 15:20:36 -07001056 if (tca[TCA_RATE-1])
1057 gen_replace_estimator(&cl->bstats, &cl->rate_est,
Patrick McHardy4bdf3992007-07-02 22:47:37 -07001058 &sch->dev->queue_lock,
1059 tca[TCA_RATE-1]);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001060 return 0;
1061 }
1062
1063 if (parentid == TC_H_ROOT)
1064 return -EEXIST;
1065
1066 parent = &q->root;
1067 if (parentid) {
1068 parent = hfsc_find_class(parentid, sch);
1069 if (parent == NULL)
1070 return -ENOENT;
1071 }
1072
1073 if (classid == 0 || TC_H_MAJ(classid ^ sch->handle) != 0)
1074 return -EINVAL;
1075 if (hfsc_find_class(classid, sch))
1076 return -EEXIST;
1077
1078 if (rsc == NULL && fsc == NULL)
1079 return -EINVAL;
1080
Panagiotis Issaris0da974f2006-07-21 14:51:30 -07001081 cl = kzalloc(sizeof(struct hfsc_class), GFP_KERNEL);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001082 if (cl == NULL)
1083 return -ENOBUFS;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001084
1085 if (rsc != NULL)
1086 hfsc_change_rsc(cl, rsc, 0);
1087 if (fsc != NULL)
1088 hfsc_change_fsc(cl, fsc);
1089 if (usc != NULL)
1090 hfsc_change_usc(cl, usc, 0);
1091
1092 cl->refcnt = 1;
1093 cl->classid = classid;
1094 cl->sched = q;
1095 cl->cl_parent = parent;
Patrick McHardy9f9afec2006-11-29 17:35:18 -08001096 cl->qdisc = qdisc_create_dflt(sch->dev, &pfifo_qdisc_ops, classid);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001097 if (cl->qdisc == NULL)
1098 cl->qdisc = &noop_qdisc;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001099 INIT_LIST_HEAD(&cl->children);
1100 cl->vt_tree = RB_ROOT;
1101 cl->cf_tree = RB_ROOT;
1102
1103 sch_tree_lock(sch);
1104 list_add_tail(&cl->hlist, &q->clhash[hfsc_hash(classid)]);
1105 list_add_tail(&cl->siblings, &parent->children);
1106 if (parent->level == 0)
1107 hfsc_purge_queue(sch, parent);
1108 hfsc_adjust_levels(parent);
1109 cl->cl_pcvtoff = parent->cl_cvtoff;
1110 sch_tree_unlock(sch);
1111
Linus Torvalds1da177e2005-04-16 15:20:36 -07001112 if (tca[TCA_RATE-1])
1113 gen_new_estimator(&cl->bstats, &cl->rate_est,
Patrick McHardy4bdf3992007-07-02 22:47:37 -07001114 &sch->dev->queue_lock, tca[TCA_RATE-1]);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001115 *arg = (unsigned long)cl;
1116 return 0;
1117}
1118
1119static void
Linus Torvalds1da177e2005-04-16 15:20:36 -07001120hfsc_destroy_class(struct Qdisc *sch, struct hfsc_class *cl)
1121{
1122 struct hfsc_sched *q = qdisc_priv(sch);
1123
Patrick McHardya48b5a62007-03-23 11:29:43 -07001124 tcf_destroy_chain(cl->filter_list);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001125 qdisc_destroy(cl->qdisc);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001126 gen_kill_estimator(&cl->bstats, &cl->rate_est);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001127 if (cl != &q->root)
1128 kfree(cl);
1129}
1130
1131static int
1132hfsc_delete_class(struct Qdisc *sch, unsigned long arg)
1133{
1134 struct hfsc_sched *q = qdisc_priv(sch);
1135 struct hfsc_class *cl = (struct hfsc_class *)arg;
1136
1137 if (cl->level > 0 || cl->filter_cnt > 0 || cl == &q->root)
1138 return -EBUSY;
1139
1140 sch_tree_lock(sch);
1141
Linus Torvalds1da177e2005-04-16 15:20:36 -07001142 list_del(&cl->siblings);
1143 hfsc_adjust_levels(cl->cl_parent);
Patrick McHardyc38c83c2007-03-27 14:04:24 -07001144
Linus Torvalds1da177e2005-04-16 15:20:36 -07001145 hfsc_purge_queue(sch, cl);
Patrick McHardyc38c83c2007-03-27 14:04:24 -07001146 list_del(&cl->hlist);
1147
Linus Torvalds1da177e2005-04-16 15:20:36 -07001148 if (--cl->refcnt == 0)
1149 hfsc_destroy_class(sch, cl);
1150
1151 sch_tree_unlock(sch);
1152 return 0;
1153}
1154
1155static struct hfsc_class *
1156hfsc_classify(struct sk_buff *skb, struct Qdisc *sch, int *qerr)
1157{
1158 struct hfsc_sched *q = qdisc_priv(sch);
1159 struct hfsc_class *cl;
1160 struct tcf_result res;
1161 struct tcf_proto *tcf;
1162 int result;
1163
1164 if (TC_H_MAJ(skb->priority ^ sch->handle) == 0 &&
1165 (cl = hfsc_find_class(skb->priority, sch)) != NULL)
1166 if (cl->level == 0)
1167 return cl;
1168
Jamal Hadi Salim29f1df62006-01-08 22:35:55 -08001169 *qerr = NET_XMIT_BYPASS;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001170 tcf = q->root.filter_list;
1171 while (tcf && (result = tc_classify(skb, tcf, &res)) >= 0) {
1172#ifdef CONFIG_NET_CLS_ACT
1173 switch (result) {
1174 case TC_ACT_QUEUED:
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +09001175 case TC_ACT_STOLEN:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001176 *qerr = NET_XMIT_SUCCESS;
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +09001177 case TC_ACT_SHOT:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001178 return NULL;
1179 }
1180#elif defined(CONFIG_NET_CLS_POLICE)
1181 if (result == TC_POLICE_SHOT)
1182 return NULL;
1183#endif
1184 if ((cl = (struct hfsc_class *)res.class) == NULL) {
1185 if ((cl = hfsc_find_class(res.classid, sch)) == NULL)
1186 break; /* filter selected invalid classid */
1187 }
1188
1189 if (cl->level == 0)
1190 return cl; /* hit leaf class */
1191
1192 /* apply inner filter chain */
1193 tcf = cl->filter_list;
1194 }
1195
1196 /* classification failed, try default class */
1197 cl = hfsc_find_class(TC_H_MAKE(TC_H_MAJ(sch->handle), q->defcls), sch);
1198 if (cl == NULL || cl->level > 0)
1199 return NULL;
1200
1201 return cl;
1202}
1203
1204static int
1205hfsc_graft_class(struct Qdisc *sch, unsigned long arg, struct Qdisc *new,
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +09001206 struct Qdisc **old)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001207{
1208 struct hfsc_class *cl = (struct hfsc_class *)arg;
1209
1210 if (cl == NULL)
1211 return -ENOENT;
1212 if (cl->level > 0)
1213 return -EINVAL;
1214 if (new == NULL) {
Patrick McHardy9f9afec2006-11-29 17:35:18 -08001215 new = qdisc_create_dflt(sch->dev, &pfifo_qdisc_ops,
1216 cl->classid);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001217 if (new == NULL)
1218 new = &noop_qdisc;
1219 }
1220
1221 sch_tree_lock(sch);
1222 hfsc_purge_queue(sch, cl);
1223 *old = xchg(&cl->qdisc, new);
1224 sch_tree_unlock(sch);
1225 return 0;
1226}
1227
1228static struct Qdisc *
1229hfsc_class_leaf(struct Qdisc *sch, unsigned long arg)
1230{
1231 struct hfsc_class *cl = (struct hfsc_class *)arg;
1232
1233 if (cl != NULL && cl->level == 0)
1234 return cl->qdisc;
1235
1236 return NULL;
1237}
1238
Patrick McHardyf973b912006-11-29 17:36:43 -08001239static void
1240hfsc_qlen_notify(struct Qdisc *sch, unsigned long arg)
1241{
1242 struct hfsc_class *cl = (struct hfsc_class *)arg;
1243
1244 if (cl->qdisc->q.qlen == 0) {
1245 update_vf(cl, 0, 0);
1246 set_passive(cl);
1247 }
1248}
1249
Linus Torvalds1da177e2005-04-16 15:20:36 -07001250static unsigned long
1251hfsc_get_class(struct Qdisc *sch, u32 classid)
1252{
1253 struct hfsc_class *cl = hfsc_find_class(classid, sch);
1254
1255 if (cl != NULL)
1256 cl->refcnt++;
1257
1258 return (unsigned long)cl;
1259}
1260
1261static void
1262hfsc_put_class(struct Qdisc *sch, unsigned long arg)
1263{
1264 struct hfsc_class *cl = (struct hfsc_class *)arg;
1265
1266 if (--cl->refcnt == 0)
1267 hfsc_destroy_class(sch, cl);
1268}
1269
1270static unsigned long
1271hfsc_bind_tcf(struct Qdisc *sch, unsigned long parent, u32 classid)
1272{
1273 struct hfsc_class *p = (struct hfsc_class *)parent;
1274 struct hfsc_class *cl = hfsc_find_class(classid, sch);
1275
1276 if (cl != NULL) {
1277 if (p != NULL && p->level <= cl->level)
1278 return 0;
1279 cl->filter_cnt++;
1280 }
1281
1282 return (unsigned long)cl;
1283}
1284
1285static void
1286hfsc_unbind_tcf(struct Qdisc *sch, unsigned long arg)
1287{
1288 struct hfsc_class *cl = (struct hfsc_class *)arg;
1289
1290 cl->filter_cnt--;
1291}
1292
1293static struct tcf_proto **
1294hfsc_tcf_chain(struct Qdisc *sch, unsigned long arg)
1295{
1296 struct hfsc_sched *q = qdisc_priv(sch);
1297 struct hfsc_class *cl = (struct hfsc_class *)arg;
1298
1299 if (cl == NULL)
1300 cl = &q->root;
1301
1302 return &cl->filter_list;
1303}
1304
1305static int
1306hfsc_dump_sc(struct sk_buff *skb, int attr, struct internal_sc *sc)
1307{
1308 struct tc_service_curve tsc;
1309
1310 tsc.m1 = sm2m(sc->sm1);
1311 tsc.d = dx2d(sc->dx);
1312 tsc.m2 = sm2m(sc->sm2);
1313 RTA_PUT(skb, attr, sizeof(tsc), &tsc);
1314
1315 return skb->len;
1316
1317 rtattr_failure:
1318 return -1;
1319}
1320
1321static inline int
1322hfsc_dump_curves(struct sk_buff *skb, struct hfsc_class *cl)
1323{
1324 if ((cl->cl_flags & HFSC_RSC) &&
1325 (hfsc_dump_sc(skb, TCA_HFSC_RSC, &cl->cl_rsc) < 0))
1326 goto rtattr_failure;
1327
1328 if ((cl->cl_flags & HFSC_FSC) &&
1329 (hfsc_dump_sc(skb, TCA_HFSC_FSC, &cl->cl_fsc) < 0))
1330 goto rtattr_failure;
1331
1332 if ((cl->cl_flags & HFSC_USC) &&
1333 (hfsc_dump_sc(skb, TCA_HFSC_USC, &cl->cl_usc) < 0))
1334 goto rtattr_failure;
1335
1336 return skb->len;
1337
1338 rtattr_failure:
1339 return -1;
1340}
1341
1342static int
1343hfsc_dump_class(struct Qdisc *sch, unsigned long arg, struct sk_buff *skb,
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +09001344 struct tcmsg *tcm)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001345{
1346 struct hfsc_class *cl = (struct hfsc_class *)arg;
Arnaldo Carvalho de Melo27a884d2007-04-19 20:29:13 -07001347 unsigned char *b = skb_tail_pointer(skb);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001348 struct rtattr *rta = (struct rtattr *)b;
1349
1350 tcm->tcm_parent = cl->cl_parent ? cl->cl_parent->classid : TC_H_ROOT;
1351 tcm->tcm_handle = cl->classid;
1352 if (cl->level == 0)
1353 tcm->tcm_info = cl->qdisc->handle;
1354
1355 RTA_PUT(skb, TCA_OPTIONS, 0, NULL);
1356 if (hfsc_dump_curves(skb, cl) < 0)
1357 goto rtattr_failure;
Arnaldo Carvalho de Melo27a884d2007-04-19 20:29:13 -07001358 rta->rta_len = skb_tail_pointer(skb) - b;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001359 return skb->len;
1360
1361 rtattr_failure:
Arnaldo Carvalho de Melodc5fc572007-03-25 23:06:12 -07001362 nlmsg_trim(skb, b);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001363 return -1;
1364}
1365
1366static int
1367hfsc_dump_class_stats(struct Qdisc *sch, unsigned long arg,
1368 struct gnet_dump *d)
1369{
1370 struct hfsc_class *cl = (struct hfsc_class *)arg;
1371 struct tc_hfsc_stats xstats;
1372
1373 cl->qstats.qlen = cl->qdisc->q.qlen;
1374 xstats.level = cl->level;
1375 xstats.period = cl->cl_vtperiod;
1376 xstats.work = cl->cl_total;
1377 xstats.rtwork = cl->cl_cumul;
1378
1379 if (gnet_stats_copy_basic(d, &cl->bstats) < 0 ||
Linus Torvalds1da177e2005-04-16 15:20:36 -07001380 gnet_stats_copy_rate_est(d, &cl->rate_est) < 0 ||
Linus Torvalds1da177e2005-04-16 15:20:36 -07001381 gnet_stats_copy_queue(d, &cl->qstats) < 0)
1382 return -1;
1383
1384 return gnet_stats_copy_app(d, &xstats, sizeof(xstats));
1385}
1386
1387
1388
1389static void
1390hfsc_walk(struct Qdisc *sch, struct qdisc_walker *arg)
1391{
1392 struct hfsc_sched *q = qdisc_priv(sch);
1393 struct hfsc_class *cl;
1394 unsigned int i;
1395
1396 if (arg->stop)
1397 return;
1398
1399 for (i = 0; i < HFSC_HSIZE; i++) {
1400 list_for_each_entry(cl, &q->clhash[i], hlist) {
1401 if (arg->count < arg->skip) {
1402 arg->count++;
1403 continue;
1404 }
1405 if (arg->fn(sch, (unsigned long)cl, arg) < 0) {
1406 arg->stop = 1;
1407 return;
1408 }
1409 arg->count++;
1410 }
1411 }
1412}
1413
1414static void
Patrick McHardyed2b2292007-03-16 01:19:33 -07001415hfsc_schedule_watchdog(struct Qdisc *sch)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001416{
1417 struct hfsc_sched *q = qdisc_priv(sch);
1418 struct hfsc_class *cl;
1419 u64 next_time = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001420
1421 if ((cl = eltree_get_minel(q)) != NULL)
1422 next_time = cl->cl_e;
1423 if (q->root.cl_cfmin != 0) {
1424 if (next_time == 0 || next_time > q->root.cl_cfmin)
1425 next_time = q->root.cl_cfmin;
1426 }
Patrick McHardy3d50f232007-02-13 12:36:57 -08001427 WARN_ON(next_time == 0);
Patrick McHardyed2b2292007-03-16 01:19:33 -07001428 qdisc_watchdog_schedule(&q->watchdog, next_time);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001429}
1430
1431static int
1432hfsc_init_qdisc(struct Qdisc *sch, struct rtattr *opt)
1433{
1434 struct hfsc_sched *q = qdisc_priv(sch);
1435 struct tc_hfsc_qopt *qopt;
1436 unsigned int i;
1437
1438 if (opt == NULL || RTA_PAYLOAD(opt) < sizeof(*qopt))
1439 return -EINVAL;
1440 qopt = RTA_DATA(opt);
1441
Linus Torvalds1da177e2005-04-16 15:20:36 -07001442 q->defcls = qopt->defcls;
1443 for (i = 0; i < HFSC_HSIZE; i++)
1444 INIT_LIST_HEAD(&q->clhash[i]);
1445 q->eligible = RB_ROOT;
1446 INIT_LIST_HEAD(&q->droplist);
1447 skb_queue_head_init(&q->requeue);
1448
1449 q->root.refcnt = 1;
1450 q->root.classid = sch->handle;
1451 q->root.sched = q;
Patrick McHardy9f9afec2006-11-29 17:35:18 -08001452 q->root.qdisc = qdisc_create_dflt(sch->dev, &pfifo_qdisc_ops,
1453 sch->handle);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001454 if (q->root.qdisc == NULL)
1455 q->root.qdisc = &noop_qdisc;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001456 INIT_LIST_HEAD(&q->root.children);
1457 q->root.vt_tree = RB_ROOT;
1458 q->root.cf_tree = RB_ROOT;
1459
1460 list_add(&q->root.hlist, &q->clhash[hfsc_hash(q->root.classid)]);
1461
Patrick McHardyed2b2292007-03-16 01:19:33 -07001462 qdisc_watchdog_init(&q->watchdog, sch);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001463
1464 return 0;
1465}
1466
1467static int
1468hfsc_change_qdisc(struct Qdisc *sch, struct rtattr *opt)
1469{
1470 struct hfsc_sched *q = qdisc_priv(sch);
1471 struct tc_hfsc_qopt *qopt;
1472
1473 if (opt == NULL || RTA_PAYLOAD(opt) < sizeof(*qopt))
1474 return -EINVAL;
1475 qopt = RTA_DATA(opt);
1476
1477 sch_tree_lock(sch);
1478 q->defcls = qopt->defcls;
1479 sch_tree_unlock(sch);
1480
1481 return 0;
1482}
1483
1484static void
1485hfsc_reset_class(struct hfsc_class *cl)
1486{
1487 cl->cl_total = 0;
1488 cl->cl_cumul = 0;
1489 cl->cl_d = 0;
1490 cl->cl_e = 0;
1491 cl->cl_vt = 0;
1492 cl->cl_vtadj = 0;
1493 cl->cl_vtoff = 0;
1494 cl->cl_cvtmin = 0;
1495 cl->cl_cvtmax = 0;
1496 cl->cl_cvtoff = 0;
1497 cl->cl_pcvtoff = 0;
1498 cl->cl_vtperiod = 0;
1499 cl->cl_parentperiod = 0;
1500 cl->cl_f = 0;
1501 cl->cl_myf = 0;
1502 cl->cl_myfadj = 0;
1503 cl->cl_cfmin = 0;
1504 cl->cl_nactive = 0;
1505
1506 cl->vt_tree = RB_ROOT;
1507 cl->cf_tree = RB_ROOT;
1508 qdisc_reset(cl->qdisc);
1509
1510 if (cl->cl_flags & HFSC_RSC)
1511 rtsc_init(&cl->cl_deadline, &cl->cl_rsc, 0, 0);
1512 if (cl->cl_flags & HFSC_FSC)
1513 rtsc_init(&cl->cl_virtual, &cl->cl_fsc, 0, 0);
1514 if (cl->cl_flags & HFSC_USC)
1515 rtsc_init(&cl->cl_ulimit, &cl->cl_usc, 0, 0);
1516}
1517
1518static void
1519hfsc_reset_qdisc(struct Qdisc *sch)
1520{
1521 struct hfsc_sched *q = qdisc_priv(sch);
1522 struct hfsc_class *cl;
1523 unsigned int i;
1524
1525 for (i = 0; i < HFSC_HSIZE; i++) {
1526 list_for_each_entry(cl, &q->clhash[i], hlist)
1527 hfsc_reset_class(cl);
1528 }
1529 __skb_queue_purge(&q->requeue);
1530 q->eligible = RB_ROOT;
1531 INIT_LIST_HEAD(&q->droplist);
Patrick McHardyed2b2292007-03-16 01:19:33 -07001532 qdisc_watchdog_cancel(&q->watchdog);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001533 sch->q.qlen = 0;
1534}
1535
1536static void
1537hfsc_destroy_qdisc(struct Qdisc *sch)
1538{
1539 struct hfsc_sched *q = qdisc_priv(sch);
1540 struct hfsc_class *cl, *next;
1541 unsigned int i;
1542
1543 for (i = 0; i < HFSC_HSIZE; i++) {
1544 list_for_each_entry_safe(cl, next, &q->clhash[i], hlist)
1545 hfsc_destroy_class(sch, cl);
1546 }
1547 __skb_queue_purge(&q->requeue);
Patrick McHardyed2b2292007-03-16 01:19:33 -07001548 qdisc_watchdog_cancel(&q->watchdog);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001549}
1550
1551static int
1552hfsc_dump_qdisc(struct Qdisc *sch, struct sk_buff *skb)
1553{
1554 struct hfsc_sched *q = qdisc_priv(sch);
Arnaldo Carvalho de Melo27a884d2007-04-19 20:29:13 -07001555 unsigned char *b = skb_tail_pointer(skb);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001556 struct tc_hfsc_qopt qopt;
1557
1558 qopt.defcls = q->defcls;
1559 RTA_PUT(skb, TCA_OPTIONS, sizeof(qopt), &qopt);
1560 return skb->len;
1561
1562 rtattr_failure:
Arnaldo Carvalho de Melodc5fc572007-03-25 23:06:12 -07001563 nlmsg_trim(skb, b);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001564 return -1;
1565}
1566
1567static int
1568hfsc_enqueue(struct sk_buff *skb, struct Qdisc *sch)
1569{
1570 struct hfsc_class *cl;
1571 unsigned int len;
1572 int err;
1573
1574 cl = hfsc_classify(skb, sch, &err);
1575 if (cl == NULL) {
Jamal Hadi Salim29f1df62006-01-08 22:35:55 -08001576 if (err == NET_XMIT_BYPASS)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001577 sch->qstats.drops++;
1578 kfree_skb(skb);
1579 return err;
1580 }
1581
1582 len = skb->len;
1583 err = cl->qdisc->enqueue(skb, cl->qdisc);
1584 if (unlikely(err != NET_XMIT_SUCCESS)) {
1585 cl->qstats.drops++;
1586 sch->qstats.drops++;
1587 return err;
1588 }
1589
1590 if (cl->qdisc->q.qlen == 1)
1591 set_active(cl, len);
1592
1593 cl->bstats.packets++;
1594 cl->bstats.bytes += len;
1595 sch->bstats.packets++;
1596 sch->bstats.bytes += len;
1597 sch->q.qlen++;
1598
1599 return NET_XMIT_SUCCESS;
1600}
1601
1602static struct sk_buff *
1603hfsc_dequeue(struct Qdisc *sch)
1604{
1605 struct hfsc_sched *q = qdisc_priv(sch);
1606 struct hfsc_class *cl;
1607 struct sk_buff *skb;
1608 u64 cur_time;
1609 unsigned int next_len;
1610 int realtime = 0;
1611
1612 if (sch->q.qlen == 0)
1613 return NULL;
1614 if ((skb = __skb_dequeue(&q->requeue)))
1615 goto out;
1616
Patrick McHardy3bebcda2007-03-23 11:29:25 -07001617 cur_time = psched_get_time();
Linus Torvalds1da177e2005-04-16 15:20:36 -07001618
1619 /*
1620 * if there are eligible classes, use real-time criteria.
1621 * find the class with the minimum deadline among
1622 * the eligible classes.
1623 */
1624 if ((cl = eltree_get_mindl(q, cur_time)) != NULL) {
1625 realtime = 1;
1626 } else {
1627 /*
1628 * use link-sharing criteria
1629 * get the class with the minimum vt in the hierarchy
1630 */
1631 cl = vttree_get_minvt(&q->root, cur_time);
1632 if (cl == NULL) {
1633 sch->qstats.overlimits++;
Patrick McHardyed2b2292007-03-16 01:19:33 -07001634 hfsc_schedule_watchdog(sch);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001635 return NULL;
1636 }
1637 }
1638
1639 skb = cl->qdisc->dequeue(cl->qdisc);
1640 if (skb == NULL) {
1641 if (net_ratelimit())
1642 printk("HFSC: Non-work-conserving qdisc ?\n");
1643 return NULL;
1644 }
1645
1646 update_vf(cl, skb->len, cur_time);
1647 if (realtime)
1648 cl->cl_cumul += skb->len;
1649
1650 if (cl->qdisc->q.qlen != 0) {
1651 if (cl->cl_flags & HFSC_RSC) {
1652 /* update ed */
1653 next_len = qdisc_peek_len(cl->qdisc);
1654 if (realtime)
1655 update_ed(cl, next_len);
1656 else
1657 update_d(cl, next_len);
1658 }
1659 } else {
1660 /* the class becomes passive */
1661 set_passive(cl);
1662 }
1663
1664 out:
1665 sch->flags &= ~TCQ_F_THROTTLED;
1666 sch->q.qlen--;
1667
1668 return skb;
1669}
1670
1671static int
1672hfsc_requeue(struct sk_buff *skb, struct Qdisc *sch)
1673{
1674 struct hfsc_sched *q = qdisc_priv(sch);
1675
1676 __skb_queue_head(&q->requeue, skb);
1677 sch->q.qlen++;
1678 sch->qstats.requeues++;
1679 return NET_XMIT_SUCCESS;
1680}
1681
1682static unsigned int
1683hfsc_drop(struct Qdisc *sch)
1684{
1685 struct hfsc_sched *q = qdisc_priv(sch);
1686 struct hfsc_class *cl;
1687 unsigned int len;
1688
1689 list_for_each_entry(cl, &q->droplist, dlist) {
1690 if (cl->qdisc->ops->drop != NULL &&
1691 (len = cl->qdisc->ops->drop(cl->qdisc)) > 0) {
1692 if (cl->qdisc->q.qlen == 0) {
1693 update_vf(cl, 0, 0);
1694 set_passive(cl);
1695 } else {
1696 list_move_tail(&cl->dlist, &q->droplist);
1697 }
1698 cl->qstats.drops++;
1699 sch->qstats.drops++;
1700 sch->q.qlen--;
1701 return len;
1702 }
1703 }
1704 return 0;
1705}
1706
1707static struct Qdisc_class_ops hfsc_class_ops = {
1708 .change = hfsc_change_class,
1709 .delete = hfsc_delete_class,
1710 .graft = hfsc_graft_class,
1711 .leaf = hfsc_class_leaf,
Patrick McHardyf973b912006-11-29 17:36:43 -08001712 .qlen_notify = hfsc_qlen_notify,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001713 .get = hfsc_get_class,
1714 .put = hfsc_put_class,
1715 .bind_tcf = hfsc_bind_tcf,
1716 .unbind_tcf = hfsc_unbind_tcf,
1717 .tcf_chain = hfsc_tcf_chain,
1718 .dump = hfsc_dump_class,
1719 .dump_stats = hfsc_dump_class_stats,
1720 .walk = hfsc_walk
1721};
1722
1723static struct Qdisc_ops hfsc_qdisc_ops = {
1724 .id = "hfsc",
1725 .init = hfsc_init_qdisc,
1726 .change = hfsc_change_qdisc,
1727 .reset = hfsc_reset_qdisc,
1728 .destroy = hfsc_destroy_qdisc,
1729 .dump = hfsc_dump_qdisc,
1730 .enqueue = hfsc_enqueue,
1731 .dequeue = hfsc_dequeue,
1732 .requeue = hfsc_requeue,
1733 .drop = hfsc_drop,
1734 .cl_ops = &hfsc_class_ops,
1735 .priv_size = sizeof(struct hfsc_sched),
1736 .owner = THIS_MODULE
1737};
1738
1739static int __init
1740hfsc_init(void)
1741{
1742 return register_qdisc(&hfsc_qdisc_ops);
1743}
1744
1745static void __exit
1746hfsc_cleanup(void)
1747{
1748 unregister_qdisc(&hfsc_qdisc_ops);
1749}
1750
1751MODULE_LICENSE("GPL");
1752module_init(hfsc_init);
1753module_exit(hfsc_cleanup);