blob: 89634bfe4fc6a117a18c81730d159e3604f3c6b1 [file] [log] [blame]
Willy Tarreauf89c1872009-10-01 11:19:37 +02001/*
2 * Fast Weighted Least Connection load balancing algorithm.
3 *
4 * Copyright 2000-2009 Willy Tarreau <w@1wt.eu>
5 *
6 * This program is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU General Public License
8 * as published by the Free Software Foundation; either version
9 * 2 of the License, or (at your option) any later version.
10 *
11 */
12
Willy Tarreau4c7e4b72020-05-27 12:58:42 +020013#include <haproxy/api.h>
Willy Tarreauf89c1872009-10-01 11:19:37 +020014#include <common/debug.h>
Willy Tarreau8d2b7772020-05-27 10:58:19 +020015#include <import/eb32tree.h>
Willy Tarreauf89c1872009-10-01 11:19:37 +020016
17#include <types/global.h>
18#include <types/server.h>
19
20#include <proto/backend.h>
21#include <proto/queue.h>
22
23
24/* Remove a server from a tree. It must have previously been dequeued. This
25 * function is meant to be called when a server is going down or has its
26 * weight disabled.
Willy Tarreau1b877482018-08-21 19:44:53 +020027 *
28 * The server's lock and the lbprm's lock must be held.
Willy Tarreauf89c1872009-10-01 11:19:37 +020029 */
30static inline void fwlc_remove_from_tree(struct server *s)
31{
32 s->lb_tree = NULL;
33}
34
Willy Tarreau1b877482018-08-21 19:44:53 +020035/* simply removes a server from a tree.
36 *
37 * The server's lock and the lbprm's lock must be held.
38 */
Willy Tarreauf89c1872009-10-01 11:19:37 +020039static inline void fwlc_dequeue_srv(struct server *s)
40{
41 eb32_delete(&s->lb_node);
42}
43
44/* Queue a server in its associated tree, assuming the weight is >0.
Willy Tarreau1eb6c552018-12-14 08:33:28 +010045 * Servers are sorted by (#conns+1)/weight. To ensure maximum accuracy,
46 * we use (#conns+1)*SRV_EWGHT_MAX/eweight as the sorting key. The reason
47 * for using #conns+1 is to sort by weights in case the server is picked
48 * and not before it is picked. This provides a better load accuracy for
49 * low connection counts when weights differ and makes sure the round-robin
Willy Tarreaued5ac9c2019-09-06 17:04:04 +020050 * applies between servers of highest weight first. However servers with no
51 * connection are always picked first so that under low loads, it's not
52 * always the single server with the highest weight that gets picked.
Willy Tarreau1b877482018-08-21 19:44:53 +020053 *
54 * The server's lock and the lbprm's lock must be held.
Willy Tarreauf89c1872009-10-01 11:19:37 +020055 */
56static inline void fwlc_queue_srv(struct server *s)
57{
Willy Tarreaued5ac9c2019-09-06 17:04:04 +020058 s->lb_node.key = s->served ? (s->served + 1) * SRV_EWGHT_MAX / s->next_eweight : 0;
Willy Tarreauf89c1872009-10-01 11:19:37 +020059 eb32_insert(s->lb_tree, &s->lb_node);
60}
61
62/* Re-position the server in the FWLC tree after it has been assigned one
63 * connection or after it has released one. Note that it is possible that
64 * the server has been moved out of the tree due to failed health-checks.
Willy Tarreau1b877482018-08-21 19:44:53 +020065 *
66 * The server's lock must be held. The lbprm's lock will be used.
Willy Tarreauf89c1872009-10-01 11:19:37 +020067 */
68static void fwlc_srv_reposition(struct server *s)
69{
Christopher Faulet2a944ee2017-11-07 10:42:54 +010070 HA_SPIN_LOCK(LBPRM_LOCK, &s->proxy->lbprm.lock);
Christopher Faulet1ae2a882019-06-19 10:50:38 +020071 if (s->lb_tree) {
72 fwlc_dequeue_srv(s);
73 fwlc_queue_srv(s);
74 }
Christopher Faulet2a944ee2017-11-07 10:42:54 +010075 HA_SPIN_UNLOCK(LBPRM_LOCK, &s->proxy->lbprm.lock);
Willy Tarreauf89c1872009-10-01 11:19:37 +020076}
77
78/* This function updates the server trees according to server <srv>'s new
79 * state. It should be called when server <srv>'s status changes to down.
80 * It is not important whether the server was already down or not. It is not
81 * important either that the new state is completely down (the caller may not
82 * know all the variables of a server's state).
Willy Tarreau1b877482018-08-21 19:44:53 +020083 *
84 * The server's lock must be held. The lbprm's lock will be used.
Willy Tarreauf89c1872009-10-01 11:19:37 +020085 */
86static void fwlc_set_server_status_down(struct server *srv)
87{
88 struct proxy *p = srv->proxy;
89
Willy Tarreauc5150da2014-05-13 19:27:31 +020090 if (!srv_lb_status_changed(srv))
Willy Tarreauf89c1872009-10-01 11:19:37 +020091 return;
92
Emeric Brun52a91d32017-08-31 14:41:55 +020093 if (srv_willbe_usable(srv))
Willy Tarreauf89c1872009-10-01 11:19:37 +020094 goto out_update_state;
Willy Tarreau1b877482018-08-21 19:44:53 +020095 HA_SPIN_LOCK(LBPRM_LOCK, &p->lbprm.lock);
96
Willy Tarreauf89c1872009-10-01 11:19:37 +020097
Emeric Brun52a91d32017-08-31 14:41:55 +020098 if (!srv_currently_usable(srv))
Willy Tarreauf89c1872009-10-01 11:19:37 +020099 /* server was already down */
100 goto out_update_backend;
101
Willy Tarreauc93cd162014-05-13 15:54:22 +0200102 if (srv->flags & SRV_F_BACKUP) {
Emeric Brun52a91d32017-08-31 14:41:55 +0200103 p->lbprm.tot_wbck -= srv->cur_eweight;
Willy Tarreauf89c1872009-10-01 11:19:37 +0200104 p->srv_bck--;
105
106 if (srv == p->lbprm.fbck) {
107 /* we lost the first backup server in a single-backup
108 * configuration, we must search another one.
109 */
110 struct server *srv2 = p->lbprm.fbck;
111 do {
112 srv2 = srv2->next;
113 } while (srv2 &&
Willy Tarreauc93cd162014-05-13 15:54:22 +0200114 !((srv2->flags & SRV_F_BACKUP) &&
Emeric Brun52a91d32017-08-31 14:41:55 +0200115 srv_willbe_usable(srv2)));
Willy Tarreauf89c1872009-10-01 11:19:37 +0200116 p->lbprm.fbck = srv2;
117 }
118 } else {
Emeric Brun52a91d32017-08-31 14:41:55 +0200119 p->lbprm.tot_wact -= srv->cur_eweight;
Willy Tarreauf89c1872009-10-01 11:19:37 +0200120 p->srv_act--;
121 }
122
123 fwlc_dequeue_srv(srv);
124 fwlc_remove_from_tree(srv);
125
126out_update_backend:
127 /* check/update tot_used, tot_weight */
128 update_backend_weight(p);
Willy Tarreau1b877482018-08-21 19:44:53 +0200129 HA_SPIN_UNLOCK(LBPRM_LOCK, &p->lbprm.lock);
130
Willy Tarreauf89c1872009-10-01 11:19:37 +0200131 out_update_state:
Willy Tarreauc5150da2014-05-13 19:27:31 +0200132 srv_lb_commit_status(srv);
Willy Tarreauf89c1872009-10-01 11:19:37 +0200133}
134
135/* This function updates the server trees according to server <srv>'s new
136 * state. It should be called when server <srv>'s status changes to up.
137 * It is not important whether the server was already down or not. It is not
138 * important either that the new state is completely UP (the caller may not
139 * know all the variables of a server's state). This function will not change
140 * the weight of a server which was already up.
Willy Tarreau1b877482018-08-21 19:44:53 +0200141 *
142 * The server's lock must be held. The lbprm's lock will be used.
Willy Tarreauf89c1872009-10-01 11:19:37 +0200143 */
144static void fwlc_set_server_status_up(struct server *srv)
145{
146 struct proxy *p = srv->proxy;
147
Willy Tarreauc5150da2014-05-13 19:27:31 +0200148 if (!srv_lb_status_changed(srv))
Willy Tarreauf89c1872009-10-01 11:19:37 +0200149 return;
150
Emeric Brun52a91d32017-08-31 14:41:55 +0200151 if (!srv_willbe_usable(srv))
Willy Tarreauf89c1872009-10-01 11:19:37 +0200152 goto out_update_state;
153
Willy Tarreau1b877482018-08-21 19:44:53 +0200154 HA_SPIN_LOCK(LBPRM_LOCK, &p->lbprm.lock);
155
Emeric Brun52a91d32017-08-31 14:41:55 +0200156 if (srv_currently_usable(srv))
Willy Tarreauf89c1872009-10-01 11:19:37 +0200157 /* server was already up */
158 goto out_update_backend;
159
Willy Tarreauc93cd162014-05-13 15:54:22 +0200160 if (srv->flags & SRV_F_BACKUP) {
Willy Tarreauf89c1872009-10-01 11:19:37 +0200161 srv->lb_tree = &p->lbprm.fwlc.bck;
Emeric Brun52a91d32017-08-31 14:41:55 +0200162 p->lbprm.tot_wbck += srv->next_eweight;
Willy Tarreauf89c1872009-10-01 11:19:37 +0200163 p->srv_bck++;
164
165 if (!(p->options & PR_O_USE_ALL_BK)) {
166 if (!p->lbprm.fbck) {
167 /* there was no backup server anymore */
168 p->lbprm.fbck = srv;
169 } else {
170 /* we may have restored a backup server prior to fbck,
171 * in which case it should replace it.
172 */
173 struct server *srv2 = srv;
174 do {
175 srv2 = srv2->next;
176 } while (srv2 && (srv2 != p->lbprm.fbck));
177 if (srv2)
178 p->lbprm.fbck = srv;
179 }
180 }
181 } else {
182 srv->lb_tree = &p->lbprm.fwlc.act;
Emeric Brun52a91d32017-08-31 14:41:55 +0200183 p->lbprm.tot_wact += srv->next_eweight;
Willy Tarreauf89c1872009-10-01 11:19:37 +0200184 p->srv_act++;
185 }
186
187 /* note that eweight cannot be 0 here */
188 fwlc_queue_srv(srv);
189
190 out_update_backend:
191 /* check/update tot_used, tot_weight */
192 update_backend_weight(p);
Willy Tarreau1b877482018-08-21 19:44:53 +0200193 HA_SPIN_UNLOCK(LBPRM_LOCK, &p->lbprm.lock);
194
Willy Tarreauf89c1872009-10-01 11:19:37 +0200195 out_update_state:
Willy Tarreauc5150da2014-05-13 19:27:31 +0200196 srv_lb_commit_status(srv);
Willy Tarreauf89c1872009-10-01 11:19:37 +0200197}
198
199/* This function must be called after an update to server <srv>'s effective
200 * weight. It may be called after a state change too.
Willy Tarreau1b877482018-08-21 19:44:53 +0200201 *
202 * The server's lock must be held. The lbprm's lock will be used.
Willy Tarreauf89c1872009-10-01 11:19:37 +0200203 */
204static void fwlc_update_server_weight(struct server *srv)
205{
206 int old_state, new_state;
207 struct proxy *p = srv->proxy;
208
Willy Tarreauc5150da2014-05-13 19:27:31 +0200209 if (!srv_lb_status_changed(srv))
Willy Tarreauf89c1872009-10-01 11:19:37 +0200210 return;
211
212 /* If changing the server's weight changes its state, we simply apply
213 * the procedures we already have for status change. If the state
214 * remains down, the server is not in any tree, so it's as easy as
215 * updating its values. If the state remains up with different weights,
216 * there are some computations to perform to find a new place and
217 * possibly a new tree for this server.
218 */
219
Emeric Brun52a91d32017-08-31 14:41:55 +0200220 old_state = srv_currently_usable(srv);
221 new_state = srv_willbe_usable(srv);
Willy Tarreauf89c1872009-10-01 11:19:37 +0200222
223 if (!old_state && !new_state) {
Willy Tarreauc5150da2014-05-13 19:27:31 +0200224 srv_lb_commit_status(srv);
Willy Tarreauf89c1872009-10-01 11:19:37 +0200225 return;
226 }
227 else if (!old_state && new_state) {
228 fwlc_set_server_status_up(srv);
229 return;
230 }
231 else if (old_state && !new_state) {
232 fwlc_set_server_status_down(srv);
233 return;
234 }
235
Willy Tarreau1b877482018-08-21 19:44:53 +0200236 HA_SPIN_LOCK(LBPRM_LOCK, &p->lbprm.lock);
237
Willy Tarreauf89c1872009-10-01 11:19:37 +0200238 if (srv->lb_tree)
239 fwlc_dequeue_srv(srv);
240
Willy Tarreauc93cd162014-05-13 15:54:22 +0200241 if (srv->flags & SRV_F_BACKUP) {
Emeric Brun52a91d32017-08-31 14:41:55 +0200242 p->lbprm.tot_wbck += srv->next_eweight - srv->cur_eweight;
Willy Tarreauf89c1872009-10-01 11:19:37 +0200243 srv->lb_tree = &p->lbprm.fwlc.bck;
244 } else {
Emeric Brun52a91d32017-08-31 14:41:55 +0200245 p->lbprm.tot_wact += srv->next_eweight - srv->cur_eweight;
Willy Tarreauf89c1872009-10-01 11:19:37 +0200246 srv->lb_tree = &p->lbprm.fwlc.act;
247 }
248
249 fwlc_queue_srv(srv);
250
251 update_backend_weight(p);
Willy Tarreau1b877482018-08-21 19:44:53 +0200252 HA_SPIN_UNLOCK(LBPRM_LOCK, &p->lbprm.lock);
253
Willy Tarreauc5150da2014-05-13 19:27:31 +0200254 srv_lb_commit_status(srv);
Willy Tarreauf89c1872009-10-01 11:19:37 +0200255}
256
257/* This function is responsible for building the trees in case of fast
258 * weighted least-conns. It also sets p->lbprm.wdiv to the eweight to
259 * uweight ratio. Both active and backup groups are initialized.
260 */
261void fwlc_init_server_tree(struct proxy *p)
262{
263 struct server *srv;
264 struct eb_root init_head = EB_ROOT;
265
266 p->lbprm.set_server_status_up = fwlc_set_server_status_up;
267 p->lbprm.set_server_status_down = fwlc_set_server_status_down;
268 p->lbprm.update_server_eweight = fwlc_update_server_weight;
269 p->lbprm.server_take_conn = fwlc_srv_reposition;
270 p->lbprm.server_drop_conn = fwlc_srv_reposition;
271
272 p->lbprm.wdiv = BE_WEIGHT_SCALE;
273 for (srv = p->srv; srv; srv = srv->next) {
Emeric Brun52a91d32017-08-31 14:41:55 +0200274 srv->next_eweight = (srv->uweight * p->lbprm.wdiv + p->lbprm.wmult - 1) / p->lbprm.wmult;
Willy Tarreauc5150da2014-05-13 19:27:31 +0200275 srv_lb_commit_status(srv);
Willy Tarreauf89c1872009-10-01 11:19:37 +0200276 }
277
278 recount_servers(p);
279 update_backend_weight(p);
280
281 p->lbprm.fwlc.act = init_head;
282 p->lbprm.fwlc.bck = init_head;
283
284 /* queue active and backup servers in two distinct groups */
285 for (srv = p->srv; srv; srv = srv->next) {
Emeric Brun52a91d32017-08-31 14:41:55 +0200286 if (!srv_currently_usable(srv))
Willy Tarreauf89c1872009-10-01 11:19:37 +0200287 continue;
Willy Tarreauc93cd162014-05-13 15:54:22 +0200288 srv->lb_tree = (srv->flags & SRV_F_BACKUP) ? &p->lbprm.fwlc.bck : &p->lbprm.fwlc.act;
Willy Tarreauf89c1872009-10-01 11:19:37 +0200289 fwlc_queue_srv(srv);
290 }
291}
292
293/* Return next server from the FWLC tree in backend <p>. If the tree is empty,
294 * return NULL. Saturated servers are skipped.
Willy Tarreau1b877482018-08-21 19:44:53 +0200295 *
296 * The server's lock must be held. The lbprm's lock will be used.
Willy Tarreauf89c1872009-10-01 11:19:37 +0200297 */
298struct server *fwlc_get_next_server(struct proxy *p, struct server *srvtoavoid)
299{
300 struct server *srv, *avoided;
301 struct eb32_node *node;
302
303 srv = avoided = NULL;
304
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100305 HA_SPIN_LOCK(LBPRM_LOCK, &p->lbprm.lock);
Willy Tarreauf89c1872009-10-01 11:19:37 +0200306 if (p->srv_act)
307 node = eb32_first(&p->lbprm.fwlc.act);
Christopher Faulet5b517552017-06-09 14:17:53 +0200308 else if (p->lbprm.fbck) {
309 srv = p->lbprm.fbck;
310 goto out;
311 }
Willy Tarreauf89c1872009-10-01 11:19:37 +0200312 else if (p->srv_bck)
313 node = eb32_first(&p->lbprm.fwlc.bck);
Christopher Faulet5b517552017-06-09 14:17:53 +0200314 else {
315 srv = NULL;
316 goto out;
317 }
Willy Tarreauf89c1872009-10-01 11:19:37 +0200318
319 while (node) {
320 /* OK, we have a server. However, it may be saturated, in which
321 * case we don't want to reconsider it for now, so we'll simply
322 * skip it. Same if it's the server we try to avoid, in which
323 * case we simply remember it for later use if needed.
324 */
325 struct server *s;
326
327 s = eb32_entry(node, struct server, lb_node);
328 if (!s->maxconn || (!s->nbpend && s->served < srv_dynamic_maxconn(s))) {
329 if (s != srvtoavoid) {
330 srv = s;
331 break;
332 }
333 avoided = s;
334 }
335 node = eb32_next(node);
336 }
337
338 if (!srv)
339 srv = avoided;
Christopher Faulet5b517552017-06-09 14:17:53 +0200340 out:
Christopher Faulet2a944ee2017-11-07 10:42:54 +0100341 HA_SPIN_UNLOCK(LBPRM_LOCK, &p->lbprm.lock);
Willy Tarreauf89c1872009-10-01 11:19:37 +0200342 return srv;
343}
344
345
346/*
347 * Local variables:
348 * c-indent-level: 8
349 * c-basic-offset: 8
350 * End:
351 */