blob: 7d51d0d6a70eba301a5a44eb2195c01a2ed0ffdd [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;
125 spinlock_t *stats_lock;
126 unsigned int level; /* class level in hierarchy */
127 struct tcf_proto *filter_list; /* filter list */
128 unsigned int filter_cnt; /* filter count */
129
130 struct hfsc_sched *sched; /* scheduler data */
131 struct hfsc_class *cl_parent; /* parent class */
132 struct list_head siblings; /* sibling classes */
133 struct list_head children; /* child classes */
134 struct Qdisc *qdisc; /* leaf qdisc */
135
136 struct rb_node el_node; /* qdisc's eligible tree member */
137 struct rb_root vt_tree; /* active children sorted by cl_vt */
138 struct rb_node vt_node; /* parent's vt_tree member */
139 struct rb_root cf_tree; /* active children sorted by cl_f */
140 struct rb_node cf_node; /* parent's cf_heap member */
141 struct list_head hlist; /* hash list member */
142 struct list_head dlist; /* drop list member */
143
144 u64 cl_total; /* total work in bytes */
145 u64 cl_cumul; /* cumulative work in bytes done by
146 real-time criteria */
147
148 u64 cl_d; /* deadline*/
149 u64 cl_e; /* eligible time */
150 u64 cl_vt; /* virtual time */
151 u64 cl_f; /* time when this class will fit for
152 link-sharing, max(myf, cfmin) */
153 u64 cl_myf; /* my fit-time (calculated from this
154 class's own upperlimit curve) */
155 u64 cl_myfadj; /* my fit-time adjustment (to cancel
156 history dependence) */
157 u64 cl_cfmin; /* earliest children's fit-time (used
158 with cl_myf to obtain cl_f) */
159 u64 cl_cvtmin; /* minimal virtual time among the
160 children fit for link-sharing
161 (monotonic within a period) */
162 u64 cl_vtadj; /* intra-period cumulative vt
163 adjustment */
164 u64 cl_vtoff; /* inter-period cumulative vt offset */
165 u64 cl_cvtmax; /* max child's vt in the last period */
166 u64 cl_cvtoff; /* cumulative cvtmax of all periods */
167 u64 cl_pcvtoff; /* parent's cvtoff at initalization
168 time */
169
170 struct internal_sc cl_rsc; /* internal real-time service curve */
171 struct internal_sc cl_fsc; /* internal fair service curve */
172 struct internal_sc cl_usc; /* internal upperlimit service curve */
173 struct runtime_sc cl_deadline; /* deadline curve */
174 struct runtime_sc cl_eligible; /* eligible curve */
175 struct runtime_sc cl_virtual; /* virtual curve */
176 struct runtime_sc cl_ulimit; /* upperlimit curve */
177
178 unsigned long cl_flags; /* which curves are valid */
179 unsigned long cl_vtperiod; /* vt period sequence number */
180 unsigned long cl_parentperiod;/* parent's vt period sequence number*/
181 unsigned long cl_nactive; /* number of active children */
182};
183
184#define HFSC_HSIZE 16
185
186struct hfsc_sched
187{
188 u16 defcls; /* default class id */
189 struct hfsc_class root; /* root class */
190 struct list_head clhash[HFSC_HSIZE]; /* class hash */
191 struct rb_root eligible; /* eligible tree */
192 struct list_head droplist; /* active leaf class list (for
193 dropping) */
194 struct sk_buff_head requeue; /* requeued packet */
Patrick McHardyed2b2292007-03-16 01:19:33 -0700195 struct qdisc_watchdog watchdog; /* watchdog timer */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700196};
197
Linus Torvalds1da177e2005-04-16 15:20:36 -0700198#define HT_INFINITY 0xffffffffffffffffULL /* infinite time value */
199
200
201/*
202 * eligible tree holds backlogged classes being sorted by their eligible times.
203 * there is one eligible tree per hfsc instance.
204 */
205
206static void
207eltree_insert(struct hfsc_class *cl)
208{
209 struct rb_node **p = &cl->sched->eligible.rb_node;
210 struct rb_node *parent = NULL;
211 struct hfsc_class *cl1;
212
213 while (*p != NULL) {
214 parent = *p;
215 cl1 = rb_entry(parent, struct hfsc_class, el_node);
216 if (cl->cl_e >= cl1->cl_e)
217 p = &parent->rb_right;
218 else
219 p = &parent->rb_left;
220 }
221 rb_link_node(&cl->el_node, parent, p);
222 rb_insert_color(&cl->el_node, &cl->sched->eligible);
223}
224
225static inline void
226eltree_remove(struct hfsc_class *cl)
227{
228 rb_erase(&cl->el_node, &cl->sched->eligible);
229}
230
231static inline void
232eltree_update(struct hfsc_class *cl)
233{
234 eltree_remove(cl);
235 eltree_insert(cl);
236}
237
238/* find the class with the minimum deadline among the eligible classes */
239static inline struct hfsc_class *
240eltree_get_mindl(struct hfsc_sched *q, u64 cur_time)
241{
242 struct hfsc_class *p, *cl = NULL;
243 struct rb_node *n;
244
245 for (n = rb_first(&q->eligible); n != NULL; n = rb_next(n)) {
246 p = rb_entry(n, struct hfsc_class, el_node);
247 if (p->cl_e > cur_time)
248 break;
249 if (cl == NULL || p->cl_d < cl->cl_d)
250 cl = p;
251 }
252 return cl;
253}
254
255/* find the class with minimum eligible time among the eligible classes */
256static inline struct hfsc_class *
257eltree_get_minel(struct hfsc_sched *q)
258{
259 struct rb_node *n;
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900260
Linus Torvalds1da177e2005-04-16 15:20:36 -0700261 n = rb_first(&q->eligible);
262 if (n == NULL)
263 return NULL;
264 return rb_entry(n, struct hfsc_class, el_node);
265}
266
267/*
268 * vttree holds holds backlogged child classes being sorted by their virtual
269 * time. each intermediate class has one vttree.
270 */
271static void
272vttree_insert(struct hfsc_class *cl)
273{
274 struct rb_node **p = &cl->cl_parent->vt_tree.rb_node;
275 struct rb_node *parent = NULL;
276 struct hfsc_class *cl1;
277
278 while (*p != NULL) {
279 parent = *p;
280 cl1 = rb_entry(parent, struct hfsc_class, vt_node);
281 if (cl->cl_vt >= cl1->cl_vt)
282 p = &parent->rb_right;
283 else
284 p = &parent->rb_left;
285 }
286 rb_link_node(&cl->vt_node, parent, p);
287 rb_insert_color(&cl->vt_node, &cl->cl_parent->vt_tree);
288}
289
290static inline void
291vttree_remove(struct hfsc_class *cl)
292{
293 rb_erase(&cl->vt_node, &cl->cl_parent->vt_tree);
294}
295
296static inline void
297vttree_update(struct hfsc_class *cl)
298{
299 vttree_remove(cl);
300 vttree_insert(cl);
301}
302
303static inline struct hfsc_class *
304vttree_firstfit(struct hfsc_class *cl, u64 cur_time)
305{
306 struct hfsc_class *p;
307 struct rb_node *n;
308
309 for (n = rb_first(&cl->vt_tree); n != NULL; n = rb_next(n)) {
310 p = rb_entry(n, struct hfsc_class, vt_node);
311 if (p->cl_f <= cur_time)
312 return p;
313 }
314 return NULL;
315}
316
317/*
318 * get the leaf class with the minimum vt in the hierarchy
319 */
320static struct hfsc_class *
321vttree_get_minvt(struct hfsc_class *cl, u64 cur_time)
322{
323 /* if root-class's cfmin is bigger than cur_time nothing to do */
324 if (cl->cl_cfmin > cur_time)
325 return NULL;
326
327 while (cl->level > 0) {
328 cl = vttree_firstfit(cl, cur_time);
329 if (cl == NULL)
330 return NULL;
331 /*
332 * update parent's cl_cvtmin.
333 */
334 if (cl->cl_parent->cl_cvtmin < cl->cl_vt)
335 cl->cl_parent->cl_cvtmin = cl->cl_vt;
336 }
337 return cl;
338}
339
340static void
341cftree_insert(struct hfsc_class *cl)
342{
343 struct rb_node **p = &cl->cl_parent->cf_tree.rb_node;
344 struct rb_node *parent = NULL;
345 struct hfsc_class *cl1;
346
347 while (*p != NULL) {
348 parent = *p;
349 cl1 = rb_entry(parent, struct hfsc_class, cf_node);
350 if (cl->cl_f >= cl1->cl_f)
351 p = &parent->rb_right;
352 else
353 p = &parent->rb_left;
354 }
355 rb_link_node(&cl->cf_node, parent, p);
356 rb_insert_color(&cl->cf_node, &cl->cl_parent->cf_tree);
357}
358
359static inline void
360cftree_remove(struct hfsc_class *cl)
361{
362 rb_erase(&cl->cf_node, &cl->cl_parent->cf_tree);
363}
364
365static inline void
366cftree_update(struct hfsc_class *cl)
367{
368 cftree_remove(cl);
369 cftree_insert(cl);
370}
371
372/*
373 * service curve support functions
374 *
375 * external service curve parameters
376 * m: bps
377 * d: us
378 * internal service curve parameters
379 * sm: (bytes/psched_us) << SM_SHIFT
380 * ism: (psched_us/byte) << ISM_SHIFT
381 * dx: psched_us
382 *
Patrick McHardy641b9e02007-03-16 01:18:42 -0700383 * The clock source resolution with ktime is 1.024us.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700384 *
385 * sm and ism are scaled in order to keep effective digits.
386 * SM_SHIFT and ISM_SHIFT are selected to keep at least 4 effective
387 * digits in decimal using the following table.
388 *
Linus Torvalds1da177e2005-04-16 15:20:36 -0700389 * bits/sec 100Kbps 1Mbps 10Mbps 100Mbps 1Gbps
390 * ------------+-------------------------------------------------------
Patrick McHardy641b9e02007-03-16 01:18:42 -0700391 * bytes/1.024us 12.8e-3 128e-3 1280e-3 12800e-3 128000e-3
Linus Torvalds1da177e2005-04-16 15:20:36 -0700392 *
Patrick McHardy641b9e02007-03-16 01:18:42 -0700393 * 1.024us/byte 78.125 7.8125 0.78125 0.078125 0.0078125
Linus Torvalds1da177e2005-04-16 15:20:36 -0700394 */
395#define SM_SHIFT 20
396#define ISM_SHIFT 18
397
398#define SM_MASK ((1ULL << SM_SHIFT) - 1)
399#define ISM_MASK ((1ULL << ISM_SHIFT) - 1)
400
401static inline u64
402seg_x2y(u64 x, u64 sm)
403{
404 u64 y;
405
406 /*
407 * compute
408 * y = x * sm >> SM_SHIFT
409 * but divide it for the upper and lower bits to avoid overflow
410 */
411 y = (x >> SM_SHIFT) * sm + (((x & SM_MASK) * sm) >> SM_SHIFT);
412 return y;
413}
414
415static inline u64
416seg_y2x(u64 y, u64 ism)
417{
418 u64 x;
419
420 if (y == 0)
421 x = 0;
422 else if (ism == HT_INFINITY)
423 x = HT_INFINITY;
424 else {
425 x = (y >> ISM_SHIFT) * ism
426 + (((y & ISM_MASK) * ism) >> ISM_SHIFT);
427 }
428 return x;
429}
430
431/* Convert m (bps) into sm (bytes/psched us) */
432static u64
433m2sm(u32 m)
434{
435 u64 sm;
436
437 sm = ((u64)m << SM_SHIFT);
Patrick McHardy00c04af2007-03-16 01:23:02 -0700438 sm += PSCHED_TICKS_PER_SEC - 1;
439 do_div(sm, PSCHED_TICKS_PER_SEC);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700440 return sm;
441}
442
443/* convert m (bps) into ism (psched us/byte) */
444static u64
445m2ism(u32 m)
446{
447 u64 ism;
448
449 if (m == 0)
450 ism = HT_INFINITY;
451 else {
Patrick McHardy00c04af2007-03-16 01:23:02 -0700452 ism = ((u64)PSCHED_TICKS_PER_SEC << ISM_SHIFT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700453 ism += m - 1;
454 do_div(ism, m);
455 }
456 return ism;
457}
458
459/* convert d (us) into dx (psched us) */
460static u64
461d2dx(u32 d)
462{
463 u64 dx;
464
Patrick McHardy00c04af2007-03-16 01:23:02 -0700465 dx = ((u64)d * PSCHED_TICKS_PER_SEC);
Patrick McHardy538e43a2006-01-08 22:12:03 -0800466 dx += USEC_PER_SEC - 1;
467 do_div(dx, USEC_PER_SEC);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700468 return dx;
469}
470
471/* convert sm (bytes/psched us) into m (bps) */
472static u32
473sm2m(u64 sm)
474{
475 u64 m;
476
Patrick McHardy00c04af2007-03-16 01:23:02 -0700477 m = (sm * PSCHED_TICKS_PER_SEC) >> SM_SHIFT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700478 return (u32)m;
479}
480
481/* convert dx (psched us) into d (us) */
482static u32
483dx2d(u64 dx)
484{
485 u64 d;
486
Patrick McHardy538e43a2006-01-08 22:12:03 -0800487 d = dx * USEC_PER_SEC;
Patrick McHardy00c04af2007-03-16 01:23:02 -0700488 do_div(d, PSCHED_TICKS_PER_SEC);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700489 return (u32)d;
490}
491
492static void
493sc2isc(struct tc_service_curve *sc, struct internal_sc *isc)
494{
495 isc->sm1 = m2sm(sc->m1);
496 isc->ism1 = m2ism(sc->m1);
497 isc->dx = d2dx(sc->d);
498 isc->dy = seg_x2y(isc->dx, isc->sm1);
499 isc->sm2 = m2sm(sc->m2);
500 isc->ism2 = m2ism(sc->m2);
501}
502
503/*
504 * initialize the runtime service curve with the given internal
505 * service curve starting at (x, y).
506 */
507static void
508rtsc_init(struct runtime_sc *rtsc, struct internal_sc *isc, u64 x, u64 y)
509{
510 rtsc->x = x;
511 rtsc->y = y;
512 rtsc->sm1 = isc->sm1;
513 rtsc->ism1 = isc->ism1;
514 rtsc->dx = isc->dx;
515 rtsc->dy = isc->dy;
516 rtsc->sm2 = isc->sm2;
517 rtsc->ism2 = isc->ism2;
518}
519
520/*
521 * calculate the y-projection of the runtime service curve by the
522 * given x-projection value
523 */
524static u64
525rtsc_y2x(struct runtime_sc *rtsc, u64 y)
526{
527 u64 x;
528
529 if (y < rtsc->y)
530 x = rtsc->x;
531 else if (y <= rtsc->y + rtsc->dy) {
532 /* x belongs to the 1st segment */
533 if (rtsc->dy == 0)
534 x = rtsc->x + rtsc->dx;
535 else
536 x = rtsc->x + seg_y2x(y - rtsc->y, rtsc->ism1);
537 } else {
538 /* x belongs to the 2nd segment */
539 x = rtsc->x + rtsc->dx
540 + seg_y2x(y - rtsc->y - rtsc->dy, rtsc->ism2);
541 }
542 return x;
543}
544
545static u64
546rtsc_x2y(struct runtime_sc *rtsc, u64 x)
547{
548 u64 y;
549
550 if (x <= rtsc->x)
551 y = rtsc->y;
552 else if (x <= rtsc->x + rtsc->dx)
553 /* y belongs to the 1st segment */
554 y = rtsc->y + seg_x2y(x - rtsc->x, rtsc->sm1);
555 else
556 /* y belongs to the 2nd segment */
557 y = rtsc->y + rtsc->dy
558 + seg_x2y(x - rtsc->x - rtsc->dx, rtsc->sm2);
559 return y;
560}
561
562/*
563 * update the runtime service curve by taking the minimum of the current
564 * runtime service curve and the service curve starting at (x, y).
565 */
566static void
567rtsc_min(struct runtime_sc *rtsc, struct internal_sc *isc, u64 x, u64 y)
568{
569 u64 y1, y2, dx, dy;
570 u32 dsm;
571
572 if (isc->sm1 <= isc->sm2) {
573 /* service curve is convex */
574 y1 = rtsc_x2y(rtsc, x);
575 if (y1 < y)
576 /* the current rtsc is smaller */
577 return;
578 rtsc->x = x;
579 rtsc->y = y;
580 return;
581 }
582
583 /*
584 * service curve is concave
585 * compute the two y values of the current rtsc
586 * y1: at x
587 * y2: at (x + dx)
588 */
589 y1 = rtsc_x2y(rtsc, x);
590 if (y1 <= y) {
591 /* rtsc is below isc, no change to rtsc */
592 return;
593 }
594
595 y2 = rtsc_x2y(rtsc, x + isc->dx);
596 if (y2 >= y + isc->dy) {
597 /* rtsc is above isc, replace rtsc by isc */
598 rtsc->x = x;
599 rtsc->y = y;
600 rtsc->dx = isc->dx;
601 rtsc->dy = isc->dy;
602 return;
603 }
604
605 /*
606 * the two curves intersect
607 * compute the offsets (dx, dy) using the reverse
608 * function of seg_x2y()
609 * seg_x2y(dx, sm1) == seg_x2y(dx, sm2) + (y1 - y)
610 */
611 dx = (y1 - y) << SM_SHIFT;
612 dsm = isc->sm1 - isc->sm2;
613 do_div(dx, dsm);
614 /*
615 * check if (x, y1) belongs to the 1st segment of rtsc.
616 * if so, add the offset.
617 */
618 if (rtsc->x + rtsc->dx > x)
619 dx += rtsc->x + rtsc->dx - x;
620 dy = seg_x2y(dx, isc->sm1);
621
622 rtsc->x = x;
623 rtsc->y = y;
624 rtsc->dx = dx;
625 rtsc->dy = dy;
626 return;
627}
628
629static void
630init_ed(struct hfsc_class *cl, unsigned int next_len)
631{
Patrick McHardy3bebcda2007-03-23 11:29:25 -0700632 u64 cur_time = psched_get_time();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700633
634 /* update the deadline curve */
635 rtsc_min(&cl->cl_deadline, &cl->cl_rsc, cur_time, cl->cl_cumul);
636
637 /*
638 * update the eligible curve.
639 * for concave, it is equal to the deadline curve.
640 * for convex, it is a linear curve with slope m2.
641 */
642 cl->cl_eligible = cl->cl_deadline;
643 if (cl->cl_rsc.sm1 <= cl->cl_rsc.sm2) {
644 cl->cl_eligible.dx = 0;
645 cl->cl_eligible.dy = 0;
646 }
647
648 /* compute e and d */
649 cl->cl_e = rtsc_y2x(&cl->cl_eligible, cl->cl_cumul);
650 cl->cl_d = rtsc_y2x(&cl->cl_deadline, cl->cl_cumul + next_len);
651
652 eltree_insert(cl);
653}
654
655static void
656update_ed(struct hfsc_class *cl, unsigned int next_len)
657{
658 cl->cl_e = rtsc_y2x(&cl->cl_eligible, cl->cl_cumul);
659 cl->cl_d = rtsc_y2x(&cl->cl_deadline, cl->cl_cumul + next_len);
660
661 eltree_update(cl);
662}
663
664static inline void
665update_d(struct hfsc_class *cl, unsigned int next_len)
666{
667 cl->cl_d = rtsc_y2x(&cl->cl_deadline, cl->cl_cumul + next_len);
668}
669
670static inline void
671update_cfmin(struct hfsc_class *cl)
672{
673 struct rb_node *n = rb_first(&cl->cf_tree);
674 struct hfsc_class *p;
675
676 if (n == NULL) {
677 cl->cl_cfmin = 0;
678 return;
679 }
680 p = rb_entry(n, struct hfsc_class, cf_node);
681 cl->cl_cfmin = p->cl_f;
682}
683
684static void
685init_vf(struct hfsc_class *cl, unsigned int len)
686{
687 struct hfsc_class *max_cl;
688 struct rb_node *n;
689 u64 vt, f, cur_time;
690 int go_active;
691
692 cur_time = 0;
693 go_active = 1;
694 for (; cl->cl_parent != NULL; cl = cl->cl_parent) {
695 if (go_active && cl->cl_nactive++ == 0)
696 go_active = 1;
697 else
698 go_active = 0;
699
700 if (go_active) {
701 n = rb_last(&cl->cl_parent->vt_tree);
702 if (n != NULL) {
703 max_cl = rb_entry(n, struct hfsc_class,vt_node);
704 /*
705 * set vt to the average of the min and max
706 * classes. if the parent's period didn't
707 * change, don't decrease vt of the class.
708 */
709 vt = max_cl->cl_vt;
710 if (cl->cl_parent->cl_cvtmin != 0)
711 vt = (cl->cl_parent->cl_cvtmin + vt)/2;
712
713 if (cl->cl_parent->cl_vtperiod !=
714 cl->cl_parentperiod || vt > cl->cl_vt)
715 cl->cl_vt = vt;
716 } else {
717 /*
718 * first child for a new parent backlog period.
719 * add parent's cvtmax to cvtoff to make a new
720 * vt (vtoff + vt) larger than the vt in the
721 * last period for all children.
722 */
723 vt = cl->cl_parent->cl_cvtmax;
724 cl->cl_parent->cl_cvtoff += vt;
725 cl->cl_parent->cl_cvtmax = 0;
726 cl->cl_parent->cl_cvtmin = 0;
727 cl->cl_vt = 0;
728 }
729
730 cl->cl_vtoff = cl->cl_parent->cl_cvtoff -
731 cl->cl_pcvtoff;
732
733 /* update the virtual curve */
734 vt = cl->cl_vt + cl->cl_vtoff;
735 rtsc_min(&cl->cl_virtual, &cl->cl_fsc, vt,
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900736 cl->cl_total);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700737 if (cl->cl_virtual.x == vt) {
738 cl->cl_virtual.x -= cl->cl_vtoff;
739 cl->cl_vtoff = 0;
740 }
741 cl->cl_vtadj = 0;
742
743 cl->cl_vtperiod++; /* increment vt period */
744 cl->cl_parentperiod = cl->cl_parent->cl_vtperiod;
745 if (cl->cl_parent->cl_nactive == 0)
746 cl->cl_parentperiod++;
747 cl->cl_f = 0;
748
749 vttree_insert(cl);
750 cftree_insert(cl);
751
752 if (cl->cl_flags & HFSC_USC) {
753 /* class has upper limit curve */
754 if (cur_time == 0)
Patrick McHardy3bebcda2007-03-23 11:29:25 -0700755 cur_time = psched_get_time();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700756
757 /* update the ulimit curve */
758 rtsc_min(&cl->cl_ulimit, &cl->cl_usc, cur_time,
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900759 cl->cl_total);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700760 /* compute myf */
761 cl->cl_myf = rtsc_y2x(&cl->cl_ulimit,
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900762 cl->cl_total);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700763 cl->cl_myfadj = 0;
764 }
765 }
766
767 f = max(cl->cl_myf, cl->cl_cfmin);
768 if (f != cl->cl_f) {
769 cl->cl_f = f;
770 cftree_update(cl);
771 update_cfmin(cl->cl_parent);
772 }
773 }
774}
775
776static void
777update_vf(struct hfsc_class *cl, unsigned int len, u64 cur_time)
778{
779 u64 f; /* , myf_bound, delta; */
780 int go_passive = 0;
781
782 if (cl->qdisc->q.qlen == 0 && cl->cl_flags & HFSC_FSC)
783 go_passive = 1;
784
785 for (; cl->cl_parent != NULL; cl = cl->cl_parent) {
786 cl->cl_total += len;
787
788 if (!(cl->cl_flags & HFSC_FSC) || cl->cl_nactive == 0)
789 continue;
790
791 if (go_passive && --cl->cl_nactive == 0)
792 go_passive = 1;
793 else
794 go_passive = 0;
795
796 if (go_passive) {
797 /* no more active child, going passive */
798
799 /* update cvtmax of the parent class */
800 if (cl->cl_vt > cl->cl_parent->cl_cvtmax)
801 cl->cl_parent->cl_cvtmax = cl->cl_vt;
802
803 /* remove this class from the vt tree */
804 vttree_remove(cl);
805
806 cftree_remove(cl);
807 update_cfmin(cl->cl_parent);
808
809 continue;
810 }
811
812 /*
813 * update vt and f
814 */
815 cl->cl_vt = rtsc_y2x(&cl->cl_virtual, cl->cl_total)
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900816 - cl->cl_vtoff + cl->cl_vtadj;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700817
818 /*
819 * if vt of the class is smaller than cvtmin,
820 * the class was skipped in the past due to non-fit.
821 * if so, we need to adjust vtadj.
822 */
823 if (cl->cl_vt < cl->cl_parent->cl_cvtmin) {
824 cl->cl_vtadj += cl->cl_parent->cl_cvtmin - cl->cl_vt;
825 cl->cl_vt = cl->cl_parent->cl_cvtmin;
826 }
827
828 /* update the vt tree */
829 vttree_update(cl);
830
831 if (cl->cl_flags & HFSC_USC) {
832 cl->cl_myf = cl->cl_myfadj + rtsc_y2x(&cl->cl_ulimit,
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900833 cl->cl_total);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700834#if 0
835 /*
836 * This code causes classes to stay way under their
837 * limit when multiple classes are used at gigabit
838 * speed. needs investigation. -kaber
839 */
840 /*
841 * if myf lags behind by more than one clock tick
842 * from the current time, adjust myfadj to prevent
843 * a rate-limited class from going greedy.
844 * in a steady state under rate-limiting, myf
845 * fluctuates within one clock tick.
846 */
847 myf_bound = cur_time - PSCHED_JIFFIE2US(1);
848 if (cl->cl_myf < myf_bound) {
849 delta = cur_time - cl->cl_myf;
850 cl->cl_myfadj += delta;
851 cl->cl_myf += delta;
852 }
853#endif
854 }
855
856 f = max(cl->cl_myf, cl->cl_cfmin);
857 if (f != cl->cl_f) {
858 cl->cl_f = f;
859 cftree_update(cl);
860 update_cfmin(cl->cl_parent);
861 }
862 }
863}
864
865static void
866set_active(struct hfsc_class *cl, unsigned int len)
867{
868 if (cl->cl_flags & HFSC_RSC)
869 init_ed(cl, len);
870 if (cl->cl_flags & HFSC_FSC)
871 init_vf(cl, len);
872
873 list_add_tail(&cl->dlist, &cl->sched->droplist);
874}
875
876static void
877set_passive(struct hfsc_class *cl)
878{
879 if (cl->cl_flags & HFSC_RSC)
880 eltree_remove(cl);
881
882 list_del(&cl->dlist);
883
884 /*
885 * vttree is now handled in update_vf() so that update_vf(cl, 0, 0)
886 * needs to be called explicitly to remove a class from vttree.
887 */
888}
889
890/*
891 * hack to get length of first packet in queue.
892 */
893static unsigned int
894qdisc_peek_len(struct Qdisc *sch)
895{
896 struct sk_buff *skb;
897 unsigned int len;
898
899 skb = sch->dequeue(sch);
900 if (skb == NULL) {
901 if (net_ratelimit())
902 printk("qdisc_peek_len: non work-conserving qdisc ?\n");
903 return 0;
904 }
905 len = skb->len;
906 if (unlikely(sch->ops->requeue(skb, sch) != NET_XMIT_SUCCESS)) {
907 if (net_ratelimit())
908 printk("qdisc_peek_len: failed to requeue\n");
Patrick McHardye488eaf2006-11-29 17:37:42 -0800909 qdisc_tree_decrease_qlen(sch, 1);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700910 return 0;
911 }
912 return len;
913}
914
915static void
916hfsc_purge_queue(struct Qdisc *sch, struct hfsc_class *cl)
917{
918 unsigned int len = cl->qdisc->q.qlen;
919
920 qdisc_reset(cl->qdisc);
Patrick McHardyf973b912006-11-29 17:36:43 -0800921 qdisc_tree_decrease_qlen(cl->qdisc, len);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700922}
923
924static void
925hfsc_adjust_levels(struct hfsc_class *cl)
926{
927 struct hfsc_class *p;
928 unsigned int level;
929
930 do {
931 level = 0;
932 list_for_each_entry(p, &cl->children, siblings) {
Patrick McHardy210525d2006-05-11 12:22:03 -0700933 if (p->level >= level)
934 level = p->level + 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700935 }
Patrick McHardy210525d2006-05-11 12:22:03 -0700936 cl->level = level;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700937 } while ((cl = cl->cl_parent) != NULL);
938}
939
940static inline unsigned int
941hfsc_hash(u32 h)
942{
943 h ^= h >> 8;
944 h ^= h >> 4;
945
946 return h & (HFSC_HSIZE - 1);
947}
948
949static inline struct hfsc_class *
950hfsc_find_class(u32 classid, struct Qdisc *sch)
951{
952 struct hfsc_sched *q = qdisc_priv(sch);
953 struct hfsc_class *cl;
954
955 list_for_each_entry(cl, &q->clhash[hfsc_hash(classid)], hlist) {
956 if (cl->classid == classid)
957 return cl;
958 }
959 return NULL;
960}
961
962static void
963hfsc_change_rsc(struct hfsc_class *cl, struct tc_service_curve *rsc,
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900964 u64 cur_time)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700965{
966 sc2isc(rsc, &cl->cl_rsc);
967 rtsc_init(&cl->cl_deadline, &cl->cl_rsc, cur_time, cl->cl_cumul);
968 cl->cl_eligible = cl->cl_deadline;
969 if (cl->cl_rsc.sm1 <= cl->cl_rsc.sm2) {
970 cl->cl_eligible.dx = 0;
971 cl->cl_eligible.dy = 0;
972 }
973 cl->cl_flags |= HFSC_RSC;
974}
975
976static void
977hfsc_change_fsc(struct hfsc_class *cl, struct tc_service_curve *fsc)
978{
979 sc2isc(fsc, &cl->cl_fsc);
980 rtsc_init(&cl->cl_virtual, &cl->cl_fsc, cl->cl_vt, cl->cl_total);
981 cl->cl_flags |= HFSC_FSC;
982}
983
984static void
985hfsc_change_usc(struct hfsc_class *cl, struct tc_service_curve *usc,
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900986 u64 cur_time)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700987{
988 sc2isc(usc, &cl->cl_usc);
989 rtsc_init(&cl->cl_ulimit, &cl->cl_usc, cur_time, cl->cl_total);
990 cl->cl_flags |= HFSC_USC;
991}
992
993static int
994hfsc_change_class(struct Qdisc *sch, u32 classid, u32 parentid,
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +0900995 struct rtattr **tca, unsigned long *arg)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700996{
997 struct hfsc_sched *q = qdisc_priv(sch);
998 struct hfsc_class *cl = (struct hfsc_class *)*arg;
999 struct hfsc_class *parent = NULL;
1000 struct rtattr *opt = tca[TCA_OPTIONS-1];
1001 struct rtattr *tb[TCA_HFSC_MAX];
1002 struct tc_service_curve *rsc = NULL, *fsc = NULL, *usc = NULL;
1003 u64 cur_time;
1004
1005 if (opt == NULL || rtattr_parse_nested(tb, TCA_HFSC_MAX, opt))
1006 return -EINVAL;
1007
1008 if (tb[TCA_HFSC_RSC-1]) {
1009 if (RTA_PAYLOAD(tb[TCA_HFSC_RSC-1]) < sizeof(*rsc))
1010 return -EINVAL;
1011 rsc = RTA_DATA(tb[TCA_HFSC_RSC-1]);
1012 if (rsc->m1 == 0 && rsc->m2 == 0)
1013 rsc = NULL;
1014 }
1015
1016 if (tb[TCA_HFSC_FSC-1]) {
1017 if (RTA_PAYLOAD(tb[TCA_HFSC_FSC-1]) < sizeof(*fsc))
1018 return -EINVAL;
1019 fsc = RTA_DATA(tb[TCA_HFSC_FSC-1]);
1020 if (fsc->m1 == 0 && fsc->m2 == 0)
1021 fsc = NULL;
1022 }
1023
1024 if (tb[TCA_HFSC_USC-1]) {
1025 if (RTA_PAYLOAD(tb[TCA_HFSC_USC-1]) < sizeof(*usc))
1026 return -EINVAL;
1027 usc = RTA_DATA(tb[TCA_HFSC_USC-1]);
1028 if (usc->m1 == 0 && usc->m2 == 0)
1029 usc = NULL;
1030 }
1031
1032 if (cl != NULL) {
1033 if (parentid) {
1034 if (cl->cl_parent && cl->cl_parent->classid != parentid)
1035 return -EINVAL;
1036 if (cl->cl_parent == NULL && parentid != TC_H_ROOT)
1037 return -EINVAL;
1038 }
Patrick McHardy3bebcda2007-03-23 11:29:25 -07001039 cur_time = psched_get_time();
Linus Torvalds1da177e2005-04-16 15:20:36 -07001040
1041 sch_tree_lock(sch);
1042 if (rsc != NULL)
1043 hfsc_change_rsc(cl, rsc, cur_time);
1044 if (fsc != NULL)
1045 hfsc_change_fsc(cl, fsc);
1046 if (usc != NULL)
1047 hfsc_change_usc(cl, usc, cur_time);
1048
1049 if (cl->qdisc->q.qlen != 0) {
1050 if (cl->cl_flags & HFSC_RSC)
1051 update_ed(cl, qdisc_peek_len(cl->qdisc));
1052 if (cl->cl_flags & HFSC_FSC)
1053 update_vf(cl, 0, cur_time);
1054 }
1055 sch_tree_unlock(sch);
1056
1057#ifdef CONFIG_NET_ESTIMATOR
1058 if (tca[TCA_RATE-1])
1059 gen_replace_estimator(&cl->bstats, &cl->rate_est,
1060 cl->stats_lock, tca[TCA_RATE-1]);
1061#endif
1062 return 0;
1063 }
1064
1065 if (parentid == TC_H_ROOT)
1066 return -EEXIST;
1067
1068 parent = &q->root;
1069 if (parentid) {
1070 parent = hfsc_find_class(parentid, sch);
1071 if (parent == NULL)
1072 return -ENOENT;
1073 }
1074
1075 if (classid == 0 || TC_H_MAJ(classid ^ sch->handle) != 0)
1076 return -EINVAL;
1077 if (hfsc_find_class(classid, sch))
1078 return -EEXIST;
1079
1080 if (rsc == NULL && fsc == NULL)
1081 return -EINVAL;
1082
Panagiotis Issaris0da974f2006-07-21 14:51:30 -07001083 cl = kzalloc(sizeof(struct hfsc_class), GFP_KERNEL);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001084 if (cl == NULL)
1085 return -ENOBUFS;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001086
1087 if (rsc != NULL)
1088 hfsc_change_rsc(cl, rsc, 0);
1089 if (fsc != NULL)
1090 hfsc_change_fsc(cl, fsc);
1091 if (usc != NULL)
1092 hfsc_change_usc(cl, usc, 0);
1093
1094 cl->refcnt = 1;
1095 cl->classid = classid;
1096 cl->sched = q;
1097 cl->cl_parent = parent;
Patrick McHardy9f9afec2006-11-29 17:35:18 -08001098 cl->qdisc = qdisc_create_dflt(sch->dev, &pfifo_qdisc_ops, classid);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001099 if (cl->qdisc == NULL)
1100 cl->qdisc = &noop_qdisc;
1101 cl->stats_lock = &sch->dev->queue_lock;
1102 INIT_LIST_HEAD(&cl->children);
1103 cl->vt_tree = RB_ROOT;
1104 cl->cf_tree = RB_ROOT;
1105
1106 sch_tree_lock(sch);
1107 list_add_tail(&cl->hlist, &q->clhash[hfsc_hash(classid)]);
1108 list_add_tail(&cl->siblings, &parent->children);
1109 if (parent->level == 0)
1110 hfsc_purge_queue(sch, parent);
1111 hfsc_adjust_levels(parent);
1112 cl->cl_pcvtoff = parent->cl_cvtoff;
1113 sch_tree_unlock(sch);
1114
1115#ifdef CONFIG_NET_ESTIMATOR
1116 if (tca[TCA_RATE-1])
1117 gen_new_estimator(&cl->bstats, &cl->rate_est,
1118 cl->stats_lock, tca[TCA_RATE-1]);
1119#endif
1120 *arg = (unsigned long)cl;
1121 return 0;
1122}
1123
1124static void
1125hfsc_destroy_filters(struct tcf_proto **fl)
1126{
1127 struct tcf_proto *tp;
1128
1129 while ((tp = *fl) != NULL) {
1130 *fl = tp->next;
1131 tcf_destroy(tp);
1132 }
1133}
1134
1135static void
1136hfsc_destroy_class(struct Qdisc *sch, struct hfsc_class *cl)
1137{
1138 struct hfsc_sched *q = qdisc_priv(sch);
1139
1140 hfsc_destroy_filters(&cl->filter_list);
1141 qdisc_destroy(cl->qdisc);
1142#ifdef CONFIG_NET_ESTIMATOR
1143 gen_kill_estimator(&cl->bstats, &cl->rate_est);
1144#endif
1145 if (cl != &q->root)
1146 kfree(cl);
1147}
1148
1149static int
1150hfsc_delete_class(struct Qdisc *sch, unsigned long arg)
1151{
1152 struct hfsc_sched *q = qdisc_priv(sch);
1153 struct hfsc_class *cl = (struct hfsc_class *)arg;
1154
1155 if (cl->level > 0 || cl->filter_cnt > 0 || cl == &q->root)
1156 return -EBUSY;
1157
1158 sch_tree_lock(sch);
1159
Linus Torvalds1da177e2005-04-16 15:20:36 -07001160 list_del(&cl->siblings);
1161 hfsc_adjust_levels(cl->cl_parent);
Patrick McHardyc38c83c2007-03-27 14:04:24 -07001162
Linus Torvalds1da177e2005-04-16 15:20:36 -07001163 hfsc_purge_queue(sch, cl);
Patrick McHardyc38c83c2007-03-27 14:04:24 -07001164 list_del(&cl->hlist);
1165
Linus Torvalds1da177e2005-04-16 15:20:36 -07001166 if (--cl->refcnt == 0)
1167 hfsc_destroy_class(sch, cl);
1168
1169 sch_tree_unlock(sch);
1170 return 0;
1171}
1172
1173static struct hfsc_class *
1174hfsc_classify(struct sk_buff *skb, struct Qdisc *sch, int *qerr)
1175{
1176 struct hfsc_sched *q = qdisc_priv(sch);
1177 struct hfsc_class *cl;
1178 struct tcf_result res;
1179 struct tcf_proto *tcf;
1180 int result;
1181
1182 if (TC_H_MAJ(skb->priority ^ sch->handle) == 0 &&
1183 (cl = hfsc_find_class(skb->priority, sch)) != NULL)
1184 if (cl->level == 0)
1185 return cl;
1186
Jamal Hadi Salim29f1df62006-01-08 22:35:55 -08001187 *qerr = NET_XMIT_BYPASS;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001188 tcf = q->root.filter_list;
1189 while (tcf && (result = tc_classify(skb, tcf, &res)) >= 0) {
1190#ifdef CONFIG_NET_CLS_ACT
1191 switch (result) {
1192 case TC_ACT_QUEUED:
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +09001193 case TC_ACT_STOLEN:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001194 *qerr = NET_XMIT_SUCCESS;
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +09001195 case TC_ACT_SHOT:
Linus Torvalds1da177e2005-04-16 15:20:36 -07001196 return NULL;
1197 }
1198#elif defined(CONFIG_NET_CLS_POLICE)
1199 if (result == TC_POLICE_SHOT)
1200 return NULL;
1201#endif
1202 if ((cl = (struct hfsc_class *)res.class) == NULL) {
1203 if ((cl = hfsc_find_class(res.classid, sch)) == NULL)
1204 break; /* filter selected invalid classid */
1205 }
1206
1207 if (cl->level == 0)
1208 return cl; /* hit leaf class */
1209
1210 /* apply inner filter chain */
1211 tcf = cl->filter_list;
1212 }
1213
1214 /* classification failed, try default class */
1215 cl = hfsc_find_class(TC_H_MAKE(TC_H_MAJ(sch->handle), q->defcls), sch);
1216 if (cl == NULL || cl->level > 0)
1217 return NULL;
1218
1219 return cl;
1220}
1221
1222static int
1223hfsc_graft_class(struct Qdisc *sch, unsigned long arg, struct Qdisc *new,
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +09001224 struct Qdisc **old)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001225{
1226 struct hfsc_class *cl = (struct hfsc_class *)arg;
1227
1228 if (cl == NULL)
1229 return -ENOENT;
1230 if (cl->level > 0)
1231 return -EINVAL;
1232 if (new == NULL) {
Patrick McHardy9f9afec2006-11-29 17:35:18 -08001233 new = qdisc_create_dflt(sch->dev, &pfifo_qdisc_ops,
1234 cl->classid);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001235 if (new == NULL)
1236 new = &noop_qdisc;
1237 }
1238
1239 sch_tree_lock(sch);
1240 hfsc_purge_queue(sch, cl);
1241 *old = xchg(&cl->qdisc, new);
1242 sch_tree_unlock(sch);
1243 return 0;
1244}
1245
1246static struct Qdisc *
1247hfsc_class_leaf(struct Qdisc *sch, unsigned long arg)
1248{
1249 struct hfsc_class *cl = (struct hfsc_class *)arg;
1250
1251 if (cl != NULL && cl->level == 0)
1252 return cl->qdisc;
1253
1254 return NULL;
1255}
1256
Patrick McHardyf973b912006-11-29 17:36:43 -08001257static void
1258hfsc_qlen_notify(struct Qdisc *sch, unsigned long arg)
1259{
1260 struct hfsc_class *cl = (struct hfsc_class *)arg;
1261
1262 if (cl->qdisc->q.qlen == 0) {
1263 update_vf(cl, 0, 0);
1264 set_passive(cl);
1265 }
1266}
1267
Linus Torvalds1da177e2005-04-16 15:20:36 -07001268static unsigned long
1269hfsc_get_class(struct Qdisc *sch, u32 classid)
1270{
1271 struct hfsc_class *cl = hfsc_find_class(classid, sch);
1272
1273 if (cl != NULL)
1274 cl->refcnt++;
1275
1276 return (unsigned long)cl;
1277}
1278
1279static void
1280hfsc_put_class(struct Qdisc *sch, unsigned long arg)
1281{
1282 struct hfsc_class *cl = (struct hfsc_class *)arg;
1283
1284 if (--cl->refcnt == 0)
1285 hfsc_destroy_class(sch, cl);
1286}
1287
1288static unsigned long
1289hfsc_bind_tcf(struct Qdisc *sch, unsigned long parent, u32 classid)
1290{
1291 struct hfsc_class *p = (struct hfsc_class *)parent;
1292 struct hfsc_class *cl = hfsc_find_class(classid, sch);
1293
1294 if (cl != NULL) {
1295 if (p != NULL && p->level <= cl->level)
1296 return 0;
1297 cl->filter_cnt++;
1298 }
1299
1300 return (unsigned long)cl;
1301}
1302
1303static void
1304hfsc_unbind_tcf(struct Qdisc *sch, unsigned long arg)
1305{
1306 struct hfsc_class *cl = (struct hfsc_class *)arg;
1307
1308 cl->filter_cnt--;
1309}
1310
1311static struct tcf_proto **
1312hfsc_tcf_chain(struct Qdisc *sch, unsigned long arg)
1313{
1314 struct hfsc_sched *q = qdisc_priv(sch);
1315 struct hfsc_class *cl = (struct hfsc_class *)arg;
1316
1317 if (cl == NULL)
1318 cl = &q->root;
1319
1320 return &cl->filter_list;
1321}
1322
1323static int
1324hfsc_dump_sc(struct sk_buff *skb, int attr, struct internal_sc *sc)
1325{
1326 struct tc_service_curve tsc;
1327
1328 tsc.m1 = sm2m(sc->sm1);
1329 tsc.d = dx2d(sc->dx);
1330 tsc.m2 = sm2m(sc->sm2);
1331 RTA_PUT(skb, attr, sizeof(tsc), &tsc);
1332
1333 return skb->len;
1334
1335 rtattr_failure:
1336 return -1;
1337}
1338
1339static inline int
1340hfsc_dump_curves(struct sk_buff *skb, struct hfsc_class *cl)
1341{
1342 if ((cl->cl_flags & HFSC_RSC) &&
1343 (hfsc_dump_sc(skb, TCA_HFSC_RSC, &cl->cl_rsc) < 0))
1344 goto rtattr_failure;
1345
1346 if ((cl->cl_flags & HFSC_FSC) &&
1347 (hfsc_dump_sc(skb, TCA_HFSC_FSC, &cl->cl_fsc) < 0))
1348 goto rtattr_failure;
1349
1350 if ((cl->cl_flags & HFSC_USC) &&
1351 (hfsc_dump_sc(skb, TCA_HFSC_USC, &cl->cl_usc) < 0))
1352 goto rtattr_failure;
1353
1354 return skb->len;
1355
1356 rtattr_failure:
1357 return -1;
1358}
1359
1360static int
1361hfsc_dump_class(struct Qdisc *sch, unsigned long arg, struct sk_buff *skb,
YOSHIFUJI Hideaki10297b92007-02-09 23:25:16 +09001362 struct tcmsg *tcm)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001363{
1364 struct hfsc_class *cl = (struct hfsc_class *)arg;
Arnaldo Carvalho de Melo27a884d2007-04-19 20:29:13 -07001365 unsigned char *b = skb_tail_pointer(skb);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001366 struct rtattr *rta = (struct rtattr *)b;
1367
1368 tcm->tcm_parent = cl->cl_parent ? cl->cl_parent->classid : TC_H_ROOT;
1369 tcm->tcm_handle = cl->classid;
1370 if (cl->level == 0)
1371 tcm->tcm_info = cl->qdisc->handle;
1372
1373 RTA_PUT(skb, TCA_OPTIONS, 0, NULL);
1374 if (hfsc_dump_curves(skb, cl) < 0)
1375 goto rtattr_failure;
Arnaldo Carvalho de Melo27a884d2007-04-19 20:29:13 -07001376 rta->rta_len = skb_tail_pointer(skb) - b;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001377 return skb->len;
1378
1379 rtattr_failure:
Arnaldo Carvalho de Melodc5fc572007-03-25 23:06:12 -07001380 nlmsg_trim(skb, b);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001381 return -1;
1382}
1383
1384static int
1385hfsc_dump_class_stats(struct Qdisc *sch, unsigned long arg,
1386 struct gnet_dump *d)
1387{
1388 struct hfsc_class *cl = (struct hfsc_class *)arg;
1389 struct tc_hfsc_stats xstats;
1390
1391 cl->qstats.qlen = cl->qdisc->q.qlen;
1392 xstats.level = cl->level;
1393 xstats.period = cl->cl_vtperiod;
1394 xstats.work = cl->cl_total;
1395 xstats.rtwork = cl->cl_cumul;
1396
1397 if (gnet_stats_copy_basic(d, &cl->bstats) < 0 ||
1398#ifdef CONFIG_NET_ESTIMATOR
1399 gnet_stats_copy_rate_est(d, &cl->rate_est) < 0 ||
1400#endif
1401 gnet_stats_copy_queue(d, &cl->qstats) < 0)
1402 return -1;
1403
1404 return gnet_stats_copy_app(d, &xstats, sizeof(xstats));
1405}
1406
1407
1408
1409static void
1410hfsc_walk(struct Qdisc *sch, struct qdisc_walker *arg)
1411{
1412 struct hfsc_sched *q = qdisc_priv(sch);
1413 struct hfsc_class *cl;
1414 unsigned int i;
1415
1416 if (arg->stop)
1417 return;
1418
1419 for (i = 0; i < HFSC_HSIZE; i++) {
1420 list_for_each_entry(cl, &q->clhash[i], hlist) {
1421 if (arg->count < arg->skip) {
1422 arg->count++;
1423 continue;
1424 }
1425 if (arg->fn(sch, (unsigned long)cl, arg) < 0) {
1426 arg->stop = 1;
1427 return;
1428 }
1429 arg->count++;
1430 }
1431 }
1432}
1433
1434static void
Patrick McHardyed2b2292007-03-16 01:19:33 -07001435hfsc_schedule_watchdog(struct Qdisc *sch)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001436{
1437 struct hfsc_sched *q = qdisc_priv(sch);
1438 struct hfsc_class *cl;
1439 u64 next_time = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001440
1441 if ((cl = eltree_get_minel(q)) != NULL)
1442 next_time = cl->cl_e;
1443 if (q->root.cl_cfmin != 0) {
1444 if (next_time == 0 || next_time > q->root.cl_cfmin)
1445 next_time = q->root.cl_cfmin;
1446 }
Patrick McHardy3d50f232007-02-13 12:36:57 -08001447 WARN_ON(next_time == 0);
Patrick McHardyed2b2292007-03-16 01:19:33 -07001448 qdisc_watchdog_schedule(&q->watchdog, next_time);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001449}
1450
1451static int
1452hfsc_init_qdisc(struct Qdisc *sch, struct rtattr *opt)
1453{
1454 struct hfsc_sched *q = qdisc_priv(sch);
1455 struct tc_hfsc_qopt *qopt;
1456 unsigned int i;
1457
1458 if (opt == NULL || RTA_PAYLOAD(opt) < sizeof(*qopt))
1459 return -EINVAL;
1460 qopt = RTA_DATA(opt);
1461
1462 sch->stats_lock = &sch->dev->queue_lock;
1463
1464 q->defcls = qopt->defcls;
1465 for (i = 0; i < HFSC_HSIZE; i++)
1466 INIT_LIST_HEAD(&q->clhash[i]);
1467 q->eligible = RB_ROOT;
1468 INIT_LIST_HEAD(&q->droplist);
1469 skb_queue_head_init(&q->requeue);
1470
1471 q->root.refcnt = 1;
1472 q->root.classid = sch->handle;
1473 q->root.sched = q;
Patrick McHardy9f9afec2006-11-29 17:35:18 -08001474 q->root.qdisc = qdisc_create_dflt(sch->dev, &pfifo_qdisc_ops,
1475 sch->handle);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001476 if (q->root.qdisc == NULL)
1477 q->root.qdisc = &noop_qdisc;
1478 q->root.stats_lock = &sch->dev->queue_lock;
1479 INIT_LIST_HEAD(&q->root.children);
1480 q->root.vt_tree = RB_ROOT;
1481 q->root.cf_tree = RB_ROOT;
1482
1483 list_add(&q->root.hlist, &q->clhash[hfsc_hash(q->root.classid)]);
1484
Patrick McHardyed2b2292007-03-16 01:19:33 -07001485 qdisc_watchdog_init(&q->watchdog, sch);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001486
1487 return 0;
1488}
1489
1490static int
1491hfsc_change_qdisc(struct Qdisc *sch, struct rtattr *opt)
1492{
1493 struct hfsc_sched *q = qdisc_priv(sch);
1494 struct tc_hfsc_qopt *qopt;
1495
1496 if (opt == NULL || RTA_PAYLOAD(opt) < sizeof(*qopt))
1497 return -EINVAL;
1498 qopt = RTA_DATA(opt);
1499
1500 sch_tree_lock(sch);
1501 q->defcls = qopt->defcls;
1502 sch_tree_unlock(sch);
1503
1504 return 0;
1505}
1506
1507static void
1508hfsc_reset_class(struct hfsc_class *cl)
1509{
1510 cl->cl_total = 0;
1511 cl->cl_cumul = 0;
1512 cl->cl_d = 0;
1513 cl->cl_e = 0;
1514 cl->cl_vt = 0;
1515 cl->cl_vtadj = 0;
1516 cl->cl_vtoff = 0;
1517 cl->cl_cvtmin = 0;
1518 cl->cl_cvtmax = 0;
1519 cl->cl_cvtoff = 0;
1520 cl->cl_pcvtoff = 0;
1521 cl->cl_vtperiod = 0;
1522 cl->cl_parentperiod = 0;
1523 cl->cl_f = 0;
1524 cl->cl_myf = 0;
1525 cl->cl_myfadj = 0;
1526 cl->cl_cfmin = 0;
1527 cl->cl_nactive = 0;
1528
1529 cl->vt_tree = RB_ROOT;
1530 cl->cf_tree = RB_ROOT;
1531 qdisc_reset(cl->qdisc);
1532
1533 if (cl->cl_flags & HFSC_RSC)
1534 rtsc_init(&cl->cl_deadline, &cl->cl_rsc, 0, 0);
1535 if (cl->cl_flags & HFSC_FSC)
1536 rtsc_init(&cl->cl_virtual, &cl->cl_fsc, 0, 0);
1537 if (cl->cl_flags & HFSC_USC)
1538 rtsc_init(&cl->cl_ulimit, &cl->cl_usc, 0, 0);
1539}
1540
1541static void
1542hfsc_reset_qdisc(struct Qdisc *sch)
1543{
1544 struct hfsc_sched *q = qdisc_priv(sch);
1545 struct hfsc_class *cl;
1546 unsigned int i;
1547
1548 for (i = 0; i < HFSC_HSIZE; i++) {
1549 list_for_each_entry(cl, &q->clhash[i], hlist)
1550 hfsc_reset_class(cl);
1551 }
1552 __skb_queue_purge(&q->requeue);
1553 q->eligible = RB_ROOT;
1554 INIT_LIST_HEAD(&q->droplist);
Patrick McHardyed2b2292007-03-16 01:19:33 -07001555 qdisc_watchdog_cancel(&q->watchdog);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001556 sch->q.qlen = 0;
1557}
1558
1559static void
1560hfsc_destroy_qdisc(struct Qdisc *sch)
1561{
1562 struct hfsc_sched *q = qdisc_priv(sch);
1563 struct hfsc_class *cl, *next;
1564 unsigned int i;
1565
1566 for (i = 0; i < HFSC_HSIZE; i++) {
1567 list_for_each_entry_safe(cl, next, &q->clhash[i], hlist)
1568 hfsc_destroy_class(sch, cl);
1569 }
1570 __skb_queue_purge(&q->requeue);
Patrick McHardyed2b2292007-03-16 01:19:33 -07001571 qdisc_watchdog_cancel(&q->watchdog);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001572}
1573
1574static int
1575hfsc_dump_qdisc(struct Qdisc *sch, struct sk_buff *skb)
1576{
1577 struct hfsc_sched *q = qdisc_priv(sch);
Arnaldo Carvalho de Melo27a884d2007-04-19 20:29:13 -07001578 unsigned char *b = skb_tail_pointer(skb);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001579 struct tc_hfsc_qopt qopt;
1580
1581 qopt.defcls = q->defcls;
1582 RTA_PUT(skb, TCA_OPTIONS, sizeof(qopt), &qopt);
1583 return skb->len;
1584
1585 rtattr_failure:
Arnaldo Carvalho de Melodc5fc572007-03-25 23:06:12 -07001586 nlmsg_trim(skb, b);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001587 return -1;
1588}
1589
1590static int
1591hfsc_enqueue(struct sk_buff *skb, struct Qdisc *sch)
1592{
1593 struct hfsc_class *cl;
1594 unsigned int len;
1595 int err;
1596
1597 cl = hfsc_classify(skb, sch, &err);
1598 if (cl == NULL) {
Jamal Hadi Salim29f1df62006-01-08 22:35:55 -08001599 if (err == NET_XMIT_BYPASS)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001600 sch->qstats.drops++;
1601 kfree_skb(skb);
1602 return err;
1603 }
1604
1605 len = skb->len;
1606 err = cl->qdisc->enqueue(skb, cl->qdisc);
1607 if (unlikely(err != NET_XMIT_SUCCESS)) {
1608 cl->qstats.drops++;
1609 sch->qstats.drops++;
1610 return err;
1611 }
1612
1613 if (cl->qdisc->q.qlen == 1)
1614 set_active(cl, len);
1615
1616 cl->bstats.packets++;
1617 cl->bstats.bytes += len;
1618 sch->bstats.packets++;
1619 sch->bstats.bytes += len;
1620 sch->q.qlen++;
1621
1622 return NET_XMIT_SUCCESS;
1623}
1624
1625static struct sk_buff *
1626hfsc_dequeue(struct Qdisc *sch)
1627{
1628 struct hfsc_sched *q = qdisc_priv(sch);
1629 struct hfsc_class *cl;
1630 struct sk_buff *skb;
1631 u64 cur_time;
1632 unsigned int next_len;
1633 int realtime = 0;
1634
1635 if (sch->q.qlen == 0)
1636 return NULL;
1637 if ((skb = __skb_dequeue(&q->requeue)))
1638 goto out;
1639
Patrick McHardy3bebcda2007-03-23 11:29:25 -07001640 cur_time = psched_get_time();
Linus Torvalds1da177e2005-04-16 15:20:36 -07001641
1642 /*
1643 * if there are eligible classes, use real-time criteria.
1644 * find the class with the minimum deadline among
1645 * the eligible classes.
1646 */
1647 if ((cl = eltree_get_mindl(q, cur_time)) != NULL) {
1648 realtime = 1;
1649 } else {
1650 /*
1651 * use link-sharing criteria
1652 * get the class with the minimum vt in the hierarchy
1653 */
1654 cl = vttree_get_minvt(&q->root, cur_time);
1655 if (cl == NULL) {
1656 sch->qstats.overlimits++;
Patrick McHardyed2b2292007-03-16 01:19:33 -07001657 hfsc_schedule_watchdog(sch);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001658 return NULL;
1659 }
1660 }
1661
1662 skb = cl->qdisc->dequeue(cl->qdisc);
1663 if (skb == NULL) {
1664 if (net_ratelimit())
1665 printk("HFSC: Non-work-conserving qdisc ?\n");
1666 return NULL;
1667 }
1668
1669 update_vf(cl, skb->len, cur_time);
1670 if (realtime)
1671 cl->cl_cumul += skb->len;
1672
1673 if (cl->qdisc->q.qlen != 0) {
1674 if (cl->cl_flags & HFSC_RSC) {
1675 /* update ed */
1676 next_len = qdisc_peek_len(cl->qdisc);
1677 if (realtime)
1678 update_ed(cl, next_len);
1679 else
1680 update_d(cl, next_len);
1681 }
1682 } else {
1683 /* the class becomes passive */
1684 set_passive(cl);
1685 }
1686
1687 out:
1688 sch->flags &= ~TCQ_F_THROTTLED;
1689 sch->q.qlen--;
1690
1691 return skb;
1692}
1693
1694static int
1695hfsc_requeue(struct sk_buff *skb, struct Qdisc *sch)
1696{
1697 struct hfsc_sched *q = qdisc_priv(sch);
1698
1699 __skb_queue_head(&q->requeue, skb);
1700 sch->q.qlen++;
1701 sch->qstats.requeues++;
1702 return NET_XMIT_SUCCESS;
1703}
1704
1705static unsigned int
1706hfsc_drop(struct Qdisc *sch)
1707{
1708 struct hfsc_sched *q = qdisc_priv(sch);
1709 struct hfsc_class *cl;
1710 unsigned int len;
1711
1712 list_for_each_entry(cl, &q->droplist, dlist) {
1713 if (cl->qdisc->ops->drop != NULL &&
1714 (len = cl->qdisc->ops->drop(cl->qdisc)) > 0) {
1715 if (cl->qdisc->q.qlen == 0) {
1716 update_vf(cl, 0, 0);
1717 set_passive(cl);
1718 } else {
1719 list_move_tail(&cl->dlist, &q->droplist);
1720 }
1721 cl->qstats.drops++;
1722 sch->qstats.drops++;
1723 sch->q.qlen--;
1724 return len;
1725 }
1726 }
1727 return 0;
1728}
1729
1730static struct Qdisc_class_ops hfsc_class_ops = {
1731 .change = hfsc_change_class,
1732 .delete = hfsc_delete_class,
1733 .graft = hfsc_graft_class,
1734 .leaf = hfsc_class_leaf,
Patrick McHardyf973b912006-11-29 17:36:43 -08001735 .qlen_notify = hfsc_qlen_notify,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001736 .get = hfsc_get_class,
1737 .put = hfsc_put_class,
1738 .bind_tcf = hfsc_bind_tcf,
1739 .unbind_tcf = hfsc_unbind_tcf,
1740 .tcf_chain = hfsc_tcf_chain,
1741 .dump = hfsc_dump_class,
1742 .dump_stats = hfsc_dump_class_stats,
1743 .walk = hfsc_walk
1744};
1745
1746static struct Qdisc_ops hfsc_qdisc_ops = {
1747 .id = "hfsc",
1748 .init = hfsc_init_qdisc,
1749 .change = hfsc_change_qdisc,
1750 .reset = hfsc_reset_qdisc,
1751 .destroy = hfsc_destroy_qdisc,
1752 .dump = hfsc_dump_qdisc,
1753 .enqueue = hfsc_enqueue,
1754 .dequeue = hfsc_dequeue,
1755 .requeue = hfsc_requeue,
1756 .drop = hfsc_drop,
1757 .cl_ops = &hfsc_class_ops,
1758 .priv_size = sizeof(struct hfsc_sched),
1759 .owner = THIS_MODULE
1760};
1761
1762static int __init
1763hfsc_init(void)
1764{
1765 return register_qdisc(&hfsc_qdisc_ops);
1766}
1767
1768static void __exit
1769hfsc_cleanup(void)
1770{
1771 unregister_qdisc(&hfsc_qdisc_ops);
1772}
1773
1774MODULE_LICENSE("GPL");
1775module_init(hfsc_init);
1776module_exit(hfsc_cleanup);