Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 1 | /* |
| 2 | * Queue management functions. |
| 3 | * |
Willy Tarreau | ac68c5d | 2009-10-04 23:12:44 +0200 | [diff] [blame] | 4 | * Copyright 2000-2009 Willy Tarreau <w@1wt.eu> |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 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 Tarreau | e3ba5f0 | 2006-06-29 18:54:54 +0200 | [diff] [blame] | 13 | #include <common/config.h> |
Willy Tarreau | e4d7e55 | 2007-05-13 20:19:55 +0200 | [diff] [blame] | 14 | #include <common/memory.h> |
Willy Tarreau | 2dd0d47 | 2006-06-29 17:53:05 +0200 | [diff] [blame] | 15 | #include <common/time.h> |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 16 | |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 17 | #include <proto/queue.h> |
| 18 | #include <proto/server.h> |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 19 | #include <proto/stream.h> |
Willy Tarreau | 9e000c6 | 2011-03-10 14:03:36 +0100 | [diff] [blame] | 20 | #include <proto/stream_interface.h> |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 21 | #include <proto/task.h> |
| 22 | |
| 23 | |
Willy Tarreau | e4d7e55 | 2007-05-13 20:19:55 +0200 | [diff] [blame] | 24 | struct pool_head *pool2_pendconn; |
| 25 | |
| 26 | /* perform minimal intializations, report 0 in case of error, 1 if OK. */ |
| 27 | int init_pendconn() |
| 28 | { |
| 29 | pool2_pendconn = create_pool("pendconn", sizeof(struct pendconn), MEM_F_SHARED); |
| 30 | return pool2_pendconn != NULL; |
| 31 | } |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 32 | |
| 33 | /* returns the effective dynamic maxconn for a server, considering the minconn |
Willy Tarreau | 8603431 | 2006-12-29 00:10:33 +0100 | [diff] [blame] | 34 | * and the proxy's usage relative to its dynamic connections limit. It is |
Willy Tarreau | 9909fc1 | 2007-11-30 17:42:05 +0100 | [diff] [blame] | 35 | * expected that 0 < s->minconn <= s->maxconn when this is called. If the |
| 36 | * server is currently warming up, the slowstart is also applied to the |
| 37 | * resulting value, which can be lower than minconn in this case, but never |
| 38 | * less than 1. |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 39 | */ |
Willy Tarreau | b17916e | 2006-10-15 15:17:57 +0200 | [diff] [blame] | 40 | unsigned int srv_dynamic_maxconn(const struct server *s) |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 41 | { |
Willy Tarreau | 9909fc1 | 2007-11-30 17:42:05 +0100 | [diff] [blame] | 42 | unsigned int max; |
| 43 | |
Willy Tarreau | 8603431 | 2006-12-29 00:10:33 +0100 | [diff] [blame] | 44 | if (s->proxy->beconn >= s->proxy->fullconn) |
| 45 | /* no fullconn or proxy is full */ |
Willy Tarreau | 9909fc1 | 2007-11-30 17:42:05 +0100 | [diff] [blame] | 46 | max = s->maxconn; |
| 47 | else if (s->minconn == s->maxconn) |
Willy Tarreau | 8603431 | 2006-12-29 00:10:33 +0100 | [diff] [blame] | 48 | /* static limit */ |
Willy Tarreau | 9909fc1 | 2007-11-30 17:42:05 +0100 | [diff] [blame] | 49 | max = s->maxconn; |
| 50 | else max = MAX(s->minconn, |
| 51 | s->proxy->beconn * s->maxconn / s->proxy->fullconn); |
Willy Tarreau | 8603431 | 2006-12-29 00:10:33 +0100 | [diff] [blame] | 52 | |
Emeric Brun | 52a91d3 | 2017-08-31 14:41:55 +0200 | [diff] [blame] | 53 | if ((s->cur_state == SRV_ST_STARTING) && |
Willy Tarreau | 9909fc1 | 2007-11-30 17:42:05 +0100 | [diff] [blame] | 54 | now.tv_sec < s->last_change + s->slowstart && |
| 55 | now.tv_sec >= s->last_change) { |
| 56 | unsigned int ratio; |
Willy Tarreau | 28a9e52 | 2008-09-14 17:43:27 +0200 | [diff] [blame] | 57 | ratio = 100 * (now.tv_sec - s->last_change) / s->slowstart; |
| 58 | max = MAX(1, max * ratio / 100); |
Willy Tarreau | 9909fc1 | 2007-11-30 17:42:05 +0100 | [diff] [blame] | 59 | } |
| 60 | return max; |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 61 | } |
| 62 | |
| 63 | |
Christopher Faulet | f3a55db | 2017-06-09 14:26:38 +0200 | [diff] [blame] | 64 | /* Returns the first pending connection for server <s>, which may be NULL if |
| 65 | * nothing is pending. |
| 66 | */ |
| 67 | static inline struct pendconn *pendconn_from_srv(const struct server *s) { |
| 68 | if (!s->nbpend) |
| 69 | return NULL; |
| 70 | return LIST_ELEM(s->pendconns.n, struct pendconn *, list); |
| 71 | } |
| 72 | |
| 73 | /* Returns the first pending connection for proxy <px>, which may be NULL if |
| 74 | * nothing is pending. |
| 75 | */ |
| 76 | static inline struct pendconn *pendconn_from_px(const struct proxy *px) { |
| 77 | if (!px->nbpend) |
| 78 | return NULL; |
| 79 | |
| 80 | return LIST_ELEM(px->pendconns.n, struct pendconn *, list); |
| 81 | } |
| 82 | |
| 83 | |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 84 | /* Detaches the next pending connection from either a server or a proxy, and |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 85 | * returns its associated stream. If no pending connection is found, NULL is |
Willy Tarreau | 7c669d7 | 2008-06-20 15:04:11 +0200 | [diff] [blame] | 86 | * returned. Note that neither <srv> nor <px> may be NULL. |
Willy Tarreau | 7008987 | 2008-06-13 21:12:51 +0200 | [diff] [blame] | 87 | * Priority is given to the oldest request in the queue if both <srv> and <px> |
| 88 | * have pending requests. This ensures that no request will be left unserved. |
Willy Tarreau | d132f74 | 2010-08-06 10:08:23 +0200 | [diff] [blame] | 89 | * The <px> queue is not considered if the server (or a tracked server) is not |
| 90 | * RUNNING, is disabled, or has a null weight (server going down). The <srv> |
Willy Tarreau | 922a806 | 2008-12-04 09:33:58 +0100 | [diff] [blame] | 91 | * queue is still considered in this case, because if some connections remain |
| 92 | * there, it means that some requests have been forced there after it was seen |
| 93 | * down (eg: due to option persist). |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 94 | * The stream is immediately marked as "assigned", and both its <srv> and |
Willy Tarreau | 7c669d7 | 2008-06-20 15:04:11 +0200 | [diff] [blame] | 95 | * <srv_conn> are set to <srv>, |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 96 | */ |
Christopher Faulet | 87566c9 | 2017-06-06 10:34:51 +0200 | [diff] [blame] | 97 | static struct stream *pendconn_get_next_strm(struct server *srv, struct proxy *px) |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 98 | { |
Willy Tarreau | 7008987 | 2008-06-13 21:12:51 +0200 | [diff] [blame] | 99 | struct pendconn *ps, *pp; |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 100 | struct stream *strm; |
Willy Tarreau | d132f74 | 2010-08-06 10:08:23 +0200 | [diff] [blame] | 101 | struct server *rsrv; |
| 102 | |
Willy Tarreau | 4426770 | 2011-10-28 15:35:33 +0200 | [diff] [blame] | 103 | rsrv = srv->track; |
Willy Tarreau | d132f74 | 2010-08-06 10:08:23 +0200 | [diff] [blame] | 104 | if (!rsrv) |
| 105 | rsrv = srv; |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 106 | |
Willy Tarreau | 7008987 | 2008-06-13 21:12:51 +0200 | [diff] [blame] | 107 | ps = pendconn_from_srv(srv); |
| 108 | pp = pendconn_from_px(px); |
| 109 | /* we want to get the definitive pendconn in <ps> */ |
Emeric Brun | 52a91d3 | 2017-08-31 14:41:55 +0200 | [diff] [blame] | 110 | if (!pp || !srv_currently_usable(rsrv)) { |
Willy Tarreau | 7008987 | 2008-06-13 21:12:51 +0200 | [diff] [blame] | 111 | if (!ps) |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 112 | return NULL; |
Willy Tarreau | 7008987 | 2008-06-13 21:12:51 +0200 | [diff] [blame] | 113 | } else { |
| 114 | /* pendconn exists in the proxy queue */ |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 115 | if (!ps || tv_islt(&pp->strm->logs.tv_request, &ps->strm->logs.tv_request)) |
Willy Tarreau | 7008987 | 2008-06-13 21:12:51 +0200 | [diff] [blame] | 116 | ps = pp; |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 117 | } |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 118 | strm = ps->strm; |
Willy Tarreau | 7008987 | 2008-06-13 21:12:51 +0200 | [diff] [blame] | 119 | pendconn_free(ps); |
Willy Tarreau | 7c669d7 | 2008-06-20 15:04:11 +0200 | [diff] [blame] | 120 | |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 121 | /* we want to note that the stream has now been assigned a server */ |
Willy Tarreau | e7dff02 | 2015-04-03 01:14:29 +0200 | [diff] [blame] | 122 | strm->flags |= SF_ASSIGNED; |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 123 | strm->target = &srv->obj_type; |
| 124 | stream_add_srv_conn(strm, srv); |
Christopher Faulet | 29f77e8 | 2017-06-08 14:04:45 +0200 | [diff] [blame] | 125 | HA_ATOMIC_ADD(&srv->served, 1); |
Christopher Faulet | ff8abcd | 2017-06-02 15:33:24 +0200 | [diff] [blame] | 126 | HA_ATOMIC_ADD(&srv->proxy->served, 1); |
Willy Tarreau | 7c669d7 | 2008-06-20 15:04:11 +0200 | [diff] [blame] | 127 | if (px->lbprm.server_take_conn) |
| 128 | px->lbprm.server_take_conn(srv); |
| 129 | |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 130 | return strm; |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 131 | } |
| 132 | |
Christopher Faulet | 87566c9 | 2017-06-06 10:34:51 +0200 | [diff] [blame] | 133 | /* |
| 134 | * Manages a server's connection queue. This function will try to dequeue as |
| 135 | * many pending streams as possible, and wake them up. |
| 136 | */ |
| 137 | void process_srv_queue(struct server *s) |
| 138 | { |
| 139 | struct proxy *p = s->proxy; |
| 140 | int maxconn; |
| 141 | |
| 142 | /* First, check if we can handle some connections queued at the proxy. We |
| 143 | * will take as many as we can handle. |
| 144 | */ |
| 145 | |
| 146 | maxconn = srv_dynamic_maxconn(s); |
| 147 | while (s->served < maxconn) { |
| 148 | struct stream *strm = pendconn_get_next_strm(s, p); |
| 149 | |
| 150 | if (strm == NULL) |
| 151 | break; |
| 152 | task_wakeup(strm->task, TASK_WOKEN_RES); |
| 153 | } |
| 154 | } |
| 155 | |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 156 | /* Adds the stream <strm> to the pending connection list of server <strm>->srv |
| 157 | * or to the one of <strm>->proxy if srv is NULL. All counters and back pointers |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 158 | * are updated accordingly. Returns NULL if no memory is available, otherwise the |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 159 | * pendconn itself. If the stream was already marked as served, its flag is |
| 160 | * cleared. It is illegal to call this function with a non-NULL strm->srv_conn. |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 161 | */ |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 162 | struct pendconn *pendconn_add(struct stream *strm) |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 163 | { |
| 164 | struct pendconn *p; |
Willy Tarreau | 827aee9 | 2011-03-10 16:55:02 +0100 | [diff] [blame] | 165 | struct server *srv; |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 166 | |
Willy Tarreau | e4d7e55 | 2007-05-13 20:19:55 +0200 | [diff] [blame] | 167 | p = pool_alloc2(pool2_pendconn); |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 168 | if (!p) |
| 169 | return NULL; |
| 170 | |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 171 | strm->pend_pos = p; |
| 172 | p->strm = strm; |
| 173 | p->srv = srv = objt_server(strm->target); |
Willy Tarreau | 7c669d7 | 2008-06-20 15:04:11 +0200 | [diff] [blame] | 174 | |
Willy Tarreau | e7dff02 | 2015-04-03 01:14:29 +0200 | [diff] [blame] | 175 | if (strm->flags & SF_ASSIGNED && srv) { |
Willy Tarreau | 827aee9 | 2011-03-10 16:55:02 +0100 | [diff] [blame] | 176 | LIST_ADDQ(&srv->pendconns, &p->list); |
| 177 | srv->nbpend++; |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 178 | strm->logs.srv_queue_size += srv->nbpend; |
Willy Tarreau | 827aee9 | 2011-03-10 16:55:02 +0100 | [diff] [blame] | 179 | if (srv->nbpend > srv->counters.nbpend_max) |
| 180 | srv->counters.nbpend_max = srv->nbpend; |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 181 | } else { |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 182 | LIST_ADDQ(&strm->be->pendconns, &p->list); |
| 183 | strm->be->nbpend++; |
| 184 | strm->logs.prx_queue_size += strm->be->nbpend; |
Christopher Faulet | ff8abcd | 2017-06-02 15:33:24 +0200 | [diff] [blame] | 185 | HA_ATOMIC_UPDATE_MAX(&strm->be->be_counters.nbpend_max, strm->be->nbpend); |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 186 | } |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 187 | strm->be->totpend++; |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 188 | return p; |
| 189 | } |
| 190 | |
Willy Tarreau | 4aac7db | 2014-05-16 11:48:10 +0200 | [diff] [blame] | 191 | /* Redistribute pending connections when a server goes down. The number of |
| 192 | * connections redistributed is returned. |
| 193 | */ |
| 194 | int pendconn_redistribute(struct server *s) |
| 195 | { |
| 196 | struct pendconn *pc, *pc_bck; |
| 197 | int xferred = 0; |
| 198 | |
| 199 | list_for_each_entry_safe(pc, pc_bck, &s->pendconns, list) { |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 200 | struct stream *strm = pc->strm; |
Willy Tarreau | 4aac7db | 2014-05-16 11:48:10 +0200 | [diff] [blame] | 201 | |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 202 | if ((strm->be->options & (PR_O_REDISP|PR_O_PERSIST)) == PR_O_REDISP && |
Willy Tarreau | e7dff02 | 2015-04-03 01:14:29 +0200 | [diff] [blame] | 203 | !(strm->flags & SF_FORCE_PRST)) { |
Willy Tarreau | 4aac7db | 2014-05-16 11:48:10 +0200 | [diff] [blame] | 204 | /* The REDISP option was specified. We will ignore |
| 205 | * cookie and force to balance or use the dispatcher. |
| 206 | */ |
| 207 | |
| 208 | /* it's left to the dispatcher to choose a server */ |
Willy Tarreau | e7dff02 | 2015-04-03 01:14:29 +0200 | [diff] [blame] | 209 | strm->flags &= ~(SF_DIRECT | SF_ASSIGNED | SF_ADDR_SET); |
Willy Tarreau | 4aac7db | 2014-05-16 11:48:10 +0200 | [diff] [blame] | 210 | |
| 211 | pendconn_free(pc); |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 212 | task_wakeup(strm->task, TASK_WOKEN_RES); |
Willy Tarreau | 4aac7db | 2014-05-16 11:48:10 +0200 | [diff] [blame] | 213 | xferred++; |
| 214 | } |
| 215 | } |
| 216 | return xferred; |
| 217 | } |
| 218 | |
| 219 | /* Check for pending connections at the backend, and assign some of them to |
| 220 | * the server coming up. The server's weight is checked before being assigned |
| 221 | * connections it may not be able to handle. The total number of transferred |
| 222 | * connections is returned. |
| 223 | */ |
| 224 | int pendconn_grab_from_px(struct server *s) |
| 225 | { |
| 226 | int xferred; |
| 227 | |
Emeric Brun | 52a91d3 | 2017-08-31 14:41:55 +0200 | [diff] [blame] | 228 | if (!srv_currently_usable(s)) |
Willy Tarreau | 4aac7db | 2014-05-16 11:48:10 +0200 | [diff] [blame] | 229 | return 0; |
| 230 | |
| 231 | for (xferred = 0; !s->maxconn || xferred < srv_dynamic_maxconn(s); xferred++) { |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 232 | struct stream *strm; |
Willy Tarreau | 4aac7db | 2014-05-16 11:48:10 +0200 | [diff] [blame] | 233 | struct pendconn *p; |
| 234 | |
| 235 | p = pendconn_from_px(s->proxy); |
| 236 | if (!p) |
| 237 | break; |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 238 | p->strm->target = &s->obj_type; |
| 239 | strm = p->strm; |
Willy Tarreau | 4aac7db | 2014-05-16 11:48:10 +0200 | [diff] [blame] | 240 | pendconn_free(p); |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 241 | task_wakeup(strm->task, TASK_WOKEN_RES); |
Willy Tarreau | 4aac7db | 2014-05-16 11:48:10 +0200 | [diff] [blame] | 242 | } |
| 243 | return xferred; |
| 244 | } |
| 245 | |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 246 | /* |
| 247 | * Detaches pending connection <p>, decreases the pending count, and frees |
| 248 | * the pending connection. The connection might have been queued to a specific |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 249 | * server as well as to the proxy. The stream also gets marked unqueued. |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 250 | */ |
| 251 | void pendconn_free(struct pendconn *p) |
| 252 | { |
| 253 | LIST_DEL(&p->list); |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 254 | p->strm->pend_pos = NULL; |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 255 | if (p->srv) |
| 256 | p->srv->nbpend--; |
| 257 | else |
Willy Tarreau | 87b0966 | 2015-04-03 00:22:06 +0200 | [diff] [blame] | 258 | p->strm->be->nbpend--; |
| 259 | p->strm->be->totpend--; |
Willy Tarreau | e4d7e55 | 2007-05-13 20:19:55 +0200 | [diff] [blame] | 260 | pool_free2(pool2_pendconn, p); |
Willy Tarreau | baaee00 | 2006-06-26 02:48:02 +0200 | [diff] [blame] | 261 | } |
| 262 | |
| 263 | |
| 264 | /* |
| 265 | * Local variables: |
| 266 | * c-indent-level: 8 |
| 267 | * c-basic-offset: 8 |
| 268 | * End: |
| 269 | */ |