xref: /openbmc/linux/include/net/fq_impl.h (revision bf9009bf21b53501f2abb2f59f9314d85bde5fc9)
1fb9e53ccSThomas Gleixner /* SPDX-License-Identifier: GPL-2.0-only */
2557fc4a0SMichal Kazior /*
3557fc4a0SMichal Kazior  * Copyright (c) 2016 Qualcomm Atheros, Inc
4557fc4a0SMichal Kazior  *
5557fc4a0SMichal Kazior  * Based on net/sched/sch_fq_codel.c
6557fc4a0SMichal Kazior  */
7557fc4a0SMichal Kazior #ifndef __NET_SCHED_FQ_IMPL_H
8557fc4a0SMichal Kazior #define __NET_SCHED_FQ_IMPL_H
9557fc4a0SMichal Kazior 
10557fc4a0SMichal Kazior #include <net/fq.h>
11557fc4a0SMichal Kazior 
12557fc4a0SMichal Kazior /* functions that are embedded into includer */
13557fc4a0SMichal Kazior 
1407be2fedSFelix Fietkau 
1507be2fedSFelix Fietkau static void
1607be2fedSFelix Fietkau __fq_adjust_removal(struct fq *fq, struct fq_flow *flow, unsigned int packets,
1707be2fedSFelix Fietkau 		    unsigned int bytes, unsigned int truesize)
1807be2fedSFelix Fietkau {
1907be2fedSFelix Fietkau 	struct fq_tin *tin = flow->tin;
2007be2fedSFelix Fietkau 
2107be2fedSFelix Fietkau 	tin->backlog_bytes -= bytes;
2207be2fedSFelix Fietkau 	tin->backlog_packets -= packets;
2307be2fedSFelix Fietkau 	flow->backlog -= bytes;
2407be2fedSFelix Fietkau 	fq->backlog -= packets;
2507be2fedSFelix Fietkau 	fq->memory_usage -= truesize;
2607be2fedSFelix Fietkau }
2707be2fedSFelix Fietkau 
288c418b5bSJohannes Berg static void fq_adjust_removal(struct fq *fq,
298c418b5bSJohannes Berg 			      struct fq_flow *flow,
308c418b5bSJohannes Berg 			      struct sk_buff *skb)
31557fc4a0SMichal Kazior {
3207be2fedSFelix Fietkau 	__fq_adjust_removal(fq, flow, 1, skb->len, skb->truesize);
338c418b5bSJohannes Berg }
348c418b5bSJohannes Berg 
358c418b5bSJohannes Berg static void fq_rejigger_backlog(struct fq *fq, struct fq_flow *flow)
368c418b5bSJohannes Berg {
378c418b5bSJohannes Berg 	struct fq_flow *i;
38557fc4a0SMichal Kazior 
39557fc4a0SMichal Kazior 	if (flow->backlog == 0) {
40557fc4a0SMichal Kazior 		list_del_init(&flow->backlogchain);
41557fc4a0SMichal Kazior 	} else {
42557fc4a0SMichal Kazior 		i = flow;
43557fc4a0SMichal Kazior 
44557fc4a0SMichal Kazior 		list_for_each_entry_continue(i, &fq->backlogs, backlogchain)
45557fc4a0SMichal Kazior 			if (i->backlog < flow->backlog)
46557fc4a0SMichal Kazior 				break;
47557fc4a0SMichal Kazior 
48557fc4a0SMichal Kazior 		list_move_tail(&flow->backlogchain,
49557fc4a0SMichal Kazior 			       &i->backlogchain);
50557fc4a0SMichal Kazior 	}
518c418b5bSJohannes Berg }
528c418b5bSJohannes Berg 
538c418b5bSJohannes Berg static struct sk_buff *fq_flow_dequeue(struct fq *fq,
548c418b5bSJohannes Berg 				       struct fq_flow *flow)
558c418b5bSJohannes Berg {
568c418b5bSJohannes Berg 	struct sk_buff *skb;
578c418b5bSJohannes Berg 
588c418b5bSJohannes Berg 	lockdep_assert_held(&fq->lock);
598c418b5bSJohannes Berg 
608c418b5bSJohannes Berg 	skb = __skb_dequeue(&flow->queue);
618c418b5bSJohannes Berg 	if (!skb)
628c418b5bSJohannes Berg 		return NULL;
638c418b5bSJohannes Berg 
648c418b5bSJohannes Berg 	fq_adjust_removal(fq, flow, skb);
658c418b5bSJohannes Berg 	fq_rejigger_backlog(fq, flow);
66557fc4a0SMichal Kazior 
67557fc4a0SMichal Kazior 	return skb;
68557fc4a0SMichal Kazior }
69557fc4a0SMichal Kazior 
7007be2fedSFelix Fietkau static int fq_flow_drop(struct fq *fq, struct fq_flow *flow,
7107be2fedSFelix Fietkau 			fq_skb_free_t free_func)
7207be2fedSFelix Fietkau {
7307be2fedSFelix Fietkau 	unsigned int packets = 0, bytes = 0, truesize = 0;
7407be2fedSFelix Fietkau 	struct fq_tin *tin = flow->tin;
7507be2fedSFelix Fietkau 	struct sk_buff *skb;
7607be2fedSFelix Fietkau 	int pending;
7707be2fedSFelix Fietkau 
7807be2fedSFelix Fietkau 	lockdep_assert_held(&fq->lock);
7907be2fedSFelix Fietkau 
8007be2fedSFelix Fietkau 	pending = min_t(int, 32, skb_queue_len(&flow->queue) / 2);
8107be2fedSFelix Fietkau 	do {
8207be2fedSFelix Fietkau 		skb = __skb_dequeue(&flow->queue);
8307be2fedSFelix Fietkau 		if (!skb)
8407be2fedSFelix Fietkau 			break;
8507be2fedSFelix Fietkau 
8607be2fedSFelix Fietkau 		packets++;
8707be2fedSFelix Fietkau 		bytes += skb->len;
8807be2fedSFelix Fietkau 		truesize += skb->truesize;
8907be2fedSFelix Fietkau 		free_func(fq, tin, flow, skb);
9007be2fedSFelix Fietkau 	} while (packets < pending);
9107be2fedSFelix Fietkau 
9207be2fedSFelix Fietkau 	__fq_adjust_removal(fq, flow, packets, bytes, truesize);
9307be2fedSFelix Fietkau 	fq_rejigger_backlog(fq, flow);
9407be2fedSFelix Fietkau 
9507be2fedSFelix Fietkau 	return packets;
9607be2fedSFelix Fietkau }
9707be2fedSFelix Fietkau 
98557fc4a0SMichal Kazior static struct sk_buff *fq_tin_dequeue(struct fq *fq,
99557fc4a0SMichal Kazior 				      struct fq_tin *tin,
100557fc4a0SMichal Kazior 				      fq_tin_dequeue_t dequeue_func)
101557fc4a0SMichal Kazior {
102557fc4a0SMichal Kazior 	struct fq_flow *flow;
103557fc4a0SMichal Kazior 	struct list_head *head;
104557fc4a0SMichal Kazior 	struct sk_buff *skb;
105557fc4a0SMichal Kazior 
106557fc4a0SMichal Kazior 	lockdep_assert_held(&fq->lock);
107557fc4a0SMichal Kazior 
108557fc4a0SMichal Kazior begin:
109557fc4a0SMichal Kazior 	head = &tin->new_flows;
110557fc4a0SMichal Kazior 	if (list_empty(head)) {
111557fc4a0SMichal Kazior 		head = &tin->old_flows;
112557fc4a0SMichal Kazior 		if (list_empty(head))
113557fc4a0SMichal Kazior 			return NULL;
114557fc4a0SMichal Kazior 	}
115557fc4a0SMichal Kazior 
116557fc4a0SMichal Kazior 	flow = list_first_entry(head, struct fq_flow, flowchain);
117557fc4a0SMichal Kazior 
118557fc4a0SMichal Kazior 	if (flow->deficit <= 0) {
119557fc4a0SMichal Kazior 		flow->deficit += fq->quantum;
120557fc4a0SMichal Kazior 		list_move_tail(&flow->flowchain,
121557fc4a0SMichal Kazior 			       &tin->old_flows);
122557fc4a0SMichal Kazior 		goto begin;
123557fc4a0SMichal Kazior 	}
124557fc4a0SMichal Kazior 
125557fc4a0SMichal Kazior 	skb = dequeue_func(fq, tin, flow);
126557fc4a0SMichal Kazior 	if (!skb) {
127557fc4a0SMichal Kazior 		/* force a pass through old_flows to prevent starvation */
128557fc4a0SMichal Kazior 		if ((head == &tin->new_flows) &&
129557fc4a0SMichal Kazior 		    !list_empty(&tin->old_flows)) {
130557fc4a0SMichal Kazior 			list_move_tail(&flow->flowchain, &tin->old_flows);
131557fc4a0SMichal Kazior 		} else {
132557fc4a0SMichal Kazior 			list_del_init(&flow->flowchain);
133557fc4a0SMichal Kazior 			flow->tin = NULL;
134557fc4a0SMichal Kazior 		}
135557fc4a0SMichal Kazior 		goto begin;
136557fc4a0SMichal Kazior 	}
137557fc4a0SMichal Kazior 
138557fc4a0SMichal Kazior 	flow->deficit -= skb->len;
139557fc4a0SMichal Kazior 	tin->tx_bytes += skb->len;
140557fc4a0SMichal Kazior 	tin->tx_packets++;
141557fc4a0SMichal Kazior 
142557fc4a0SMichal Kazior 	return skb;
143557fc4a0SMichal Kazior }
144557fc4a0SMichal Kazior 
145f2af2df8SFelix Fietkau static u32 fq_flow_idx(struct fq *fq, struct sk_buff *skb)
146f2af2df8SFelix Fietkau {
14748a54f6bSFelix Fietkau 	u32 hash = skb_get_hash(skb);
148f2af2df8SFelix Fietkau 
149f2af2df8SFelix Fietkau 	return reciprocal_scale(hash, fq->flows_cnt);
150f2af2df8SFelix Fietkau }
151f2af2df8SFelix Fietkau 
152557fc4a0SMichal Kazior static struct fq_flow *fq_flow_classify(struct fq *fq,
153f2af2df8SFelix Fietkau 					struct fq_tin *tin, u32 idx,
154*bf9009bfSFelix Fietkau 					struct sk_buff *skb)
155557fc4a0SMichal Kazior {
156557fc4a0SMichal Kazior 	struct fq_flow *flow;
157557fc4a0SMichal Kazior 
158557fc4a0SMichal Kazior 	lockdep_assert_held(&fq->lock);
159557fc4a0SMichal Kazior 
160557fc4a0SMichal Kazior 	flow = &fq->flows[idx];
161557fc4a0SMichal Kazior 	if (flow->tin && flow->tin != tin) {
162*bf9009bfSFelix Fietkau 		flow = &tin->default_flow;
163557fc4a0SMichal Kazior 		tin->collisions++;
164557fc4a0SMichal Kazior 		fq->collisions++;
165557fc4a0SMichal Kazior 	}
166557fc4a0SMichal Kazior 
167557fc4a0SMichal Kazior 	if (!flow->tin)
168557fc4a0SMichal Kazior 		tin->flows++;
169557fc4a0SMichal Kazior 
170557fc4a0SMichal Kazior 	return flow;
171557fc4a0SMichal Kazior }
172557fc4a0SMichal Kazior 
173b43e7199SMichal Kazior static void fq_recalc_backlog(struct fq *fq,
174557fc4a0SMichal Kazior 			      struct fq_tin *tin,
175b43e7199SMichal Kazior 			      struct fq_flow *flow)
176557fc4a0SMichal Kazior {
177557fc4a0SMichal Kazior 	struct fq_flow *i;
178557fc4a0SMichal Kazior 
179557fc4a0SMichal Kazior 	if (list_empty(&flow->backlogchain))
180557fc4a0SMichal Kazior 		list_add_tail(&flow->backlogchain, &fq->backlogs);
181557fc4a0SMichal Kazior 
182557fc4a0SMichal Kazior 	i = flow;
183557fc4a0SMichal Kazior 	list_for_each_entry_continue_reverse(i, &fq->backlogs,
184557fc4a0SMichal Kazior 					     backlogchain)
185557fc4a0SMichal Kazior 		if (i->backlog > flow->backlog)
186557fc4a0SMichal Kazior 			break;
187557fc4a0SMichal Kazior 
188557fc4a0SMichal Kazior 	list_move(&flow->backlogchain, &i->backlogchain);
189b43e7199SMichal Kazior }
190b43e7199SMichal Kazior 
191b43e7199SMichal Kazior static void fq_tin_enqueue(struct fq *fq,
192f2af2df8SFelix Fietkau 			   struct fq_tin *tin, u32 idx,
193b43e7199SMichal Kazior 			   struct sk_buff *skb,
194*bf9009bfSFelix Fietkau 			   fq_skb_free_t free_func)
195b43e7199SMichal Kazior {
196b43e7199SMichal Kazior 	struct fq_flow *flow;
1970bfe649fSToke Høiland-Jørgensen 	bool oom;
198b43e7199SMichal Kazior 
199b43e7199SMichal Kazior 	lockdep_assert_held(&fq->lock);
200b43e7199SMichal Kazior 
201*bf9009bfSFelix Fietkau 	flow = fq_flow_classify(fq, tin, idx, skb);
202b43e7199SMichal Kazior 
203b43e7199SMichal Kazior 	flow->tin = tin;
204b43e7199SMichal Kazior 	flow->backlog += skb->len;
205b43e7199SMichal Kazior 	tin->backlog_bytes += skb->len;
206b43e7199SMichal Kazior 	tin->backlog_packets++;
207097b065bSToke Høiland-Jørgensen 	fq->memory_usage += skb->truesize;
208b43e7199SMichal Kazior 	fq->backlog++;
209b43e7199SMichal Kazior 
210b43e7199SMichal Kazior 	fq_recalc_backlog(fq, tin, flow);
211557fc4a0SMichal Kazior 
212557fc4a0SMichal Kazior 	if (list_empty(&flow->flowchain)) {
213557fc4a0SMichal Kazior 		flow->deficit = fq->quantum;
214557fc4a0SMichal Kazior 		list_add_tail(&flow->flowchain,
215557fc4a0SMichal Kazior 			      &tin->new_flows);
216557fc4a0SMichal Kazior 	}
217557fc4a0SMichal Kazior 
218557fc4a0SMichal Kazior 	__skb_queue_tail(&flow->queue, skb);
2190bfe649fSToke Høiland-Jørgensen 	oom = (fq->memory_usage > fq->memory_limit);
2200bfe649fSToke Høiland-Jørgensen 	while (fq->backlog > fq->limit || oom) {
221557fc4a0SMichal Kazior 		flow = list_first_entry_or_null(&fq->backlogs,
222557fc4a0SMichal Kazior 						struct fq_flow,
223557fc4a0SMichal Kazior 						backlogchain);
224557fc4a0SMichal Kazior 		if (!flow)
225557fc4a0SMichal Kazior 			return;
226557fc4a0SMichal Kazior 
22707be2fedSFelix Fietkau 		if (!fq_flow_drop(fq, flow, free_func))
228557fc4a0SMichal Kazior 			return;
229557fc4a0SMichal Kazior 
230557fc4a0SMichal Kazior 		flow->tin->overlimit++;
231557fc4a0SMichal Kazior 		fq->overlimit++;
2320bfe649fSToke Høiland-Jørgensen 		if (oom) {
233097b065bSToke Høiland-Jørgensen 			fq->overmemory++;
2340bfe649fSToke Høiland-Jørgensen 			oom = (fq->memory_usage > fq->memory_limit);
2350bfe649fSToke Høiland-Jørgensen 		}
236557fc4a0SMichal Kazior 	}
237557fc4a0SMichal Kazior }
238557fc4a0SMichal Kazior 
2398c418b5bSJohannes Berg static void fq_flow_filter(struct fq *fq,
2408c418b5bSJohannes Berg 			   struct fq_flow *flow,
2418c418b5bSJohannes Berg 			   fq_skb_filter_t filter_func,
2428c418b5bSJohannes Berg 			   void *filter_data,
2438c418b5bSJohannes Berg 			   fq_skb_free_t free_func)
2448c418b5bSJohannes Berg {
2458c418b5bSJohannes Berg 	struct fq_tin *tin = flow->tin;
2468c418b5bSJohannes Berg 	struct sk_buff *skb, *tmp;
2478c418b5bSJohannes Berg 
2488c418b5bSJohannes Berg 	lockdep_assert_held(&fq->lock);
2498c418b5bSJohannes Berg 
2508c418b5bSJohannes Berg 	skb_queue_walk_safe(&flow->queue, skb, tmp) {
2518c418b5bSJohannes Berg 		if (!filter_func(fq, tin, flow, skb, filter_data))
2528c418b5bSJohannes Berg 			continue;
2538c418b5bSJohannes Berg 
2548c418b5bSJohannes Berg 		__skb_unlink(skb, &flow->queue);
2558c418b5bSJohannes Berg 		fq_adjust_removal(fq, flow, skb);
2568c418b5bSJohannes Berg 		free_func(fq, tin, flow, skb);
2578c418b5bSJohannes Berg 	}
2588c418b5bSJohannes Berg 
2598c418b5bSJohannes Berg 	fq_rejigger_backlog(fq, flow);
2608c418b5bSJohannes Berg }
2618c418b5bSJohannes Berg 
2628c418b5bSJohannes Berg static void fq_tin_filter(struct fq *fq,
2638c418b5bSJohannes Berg 			  struct fq_tin *tin,
2648c418b5bSJohannes Berg 			  fq_skb_filter_t filter_func,
2658c418b5bSJohannes Berg 			  void *filter_data,
2668c418b5bSJohannes Berg 			  fq_skb_free_t free_func)
2678c418b5bSJohannes Berg {
2688c418b5bSJohannes Berg 	struct fq_flow *flow;
2698c418b5bSJohannes Berg 
2708c418b5bSJohannes Berg 	lockdep_assert_held(&fq->lock);
2718c418b5bSJohannes Berg 
2728c418b5bSJohannes Berg 	list_for_each_entry(flow, &tin->new_flows, flowchain)
2738c418b5bSJohannes Berg 		fq_flow_filter(fq, flow, filter_func, filter_data, free_func);
2748c418b5bSJohannes Berg 	list_for_each_entry(flow, &tin->old_flows, flowchain)
2758c418b5bSJohannes Berg 		fq_flow_filter(fq, flow, filter_func, filter_data, free_func);
2768c418b5bSJohannes Berg }
2778c418b5bSJohannes Berg 
278557fc4a0SMichal Kazior static void fq_flow_reset(struct fq *fq,
279557fc4a0SMichal Kazior 			  struct fq_flow *flow,
280557fc4a0SMichal Kazior 			  fq_skb_free_t free_func)
281557fc4a0SMichal Kazior {
282557fc4a0SMichal Kazior 	struct sk_buff *skb;
283557fc4a0SMichal Kazior 
284557fc4a0SMichal Kazior 	while ((skb = fq_flow_dequeue(fq, flow)))
285557fc4a0SMichal Kazior 		free_func(fq, flow->tin, flow, skb);
286557fc4a0SMichal Kazior 
287557fc4a0SMichal Kazior 	if (!list_empty(&flow->flowchain))
288557fc4a0SMichal Kazior 		list_del_init(&flow->flowchain);
289557fc4a0SMichal Kazior 
290557fc4a0SMichal Kazior 	if (!list_empty(&flow->backlogchain))
291557fc4a0SMichal Kazior 		list_del_init(&flow->backlogchain);
292557fc4a0SMichal Kazior 
293557fc4a0SMichal Kazior 	flow->tin = NULL;
294557fc4a0SMichal Kazior 
295557fc4a0SMichal Kazior 	WARN_ON_ONCE(flow->backlog);
296557fc4a0SMichal Kazior }
297557fc4a0SMichal Kazior 
298557fc4a0SMichal Kazior static void fq_tin_reset(struct fq *fq,
299557fc4a0SMichal Kazior 			 struct fq_tin *tin,
300557fc4a0SMichal Kazior 			 fq_skb_free_t free_func)
301557fc4a0SMichal Kazior {
302557fc4a0SMichal Kazior 	struct list_head *head;
303557fc4a0SMichal Kazior 	struct fq_flow *flow;
304557fc4a0SMichal Kazior 
305557fc4a0SMichal Kazior 	for (;;) {
306557fc4a0SMichal Kazior 		head = &tin->new_flows;
307557fc4a0SMichal Kazior 		if (list_empty(head)) {
308557fc4a0SMichal Kazior 			head = &tin->old_flows;
309557fc4a0SMichal Kazior 			if (list_empty(head))
310557fc4a0SMichal Kazior 				break;
311557fc4a0SMichal Kazior 		}
312557fc4a0SMichal Kazior 
313557fc4a0SMichal Kazior 		flow = list_first_entry(head, struct fq_flow, flowchain);
314557fc4a0SMichal Kazior 		fq_flow_reset(fq, flow, free_func);
315557fc4a0SMichal Kazior 	}
316557fc4a0SMichal Kazior 
317557fc4a0SMichal Kazior 	WARN_ON_ONCE(tin->backlog_bytes);
318557fc4a0SMichal Kazior 	WARN_ON_ONCE(tin->backlog_packets);
319557fc4a0SMichal Kazior }
320557fc4a0SMichal Kazior 
321557fc4a0SMichal Kazior static void fq_flow_init(struct fq_flow *flow)
322557fc4a0SMichal Kazior {
323557fc4a0SMichal Kazior 	INIT_LIST_HEAD(&flow->flowchain);
324557fc4a0SMichal Kazior 	INIT_LIST_HEAD(&flow->backlogchain);
325557fc4a0SMichal Kazior 	__skb_queue_head_init(&flow->queue);
326557fc4a0SMichal Kazior }
327557fc4a0SMichal Kazior 
328557fc4a0SMichal Kazior static void fq_tin_init(struct fq_tin *tin)
329557fc4a0SMichal Kazior {
330557fc4a0SMichal Kazior 	INIT_LIST_HEAD(&tin->new_flows);
331557fc4a0SMichal Kazior 	INIT_LIST_HEAD(&tin->old_flows);
332*bf9009bfSFelix Fietkau 	fq_flow_init(&tin->default_flow);
333557fc4a0SMichal Kazior }
334557fc4a0SMichal Kazior 
335557fc4a0SMichal Kazior static int fq_init(struct fq *fq, int flows_cnt)
336557fc4a0SMichal Kazior {
337557fc4a0SMichal Kazior 	int i;
338557fc4a0SMichal Kazior 
339557fc4a0SMichal Kazior 	memset(fq, 0, sizeof(fq[0]));
340557fc4a0SMichal Kazior 	INIT_LIST_HEAD(&fq->backlogs);
341557fc4a0SMichal Kazior 	spin_lock_init(&fq->lock);
342557fc4a0SMichal Kazior 	fq->flows_cnt = max_t(u32, flows_cnt, 1);
343557fc4a0SMichal Kazior 	fq->quantum = 300;
344557fc4a0SMichal Kazior 	fq->limit = 8192;
345097b065bSToke Høiland-Jørgensen 	fq->memory_limit = 16 << 20; /* 16 MBytes */
346557fc4a0SMichal Kazior 
34771e67c3bSToke Høiland-Jørgensen 	fq->flows = kvcalloc(fq->flows_cnt, sizeof(fq->flows[0]), GFP_KERNEL);
348557fc4a0SMichal Kazior 	if (!fq->flows)
349557fc4a0SMichal Kazior 		return -ENOMEM;
350557fc4a0SMichal Kazior 
351557fc4a0SMichal Kazior 	for (i = 0; i < fq->flows_cnt; i++)
352557fc4a0SMichal Kazior 		fq_flow_init(&fq->flows[i]);
353557fc4a0SMichal Kazior 
354557fc4a0SMichal Kazior 	return 0;
355557fc4a0SMichal Kazior }
356557fc4a0SMichal Kazior 
357557fc4a0SMichal Kazior static void fq_reset(struct fq *fq,
358557fc4a0SMichal Kazior 		     fq_skb_free_t free_func)
359557fc4a0SMichal Kazior {
360557fc4a0SMichal Kazior 	int i;
361557fc4a0SMichal Kazior 
362557fc4a0SMichal Kazior 	for (i = 0; i < fq->flows_cnt; i++)
363557fc4a0SMichal Kazior 		fq_flow_reset(fq, &fq->flows[i], free_func);
364557fc4a0SMichal Kazior 
36571e67c3bSToke Høiland-Jørgensen 	kvfree(fq->flows);
366557fc4a0SMichal Kazior 	fq->flows = NULL;
367557fc4a0SMichal Kazior }
368557fc4a0SMichal Kazior 
369557fc4a0SMichal Kazior #endif
370