blob: 38a9a3d1222b7d5238a1de7f226562bf0e57425e [file] [log] [blame]
Thomas Gleixnerfb9e53c2019-05-29 07:12:31 -07001/* SPDX-License-Identifier: GPL-2.0-only */
Michal Kazior557fc4a2016-04-22 14:20:13 +02002/*
3 * Copyright (c) 2016 Qualcomm Atheros, Inc
4 *
Michal Kazior557fc4a2016-04-22 14:20:13 +02005 * Based on net/sched/sch_fq_codel.c
6 */
7#ifndef __NET_SCHED_FQ_IMPL_H
8#define __NET_SCHED_FQ_IMPL_H
9
10#include <net/fq.h>
11
12/* functions that are embedded into includer */
13
Johannes Berg8c418b52017-10-06 11:53:32 +020014static void fq_adjust_removal(struct fq *fq,
15 struct fq_flow *flow,
16 struct sk_buff *skb)
Michal Kazior557fc4a2016-04-22 14:20:13 +020017{
18 struct fq_tin *tin = flow->tin;
Michal Kazior557fc4a2016-04-22 14:20:13 +020019
20 tin->backlog_bytes -= skb->len;
21 tin->backlog_packets--;
22 flow->backlog -= skb->len;
23 fq->backlog--;
Toke Høiland-Jørgensen097b0652016-09-23 21:59:09 +020024 fq->memory_usage -= skb->truesize;
Johannes Berg8c418b52017-10-06 11:53:32 +020025}
26
27static void fq_rejigger_backlog(struct fq *fq, struct fq_flow *flow)
28{
29 struct fq_flow *i;
Michal Kazior557fc4a2016-04-22 14:20:13 +020030
31 if (flow->backlog == 0) {
32 list_del_init(&flow->backlogchain);
33 } else {
34 i = flow;
35
36 list_for_each_entry_continue(i, &fq->backlogs, backlogchain)
37 if (i->backlog < flow->backlog)
38 break;
39
40 list_move_tail(&flow->backlogchain,
41 &i->backlogchain);
42 }
Johannes Berg8c418b52017-10-06 11:53:32 +020043}
44
45static struct sk_buff *fq_flow_dequeue(struct fq *fq,
46 struct fq_flow *flow)
47{
48 struct sk_buff *skb;
49
50 lockdep_assert_held(&fq->lock);
51
52 skb = __skb_dequeue(&flow->queue);
53 if (!skb)
54 return NULL;
55
56 fq_adjust_removal(fq, flow, skb);
57 fq_rejigger_backlog(fq, flow);
Michal Kazior557fc4a2016-04-22 14:20:13 +020058
59 return skb;
60}
61
62static struct sk_buff *fq_tin_dequeue(struct fq *fq,
63 struct fq_tin *tin,
64 fq_tin_dequeue_t dequeue_func)
65{
66 struct fq_flow *flow;
67 struct list_head *head;
68 struct sk_buff *skb;
69
70 lockdep_assert_held(&fq->lock);
71
72begin:
73 head = &tin->new_flows;
74 if (list_empty(head)) {
75 head = &tin->old_flows;
76 if (list_empty(head))
77 return NULL;
78 }
79
80 flow = list_first_entry(head, struct fq_flow, flowchain);
81
82 if (flow->deficit <= 0) {
83 flow->deficit += fq->quantum;
84 list_move_tail(&flow->flowchain,
85 &tin->old_flows);
86 goto begin;
87 }
88
89 skb = dequeue_func(fq, tin, flow);
90 if (!skb) {
91 /* force a pass through old_flows to prevent starvation */
92 if ((head == &tin->new_flows) &&
93 !list_empty(&tin->old_flows)) {
94 list_move_tail(&flow->flowchain, &tin->old_flows);
95 } else {
96 list_del_init(&flow->flowchain);
97 flow->tin = NULL;
98 }
99 goto begin;
100 }
101
102 flow->deficit -= skb->len;
103 tin->tx_bytes += skb->len;
104 tin->tx_packets++;
105
106 return skb;
107}
108
Felix Fietkauf2af2df2019-03-16 18:06:32 +0100109static u32 fq_flow_idx(struct fq *fq, struct sk_buff *skb)
110{
Eric Dumazet55667442019-10-22 07:57:46 -0700111 u32 hash = skb_get_hash_perturb(skb, &fq->perturbation);
Felix Fietkauf2af2df2019-03-16 18:06:32 +0100112
113 return reciprocal_scale(hash, fq->flows_cnt);
114}
115
Michal Kazior557fc4a2016-04-22 14:20:13 +0200116static struct fq_flow *fq_flow_classify(struct fq *fq,
Felix Fietkauf2af2df2019-03-16 18:06:32 +0100117 struct fq_tin *tin, u32 idx,
Michal Kazior557fc4a2016-04-22 14:20:13 +0200118 struct sk_buff *skb,
119 fq_flow_get_default_t get_default_func)
120{
121 struct fq_flow *flow;
Michal Kazior557fc4a2016-04-22 14:20:13 +0200122
123 lockdep_assert_held(&fq->lock);
124
Michal Kazior557fc4a2016-04-22 14:20:13 +0200125 flow = &fq->flows[idx];
Michal Kazior557fc4a2016-04-22 14:20:13 +0200126 if (flow->tin && flow->tin != tin) {
127 flow = get_default_func(fq, tin, idx, skb);
128 tin->collisions++;
129 fq->collisions++;
130 }
131
132 if (!flow->tin)
133 tin->flows++;
134
135 return flow;
136}
137
Michal Kaziorb43e7192016-04-27 12:59:13 +0200138static void fq_recalc_backlog(struct fq *fq,
139 struct fq_tin *tin,
140 struct fq_flow *flow)
Michal Kazior557fc4a2016-04-22 14:20:13 +0200141{
Michal Kazior557fc4a2016-04-22 14:20:13 +0200142 struct fq_flow *i;
143
Michal Kazior557fc4a2016-04-22 14:20:13 +0200144 if (list_empty(&flow->backlogchain))
145 list_add_tail(&flow->backlogchain, &fq->backlogs);
146
147 i = flow;
148 list_for_each_entry_continue_reverse(i, &fq->backlogs,
149 backlogchain)
150 if (i->backlog > flow->backlog)
151 break;
152
153 list_move(&flow->backlogchain, &i->backlogchain);
Michal Kaziorb43e7192016-04-27 12:59:13 +0200154}
155
156static void fq_tin_enqueue(struct fq *fq,
Felix Fietkauf2af2df2019-03-16 18:06:32 +0100157 struct fq_tin *tin, u32 idx,
Michal Kaziorb43e7192016-04-27 12:59:13 +0200158 struct sk_buff *skb,
159 fq_skb_free_t free_func,
160 fq_flow_get_default_t get_default_func)
161{
162 struct fq_flow *flow;
Toke Høiland-Jørgensen0bfe6492017-10-16 17:05:57 +0200163 bool oom;
Michal Kaziorb43e7192016-04-27 12:59:13 +0200164
165 lockdep_assert_held(&fq->lock);
166
Felix Fietkauf2af2df2019-03-16 18:06:32 +0100167 flow = fq_flow_classify(fq, tin, idx, skb, get_default_func);
Michal Kaziorb43e7192016-04-27 12:59:13 +0200168
169 flow->tin = tin;
170 flow->backlog += skb->len;
171 tin->backlog_bytes += skb->len;
172 tin->backlog_packets++;
Toke Høiland-Jørgensen097b0652016-09-23 21:59:09 +0200173 fq->memory_usage += skb->truesize;
Michal Kaziorb43e7192016-04-27 12:59:13 +0200174 fq->backlog++;
175
176 fq_recalc_backlog(fq, tin, flow);
Michal Kazior557fc4a2016-04-22 14:20:13 +0200177
178 if (list_empty(&flow->flowchain)) {
179 flow->deficit = fq->quantum;
180 list_add_tail(&flow->flowchain,
181 &tin->new_flows);
182 }
183
184 __skb_queue_tail(&flow->queue, skb);
Toke Høiland-Jørgensen0bfe6492017-10-16 17:05:57 +0200185 oom = (fq->memory_usage > fq->memory_limit);
186 while (fq->backlog > fq->limit || oom) {
Michal Kazior557fc4a2016-04-22 14:20:13 +0200187 flow = list_first_entry_or_null(&fq->backlogs,
188 struct fq_flow,
189 backlogchain);
190 if (!flow)
191 return;
192
193 skb = fq_flow_dequeue(fq, flow);
194 if (!skb)
195 return;
196
197 free_func(fq, flow->tin, flow, skb);
198
199 flow->tin->overlimit++;
200 fq->overlimit++;
Toke Høiland-Jørgensen0bfe6492017-10-16 17:05:57 +0200201 if (oom) {
Toke Høiland-Jørgensen097b0652016-09-23 21:59:09 +0200202 fq->overmemory++;
Toke Høiland-Jørgensen0bfe6492017-10-16 17:05:57 +0200203 oom = (fq->memory_usage > fq->memory_limit);
204 }
Michal Kazior557fc4a2016-04-22 14:20:13 +0200205 }
206}
207
Johannes Berg8c418b52017-10-06 11:53:32 +0200208static void fq_flow_filter(struct fq *fq,
209 struct fq_flow *flow,
210 fq_skb_filter_t filter_func,
211 void *filter_data,
212 fq_skb_free_t free_func)
213{
214 struct fq_tin *tin = flow->tin;
215 struct sk_buff *skb, *tmp;
216
217 lockdep_assert_held(&fq->lock);
218
219 skb_queue_walk_safe(&flow->queue, skb, tmp) {
220 if (!filter_func(fq, tin, flow, skb, filter_data))
221 continue;
222
223 __skb_unlink(skb, &flow->queue);
224 fq_adjust_removal(fq, flow, skb);
225 free_func(fq, tin, flow, skb);
226 }
227
228 fq_rejigger_backlog(fq, flow);
229}
230
231static void fq_tin_filter(struct fq *fq,
232 struct fq_tin *tin,
233 fq_skb_filter_t filter_func,
234 void *filter_data,
235 fq_skb_free_t free_func)
236{
237 struct fq_flow *flow;
238
239 lockdep_assert_held(&fq->lock);
240
241 list_for_each_entry(flow, &tin->new_flows, flowchain)
242 fq_flow_filter(fq, flow, filter_func, filter_data, free_func);
243 list_for_each_entry(flow, &tin->old_flows, flowchain)
244 fq_flow_filter(fq, flow, filter_func, filter_data, free_func);
245}
246
Michal Kazior557fc4a2016-04-22 14:20:13 +0200247static void fq_flow_reset(struct fq *fq,
248 struct fq_flow *flow,
249 fq_skb_free_t free_func)
250{
251 struct sk_buff *skb;
252
253 while ((skb = fq_flow_dequeue(fq, flow)))
254 free_func(fq, flow->tin, flow, skb);
255
256 if (!list_empty(&flow->flowchain))
257 list_del_init(&flow->flowchain);
258
259 if (!list_empty(&flow->backlogchain))
260 list_del_init(&flow->backlogchain);
261
262 flow->tin = NULL;
263
264 WARN_ON_ONCE(flow->backlog);
265}
266
267static void fq_tin_reset(struct fq *fq,
268 struct fq_tin *tin,
269 fq_skb_free_t free_func)
270{
271 struct list_head *head;
272 struct fq_flow *flow;
273
274 for (;;) {
275 head = &tin->new_flows;
276 if (list_empty(head)) {
277 head = &tin->old_flows;
278 if (list_empty(head))
279 break;
280 }
281
282 flow = list_first_entry(head, struct fq_flow, flowchain);
283 fq_flow_reset(fq, flow, free_func);
284 }
285
286 WARN_ON_ONCE(tin->backlog_bytes);
287 WARN_ON_ONCE(tin->backlog_packets);
288}
289
290static void fq_flow_init(struct fq_flow *flow)
291{
292 INIT_LIST_HEAD(&flow->flowchain);
293 INIT_LIST_HEAD(&flow->backlogchain);
294 __skb_queue_head_init(&flow->queue);
295}
296
297static void fq_tin_init(struct fq_tin *tin)
298{
299 INIT_LIST_HEAD(&tin->new_flows);
300 INIT_LIST_HEAD(&tin->old_flows);
301}
302
303static int fq_init(struct fq *fq, int flows_cnt)
304{
305 int i;
306
307 memset(fq, 0, sizeof(fq[0]));
308 INIT_LIST_HEAD(&fq->backlogs);
309 spin_lock_init(&fq->lock);
310 fq->flows_cnt = max_t(u32, flows_cnt, 1);
Eric Dumazet55667442019-10-22 07:57:46 -0700311 get_random_bytes(&fq->perturbation, sizeof(fq->perturbation));
Michal Kazior557fc4a2016-04-22 14:20:13 +0200312 fq->quantum = 300;
313 fq->limit = 8192;
Toke Høiland-Jørgensen097b0652016-09-23 21:59:09 +0200314 fq->memory_limit = 16 << 20; /* 16 MBytes */
Michal Kazior557fc4a2016-04-22 14:20:13 +0200315
Toke Høiland-Jørgensen71e67c32019-11-05 16:57:50 +0100316 fq->flows = kvcalloc(fq->flows_cnt, sizeof(fq->flows[0]), GFP_KERNEL);
Michal Kazior557fc4a2016-04-22 14:20:13 +0200317 if (!fq->flows)
318 return -ENOMEM;
319
320 for (i = 0; i < fq->flows_cnt; i++)
321 fq_flow_init(&fq->flows[i]);
322
323 return 0;
324}
325
326static void fq_reset(struct fq *fq,
327 fq_skb_free_t free_func)
328{
329 int i;
330
331 for (i = 0; i < fq->flows_cnt; i++)
332 fq_flow_reset(fq, &fq->flows[i], free_func);
333
Toke Høiland-Jørgensen71e67c32019-11-05 16:57:50 +0100334 kvfree(fq->flows);
Michal Kazior557fc4a2016-04-22 14:20:13 +0200335 fq->flows = NULL;
336}
337
338#endif