1a497ee34SChristoph Hellwig // SPDX-License-Identifier: GPL-2.0-or-later 2ea25da48SPaolo Valente /* 3ea25da48SPaolo Valente * Hierarchical Budget Worst-case Fair Weighted Fair Queueing 4ea25da48SPaolo Valente * (B-WF2Q+): hierarchical scheduling algorithm by which the BFQ I/O 5ea25da48SPaolo Valente * scheduler schedules generic entities. The latter can represent 6ea25da48SPaolo Valente * either single bfq queues (associated with processes) or groups of 7ea25da48SPaolo Valente * bfq queues (associated with cgroups). 8ea25da48SPaolo Valente */ 9ea25da48SPaolo Valente #include "bfq-iosched.h" 10ea25da48SPaolo Valente 11ea25da48SPaolo Valente /** 12ea25da48SPaolo Valente * bfq_gt - compare two timestamps. 13ea25da48SPaolo Valente * @a: first ts. 14ea25da48SPaolo Valente * @b: second ts. 15ea25da48SPaolo Valente * 16ea25da48SPaolo Valente * Return @a > @b, dealing with wrapping correctly. 17ea25da48SPaolo Valente */ 18ea25da48SPaolo Valente static int bfq_gt(u64 a, u64 b) 19ea25da48SPaolo Valente { 20ea25da48SPaolo Valente return (s64)(a - b) > 0; 21ea25da48SPaolo Valente } 22ea25da48SPaolo Valente 23ea25da48SPaolo Valente static struct bfq_entity *bfq_root_active_entity(struct rb_root *tree) 24ea25da48SPaolo Valente { 25ea25da48SPaolo Valente struct rb_node *node = tree->rb_node; 26ea25da48SPaolo Valente 27ea25da48SPaolo Valente return rb_entry(node, struct bfq_entity, rb_node); 28ea25da48SPaolo Valente } 29ea25da48SPaolo Valente 30ea25da48SPaolo Valente static unsigned int bfq_class_idx(struct bfq_entity *entity) 31ea25da48SPaolo Valente { 32ea25da48SPaolo Valente struct bfq_queue *bfqq = bfq_entity_to_bfqq(entity); 33ea25da48SPaolo Valente 34ea25da48SPaolo Valente return bfqq ? bfqq->ioprio_class - 1 : 35ea25da48SPaolo Valente BFQ_DEFAULT_GRP_CLASS - 1; 36ea25da48SPaolo Valente } 37ea25da48SPaolo Valente 3873d58118SPaolo Valente unsigned int bfq_tot_busy_queues(struct bfq_data *bfqd) 3973d58118SPaolo Valente { 4073d58118SPaolo Valente return bfqd->busy_queues[0] + bfqd->busy_queues[1] + 4173d58118SPaolo Valente bfqd->busy_queues[2]; 4273d58118SPaolo Valente } 4373d58118SPaolo Valente 4480294c3bSPaolo Valente static struct bfq_entity *bfq_lookup_next_entity(struct bfq_sched_data *sd, 4580294c3bSPaolo Valente bool expiration); 46ea25da48SPaolo Valente 47ea25da48SPaolo Valente static bool bfq_update_parent_budget(struct bfq_entity *next_in_service); 48ea25da48SPaolo Valente 49ea25da48SPaolo Valente /** 50ea25da48SPaolo Valente * bfq_update_next_in_service - update sd->next_in_service 51ea25da48SPaolo Valente * @sd: sched_data for which to perform the update. 52ea25da48SPaolo Valente * @new_entity: if not NULL, pointer to the entity whose activation, 53636b8fe8SAngelo Ruocco * requeueing or repositioning triggered the invocation of 54ea25da48SPaolo Valente * this function. 5580294c3bSPaolo Valente * @expiration: id true, this function is being invoked after the 5680294c3bSPaolo Valente * expiration of the in-service entity 57ea25da48SPaolo Valente * 58ea25da48SPaolo Valente * This function is called to update sd->next_in_service, which, in 59ea25da48SPaolo Valente * its turn, may change as a consequence of the insertion or 60ea25da48SPaolo Valente * extraction of an entity into/from one of the active trees of 61ea25da48SPaolo Valente * sd. These insertions/extractions occur as a consequence of 62ea25da48SPaolo Valente * activations/deactivations of entities, with some activations being 63ea25da48SPaolo Valente * 'true' activations, and other activations being requeueings (i.e., 64ea25da48SPaolo Valente * implementing the second, requeueing phase of the mechanism used to 65ea25da48SPaolo Valente * reposition an entity in its active tree; see comments on 66ea25da48SPaolo Valente * __bfq_activate_entity and __bfq_requeue_entity for details). In 67ea25da48SPaolo Valente * both the last two activation sub-cases, new_entity points to the 68ea25da48SPaolo Valente * just activated or requeued entity. 69ea25da48SPaolo Valente * 70ea25da48SPaolo Valente * Returns true if sd->next_in_service changes in such a way that 71ea25da48SPaolo Valente * entity->parent may become the next_in_service for its parent 72ea25da48SPaolo Valente * entity. 73ea25da48SPaolo Valente */ 74ea25da48SPaolo Valente static bool bfq_update_next_in_service(struct bfq_sched_data *sd, 7580294c3bSPaolo Valente struct bfq_entity *new_entity, 7680294c3bSPaolo Valente bool expiration) 77ea25da48SPaolo Valente { 78ea25da48SPaolo Valente struct bfq_entity *next_in_service = sd->next_in_service; 79ea25da48SPaolo Valente bool parent_sched_may_change = false; 8024d90bb2SPaolo Valente bool change_without_lookup = false; 81ea25da48SPaolo Valente 82ea25da48SPaolo Valente /* 83ea25da48SPaolo Valente * If this update is triggered by the activation, requeueing 84636b8fe8SAngelo Ruocco * or repositioning of an entity that does not coincide with 85ea25da48SPaolo Valente * sd->next_in_service, then a full lookup in the active tree 86ea25da48SPaolo Valente * can be avoided. In fact, it is enough to check whether the 87a02195ceSPaolo Valente * just-modified entity has the same priority as 88a02195ceSPaolo Valente * sd->next_in_service, is eligible and has a lower virtual 89ea25da48SPaolo Valente * finish time than sd->next_in_service. If this compound 90ea25da48SPaolo Valente * condition holds, then the new entity becomes the new 91ea25da48SPaolo Valente * next_in_service. Otherwise no change is needed. 92ea25da48SPaolo Valente */ 93ea25da48SPaolo Valente if (new_entity && new_entity != sd->next_in_service) { 94ea25da48SPaolo Valente /* 95ea25da48SPaolo Valente * Flag used to decide whether to replace 96ea25da48SPaolo Valente * sd->next_in_service with new_entity. Tentatively 97ea25da48SPaolo Valente * set to true, and left as true if 98ea25da48SPaolo Valente * sd->next_in_service is NULL. 99ea25da48SPaolo Valente */ 10024d90bb2SPaolo Valente change_without_lookup = true; 101ea25da48SPaolo Valente 102ea25da48SPaolo Valente /* 103ea25da48SPaolo Valente * If there is already a next_in_service candidate 104a02195ceSPaolo Valente * entity, then compare timestamps to decide whether 105a02195ceSPaolo Valente * to replace sd->service_tree with new_entity. 106ea25da48SPaolo Valente */ 107ea25da48SPaolo Valente if (next_in_service) { 108ea25da48SPaolo Valente unsigned int new_entity_class_idx = 109ea25da48SPaolo Valente bfq_class_idx(new_entity); 110ea25da48SPaolo Valente struct bfq_service_tree *st = 111ea25da48SPaolo Valente sd->service_tree + new_entity_class_idx; 112ea25da48SPaolo Valente 11324d90bb2SPaolo Valente change_without_lookup = 114ea25da48SPaolo Valente (new_entity_class_idx == 115ea25da48SPaolo Valente bfq_class_idx(next_in_service) 116ea25da48SPaolo Valente && 117ea25da48SPaolo Valente !bfq_gt(new_entity->start, st->vtime) 118ea25da48SPaolo Valente && 119ea25da48SPaolo Valente bfq_gt(next_in_service->finish, 120a02195ceSPaolo Valente new_entity->finish)); 121ea25da48SPaolo Valente } 122ea25da48SPaolo Valente 12324d90bb2SPaolo Valente if (change_without_lookup) 124ea25da48SPaolo Valente next_in_service = new_entity; 12524d90bb2SPaolo Valente } 12624d90bb2SPaolo Valente 12724d90bb2SPaolo Valente if (!change_without_lookup) /* lookup needed */ 12880294c3bSPaolo Valente next_in_service = bfq_lookup_next_entity(sd, expiration); 129ea25da48SPaolo Valente 130e02a0aa2SPaolo Valente if (next_in_service) { 131e02a0aa2SPaolo Valente bool new_budget_triggers_change = 132ea25da48SPaolo Valente bfq_update_parent_budget(next_in_service); 133ea25da48SPaolo Valente 134e02a0aa2SPaolo Valente parent_sched_may_change = !sd->next_in_service || 135e02a0aa2SPaolo Valente new_budget_triggers_change; 136e02a0aa2SPaolo Valente } 137e02a0aa2SPaolo Valente 138ea25da48SPaolo Valente sd->next_in_service = next_in_service; 139ea25da48SPaolo Valente 140ea25da48SPaolo Valente return parent_sched_may_change; 141ea25da48SPaolo Valente } 142ea25da48SPaolo Valente 143ea25da48SPaolo Valente #ifdef CONFIG_BFQ_GROUP_IOSCHED 144ea25da48SPaolo Valente 145ea25da48SPaolo Valente /* 146ea25da48SPaolo Valente * Returns true if this budget changes may let next_in_service->parent 147ea25da48SPaolo Valente * become the next_in_service entity for its parent entity. 148ea25da48SPaolo Valente */ 149ea25da48SPaolo Valente static bool bfq_update_parent_budget(struct bfq_entity *next_in_service) 150ea25da48SPaolo Valente { 151ea25da48SPaolo Valente struct bfq_entity *bfqg_entity; 152ea25da48SPaolo Valente struct bfq_group *bfqg; 153ea25da48SPaolo Valente struct bfq_sched_data *group_sd; 154ea25da48SPaolo Valente bool ret = false; 155ea25da48SPaolo Valente 156ea25da48SPaolo Valente group_sd = next_in_service->sched_data; 157ea25da48SPaolo Valente 158ea25da48SPaolo Valente bfqg = container_of(group_sd, struct bfq_group, sched_data); 159ea25da48SPaolo Valente /* 160ea25da48SPaolo Valente * bfq_group's my_entity field is not NULL only if the group 161ea25da48SPaolo Valente * is not the root group. We must not touch the root entity 162ea25da48SPaolo Valente * as it must never become an in-service entity. 163ea25da48SPaolo Valente */ 164ea25da48SPaolo Valente bfqg_entity = bfqg->my_entity; 165ea25da48SPaolo Valente if (bfqg_entity) { 166ea25da48SPaolo Valente if (bfqg_entity->budget > next_in_service->budget) 167ea25da48SPaolo Valente ret = true; 168ea25da48SPaolo Valente bfqg_entity->budget = next_in_service->budget; 169ea25da48SPaolo Valente } 170ea25da48SPaolo Valente 171ea25da48SPaolo Valente return ret; 172ea25da48SPaolo Valente } 173ea25da48SPaolo Valente 174ea25da48SPaolo Valente /* 175ea25da48SPaolo Valente * This function tells whether entity stops being a candidate for next 17646d556e6SPaolo Valente * service, according to the restrictive definition of the field 17746d556e6SPaolo Valente * next_in_service. In particular, this function is invoked for an 17846d556e6SPaolo Valente * entity that is about to be set in service. 179ea25da48SPaolo Valente * 18046d556e6SPaolo Valente * If entity is a queue, then the entity is no longer a candidate for 18146d556e6SPaolo Valente * next service according to the that definition, because entity is 18246d556e6SPaolo Valente * about to become the in-service queue. This function then returns 18346d556e6SPaolo Valente * true if entity is a queue. 184ea25da48SPaolo Valente * 18546d556e6SPaolo Valente * In contrast, entity could still be a candidate for next service if 18646d556e6SPaolo Valente * it is not a queue, and has more than one active child. In fact, 18746d556e6SPaolo Valente * even if one of its children is about to be set in service, other 18846d556e6SPaolo Valente * active children may still be the next to serve, for the parent 18946d556e6SPaolo Valente * entity, even according to the above definition. As a consequence, a 19046d556e6SPaolo Valente * non-queue entity is not a candidate for next-service only if it has 19146d556e6SPaolo Valente * only one active child. And only if this condition holds, then this 19246d556e6SPaolo Valente * function returns true for a non-queue entity. 193ea25da48SPaolo Valente */ 194ea25da48SPaolo Valente static bool bfq_no_longer_next_in_service(struct bfq_entity *entity) 195ea25da48SPaolo Valente { 196ea25da48SPaolo Valente struct bfq_group *bfqg; 197ea25da48SPaolo Valente 198ea25da48SPaolo Valente if (bfq_entity_to_bfqq(entity)) 199ea25da48SPaolo Valente return true; 200ea25da48SPaolo Valente 201ea25da48SPaolo Valente bfqg = container_of(entity, struct bfq_group, entity); 202ea25da48SPaolo Valente 20346d556e6SPaolo Valente /* 20446d556e6SPaolo Valente * The field active_entities does not always contain the 20546d556e6SPaolo Valente * actual number of active children entities: it happens to 20646d556e6SPaolo Valente * not account for the in-service entity in case the latter is 20746d556e6SPaolo Valente * removed from its active tree (which may get done after 20846d556e6SPaolo Valente * invoking the function bfq_no_longer_next_in_service in 20946d556e6SPaolo Valente * bfq_get_next_queue). Fortunately, here, i.e., while 21046d556e6SPaolo Valente * bfq_no_longer_next_in_service is not yet completed in 21146d556e6SPaolo Valente * bfq_get_next_queue, bfq_active_extract has not yet been 21246d556e6SPaolo Valente * invoked, and thus active_entities still coincides with the 21346d556e6SPaolo Valente * actual number of active entities. 21446d556e6SPaolo Valente */ 215ea25da48SPaolo Valente if (bfqg->active_entities == 1) 216ea25da48SPaolo Valente return true; 217ea25da48SPaolo Valente 218ea25da48SPaolo Valente return false; 219ea25da48SPaolo Valente } 220ea25da48SPaolo Valente 221ea25da48SPaolo Valente #else /* CONFIG_BFQ_GROUP_IOSCHED */ 222ea25da48SPaolo Valente 223ea25da48SPaolo Valente static bool bfq_update_parent_budget(struct bfq_entity *next_in_service) 224ea25da48SPaolo Valente { 225ea25da48SPaolo Valente return false; 226ea25da48SPaolo Valente } 227ea25da48SPaolo Valente 228ea25da48SPaolo Valente static bool bfq_no_longer_next_in_service(struct bfq_entity *entity) 229ea25da48SPaolo Valente { 230ea25da48SPaolo Valente return true; 231ea25da48SPaolo Valente } 232ea25da48SPaolo Valente 233ea25da48SPaolo Valente #endif /* CONFIG_BFQ_GROUP_IOSCHED */ 234ea25da48SPaolo Valente 235ea25da48SPaolo Valente /* 236ea25da48SPaolo Valente * Shift for timestamp calculations. This actually limits the maximum 237ea25da48SPaolo Valente * service allowed in one timestamp delta (small shift values increase it), 238ea25da48SPaolo Valente * the maximum total weight that can be used for the queues in the system 239ea25da48SPaolo Valente * (big shift values increase it), and the period of virtual time 240ea25da48SPaolo Valente * wraparounds. 241ea25da48SPaolo Valente */ 242ea25da48SPaolo Valente #define WFQ_SERVICE_SHIFT 22 243ea25da48SPaolo Valente 244ea25da48SPaolo Valente struct bfq_queue *bfq_entity_to_bfqq(struct bfq_entity *entity) 245ea25da48SPaolo Valente { 246ea25da48SPaolo Valente struct bfq_queue *bfqq = NULL; 247ea25da48SPaolo Valente 248ea25da48SPaolo Valente if (!entity->my_sched_data) 249ea25da48SPaolo Valente bfqq = container_of(entity, struct bfq_queue, entity); 250ea25da48SPaolo Valente 251ea25da48SPaolo Valente return bfqq; 252ea25da48SPaolo Valente } 253ea25da48SPaolo Valente 254ea25da48SPaolo Valente 255ea25da48SPaolo Valente /** 256ea25da48SPaolo Valente * bfq_delta - map service into the virtual time domain. 257ea25da48SPaolo Valente * @service: amount of service. 258ea25da48SPaolo Valente * @weight: scale factor (weight of an entity or weight sum). 259ea25da48SPaolo Valente */ 260ea25da48SPaolo Valente static u64 bfq_delta(unsigned long service, unsigned long weight) 261ea25da48SPaolo Valente { 262554d21efSWen Yang return div64_ul((u64)service << WFQ_SERVICE_SHIFT, weight); 263ea25da48SPaolo Valente } 264ea25da48SPaolo Valente 265ea25da48SPaolo Valente /** 266ea25da48SPaolo Valente * bfq_calc_finish - assign the finish time to an entity. 267ea25da48SPaolo Valente * @entity: the entity to act upon. 268ea25da48SPaolo Valente * @service: the service to be charged to the entity. 269ea25da48SPaolo Valente */ 270ea25da48SPaolo Valente static void bfq_calc_finish(struct bfq_entity *entity, unsigned long service) 271ea25da48SPaolo Valente { 272ea25da48SPaolo Valente struct bfq_queue *bfqq = bfq_entity_to_bfqq(entity); 273ea25da48SPaolo Valente 274ea25da48SPaolo Valente entity->finish = entity->start + 275ea25da48SPaolo Valente bfq_delta(service, entity->weight); 276ea25da48SPaolo Valente 277ea25da48SPaolo Valente if (bfqq) { 278ea25da48SPaolo Valente bfq_log_bfqq(bfqq->bfqd, bfqq, 279ea25da48SPaolo Valente "calc_finish: serv %lu, w %d", 280ea25da48SPaolo Valente service, entity->weight); 281ea25da48SPaolo Valente bfq_log_bfqq(bfqq->bfqd, bfqq, 282ea25da48SPaolo Valente "calc_finish: start %llu, finish %llu, delta %llu", 283ea25da48SPaolo Valente entity->start, entity->finish, 284ea25da48SPaolo Valente bfq_delta(service, entity->weight)); 285ea25da48SPaolo Valente } 286ea25da48SPaolo Valente } 287ea25da48SPaolo Valente 288ea25da48SPaolo Valente /** 289ea25da48SPaolo Valente * bfq_entity_of - get an entity from a node. 290ea25da48SPaolo Valente * @node: the node field of the entity. 291ea25da48SPaolo Valente * 292ea25da48SPaolo Valente * Convert a node pointer to the relative entity. This is used only 293ea25da48SPaolo Valente * to simplify the logic of some functions and not as the generic 294ea25da48SPaolo Valente * conversion mechanism because, e.g., in the tree walking functions, 295ea25da48SPaolo Valente * the check for a %NULL value would be redundant. 296ea25da48SPaolo Valente */ 297ea25da48SPaolo Valente struct bfq_entity *bfq_entity_of(struct rb_node *node) 298ea25da48SPaolo Valente { 299ea25da48SPaolo Valente struct bfq_entity *entity = NULL; 300ea25da48SPaolo Valente 301ea25da48SPaolo Valente if (node) 302ea25da48SPaolo Valente entity = rb_entry(node, struct bfq_entity, rb_node); 303ea25da48SPaolo Valente 304ea25da48SPaolo Valente return entity; 305ea25da48SPaolo Valente } 306ea25da48SPaolo Valente 307ea25da48SPaolo Valente /** 308ea25da48SPaolo Valente * bfq_extract - remove an entity from a tree. 309ea25da48SPaolo Valente * @root: the tree root. 310ea25da48SPaolo Valente * @entity: the entity to remove. 311ea25da48SPaolo Valente */ 312ea25da48SPaolo Valente static void bfq_extract(struct rb_root *root, struct bfq_entity *entity) 313ea25da48SPaolo Valente { 314ea25da48SPaolo Valente entity->tree = NULL; 315ea25da48SPaolo Valente rb_erase(&entity->rb_node, root); 316ea25da48SPaolo Valente } 317ea25da48SPaolo Valente 318ea25da48SPaolo Valente /** 319ea25da48SPaolo Valente * bfq_idle_extract - extract an entity from the idle tree. 320ea25da48SPaolo Valente * @st: the service tree of the owning @entity. 321ea25da48SPaolo Valente * @entity: the entity being removed. 322ea25da48SPaolo Valente */ 323ea25da48SPaolo Valente static void bfq_idle_extract(struct bfq_service_tree *st, 324ea25da48SPaolo Valente struct bfq_entity *entity) 325ea25da48SPaolo Valente { 326ea25da48SPaolo Valente struct bfq_queue *bfqq = bfq_entity_to_bfqq(entity); 327ea25da48SPaolo Valente struct rb_node *next; 328ea25da48SPaolo Valente 329ea25da48SPaolo Valente if (entity == st->first_idle) { 330ea25da48SPaolo Valente next = rb_next(&entity->rb_node); 331ea25da48SPaolo Valente st->first_idle = bfq_entity_of(next); 332ea25da48SPaolo Valente } 333ea25da48SPaolo Valente 334ea25da48SPaolo Valente if (entity == st->last_idle) { 335ea25da48SPaolo Valente next = rb_prev(&entity->rb_node); 336ea25da48SPaolo Valente st->last_idle = bfq_entity_of(next); 337ea25da48SPaolo Valente } 338ea25da48SPaolo Valente 339ea25da48SPaolo Valente bfq_extract(&st->idle, entity); 340ea25da48SPaolo Valente 341ea25da48SPaolo Valente if (bfqq) 342ea25da48SPaolo Valente list_del(&bfqq->bfqq_list); 343ea25da48SPaolo Valente } 344ea25da48SPaolo Valente 345ea25da48SPaolo Valente /** 346ea25da48SPaolo Valente * bfq_insert - generic tree insertion. 347ea25da48SPaolo Valente * @root: tree root. 348ea25da48SPaolo Valente * @entity: entity to insert. 349ea25da48SPaolo Valente * 350ea25da48SPaolo Valente * This is used for the idle and the active tree, since they are both 351ea25da48SPaolo Valente * ordered by finish time. 352ea25da48SPaolo Valente */ 353ea25da48SPaolo Valente static void bfq_insert(struct rb_root *root, struct bfq_entity *entity) 354ea25da48SPaolo Valente { 355ea25da48SPaolo Valente struct bfq_entity *entry; 356ea25da48SPaolo Valente struct rb_node **node = &root->rb_node; 357ea25da48SPaolo Valente struct rb_node *parent = NULL; 358ea25da48SPaolo Valente 359ea25da48SPaolo Valente while (*node) { 360ea25da48SPaolo Valente parent = *node; 361ea25da48SPaolo Valente entry = rb_entry(parent, struct bfq_entity, rb_node); 362ea25da48SPaolo Valente 363ea25da48SPaolo Valente if (bfq_gt(entry->finish, entity->finish)) 364ea25da48SPaolo Valente node = &parent->rb_left; 365ea25da48SPaolo Valente else 366ea25da48SPaolo Valente node = &parent->rb_right; 367ea25da48SPaolo Valente } 368ea25da48SPaolo Valente 369ea25da48SPaolo Valente rb_link_node(&entity->rb_node, parent, node); 370ea25da48SPaolo Valente rb_insert_color(&entity->rb_node, root); 371ea25da48SPaolo Valente 372ea25da48SPaolo Valente entity->tree = root; 373ea25da48SPaolo Valente } 374ea25da48SPaolo Valente 375ea25da48SPaolo Valente /** 376ea25da48SPaolo Valente * bfq_update_min - update the min_start field of a entity. 377ea25da48SPaolo Valente * @entity: the entity to update. 378ea25da48SPaolo Valente * @node: one of its children. 379ea25da48SPaolo Valente * 380ea25da48SPaolo Valente * This function is called when @entity may store an invalid value for 381ea25da48SPaolo Valente * min_start due to updates to the active tree. The function assumes 382ea25da48SPaolo Valente * that the subtree rooted at @node (which may be its left or its right 383ea25da48SPaolo Valente * child) has a valid min_start value. 384ea25da48SPaolo Valente */ 385ea25da48SPaolo Valente static void bfq_update_min(struct bfq_entity *entity, struct rb_node *node) 386ea25da48SPaolo Valente { 387ea25da48SPaolo Valente struct bfq_entity *child; 388ea25da48SPaolo Valente 389ea25da48SPaolo Valente if (node) { 390ea25da48SPaolo Valente child = rb_entry(node, struct bfq_entity, rb_node); 391ea25da48SPaolo Valente if (bfq_gt(entity->min_start, child->min_start)) 392ea25da48SPaolo Valente entity->min_start = child->min_start; 393ea25da48SPaolo Valente } 394ea25da48SPaolo Valente } 395ea25da48SPaolo Valente 396ea25da48SPaolo Valente /** 397ea25da48SPaolo Valente * bfq_update_active_node - recalculate min_start. 398ea25da48SPaolo Valente * @node: the node to update. 399ea25da48SPaolo Valente * 400ea25da48SPaolo Valente * @node may have changed position or one of its children may have moved, 401ea25da48SPaolo Valente * this function updates its min_start value. The left and right subtrees 402ea25da48SPaolo Valente * are assumed to hold a correct min_start value. 403ea25da48SPaolo Valente */ 404ea25da48SPaolo Valente static void bfq_update_active_node(struct rb_node *node) 405ea25da48SPaolo Valente { 406ea25da48SPaolo Valente struct bfq_entity *entity = rb_entry(node, struct bfq_entity, rb_node); 407ea25da48SPaolo Valente 408ea25da48SPaolo Valente entity->min_start = entity->start; 409ea25da48SPaolo Valente bfq_update_min(entity, node->rb_right); 410ea25da48SPaolo Valente bfq_update_min(entity, node->rb_left); 411ea25da48SPaolo Valente } 412ea25da48SPaolo Valente 413ea25da48SPaolo Valente /** 414ea25da48SPaolo Valente * bfq_update_active_tree - update min_start for the whole active tree. 415ea25da48SPaolo Valente * @node: the starting node. 416ea25da48SPaolo Valente * 417ea25da48SPaolo Valente * @node must be the deepest modified node after an update. This function 418ea25da48SPaolo Valente * updates its min_start using the values held by its children, assuming 419ea25da48SPaolo Valente * that they did not change, and then updates all the nodes that may have 420ea25da48SPaolo Valente * changed in the path to the root. The only nodes that may have changed 421ea25da48SPaolo Valente * are the ones in the path or their siblings. 422ea25da48SPaolo Valente */ 423ea25da48SPaolo Valente static void bfq_update_active_tree(struct rb_node *node) 424ea25da48SPaolo Valente { 425ea25da48SPaolo Valente struct rb_node *parent; 426ea25da48SPaolo Valente 427ea25da48SPaolo Valente up: 428ea25da48SPaolo Valente bfq_update_active_node(node); 429ea25da48SPaolo Valente 430ea25da48SPaolo Valente parent = rb_parent(node); 431ea25da48SPaolo Valente if (!parent) 432ea25da48SPaolo Valente return; 433ea25da48SPaolo Valente 434ea25da48SPaolo Valente if (node == parent->rb_left && parent->rb_right) 435ea25da48SPaolo Valente bfq_update_active_node(parent->rb_right); 436ea25da48SPaolo Valente else if (parent->rb_left) 437ea25da48SPaolo Valente bfq_update_active_node(parent->rb_left); 438ea25da48SPaolo Valente 439ea25da48SPaolo Valente node = parent; 440ea25da48SPaolo Valente goto up; 441ea25da48SPaolo Valente } 442ea25da48SPaolo Valente 443ea25da48SPaolo Valente /** 444ea25da48SPaolo Valente * bfq_active_insert - insert an entity in the active tree of its 445ea25da48SPaolo Valente * group/device. 446ea25da48SPaolo Valente * @st: the service tree of the entity. 447ea25da48SPaolo Valente * @entity: the entity being inserted. 448ea25da48SPaolo Valente * 449ea25da48SPaolo Valente * The active tree is ordered by finish time, but an extra key is kept 450ea25da48SPaolo Valente * per each node, containing the minimum value for the start times of 451ea25da48SPaolo Valente * its children (and the node itself), so it's possible to search for 452ea25da48SPaolo Valente * the eligible node with the lowest finish time in logarithmic time. 453ea25da48SPaolo Valente */ 454ea25da48SPaolo Valente static void bfq_active_insert(struct bfq_service_tree *st, 455ea25da48SPaolo Valente struct bfq_entity *entity) 456ea25da48SPaolo Valente { 457ea25da48SPaolo Valente struct bfq_queue *bfqq = bfq_entity_to_bfqq(entity); 458ea25da48SPaolo Valente struct rb_node *node = &entity->rb_node; 459ea25da48SPaolo Valente #ifdef CONFIG_BFQ_GROUP_IOSCHED 460ea25da48SPaolo Valente struct bfq_sched_data *sd = NULL; 461ea25da48SPaolo Valente struct bfq_group *bfqg = NULL; 462ea25da48SPaolo Valente struct bfq_data *bfqd = NULL; 463ea25da48SPaolo Valente #endif 464ea25da48SPaolo Valente 465ea25da48SPaolo Valente bfq_insert(&st->active, entity); 466ea25da48SPaolo Valente 467ea25da48SPaolo Valente if (node->rb_left) 468ea25da48SPaolo Valente node = node->rb_left; 469ea25da48SPaolo Valente else if (node->rb_right) 470ea25da48SPaolo Valente node = node->rb_right; 471ea25da48SPaolo Valente 472ea25da48SPaolo Valente bfq_update_active_tree(node); 473ea25da48SPaolo Valente 474ea25da48SPaolo Valente #ifdef CONFIG_BFQ_GROUP_IOSCHED 475ea25da48SPaolo Valente sd = entity->sched_data; 476ea25da48SPaolo Valente bfqg = container_of(sd, struct bfq_group, sched_data); 477ea25da48SPaolo Valente bfqd = (struct bfq_data *)bfqg->bfqd; 478ea25da48SPaolo Valente #endif 479ea25da48SPaolo Valente if (bfqq) 480ea25da48SPaolo Valente list_add(&bfqq->bfqq_list, &bfqq->bfqd->active_list); 481ea25da48SPaolo Valente #ifdef CONFIG_BFQ_GROUP_IOSCHED 482ea25da48SPaolo Valente if (bfqg != bfqd->root_group) 483ea25da48SPaolo Valente bfqg->active_entities++; 484ea25da48SPaolo Valente #endif 485ea25da48SPaolo Valente } 486ea25da48SPaolo Valente 487ea25da48SPaolo Valente /** 488ea25da48SPaolo Valente * bfq_ioprio_to_weight - calc a weight from an ioprio. 489ea25da48SPaolo Valente * @ioprio: the ioprio value to convert. 490ea25da48SPaolo Valente */ 491ea25da48SPaolo Valente unsigned short bfq_ioprio_to_weight(int ioprio) 492ea25da48SPaolo Valente { 493202bc942SDamien Le Moal return (IOPRIO_NR_LEVELS - ioprio) * BFQ_WEIGHT_CONVERSION_COEFF; 494ea25da48SPaolo Valente } 495ea25da48SPaolo Valente 496ea25da48SPaolo Valente /** 497ea25da48SPaolo Valente * bfq_weight_to_ioprio - calc an ioprio from a weight. 498ea25da48SPaolo Valente * @weight: the weight value to convert. 499ea25da48SPaolo Valente * 500ea25da48SPaolo Valente * To preserve as much as possible the old only-ioprio user interface, 501ea25da48SPaolo Valente * 0 is used as an escape ioprio value for weights (numerically) equal or 502202bc942SDamien Le Moal * larger than IOPRIO_NR_LEVELS * BFQ_WEIGHT_CONVERSION_COEFF. 503ea25da48SPaolo Valente */ 504ea25da48SPaolo Valente static unsigned short bfq_weight_to_ioprio(int weight) 505ea25da48SPaolo Valente { 506ea25da48SPaolo Valente return max_t(int, 0, 507bcd2be76SYahu Gao IOPRIO_NR_LEVELS - weight / BFQ_WEIGHT_CONVERSION_COEFF); 508ea25da48SPaolo Valente } 509ea25da48SPaolo Valente 510ea25da48SPaolo Valente static void bfq_get_entity(struct bfq_entity *entity) 511ea25da48SPaolo Valente { 512ea25da48SPaolo Valente struct bfq_queue *bfqq = bfq_entity_to_bfqq(entity); 513ea25da48SPaolo Valente 514ea25da48SPaolo Valente if (bfqq) { 515ea25da48SPaolo Valente bfqq->ref++; 516ea25da48SPaolo Valente bfq_log_bfqq(bfqq->bfqd, bfqq, "get_entity: %p %d", 517ea25da48SPaolo Valente bfqq, bfqq->ref); 5182de791abSDmitry Monakhov } 519ea25da48SPaolo Valente } 520ea25da48SPaolo Valente 521ea25da48SPaolo Valente /** 522ea25da48SPaolo Valente * bfq_find_deepest - find the deepest node that an extraction can modify. 523ea25da48SPaolo Valente * @node: the node being removed. 524ea25da48SPaolo Valente * 525ea25da48SPaolo Valente * Do the first step of an extraction in an rb tree, looking for the 526ea25da48SPaolo Valente * node that will replace @node, and returning the deepest node that 527ea25da48SPaolo Valente * the following modifications to the tree can touch. If @node is the 528ea25da48SPaolo Valente * last node in the tree return %NULL. 529ea25da48SPaolo Valente */ 530ea25da48SPaolo Valente static struct rb_node *bfq_find_deepest(struct rb_node *node) 531ea25da48SPaolo Valente { 532ea25da48SPaolo Valente struct rb_node *deepest; 533ea25da48SPaolo Valente 534ea25da48SPaolo Valente if (!node->rb_right && !node->rb_left) 535ea25da48SPaolo Valente deepest = rb_parent(node); 536ea25da48SPaolo Valente else if (!node->rb_right) 537ea25da48SPaolo Valente deepest = node->rb_left; 538ea25da48SPaolo Valente else if (!node->rb_left) 539ea25da48SPaolo Valente deepest = node->rb_right; 540ea25da48SPaolo Valente else { 541ea25da48SPaolo Valente deepest = rb_next(node); 542ea25da48SPaolo Valente if (deepest->rb_right) 543ea25da48SPaolo Valente deepest = deepest->rb_right; 544ea25da48SPaolo Valente else if (rb_parent(deepest) != node) 545ea25da48SPaolo Valente deepest = rb_parent(deepest); 546ea25da48SPaolo Valente } 547ea25da48SPaolo Valente 548ea25da48SPaolo Valente return deepest; 549ea25da48SPaolo Valente } 550ea25da48SPaolo Valente 551ea25da48SPaolo Valente /** 552ea25da48SPaolo Valente * bfq_active_extract - remove an entity from the active tree. 553ea25da48SPaolo Valente * @st: the service_tree containing the tree. 554ea25da48SPaolo Valente * @entity: the entity being removed. 555ea25da48SPaolo Valente */ 556ea25da48SPaolo Valente static void bfq_active_extract(struct bfq_service_tree *st, 557ea25da48SPaolo Valente struct bfq_entity *entity) 558ea25da48SPaolo Valente { 559ea25da48SPaolo Valente struct bfq_queue *bfqq = bfq_entity_to_bfqq(entity); 560ea25da48SPaolo Valente struct rb_node *node; 561ea25da48SPaolo Valente #ifdef CONFIG_BFQ_GROUP_IOSCHED 562ea25da48SPaolo Valente struct bfq_sched_data *sd = NULL; 563ea25da48SPaolo Valente struct bfq_group *bfqg = NULL; 564ea25da48SPaolo Valente struct bfq_data *bfqd = NULL; 565ea25da48SPaolo Valente #endif 566ea25da48SPaolo Valente 567ea25da48SPaolo Valente node = bfq_find_deepest(&entity->rb_node); 568ea25da48SPaolo Valente bfq_extract(&st->active, entity); 569ea25da48SPaolo Valente 570ea25da48SPaolo Valente if (node) 571ea25da48SPaolo Valente bfq_update_active_tree(node); 572ea25da48SPaolo Valente 573ea25da48SPaolo Valente #ifdef CONFIG_BFQ_GROUP_IOSCHED 574ea25da48SPaolo Valente sd = entity->sched_data; 575ea25da48SPaolo Valente bfqg = container_of(sd, struct bfq_group, sched_data); 576ea25da48SPaolo Valente bfqd = (struct bfq_data *)bfqg->bfqd; 577ea25da48SPaolo Valente #endif 578ea25da48SPaolo Valente if (bfqq) 579ea25da48SPaolo Valente list_del(&bfqq->bfqq_list); 580ea25da48SPaolo Valente #ifdef CONFIG_BFQ_GROUP_IOSCHED 581ea25da48SPaolo Valente if (bfqg != bfqd->root_group) 582ea25da48SPaolo Valente bfqg->active_entities--; 583ea25da48SPaolo Valente #endif 584ea25da48SPaolo Valente } 585ea25da48SPaolo Valente 586ea25da48SPaolo Valente /** 587ea25da48SPaolo Valente * bfq_idle_insert - insert an entity into the idle tree. 588ea25da48SPaolo Valente * @st: the service tree containing the tree. 589ea25da48SPaolo Valente * @entity: the entity to insert. 590ea25da48SPaolo Valente */ 591ea25da48SPaolo Valente static void bfq_idle_insert(struct bfq_service_tree *st, 592ea25da48SPaolo Valente struct bfq_entity *entity) 593ea25da48SPaolo Valente { 594ea25da48SPaolo Valente struct bfq_queue *bfqq = bfq_entity_to_bfqq(entity); 595ea25da48SPaolo Valente struct bfq_entity *first_idle = st->first_idle; 596ea25da48SPaolo Valente struct bfq_entity *last_idle = st->last_idle; 597ea25da48SPaolo Valente 598ea25da48SPaolo Valente if (!first_idle || bfq_gt(first_idle->finish, entity->finish)) 599ea25da48SPaolo Valente st->first_idle = entity; 600ea25da48SPaolo Valente if (!last_idle || bfq_gt(entity->finish, last_idle->finish)) 601ea25da48SPaolo Valente st->last_idle = entity; 602ea25da48SPaolo Valente 603ea25da48SPaolo Valente bfq_insert(&st->idle, entity); 604ea25da48SPaolo Valente 605ea25da48SPaolo Valente if (bfqq) 606ea25da48SPaolo Valente list_add(&bfqq->bfqq_list, &bfqq->bfqd->idle_list); 607ea25da48SPaolo Valente } 608ea25da48SPaolo Valente 609ea25da48SPaolo Valente /** 610ea25da48SPaolo Valente * bfq_forget_entity - do not consider entity any longer for scheduling 611ea25da48SPaolo Valente * @st: the service tree. 612ea25da48SPaolo Valente * @entity: the entity being removed. 613ea25da48SPaolo Valente * @is_in_service: true if entity is currently the in-service entity. 614ea25da48SPaolo Valente * 615ea25da48SPaolo Valente * Forget everything about @entity. In addition, if entity represents 616ea25da48SPaolo Valente * a queue, and the latter is not in service, then release the service 617ea25da48SPaolo Valente * reference to the queue (the one taken through bfq_get_entity). In 618ea25da48SPaolo Valente * fact, in this case, there is really no more service reference to 619ea25da48SPaolo Valente * the queue, as the latter is also outside any service tree. If, 620ea25da48SPaolo Valente * instead, the queue is in service, then __bfq_bfqd_reset_in_service 621ea25da48SPaolo Valente * will take care of putting the reference when the queue finally 622ea25da48SPaolo Valente * stops being served. 623ea25da48SPaolo Valente */ 624ea25da48SPaolo Valente static void bfq_forget_entity(struct bfq_service_tree *st, 625ea25da48SPaolo Valente struct bfq_entity *entity, 626ea25da48SPaolo Valente bool is_in_service) 627ea25da48SPaolo Valente { 628ea25da48SPaolo Valente struct bfq_queue *bfqq = bfq_entity_to_bfqq(entity); 629ea25da48SPaolo Valente 63033a16a98SPaolo Valente entity->on_st_or_in_serv = false; 631ea25da48SPaolo Valente st->wsum -= entity->weight; 6322de791abSDmitry Monakhov if (bfqq && !is_in_service) 633ea25da48SPaolo Valente bfq_put_queue(bfqq); 634ea25da48SPaolo Valente } 635ea25da48SPaolo Valente 636ea25da48SPaolo Valente /** 637ea25da48SPaolo Valente * bfq_put_idle_entity - release the idle tree ref of an entity. 638ea25da48SPaolo Valente * @st: service tree for the entity. 639ea25da48SPaolo Valente * @entity: the entity being released. 640ea25da48SPaolo Valente */ 641ea25da48SPaolo Valente void bfq_put_idle_entity(struct bfq_service_tree *st, struct bfq_entity *entity) 642ea25da48SPaolo Valente { 643ea25da48SPaolo Valente bfq_idle_extract(st, entity); 644ea25da48SPaolo Valente bfq_forget_entity(st, entity, 645ea25da48SPaolo Valente entity == entity->sched_data->in_service_entity); 646ea25da48SPaolo Valente } 647ea25da48SPaolo Valente 648ea25da48SPaolo Valente /** 649ea25da48SPaolo Valente * bfq_forget_idle - update the idle tree if necessary. 650ea25da48SPaolo Valente * @st: the service tree to act upon. 651ea25da48SPaolo Valente * 652ea25da48SPaolo Valente * To preserve the global O(log N) complexity we only remove one entry here; 653ea25da48SPaolo Valente * as the idle tree will not grow indefinitely this can be done safely. 654ea25da48SPaolo Valente */ 655ea25da48SPaolo Valente static void bfq_forget_idle(struct bfq_service_tree *st) 656ea25da48SPaolo Valente { 657ea25da48SPaolo Valente struct bfq_entity *first_idle = st->first_idle; 658ea25da48SPaolo Valente struct bfq_entity *last_idle = st->last_idle; 659ea25da48SPaolo Valente 660ea25da48SPaolo Valente if (RB_EMPTY_ROOT(&st->active) && last_idle && 661ea25da48SPaolo Valente !bfq_gt(last_idle->finish, st->vtime)) { 662ea25da48SPaolo Valente /* 663ea25da48SPaolo Valente * Forget the whole idle tree, increasing the vtime past 664ea25da48SPaolo Valente * the last finish time of idle entities. 665ea25da48SPaolo Valente */ 666ea25da48SPaolo Valente st->vtime = last_idle->finish; 667ea25da48SPaolo Valente } 668ea25da48SPaolo Valente 669ea25da48SPaolo Valente if (first_idle && !bfq_gt(first_idle->finish, st->vtime)) 670ea25da48SPaolo Valente bfq_put_idle_entity(st, first_idle); 671ea25da48SPaolo Valente } 672ea25da48SPaolo Valente 673ea25da48SPaolo Valente struct bfq_service_tree *bfq_entity_service_tree(struct bfq_entity *entity) 674ea25da48SPaolo Valente { 675ea25da48SPaolo Valente struct bfq_sched_data *sched_data = entity->sched_data; 676ea25da48SPaolo Valente unsigned int idx = bfq_class_idx(entity); 677ea25da48SPaolo Valente 678ea25da48SPaolo Valente return sched_data->service_tree + idx; 679ea25da48SPaolo Valente } 680ea25da48SPaolo Valente 681431b17f9SPaolo Valente /* 682431b17f9SPaolo Valente * Update weight and priority of entity. If update_class_too is true, 683431b17f9SPaolo Valente * then update the ioprio_class of entity too. 684431b17f9SPaolo Valente * 685431b17f9SPaolo Valente * The reason why the update of ioprio_class is controlled through the 686431b17f9SPaolo Valente * last parameter is as follows. Changing the ioprio class of an 687431b17f9SPaolo Valente * entity implies changing the destination service trees for that 688431b17f9SPaolo Valente * entity. If such a change occurred when the entity is already on one 689431b17f9SPaolo Valente * of the service trees for its previous class, then the state of the 690431b17f9SPaolo Valente * entity would become more complex: none of the new possible service 691431b17f9SPaolo Valente * trees for the entity, according to bfq_entity_service_tree(), would 692431b17f9SPaolo Valente * match any of the possible service trees on which the entity 693431b17f9SPaolo Valente * is. Complex operations involving these trees, such as entity 694431b17f9SPaolo Valente * activations and deactivations, should take into account this 695431b17f9SPaolo Valente * additional complexity. To avoid this issue, this function is 696431b17f9SPaolo Valente * invoked with update_class_too unset in the points in the code where 697431b17f9SPaolo Valente * entity may happen to be on some tree. 698431b17f9SPaolo Valente */ 699ea25da48SPaolo Valente struct bfq_service_tree * 700ea25da48SPaolo Valente __bfq_entity_update_weight_prio(struct bfq_service_tree *old_st, 701431b17f9SPaolo Valente struct bfq_entity *entity, 702431b17f9SPaolo Valente bool update_class_too) 703ea25da48SPaolo Valente { 704ea25da48SPaolo Valente struct bfq_service_tree *new_st = old_st; 705ea25da48SPaolo Valente 706ea25da48SPaolo Valente if (entity->prio_changed) { 707ea25da48SPaolo Valente struct bfq_queue *bfqq = bfq_entity_to_bfqq(entity); 708ea25da48SPaolo Valente unsigned int prev_weight, new_weight; 709ea25da48SPaolo Valente struct bfq_data *bfqd = NULL; 710fb53ac6cSPaolo Valente struct rb_root_cached *root; 711ea25da48SPaolo Valente #ifdef CONFIG_BFQ_GROUP_IOSCHED 712ea25da48SPaolo Valente struct bfq_sched_data *sd; 713ea25da48SPaolo Valente struct bfq_group *bfqg; 714ea25da48SPaolo Valente #endif 715ea25da48SPaolo Valente 716ea25da48SPaolo Valente if (bfqq) 717ea25da48SPaolo Valente bfqd = bfqq->bfqd; 718ea25da48SPaolo Valente #ifdef CONFIG_BFQ_GROUP_IOSCHED 719ea25da48SPaolo Valente else { 720ea25da48SPaolo Valente sd = entity->my_sched_data; 721ea25da48SPaolo Valente bfqg = container_of(sd, struct bfq_group, sched_data); 722ea25da48SPaolo Valente bfqd = (struct bfq_data *)bfqg->bfqd; 723ea25da48SPaolo Valente } 724ea25da48SPaolo Valente #endif 725ea25da48SPaolo Valente 726e9d3c866SFam Zheng /* Matches the smp_wmb() in bfq_group_set_weight. */ 727e9d3c866SFam Zheng smp_rmb(); 728ea25da48SPaolo Valente old_st->wsum -= entity->weight; 729ea25da48SPaolo Valente 730ea25da48SPaolo Valente if (entity->new_weight != entity->orig_weight) { 731ea25da48SPaolo Valente if (entity->new_weight < BFQ_MIN_WEIGHT || 732ea25da48SPaolo Valente entity->new_weight > BFQ_MAX_WEIGHT) { 733ea25da48SPaolo Valente pr_crit("update_weight_prio: new_weight %d\n", 734ea25da48SPaolo Valente entity->new_weight); 735ea25da48SPaolo Valente if (entity->new_weight < BFQ_MIN_WEIGHT) 736ea25da48SPaolo Valente entity->new_weight = BFQ_MIN_WEIGHT; 737ea25da48SPaolo Valente else 738ea25da48SPaolo Valente entity->new_weight = BFQ_MAX_WEIGHT; 739ea25da48SPaolo Valente } 740ea25da48SPaolo Valente entity->orig_weight = entity->new_weight; 741ea25da48SPaolo Valente if (bfqq) 742ea25da48SPaolo Valente bfqq->ioprio = 743ea25da48SPaolo Valente bfq_weight_to_ioprio(entity->orig_weight); 744ea25da48SPaolo Valente } 745ea25da48SPaolo Valente 746431b17f9SPaolo Valente if (bfqq && update_class_too) 747ea25da48SPaolo Valente bfqq->ioprio_class = bfqq->new_ioprio_class; 748431b17f9SPaolo Valente 749431b17f9SPaolo Valente /* 750431b17f9SPaolo Valente * Reset prio_changed only if the ioprio_class change 751431b17f9SPaolo Valente * is not pending any longer. 752431b17f9SPaolo Valente */ 753431b17f9SPaolo Valente if (!bfqq || bfqq->ioprio_class == bfqq->new_ioprio_class) 754ea25da48SPaolo Valente entity->prio_changed = 0; 755ea25da48SPaolo Valente 756ea25da48SPaolo Valente /* 757ea25da48SPaolo Valente * NOTE: here we may be changing the weight too early, 758ea25da48SPaolo Valente * this will cause unfairness. The correct approach 759ea25da48SPaolo Valente * would have required additional complexity to defer 760ea25da48SPaolo Valente * weight changes to the proper time instants (i.e., 761ea25da48SPaolo Valente * when entity->finish <= old_st->vtime). 762ea25da48SPaolo Valente */ 763ea25da48SPaolo Valente new_st = bfq_entity_service_tree(entity); 764ea25da48SPaolo Valente 765ea25da48SPaolo Valente prev_weight = entity->weight; 766ea25da48SPaolo Valente new_weight = entity->orig_weight * 767ea25da48SPaolo Valente (bfqq ? bfqq->wr_coeff : 1); 768ea25da48SPaolo Valente /* 7692d29c9f8SFederico Motta * If the weight of the entity changes, and the entity is a 7702d29c9f8SFederico Motta * queue, remove the entity from its old weight counter (if 7712d29c9f8SFederico Motta * there is a counter associated with the entity). 772ea25da48SPaolo Valente */ 77398fa7a3eSFederico Motta if (prev_weight != new_weight && bfqq) { 7742d29c9f8SFederico Motta root = &bfqd->queue_weights_tree; 7752d29c9f8SFederico Motta __bfq_weights_tree_remove(bfqd, bfqq, root); 776ea25da48SPaolo Valente } 777ea25da48SPaolo Valente entity->weight = new_weight; 778ea25da48SPaolo Valente /* 7792d29c9f8SFederico Motta * Add the entity, if it is not a weight-raised queue, 7802d29c9f8SFederico Motta * to the counter associated with its new weight. 781ea25da48SPaolo Valente */ 78298fa7a3eSFederico Motta if (prev_weight != new_weight && bfqq && bfqq->wr_coeff == 1) { 783ea25da48SPaolo Valente /* If we get here, root has been initialized. */ 7842d29c9f8SFederico Motta bfq_weights_tree_add(bfqd, bfqq, root); 7852d29c9f8SFederico Motta } 786ea25da48SPaolo Valente 787ea25da48SPaolo Valente new_st->wsum += entity->weight; 788ea25da48SPaolo Valente 789ea25da48SPaolo Valente if (new_st != old_st) 790ea25da48SPaolo Valente entity->start = new_st->vtime; 791ea25da48SPaolo Valente } 792ea25da48SPaolo Valente 793ea25da48SPaolo Valente return new_st; 794ea25da48SPaolo Valente } 795ea25da48SPaolo Valente 796ea25da48SPaolo Valente /** 797ea25da48SPaolo Valente * bfq_bfqq_served - update the scheduler status after selection for 798ea25da48SPaolo Valente * service. 799ea25da48SPaolo Valente * @bfqq: the queue being served. 800ea25da48SPaolo Valente * @served: bytes to transfer. 801ea25da48SPaolo Valente * 802ea25da48SPaolo Valente * NOTE: this can be optimized, as the timestamps of upper level entities 803ea25da48SPaolo Valente * are synchronized every time a new bfqq is selected for service. By now, 804ea25da48SPaolo Valente * we keep it to better check consistency. 805ea25da48SPaolo Valente */ 806ea25da48SPaolo Valente void bfq_bfqq_served(struct bfq_queue *bfqq, int served) 807ea25da48SPaolo Valente { 808ea25da48SPaolo Valente struct bfq_entity *entity = &bfqq->entity; 809ea25da48SPaolo Valente struct bfq_service_tree *st; 810ea25da48SPaolo Valente 8117b8fa3b9SPaolo Valente if (!bfqq->service_from_backlogged) 8127b8fa3b9SPaolo Valente bfqq->first_IO_time = jiffies; 8137b8fa3b9SPaolo Valente 8148a8747dcSPaolo Valente if (bfqq->wr_coeff > 1) 8158a8747dcSPaolo Valente bfqq->service_from_wr += served; 8168a8747dcSPaolo Valente 8177b8fa3b9SPaolo Valente bfqq->service_from_backlogged += served; 818ea25da48SPaolo Valente for_each_entity(entity) { 819ea25da48SPaolo Valente st = bfq_entity_service_tree(entity); 820ea25da48SPaolo Valente 821ea25da48SPaolo Valente entity->service += served; 822ea25da48SPaolo Valente 823ea25da48SPaolo Valente st->vtime += bfq_delta(served, st->wsum); 824ea25da48SPaolo Valente bfq_forget_idle(st); 825ea25da48SPaolo Valente } 826ea25da48SPaolo Valente bfq_log_bfqq(bfqq->bfqd, bfqq, "bfqq_served %d secs", served); 827ea25da48SPaolo Valente } 828ea25da48SPaolo Valente 829ea25da48SPaolo Valente /** 830ea25da48SPaolo Valente * bfq_bfqq_charge_time - charge an amount of service equivalent to the length 831ea25da48SPaolo Valente * of the time interval during which bfqq has been in 832ea25da48SPaolo Valente * service. 833ea25da48SPaolo Valente * @bfqd: the device 834ea25da48SPaolo Valente * @bfqq: the queue that needs a service update. 835ea25da48SPaolo Valente * @time_ms: the amount of time during which the queue has received service 836ea25da48SPaolo Valente * 837ea25da48SPaolo Valente * If a queue does not consume its budget fast enough, then providing 838ea25da48SPaolo Valente * the queue with service fairness may impair throughput, more or less 839ea25da48SPaolo Valente * severely. For this reason, queues that consume their budget slowly 840ea25da48SPaolo Valente * are provided with time fairness instead of service fairness. This 841ea25da48SPaolo Valente * goal is achieved through the BFQ scheduling engine, even if such an 842ea25da48SPaolo Valente * engine works in the service, and not in the time domain. The trick 843ea25da48SPaolo Valente * is charging these queues with an inflated amount of service, equal 844ea25da48SPaolo Valente * to the amount of service that they would have received during their 845ea25da48SPaolo Valente * service slot if they had been fast, i.e., if their requests had 846ea25da48SPaolo Valente * been dispatched at a rate equal to the estimated peak rate. 847ea25da48SPaolo Valente * 848ea25da48SPaolo Valente * It is worth noting that time fairness can cause important 849ea25da48SPaolo Valente * distortions in terms of bandwidth distribution, on devices with 850ea25da48SPaolo Valente * internal queueing. The reason is that I/O requests dispatched 851ea25da48SPaolo Valente * during the service slot of a queue may be served after that service 852ea25da48SPaolo Valente * slot is finished, and may have a total processing time loosely 853ea25da48SPaolo Valente * correlated with the duration of the service slot. This is 854ea25da48SPaolo Valente * especially true for short service slots. 855ea25da48SPaolo Valente */ 856ea25da48SPaolo Valente void bfq_bfqq_charge_time(struct bfq_data *bfqd, struct bfq_queue *bfqq, 857ea25da48SPaolo Valente unsigned long time_ms) 858ea25da48SPaolo Valente { 859ea25da48SPaolo Valente struct bfq_entity *entity = &bfqq->entity; 860f8121648SPaolo Valente unsigned long timeout_ms = jiffies_to_msecs(bfq_timeout); 861f8121648SPaolo Valente unsigned long bounded_time_ms = min(time_ms, timeout_ms); 862f8121648SPaolo Valente int serv_to_charge_for_time = 863f8121648SPaolo Valente (bfqd->bfq_max_budget * bounded_time_ms) / timeout_ms; 864f8121648SPaolo Valente int tot_serv_to_charge = max(serv_to_charge_for_time, entity->service); 865ea25da48SPaolo Valente 866ea25da48SPaolo Valente /* Increase budget to avoid inconsistencies */ 867ea25da48SPaolo Valente if (tot_serv_to_charge > entity->budget) 868ea25da48SPaolo Valente entity->budget = tot_serv_to_charge; 869ea25da48SPaolo Valente 870ea25da48SPaolo Valente bfq_bfqq_served(bfqq, 871ea25da48SPaolo Valente max_t(int, 0, tot_serv_to_charge - entity->service)); 872ea25da48SPaolo Valente } 873ea25da48SPaolo Valente 874ea25da48SPaolo Valente static void bfq_update_fin_time_enqueue(struct bfq_entity *entity, 875ea25da48SPaolo Valente struct bfq_service_tree *st, 876ea25da48SPaolo Valente bool backshifted) 877ea25da48SPaolo Valente { 878ea25da48SPaolo Valente struct bfq_queue *bfqq = bfq_entity_to_bfqq(entity); 879ea25da48SPaolo Valente 880431b17f9SPaolo Valente /* 881431b17f9SPaolo Valente * When this function is invoked, entity is not in any service 882431b17f9SPaolo Valente * tree, then it is safe to invoke next function with the last 883431b17f9SPaolo Valente * parameter set (see the comments on the function). 884431b17f9SPaolo Valente */ 885431b17f9SPaolo Valente st = __bfq_entity_update_weight_prio(st, entity, true); 886ea25da48SPaolo Valente bfq_calc_finish(entity, entity->budget); 887ea25da48SPaolo Valente 888ea25da48SPaolo Valente /* 889ea25da48SPaolo Valente * If some queues enjoy backshifting for a while, then their 890ea25da48SPaolo Valente * (virtual) finish timestamps may happen to become lower and 891ea25da48SPaolo Valente * lower than the system virtual time. In particular, if 892ea25da48SPaolo Valente * these queues often happen to be idle for short time 893ea25da48SPaolo Valente * periods, and during such time periods other queues with 894ea25da48SPaolo Valente * higher timestamps happen to be busy, then the backshifted 895ea25da48SPaolo Valente * timestamps of the former queues can become much lower than 896ea25da48SPaolo Valente * the system virtual time. In fact, to serve the queues with 897ea25da48SPaolo Valente * higher timestamps while the ones with lower timestamps are 898ea25da48SPaolo Valente * idle, the system virtual time may be pushed-up to much 899ea25da48SPaolo Valente * higher values than the finish timestamps of the idle 900ea25da48SPaolo Valente * queues. As a consequence, the finish timestamps of all new 901ea25da48SPaolo Valente * or newly activated queues may end up being much larger than 902ea25da48SPaolo Valente * those of lucky queues with backshifted timestamps. The 903ea25da48SPaolo Valente * latter queues may then monopolize the device for a lot of 904ea25da48SPaolo Valente * time. This would simply break service guarantees. 905ea25da48SPaolo Valente * 906ea25da48SPaolo Valente * To reduce this problem, push up a little bit the 907ea25da48SPaolo Valente * backshifted timestamps of the queue associated with this 908ea25da48SPaolo Valente * entity (only a queue can happen to have the backshifted 909ea25da48SPaolo Valente * flag set): just enough to let the finish timestamp of the 910ea25da48SPaolo Valente * queue be equal to the current value of the system virtual 911ea25da48SPaolo Valente * time. This may introduce a little unfairness among queues 912ea25da48SPaolo Valente * with backshifted timestamps, but it does not break 913ea25da48SPaolo Valente * worst-case fairness guarantees. 914ea25da48SPaolo Valente * 915ea25da48SPaolo Valente * As a special case, if bfqq is weight-raised, push up 916ea25da48SPaolo Valente * timestamps much less, to keep very low the probability that 917ea25da48SPaolo Valente * this push up causes the backshifted finish timestamps of 918ea25da48SPaolo Valente * weight-raised queues to become higher than the backshifted 919ea25da48SPaolo Valente * finish timestamps of non weight-raised queues. 920ea25da48SPaolo Valente */ 921ea25da48SPaolo Valente if (backshifted && bfq_gt(st->vtime, entity->finish)) { 922ea25da48SPaolo Valente unsigned long delta = st->vtime - entity->finish; 923ea25da48SPaolo Valente 924ea25da48SPaolo Valente if (bfqq) 925ea25da48SPaolo Valente delta /= bfqq->wr_coeff; 926ea25da48SPaolo Valente 927ea25da48SPaolo Valente entity->start += delta; 928ea25da48SPaolo Valente entity->finish += delta; 929ea25da48SPaolo Valente } 930ea25da48SPaolo Valente 931ea25da48SPaolo Valente bfq_active_insert(st, entity); 932ea25da48SPaolo Valente } 933ea25da48SPaolo Valente 934ea25da48SPaolo Valente /** 935ea25da48SPaolo Valente * __bfq_activate_entity - handle activation of entity. 936ea25da48SPaolo Valente * @entity: the entity being activated. 937ea25da48SPaolo Valente * @non_blocking_wait_rq: true if entity was waiting for a request 938ea25da48SPaolo Valente * 939ea25da48SPaolo Valente * Called for a 'true' activation, i.e., if entity is not active and 940ea25da48SPaolo Valente * one of its children receives a new request. 941ea25da48SPaolo Valente * 942ea25da48SPaolo Valente * Basically, this function updates the timestamps of entity and 9430471559cSPaolo Valente * inserts entity into its active tree, after possibly extracting it 944ea25da48SPaolo Valente * from its idle tree. 945ea25da48SPaolo Valente */ 946ea25da48SPaolo Valente static void __bfq_activate_entity(struct bfq_entity *entity, 947ea25da48SPaolo Valente bool non_blocking_wait_rq) 948ea25da48SPaolo Valente { 949ea25da48SPaolo Valente struct bfq_service_tree *st = bfq_entity_service_tree(entity); 950ea25da48SPaolo Valente bool backshifted = false; 951ea25da48SPaolo Valente unsigned long long min_vstart; 952ea25da48SPaolo Valente 953ea25da48SPaolo Valente /* See comments on bfq_fqq_update_budg_for_activation */ 954ea25da48SPaolo Valente if (non_blocking_wait_rq && bfq_gt(st->vtime, entity->finish)) { 955ea25da48SPaolo Valente backshifted = true; 956ea25da48SPaolo Valente min_vstart = entity->finish; 957ea25da48SPaolo Valente } else 958ea25da48SPaolo Valente min_vstart = st->vtime; 959ea25da48SPaolo Valente 960ea25da48SPaolo Valente if (entity->tree == &st->idle) { 961ea25da48SPaolo Valente /* 962ea25da48SPaolo Valente * Must be on the idle tree, bfq_idle_extract() will 963ea25da48SPaolo Valente * check for that. 964ea25da48SPaolo Valente */ 965ea25da48SPaolo Valente bfq_idle_extract(st, entity); 966ea25da48SPaolo Valente entity->start = bfq_gt(min_vstart, entity->finish) ? 967ea25da48SPaolo Valente min_vstart : entity->finish; 968ea25da48SPaolo Valente } else { 969ea25da48SPaolo Valente /* 970ea25da48SPaolo Valente * The finish time of the entity may be invalid, and 971ea25da48SPaolo Valente * it is in the past for sure, otherwise the queue 972ea25da48SPaolo Valente * would have been on the idle tree. 973ea25da48SPaolo Valente */ 974ea25da48SPaolo Valente entity->start = min_vstart; 975ea25da48SPaolo Valente st->wsum += entity->weight; 976ea25da48SPaolo Valente /* 977ea25da48SPaolo Valente * entity is about to be inserted into a service tree, 978ea25da48SPaolo Valente * and then set in service: get a reference to make 979ea25da48SPaolo Valente * sure entity does not disappear until it is no 980ea25da48SPaolo Valente * longer in service or scheduled for service. 981ea25da48SPaolo Valente */ 982ea25da48SPaolo Valente bfq_get_entity(entity); 983ea25da48SPaolo Valente 98433a16a98SPaolo Valente entity->on_st_or_in_serv = true; 985ea25da48SPaolo Valente } 986ea25da48SPaolo Valente 987ea25da48SPaolo Valente bfq_update_fin_time_enqueue(entity, st, backshifted); 988ea25da48SPaolo Valente } 989ea25da48SPaolo Valente 990ea25da48SPaolo Valente /** 991ea25da48SPaolo Valente * __bfq_requeue_entity - handle requeueing or repositioning of an entity. 992ea25da48SPaolo Valente * @entity: the entity being requeued or repositioned. 993ea25da48SPaolo Valente * 994ea25da48SPaolo Valente * Requeueing is needed if this entity stops being served, which 995ea25da48SPaolo Valente * happens if a leaf descendant entity has expired. On the other hand, 996ea25da48SPaolo Valente * repositioning is needed if the next_inservice_entity for the child 997ea25da48SPaolo Valente * entity has changed. See the comments inside the function for 998ea25da48SPaolo Valente * details. 999ea25da48SPaolo Valente * 1000ea25da48SPaolo Valente * Basically, this function: 1) removes entity from its active tree if 1001ea25da48SPaolo Valente * present there, 2) updates the timestamps of entity and 3) inserts 1002ea25da48SPaolo Valente * entity back into its active tree (in the new, right position for 1003ea25da48SPaolo Valente * the new values of the timestamps). 1004ea25da48SPaolo Valente */ 1005ea25da48SPaolo Valente static void __bfq_requeue_entity(struct bfq_entity *entity) 1006ea25da48SPaolo Valente { 1007ea25da48SPaolo Valente struct bfq_sched_data *sd = entity->sched_data; 1008ea25da48SPaolo Valente struct bfq_service_tree *st = bfq_entity_service_tree(entity); 1009ea25da48SPaolo Valente 1010ea25da48SPaolo Valente if (entity == sd->in_service_entity) { 1011ea25da48SPaolo Valente /* 1012ea25da48SPaolo Valente * We are requeueing the current in-service entity, 1013ea25da48SPaolo Valente * which may have to be done for one of the following 1014ea25da48SPaolo Valente * reasons: 1015ea25da48SPaolo Valente * - entity represents the in-service queue, and the 1016ea25da48SPaolo Valente * in-service queue is being requeued after an 1017ea25da48SPaolo Valente * expiration; 1018ea25da48SPaolo Valente * - entity represents a group, and its budget has 1019ea25da48SPaolo Valente * changed because one of its child entities has 1020ea25da48SPaolo Valente * just been either activated or requeued for some 1021ea25da48SPaolo Valente * reason; the timestamps of the entity need then to 1022ea25da48SPaolo Valente * be updated, and the entity needs to be enqueued 1023ea25da48SPaolo Valente * or repositioned accordingly. 1024ea25da48SPaolo Valente * 1025ea25da48SPaolo Valente * In particular, before requeueing, the start time of 1026ea25da48SPaolo Valente * the entity must be moved forward to account for the 1027ea25da48SPaolo Valente * service that the entity has received while in 1028ea25da48SPaolo Valente * service. This is done by the next instructions. The 1029ea25da48SPaolo Valente * finish time will then be updated according to this 1030ea25da48SPaolo Valente * new value of the start time, and to the budget of 1031ea25da48SPaolo Valente * the entity. 1032ea25da48SPaolo Valente */ 1033ea25da48SPaolo Valente bfq_calc_finish(entity, entity->service); 1034ea25da48SPaolo Valente entity->start = entity->finish; 1035ea25da48SPaolo Valente /* 1036ea25da48SPaolo Valente * In addition, if the entity had more than one child 103746d556e6SPaolo Valente * when set in service, then it was not extracted from 1038ea25da48SPaolo Valente * the active tree. This implies that the position of 1039ea25da48SPaolo Valente * the entity in the active tree may need to be 1040ea25da48SPaolo Valente * changed now, because we have just updated the start 1041ea25da48SPaolo Valente * time of the entity, and we will update its finish 1042ea25da48SPaolo Valente * time in a moment (the requeueing is then, more 1043ea25da48SPaolo Valente * precisely, a repositioning in this case). To 1044ea25da48SPaolo Valente * implement this repositioning, we: 1) dequeue the 104546d556e6SPaolo Valente * entity here, 2) update the finish time and requeue 104646d556e6SPaolo Valente * the entity according to the new timestamps below. 1047ea25da48SPaolo Valente */ 1048ea25da48SPaolo Valente if (entity->tree) 1049ea25da48SPaolo Valente bfq_active_extract(st, entity); 1050ea25da48SPaolo Valente } else { /* The entity is already active, and not in service */ 1051ea25da48SPaolo Valente /* 1052ea25da48SPaolo Valente * In this case, this function gets called only if the 1053ea25da48SPaolo Valente * next_in_service entity below this entity has 1054ea25da48SPaolo Valente * changed, and this change has caused the budget of 1055ea25da48SPaolo Valente * this entity to change, which, finally implies that 1056ea25da48SPaolo Valente * the finish time of this entity must be 1057ea25da48SPaolo Valente * updated. Such an update may cause the scheduling, 1058ea25da48SPaolo Valente * i.e., the position in the active tree, of this 1059ea25da48SPaolo Valente * entity to change. We handle this change by: 1) 1060ea25da48SPaolo Valente * dequeueing the entity here, 2) updating the finish 1061ea25da48SPaolo Valente * time and requeueing the entity according to the new 1062ea25da48SPaolo Valente * timestamps below. This is the same approach as the 1063ea25da48SPaolo Valente * non-extracted-entity sub-case above. 1064ea25da48SPaolo Valente */ 1065ea25da48SPaolo Valente bfq_active_extract(st, entity); 1066ea25da48SPaolo Valente } 1067ea25da48SPaolo Valente 1068ea25da48SPaolo Valente bfq_update_fin_time_enqueue(entity, st, false); 1069ea25da48SPaolo Valente } 1070ea25da48SPaolo Valente 1071ea25da48SPaolo Valente static void __bfq_activate_requeue_entity(struct bfq_entity *entity, 1072ea25da48SPaolo Valente struct bfq_sched_data *sd, 1073ea25da48SPaolo Valente bool non_blocking_wait_rq) 1074ea25da48SPaolo Valente { 1075ea25da48SPaolo Valente struct bfq_service_tree *st = bfq_entity_service_tree(entity); 1076ea25da48SPaolo Valente 1077ea25da48SPaolo Valente if (sd->in_service_entity == entity || entity->tree == &st->active) 1078ea25da48SPaolo Valente /* 1079ea25da48SPaolo Valente * in service or already queued on the active tree, 1080ea25da48SPaolo Valente * requeue or reposition 1081ea25da48SPaolo Valente */ 1082ea25da48SPaolo Valente __bfq_requeue_entity(entity); 1083ea25da48SPaolo Valente else 1084ea25da48SPaolo Valente /* 1085ea25da48SPaolo Valente * Not in service and not queued on its active tree: 1086ea25da48SPaolo Valente * the activity is idle and this is a true activation. 1087ea25da48SPaolo Valente */ 1088ea25da48SPaolo Valente __bfq_activate_entity(entity, non_blocking_wait_rq); 1089ea25da48SPaolo Valente } 1090ea25da48SPaolo Valente 1091ea25da48SPaolo Valente 1092ea25da48SPaolo Valente /** 109346d556e6SPaolo Valente * bfq_activate_requeue_entity - activate or requeue an entity representing a 109446d556e6SPaolo Valente * bfq_queue, and activate, requeue or reposition 109546d556e6SPaolo Valente * all ancestors for which such an update becomes 109646d556e6SPaolo Valente * necessary. 1097ea25da48SPaolo Valente * @entity: the entity to activate. 1098ea25da48SPaolo Valente * @non_blocking_wait_rq: true if this entity was waiting for a request 1099ea25da48SPaolo Valente * @requeue: true if this is a requeue, which implies that bfqq is 1100ea25da48SPaolo Valente * being expired; thus ALL its ancestors stop being served and must 1101ea25da48SPaolo Valente * therefore be requeued 110280294c3bSPaolo Valente * @expiration: true if this function is being invoked in the expiration path 110380294c3bSPaolo Valente * of the in-service queue 1104ea25da48SPaolo Valente */ 1105ea25da48SPaolo Valente static void bfq_activate_requeue_entity(struct bfq_entity *entity, 1106ea25da48SPaolo Valente bool non_blocking_wait_rq, 110780294c3bSPaolo Valente bool requeue, bool expiration) 1108ea25da48SPaolo Valente { 1109ea25da48SPaolo Valente struct bfq_sched_data *sd; 1110ea25da48SPaolo Valente 1111ea25da48SPaolo Valente for_each_entity(entity) { 1112ea25da48SPaolo Valente sd = entity->sched_data; 1113ea25da48SPaolo Valente __bfq_activate_requeue_entity(entity, sd, non_blocking_wait_rq); 1114ea25da48SPaolo Valente 111580294c3bSPaolo Valente if (!bfq_update_next_in_service(sd, entity, expiration) && 111680294c3bSPaolo Valente !requeue) 1117ea25da48SPaolo Valente break; 1118ea25da48SPaolo Valente } 1119ea25da48SPaolo Valente } 1120ea25da48SPaolo Valente 1121ea25da48SPaolo Valente /** 11225bf85908SPaolo Valente * __bfq_deactivate_entity - update sched_data and service trees for 11235bf85908SPaolo Valente * entity, so as to represent entity as inactive 11245bf85908SPaolo Valente * @entity: the entity being deactivated. 1125ea25da48SPaolo Valente * @ins_into_idle_tree: if false, the entity will not be put into the 1126ea25da48SPaolo Valente * idle tree. 1127ea25da48SPaolo Valente * 11285bf85908SPaolo Valente * If necessary and allowed, puts entity into the idle tree. NOTE: 11295bf85908SPaolo Valente * entity may be on no tree if in service. 1130ea25da48SPaolo Valente */ 1131ea25da48SPaolo Valente bool __bfq_deactivate_entity(struct bfq_entity *entity, bool ins_into_idle_tree) 1132ea25da48SPaolo Valente { 1133ea25da48SPaolo Valente struct bfq_sched_data *sd = entity->sched_data; 1134a66c38a1SPaolo Valente struct bfq_service_tree *st; 1135a66c38a1SPaolo Valente bool is_in_service; 1136ea25da48SPaolo Valente 113733a16a98SPaolo Valente if (!entity->on_st_or_in_serv) /* 113833a16a98SPaolo Valente * entity never activated, or 113933a16a98SPaolo Valente * already inactive 114033a16a98SPaolo Valente */ 1141ea25da48SPaolo Valente return false; 1142ea25da48SPaolo Valente 1143a66c38a1SPaolo Valente /* 1144a66c38a1SPaolo Valente * If we get here, then entity is active, which implies that 1145a66c38a1SPaolo Valente * bfq_group_set_parent has already been invoked for the group 1146a66c38a1SPaolo Valente * represented by entity. Therefore, the field 1147a66c38a1SPaolo Valente * entity->sched_data has been set, and we can safely use it. 1148a66c38a1SPaolo Valente */ 1149a66c38a1SPaolo Valente st = bfq_entity_service_tree(entity); 1150a66c38a1SPaolo Valente is_in_service = entity == sd->in_service_entity; 1151a66c38a1SPaolo Valente 1152ea25da48SPaolo Valente bfq_calc_finish(entity, entity->service); 1153cbeb869aSPaolo Valente 1154cbeb869aSPaolo Valente if (is_in_service) 11556ab1d8daSPaolo Valente sd->in_service_entity = NULL; 1156cbeb869aSPaolo Valente else 1157cbeb869aSPaolo Valente /* 1158cbeb869aSPaolo Valente * Non in-service entity: nobody will take care of 1159cbeb869aSPaolo Valente * resetting its service counter on expiration. Do it 1160cbeb869aSPaolo Valente * now. 1161cbeb869aSPaolo Valente */ 1162cbeb869aSPaolo Valente entity->service = 0; 1163ea25da48SPaolo Valente 1164ea25da48SPaolo Valente if (entity->tree == &st->active) 1165ea25da48SPaolo Valente bfq_active_extract(st, entity); 1166ea25da48SPaolo Valente else if (!is_in_service && entity->tree == &st->idle) 1167ea25da48SPaolo Valente bfq_idle_extract(st, entity); 1168ea25da48SPaolo Valente 1169ea25da48SPaolo Valente if (!ins_into_idle_tree || !bfq_gt(entity->finish, st->vtime)) 1170ea25da48SPaolo Valente bfq_forget_entity(st, entity, is_in_service); 1171ea25da48SPaolo Valente else 1172ea25da48SPaolo Valente bfq_idle_insert(st, entity); 1173ea25da48SPaolo Valente 1174ea25da48SPaolo Valente return true; 1175ea25da48SPaolo Valente } 1176ea25da48SPaolo Valente 1177ea25da48SPaolo Valente /** 1178ea25da48SPaolo Valente * bfq_deactivate_entity - deactivate an entity representing a bfq_queue. 1179ea25da48SPaolo Valente * @entity: the entity to deactivate. 118046d556e6SPaolo Valente * @ins_into_idle_tree: true if the entity can be put into the idle tree 118180294c3bSPaolo Valente * @expiration: true if this function is being invoked in the expiration path 118280294c3bSPaolo Valente * of the in-service queue 1183ea25da48SPaolo Valente */ 1184ea25da48SPaolo Valente static void bfq_deactivate_entity(struct bfq_entity *entity, 1185ea25da48SPaolo Valente bool ins_into_idle_tree, 1186ea25da48SPaolo Valente bool expiration) 1187ea25da48SPaolo Valente { 1188ea25da48SPaolo Valente struct bfq_sched_data *sd; 1189ea25da48SPaolo Valente struct bfq_entity *parent = NULL; 1190ea25da48SPaolo Valente 1191ea25da48SPaolo Valente for_each_entity_safe(entity, parent) { 1192ea25da48SPaolo Valente sd = entity->sched_data; 1193ea25da48SPaolo Valente 1194ea25da48SPaolo Valente if (!__bfq_deactivate_entity(entity, ins_into_idle_tree)) { 1195ea25da48SPaolo Valente /* 1196ea25da48SPaolo Valente * entity is not in any tree any more, so 1197ea25da48SPaolo Valente * this deactivation is a no-op, and there is 1198ea25da48SPaolo Valente * nothing to change for upper-level entities 1199ea25da48SPaolo Valente * (in case of expiration, this can never 1200ea25da48SPaolo Valente * happen). 1201ea25da48SPaolo Valente */ 1202ea25da48SPaolo Valente return; 1203ea25da48SPaolo Valente } 1204ea25da48SPaolo Valente 1205ea25da48SPaolo Valente if (sd->next_in_service == entity) 1206ea25da48SPaolo Valente /* 1207ea25da48SPaolo Valente * entity was the next_in_service entity, 1208ea25da48SPaolo Valente * then, since entity has just been 1209ea25da48SPaolo Valente * deactivated, a new one must be found. 1210ea25da48SPaolo Valente */ 121180294c3bSPaolo Valente bfq_update_next_in_service(sd, NULL, expiration); 1212ea25da48SPaolo Valente 121346d556e6SPaolo Valente if (sd->next_in_service || sd->in_service_entity) { 1214ea25da48SPaolo Valente /* 121546d556e6SPaolo Valente * The parent entity is still active, because 121646d556e6SPaolo Valente * either next_in_service or in_service_entity 121746d556e6SPaolo Valente * is not NULL. So, no further upwards 121846d556e6SPaolo Valente * deactivation must be performed. Yet, 121946d556e6SPaolo Valente * next_in_service has changed. Then the 122046d556e6SPaolo Valente * schedule does need to be updated upwards. 122146d556e6SPaolo Valente * 122246d556e6SPaolo Valente * NOTE If in_service_entity is not NULL, then 122346d556e6SPaolo Valente * next_in_service may happen to be NULL, 122446d556e6SPaolo Valente * although the parent entity is evidently 122546d556e6SPaolo Valente * active. This happens if 1) the entity 122646d556e6SPaolo Valente * pointed by in_service_entity is the only 122746d556e6SPaolo Valente * active entity in the parent entity, and 2) 122846d556e6SPaolo Valente * according to the definition of 122946d556e6SPaolo Valente * next_in_service, the in_service_entity 123046d556e6SPaolo Valente * cannot be considered as 123146d556e6SPaolo Valente * next_in_service. See the comments on the 123246d556e6SPaolo Valente * definition of next_in_service for details. 1233ea25da48SPaolo Valente */ 1234ea25da48SPaolo Valente break; 123546d556e6SPaolo Valente } 1236ea25da48SPaolo Valente 1237ea25da48SPaolo Valente /* 1238ea25da48SPaolo Valente * If we get here, then the parent is no more 1239ea25da48SPaolo Valente * backlogged and we need to propagate the 1240ea25da48SPaolo Valente * deactivation upwards. Thus let the loop go on. 1241ea25da48SPaolo Valente */ 1242ea25da48SPaolo Valente 1243ea25da48SPaolo Valente /* 1244ea25da48SPaolo Valente * Also let parent be queued into the idle tree on 1245ea25da48SPaolo Valente * deactivation, to preserve service guarantees, and 1246ea25da48SPaolo Valente * assuming that who invoked this function does not 1247ea25da48SPaolo Valente * need parent entities too to be removed completely. 1248ea25da48SPaolo Valente */ 1249ea25da48SPaolo Valente ins_into_idle_tree = true; 1250ea25da48SPaolo Valente } 1251ea25da48SPaolo Valente 1252ea25da48SPaolo Valente /* 1253ea25da48SPaolo Valente * If the deactivation loop is fully executed, then there are 1254ea25da48SPaolo Valente * no more entities to touch and next loop is not executed at 1255ea25da48SPaolo Valente * all. Otherwise, requeue remaining entities if they are 1256ea25da48SPaolo Valente * about to stop receiving service, or reposition them if this 1257ea25da48SPaolo Valente * is not the case. 1258ea25da48SPaolo Valente */ 1259ea25da48SPaolo Valente entity = parent; 1260ea25da48SPaolo Valente for_each_entity(entity) { 1261ea25da48SPaolo Valente /* 1262ea25da48SPaolo Valente * Invoke __bfq_requeue_entity on entity, even if 1263ea25da48SPaolo Valente * already active, to requeue/reposition it in the 1264ea25da48SPaolo Valente * active tree (because sd->next_in_service has 1265ea25da48SPaolo Valente * changed) 1266ea25da48SPaolo Valente */ 1267ea25da48SPaolo Valente __bfq_requeue_entity(entity); 1268ea25da48SPaolo Valente 1269ea25da48SPaolo Valente sd = entity->sched_data; 127080294c3bSPaolo Valente if (!bfq_update_next_in_service(sd, entity, expiration) && 1271ea25da48SPaolo Valente !expiration) 1272ea25da48SPaolo Valente /* 1273ea25da48SPaolo Valente * next_in_service unchanged or not causing 1274ea25da48SPaolo Valente * any change in entity->parent->sd, and no 1275ea25da48SPaolo Valente * requeueing needed for expiration: stop 1276ea25da48SPaolo Valente * here. 1277ea25da48SPaolo Valente */ 1278ea25da48SPaolo Valente break; 1279ea25da48SPaolo Valente } 1280ea25da48SPaolo Valente } 1281ea25da48SPaolo Valente 1282ea25da48SPaolo Valente /** 1283ea25da48SPaolo Valente * bfq_calc_vtime_jump - compute the value to which the vtime should jump, 1284ea25da48SPaolo Valente * if needed, to have at least one entity eligible. 1285ea25da48SPaolo Valente * @st: the service tree to act upon. 1286ea25da48SPaolo Valente * 1287ea25da48SPaolo Valente * Assumes that st is not empty. 1288ea25da48SPaolo Valente */ 1289ea25da48SPaolo Valente static u64 bfq_calc_vtime_jump(struct bfq_service_tree *st) 1290ea25da48SPaolo Valente { 1291ea25da48SPaolo Valente struct bfq_entity *root_entity = bfq_root_active_entity(&st->active); 1292ea25da48SPaolo Valente 1293ea25da48SPaolo Valente if (bfq_gt(root_entity->min_start, st->vtime)) 1294ea25da48SPaolo Valente return root_entity->min_start; 1295ea25da48SPaolo Valente 1296ea25da48SPaolo Valente return st->vtime; 1297ea25da48SPaolo Valente } 1298ea25da48SPaolo Valente 1299ea25da48SPaolo Valente static void bfq_update_vtime(struct bfq_service_tree *st, u64 new_value) 1300ea25da48SPaolo Valente { 1301ea25da48SPaolo Valente if (new_value > st->vtime) { 1302ea25da48SPaolo Valente st->vtime = new_value; 1303ea25da48SPaolo Valente bfq_forget_idle(st); 1304ea25da48SPaolo Valente } 1305ea25da48SPaolo Valente } 1306ea25da48SPaolo Valente 1307ea25da48SPaolo Valente /** 1308ea25da48SPaolo Valente * bfq_first_active_entity - find the eligible entity with 1309ea25da48SPaolo Valente * the smallest finish time 1310ea25da48SPaolo Valente * @st: the service tree to select from. 1311ea25da48SPaolo Valente * @vtime: the system virtual to use as a reference for eligibility 1312ea25da48SPaolo Valente * 1313ea25da48SPaolo Valente * This function searches the first schedulable entity, starting from the 1314ea25da48SPaolo Valente * root of the tree and going on the left every time on this side there is 131538c91407SHou Tao * a subtree with at least one eligible (start <= vtime) entity. The path on 1316ea25da48SPaolo Valente * the right is followed only if a) the left subtree contains no eligible 1317ea25da48SPaolo Valente * entities and b) no eligible entity has been found yet. 1318ea25da48SPaolo Valente */ 1319ea25da48SPaolo Valente static struct bfq_entity *bfq_first_active_entity(struct bfq_service_tree *st, 1320ea25da48SPaolo Valente u64 vtime) 1321ea25da48SPaolo Valente { 1322ea25da48SPaolo Valente struct bfq_entity *entry, *first = NULL; 1323ea25da48SPaolo Valente struct rb_node *node = st->active.rb_node; 1324ea25da48SPaolo Valente 1325ea25da48SPaolo Valente while (node) { 1326ea25da48SPaolo Valente entry = rb_entry(node, struct bfq_entity, rb_node); 1327ea25da48SPaolo Valente left: 1328ea25da48SPaolo Valente if (!bfq_gt(entry->start, vtime)) 1329ea25da48SPaolo Valente first = entry; 1330ea25da48SPaolo Valente 1331ea25da48SPaolo Valente if (node->rb_left) { 1332ea25da48SPaolo Valente entry = rb_entry(node->rb_left, 1333ea25da48SPaolo Valente struct bfq_entity, rb_node); 1334ea25da48SPaolo Valente if (!bfq_gt(entry->min_start, vtime)) { 1335ea25da48SPaolo Valente node = node->rb_left; 1336ea25da48SPaolo Valente goto left; 1337ea25da48SPaolo Valente } 1338ea25da48SPaolo Valente } 1339ea25da48SPaolo Valente if (first) 1340ea25da48SPaolo Valente break; 1341ea25da48SPaolo Valente node = node->rb_right; 1342ea25da48SPaolo Valente } 1343ea25da48SPaolo Valente 1344ea25da48SPaolo Valente return first; 1345ea25da48SPaolo Valente } 1346ea25da48SPaolo Valente 1347ea25da48SPaolo Valente /** 1348ea25da48SPaolo Valente * __bfq_lookup_next_entity - return the first eligible entity in @st. 1349ea25da48SPaolo Valente * @st: the service tree. 13501d87be82SBart Van Assche * @in_service: whether or not there is an in-service entity for the sched_data 13511d87be82SBart Van Assche * this active tree belongs to. 1352ea25da48SPaolo Valente * 1353ea25da48SPaolo Valente * If there is no in-service entity for the sched_data st belongs to, 1354ea25da48SPaolo Valente * then return the entity that will be set in service if: 1355ea25da48SPaolo Valente * 1) the parent entity this st belongs to is set in service; 1356ea25da48SPaolo Valente * 2) no entity belonging to such parent entity undergoes a state change 1357ea25da48SPaolo Valente * that would influence the timestamps of the entity (e.g., becomes idle, 1358ea25da48SPaolo Valente * becomes backlogged, changes its budget, ...). 1359ea25da48SPaolo Valente * 1360ea25da48SPaolo Valente * In this first case, update the virtual time in @st too (see the 1361ea25da48SPaolo Valente * comments on this update inside the function). 1362ea25da48SPaolo Valente * 1363636b8fe8SAngelo Ruocco * In contrast, if there is an in-service entity, then return the 1364ea25da48SPaolo Valente * entity that would be set in service if not only the above 1365ea25da48SPaolo Valente * conditions, but also the next one held true: the currently 1366ea25da48SPaolo Valente * in-service entity, on expiration, 1367ea25da48SPaolo Valente * 1) gets a finish time equal to the current one, or 1368ea25da48SPaolo Valente * 2) is not eligible any more, or 1369ea25da48SPaolo Valente * 3) is idle. 1370ea25da48SPaolo Valente */ 1371ea25da48SPaolo Valente static struct bfq_entity * 1372ea25da48SPaolo Valente __bfq_lookup_next_entity(struct bfq_service_tree *st, bool in_service) 1373ea25da48SPaolo Valente { 1374ea25da48SPaolo Valente struct bfq_entity *entity; 1375ea25da48SPaolo Valente u64 new_vtime; 1376ea25da48SPaolo Valente 1377ea25da48SPaolo Valente if (RB_EMPTY_ROOT(&st->active)) 1378ea25da48SPaolo Valente return NULL; 1379ea25da48SPaolo Valente 1380ea25da48SPaolo Valente /* 1381ea25da48SPaolo Valente * Get the value of the system virtual time for which at 1382ea25da48SPaolo Valente * least one entity is eligible. 1383ea25da48SPaolo Valente */ 1384ea25da48SPaolo Valente new_vtime = bfq_calc_vtime_jump(st); 1385ea25da48SPaolo Valente 1386ea25da48SPaolo Valente /* 1387ea25da48SPaolo Valente * If there is no in-service entity for the sched_data this 1388ea25da48SPaolo Valente * active tree belongs to, then push the system virtual time 1389ea25da48SPaolo Valente * up to the value that guarantees that at least one entity is 1390ea25da48SPaolo Valente * eligible. If, instead, there is an in-service entity, then 1391ea25da48SPaolo Valente * do not make any such update, because there is already an 1392ea25da48SPaolo Valente * eligible entity, namely the in-service one (even if the 1393ea25da48SPaolo Valente * entity is not on st, because it was extracted when set in 1394ea25da48SPaolo Valente * service). 1395ea25da48SPaolo Valente */ 1396ea25da48SPaolo Valente if (!in_service) 1397ea25da48SPaolo Valente bfq_update_vtime(st, new_vtime); 1398ea25da48SPaolo Valente 1399ea25da48SPaolo Valente entity = bfq_first_active_entity(st, new_vtime); 1400ea25da48SPaolo Valente 1401ea25da48SPaolo Valente return entity; 1402ea25da48SPaolo Valente } 1403ea25da48SPaolo Valente 1404ea25da48SPaolo Valente /** 1405ea25da48SPaolo Valente * bfq_lookup_next_entity - return the first eligible entity in @sd. 1406ea25da48SPaolo Valente * @sd: the sched_data. 140780294c3bSPaolo Valente * @expiration: true if we are on the expiration path of the in-service queue 1408ea25da48SPaolo Valente * 1409ea25da48SPaolo Valente * This function is invoked when there has been a change in the trees 141080294c3bSPaolo Valente * for sd, and we need to know what is the new next entity to serve 141180294c3bSPaolo Valente * after this change. 1412ea25da48SPaolo Valente */ 141380294c3bSPaolo Valente static struct bfq_entity *bfq_lookup_next_entity(struct bfq_sched_data *sd, 141480294c3bSPaolo Valente bool expiration) 1415ea25da48SPaolo Valente { 1416ea25da48SPaolo Valente struct bfq_service_tree *st = sd->service_tree; 1417ea25da48SPaolo Valente struct bfq_service_tree *idle_class_st = st + (BFQ_IOPRIO_CLASSES - 1); 1418ea25da48SPaolo Valente struct bfq_entity *entity = NULL; 1419ea25da48SPaolo Valente int class_idx = 0; 1420ea25da48SPaolo Valente 1421ea25da48SPaolo Valente /* 1422ea25da48SPaolo Valente * Choose from idle class, if needed to guarantee a minimum 1423ea25da48SPaolo Valente * bandwidth to this class (and if there is some active entity 1424ea25da48SPaolo Valente * in idle class). This should also mitigate 1425ea25da48SPaolo Valente * priority-inversion problems in case a low priority task is 1426ea25da48SPaolo Valente * holding file system resources. 1427ea25da48SPaolo Valente */ 1428ea25da48SPaolo Valente if (time_is_before_jiffies(sd->bfq_class_idle_last_service + 1429ea25da48SPaolo Valente BFQ_CL_IDLE_TIMEOUT)) { 1430ea25da48SPaolo Valente if (!RB_EMPTY_ROOT(&idle_class_st->active)) 1431ea25da48SPaolo Valente class_idx = BFQ_IOPRIO_CLASSES - 1; 1432ea25da48SPaolo Valente /* About to be served if backlogged, or not yet backlogged */ 1433ea25da48SPaolo Valente sd->bfq_class_idle_last_service = jiffies; 1434ea25da48SPaolo Valente } 1435ea25da48SPaolo Valente 1436ea25da48SPaolo Valente /* 1437ea25da48SPaolo Valente * Find the next entity to serve for the highest-priority 1438ea25da48SPaolo Valente * class, unless the idle class needs to be served. 1439ea25da48SPaolo Valente */ 1440ea25da48SPaolo Valente for (; class_idx < BFQ_IOPRIO_CLASSES; class_idx++) { 144180294c3bSPaolo Valente /* 144280294c3bSPaolo Valente * If expiration is true, then bfq_lookup_next_entity 144380294c3bSPaolo Valente * is being invoked as a part of the expiration path 144480294c3bSPaolo Valente * of the in-service queue. In this case, even if 144580294c3bSPaolo Valente * sd->in_service_entity is not NULL, 1446636b8fe8SAngelo Ruocco * sd->in_service_entity at this point is actually not 144780294c3bSPaolo Valente * in service any more, and, if needed, has already 144880294c3bSPaolo Valente * been properly queued or requeued into the right 144980294c3bSPaolo Valente * tree. The reason why sd->in_service_entity is still 145080294c3bSPaolo Valente * not NULL here, even if expiration is true, is that 1451636b8fe8SAngelo Ruocco * sd->in_service_entity is reset as a last step in the 145280294c3bSPaolo Valente * expiration path. So, if expiration is true, tell 145380294c3bSPaolo Valente * __bfq_lookup_next_entity that there is no 145480294c3bSPaolo Valente * sd->in_service_entity. 145580294c3bSPaolo Valente */ 1456ea25da48SPaolo Valente entity = __bfq_lookup_next_entity(st + class_idx, 145780294c3bSPaolo Valente sd->in_service_entity && 145880294c3bSPaolo Valente !expiration); 1459ea25da48SPaolo Valente 1460ea25da48SPaolo Valente if (entity) 1461ea25da48SPaolo Valente break; 1462ea25da48SPaolo Valente } 1463ea25da48SPaolo Valente 1464ea25da48SPaolo Valente return entity; 1465ea25da48SPaolo Valente } 1466ea25da48SPaolo Valente 1467ea25da48SPaolo Valente bool next_queue_may_preempt(struct bfq_data *bfqd) 1468ea25da48SPaolo Valente { 1469ea25da48SPaolo Valente struct bfq_sched_data *sd = &bfqd->root_group->sched_data; 1470ea25da48SPaolo Valente 1471ea25da48SPaolo Valente return sd->next_in_service != sd->in_service_entity; 1472ea25da48SPaolo Valente } 1473ea25da48SPaolo Valente 1474ea25da48SPaolo Valente /* 1475ea25da48SPaolo Valente * Get next queue for service. 1476ea25da48SPaolo Valente */ 1477ea25da48SPaolo Valente struct bfq_queue *bfq_get_next_queue(struct bfq_data *bfqd) 1478ea25da48SPaolo Valente { 1479ea25da48SPaolo Valente struct bfq_entity *entity = NULL; 1480ea25da48SPaolo Valente struct bfq_sched_data *sd; 1481ea25da48SPaolo Valente struct bfq_queue *bfqq; 1482ea25da48SPaolo Valente 148373d58118SPaolo Valente if (bfq_tot_busy_queues(bfqd) == 0) 1484ea25da48SPaolo Valente return NULL; 1485ea25da48SPaolo Valente 1486ea25da48SPaolo Valente /* 1487ea25da48SPaolo Valente * Traverse the path from the root to the leaf entity to 1488ea25da48SPaolo Valente * serve. Set in service all the entities visited along the 1489ea25da48SPaolo Valente * way. 1490ea25da48SPaolo Valente */ 1491ea25da48SPaolo Valente sd = &bfqd->root_group->sched_data; 1492ea25da48SPaolo Valente for (; sd ; sd = entity->my_sched_data) { 1493ea25da48SPaolo Valente /* 1494ea25da48SPaolo Valente * WARNING. We are about to set the in-service entity 1495ea25da48SPaolo Valente * to sd->next_in_service, i.e., to the (cached) value 1496ea25da48SPaolo Valente * returned by bfq_lookup_next_entity(sd) the last 1497ea25da48SPaolo Valente * time it was invoked, i.e., the last time when the 1498ea25da48SPaolo Valente * service order in sd changed as a consequence of the 1499ea25da48SPaolo Valente * activation or deactivation of an entity. In this 1500ea25da48SPaolo Valente * respect, if we execute bfq_lookup_next_entity(sd) 1501ea25da48SPaolo Valente * in this very moment, it may, although with low 1502ea25da48SPaolo Valente * probability, yield a different entity than that 1503ea25da48SPaolo Valente * pointed to by sd->next_in_service. This rare event 1504ea25da48SPaolo Valente * happens in case there was no CLASS_IDLE entity to 1505ea25da48SPaolo Valente * serve for sd when bfq_lookup_next_entity(sd) was 1506ea25da48SPaolo Valente * invoked for the last time, while there is now one 1507ea25da48SPaolo Valente * such entity. 1508ea25da48SPaolo Valente * 1509ea25da48SPaolo Valente * If the above event happens, then the scheduling of 1510ea25da48SPaolo Valente * such entity in CLASS_IDLE is postponed until the 1511ea25da48SPaolo Valente * service of the sd->next_in_service entity 1512ea25da48SPaolo Valente * finishes. In fact, when the latter is expired, 1513ea25da48SPaolo Valente * bfq_lookup_next_entity(sd) gets called again, 1514ea25da48SPaolo Valente * exactly to update sd->next_in_service. 1515ea25da48SPaolo Valente */ 1516ea25da48SPaolo Valente 1517ea25da48SPaolo Valente /* Make next_in_service entity become in_service_entity */ 1518ea25da48SPaolo Valente entity = sd->next_in_service; 1519ea25da48SPaolo Valente sd->in_service_entity = entity; 1520ea25da48SPaolo Valente 1521ea25da48SPaolo Valente /* 1522ea25da48SPaolo Valente * If entity is no longer a candidate for next 152346d556e6SPaolo Valente * service, then it must be extracted from its active 152446d556e6SPaolo Valente * tree, so as to make sure that it won't be 152546d556e6SPaolo Valente * considered when computing next_in_service. See the 152646d556e6SPaolo Valente * comments on the function 152746d556e6SPaolo Valente * bfq_no_longer_next_in_service() for details. 1528ea25da48SPaolo Valente */ 1529ea25da48SPaolo Valente if (bfq_no_longer_next_in_service(entity)) 1530ea25da48SPaolo Valente bfq_active_extract(bfq_entity_service_tree(entity), 1531ea25da48SPaolo Valente entity); 1532ea25da48SPaolo Valente 1533ea25da48SPaolo Valente /* 153446d556e6SPaolo Valente * Even if entity is not to be extracted according to 153546d556e6SPaolo Valente * the above check, a descendant entity may get 153646d556e6SPaolo Valente * extracted in one of the next iterations of this 153746d556e6SPaolo Valente * loop. Such an event could cause a change in 153846d556e6SPaolo Valente * next_in_service for the level of the descendant 153946d556e6SPaolo Valente * entity, and thus possibly back to this level. 1540ea25da48SPaolo Valente * 154146d556e6SPaolo Valente * However, we cannot perform the resulting needed 154246d556e6SPaolo Valente * update of next_in_service for this level before the 154346d556e6SPaolo Valente * end of the whole loop, because, to know which is 154446d556e6SPaolo Valente * the correct next-to-serve candidate entity for each 154546d556e6SPaolo Valente * level, we need first to find the leaf entity to set 154646d556e6SPaolo Valente * in service. In fact, only after we know which is 154746d556e6SPaolo Valente * the next-to-serve leaf entity, we can discover 154846d556e6SPaolo Valente * whether the parent entity of the leaf entity 154946d556e6SPaolo Valente * becomes the next-to-serve, and so on. 1550ea25da48SPaolo Valente */ 1551ea25da48SPaolo Valente } 1552ea25da48SPaolo Valente 1553ea25da48SPaolo Valente bfqq = bfq_entity_to_bfqq(entity); 1554ea25da48SPaolo Valente 1555ea25da48SPaolo Valente /* 1556ea25da48SPaolo Valente * We can finally update all next-to-serve entities along the 1557ea25da48SPaolo Valente * path from the leaf entity just set in service to the root. 1558ea25da48SPaolo Valente */ 1559ea25da48SPaolo Valente for_each_entity(entity) { 1560ea25da48SPaolo Valente struct bfq_sched_data *sd = entity->sched_data; 1561ea25da48SPaolo Valente 156280294c3bSPaolo Valente if (!bfq_update_next_in_service(sd, NULL, false)) 1563ea25da48SPaolo Valente break; 1564ea25da48SPaolo Valente } 1565ea25da48SPaolo Valente 1566ea25da48SPaolo Valente return bfqq; 1567ea25da48SPaolo Valente } 1568ea25da48SPaolo Valente 1569eed47d19SPaolo Valente /* returns true if the in-service queue gets freed */ 1570eed47d19SPaolo Valente bool __bfq_bfqd_reset_in_service(struct bfq_data *bfqd) 1571ea25da48SPaolo Valente { 1572ea25da48SPaolo Valente struct bfq_queue *in_serv_bfqq = bfqd->in_service_queue; 1573ea25da48SPaolo Valente struct bfq_entity *in_serv_entity = &in_serv_bfqq->entity; 1574ea25da48SPaolo Valente struct bfq_entity *entity = in_serv_entity; 1575ea25da48SPaolo Valente 1576ea25da48SPaolo Valente bfq_clear_bfqq_wait_request(in_serv_bfqq); 1577ea25da48SPaolo Valente hrtimer_try_to_cancel(&bfqd->idle_slice_timer); 1578ea25da48SPaolo Valente bfqd->in_service_queue = NULL; 1579ea25da48SPaolo Valente 1580ea25da48SPaolo Valente /* 1581ea25da48SPaolo Valente * When this function is called, all in-service entities have 1582ea25da48SPaolo Valente * been properly deactivated or requeued, so we can safely 1583ea25da48SPaolo Valente * execute the final step: reset in_service_entity along the 1584ea25da48SPaolo Valente * path from entity to the root. 1585ea25da48SPaolo Valente */ 1586ea25da48SPaolo Valente for_each_entity(entity) 1587ea25da48SPaolo Valente entity->sched_data->in_service_entity = NULL; 1588ea25da48SPaolo Valente 1589ea25da48SPaolo Valente /* 1590ea25da48SPaolo Valente * in_serv_entity is no longer in service, so, if it is in no 1591ea25da48SPaolo Valente * service tree either, then release the service reference to 1592ea25da48SPaolo Valente * the queue it represents (taken with bfq_get_entity). 1593ea25da48SPaolo Valente */ 159433a16a98SPaolo Valente if (!in_serv_entity->on_st_or_in_serv) { 1595eed47d19SPaolo Valente /* 1596eed47d19SPaolo Valente * If no process is referencing in_serv_bfqq any 1597eed47d19SPaolo Valente * longer, then the service reference may be the only 1598eed47d19SPaolo Valente * reference to the queue. If this is the case, then 1599eed47d19SPaolo Valente * bfqq gets freed here. 1600eed47d19SPaolo Valente */ 1601eed47d19SPaolo Valente int ref = in_serv_bfqq->ref; 1602ea25da48SPaolo Valente bfq_put_queue(in_serv_bfqq); 1603eed47d19SPaolo Valente if (ref == 1) 1604eed47d19SPaolo Valente return true; 1605eed47d19SPaolo Valente } 1606eed47d19SPaolo Valente 1607eed47d19SPaolo Valente return false; 1608ea25da48SPaolo Valente } 1609ea25da48SPaolo Valente 1610ea25da48SPaolo Valente void bfq_deactivate_bfqq(struct bfq_data *bfqd, struct bfq_queue *bfqq, 1611ea25da48SPaolo Valente bool ins_into_idle_tree, bool expiration) 1612ea25da48SPaolo Valente { 1613ea25da48SPaolo Valente struct bfq_entity *entity = &bfqq->entity; 1614ea25da48SPaolo Valente 1615ea25da48SPaolo Valente bfq_deactivate_entity(entity, ins_into_idle_tree, expiration); 1616ea25da48SPaolo Valente } 1617ea25da48SPaolo Valente 1618ea25da48SPaolo Valente void bfq_activate_bfqq(struct bfq_data *bfqd, struct bfq_queue *bfqq) 1619ea25da48SPaolo Valente { 1620ea25da48SPaolo Valente struct bfq_entity *entity = &bfqq->entity; 1621ea25da48SPaolo Valente 1622ea25da48SPaolo Valente bfq_activate_requeue_entity(entity, bfq_bfqq_non_blocking_wait_rq(bfqq), 162380294c3bSPaolo Valente false, false); 1624ea25da48SPaolo Valente bfq_clear_bfqq_non_blocking_wait_rq(bfqq); 1625ea25da48SPaolo Valente } 1626ea25da48SPaolo Valente 162780294c3bSPaolo Valente void bfq_requeue_bfqq(struct bfq_data *bfqd, struct bfq_queue *bfqq, 162880294c3bSPaolo Valente bool expiration) 1629ea25da48SPaolo Valente { 1630ea25da48SPaolo Valente struct bfq_entity *entity = &bfqq->entity; 1631ea25da48SPaolo Valente 1632ea25da48SPaolo Valente bfq_activate_requeue_entity(entity, false, 163380294c3bSPaolo Valente bfqq == bfqd->in_service_queue, expiration); 1634ea25da48SPaolo Valente } 1635ea25da48SPaolo Valente 16363d89bd12SYu Kuai void bfq_add_bfqq_in_groups_with_pending_reqs(struct bfq_queue *bfqq) 16373d89bd12SYu Kuai { 16383d89bd12SYu Kuai struct bfq_entity *entity = &bfqq->entity; 16393d89bd12SYu Kuai 164060a6e10cSYu Kuai if (!entity->in_groups_with_pending_reqs) { 16413d89bd12SYu Kuai entity->in_groups_with_pending_reqs = true; 164260a6e10cSYu Kuai #ifdef CONFIG_BFQ_GROUP_IOSCHED 1643*71f8ca77SYu Kuai if (!(bfqq_group(bfqq)->num_queues_with_pending_reqs++)) 1644*71f8ca77SYu Kuai bfqq->bfqd->num_groups_with_pending_reqs++; 164560a6e10cSYu Kuai #endif 164660a6e10cSYu Kuai } 16473d89bd12SYu Kuai } 16483d89bd12SYu Kuai 16493d89bd12SYu Kuai void bfq_del_bfqq_in_groups_with_pending_reqs(struct bfq_queue *bfqq) 16503d89bd12SYu Kuai { 16513d89bd12SYu Kuai struct bfq_entity *entity = &bfqq->entity; 16523d89bd12SYu Kuai 165360a6e10cSYu Kuai if (entity->in_groups_with_pending_reqs) { 16543d89bd12SYu Kuai entity->in_groups_with_pending_reqs = false; 165560a6e10cSYu Kuai #ifdef CONFIG_BFQ_GROUP_IOSCHED 1656*71f8ca77SYu Kuai if (!(--bfqq_group(bfqq)->num_queues_with_pending_reqs)) 1657*71f8ca77SYu Kuai bfqq->bfqd->num_groups_with_pending_reqs--; 165860a6e10cSYu Kuai #endif 165960a6e10cSYu Kuai } 16603d89bd12SYu Kuai } 16613d89bd12SYu Kuai 1662ea25da48SPaolo Valente /* 1663ea25da48SPaolo Valente * Called when the bfqq no longer has requests pending, remove it from 1664ea25da48SPaolo Valente * the service tree. As a special case, it can be invoked during an 1665ea25da48SPaolo Valente * expiration. 1666ea25da48SPaolo Valente */ 1667d322f355SYu Kuai void bfq_del_bfqq_busy(struct bfq_queue *bfqq, bool expiration) 1668ea25da48SPaolo Valente { 1669d322f355SYu Kuai struct bfq_data *bfqd = bfqq->bfqd; 1670d322f355SYu Kuai 1671ea25da48SPaolo Valente bfq_log_bfqq(bfqd, bfqq, "del from busy"); 1672ea25da48SPaolo Valente 1673ea25da48SPaolo Valente bfq_clear_bfqq_busy(bfqq); 1674ea25da48SPaolo Valente 167573d58118SPaolo Valente bfqd->busy_queues[bfqq->ioprio_class - 1]--; 1676ea25da48SPaolo Valente 1677ea25da48SPaolo Valente if (bfqq->wr_coeff > 1) 1678ea25da48SPaolo Valente bfqd->wr_busy_queues--; 1679ea25da48SPaolo Valente 1680ea25da48SPaolo Valente bfqg_stats_update_dequeue(bfqq_group(bfqq)); 1681ea25da48SPaolo Valente 1682ea25da48SPaolo Valente bfq_deactivate_bfqq(bfqd, bfqq, true, expiration); 16839dee8b3bSPaolo Valente 16843d89bd12SYu Kuai if (!bfqq->dispatched) { 16853d89bd12SYu Kuai bfq_del_bfqq_in_groups_with_pending_reqs(bfqq); 1686*71f8ca77SYu Kuai /* 1687*71f8ca77SYu Kuai * Next function is invoked last, because it causes bfqq to be 1688*71f8ca77SYu Kuai * freed. DO NOT use bfqq after the next function invocation. 1689*71f8ca77SYu Kuai */ 16909dee8b3bSPaolo Valente bfq_weights_tree_remove(bfqd, bfqq); 1691ea25da48SPaolo Valente } 16923d89bd12SYu Kuai } 1693ea25da48SPaolo Valente 1694ea25da48SPaolo Valente /* 1695ea25da48SPaolo Valente * Called when an inactive queue receives a new request. 1696ea25da48SPaolo Valente */ 1697d322f355SYu Kuai void bfq_add_bfqq_busy(struct bfq_queue *bfqq) 1698ea25da48SPaolo Valente { 1699d322f355SYu Kuai struct bfq_data *bfqd = bfqq->bfqd; 1700d322f355SYu Kuai 1701ea25da48SPaolo Valente bfq_log_bfqq(bfqd, bfqq, "add to busy"); 1702ea25da48SPaolo Valente 1703ea25da48SPaolo Valente bfq_activate_bfqq(bfqd, bfqq); 1704ea25da48SPaolo Valente 1705ea25da48SPaolo Valente bfq_mark_bfqq_busy(bfqq); 170673d58118SPaolo Valente bfqd->busy_queues[bfqq->ioprio_class - 1]++; 1707ea25da48SPaolo Valente 17083d89bd12SYu Kuai if (!bfqq->dispatched) { 17093d89bd12SYu Kuai bfq_add_bfqq_in_groups_with_pending_reqs(bfqq); 1710ea25da48SPaolo Valente if (bfqq->wr_coeff == 1) 17112d29c9f8SFederico Motta bfq_weights_tree_add(bfqd, bfqq, 1712ea25da48SPaolo Valente &bfqd->queue_weights_tree); 17133d89bd12SYu Kuai } 1714ea25da48SPaolo Valente 1715ea25da48SPaolo Valente if (bfqq->wr_coeff > 1) 1716ea25da48SPaolo Valente bfqd->wr_busy_queues++; 17172ec5a5c4SPaolo Valente 17182ec5a5c4SPaolo Valente /* Move bfqq to the head of the woken list of its waker */ 17192ec5a5c4SPaolo Valente if (!hlist_unhashed(&bfqq->woken_list_node) && 17202ec5a5c4SPaolo Valente &bfqq->woken_list_node != bfqq->waker_bfqq->woken_list.first) { 17212ec5a5c4SPaolo Valente hlist_del_init(&bfqq->woken_list_node); 17222ec5a5c4SPaolo Valente hlist_add_head(&bfqq->woken_list_node, 17232ec5a5c4SPaolo Valente &bfqq->waker_bfqq->woken_list); 17242ec5a5c4SPaolo Valente } 1725ea25da48SPaolo Valente } 1726