11da177e4SLinus Torvalds /*
21da177e4SLinus Torvalds * Copyright (c) 2003 Patrick McHardy, <kaber@trash.net>
31da177e4SLinus Torvalds *
41da177e4SLinus Torvalds * This program is free software; you can redistribute it and/or
51da177e4SLinus Torvalds * modify it under the terms of the GNU General Public License
61da177e4SLinus Torvalds * as published by the Free Software Foundation; either version 2
71da177e4SLinus Torvalds * of the License, or (at your option) any later version.
81da177e4SLinus Torvalds *
91da177e4SLinus Torvalds * 2003-10-17 - Ported from altq
101da177e4SLinus Torvalds */
111da177e4SLinus Torvalds /*
121da177e4SLinus Torvalds * Copyright (c) 1997-1999 Carnegie Mellon University. All Rights Reserved.
131da177e4SLinus Torvalds *
141da177e4SLinus Torvalds * Permission to use, copy, modify, and distribute this software and
151da177e4SLinus Torvalds * its documentation is hereby granted (including for commercial or
161da177e4SLinus Torvalds * for-profit use), provided that both the copyright notice and this
171da177e4SLinus Torvalds * permission notice appear in all copies of the software, derivative
181da177e4SLinus Torvalds * works, or modified versions, and any portions thereof.
191da177e4SLinus Torvalds *
201da177e4SLinus Torvalds * THIS SOFTWARE IS EXPERIMENTAL AND IS KNOWN TO HAVE BUGS, SOME OF
211da177e4SLinus Torvalds * WHICH MAY HAVE SERIOUS CONSEQUENCES. CARNEGIE MELLON PROVIDES THIS
221da177e4SLinus Torvalds * SOFTWARE IN ITS ``AS IS'' CONDITION, AND ANY EXPRESS OR IMPLIED
231da177e4SLinus Torvalds * WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
241da177e4SLinus Torvalds * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
251da177e4SLinus Torvalds * DISCLAIMED. IN NO EVENT SHALL CARNEGIE MELLON UNIVERSITY BE LIABLE
261da177e4SLinus Torvalds * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
271da177e4SLinus Torvalds * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT
281da177e4SLinus Torvalds * OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
291da177e4SLinus Torvalds * BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
301da177e4SLinus Torvalds * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
311da177e4SLinus Torvalds * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE
321da177e4SLinus Torvalds * USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH
331da177e4SLinus Torvalds * DAMAGE.
341da177e4SLinus Torvalds *
351da177e4SLinus Torvalds * Carnegie Mellon encourages (but does not require) users of this
361da177e4SLinus Torvalds * software to return any improvements or extensions that they make,
371da177e4SLinus Torvalds * and to grant Carnegie Mellon the rights to redistribute these
381da177e4SLinus Torvalds * changes without encumbrance.
391da177e4SLinus Torvalds */
401da177e4SLinus Torvalds /*
411da177e4SLinus Torvalds * H-FSC is described in Proceedings of SIGCOMM'97,
421da177e4SLinus Torvalds * "A Hierarchical Fair Service Curve Algorithm for Link-Sharing,
431da177e4SLinus Torvalds * Real-Time and Priority Service"
441da177e4SLinus Torvalds * by Ion Stoica, Hui Zhang, and T. S. Eugene Ng.
451da177e4SLinus Torvalds *
461da177e4SLinus Torvalds * Oleg Cherevko <olwi@aq.ml.com.ua> added the upperlimit for link-sharing.
471da177e4SLinus Torvalds * when a class has an upperlimit, the fit-time is computed from the
481da177e4SLinus Torvalds * upperlimit service curve. the link-sharing scheduler does not schedule
491da177e4SLinus Torvalds * a class whose fit-time exceeds the current time.
501da177e4SLinus Torvalds */
511da177e4SLinus Torvalds
521da177e4SLinus Torvalds #include <linux/kernel.h>
531da177e4SLinus Torvalds #include <linux/module.h>
541da177e4SLinus Torvalds #include <linux/types.h>
551da177e4SLinus Torvalds #include <linux/errno.h>
561da177e4SLinus Torvalds #include <linux/compiler.h>
571da177e4SLinus Torvalds #include <linux/spinlock.h>
581da177e4SLinus Torvalds #include <linux/skbuff.h>
591da177e4SLinus Torvalds #include <linux/string.h>
601da177e4SLinus Torvalds #include <linux/slab.h>
611da177e4SLinus Torvalds #include <linux/list.h>
621da177e4SLinus Torvalds #include <linux/rbtree.h>
631da177e4SLinus Torvalds #include <linux/init.h>
641da177e4SLinus Torvalds #include <linux/rtnetlink.h>
651da177e4SLinus Torvalds #include <linux/pkt_sched.h>
66dc5fc579SArnaldo Carvalho de Melo #include <net/netlink.h>
671da177e4SLinus Torvalds #include <net/pkt_sched.h>
681da177e4SLinus Torvalds #include <net/pkt_cls.h>
691da177e4SLinus Torvalds #include <asm/div64.h>
701da177e4SLinus Torvalds
711da177e4SLinus Torvalds /*
721da177e4SLinus Torvalds * kernel internal service curve representation:
731da177e4SLinus Torvalds * coordinates are given by 64 bit unsigned integers.
741da177e4SLinus Torvalds * x-axis: unit is clock count.
751da177e4SLinus Torvalds * y-axis: unit is byte.
761da177e4SLinus Torvalds *
771da177e4SLinus Torvalds * The service curve parameters are converted to the internal
781da177e4SLinus Torvalds * representation. The slope values are scaled to avoid overflow.
791da177e4SLinus Torvalds * the inverse slope values as well as the y-projection of the 1st
80fd589a8fSAnand Gadiyar * segment are kept in order to avoid 64-bit divide operations
811da177e4SLinus Torvalds * that are expensive on 32-bit architectures.
821da177e4SLinus Torvalds */
831da177e4SLinus Torvalds
84cc7ec456SEric Dumazet struct internal_sc {
851da177e4SLinus Torvalds u64 sm1; /* scaled slope of the 1st segment */
861da177e4SLinus Torvalds u64 ism1; /* scaled inverse-slope of the 1st segment */
871da177e4SLinus Torvalds u64 dx; /* the x-projection of the 1st segment */
881da177e4SLinus Torvalds u64 dy; /* the y-projection of the 1st segment */
891da177e4SLinus Torvalds u64 sm2; /* scaled slope of the 2nd segment */
901da177e4SLinus Torvalds u64 ism2; /* scaled inverse-slope of the 2nd segment */
911da177e4SLinus Torvalds };
921da177e4SLinus Torvalds
931da177e4SLinus Torvalds /* runtime service curve */
94cc7ec456SEric Dumazet struct runtime_sc {
951da177e4SLinus Torvalds u64 x; /* current starting position on x-axis */
961da177e4SLinus Torvalds u64 y; /* current starting position on y-axis */
971da177e4SLinus Torvalds u64 sm1; /* scaled slope of the 1st segment */
981da177e4SLinus Torvalds u64 ism1; /* scaled inverse-slope of the 1st segment */
991da177e4SLinus Torvalds u64 dx; /* the x-projection of the 1st segment */
1001da177e4SLinus Torvalds u64 dy; /* the y-projection of the 1st segment */
1011da177e4SLinus Torvalds u64 sm2; /* scaled slope of the 2nd segment */
1021da177e4SLinus Torvalds u64 ism2; /* scaled inverse-slope of the 2nd segment */
1031da177e4SLinus Torvalds };
1041da177e4SLinus Torvalds
105cc7ec456SEric Dumazet enum hfsc_class_flags {
1061da177e4SLinus Torvalds HFSC_RSC = 0x1,
1071da177e4SLinus Torvalds HFSC_FSC = 0x2,
1081da177e4SLinus Torvalds HFSC_USC = 0x4
1091da177e4SLinus Torvalds };
1101da177e4SLinus Torvalds
111cc7ec456SEric Dumazet struct hfsc_class {
112be0d39d5SPatrick McHardy struct Qdisc_class_common cl_common;
1131da177e4SLinus Torvalds
11450dc9a85SAhmed S. Darwish struct gnet_stats_basic_sync bstats;
1151da177e4SLinus Torvalds struct gnet_stats_queue qstats;
1161c0d32fdSEric Dumazet struct net_rate_estimator __rcu *rate_est;
11725d8c0d5SJohn Fastabend struct tcf_proto __rcu *filter_list; /* filter list */
1186529eabaSJiri Pirko struct tcf_block *block;
119bba7eb5dSFlorian Westphal unsigned int level; /* class level in hierarchy */
1201da177e4SLinus Torvalds
1211da177e4SLinus Torvalds struct hfsc_sched *sched; /* scheduler data */
1221da177e4SLinus Torvalds struct hfsc_class *cl_parent; /* parent class */
1231da177e4SLinus Torvalds struct list_head siblings; /* sibling classes */
1241da177e4SLinus Torvalds struct list_head children; /* child classes */
1251da177e4SLinus Torvalds struct Qdisc *qdisc; /* leaf qdisc */
1261da177e4SLinus Torvalds
1271da177e4SLinus Torvalds struct rb_node el_node; /* qdisc's eligible tree member */
1281da177e4SLinus Torvalds struct rb_root vt_tree; /* active children sorted by cl_vt */
1291da177e4SLinus Torvalds struct rb_node vt_node; /* parent's vt_tree member */
1301da177e4SLinus Torvalds struct rb_root cf_tree; /* active children sorted by cl_f */
1311da177e4SLinus Torvalds struct rb_node cf_node; /* parent's cf_heap member */
1321da177e4SLinus Torvalds
1331da177e4SLinus Torvalds u64 cl_total; /* total work in bytes */
1341da177e4SLinus Torvalds u64 cl_cumul; /* cumulative work in bytes done by
1351da177e4SLinus Torvalds real-time criteria */
1361da177e4SLinus Torvalds
1371da177e4SLinus Torvalds u64 cl_d; /* deadline*/
1381da177e4SLinus Torvalds u64 cl_e; /* eligible time */
1391da177e4SLinus Torvalds u64 cl_vt; /* virtual time */
1401da177e4SLinus Torvalds u64 cl_f; /* time when this class will fit for
1411da177e4SLinus Torvalds link-sharing, max(myf, cfmin) */
1421da177e4SLinus Torvalds u64 cl_myf; /* my fit-time (calculated from this
1431da177e4SLinus Torvalds class's own upperlimit curve) */
1441da177e4SLinus Torvalds u64 cl_cfmin; /* earliest children's fit-time (used
1451da177e4SLinus Torvalds with cl_myf to obtain cl_f) */
1461da177e4SLinus Torvalds u64 cl_cvtmin; /* minimal virtual time among the
1471da177e4SLinus Torvalds children fit for link-sharing
1481da177e4SLinus Torvalds (monotonic within a period) */
1491da177e4SLinus Torvalds u64 cl_vtadj; /* intra-period cumulative vt
1501da177e4SLinus Torvalds adjustment */
151678a6241SMichal Soltys u64 cl_cvtoff; /* largest virtual time seen among
152678a6241SMichal Soltys the children */
1531da177e4SLinus Torvalds
1541da177e4SLinus Torvalds struct internal_sc cl_rsc; /* internal real-time service curve */
1551da177e4SLinus Torvalds struct internal_sc cl_fsc; /* internal fair service curve */
1561da177e4SLinus Torvalds struct internal_sc cl_usc; /* internal upperlimit service curve */
1571da177e4SLinus Torvalds struct runtime_sc cl_deadline; /* deadline curve */
1581da177e4SLinus Torvalds struct runtime_sc cl_eligible; /* eligible curve */
1591da177e4SLinus Torvalds struct runtime_sc cl_virtual; /* virtual curve */
1601da177e4SLinus Torvalds struct runtime_sc cl_ulimit; /* upperlimit curve */
1611da177e4SLinus Torvalds
162bba7eb5dSFlorian Westphal u8 cl_flags; /* which curves are valid */
163bba7eb5dSFlorian Westphal u32 cl_vtperiod; /* vt period sequence number */
164bba7eb5dSFlorian Westphal u32 cl_parentperiod;/* parent's vt period sequence number*/
165bba7eb5dSFlorian Westphal u32 cl_nactive; /* number of active children */
1661da177e4SLinus Torvalds };
1671da177e4SLinus Torvalds
168cc7ec456SEric Dumazet struct hfsc_sched {
1691da177e4SLinus Torvalds u16 defcls; /* default class id */
1701da177e4SLinus Torvalds struct hfsc_class root; /* root class */
171be0d39d5SPatrick McHardy struct Qdisc_class_hash clhash; /* class hash */
1721da177e4SLinus Torvalds struct rb_root eligible; /* eligible tree */
173ed2b229aSPatrick McHardy struct qdisc_watchdog watchdog; /* watchdog timer */
1741da177e4SLinus Torvalds };
1751da177e4SLinus Torvalds
1761da177e4SLinus Torvalds #define HT_INFINITY 0xffffffffffffffffULL /* infinite time value */
1771da177e4SLinus Torvalds
1781da177e4SLinus Torvalds
1791da177e4SLinus Torvalds /*
1801da177e4SLinus Torvalds * eligible tree holds backlogged classes being sorted by their eligible times.
1811da177e4SLinus Torvalds * there is one eligible tree per hfsc instance.
1821da177e4SLinus Torvalds */
1831da177e4SLinus Torvalds
1841da177e4SLinus Torvalds static void
eltree_insert(struct hfsc_class * cl)1851da177e4SLinus Torvalds eltree_insert(struct hfsc_class *cl)
1861da177e4SLinus Torvalds {
1871da177e4SLinus Torvalds struct rb_node **p = &cl->sched->eligible.rb_node;
1881da177e4SLinus Torvalds struct rb_node *parent = NULL;
1891da177e4SLinus Torvalds struct hfsc_class *cl1;
1901da177e4SLinus Torvalds
1911da177e4SLinus Torvalds while (*p != NULL) {
1921da177e4SLinus Torvalds parent = *p;
1931da177e4SLinus Torvalds cl1 = rb_entry(parent, struct hfsc_class, el_node);
1941da177e4SLinus Torvalds if (cl->cl_e >= cl1->cl_e)
1951da177e4SLinus Torvalds p = &parent->rb_right;
1961da177e4SLinus Torvalds else
1971da177e4SLinus Torvalds p = &parent->rb_left;
1981da177e4SLinus Torvalds }
1991da177e4SLinus Torvalds rb_link_node(&cl->el_node, parent, p);
2001da177e4SLinus Torvalds rb_insert_color(&cl->el_node, &cl->sched->eligible);
2011da177e4SLinus Torvalds }
2021da177e4SLinus Torvalds
2031da177e4SLinus Torvalds static inline void
eltree_remove(struct hfsc_class * cl)2041da177e4SLinus Torvalds eltree_remove(struct hfsc_class *cl)
2051da177e4SLinus Torvalds {
2061da177e4SLinus Torvalds rb_erase(&cl->el_node, &cl->sched->eligible);
2071da177e4SLinus Torvalds }
2081da177e4SLinus Torvalds
2091da177e4SLinus Torvalds static inline void
eltree_update(struct hfsc_class * cl)2101da177e4SLinus Torvalds eltree_update(struct hfsc_class *cl)
2111da177e4SLinus Torvalds {
2121da177e4SLinus Torvalds eltree_remove(cl);
2131da177e4SLinus Torvalds eltree_insert(cl);
2141da177e4SLinus Torvalds }
2151da177e4SLinus Torvalds
2161da177e4SLinus Torvalds /* find the class with the minimum deadline among the eligible classes */
2171da177e4SLinus Torvalds static inline struct hfsc_class *
eltree_get_mindl(struct hfsc_sched * q,u64 cur_time)2181da177e4SLinus Torvalds eltree_get_mindl(struct hfsc_sched *q, u64 cur_time)
2191da177e4SLinus Torvalds {
2201da177e4SLinus Torvalds struct hfsc_class *p, *cl = NULL;
2211da177e4SLinus Torvalds struct rb_node *n;
2221da177e4SLinus Torvalds
2231da177e4SLinus Torvalds for (n = rb_first(&q->eligible); n != NULL; n = rb_next(n)) {
2241da177e4SLinus Torvalds p = rb_entry(n, struct hfsc_class, el_node);
2251da177e4SLinus Torvalds if (p->cl_e > cur_time)
2261da177e4SLinus Torvalds break;
2271da177e4SLinus Torvalds if (cl == NULL || p->cl_d < cl->cl_d)
2281da177e4SLinus Torvalds cl = p;
2291da177e4SLinus Torvalds }
2301da177e4SLinus Torvalds return cl;
2311da177e4SLinus Torvalds }
2321da177e4SLinus Torvalds
2331da177e4SLinus Torvalds /* find the class with minimum eligible time among the eligible classes */
2341da177e4SLinus Torvalds static inline struct hfsc_class *
eltree_get_minel(struct hfsc_sched * q)2351da177e4SLinus Torvalds eltree_get_minel(struct hfsc_sched *q)
2361da177e4SLinus Torvalds {
2371da177e4SLinus Torvalds struct rb_node *n;
2381da177e4SLinus Torvalds
2391da177e4SLinus Torvalds n = rb_first(&q->eligible);
2401da177e4SLinus Torvalds if (n == NULL)
2411da177e4SLinus Torvalds return NULL;
2421da177e4SLinus Torvalds return rb_entry(n, struct hfsc_class, el_node);
2431da177e4SLinus Torvalds }
2441da177e4SLinus Torvalds
2451da177e4SLinus Torvalds /*
2461da177e4SLinus Torvalds * vttree holds holds backlogged child classes being sorted by their virtual
2471da177e4SLinus Torvalds * time. each intermediate class has one vttree.
2481da177e4SLinus Torvalds */
2491da177e4SLinus Torvalds static void
vttree_insert(struct hfsc_class * cl)2501da177e4SLinus Torvalds vttree_insert(struct hfsc_class *cl)
2511da177e4SLinus Torvalds {
2521da177e4SLinus Torvalds struct rb_node **p = &cl->cl_parent->vt_tree.rb_node;
2531da177e4SLinus Torvalds struct rb_node *parent = NULL;
2541da177e4SLinus Torvalds struct hfsc_class *cl1;
2551da177e4SLinus Torvalds
2561da177e4SLinus Torvalds while (*p != NULL) {
2571da177e4SLinus Torvalds parent = *p;
2581da177e4SLinus Torvalds cl1 = rb_entry(parent, struct hfsc_class, vt_node);
2591da177e4SLinus Torvalds if (cl->cl_vt >= cl1->cl_vt)
2601da177e4SLinus Torvalds p = &parent->rb_right;
2611da177e4SLinus Torvalds else
2621da177e4SLinus Torvalds p = &parent->rb_left;
2631da177e4SLinus Torvalds }
2641da177e4SLinus Torvalds rb_link_node(&cl->vt_node, parent, p);
2651da177e4SLinus Torvalds rb_insert_color(&cl->vt_node, &cl->cl_parent->vt_tree);
2661da177e4SLinus Torvalds }
2671da177e4SLinus Torvalds
2681da177e4SLinus Torvalds static inline void
vttree_remove(struct hfsc_class * cl)2691da177e4SLinus Torvalds vttree_remove(struct hfsc_class *cl)
2701da177e4SLinus Torvalds {
2711da177e4SLinus Torvalds rb_erase(&cl->vt_node, &cl->cl_parent->vt_tree);
2721da177e4SLinus Torvalds }
2731da177e4SLinus Torvalds
2741da177e4SLinus Torvalds static inline void
vttree_update(struct hfsc_class * cl)2751da177e4SLinus Torvalds vttree_update(struct hfsc_class *cl)
2761da177e4SLinus Torvalds {
2771da177e4SLinus Torvalds vttree_remove(cl);
2781da177e4SLinus Torvalds vttree_insert(cl);
2791da177e4SLinus Torvalds }
2801da177e4SLinus Torvalds
2811da177e4SLinus Torvalds static inline struct hfsc_class *
vttree_firstfit(struct hfsc_class * cl,u64 cur_time)2821da177e4SLinus Torvalds vttree_firstfit(struct hfsc_class *cl, u64 cur_time)
2831da177e4SLinus Torvalds {
2841da177e4SLinus Torvalds struct hfsc_class *p;
2851da177e4SLinus Torvalds struct rb_node *n;
2861da177e4SLinus Torvalds
2871da177e4SLinus Torvalds for (n = rb_first(&cl->vt_tree); n != NULL; n = rb_next(n)) {
2881da177e4SLinus Torvalds p = rb_entry(n, struct hfsc_class, vt_node);
2891da177e4SLinus Torvalds if (p->cl_f <= cur_time)
2901da177e4SLinus Torvalds return p;
2911da177e4SLinus Torvalds }
2921da177e4SLinus Torvalds return NULL;
2931da177e4SLinus Torvalds }
2941da177e4SLinus Torvalds
2951da177e4SLinus Torvalds /*
2961da177e4SLinus Torvalds * get the leaf class with the minimum vt in the hierarchy
2971da177e4SLinus Torvalds */
2981da177e4SLinus Torvalds static struct hfsc_class *
vttree_get_minvt(struct hfsc_class * cl,u64 cur_time)2991da177e4SLinus Torvalds vttree_get_minvt(struct hfsc_class *cl, u64 cur_time)
3001da177e4SLinus Torvalds {
3011da177e4SLinus Torvalds /* if root-class's cfmin is bigger than cur_time nothing to do */
3021da177e4SLinus Torvalds if (cl->cl_cfmin > cur_time)
3031da177e4SLinus Torvalds return NULL;
3041da177e4SLinus Torvalds
3051da177e4SLinus Torvalds while (cl->level > 0) {
3061da177e4SLinus Torvalds cl = vttree_firstfit(cl, cur_time);
3071da177e4SLinus Torvalds if (cl == NULL)
3081da177e4SLinus Torvalds return NULL;
3091da177e4SLinus Torvalds /*
3101da177e4SLinus Torvalds * update parent's cl_cvtmin.
3111da177e4SLinus Torvalds */
3121da177e4SLinus Torvalds if (cl->cl_parent->cl_cvtmin < cl->cl_vt)
3131da177e4SLinus Torvalds cl->cl_parent->cl_cvtmin = cl->cl_vt;
3141da177e4SLinus Torvalds }
3151da177e4SLinus Torvalds return cl;
3161da177e4SLinus Torvalds }
3171da177e4SLinus Torvalds
3181da177e4SLinus Torvalds static void
cftree_insert(struct hfsc_class * cl)3191da177e4SLinus Torvalds cftree_insert(struct hfsc_class *cl)
3201da177e4SLinus Torvalds {
3211da177e4SLinus Torvalds struct rb_node **p = &cl->cl_parent->cf_tree.rb_node;
3221da177e4SLinus Torvalds struct rb_node *parent = NULL;
3231da177e4SLinus Torvalds struct hfsc_class *cl1;
3241da177e4SLinus Torvalds
3251da177e4SLinus Torvalds while (*p != NULL) {
3261da177e4SLinus Torvalds parent = *p;
3271da177e4SLinus Torvalds cl1 = rb_entry(parent, struct hfsc_class, cf_node);
3281da177e4SLinus Torvalds if (cl->cl_f >= cl1->cl_f)
3291da177e4SLinus Torvalds p = &parent->rb_right;
3301da177e4SLinus Torvalds else
3311da177e4SLinus Torvalds p = &parent->rb_left;
3321da177e4SLinus Torvalds }
3331da177e4SLinus Torvalds rb_link_node(&cl->cf_node, parent, p);
3341da177e4SLinus Torvalds rb_insert_color(&cl->cf_node, &cl->cl_parent->cf_tree);
3351da177e4SLinus Torvalds }
3361da177e4SLinus Torvalds
3371da177e4SLinus Torvalds static inline void
cftree_remove(struct hfsc_class * cl)3381da177e4SLinus Torvalds cftree_remove(struct hfsc_class *cl)
3391da177e4SLinus Torvalds {
3401da177e4SLinus Torvalds rb_erase(&cl->cf_node, &cl->cl_parent->cf_tree);
3411da177e4SLinus Torvalds }
3421da177e4SLinus Torvalds
3431da177e4SLinus Torvalds static inline void
cftree_update(struct hfsc_class * cl)3441da177e4SLinus Torvalds cftree_update(struct hfsc_class *cl)
3451da177e4SLinus Torvalds {
3461da177e4SLinus Torvalds cftree_remove(cl);
3471da177e4SLinus Torvalds cftree_insert(cl);
3481da177e4SLinus Torvalds }
3491da177e4SLinus Torvalds
3501da177e4SLinus Torvalds /*
3511da177e4SLinus Torvalds * service curve support functions
3521da177e4SLinus Torvalds *
3531da177e4SLinus Torvalds * external service curve parameters
3541da177e4SLinus Torvalds * m: bps
3551da177e4SLinus Torvalds * d: us
3561da177e4SLinus Torvalds * internal service curve parameters
3571da177e4SLinus Torvalds * sm: (bytes/psched_us) << SM_SHIFT
3581da177e4SLinus Torvalds * ism: (psched_us/byte) << ISM_SHIFT
3591da177e4SLinus Torvalds * dx: psched_us
3601da177e4SLinus Torvalds *
361728bf098SJarek Poplawski * The clock source resolution with ktime and PSCHED_SHIFT 10 is 1.024us.
3621da177e4SLinus Torvalds *
3631da177e4SLinus Torvalds * sm and ism are scaled in order to keep effective digits.
3641da177e4SLinus Torvalds * SM_SHIFT and ISM_SHIFT are selected to keep at least 4 effective
3651da177e4SLinus Torvalds * digits in decimal using the following table.
3661da177e4SLinus Torvalds *
3671da177e4SLinus Torvalds * bits/sec 100Kbps 1Mbps 10Mbps 100Mbps 1Gbps
3681da177e4SLinus Torvalds * ------------+-------------------------------------------------------
369641b9e0eSPatrick McHardy * bytes/1.024us 12.8e-3 128e-3 1280e-3 12800e-3 128000e-3
3701da177e4SLinus Torvalds *
371641b9e0eSPatrick McHardy * 1.024us/byte 78.125 7.8125 0.78125 0.078125 0.0078125
372728bf098SJarek Poplawski *
373728bf098SJarek Poplawski * So, for PSCHED_SHIFT 10 we need: SM_SHIFT 20, ISM_SHIFT 18.
3741da177e4SLinus Torvalds */
375728bf098SJarek Poplawski #define SM_SHIFT (30 - PSCHED_SHIFT)
376728bf098SJarek Poplawski #define ISM_SHIFT (8 + PSCHED_SHIFT)
3771da177e4SLinus Torvalds
3781da177e4SLinus Torvalds #define SM_MASK ((1ULL << SM_SHIFT) - 1)
3791da177e4SLinus Torvalds #define ISM_MASK ((1ULL << ISM_SHIFT) - 1)
3801da177e4SLinus Torvalds
3811da177e4SLinus Torvalds static inline u64
seg_x2y(u64 x,u64 sm)3821da177e4SLinus Torvalds seg_x2y(u64 x, u64 sm)
3831da177e4SLinus Torvalds {
3841da177e4SLinus Torvalds u64 y;
3851da177e4SLinus Torvalds
3861da177e4SLinus Torvalds /*
3871da177e4SLinus Torvalds * compute
3881da177e4SLinus Torvalds * y = x * sm >> SM_SHIFT
3891da177e4SLinus Torvalds * but divide it for the upper and lower bits to avoid overflow
3901da177e4SLinus Torvalds */
3911da177e4SLinus Torvalds y = (x >> SM_SHIFT) * sm + (((x & SM_MASK) * sm) >> SM_SHIFT);
3921da177e4SLinus Torvalds return y;
3931da177e4SLinus Torvalds }
3941da177e4SLinus Torvalds
3951da177e4SLinus Torvalds static inline u64
seg_y2x(u64 y,u64 ism)3961da177e4SLinus Torvalds seg_y2x(u64 y, u64 ism)
3971da177e4SLinus Torvalds {
3981da177e4SLinus Torvalds u64 x;
3991da177e4SLinus Torvalds
4001da177e4SLinus Torvalds if (y == 0)
4011da177e4SLinus Torvalds x = 0;
4021da177e4SLinus Torvalds else if (ism == HT_INFINITY)
4031da177e4SLinus Torvalds x = HT_INFINITY;
4041da177e4SLinus Torvalds else {
4051da177e4SLinus Torvalds x = (y >> ISM_SHIFT) * ism
4061da177e4SLinus Torvalds + (((y & ISM_MASK) * ism) >> ISM_SHIFT);
4071da177e4SLinus Torvalds }
4081da177e4SLinus Torvalds return x;
4091da177e4SLinus Torvalds }
4101da177e4SLinus Torvalds
4111da177e4SLinus Torvalds /* Convert m (bps) into sm (bytes/psched us) */
4121da177e4SLinus Torvalds static u64
m2sm(u32 m)4131da177e4SLinus Torvalds m2sm(u32 m)
4141da177e4SLinus Torvalds {
4151da177e4SLinus Torvalds u64 sm;
4161da177e4SLinus Torvalds
4171da177e4SLinus Torvalds sm = ((u64)m << SM_SHIFT);
41800c04af9SPatrick McHardy sm += PSCHED_TICKS_PER_SEC - 1;
41900c04af9SPatrick McHardy do_div(sm, PSCHED_TICKS_PER_SEC);
4201da177e4SLinus Torvalds return sm;
4211da177e4SLinus Torvalds }
4221da177e4SLinus Torvalds
4231da177e4SLinus Torvalds /* convert m (bps) into ism (psched us/byte) */
4241da177e4SLinus Torvalds static u64
m2ism(u32 m)4251da177e4SLinus Torvalds m2ism(u32 m)
4261da177e4SLinus Torvalds {
4271da177e4SLinus Torvalds u64 ism;
4281da177e4SLinus Torvalds
4291da177e4SLinus Torvalds if (m == 0)
4301da177e4SLinus Torvalds ism = HT_INFINITY;
4311da177e4SLinus Torvalds else {
43200c04af9SPatrick McHardy ism = ((u64)PSCHED_TICKS_PER_SEC << ISM_SHIFT);
4331da177e4SLinus Torvalds ism += m - 1;
4341da177e4SLinus Torvalds do_div(ism, m);
4351da177e4SLinus Torvalds }
4361da177e4SLinus Torvalds return ism;
4371da177e4SLinus Torvalds }
4381da177e4SLinus Torvalds
4391da177e4SLinus Torvalds /* convert d (us) into dx (psched us) */
4401da177e4SLinus Torvalds static u64
d2dx(u32 d)4411da177e4SLinus Torvalds d2dx(u32 d)
4421da177e4SLinus Torvalds {
4431da177e4SLinus Torvalds u64 dx;
4441da177e4SLinus Torvalds
44500c04af9SPatrick McHardy dx = ((u64)d * PSCHED_TICKS_PER_SEC);
446538e43a4SPatrick McHardy dx += USEC_PER_SEC - 1;
447538e43a4SPatrick McHardy do_div(dx, USEC_PER_SEC);
4481da177e4SLinus Torvalds return dx;
4491da177e4SLinus Torvalds }
4501da177e4SLinus Torvalds
4511da177e4SLinus Torvalds /* convert sm (bytes/psched us) into m (bps) */
4521da177e4SLinus Torvalds static u32
sm2m(u64 sm)4531da177e4SLinus Torvalds sm2m(u64 sm)
4541da177e4SLinus Torvalds {
4551da177e4SLinus Torvalds u64 m;
4561da177e4SLinus Torvalds
45700c04af9SPatrick McHardy m = (sm * PSCHED_TICKS_PER_SEC) >> SM_SHIFT;
4581da177e4SLinus Torvalds return (u32)m;
4591da177e4SLinus Torvalds }
4601da177e4SLinus Torvalds
4611da177e4SLinus Torvalds /* convert dx (psched us) into d (us) */
4621da177e4SLinus Torvalds static u32
dx2d(u64 dx)4631da177e4SLinus Torvalds dx2d(u64 dx)
4641da177e4SLinus Torvalds {
4651da177e4SLinus Torvalds u64 d;
4661da177e4SLinus Torvalds
467538e43a4SPatrick McHardy d = dx * USEC_PER_SEC;
46800c04af9SPatrick McHardy do_div(d, PSCHED_TICKS_PER_SEC);
4691da177e4SLinus Torvalds return (u32)d;
4701da177e4SLinus Torvalds }
4711da177e4SLinus Torvalds
4721da177e4SLinus Torvalds static void
sc2isc(struct tc_service_curve * sc,struct internal_sc * isc)4731da177e4SLinus Torvalds sc2isc(struct tc_service_curve *sc, struct internal_sc *isc)
4741da177e4SLinus Torvalds {
4751da177e4SLinus Torvalds isc->sm1 = m2sm(sc->m1);
4761da177e4SLinus Torvalds isc->ism1 = m2ism(sc->m1);
4771da177e4SLinus Torvalds isc->dx = d2dx(sc->d);
4781da177e4SLinus Torvalds isc->dy = seg_x2y(isc->dx, isc->sm1);
4791da177e4SLinus Torvalds isc->sm2 = m2sm(sc->m2);
4801da177e4SLinus Torvalds isc->ism2 = m2ism(sc->m2);
4811da177e4SLinus Torvalds }
4821da177e4SLinus Torvalds
4831da177e4SLinus Torvalds /*
4841da177e4SLinus Torvalds * initialize the runtime service curve with the given internal
4851da177e4SLinus Torvalds * service curve starting at (x, y).
4861da177e4SLinus Torvalds */
4871da177e4SLinus Torvalds static void
rtsc_init(struct runtime_sc * rtsc,struct internal_sc * isc,u64 x,u64 y)4881da177e4SLinus Torvalds rtsc_init(struct runtime_sc *rtsc, struct internal_sc *isc, u64 x, u64 y)
4891da177e4SLinus Torvalds {
4901da177e4SLinus Torvalds rtsc->x = x;
4911da177e4SLinus Torvalds rtsc->y = y;
4921da177e4SLinus Torvalds rtsc->sm1 = isc->sm1;
4931da177e4SLinus Torvalds rtsc->ism1 = isc->ism1;
4941da177e4SLinus Torvalds rtsc->dx = isc->dx;
4951da177e4SLinus Torvalds rtsc->dy = isc->dy;
4961da177e4SLinus Torvalds rtsc->sm2 = isc->sm2;
4971da177e4SLinus Torvalds rtsc->ism2 = isc->ism2;
4981da177e4SLinus Torvalds }
4991da177e4SLinus Torvalds
5001da177e4SLinus Torvalds /*
5011da177e4SLinus Torvalds * calculate the y-projection of the runtime service curve by the
5021da177e4SLinus Torvalds * given x-projection value
5031da177e4SLinus Torvalds */
5041da177e4SLinus Torvalds static u64
rtsc_y2x(struct runtime_sc * rtsc,u64 y)5051da177e4SLinus Torvalds rtsc_y2x(struct runtime_sc *rtsc, u64 y)
5061da177e4SLinus Torvalds {
5071da177e4SLinus Torvalds u64 x;
5081da177e4SLinus Torvalds
5091da177e4SLinus Torvalds if (y < rtsc->y)
5101da177e4SLinus Torvalds x = rtsc->x;
5111da177e4SLinus Torvalds else if (y <= rtsc->y + rtsc->dy) {
5121da177e4SLinus Torvalds /* x belongs to the 1st segment */
5131da177e4SLinus Torvalds if (rtsc->dy == 0)
5141da177e4SLinus Torvalds x = rtsc->x + rtsc->dx;
5151da177e4SLinus Torvalds else
5161da177e4SLinus Torvalds x = rtsc->x + seg_y2x(y - rtsc->y, rtsc->ism1);
5171da177e4SLinus Torvalds } else {
5181da177e4SLinus Torvalds /* x belongs to the 2nd segment */
5191da177e4SLinus Torvalds x = rtsc->x + rtsc->dx
5201da177e4SLinus Torvalds + seg_y2x(y - rtsc->y - rtsc->dy, rtsc->ism2);
5211da177e4SLinus Torvalds }
5221da177e4SLinus Torvalds return x;
5231da177e4SLinus Torvalds }
5241da177e4SLinus Torvalds
5251da177e4SLinus Torvalds static u64
rtsc_x2y(struct runtime_sc * rtsc,u64 x)5261da177e4SLinus Torvalds rtsc_x2y(struct runtime_sc *rtsc, u64 x)
5271da177e4SLinus Torvalds {
5281da177e4SLinus Torvalds u64 y;
5291da177e4SLinus Torvalds
5301da177e4SLinus Torvalds if (x <= rtsc->x)
5311da177e4SLinus Torvalds y = rtsc->y;
5321da177e4SLinus Torvalds else if (x <= rtsc->x + rtsc->dx)
5331da177e4SLinus Torvalds /* y belongs to the 1st segment */
5341da177e4SLinus Torvalds y = rtsc->y + seg_x2y(x - rtsc->x, rtsc->sm1);
5351da177e4SLinus Torvalds else
5361da177e4SLinus Torvalds /* y belongs to the 2nd segment */
5371da177e4SLinus Torvalds y = rtsc->y + rtsc->dy
5381da177e4SLinus Torvalds + seg_x2y(x - rtsc->x - rtsc->dx, rtsc->sm2);
5391da177e4SLinus Torvalds return y;
5401da177e4SLinus Torvalds }
5411da177e4SLinus Torvalds
5421da177e4SLinus Torvalds /*
5431da177e4SLinus Torvalds * update the runtime service curve by taking the minimum of the current
5441da177e4SLinus Torvalds * runtime service curve and the service curve starting at (x, y).
5451da177e4SLinus Torvalds */
5461da177e4SLinus Torvalds static void
rtsc_min(struct runtime_sc * rtsc,struct internal_sc * isc,u64 x,u64 y)5471da177e4SLinus Torvalds rtsc_min(struct runtime_sc *rtsc, struct internal_sc *isc, u64 x, u64 y)
5481da177e4SLinus Torvalds {
5491da177e4SLinus Torvalds u64 y1, y2, dx, dy;
5501da177e4SLinus Torvalds u32 dsm;
5511da177e4SLinus Torvalds
5521da177e4SLinus Torvalds if (isc->sm1 <= isc->sm2) {
5531da177e4SLinus Torvalds /* service curve is convex */
5541da177e4SLinus Torvalds y1 = rtsc_x2y(rtsc, x);
5551da177e4SLinus Torvalds if (y1 < y)
5561da177e4SLinus Torvalds /* the current rtsc is smaller */
5571da177e4SLinus Torvalds return;
5581da177e4SLinus Torvalds rtsc->x = x;
5591da177e4SLinus Torvalds rtsc->y = y;
5601da177e4SLinus Torvalds return;
5611da177e4SLinus Torvalds }
5621da177e4SLinus Torvalds
5631da177e4SLinus Torvalds /*
5641da177e4SLinus Torvalds * service curve is concave
5651da177e4SLinus Torvalds * compute the two y values of the current rtsc
5661da177e4SLinus Torvalds * y1: at x
5671da177e4SLinus Torvalds * y2: at (x + dx)
5681da177e4SLinus Torvalds */
5691da177e4SLinus Torvalds y1 = rtsc_x2y(rtsc, x);
5701da177e4SLinus Torvalds if (y1 <= y) {
5711da177e4SLinus Torvalds /* rtsc is below isc, no change to rtsc */
5721da177e4SLinus Torvalds return;
5731da177e4SLinus Torvalds }
5741da177e4SLinus Torvalds
5751da177e4SLinus Torvalds y2 = rtsc_x2y(rtsc, x + isc->dx);
5761da177e4SLinus Torvalds if (y2 >= y + isc->dy) {
5771da177e4SLinus Torvalds /* rtsc is above isc, replace rtsc by isc */
5781da177e4SLinus Torvalds rtsc->x = x;
5791da177e4SLinus Torvalds rtsc->y = y;
5801da177e4SLinus Torvalds rtsc->dx = isc->dx;
5811da177e4SLinus Torvalds rtsc->dy = isc->dy;
5821da177e4SLinus Torvalds return;
5831da177e4SLinus Torvalds }
5841da177e4SLinus Torvalds
5851da177e4SLinus Torvalds /*
5861da177e4SLinus Torvalds * the two curves intersect
5871da177e4SLinus Torvalds * compute the offsets (dx, dy) using the reverse
5881da177e4SLinus Torvalds * function of seg_x2y()
5891da177e4SLinus Torvalds * seg_x2y(dx, sm1) == seg_x2y(dx, sm2) + (y1 - y)
5901da177e4SLinus Torvalds */
5911da177e4SLinus Torvalds dx = (y1 - y) << SM_SHIFT;
5921da177e4SLinus Torvalds dsm = isc->sm1 - isc->sm2;
5931da177e4SLinus Torvalds do_div(dx, dsm);
5941da177e4SLinus Torvalds /*
5951da177e4SLinus Torvalds * check if (x, y1) belongs to the 1st segment of rtsc.
5961da177e4SLinus Torvalds * if so, add the offset.
5971da177e4SLinus Torvalds */
5981da177e4SLinus Torvalds if (rtsc->x + rtsc->dx > x)
5991da177e4SLinus Torvalds dx += rtsc->x + rtsc->dx - x;
6001da177e4SLinus Torvalds dy = seg_x2y(dx, isc->sm1);
6011da177e4SLinus Torvalds
6021da177e4SLinus Torvalds rtsc->x = x;
6031da177e4SLinus Torvalds rtsc->y = y;
6041da177e4SLinus Torvalds rtsc->dx = dx;
6051da177e4SLinus Torvalds rtsc->dy = dy;
6061da177e4SLinus Torvalds }
6071da177e4SLinus Torvalds
6081da177e4SLinus Torvalds static void
init_ed(struct hfsc_class * cl,unsigned int next_len)6091da177e4SLinus Torvalds init_ed(struct hfsc_class *cl, unsigned int next_len)
6101da177e4SLinus Torvalds {
6113bebcda2SPatrick McHardy u64 cur_time = psched_get_time();
6121da177e4SLinus Torvalds
6131da177e4SLinus Torvalds /* update the deadline curve */
6141da177e4SLinus Torvalds rtsc_min(&cl->cl_deadline, &cl->cl_rsc, cur_time, cl->cl_cumul);
6151da177e4SLinus Torvalds
6161da177e4SLinus Torvalds /*
6171da177e4SLinus Torvalds * update the eligible curve.
6181da177e4SLinus Torvalds * for concave, it is equal to the deadline curve.
6191da177e4SLinus Torvalds * for convex, it is a linear curve with slope m2.
6201da177e4SLinus Torvalds */
6211da177e4SLinus Torvalds cl->cl_eligible = cl->cl_deadline;
6221da177e4SLinus Torvalds if (cl->cl_rsc.sm1 <= cl->cl_rsc.sm2) {
6231da177e4SLinus Torvalds cl->cl_eligible.dx = 0;
6241da177e4SLinus Torvalds cl->cl_eligible.dy = 0;
6251da177e4SLinus Torvalds }
6261da177e4SLinus Torvalds
6271da177e4SLinus Torvalds /* compute e and d */
6281da177e4SLinus Torvalds cl->cl_e = rtsc_y2x(&cl->cl_eligible, cl->cl_cumul);
6291da177e4SLinus Torvalds cl->cl_d = rtsc_y2x(&cl->cl_deadline, cl->cl_cumul + next_len);
6301da177e4SLinus Torvalds
6311da177e4SLinus Torvalds eltree_insert(cl);
6321da177e4SLinus Torvalds }
6331da177e4SLinus Torvalds
6341da177e4SLinus Torvalds static void
update_ed(struct hfsc_class * cl,unsigned int next_len)6351da177e4SLinus Torvalds update_ed(struct hfsc_class *cl, unsigned int next_len)
6361da177e4SLinus Torvalds {
6371da177e4SLinus Torvalds cl->cl_e = rtsc_y2x(&cl->cl_eligible, cl->cl_cumul);
6381da177e4SLinus Torvalds cl->cl_d = rtsc_y2x(&cl->cl_deadline, cl->cl_cumul + next_len);
6391da177e4SLinus Torvalds
6401da177e4SLinus Torvalds eltree_update(cl);
6411da177e4SLinus Torvalds }
6421da177e4SLinus Torvalds
6431da177e4SLinus Torvalds static inline void
update_d(struct hfsc_class * cl,unsigned int next_len)6441da177e4SLinus Torvalds update_d(struct hfsc_class *cl, unsigned int next_len)
6451da177e4SLinus Torvalds {
6461da177e4SLinus Torvalds cl->cl_d = rtsc_y2x(&cl->cl_deadline, cl->cl_cumul + next_len);
6471da177e4SLinus Torvalds }
6481da177e4SLinus Torvalds
6491da177e4SLinus Torvalds static inline void
update_cfmin(struct hfsc_class * cl)6501da177e4SLinus Torvalds update_cfmin(struct hfsc_class *cl)
6511da177e4SLinus Torvalds {
6521da177e4SLinus Torvalds struct rb_node *n = rb_first(&cl->cf_tree);
6531da177e4SLinus Torvalds struct hfsc_class *p;
6541da177e4SLinus Torvalds
6551da177e4SLinus Torvalds if (n == NULL) {
6561da177e4SLinus Torvalds cl->cl_cfmin = 0;
6571da177e4SLinus Torvalds return;
6581da177e4SLinus Torvalds }
6591da177e4SLinus Torvalds p = rb_entry(n, struct hfsc_class, cf_node);
6601da177e4SLinus Torvalds cl->cl_cfmin = p->cl_f;
6611da177e4SLinus Torvalds }
6621da177e4SLinus Torvalds
6631da177e4SLinus Torvalds static void
init_vf(struct hfsc_class * cl,unsigned int len)6641da177e4SLinus Torvalds init_vf(struct hfsc_class *cl, unsigned int len)
6651da177e4SLinus Torvalds {
6661da177e4SLinus Torvalds struct hfsc_class *max_cl;
6671da177e4SLinus Torvalds struct rb_node *n;
6681da177e4SLinus Torvalds u64 vt, f, cur_time;
6691da177e4SLinus Torvalds int go_active;
6701da177e4SLinus Torvalds
6711da177e4SLinus Torvalds cur_time = 0;
6721da177e4SLinus Torvalds go_active = 1;
6731da177e4SLinus Torvalds for (; cl->cl_parent != NULL; cl = cl->cl_parent) {
6741da177e4SLinus Torvalds if (go_active && cl->cl_nactive++ == 0)
6751da177e4SLinus Torvalds go_active = 1;
6761da177e4SLinus Torvalds else
6771da177e4SLinus Torvalds go_active = 0;
6781da177e4SLinus Torvalds
6791da177e4SLinus Torvalds if (go_active) {
6801da177e4SLinus Torvalds n = rb_last(&cl->cl_parent->vt_tree);
6811da177e4SLinus Torvalds if (n != NULL) {
6821da177e4SLinus Torvalds max_cl = rb_entry(n, struct hfsc_class, vt_node);
6831da177e4SLinus Torvalds /*
6841da177e4SLinus Torvalds * set vt to the average of the min and max
6851da177e4SLinus Torvalds * classes. if the parent's period didn't
6861da177e4SLinus Torvalds * change, don't decrease vt of the class.
6871da177e4SLinus Torvalds */
6881da177e4SLinus Torvalds vt = max_cl->cl_vt;
6891da177e4SLinus Torvalds if (cl->cl_parent->cl_cvtmin != 0)
6901da177e4SLinus Torvalds vt = (cl->cl_parent->cl_cvtmin + vt)/2;
6911da177e4SLinus Torvalds
6921da177e4SLinus Torvalds if (cl->cl_parent->cl_vtperiod !=
6931da177e4SLinus Torvalds cl->cl_parentperiod || vt > cl->cl_vt)
6941da177e4SLinus Torvalds cl->cl_vt = vt;
6951da177e4SLinus Torvalds } else {
6961da177e4SLinus Torvalds /*
6971da177e4SLinus Torvalds * first child for a new parent backlog period.
698678a6241SMichal Soltys * initialize cl_vt to the highest value seen
699678a6241SMichal Soltys * among the siblings. this is analogous to
700678a6241SMichal Soltys * what cur_time would provide in realtime case.
7011da177e4SLinus Torvalds */
702678a6241SMichal Soltys cl->cl_vt = cl->cl_parent->cl_cvtoff;
7031da177e4SLinus Torvalds cl->cl_parent->cl_cvtmin = 0;
7041da177e4SLinus Torvalds }
7051da177e4SLinus Torvalds
7061da177e4SLinus Torvalds /* update the virtual curve */
707678a6241SMichal Soltys rtsc_min(&cl->cl_virtual, &cl->cl_fsc, cl->cl_vt, cl->cl_total);
7081da177e4SLinus Torvalds cl->cl_vtadj = 0;
7091da177e4SLinus Torvalds
7101da177e4SLinus Torvalds cl->cl_vtperiod++; /* increment vt period */
7111da177e4SLinus Torvalds cl->cl_parentperiod = cl->cl_parent->cl_vtperiod;
7121da177e4SLinus Torvalds if (cl->cl_parent->cl_nactive == 0)
7131da177e4SLinus Torvalds cl->cl_parentperiod++;
7141da177e4SLinus Torvalds cl->cl_f = 0;
7151da177e4SLinus Torvalds
7161da177e4SLinus Torvalds vttree_insert(cl);
7171da177e4SLinus Torvalds cftree_insert(cl);
7181da177e4SLinus Torvalds
7191da177e4SLinus Torvalds if (cl->cl_flags & HFSC_USC) {
7201da177e4SLinus Torvalds /* class has upper limit curve */
7211da177e4SLinus Torvalds if (cur_time == 0)
7223bebcda2SPatrick McHardy cur_time = psched_get_time();
7231da177e4SLinus Torvalds
7241da177e4SLinus Torvalds /* update the ulimit curve */
7251da177e4SLinus Torvalds rtsc_min(&cl->cl_ulimit, &cl->cl_usc, cur_time,
7261da177e4SLinus Torvalds cl->cl_total);
7271da177e4SLinus Torvalds /* compute myf */
7281da177e4SLinus Torvalds cl->cl_myf = rtsc_y2x(&cl->cl_ulimit,
7291da177e4SLinus Torvalds cl->cl_total);
7301da177e4SLinus Torvalds }
7311da177e4SLinus Torvalds }
7321da177e4SLinus Torvalds
7331da177e4SLinus Torvalds f = max(cl->cl_myf, cl->cl_cfmin);
7341da177e4SLinus Torvalds if (f != cl->cl_f) {
7351da177e4SLinus Torvalds cl->cl_f = f;
7361da177e4SLinus Torvalds cftree_update(cl);
7371da177e4SLinus Torvalds }
7383b2eb613SMichal Soltys update_cfmin(cl->cl_parent);
7391da177e4SLinus Torvalds }
7401da177e4SLinus Torvalds }
7411da177e4SLinus Torvalds
7421da177e4SLinus Torvalds static void
update_vf(struct hfsc_class * cl,unsigned int len,u64 cur_time)7431da177e4SLinus Torvalds update_vf(struct hfsc_class *cl, unsigned int len, u64 cur_time)
7441da177e4SLinus Torvalds {
7451da177e4SLinus Torvalds u64 f; /* , myf_bound, delta; */
7461da177e4SLinus Torvalds int go_passive = 0;
7471da177e4SLinus Torvalds
7481da177e4SLinus Torvalds if (cl->qdisc->q.qlen == 0 && cl->cl_flags & HFSC_FSC)
7491da177e4SLinus Torvalds go_passive = 1;
7501da177e4SLinus Torvalds
7511da177e4SLinus Torvalds for (; cl->cl_parent != NULL; cl = cl->cl_parent) {
7521da177e4SLinus Torvalds cl->cl_total += len;
7531da177e4SLinus Torvalds
7541da177e4SLinus Torvalds if (!(cl->cl_flags & HFSC_FSC) || cl->cl_nactive == 0)
7551da177e4SLinus Torvalds continue;
7561da177e4SLinus Torvalds
7571da177e4SLinus Torvalds if (go_passive && --cl->cl_nactive == 0)
7581da177e4SLinus Torvalds go_passive = 1;
7591da177e4SLinus Torvalds else
7601da177e4SLinus Torvalds go_passive = 0;
7611da177e4SLinus Torvalds
762ab12cb47SMichal Soltys /* update vt */
763678a6241SMichal Soltys cl->cl_vt = rtsc_y2x(&cl->cl_virtual, cl->cl_total) + cl->cl_vtadj;
764ab12cb47SMichal Soltys
765ab12cb47SMichal Soltys /*
766ab12cb47SMichal Soltys * if vt of the class is smaller than cvtmin,
767ab12cb47SMichal Soltys * the class was skipped in the past due to non-fit.
768ab12cb47SMichal Soltys * if so, we need to adjust vtadj.
769ab12cb47SMichal Soltys */
770ab12cb47SMichal Soltys if (cl->cl_vt < cl->cl_parent->cl_cvtmin) {
771ab12cb47SMichal Soltys cl->cl_vtadj += cl->cl_parent->cl_cvtmin - cl->cl_vt;
772ab12cb47SMichal Soltys cl->cl_vt = cl->cl_parent->cl_cvtmin;
773ab12cb47SMichal Soltys }
774ab12cb47SMichal Soltys
7751da177e4SLinus Torvalds if (go_passive) {
7761da177e4SLinus Torvalds /* no more active child, going passive */
7771da177e4SLinus Torvalds
778678a6241SMichal Soltys /* update cvtoff of the parent class */
779678a6241SMichal Soltys if (cl->cl_vt > cl->cl_parent->cl_cvtoff)
780678a6241SMichal Soltys cl->cl_parent->cl_cvtoff = cl->cl_vt;
7811da177e4SLinus Torvalds
7821da177e4SLinus Torvalds /* remove this class from the vt tree */
7831da177e4SLinus Torvalds vttree_remove(cl);
7841da177e4SLinus Torvalds
7851da177e4SLinus Torvalds cftree_remove(cl);
7861da177e4SLinus Torvalds update_cfmin(cl->cl_parent);
7871da177e4SLinus Torvalds
7881da177e4SLinus Torvalds continue;
7891da177e4SLinus Torvalds }
7901da177e4SLinus Torvalds
7911da177e4SLinus Torvalds /* update the vt tree */
7921da177e4SLinus Torvalds vttree_update(cl);
7931da177e4SLinus Torvalds
794ab12cb47SMichal Soltys /* update f */
7951da177e4SLinus Torvalds if (cl->cl_flags & HFSC_USC) {
79637088f61SMichal Soltys cl->cl_myf = rtsc_y2x(&cl->cl_ulimit, cl->cl_total);
79737088f61SMichal Soltys #if 0
7981da177e4SLinus Torvalds cl->cl_myf = cl->cl_myfadj + rtsc_y2x(&cl->cl_ulimit,
7991da177e4SLinus Torvalds cl->cl_total);
8001da177e4SLinus Torvalds /*
8011da177e4SLinus Torvalds * This code causes classes to stay way under their
8021da177e4SLinus Torvalds * limit when multiple classes are used at gigabit
8031da177e4SLinus Torvalds * speed. needs investigation. -kaber
8041da177e4SLinus Torvalds */
8051da177e4SLinus Torvalds /*
8061da177e4SLinus Torvalds * if myf lags behind by more than one clock tick
8071da177e4SLinus Torvalds * from the current time, adjust myfadj to prevent
8081da177e4SLinus Torvalds * a rate-limited class from going greedy.
8091da177e4SLinus Torvalds * in a steady state under rate-limiting, myf
8101da177e4SLinus Torvalds * fluctuates within one clock tick.
8111da177e4SLinus Torvalds */
8121da177e4SLinus Torvalds myf_bound = cur_time - PSCHED_JIFFIE2US(1);
8131da177e4SLinus Torvalds if (cl->cl_myf < myf_bound) {
8141da177e4SLinus Torvalds delta = cur_time - cl->cl_myf;
8151da177e4SLinus Torvalds cl->cl_myfadj += delta;
8161da177e4SLinus Torvalds cl->cl_myf += delta;
8171da177e4SLinus Torvalds }
8181da177e4SLinus Torvalds #endif
8191da177e4SLinus Torvalds }
8201da177e4SLinus Torvalds
8211da177e4SLinus Torvalds f = max(cl->cl_myf, cl->cl_cfmin);
8221da177e4SLinus Torvalds if (f != cl->cl_f) {
8231da177e4SLinus Torvalds cl->cl_f = f;
8241da177e4SLinus Torvalds cftree_update(cl);
8251da177e4SLinus Torvalds update_cfmin(cl->cl_parent);
8261da177e4SLinus Torvalds }
8271da177e4SLinus Torvalds }
8281da177e4SLinus Torvalds }
8291da177e4SLinus Torvalds
8301da177e4SLinus Torvalds static unsigned int
qdisc_peek_len(struct Qdisc * sch)8311da177e4SLinus Torvalds qdisc_peek_len(struct Qdisc *sch)
8321da177e4SLinus Torvalds {
8331da177e4SLinus Torvalds struct sk_buff *skb;
8341da177e4SLinus Torvalds unsigned int len;
8351da177e4SLinus Torvalds
83603c05f0dSJarek Poplawski skb = sch->ops->peek(sch);
837d1d0fc5eSMichal Soltys if (unlikely(skb == NULL)) {
838b00355dbSJarek Poplawski qdisc_warn_nonwc("qdisc_peek_len", sch);
8391da177e4SLinus Torvalds return 0;
8401da177e4SLinus Torvalds }
8410abf77e5SJussi Kivilinna len = qdisc_pkt_len(skb);
84203c05f0dSJarek Poplawski
8431da177e4SLinus Torvalds return len;
8441da177e4SLinus Torvalds }
8451da177e4SLinus Torvalds
8461da177e4SLinus Torvalds static void
hfsc_adjust_levels(struct hfsc_class * cl)8471da177e4SLinus Torvalds hfsc_adjust_levels(struct hfsc_class *cl)
8481da177e4SLinus Torvalds {
8491da177e4SLinus Torvalds struct hfsc_class *p;
8501da177e4SLinus Torvalds unsigned int level;
8511da177e4SLinus Torvalds
8521da177e4SLinus Torvalds do {
8531da177e4SLinus Torvalds level = 0;
8541da177e4SLinus Torvalds list_for_each_entry(p, &cl->children, siblings) {
855210525d6SPatrick McHardy if (p->level >= level)
856210525d6SPatrick McHardy level = p->level + 1;
8571da177e4SLinus Torvalds }
858210525d6SPatrick McHardy cl->level = level;
8591da177e4SLinus Torvalds } while ((cl = cl->cl_parent) != NULL);
8601da177e4SLinus Torvalds }
8611da177e4SLinus Torvalds
8621da177e4SLinus Torvalds static inline struct hfsc_class *
hfsc_find_class(u32 classid,struct Qdisc * sch)8631da177e4SLinus Torvalds hfsc_find_class(u32 classid, struct Qdisc *sch)
8641da177e4SLinus Torvalds {
8651da177e4SLinus Torvalds struct hfsc_sched *q = qdisc_priv(sch);
866be0d39d5SPatrick McHardy struct Qdisc_class_common *clc;
8671da177e4SLinus Torvalds
868be0d39d5SPatrick McHardy clc = qdisc_class_find(&q->clhash, classid);
869be0d39d5SPatrick McHardy if (clc == NULL)
8701da177e4SLinus Torvalds return NULL;
871be0d39d5SPatrick McHardy return container_of(clc, struct hfsc_class, cl_common);
8721da177e4SLinus Torvalds }
8731da177e4SLinus Torvalds
8741da177e4SLinus Torvalds static void
hfsc_change_rsc(struct hfsc_class * cl,struct tc_service_curve * rsc,u64 cur_time)8751da177e4SLinus Torvalds hfsc_change_rsc(struct hfsc_class *cl, struct tc_service_curve *rsc,
8761da177e4SLinus Torvalds u64 cur_time)
8771da177e4SLinus Torvalds {
8781da177e4SLinus Torvalds sc2isc(rsc, &cl->cl_rsc);
8791da177e4SLinus Torvalds rtsc_init(&cl->cl_deadline, &cl->cl_rsc, cur_time, cl->cl_cumul);
8801da177e4SLinus Torvalds cl->cl_eligible = cl->cl_deadline;
8811da177e4SLinus Torvalds if (cl->cl_rsc.sm1 <= cl->cl_rsc.sm2) {
8821da177e4SLinus Torvalds cl->cl_eligible.dx = 0;
8831da177e4SLinus Torvalds cl->cl_eligible.dy = 0;
8841da177e4SLinus Torvalds }
8851da177e4SLinus Torvalds cl->cl_flags |= HFSC_RSC;
8861da177e4SLinus Torvalds }
8871da177e4SLinus Torvalds
8881da177e4SLinus Torvalds static void
hfsc_change_fsc(struct hfsc_class * cl,struct tc_service_curve * fsc)8891da177e4SLinus Torvalds hfsc_change_fsc(struct hfsc_class *cl, struct tc_service_curve *fsc)
8901da177e4SLinus Torvalds {
8911da177e4SLinus Torvalds sc2isc(fsc, &cl->cl_fsc);
892678a6241SMichal Soltys rtsc_init(&cl->cl_virtual, &cl->cl_fsc, cl->cl_vt, cl->cl_total);
8931da177e4SLinus Torvalds cl->cl_flags |= HFSC_FSC;
8941da177e4SLinus Torvalds }
8951da177e4SLinus Torvalds
8961da177e4SLinus Torvalds static void
hfsc_change_usc(struct hfsc_class * cl,struct tc_service_curve * usc,u64 cur_time)8971da177e4SLinus Torvalds hfsc_change_usc(struct hfsc_class *cl, struct tc_service_curve *usc,
8981da177e4SLinus Torvalds u64 cur_time)
8991da177e4SLinus Torvalds {
9001da177e4SLinus Torvalds sc2isc(usc, &cl->cl_usc);
9011da177e4SLinus Torvalds rtsc_init(&cl->cl_ulimit, &cl->cl_usc, cur_time, cl->cl_total);
9021da177e4SLinus Torvalds cl->cl_flags |= HFSC_USC;
9031da177e4SLinus Torvalds }
9041da177e4SLinus Torvalds
905*a13b67c9SPedro Tammela static void
hfsc_upgrade_rt(struct hfsc_class * cl)906*a13b67c9SPedro Tammela hfsc_upgrade_rt(struct hfsc_class *cl)
907*a13b67c9SPedro Tammela {
908*a13b67c9SPedro Tammela cl->cl_fsc = cl->cl_rsc;
909*a13b67c9SPedro Tammela rtsc_init(&cl->cl_virtual, &cl->cl_fsc, cl->cl_vt, cl->cl_total);
910*a13b67c9SPedro Tammela cl->cl_flags |= HFSC_FSC;
911*a13b67c9SPedro Tammela }
912*a13b67c9SPedro Tammela
91327a3421eSPatrick McHardy static const struct nla_policy hfsc_policy[TCA_HFSC_MAX + 1] = {
91427a3421eSPatrick McHardy [TCA_HFSC_RSC] = { .len = sizeof(struct tc_service_curve) },
91527a3421eSPatrick McHardy [TCA_HFSC_FSC] = { .len = sizeof(struct tc_service_curve) },
91627a3421eSPatrick McHardy [TCA_HFSC_USC] = { .len = sizeof(struct tc_service_curve) },
91727a3421eSPatrick McHardy };
91827a3421eSPatrick McHardy
9191da177e4SLinus Torvalds static int
hfsc_change_class(struct Qdisc * sch,u32 classid,u32 parentid,struct nlattr ** tca,unsigned long * arg,struct netlink_ext_ack * extack)9201da177e4SLinus Torvalds hfsc_change_class(struct Qdisc *sch, u32 classid, u32 parentid,
921793d81d6SAlexander Aring struct nlattr **tca, unsigned long *arg,
922793d81d6SAlexander Aring struct netlink_ext_ack *extack)
9231da177e4SLinus Torvalds {
9241da177e4SLinus Torvalds struct hfsc_sched *q = qdisc_priv(sch);
9251da177e4SLinus Torvalds struct hfsc_class *cl = (struct hfsc_class *)*arg;
9261da177e4SLinus Torvalds struct hfsc_class *parent = NULL;
9271e90474cSPatrick McHardy struct nlattr *opt = tca[TCA_OPTIONS];
9281e90474cSPatrick McHardy struct nlattr *tb[TCA_HFSC_MAX + 1];
9291da177e4SLinus Torvalds struct tc_service_curve *rsc = NULL, *fsc = NULL, *usc = NULL;
9301da177e4SLinus Torvalds u64 cur_time;
931cee63723SPatrick McHardy int err;
9321da177e4SLinus Torvalds
933cee63723SPatrick McHardy if (opt == NULL)
9341da177e4SLinus Torvalds return -EINVAL;
9351da177e4SLinus Torvalds
9368cb08174SJohannes Berg err = nla_parse_nested_deprecated(tb, TCA_HFSC_MAX, opt, hfsc_policy,
9378cb08174SJohannes Berg NULL);
938cee63723SPatrick McHardy if (err < 0)
939cee63723SPatrick McHardy return err;
940cee63723SPatrick McHardy
9411e90474cSPatrick McHardy if (tb[TCA_HFSC_RSC]) {
9421e90474cSPatrick McHardy rsc = nla_data(tb[TCA_HFSC_RSC]);
9431da177e4SLinus Torvalds if (rsc->m1 == 0 && rsc->m2 == 0)
9441da177e4SLinus Torvalds rsc = NULL;
9451da177e4SLinus Torvalds }
9461da177e4SLinus Torvalds
9471e90474cSPatrick McHardy if (tb[TCA_HFSC_FSC]) {
9481e90474cSPatrick McHardy fsc = nla_data(tb[TCA_HFSC_FSC]);
9491da177e4SLinus Torvalds if (fsc->m1 == 0 && fsc->m2 == 0)
9501da177e4SLinus Torvalds fsc = NULL;
9511da177e4SLinus Torvalds }
9521da177e4SLinus Torvalds
9531e90474cSPatrick McHardy if (tb[TCA_HFSC_USC]) {
9541e90474cSPatrick McHardy usc = nla_data(tb[TCA_HFSC_USC]);
9551da177e4SLinus Torvalds if (usc->m1 == 0 && usc->m2 == 0)
9561da177e4SLinus Torvalds usc = NULL;
9571da177e4SLinus Torvalds }
9581da177e4SLinus Torvalds
9591da177e4SLinus Torvalds if (cl != NULL) {
96021f4d5ccSKonstantin Khlebnikov int old_flags;
96121f4d5ccSKonstantin Khlebnikov
9621da177e4SLinus Torvalds if (parentid) {
963be0d39d5SPatrick McHardy if (cl->cl_parent &&
964be0d39d5SPatrick McHardy cl->cl_parent->cl_common.classid != parentid)
9651da177e4SLinus Torvalds return -EINVAL;
9661da177e4SLinus Torvalds if (cl->cl_parent == NULL && parentid != TC_H_ROOT)
9671da177e4SLinus Torvalds return -EINVAL;
9681da177e4SLinus Torvalds }
9693bebcda2SPatrick McHardy cur_time = psched_get_time();
9701da177e4SLinus Torvalds
97171bcb09aSStephen Hemminger if (tca[TCA_RATE]) {
97222e0f8b9SJohn Fastabend err = gen_replace_estimator(&cl->bstats, NULL,
97322e0f8b9SJohn Fastabend &cl->rate_est,
974edb09eb1SEric Dumazet NULL,
97529cbcd85SAhmed S. Darwish true,
97671bcb09aSStephen Hemminger tca[TCA_RATE]);
97771bcb09aSStephen Hemminger if (err)
97871bcb09aSStephen Hemminger return err;
97971bcb09aSStephen Hemminger }
98071bcb09aSStephen Hemminger
9811da177e4SLinus Torvalds sch_tree_lock(sch);
98221f4d5ccSKonstantin Khlebnikov old_flags = cl->cl_flags;
98321f4d5ccSKonstantin Khlebnikov
9841da177e4SLinus Torvalds if (rsc != NULL)
9851da177e4SLinus Torvalds hfsc_change_rsc(cl, rsc, cur_time);
9861da177e4SLinus Torvalds if (fsc != NULL)
9871da177e4SLinus Torvalds hfsc_change_fsc(cl, fsc);
9881da177e4SLinus Torvalds if (usc != NULL)
9891da177e4SLinus Torvalds hfsc_change_usc(cl, usc, cur_time);
9901da177e4SLinus Torvalds
9911da177e4SLinus Torvalds if (cl->qdisc->q.qlen != 0) {
99221f4d5ccSKonstantin Khlebnikov int len = qdisc_peek_len(cl->qdisc);
99321f4d5ccSKonstantin Khlebnikov
99421f4d5ccSKonstantin Khlebnikov if (cl->cl_flags & HFSC_RSC) {
99521f4d5ccSKonstantin Khlebnikov if (old_flags & HFSC_RSC)
99621f4d5ccSKonstantin Khlebnikov update_ed(cl, len);
99721f4d5ccSKonstantin Khlebnikov else
99821f4d5ccSKonstantin Khlebnikov init_ed(cl, len);
99921f4d5ccSKonstantin Khlebnikov }
100021f4d5ccSKonstantin Khlebnikov
100121f4d5ccSKonstantin Khlebnikov if (cl->cl_flags & HFSC_FSC) {
100221f4d5ccSKonstantin Khlebnikov if (old_flags & HFSC_FSC)
10031da177e4SLinus Torvalds update_vf(cl, 0, cur_time);
100421f4d5ccSKonstantin Khlebnikov else
100521f4d5ccSKonstantin Khlebnikov init_vf(cl, len);
100621f4d5ccSKonstantin Khlebnikov }
10071da177e4SLinus Torvalds }
10081da177e4SLinus Torvalds sch_tree_unlock(sch);
10091da177e4SLinus Torvalds
10101da177e4SLinus Torvalds return 0;
10111da177e4SLinus Torvalds }
10121da177e4SLinus Torvalds
10131da177e4SLinus Torvalds if (parentid == TC_H_ROOT)
10141da177e4SLinus Torvalds return -EEXIST;
10151da177e4SLinus Torvalds
10161da177e4SLinus Torvalds parent = &q->root;
10171da177e4SLinus Torvalds if (parentid) {
10181da177e4SLinus Torvalds parent = hfsc_find_class(parentid, sch);
10191da177e4SLinus Torvalds if (parent == NULL)
10201da177e4SLinus Torvalds return -ENOENT;
10211da177e4SLinus Torvalds }
10221da177e4SLinus Torvalds
10231da177e4SLinus Torvalds if (classid == 0 || TC_H_MAJ(classid ^ sch->handle) != 0)
10241da177e4SLinus Torvalds return -EINVAL;
10251da177e4SLinus Torvalds if (hfsc_find_class(classid, sch))
10261da177e4SLinus Torvalds return -EEXIST;
10271da177e4SLinus Torvalds
10281da177e4SLinus Torvalds if (rsc == NULL && fsc == NULL)
10291da177e4SLinus Torvalds return -EINVAL;
10301da177e4SLinus Torvalds
10310da974f4SPanagiotis Issaris cl = kzalloc(sizeof(struct hfsc_class), GFP_KERNEL);
10321da177e4SLinus Torvalds if (cl == NULL)
10331da177e4SLinus Torvalds return -ENOBUFS;
10341da177e4SLinus Torvalds
10358d1a77f9SAlexander Aring err = tcf_block_get(&cl->block, &cl->filter_list, sch, extack);
10366529eabaSJiri Pirko if (err) {
10376529eabaSJiri Pirko kfree(cl);
10386529eabaSJiri Pirko return err;
10396529eabaSJiri Pirko }
10406529eabaSJiri Pirko
104171bcb09aSStephen Hemminger if (tca[TCA_RATE]) {
104222e0f8b9SJohn Fastabend err = gen_new_estimator(&cl->bstats, NULL, &cl->rate_est,
104329cbcd85SAhmed S. Darwish NULL, true, tca[TCA_RATE]);
104471bcb09aSStephen Hemminger if (err) {
10456529eabaSJiri Pirko tcf_block_put(cl->block);
104671bcb09aSStephen Hemminger kfree(cl);
104771bcb09aSStephen Hemminger return err;
104871bcb09aSStephen Hemminger }
104971bcb09aSStephen Hemminger }
105071bcb09aSStephen Hemminger
10511da177e4SLinus Torvalds if (rsc != NULL)
10521da177e4SLinus Torvalds hfsc_change_rsc(cl, rsc, 0);
10531da177e4SLinus Torvalds if (fsc != NULL)
10541da177e4SLinus Torvalds hfsc_change_fsc(cl, fsc);
10551da177e4SLinus Torvalds if (usc != NULL)
10561da177e4SLinus Torvalds hfsc_change_usc(cl, usc, 0);
10571da177e4SLinus Torvalds
1058be0d39d5SPatrick McHardy cl->cl_common.classid = classid;
10591da177e4SLinus Torvalds cl->sched = q;
10601da177e4SLinus Torvalds cl->cl_parent = parent;
1061a38a9882SAlexander Aring cl->qdisc = qdisc_create_dflt(sch->dev_queue, &pfifo_qdisc_ops,
1062a38a9882SAlexander Aring classid, NULL);
10631da177e4SLinus Torvalds if (cl->qdisc == NULL)
10641da177e4SLinus Torvalds cl->qdisc = &noop_qdisc;
106549b49971SJiri Kosina else
106649b49971SJiri Kosina qdisc_hash_add(cl->qdisc, true);
10671da177e4SLinus Torvalds INIT_LIST_HEAD(&cl->children);
10681da177e4SLinus Torvalds cl->vt_tree = RB_ROOT;
10691da177e4SLinus Torvalds cl->cf_tree = RB_ROOT;
10701da177e4SLinus Torvalds
10711da177e4SLinus Torvalds sch_tree_lock(sch);
1072*a13b67c9SPedro Tammela /* Check if the inner class is a misconfigured 'rt' */
1073*a13b67c9SPedro Tammela if (!(parent->cl_flags & HFSC_FSC) && parent != &q->root) {
1074*a13b67c9SPedro Tammela NL_SET_ERR_MSG(extack,
1075*a13b67c9SPedro Tammela "Forced curve change on parent 'rt' to 'sc'");
1076*a13b67c9SPedro Tammela hfsc_upgrade_rt(parent);
1077*a13b67c9SPedro Tammela }
1078be0d39d5SPatrick McHardy qdisc_class_hash_insert(&q->clhash, &cl->cl_common);
10791da177e4SLinus Torvalds list_add_tail(&cl->siblings, &parent->children);
10801da177e4SLinus Torvalds if (parent->level == 0)
1081e5f0e8f8SPaolo Abeni qdisc_purge_queue(parent->qdisc);
10821da177e4SLinus Torvalds hfsc_adjust_levels(parent);
10831da177e4SLinus Torvalds sch_tree_unlock(sch);
10841da177e4SLinus Torvalds
1085be0d39d5SPatrick McHardy qdisc_class_hash_grow(sch, &q->clhash);
1086be0d39d5SPatrick McHardy
10871da177e4SLinus Torvalds *arg = (unsigned long)cl;
10881da177e4SLinus Torvalds return 0;
10891da177e4SLinus Torvalds }
10901da177e4SLinus Torvalds
10911da177e4SLinus Torvalds static void
hfsc_destroy_class(struct Qdisc * sch,struct hfsc_class * cl)10921da177e4SLinus Torvalds hfsc_destroy_class(struct Qdisc *sch, struct hfsc_class *cl)
10931da177e4SLinus Torvalds {
10941da177e4SLinus Torvalds struct hfsc_sched *q = qdisc_priv(sch);
10951da177e4SLinus Torvalds
10966529eabaSJiri Pirko tcf_block_put(cl->block);
109786bd446bSVlad Buslov qdisc_put(cl->qdisc);
10981c0d32fdSEric Dumazet gen_kill_estimator(&cl->rate_est);
10991da177e4SLinus Torvalds if (cl != &q->root)
11001da177e4SLinus Torvalds kfree(cl);
11011da177e4SLinus Torvalds }
11021da177e4SLinus Torvalds
11031da177e4SLinus Torvalds static int
hfsc_delete_class(struct Qdisc * sch,unsigned long arg,struct netlink_ext_ack * extack)11044dd78a73SMaxim Mikityanskiy hfsc_delete_class(struct Qdisc *sch, unsigned long arg,
11054dd78a73SMaxim Mikityanskiy struct netlink_ext_ack *extack)
11061da177e4SLinus Torvalds {
11071da177e4SLinus Torvalds struct hfsc_sched *q = qdisc_priv(sch);
11081da177e4SLinus Torvalds struct hfsc_class *cl = (struct hfsc_class *)arg;
11091da177e4SLinus Torvalds
11108798481bSPedro Tammela if (cl->level > 0 || qdisc_class_in_use(&cl->cl_common) ||
11118e4553efSPedro Tammela cl == &q->root) {
11128e4553efSPedro Tammela NL_SET_ERR_MSG(extack, "HFSC class in use");
11131da177e4SLinus Torvalds return -EBUSY;
11148e4553efSPedro Tammela }
11151da177e4SLinus Torvalds
11161da177e4SLinus Torvalds sch_tree_lock(sch);
11171da177e4SLinus Torvalds
11181da177e4SLinus Torvalds list_del(&cl->siblings);
11191da177e4SLinus Torvalds hfsc_adjust_levels(cl->cl_parent);
1120c38c83cbSPatrick McHardy
1121e5f0e8f8SPaolo Abeni qdisc_purge_queue(cl->qdisc);
1122be0d39d5SPatrick McHardy qdisc_class_hash_remove(&q->clhash, &cl->cl_common);
1123c38c83cbSPatrick McHardy
11241da177e4SLinus Torvalds sch_tree_unlock(sch);
1125143976ceSWANG Cong
1126143976ceSWANG Cong hfsc_destroy_class(sch, cl);
11271da177e4SLinus Torvalds return 0;
11281da177e4SLinus Torvalds }
11291da177e4SLinus Torvalds
11301da177e4SLinus Torvalds static struct hfsc_class *
hfsc_classify(struct sk_buff * skb,struct Qdisc * sch,int * qerr)11311da177e4SLinus Torvalds hfsc_classify(struct sk_buff *skb, struct Qdisc *sch, int *qerr)
11321da177e4SLinus Torvalds {
11331da177e4SLinus Torvalds struct hfsc_sched *q = qdisc_priv(sch);
1134a2f79227SPatrick McHardy struct hfsc_class *head, *cl;
11351da177e4SLinus Torvalds struct tcf_result res;
11361da177e4SLinus Torvalds struct tcf_proto *tcf;
11371da177e4SLinus Torvalds int result;
11381da177e4SLinus Torvalds
11391da177e4SLinus Torvalds if (TC_H_MAJ(skb->priority ^ sch->handle) == 0 &&
11401da177e4SLinus Torvalds (cl = hfsc_find_class(skb->priority, sch)) != NULL)
11411da177e4SLinus Torvalds if (cl->level == 0)
11421da177e4SLinus Torvalds return cl;
11431da177e4SLinus Torvalds
1144c27f339aSJarek Poplawski *qerr = NET_XMIT_SUCCESS | __NET_XMIT_BYPASS;
1145a2f79227SPatrick McHardy head = &q->root;
114625d8c0d5SJohn Fastabend tcf = rcu_dereference_bh(q->root.filter_list);
11473aa26055SDavide Caratti while (tcf && (result = tcf_classify(skb, NULL, tcf, &res, false)) >= 0) {
11481da177e4SLinus Torvalds #ifdef CONFIG_NET_CLS_ACT
11491da177e4SLinus Torvalds switch (result) {
11501da177e4SLinus Torvalds case TC_ACT_QUEUED:
11511da177e4SLinus Torvalds case TC_ACT_STOLEN:
1152e25ea21fSJiri Pirko case TC_ACT_TRAP:
1153378a2f09SJarek Poplawski *qerr = NET_XMIT_SUCCESS | __NET_XMIT_STOLEN;
1154964201deSGustavo A. R. Silva fallthrough;
11551da177e4SLinus Torvalds case TC_ACT_SHOT:
11561da177e4SLinus Torvalds return NULL;
11571da177e4SLinus Torvalds }
11581da177e4SLinus Torvalds #endif
1159cc7ec456SEric Dumazet cl = (struct hfsc_class *)res.class;
1160cc7ec456SEric Dumazet if (!cl) {
1161cc7ec456SEric Dumazet cl = hfsc_find_class(res.classid, sch);
1162cc7ec456SEric Dumazet if (!cl)
11631da177e4SLinus Torvalds break; /* filter selected invalid classid */
1164a2f79227SPatrick McHardy if (cl->level >= head->level)
1165a2f79227SPatrick McHardy break; /* filter may only point downwards */
11661da177e4SLinus Torvalds }
11671da177e4SLinus Torvalds
11681da177e4SLinus Torvalds if (cl->level == 0)
11691da177e4SLinus Torvalds return cl; /* hit leaf class */
11701da177e4SLinus Torvalds
11711da177e4SLinus Torvalds /* apply inner filter chain */
117225d8c0d5SJohn Fastabend tcf = rcu_dereference_bh(cl->filter_list);
1173a2f79227SPatrick McHardy head = cl;
11741da177e4SLinus Torvalds }
11751da177e4SLinus Torvalds
11761da177e4SLinus Torvalds /* classification failed, try default class */
11771da177e4SLinus Torvalds cl = hfsc_find_class(TC_H_MAKE(TC_H_MAJ(sch->handle), q->defcls), sch);
11781da177e4SLinus Torvalds if (cl == NULL || cl->level > 0)
11791da177e4SLinus Torvalds return NULL;
11801da177e4SLinus Torvalds
11811da177e4SLinus Torvalds return cl;
11821da177e4SLinus Torvalds }
11831da177e4SLinus Torvalds
11841da177e4SLinus Torvalds static int
hfsc_graft_class(struct Qdisc * sch,unsigned long arg,struct Qdisc * new,struct Qdisc ** old,struct netlink_ext_ack * extack)11851da177e4SLinus Torvalds hfsc_graft_class(struct Qdisc *sch, unsigned long arg, struct Qdisc *new,
1186653d6fd6SAlexander Aring struct Qdisc **old, struct netlink_ext_ack *extack)
11871da177e4SLinus Torvalds {
11881da177e4SLinus Torvalds struct hfsc_class *cl = (struct hfsc_class *)arg;
11891da177e4SLinus Torvalds
11901da177e4SLinus Torvalds if (cl->level > 0)
11911da177e4SLinus Torvalds return -EINVAL;
11921da177e4SLinus Torvalds if (new == NULL) {
11933511c913SChangli Gao new = qdisc_create_dflt(sch->dev_queue, &pfifo_qdisc_ops,
1194a38a9882SAlexander Aring cl->cl_common.classid, NULL);
11951da177e4SLinus Torvalds if (new == NULL)
11961da177e4SLinus Torvalds new = &noop_qdisc;
11971da177e4SLinus Torvalds }
11981da177e4SLinus Torvalds
119986a7996cSWANG Cong *old = qdisc_replace(sch, new, &cl->qdisc);
12001da177e4SLinus Torvalds return 0;
12011da177e4SLinus Torvalds }
12021da177e4SLinus Torvalds
12031da177e4SLinus Torvalds static struct Qdisc *
hfsc_class_leaf(struct Qdisc * sch,unsigned long arg)12041da177e4SLinus Torvalds hfsc_class_leaf(struct Qdisc *sch, unsigned long arg)
12051da177e4SLinus Torvalds {
12061da177e4SLinus Torvalds struct hfsc_class *cl = (struct hfsc_class *)arg;
12071da177e4SLinus Torvalds
12085b9a9ccfSPatrick McHardy if (cl->level == 0)
12091da177e4SLinus Torvalds return cl->qdisc;
12101da177e4SLinus Torvalds
12111da177e4SLinus Torvalds return NULL;
12121da177e4SLinus Torvalds }
12131da177e4SLinus Torvalds
1214f973b913SPatrick McHardy static void
hfsc_qlen_notify(struct Qdisc * sch,unsigned long arg)1215f973b913SPatrick McHardy hfsc_qlen_notify(struct Qdisc *sch, unsigned long arg)
1216f973b913SPatrick McHardy {
1217f973b913SPatrick McHardy struct hfsc_class *cl = (struct hfsc_class *)arg;
1218f973b913SPatrick McHardy
12196b0355f4SKonstantin Khlebnikov /* vttree is now handled in update_vf() so that update_vf(cl, 0, 0)
12206b0355f4SKonstantin Khlebnikov * needs to be called explicitly to remove a class from vttree.
12216b0355f4SKonstantin Khlebnikov */
1222f973b913SPatrick McHardy update_vf(cl, 0, 0);
12236b0355f4SKonstantin Khlebnikov if (cl->cl_flags & HFSC_RSC)
12246b0355f4SKonstantin Khlebnikov eltree_remove(cl);
1225f973b913SPatrick McHardy }
1226f973b913SPatrick McHardy
12271da177e4SLinus Torvalds static unsigned long
hfsc_search_class(struct Qdisc * sch,u32 classid)1228143976ceSWANG Cong hfsc_search_class(struct Qdisc *sch, u32 classid)
12291da177e4SLinus Torvalds {
1230143976ceSWANG Cong return (unsigned long)hfsc_find_class(classid, sch);
12311da177e4SLinus Torvalds }
12321da177e4SLinus Torvalds
12331da177e4SLinus Torvalds static unsigned long
hfsc_bind_tcf(struct Qdisc * sch,unsigned long parent,u32 classid)12341da177e4SLinus Torvalds hfsc_bind_tcf(struct Qdisc *sch, unsigned long parent, u32 classid)
12351da177e4SLinus Torvalds {
12361da177e4SLinus Torvalds struct hfsc_class *p = (struct hfsc_class *)parent;
12371da177e4SLinus Torvalds struct hfsc_class *cl = hfsc_find_class(classid, sch);
12381da177e4SLinus Torvalds
12391da177e4SLinus Torvalds if (cl != NULL) {
12401da177e4SLinus Torvalds if (p != NULL && p->level <= cl->level)
12411da177e4SLinus Torvalds return 0;
12428798481bSPedro Tammela qdisc_class_get(&cl->cl_common);
12431da177e4SLinus Torvalds }
12441da177e4SLinus Torvalds
12451da177e4SLinus Torvalds return (unsigned long)cl;
12461da177e4SLinus Torvalds }
12471da177e4SLinus Torvalds
12481da177e4SLinus Torvalds static void
hfsc_unbind_tcf(struct Qdisc * sch,unsigned long arg)12491da177e4SLinus Torvalds hfsc_unbind_tcf(struct Qdisc *sch, unsigned long arg)
12501da177e4SLinus Torvalds {
12511da177e4SLinus Torvalds struct hfsc_class *cl = (struct hfsc_class *)arg;
12521da177e4SLinus Torvalds
12538798481bSPedro Tammela qdisc_class_put(&cl->cl_common);
12541da177e4SLinus Torvalds }
12551da177e4SLinus Torvalds
hfsc_tcf_block(struct Qdisc * sch,unsigned long arg,struct netlink_ext_ack * extack)1256cbaacc4eSAlexander Aring static struct tcf_block *hfsc_tcf_block(struct Qdisc *sch, unsigned long arg,
1257cbaacc4eSAlexander Aring struct netlink_ext_ack *extack)
12581da177e4SLinus Torvalds {
12591da177e4SLinus Torvalds struct hfsc_sched *q = qdisc_priv(sch);
12601da177e4SLinus Torvalds struct hfsc_class *cl = (struct hfsc_class *)arg;
12611da177e4SLinus Torvalds
12621da177e4SLinus Torvalds if (cl == NULL)
12631da177e4SLinus Torvalds cl = &q->root;
12641da177e4SLinus Torvalds
12656529eabaSJiri Pirko return cl->block;
12661da177e4SLinus Torvalds }
12671da177e4SLinus Torvalds
12681da177e4SLinus Torvalds static int
hfsc_dump_sc(struct sk_buff * skb,int attr,struct internal_sc * sc)12691da177e4SLinus Torvalds hfsc_dump_sc(struct sk_buff *skb, int attr, struct internal_sc *sc)
12701da177e4SLinus Torvalds {
12711da177e4SLinus Torvalds struct tc_service_curve tsc;
12721da177e4SLinus Torvalds
12731da177e4SLinus Torvalds tsc.m1 = sm2m(sc->sm1);
12741da177e4SLinus Torvalds tsc.d = dx2d(sc->dx);
12751da177e4SLinus Torvalds tsc.m2 = sm2m(sc->sm2);
12761b34ec43SDavid S. Miller if (nla_put(skb, attr, sizeof(tsc), &tsc))
12771b34ec43SDavid S. Miller goto nla_put_failure;
12781da177e4SLinus Torvalds
12791da177e4SLinus Torvalds return skb->len;
12801da177e4SLinus Torvalds
12811e90474cSPatrick McHardy nla_put_failure:
12821da177e4SLinus Torvalds return -1;
12831da177e4SLinus Torvalds }
12841da177e4SLinus Torvalds
1285cc7ec456SEric Dumazet static int
hfsc_dump_curves(struct sk_buff * skb,struct hfsc_class * cl)12861da177e4SLinus Torvalds hfsc_dump_curves(struct sk_buff *skb, struct hfsc_class *cl)
12871da177e4SLinus Torvalds {
12881da177e4SLinus Torvalds if ((cl->cl_flags & HFSC_RSC) &&
12891da177e4SLinus Torvalds (hfsc_dump_sc(skb, TCA_HFSC_RSC, &cl->cl_rsc) < 0))
12901e90474cSPatrick McHardy goto nla_put_failure;
12911da177e4SLinus Torvalds
12921da177e4SLinus Torvalds if ((cl->cl_flags & HFSC_FSC) &&
12931da177e4SLinus Torvalds (hfsc_dump_sc(skb, TCA_HFSC_FSC, &cl->cl_fsc) < 0))
12941e90474cSPatrick McHardy goto nla_put_failure;
12951da177e4SLinus Torvalds
12961da177e4SLinus Torvalds if ((cl->cl_flags & HFSC_USC) &&
12971da177e4SLinus Torvalds (hfsc_dump_sc(skb, TCA_HFSC_USC, &cl->cl_usc) < 0))
12981e90474cSPatrick McHardy goto nla_put_failure;
12991da177e4SLinus Torvalds
13001da177e4SLinus Torvalds return skb->len;
13011da177e4SLinus Torvalds
13021e90474cSPatrick McHardy nla_put_failure:
13031da177e4SLinus Torvalds return -1;
13041da177e4SLinus Torvalds }
13051da177e4SLinus Torvalds
13061da177e4SLinus Torvalds static int
hfsc_dump_class(struct Qdisc * sch,unsigned long arg,struct sk_buff * skb,struct tcmsg * tcm)13071da177e4SLinus Torvalds hfsc_dump_class(struct Qdisc *sch, unsigned long arg, struct sk_buff *skb,
13081da177e4SLinus Torvalds struct tcmsg *tcm)
13091da177e4SLinus Torvalds {
13101da177e4SLinus Torvalds struct hfsc_class *cl = (struct hfsc_class *)arg;
13114b3550efSPatrick McHardy struct nlattr *nest;
13121da177e4SLinus Torvalds
1313be0d39d5SPatrick McHardy tcm->tcm_parent = cl->cl_parent ? cl->cl_parent->cl_common.classid :
1314be0d39d5SPatrick McHardy TC_H_ROOT;
1315be0d39d5SPatrick McHardy tcm->tcm_handle = cl->cl_common.classid;
13161da177e4SLinus Torvalds if (cl->level == 0)
13171da177e4SLinus Torvalds tcm->tcm_info = cl->qdisc->handle;
13181da177e4SLinus Torvalds
1319ae0be8deSMichal Kubecek nest = nla_nest_start_noflag(skb, TCA_OPTIONS);
13204b3550efSPatrick McHardy if (nest == NULL)
13214b3550efSPatrick McHardy goto nla_put_failure;
13221da177e4SLinus Torvalds if (hfsc_dump_curves(skb, cl) < 0)
13231e90474cSPatrick McHardy goto nla_put_failure;
1324d59b7d80SYang Yingliang return nla_nest_end(skb, nest);
13251da177e4SLinus Torvalds
13261e90474cSPatrick McHardy nla_put_failure:
13274b3550efSPatrick McHardy nla_nest_cancel(skb, nest);
1328bc3ed28cSThomas Graf return -EMSGSIZE;
13291da177e4SLinus Torvalds }
13301da177e4SLinus Torvalds
13311da177e4SLinus Torvalds static int
hfsc_dump_class_stats(struct Qdisc * sch,unsigned long arg,struct gnet_dump * d)13321da177e4SLinus Torvalds hfsc_dump_class_stats(struct Qdisc *sch, unsigned long arg,
13331da177e4SLinus Torvalds struct gnet_dump *d)
13341da177e4SLinus Torvalds {
13351da177e4SLinus Torvalds struct hfsc_class *cl = (struct hfsc_class *)arg;
13361da177e4SLinus Torvalds struct tc_hfsc_stats xstats;
13375dd431b6SPaolo Abeni __u32 qlen;
13381da177e4SLinus Torvalds
13395dd431b6SPaolo Abeni qdisc_qstats_qlen_backlog(cl->qdisc, &qlen, &cl->qstats.backlog);
13401da177e4SLinus Torvalds xstats.level = cl->level;
13411da177e4SLinus Torvalds xstats.period = cl->cl_vtperiod;
13421da177e4SLinus Torvalds xstats.work = cl->cl_total;
13431da177e4SLinus Torvalds xstats.rtwork = cl->cl_cumul;
13441da177e4SLinus Torvalds
134529cbcd85SAhmed S. Darwish if (gnet_stats_copy_basic(d, NULL, &cl->bstats, true) < 0 ||
13461c0d32fdSEric Dumazet gnet_stats_copy_rate_est(d, &cl->rate_est) < 0 ||
13475dd431b6SPaolo Abeni gnet_stats_copy_queue(d, NULL, &cl->qstats, qlen) < 0)
13481da177e4SLinus Torvalds return -1;
13491da177e4SLinus Torvalds
13501da177e4SLinus Torvalds return gnet_stats_copy_app(d, &xstats, sizeof(xstats));
13511da177e4SLinus Torvalds }
13521da177e4SLinus Torvalds
13531da177e4SLinus Torvalds
13541da177e4SLinus Torvalds
13551da177e4SLinus Torvalds static void
hfsc_walk(struct Qdisc * sch,struct qdisc_walker * arg)13561da177e4SLinus Torvalds hfsc_walk(struct Qdisc *sch, struct qdisc_walker *arg)
13571da177e4SLinus Torvalds {
13581da177e4SLinus Torvalds struct hfsc_sched *q = qdisc_priv(sch);
13591da177e4SLinus Torvalds struct hfsc_class *cl;
13601da177e4SLinus Torvalds unsigned int i;
13611da177e4SLinus Torvalds
13621da177e4SLinus Torvalds if (arg->stop)
13631da177e4SLinus Torvalds return;
13641da177e4SLinus Torvalds
1365be0d39d5SPatrick McHardy for (i = 0; i < q->clhash.hashsize; i++) {
1366b67bfe0dSSasha Levin hlist_for_each_entry(cl, &q->clhash.hash[i],
1367be0d39d5SPatrick McHardy cl_common.hnode) {
1368e046fa89SZhengchao Shao if (!tc_qdisc_stats_dump(sch, (unsigned long)cl, arg))
13691da177e4SLinus Torvalds return;
13701da177e4SLinus Torvalds }
13711da177e4SLinus Torvalds }
13721da177e4SLinus Torvalds }
13731da177e4SLinus Torvalds
13741da177e4SLinus Torvalds static void
hfsc_schedule_watchdog(struct Qdisc * sch)1375ed2b229aSPatrick McHardy hfsc_schedule_watchdog(struct Qdisc *sch)
13761da177e4SLinus Torvalds {
13771da177e4SLinus Torvalds struct hfsc_sched *q = qdisc_priv(sch);
13781da177e4SLinus Torvalds struct hfsc_class *cl;
13791da177e4SLinus Torvalds u64 next_time = 0;
13801da177e4SLinus Torvalds
1381cc7ec456SEric Dumazet cl = eltree_get_minel(q);
1382cc7ec456SEric Dumazet if (cl)
13831da177e4SLinus Torvalds next_time = cl->cl_e;
13841da177e4SLinus Torvalds if (q->root.cl_cfmin != 0) {
13851da177e4SLinus Torvalds if (next_time == 0 || next_time > q->root.cl_cfmin)
13861da177e4SLinus Torvalds next_time = q->root.cl_cfmin;
13871da177e4SLinus Torvalds }
138835b42da6SCong Wang if (next_time)
1389ed2b229aSPatrick McHardy qdisc_watchdog_schedule(&q->watchdog, next_time);
13901da177e4SLinus Torvalds }
13911da177e4SLinus Torvalds
13921da177e4SLinus Torvalds static int
hfsc_init_qdisc(struct Qdisc * sch,struct nlattr * opt,struct netlink_ext_ack * extack)1393e63d7dfdSAlexander Aring hfsc_init_qdisc(struct Qdisc *sch, struct nlattr *opt,
1394e63d7dfdSAlexander Aring struct netlink_ext_ack *extack)
13951da177e4SLinus Torvalds {
13961da177e4SLinus Torvalds struct hfsc_sched *q = qdisc_priv(sch);
13971da177e4SLinus Torvalds struct tc_hfsc_qopt *qopt;
1398be0d39d5SPatrick McHardy int err;
13991da177e4SLinus Torvalds
14003bdac362SNikolay Aleksandrov qdisc_watchdog_init(&q->watchdog, sch);
14013bdac362SNikolay Aleksandrov
1402ac8ef4abSAlexander Aring if (!opt || nla_len(opt) < sizeof(*qopt))
14031da177e4SLinus Torvalds return -EINVAL;
14041e90474cSPatrick McHardy qopt = nla_data(opt);
14051da177e4SLinus Torvalds
14061da177e4SLinus Torvalds q->defcls = qopt->defcls;
1407be0d39d5SPatrick McHardy err = qdisc_class_hash_init(&q->clhash);
1408be0d39d5SPatrick McHardy if (err < 0)
1409be0d39d5SPatrick McHardy return err;
14101da177e4SLinus Torvalds q->eligible = RB_ROOT;
14111da177e4SLinus Torvalds
14128d1a77f9SAlexander Aring err = tcf_block_get(&q->root.block, &q->root.filter_list, sch, extack);
14138d553738SKonstantin Khlebnikov if (err)
14143bdac362SNikolay Aleksandrov return err;
14158d553738SKonstantin Khlebnikov
141650dc9a85SAhmed S. Darwish gnet_stats_basic_sync_init(&q->root.bstats);
1417be0d39d5SPatrick McHardy q->root.cl_common.classid = sch->handle;
14181da177e4SLinus Torvalds q->root.sched = q;
14193511c913SChangli Gao q->root.qdisc = qdisc_create_dflt(sch->dev_queue, &pfifo_qdisc_ops,
1420a38a9882SAlexander Aring sch->handle, NULL);
14211da177e4SLinus Torvalds if (q->root.qdisc == NULL)
14221da177e4SLinus Torvalds q->root.qdisc = &noop_qdisc;
142349b49971SJiri Kosina else
142449b49971SJiri Kosina qdisc_hash_add(q->root.qdisc, true);
14251da177e4SLinus Torvalds INIT_LIST_HEAD(&q->root.children);
14261da177e4SLinus Torvalds q->root.vt_tree = RB_ROOT;
14271da177e4SLinus Torvalds q->root.cf_tree = RB_ROOT;
14281da177e4SLinus Torvalds
1429be0d39d5SPatrick McHardy qdisc_class_hash_insert(&q->clhash, &q->root.cl_common);
1430be0d39d5SPatrick McHardy qdisc_class_hash_grow(sch, &q->clhash);
14311da177e4SLinus Torvalds
14321da177e4SLinus Torvalds return 0;
14331da177e4SLinus Torvalds }
14341da177e4SLinus Torvalds
14351da177e4SLinus Torvalds static int
hfsc_change_qdisc(struct Qdisc * sch,struct nlattr * opt,struct netlink_ext_ack * extack)14362030721cSAlexander Aring hfsc_change_qdisc(struct Qdisc *sch, struct nlattr *opt,
14372030721cSAlexander Aring struct netlink_ext_ack *extack)
14381da177e4SLinus Torvalds {
14391da177e4SLinus Torvalds struct hfsc_sched *q = qdisc_priv(sch);
14401da177e4SLinus Torvalds struct tc_hfsc_qopt *qopt;
14411da177e4SLinus Torvalds
1442a102c897SZhengchao Shao if (nla_len(opt) < sizeof(*qopt))
14431da177e4SLinus Torvalds return -EINVAL;
14441e90474cSPatrick McHardy qopt = nla_data(opt);
14451da177e4SLinus Torvalds
14461da177e4SLinus Torvalds sch_tree_lock(sch);
14471da177e4SLinus Torvalds q->defcls = qopt->defcls;
14481da177e4SLinus Torvalds sch_tree_unlock(sch);
14491da177e4SLinus Torvalds
14501da177e4SLinus Torvalds return 0;
14511da177e4SLinus Torvalds }
14521da177e4SLinus Torvalds
14531da177e4SLinus Torvalds static void
hfsc_reset_class(struct hfsc_class * cl)14541da177e4SLinus Torvalds hfsc_reset_class(struct hfsc_class *cl)
14551da177e4SLinus Torvalds {
14561da177e4SLinus Torvalds cl->cl_total = 0;
14571da177e4SLinus Torvalds cl->cl_cumul = 0;
14581da177e4SLinus Torvalds cl->cl_d = 0;
14591da177e4SLinus Torvalds cl->cl_e = 0;
14601da177e4SLinus Torvalds cl->cl_vt = 0;
14611da177e4SLinus Torvalds cl->cl_vtadj = 0;
14621da177e4SLinus Torvalds cl->cl_cvtmin = 0;
14631da177e4SLinus Torvalds cl->cl_cvtoff = 0;
14641da177e4SLinus Torvalds cl->cl_vtperiod = 0;
14651da177e4SLinus Torvalds cl->cl_parentperiod = 0;
14661da177e4SLinus Torvalds cl->cl_f = 0;
14671da177e4SLinus Torvalds cl->cl_myf = 0;
14681da177e4SLinus Torvalds cl->cl_cfmin = 0;
14691da177e4SLinus Torvalds cl->cl_nactive = 0;
14701da177e4SLinus Torvalds
14711da177e4SLinus Torvalds cl->vt_tree = RB_ROOT;
14721da177e4SLinus Torvalds cl->cf_tree = RB_ROOT;
14731da177e4SLinus Torvalds qdisc_reset(cl->qdisc);
14741da177e4SLinus Torvalds
14751da177e4SLinus Torvalds if (cl->cl_flags & HFSC_RSC)
14761da177e4SLinus Torvalds rtsc_init(&cl->cl_deadline, &cl->cl_rsc, 0, 0);
14771da177e4SLinus Torvalds if (cl->cl_flags & HFSC_FSC)
14781da177e4SLinus Torvalds rtsc_init(&cl->cl_virtual, &cl->cl_fsc, 0, 0);
14791da177e4SLinus Torvalds if (cl->cl_flags & HFSC_USC)
14801da177e4SLinus Torvalds rtsc_init(&cl->cl_ulimit, &cl->cl_usc, 0, 0);
14811da177e4SLinus Torvalds }
14821da177e4SLinus Torvalds
14831da177e4SLinus Torvalds static void
hfsc_reset_qdisc(struct Qdisc * sch)14841da177e4SLinus Torvalds hfsc_reset_qdisc(struct Qdisc *sch)
14851da177e4SLinus Torvalds {
14861da177e4SLinus Torvalds struct hfsc_sched *q = qdisc_priv(sch);
14871da177e4SLinus Torvalds struct hfsc_class *cl;
14881da177e4SLinus Torvalds unsigned int i;
14891da177e4SLinus Torvalds
1490be0d39d5SPatrick McHardy for (i = 0; i < q->clhash.hashsize; i++) {
1491b67bfe0dSSasha Levin hlist_for_each_entry(cl, &q->clhash.hash[i], cl_common.hnode)
14921da177e4SLinus Torvalds hfsc_reset_class(cl);
14931da177e4SLinus Torvalds }
14941da177e4SLinus Torvalds q->eligible = RB_ROOT;
1495ed2b229aSPatrick McHardy qdisc_watchdog_cancel(&q->watchdog);
14961da177e4SLinus Torvalds }
14971da177e4SLinus Torvalds
14981da177e4SLinus Torvalds static void
hfsc_destroy_qdisc(struct Qdisc * sch)14991da177e4SLinus Torvalds hfsc_destroy_qdisc(struct Qdisc *sch)
15001da177e4SLinus Torvalds {
15011da177e4SLinus Torvalds struct hfsc_sched *q = qdisc_priv(sch);
1502b67bfe0dSSasha Levin struct hlist_node *next;
1503be0d39d5SPatrick McHardy struct hfsc_class *cl;
15041da177e4SLinus Torvalds unsigned int i;
15051da177e4SLinus Torvalds
1506be0d39d5SPatrick McHardy for (i = 0; i < q->clhash.hashsize; i++) {
150789890422SKonstantin Khlebnikov hlist_for_each_entry(cl, &q->clhash.hash[i], cl_common.hnode) {
15086529eabaSJiri Pirko tcf_block_put(cl->block);
150989890422SKonstantin Khlebnikov cl->block = NULL;
151089890422SKonstantin Khlebnikov }
1511a4aebb83SPatrick McHardy }
1512be0d39d5SPatrick McHardy for (i = 0; i < q->clhash.hashsize; i++) {
1513b67bfe0dSSasha Levin hlist_for_each_entry_safe(cl, next, &q->clhash.hash[i],
1514be0d39d5SPatrick McHardy cl_common.hnode)
15151da177e4SLinus Torvalds hfsc_destroy_class(sch, cl);
15161da177e4SLinus Torvalds }
1517be0d39d5SPatrick McHardy qdisc_class_hash_destroy(&q->clhash);
1518ed2b229aSPatrick McHardy qdisc_watchdog_cancel(&q->watchdog);
15191da177e4SLinus Torvalds }
15201da177e4SLinus Torvalds
15211da177e4SLinus Torvalds static int
hfsc_dump_qdisc(struct Qdisc * sch,struct sk_buff * skb)15221da177e4SLinus Torvalds hfsc_dump_qdisc(struct Qdisc *sch, struct sk_buff *skb)
15231da177e4SLinus Torvalds {
15241da177e4SLinus Torvalds struct hfsc_sched *q = qdisc_priv(sch);
152527a884dcSArnaldo Carvalho de Melo unsigned char *b = skb_tail_pointer(skb);
15261da177e4SLinus Torvalds struct tc_hfsc_qopt qopt;
15271da177e4SLinus Torvalds
15281da177e4SLinus Torvalds qopt.defcls = q->defcls;
15291b34ec43SDavid S. Miller if (nla_put(skb, TCA_OPTIONS, sizeof(qopt), &qopt))
15301b34ec43SDavid S. Miller goto nla_put_failure;
15311da177e4SLinus Torvalds return skb->len;
15321da177e4SLinus Torvalds
15331e90474cSPatrick McHardy nla_put_failure:
1534dc5fc579SArnaldo Carvalho de Melo nlmsg_trim(skb, b);
15351da177e4SLinus Torvalds return -1;
15361da177e4SLinus Torvalds }
15371da177e4SLinus Torvalds
15381da177e4SLinus Torvalds static int
hfsc_enqueue(struct sk_buff * skb,struct Qdisc * sch,struct sk_buff ** to_free)1539520ac30fSEric Dumazet hfsc_enqueue(struct sk_buff *skb, struct Qdisc *sch, struct sk_buff **to_free)
15401da177e4SLinus Torvalds {
1541f6bab199SToke Høiland-Jørgensen unsigned int len = qdisc_pkt_len(skb);
15421da177e4SLinus Torvalds struct hfsc_class *cl;
15433f649ab7SKees Cook int err;
154437d9cf1aSToke Høiland-Jørgensen bool first;
15451da177e4SLinus Torvalds
15461da177e4SLinus Torvalds cl = hfsc_classify(skb, sch, &err);
15471da177e4SLinus Torvalds if (cl == NULL) {
1548c27f339aSJarek Poplawski if (err & __NET_XMIT_BYPASS)
154925331d6cSJohn Fastabend qdisc_qstats_drop(sch);
1550520ac30fSEric Dumazet __qdisc_drop(skb, to_free);
15511da177e4SLinus Torvalds return err;
15521da177e4SLinus Torvalds }
15531da177e4SLinus Torvalds
155437d9cf1aSToke Høiland-Jørgensen first = !cl->qdisc->q.qlen;
1555520ac30fSEric Dumazet err = qdisc_enqueue(skb, cl->qdisc, to_free);
15561da177e4SLinus Torvalds if (unlikely(err != NET_XMIT_SUCCESS)) {
1557378a2f09SJarek Poplawski if (net_xmit_drop_count(err)) {
15581da177e4SLinus Torvalds cl->qstats.drops++;
155925331d6cSJohn Fastabend qdisc_qstats_drop(sch);
1560378a2f09SJarek Poplawski }
15611da177e4SLinus Torvalds return err;
15621da177e4SLinus Torvalds }
15631da177e4SLinus Torvalds
156437d9cf1aSToke Høiland-Jørgensen if (first) {
15656b0355f4SKonstantin Khlebnikov if (cl->cl_flags & HFSC_RSC)
15666b0355f4SKonstantin Khlebnikov init_ed(cl, len);
15676b0355f4SKonstantin Khlebnikov if (cl->cl_flags & HFSC_FSC)
15686b0355f4SKonstantin Khlebnikov init_vf(cl, len);
156912d0ad3bSMichal Soltys /*
157012d0ad3bSMichal Soltys * If this is the first packet, isolate the head so an eventual
157112d0ad3bSMichal Soltys * head drop before the first dequeue operation has no chance
157212d0ad3bSMichal Soltys * to invalidate the deadline.
157312d0ad3bSMichal Soltys */
157412d0ad3bSMichal Soltys if (cl->cl_flags & HFSC_RSC)
157512d0ad3bSMichal Soltys cl->qdisc->ops->peek(cl->qdisc);
157612d0ad3bSMichal Soltys
157712d0ad3bSMichal Soltys }
15781da177e4SLinus Torvalds
1579f6bab199SToke Høiland-Jørgensen sch->qstats.backlog += len;
15801da177e4SLinus Torvalds sch->q.qlen++;
15811da177e4SLinus Torvalds
15821da177e4SLinus Torvalds return NET_XMIT_SUCCESS;
15831da177e4SLinus Torvalds }
15841da177e4SLinus Torvalds
15851da177e4SLinus Torvalds static struct sk_buff *
hfsc_dequeue(struct Qdisc * sch)15861da177e4SLinus Torvalds hfsc_dequeue(struct Qdisc *sch)
15871da177e4SLinus Torvalds {
15881da177e4SLinus Torvalds struct hfsc_sched *q = qdisc_priv(sch);
15891da177e4SLinus Torvalds struct hfsc_class *cl;
15901da177e4SLinus Torvalds struct sk_buff *skb;
15911da177e4SLinus Torvalds u64 cur_time;
15921da177e4SLinus Torvalds unsigned int next_len;
15931da177e4SLinus Torvalds int realtime = 0;
15941da177e4SLinus Torvalds
15951da177e4SLinus Torvalds if (sch->q.qlen == 0)
15961da177e4SLinus Torvalds return NULL;
15971da177e4SLinus Torvalds
15983bebcda2SPatrick McHardy cur_time = psched_get_time();
15991da177e4SLinus Torvalds
16001da177e4SLinus Torvalds /*
16011da177e4SLinus Torvalds * if there are eligible classes, use real-time criteria.
16021da177e4SLinus Torvalds * find the class with the minimum deadline among
16031da177e4SLinus Torvalds * the eligible classes.
16041da177e4SLinus Torvalds */
1605cc7ec456SEric Dumazet cl = eltree_get_mindl(q, cur_time);
1606cc7ec456SEric Dumazet if (cl) {
16071da177e4SLinus Torvalds realtime = 1;
16081da177e4SLinus Torvalds } else {
16091da177e4SLinus Torvalds /*
16101da177e4SLinus Torvalds * use link-sharing criteria
16111da177e4SLinus Torvalds * get the class with the minimum vt in the hierarchy
16121da177e4SLinus Torvalds */
16131da177e4SLinus Torvalds cl = vttree_get_minvt(&q->root, cur_time);
16141da177e4SLinus Torvalds if (cl == NULL) {
161525331d6cSJohn Fastabend qdisc_qstats_overlimit(sch);
1616ed2b229aSPatrick McHardy hfsc_schedule_watchdog(sch);
16171da177e4SLinus Torvalds return NULL;
16181da177e4SLinus Torvalds }
16191da177e4SLinus Torvalds }
16201da177e4SLinus Torvalds
162177be155cSJarek Poplawski skb = qdisc_dequeue_peeked(cl->qdisc);
16221da177e4SLinus Torvalds if (skb == NULL) {
1623b00355dbSJarek Poplawski qdisc_warn_nonwc("HFSC", cl->qdisc);
16241da177e4SLinus Torvalds return NULL;
16251da177e4SLinus Torvalds }
16261da177e4SLinus Torvalds
16272dd875ffSEric Dumazet bstats_update(&cl->bstats, skb);
16280abf77e5SJussi Kivilinna update_vf(cl, qdisc_pkt_len(skb), cur_time);
16291da177e4SLinus Torvalds if (realtime)
16300abf77e5SJussi Kivilinna cl->cl_cumul += qdisc_pkt_len(skb);
16311da177e4SLinus Torvalds
16321da177e4SLinus Torvalds if (cl->cl_flags & HFSC_RSC) {
16336b0355f4SKonstantin Khlebnikov if (cl->qdisc->q.qlen != 0) {
16341da177e4SLinus Torvalds /* update ed */
16351da177e4SLinus Torvalds next_len = qdisc_peek_len(cl->qdisc);
16361da177e4SLinus Torvalds if (realtime)
16371da177e4SLinus Torvalds update_ed(cl, next_len);
16381da177e4SLinus Torvalds else
16391da177e4SLinus Torvalds update_d(cl, next_len);
16401da177e4SLinus Torvalds } else {
16411da177e4SLinus Torvalds /* the class becomes passive */
16426b0355f4SKonstantin Khlebnikov eltree_remove(cl);
16436b0355f4SKonstantin Khlebnikov }
16441da177e4SLinus Torvalds }
16451da177e4SLinus Torvalds
16469190b3b3SEric Dumazet qdisc_bstats_update(sch, skb);
1647357cc9b4SWANG Cong qdisc_qstats_backlog_dec(sch, skb);
16481da177e4SLinus Torvalds sch->q.qlen--;
16491da177e4SLinus Torvalds
16501da177e4SLinus Torvalds return skb;
16511da177e4SLinus Torvalds }
16521da177e4SLinus Torvalds
165320fea08bSEric Dumazet static const struct Qdisc_class_ops hfsc_class_ops = {
16541da177e4SLinus Torvalds .change = hfsc_change_class,
16551da177e4SLinus Torvalds .delete = hfsc_delete_class,
16561da177e4SLinus Torvalds .graft = hfsc_graft_class,
16571da177e4SLinus Torvalds .leaf = hfsc_class_leaf,
1658f973b913SPatrick McHardy .qlen_notify = hfsc_qlen_notify,
1659143976ceSWANG Cong .find = hfsc_search_class,
16601da177e4SLinus Torvalds .bind_tcf = hfsc_bind_tcf,
16611da177e4SLinus Torvalds .unbind_tcf = hfsc_unbind_tcf,
16626529eabaSJiri Pirko .tcf_block = hfsc_tcf_block,
16631da177e4SLinus Torvalds .dump = hfsc_dump_class,
16641da177e4SLinus Torvalds .dump_stats = hfsc_dump_class_stats,
16651da177e4SLinus Torvalds .walk = hfsc_walk
16661da177e4SLinus Torvalds };
16671da177e4SLinus Torvalds
166820fea08bSEric Dumazet static struct Qdisc_ops hfsc_qdisc_ops __read_mostly = {
16691da177e4SLinus Torvalds .id = "hfsc",
16701da177e4SLinus Torvalds .init = hfsc_init_qdisc,
16711da177e4SLinus Torvalds .change = hfsc_change_qdisc,
16721da177e4SLinus Torvalds .reset = hfsc_reset_qdisc,
16731da177e4SLinus Torvalds .destroy = hfsc_destroy_qdisc,
16741da177e4SLinus Torvalds .dump = hfsc_dump_qdisc,
16751da177e4SLinus Torvalds .enqueue = hfsc_enqueue,
16761da177e4SLinus Torvalds .dequeue = hfsc_dequeue,
167777be155cSJarek Poplawski .peek = qdisc_peek_dequeued,
16781da177e4SLinus Torvalds .cl_ops = &hfsc_class_ops,
16791da177e4SLinus Torvalds .priv_size = sizeof(struct hfsc_sched),
16801da177e4SLinus Torvalds .owner = THIS_MODULE
16811da177e4SLinus Torvalds };
16821da177e4SLinus Torvalds
16831da177e4SLinus Torvalds static int __init
hfsc_init(void)16841da177e4SLinus Torvalds hfsc_init(void)
16851da177e4SLinus Torvalds {
16861da177e4SLinus Torvalds return register_qdisc(&hfsc_qdisc_ops);
16871da177e4SLinus Torvalds }
16881da177e4SLinus Torvalds
16891da177e4SLinus Torvalds static void __exit
hfsc_cleanup(void)16901da177e4SLinus Torvalds hfsc_cleanup(void)
16911da177e4SLinus Torvalds {
16921da177e4SLinus Torvalds unregister_qdisc(&hfsc_qdisc_ops);
16931da177e4SLinus Torvalds }
16941da177e4SLinus Torvalds
16951da177e4SLinus Torvalds MODULE_LICENSE("GPL");
16961da177e4SLinus Torvalds module_init(hfsc_init);
16971da177e4SLinus Torvalds module_exit(hfsc_cleanup);
1698