xref: /openbmc/linux/lib/dynamic_queue_limits.c (revision dde57fe0)
1b2441318SGreg Kroah-Hartman // SPDX-License-Identifier: GPL-2.0
275957ba3STom Herbert /*
375957ba3STom Herbert  * Dynamic byte queue limits.  See include/linux/dynamic_queue_limits.h
475957ba3STom Herbert  *
575957ba3STom Herbert  * Copyright (c) 2011, Tom Herbert <therbert@google.com>
675957ba3STom Herbert  */
775957ba3STom Herbert #include <linux/types.h>
875957ba3STom Herbert #include <linux/kernel.h>
9930c514fSTom Herbert #include <linux/jiffies.h>
1075957ba3STom Herbert #include <linux/dynamic_queue_limits.h>
11565ac23bSRasmus Villemoes #include <linux/compiler.h>
12565ac23bSRasmus Villemoes #include <linux/export.h>
1375957ba3STom Herbert 
140cfd32b7SHiroaki SHIMODA #define POSDIFF(A, B) ((int)((A) - (B)) > 0 ? (A) - (B) : 0)
1525426b79SHiroaki SHIMODA #define AFTER_EQ(A, B) ((int)((A) - (B)) >= 0)
1675957ba3STom Herbert 
1775957ba3STom Herbert /* Records completed count and recalculates the queue limit */
dql_completed(struct dql * dql,unsigned int count)1875957ba3STom Herbert void dql_completed(struct dql *dql, unsigned int count)
1975957ba3STom Herbert {
2075957ba3STom Herbert 	unsigned int inprogress, prev_inprogress, limit;
21914bec10SHiroaki SHIMODA 	unsigned int ovlimit, completed, num_queued;
2225426b79SHiroaki SHIMODA 	bool all_prev_completed;
2375957ba3STom Herbert 
246aa7de05SMark Rutland 	num_queued = READ_ONCE(dql->num_queued);
25914bec10SHiroaki SHIMODA 
2675957ba3STom Herbert 	/* Can't complete more than what's in queue */
27914bec10SHiroaki SHIMODA 	BUG_ON(count > num_queued - dql->num_completed);
2875957ba3STom Herbert 
2975957ba3STom Herbert 	completed = dql->num_completed + count;
3075957ba3STom Herbert 	limit = dql->limit;
31914bec10SHiroaki SHIMODA 	ovlimit = POSDIFF(num_queued - dql->num_completed, limit);
32914bec10SHiroaki SHIMODA 	inprogress = num_queued - completed;
3375957ba3STom Herbert 	prev_inprogress = dql->prev_num_queued - dql->num_completed;
3425426b79SHiroaki SHIMODA 	all_prev_completed = AFTER_EQ(completed, dql->prev_num_queued);
3575957ba3STom Herbert 
3675957ba3STom Herbert 	if ((ovlimit && !inprogress) ||
3775957ba3STom Herbert 	    (dql->prev_ovlimit && all_prev_completed)) {
3875957ba3STom Herbert 		/*
3975957ba3STom Herbert 		 * Queue considered starved if:
4075957ba3STom Herbert 		 *   - The queue was over-limit in the last interval,
4175957ba3STom Herbert 		 *     and there is no more data in the queue.
4275957ba3STom Herbert 		 *  OR
4375957ba3STom Herbert 		 *   - The queue was over-limit in the previous interval and
4475957ba3STom Herbert 		 *     when enqueuing it was possible that all queued data
4575957ba3STom Herbert 		 *     had been consumed.  This covers the case when queue
4675957ba3STom Herbert 		 *     may have becomes starved between completion processing
4775957ba3STom Herbert 		 *     running and next time enqueue was scheduled.
4875957ba3STom Herbert 		 *
4975957ba3STom Herbert 		 *     When queue is starved increase the limit by the amount
5075957ba3STom Herbert 		 *     of bytes both sent and completed in the last interval,
5175957ba3STom Herbert 		 *     plus any previous over-limit.
5275957ba3STom Herbert 		 */
5375957ba3STom Herbert 		limit += POSDIFF(completed, dql->prev_num_queued) +
5475957ba3STom Herbert 		     dql->prev_ovlimit;
5575957ba3STom Herbert 		dql->slack_start_time = jiffies;
5675957ba3STom Herbert 		dql->lowest_slack = UINT_MAX;
5775957ba3STom Herbert 	} else if (inprogress && prev_inprogress && !all_prev_completed) {
5875957ba3STom Herbert 		/*
5975957ba3STom Herbert 		 * Queue was not starved, check if the limit can be decreased.
6075957ba3STom Herbert 		 * A decrease is only considered if the queue has been busy in
6175957ba3STom Herbert 		 * the whole interval (the check above).
6275957ba3STom Herbert 		 *
63dde57fe0SRandy Dunlap 		 * If there is slack, the amount of excess data queued above
64dde57fe0SRandy Dunlap 		 * the amount needed to prevent starvation, the queue limit
6575957ba3STom Herbert 		 * can be decreased.  To avoid hysteresis we consider the
6675957ba3STom Herbert 		 * minimum amount of slack found over several iterations of the
6775957ba3STom Herbert 		 * completion routine.
6875957ba3STom Herbert 		 */
6975957ba3STom Herbert 		unsigned int slack, slack_last_objs;
7075957ba3STom Herbert 
7175957ba3STom Herbert 		/*
7275957ba3STom Herbert 		 * Slack is the maximum of
7375957ba3STom Herbert 		 *   - The queue limit plus previous over-limit minus twice
7475957ba3STom Herbert 		 *     the number of objects completed.  Note that two times
7575957ba3STom Herbert 		 *     number of completed bytes is a basis for an upper bound
7675957ba3STom Herbert 		 *     of the limit.
7775957ba3STom Herbert 		 *   - Portion of objects in the last queuing operation that
7875957ba3STom Herbert 		 *     was not part of non-zero previous over-limit.  That is
7975957ba3STom Herbert 		 *     "round down" by non-overlimit portion of the last
8075957ba3STom Herbert 		 *     queueing operation.
8175957ba3STom Herbert 		 */
8275957ba3STom Herbert 		slack = POSDIFF(limit + dql->prev_ovlimit,
8375957ba3STom Herbert 		    2 * (completed - dql->num_completed));
8475957ba3STom Herbert 		slack_last_objs = dql->prev_ovlimit ?
8575957ba3STom Herbert 		    POSDIFF(dql->prev_last_obj_cnt, dql->prev_ovlimit) : 0;
8675957ba3STom Herbert 
8775957ba3STom Herbert 		slack = max(slack, slack_last_objs);
8875957ba3STom Herbert 
8975957ba3STom Herbert 		if (slack < dql->lowest_slack)
9075957ba3STom Herbert 			dql->lowest_slack = slack;
9175957ba3STom Herbert 
9275957ba3STom Herbert 		if (time_after(jiffies,
9375957ba3STom Herbert 			       dql->slack_start_time + dql->slack_hold_time)) {
9475957ba3STom Herbert 			limit = POSDIFF(limit, dql->lowest_slack);
9575957ba3STom Herbert 			dql->slack_start_time = jiffies;
9675957ba3STom Herbert 			dql->lowest_slack = UINT_MAX;
9775957ba3STom Herbert 		}
9875957ba3STom Herbert 	}
9975957ba3STom Herbert 
10075957ba3STom Herbert 	/* Enforce bounds on limit */
10175957ba3STom Herbert 	limit = clamp(limit, dql->min_limit, dql->max_limit);
10275957ba3STom Herbert 
10375957ba3STom Herbert 	if (limit != dql->limit) {
10475957ba3STom Herbert 		dql->limit = limit;
10575957ba3STom Herbert 		ovlimit = 0;
10675957ba3STom Herbert 	}
10775957ba3STom Herbert 
10875957ba3STom Herbert 	dql->adj_limit = limit + completed;
10975957ba3STom Herbert 	dql->prev_ovlimit = ovlimit;
11075957ba3STom Herbert 	dql->prev_last_obj_cnt = dql->last_obj_cnt;
11175957ba3STom Herbert 	dql->num_completed = completed;
112914bec10SHiroaki SHIMODA 	dql->prev_num_queued = num_queued;
11375957ba3STom Herbert }
11475957ba3STom Herbert EXPORT_SYMBOL(dql_completed);
11575957ba3STom Herbert 
dql_reset(struct dql * dql)11675957ba3STom Herbert void dql_reset(struct dql *dql)
11775957ba3STom Herbert {
11875957ba3STom Herbert 	/* Reset all dynamic values */
11975957ba3STom Herbert 	dql->limit = 0;
12075957ba3STom Herbert 	dql->num_queued = 0;
12175957ba3STom Herbert 	dql->num_completed = 0;
12275957ba3STom Herbert 	dql->last_obj_cnt = 0;
12375957ba3STom Herbert 	dql->prev_num_queued = 0;
12475957ba3STom Herbert 	dql->prev_last_obj_cnt = 0;
12575957ba3STom Herbert 	dql->prev_ovlimit = 0;
12675957ba3STom Herbert 	dql->lowest_slack = UINT_MAX;
12775957ba3STom Herbert 	dql->slack_start_time = jiffies;
12875957ba3STom Herbert }
12975957ba3STom Herbert EXPORT_SYMBOL(dql_reset);
13075957ba3STom Herbert 
dql_init(struct dql * dql,unsigned int hold_time)1317a0947e7SStephen Hemminger void dql_init(struct dql *dql, unsigned int hold_time)
13275957ba3STom Herbert {
13375957ba3STom Herbert 	dql->max_limit = DQL_MAX_LIMIT;
13475957ba3STom Herbert 	dql->min_limit = 0;
13575957ba3STom Herbert 	dql->slack_hold_time = hold_time;
13675957ba3STom Herbert 	dql_reset(dql);
13775957ba3STom Herbert }
13875957ba3STom Herbert EXPORT_SYMBOL(dql_init);
139