Greg Kroah-Hartman | b244131 | 2017-11-01 15:07:57 +0100 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0 |
Tom Herbert | 75957ba | 2011-11-28 16:32:35 +0000 | [diff] [blame] | 2 | /* |
| 3 | * Dynamic byte queue limits. See include/linux/dynamic_queue_limits.h |
| 4 | * |
| 5 | * Copyright (c) 2011, Tom Herbert <therbert@google.com> |
| 6 | */ |
Tom Herbert | 75957ba | 2011-11-28 16:32:35 +0000 | [diff] [blame] | 7 | #include <linux/types.h> |
Tom Herbert | 75957ba | 2011-11-28 16:32:35 +0000 | [diff] [blame] | 8 | #include <linux/kernel.h> |
Tom Herbert | 930c514 | 2012-03-11 19:59:43 -0700 | [diff] [blame] | 9 | #include <linux/jiffies.h> |
Tom Herbert | 75957ba | 2011-11-28 16:32:35 +0000 | [diff] [blame] | 10 | #include <linux/dynamic_queue_limits.h> |
Rasmus Villemoes | 565ac23 | 2015-02-12 15:02:37 -0800 | [diff] [blame] | 11 | #include <linux/compiler.h> |
| 12 | #include <linux/export.h> |
Tom Herbert | 75957ba | 2011-11-28 16:32:35 +0000 | [diff] [blame] | 13 | |
Hiroaki SHIMODA | 0cfd32b | 2012-05-30 12:24:39 +0000 | [diff] [blame] | 14 | #define POSDIFF(A, B) ((int)((A) - (B)) > 0 ? (A) - (B) : 0) |
Hiroaki SHIMODA | 25426b7 | 2012-05-30 12:25:19 +0000 | [diff] [blame] | 15 | #define AFTER_EQ(A, B) ((int)((A) - (B)) >= 0) |
Tom Herbert | 75957ba | 2011-11-28 16:32:35 +0000 | [diff] [blame] | 16 | |
| 17 | /* Records completed count and recalculates the queue limit */ |
| 18 | void dql_completed(struct dql *dql, unsigned int count) |
| 19 | { |
| 20 | unsigned int inprogress, prev_inprogress, limit; |
Hiroaki SHIMODA | 914bec1 | 2012-05-30 12:25:37 +0000 | [diff] [blame] | 21 | unsigned int ovlimit, completed, num_queued; |
Hiroaki SHIMODA | 25426b7 | 2012-05-30 12:25:19 +0000 | [diff] [blame] | 22 | bool all_prev_completed; |
Tom Herbert | 75957ba | 2011-11-28 16:32:35 +0000 | [diff] [blame] | 23 | |
Mark Rutland | 6aa7de0 | 2017-10-23 14:07:29 -0700 | [diff] [blame] | 24 | num_queued = READ_ONCE(dql->num_queued); |
Hiroaki SHIMODA | 914bec1 | 2012-05-30 12:25:37 +0000 | [diff] [blame] | 25 | |
Tom Herbert | 75957ba | 2011-11-28 16:32:35 +0000 | [diff] [blame] | 26 | /* Can't complete more than what's in queue */ |
Hiroaki SHIMODA | 914bec1 | 2012-05-30 12:25:37 +0000 | [diff] [blame] | 27 | BUG_ON(count > num_queued - dql->num_completed); |
Tom Herbert | 75957ba | 2011-11-28 16:32:35 +0000 | [diff] [blame] | 28 | |
| 29 | completed = dql->num_completed + count; |
| 30 | limit = dql->limit; |
Hiroaki SHIMODA | 914bec1 | 2012-05-30 12:25:37 +0000 | [diff] [blame] | 31 | ovlimit = POSDIFF(num_queued - dql->num_completed, limit); |
| 32 | inprogress = num_queued - completed; |
Tom Herbert | 75957ba | 2011-11-28 16:32:35 +0000 | [diff] [blame] | 33 | prev_inprogress = dql->prev_num_queued - dql->num_completed; |
Hiroaki SHIMODA | 25426b7 | 2012-05-30 12:25:19 +0000 | [diff] [blame] | 34 | all_prev_completed = AFTER_EQ(completed, dql->prev_num_queued); |
Tom Herbert | 75957ba | 2011-11-28 16:32:35 +0000 | [diff] [blame] | 35 | |
| 36 | if ((ovlimit && !inprogress) || |
| 37 | (dql->prev_ovlimit && all_prev_completed)) { |
| 38 | /* |
| 39 | * Queue considered starved if: |
| 40 | * - The queue was over-limit in the last interval, |
| 41 | * and there is no more data in the queue. |
| 42 | * OR |
| 43 | * - The queue was over-limit in the previous interval and |
| 44 | * when enqueuing it was possible that all queued data |
| 45 | * had been consumed. This covers the case when queue |
| 46 | * may have becomes starved between completion processing |
| 47 | * running and next time enqueue was scheduled. |
| 48 | * |
| 49 | * When queue is starved increase the limit by the amount |
| 50 | * of bytes both sent and completed in the last interval, |
| 51 | * plus any previous over-limit. |
| 52 | */ |
| 53 | limit += POSDIFF(completed, dql->prev_num_queued) + |
| 54 | dql->prev_ovlimit; |
| 55 | dql->slack_start_time = jiffies; |
| 56 | dql->lowest_slack = UINT_MAX; |
| 57 | } else if (inprogress && prev_inprogress && !all_prev_completed) { |
| 58 | /* |
| 59 | * Queue was not starved, check if the limit can be decreased. |
| 60 | * A decrease is only considered if the queue has been busy in |
| 61 | * the whole interval (the check above). |
| 62 | * |
Randy Dunlap | dde57fe | 2020-10-15 20:10:57 -0700 | [diff] [blame] | 63 | * If there is slack, the amount of excess data queued above |
| 64 | * the amount needed to prevent starvation, the queue limit |
Tom Herbert | 75957ba | 2011-11-28 16:32:35 +0000 | [diff] [blame] | 65 | * can be decreased. To avoid hysteresis we consider the |
| 66 | * minimum amount of slack found over several iterations of the |
| 67 | * completion routine. |
| 68 | */ |
| 69 | unsigned int slack, slack_last_objs; |
| 70 | |
| 71 | /* |
| 72 | * Slack is the maximum of |
| 73 | * - The queue limit plus previous over-limit minus twice |
| 74 | * the number of objects completed. Note that two times |
| 75 | * number of completed bytes is a basis for an upper bound |
| 76 | * of the limit. |
| 77 | * - Portion of objects in the last queuing operation that |
| 78 | * was not part of non-zero previous over-limit. That is |
| 79 | * "round down" by non-overlimit portion of the last |
| 80 | * queueing operation. |
| 81 | */ |
| 82 | slack = POSDIFF(limit + dql->prev_ovlimit, |
| 83 | 2 * (completed - dql->num_completed)); |
| 84 | slack_last_objs = dql->prev_ovlimit ? |
| 85 | POSDIFF(dql->prev_last_obj_cnt, dql->prev_ovlimit) : 0; |
| 86 | |
| 87 | slack = max(slack, slack_last_objs); |
| 88 | |
| 89 | if (slack < dql->lowest_slack) |
| 90 | dql->lowest_slack = slack; |
| 91 | |
| 92 | if (time_after(jiffies, |
| 93 | dql->slack_start_time + dql->slack_hold_time)) { |
| 94 | limit = POSDIFF(limit, dql->lowest_slack); |
| 95 | dql->slack_start_time = jiffies; |
| 96 | dql->lowest_slack = UINT_MAX; |
| 97 | } |
| 98 | } |
| 99 | |
| 100 | /* Enforce bounds on limit */ |
| 101 | limit = clamp(limit, dql->min_limit, dql->max_limit); |
| 102 | |
| 103 | if (limit != dql->limit) { |
| 104 | dql->limit = limit; |
| 105 | ovlimit = 0; |
| 106 | } |
| 107 | |
| 108 | dql->adj_limit = limit + completed; |
| 109 | dql->prev_ovlimit = ovlimit; |
| 110 | dql->prev_last_obj_cnt = dql->last_obj_cnt; |
| 111 | dql->num_completed = completed; |
Hiroaki SHIMODA | 914bec1 | 2012-05-30 12:25:37 +0000 | [diff] [blame] | 112 | dql->prev_num_queued = num_queued; |
Tom Herbert | 75957ba | 2011-11-28 16:32:35 +0000 | [diff] [blame] | 113 | } |
| 114 | EXPORT_SYMBOL(dql_completed); |
| 115 | |
| 116 | void dql_reset(struct dql *dql) |
| 117 | { |
| 118 | /* Reset all dynamic values */ |
| 119 | dql->limit = 0; |
| 120 | dql->num_queued = 0; |
| 121 | dql->num_completed = 0; |
| 122 | dql->last_obj_cnt = 0; |
| 123 | dql->prev_num_queued = 0; |
| 124 | dql->prev_last_obj_cnt = 0; |
| 125 | dql->prev_ovlimit = 0; |
| 126 | dql->lowest_slack = UINT_MAX; |
| 127 | dql->slack_start_time = jiffies; |
| 128 | } |
| 129 | EXPORT_SYMBOL(dql_reset); |
| 130 | |
Stephen Hemminger | 7a0947e | 2017-10-17 17:16:52 -0700 | [diff] [blame] | 131 | void dql_init(struct dql *dql, unsigned int hold_time) |
Tom Herbert | 75957ba | 2011-11-28 16:32:35 +0000 | [diff] [blame] | 132 | { |
| 133 | dql->max_limit = DQL_MAX_LIMIT; |
| 134 | dql->min_limit = 0; |
| 135 | dql->slack_hold_time = hold_time; |
| 136 | dql_reset(dql); |
Tom Herbert | 75957ba | 2011-11-28 16:32:35 +0000 | [diff] [blame] | 137 | } |
| 138 | EXPORT_SYMBOL(dql_init); |