blob: 6f8d4ad6206eaf27a40b3dc9ae7c82b447a565ea [file] [log] [blame]
Willy Tarreaudd815982007-10-16 12:25:14 +02001/*
Willy Tarreaud1d54542012-09-12 22:58:11 +02002 * Listener management functions.
Willy Tarreaudd815982007-10-16 12:25:14 +02003 *
Willy Tarreau0ccb7442013-01-07 22:54:17 +01004 * Copyright 2000-2013 Willy Tarreau <w@1wt.eu>
Willy Tarreaudd815982007-10-16 12:25:14 +02005 *
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 Tarreau6ae1ba62014-05-07 19:01:58 +020013#include <ctype.h>
Willy Tarreaubbebbbf2012-05-07 21:22:09 +020014#include <errno.h>
Willy Tarreaudd815982007-10-16 12:25:14 +020015#include <stdio.h>
16#include <string.h>
Willy Tarreau95ccdde2014-02-01 09:28:36 +010017#include <unistd.h>
Willy Tarreaudd815982007-10-16 12:25:14 +020018
Willy Tarreaudcc048a2020-06-04 19:11:43 +020019#include <haproxy/acl.h>
Willy Tarreau4c7e4b72020-05-27 12:58:42 +020020#include <haproxy/api.h>
Willy Tarreau5d9ddc52021-10-06 19:54:09 +020021#include <haproxy/activity.h>
Willy Tarreau6be78492020-06-05 00:00:29 +020022#include <haproxy/cfgparse.h>
Willy Tarreaudbf78022021-10-06 09:05:08 +020023#include <haproxy/cli-t.h>
Willy Tarreau7ea393d2020-06-04 18:02:10 +020024#include <haproxy/connection.h>
Willy Tarreau8d366972020-05-27 16:10:29 +020025#include <haproxy/errors.h>
Willy Tarreaub2551052020-06-09 09:07:15 +020026#include <haproxy/fd.h>
27#include <haproxy/freq_ctr.h>
Willy Tarreauf268ee82020-06-04 17:05:57 +020028#include <haproxy/global.h>
Willy Tarreau853b2972020-05-27 18:01:47 +020029#include <haproxy/list.h>
Willy Tarreau213e9902020-06-04 14:58:24 +020030#include <haproxy/listener.h>
Willy Tarreauaeed4a82020-06-04 22:01:04 +020031#include <haproxy/log.h>
Willy Tarreaub2551052020-06-09 09:07:15 +020032#include <haproxy/protocol.h>
Willy Tarreau5958c432021-05-08 20:30:37 +020033#include <haproxy/proxy.h>
Frédéric Lécaille748ece62022-05-21 23:58:40 +020034#include <haproxy/quic_tp.h>
Willy Tarreaub2551052020-06-09 09:07:15 +020035#include <haproxy/sample.h>
Willy Tarreaudfd3de82020-06-04 23:46:14 +020036#include <haproxy/stream.h>
Willy Tarreaucea0e1b2020-06-04 17:25:40 +020037#include <haproxy/task.h>
Willy Tarreau9310f482021-10-06 16:18:40 +020038#include <haproxy/ticks.h>
Willy Tarreaub2551052020-06-09 09:07:15 +020039#include <haproxy/tools.h>
Willy Tarreaudd815982007-10-16 12:25:14 +020040
Willy Tarreaub648d632007-10-28 22:13:50 +010041
Willy Tarreau26982662012-09-12 23:17:10 +020042/* List head of all known bind keywords */
Willy Tarreauca1acd62022-03-29 15:02:44 +020043struct bind_kw_list bind_keywords = {
Willy Tarreau26982662012-09-12 23:17:10 +020044 .list = LIST_HEAD_INIT(bind_keywords.list)
45};
46
Willy Tarreaua1d97f82019-12-10 11:18:41 +010047/* list of the temporarily limited listeners because of lack of resource */
48static struct mt_list global_listener_queue = MT_LIST_HEAD_INIT(global_listener_queue);
49static struct task *global_listener_queue_task;
Willy Tarreaua1d97f82019-12-10 11:18:41 +010050
William Dauchy3679d0c2021-02-14 23:22:55 +010051/* listener status for stats */
52const char* li_status_st[LI_STATE_COUNT] = {
53 [LI_STATUS_WAITING] = "WAITING",
54 [LI_STATUS_OPEN] = "OPEN",
55 [LI_STATUS_FULL] = "FULL",
56};
Willy Tarreaua1d97f82019-12-10 11:18:41 +010057
Willy Tarreau1efafce2019-01-27 15:37:19 +010058#if defined(USE_THREAD)
59
60struct accept_queue_ring accept_queue_rings[MAX_THREADS] __attribute__((aligned(64))) = { };
61
62/* dequeue and process a pending connection from the local accept queue (single
Willy Tarreau83efc322020-10-14 17:37:17 +020063 * consumer). Returns the accepted connection or NULL if none was found.
Willy Tarreau1efafce2019-01-27 15:37:19 +010064 */
Willy Tarreau83efc322020-10-14 17:37:17 +020065struct connection *accept_queue_pop_sc(struct accept_queue_ring *ring)
Willy Tarreau1efafce2019-01-27 15:37:19 +010066{
Willy Tarreau1efafce2019-01-27 15:37:19 +010067 unsigned int pos, next;
Willy Tarreau83efc322020-10-14 17:37:17 +020068 struct connection *ptr;
69 struct connection **e;
Willy Tarreau1efafce2019-01-27 15:37:19 +010070
71 pos = ring->head;
72
73 if (pos == ring->tail)
Willy Tarreau83efc322020-10-14 17:37:17 +020074 return NULL;
Willy Tarreau1efafce2019-01-27 15:37:19 +010075
76 next = pos + 1;
77 if (next >= ACCEPT_QUEUE_SIZE)
78 next = 0;
79
80 e = &ring->entry[pos];
81
82 /* wait for the producer to update the listener's pointer */
83 while (1) {
Willy Tarreau83efc322020-10-14 17:37:17 +020084 ptr = *e;
Willy Tarreau1efafce2019-01-27 15:37:19 +010085 __ha_barrier_load();
86 if (ptr)
87 break;
88 pl_cpu_relax();
89 }
90
Willy Tarreau1efafce2019-01-27 15:37:19 +010091 /* release the entry */
Willy Tarreau83efc322020-10-14 17:37:17 +020092 *e = NULL;
Willy Tarreau1efafce2019-01-27 15:37:19 +010093
94 __ha_barrier_store();
95 ring->head = next;
Willy Tarreau83efc322020-10-14 17:37:17 +020096 return ptr;
Willy Tarreau1efafce2019-01-27 15:37:19 +010097}
98
99
Willy Tarreau83efc322020-10-14 17:37:17 +0200100/* tries to push a new accepted connection <conn> into ring <ring>. Returns
101 * non-zero if it succeeds, or zero if the ring is full. Supports multiple
102 * producers.
Willy Tarreau1efafce2019-01-27 15:37:19 +0100103 */
Willy Tarreau83efc322020-10-14 17:37:17 +0200104int accept_queue_push_mp(struct accept_queue_ring *ring, struct connection *conn)
Willy Tarreau1efafce2019-01-27 15:37:19 +0100105{
Willy Tarreau1efafce2019-01-27 15:37:19 +0100106 unsigned int pos, next;
107
108 pos = ring->tail;
109 do {
110 next = pos + 1;
111 if (next >= ACCEPT_QUEUE_SIZE)
112 next = 0;
113 if (next == ring->head)
114 return 0; // ring full
Olivier Houchard64213e92019-03-08 18:52:57 +0100115 } while (unlikely(!_HA_ATOMIC_CAS(&ring->tail, &pos, next)));
Willy Tarreau1efafce2019-01-27 15:37:19 +0100116
Willy Tarreau83efc322020-10-14 17:37:17 +0200117 ring->entry[pos] = conn;
Willy Tarreau1efafce2019-01-27 15:37:19 +0100118 __ha_barrier_store();
Willy Tarreau1efafce2019-01-27 15:37:19 +0100119 return 1;
120}
121
Willy Tarreaufb5401f2021-01-29 12:25:23 +0100122/* proceed with accepting new connections. Don't mark it static so that it appears
123 * in task dumps.
124 */
Willy Tarreau144f84a2021-03-02 16:09:26 +0100125struct task *accept_queue_process(struct task *t, void *context, unsigned int state)
Willy Tarreau1efafce2019-01-27 15:37:19 +0100126{
127 struct accept_queue_ring *ring = context;
Willy Tarreau83efc322020-10-14 17:37:17 +0200128 struct connection *conn;
Willy Tarreau1efafce2019-01-27 15:37:19 +0100129 struct listener *li;
Christopher Faulet102854c2019-04-30 12:17:13 +0200130 unsigned int max_accept;
Willy Tarreau1efafce2019-01-27 15:37:19 +0100131 int ret;
Willy Tarreau1efafce2019-01-27 15:37:19 +0100132
Christopher Faulet102854c2019-04-30 12:17:13 +0200133 /* if global.tune.maxaccept is -1, then max_accept is UINT_MAX. It
134 * is not really illimited, but it is probably enough.
135 */
Willy Tarreau66161322021-02-19 15:50:27 +0100136 max_accept = global.tune.maxaccept ? global.tune.maxaccept : MAX_ACCEPT;
Christopher Faulet102854c2019-04-30 12:17:13 +0200137 for (; max_accept; max_accept--) {
Willy Tarreau83efc322020-10-14 17:37:17 +0200138 conn = accept_queue_pop_sc(ring);
139 if (!conn)
Willy Tarreau1efafce2019-01-27 15:37:19 +0100140 break;
141
Willy Tarreau83efc322020-10-14 17:37:17 +0200142 li = __objt_listener(conn->target);
Willy Tarreau4781b152021-04-06 13:53:36 +0200143 _HA_ATOMIC_INC(&li->thr_conn[tid]);
Willy Tarreau83efc322020-10-14 17:37:17 +0200144 ret = li->accept(conn);
Willy Tarreau1efafce2019-01-27 15:37:19 +0100145 if (ret <= 0) {
146 /* connection was terminated by the application */
147 continue;
148 }
149
150 /* increase the per-process number of cumulated sessions, this
151 * may only be done once l->accept() has accepted the connection.
152 */
153 if (!(li->options & LI_O_UNLIMITED)) {
154 HA_ATOMIC_UPDATE_MAX(&global.sps_max,
155 update_freq_ctr(&global.sess_per_sec, 1));
Willy Tarreau11ba4042022-05-20 15:56:32 +0200156 if (li->bind_conf && li->bind_conf->options & BC_O_USE_SSL) {
Willy Tarreau1efafce2019-01-27 15:37:19 +0100157 HA_ATOMIC_UPDATE_MAX(&global.ssl_max,
158 update_freq_ctr(&global.ssl_per_sec, 1));
159 }
160 }
161 }
162
163 /* ran out of budget ? Let's come here ASAP */
Christopher Faulet102854c2019-04-30 12:17:13 +0200164 if (!max_accept)
Willy Tarreau2bd65a72019-09-24 06:55:18 +0200165 tasklet_wakeup(ring->tasklet);
Willy Tarreau1efafce2019-01-27 15:37:19 +0100166
Willy Tarreau2bd65a72019-09-24 06:55:18 +0200167 return NULL;
Willy Tarreau1efafce2019-01-27 15:37:19 +0100168}
169
170/* Initializes the accept-queues. Returns 0 on success, otherwise ERR_* flags */
171static int accept_queue_init()
172{
Willy Tarreau2bd65a72019-09-24 06:55:18 +0200173 struct tasklet *t;
Willy Tarreau1efafce2019-01-27 15:37:19 +0100174 int i;
175
176 for (i = 0; i < global.nbthread; i++) {
Willy Tarreau2bd65a72019-09-24 06:55:18 +0200177 t = tasklet_new();
Willy Tarreau1efafce2019-01-27 15:37:19 +0100178 if (!t) {
179 ha_alert("Out of memory while initializing accept queue for thread %d\n", i);
180 return ERR_FATAL|ERR_ABORT;
181 }
Willy Tarreau2bd65a72019-09-24 06:55:18 +0200182 t->tid = i;
Willy Tarreau1efafce2019-01-27 15:37:19 +0100183 t->process = accept_queue_process;
184 t->context = &accept_queue_rings[i];
Willy Tarreau2bd65a72019-09-24 06:55:18 +0200185 accept_queue_rings[i].tasklet = t;
Willy Tarreau1efafce2019-01-27 15:37:19 +0100186 }
187 return 0;
188}
189
190REGISTER_CONFIG_POSTPARSER("multi-threaded accept queue", accept_queue_init);
191
Willy Tarreaue01b08d2022-04-27 18:42:47 +0200192static void accept_queue_deinit()
193{
194 int i;
195
196 for (i = 0; i < global.nbthread; i++) {
197 if (accept_queue_rings[i].tasklet)
198 tasklet_free(accept_queue_rings[i].tasklet);
199 }
200}
201
202REGISTER_POST_DEINIT(accept_queue_deinit);
203
Willy Tarreau1efafce2019-01-27 15:37:19 +0100204#endif // USE_THREAD
205
Amaury Denoyellef68b2cb2022-01-25 16:21:47 +0100206/* Memory allocation and initialization of the per_thr field.
207 * Returns 0 if the field has been successfully initialized, -1 on failure.
208 */
209int li_init_per_thr(struct listener *li)
210{
211 int i;
212
213 /* allocate per-thread elements for listener */
214 li->per_thr = calloc(global.nbthread, sizeof(*li->per_thr));
215 if (!li->per_thr)
216 return -1;
217
218 for (i = 0; i < global.nbthread; ++i) {
219 MT_LIST_INIT(&li->per_thr[i].quic_accept.list);
220 MT_LIST_INIT(&li->per_thr[i].quic_accept.conns);
221
222 li->per_thr[i].li = li;
223 }
224
225 return 0;
226}
227
William Dauchy3679d0c2021-02-14 23:22:55 +0100228/* helper to get listener status for stats */
229enum li_status get_li_status(struct listener *l)
230{
231 if (!l->maxconn || l->nbconn < l->maxconn) {
232 if (l->state == LI_LIMITED)
233 return LI_STATUS_WAITING;
234 else
235 return LI_STATUS_OPEN;
236 }
237 return LI_STATUS_FULL;
238}
239
Willy Tarreauefc0eec2020-09-24 07:27:06 +0200240/* adjust the listener's state and its proxy's listener counters if needed.
241 * It must be called under the listener's lock, but uses atomic ops to change
242 * the proxy's counters so that the proxy lock is not needed.
243 */
Willy Tarreaua37b2442020-09-24 07:23:45 +0200244void listener_set_state(struct listener *l, enum li_state st)
245{
Willy Tarreauefc0eec2020-09-24 07:27:06 +0200246 struct proxy *px = l->bind_conf->frontend;
247
248 if (px) {
249 /* from state */
250 switch (l->state) {
251 case LI_NEW: /* first call */
Willy Tarreau4781b152021-04-06 13:53:36 +0200252 _HA_ATOMIC_INC(&px->li_all);
Willy Tarreauefc0eec2020-09-24 07:27:06 +0200253 break;
254 case LI_INIT:
255 case LI_ASSIGNED:
256 break;
257 case LI_PAUSED:
Willy Tarreau4781b152021-04-06 13:53:36 +0200258 _HA_ATOMIC_DEC(&px->li_paused);
Willy Tarreauefc0eec2020-09-24 07:27:06 +0200259 break;
260 case LI_LISTEN:
Willy Tarreau4781b152021-04-06 13:53:36 +0200261 _HA_ATOMIC_DEC(&px->li_bound);
Willy Tarreauefc0eec2020-09-24 07:27:06 +0200262 break;
263 case LI_READY:
264 case LI_FULL:
265 case LI_LIMITED:
Willy Tarreau4781b152021-04-06 13:53:36 +0200266 _HA_ATOMIC_DEC(&px->li_ready);
Willy Tarreauefc0eec2020-09-24 07:27:06 +0200267 break;
268 }
269
270 /* to state */
271 switch (st) {
272 case LI_NEW:
273 case LI_INIT:
274 case LI_ASSIGNED:
275 break;
276 case LI_PAUSED:
Willy Tarreau95a34602020-10-08 15:32:21 +0200277 BUG_ON(l->rx.fd == -1);
Willy Tarreau4781b152021-04-06 13:53:36 +0200278 _HA_ATOMIC_INC(&px->li_paused);
Willy Tarreauefc0eec2020-09-24 07:27:06 +0200279 break;
280 case LI_LISTEN:
Willy Tarreau95a34602020-10-08 15:32:21 +0200281 BUG_ON(l->rx.fd == -1);
Willy Tarreau4781b152021-04-06 13:53:36 +0200282 _HA_ATOMIC_INC(&px->li_bound);
Willy Tarreauefc0eec2020-09-24 07:27:06 +0200283 break;
284 case LI_READY:
285 case LI_FULL:
286 case LI_LIMITED:
Willy Tarreau95a34602020-10-08 15:32:21 +0200287 BUG_ON(l->rx.fd == -1);
Willy Tarreau4781b152021-04-06 13:53:36 +0200288 _HA_ATOMIC_INC(&px->li_ready);
Willy Tarreauefc0eec2020-09-24 07:27:06 +0200289 break;
290 }
291 }
Willy Tarreaua37b2442020-09-24 07:23:45 +0200292 l->state = st;
293}
294
Willy Tarreaudabf2e22007-10-28 21:59:24 +0100295/* This function adds the specified listener's file descriptor to the polling
296 * lists if it is in the LI_LISTEN state. The listener enters LI_READY or
Ilya Shipitsin6fb0f212020-04-02 15:25:26 +0500297 * LI_FULL state depending on its number of connections. In daemon mode, we
Willy Tarreauae302532014-05-07 19:22:24 +0200298 * also support binding only the relevant processes to their respective
299 * listeners. We don't do that in debug mode however.
Willy Tarreaudabf2e22007-10-28 21:59:24 +0100300 */
Willy Tarreau7834a3f2020-09-25 16:40:18 +0200301void enable_listener(struct listener *listener)
Willy Tarreaudabf2e22007-10-28 21:59:24 +0100302{
Willy Tarreau08b6f962022-02-01 16:23:00 +0100303 HA_RWLOCK_WRLOCK(LISTENER_LOCK, &listener->lock);
Willy Tarreaud6afb532020-10-09 10:35:40 +0200304
305 /* If this listener is supposed to be only in the master, close it in
306 * the workers. Conversely, if it's supposed to be only in the workers
307 * close it in the master.
308 */
Willy Tarreau18c20d22020-10-09 16:11:46 +0200309 if (!!master != !!(listener->rx.flags & RX_F_MWORKER))
Willy Tarreau75c98d12020-10-09 15:55:23 +0200310 do_unbind_listener(listener);
Willy Tarreaud6afb532020-10-09 10:35:40 +0200311
Willy Tarreaudabf2e22007-10-28 21:59:24 +0100312 if (listener->state == LI_LISTEN) {
Willy Tarreau95a34602020-10-08 15:32:21 +0200313 BUG_ON(listener->rx.fd == -1);
William Lallemand095ba4c2017-06-01 17:38:50 +0200314 if ((global.mode & (MODE_DAEMON | MODE_MWORKER)) &&
Willy Tarreau72faef32021-06-15 08:36:30 +0200315 (!!master != !!(listener->rx.flags & RX_F_MWORKER))) {
Willy Tarreauae302532014-05-07 19:22:24 +0200316 /* we don't want to enable this listener and don't
317 * want any fd event to reach it.
318 */
Willy Tarreau75c98d12020-10-09 15:55:23 +0200319 do_unbind_listener(listener);
Willy Tarreauae302532014-05-07 19:22:24 +0200320 }
Willy Tarreaua8cf66b2019-02-27 16:49:00 +0100321 else if (!listener->maxconn || listener->nbconn < listener->maxconn) {
Willy Tarreau4b51f422020-09-25 20:32:28 +0200322 listener->rx.proto->enable(listener);
Willy Tarreaua37b2442020-09-24 07:23:45 +0200323 listener_set_state(listener, LI_READY);
Willy Tarreauae302532014-05-07 19:22:24 +0200324 }
325 else {
Willy Tarreaua37b2442020-09-24 07:23:45 +0200326 listener_set_state(listener, LI_FULL);
Willy Tarreaudabf2e22007-10-28 21:59:24 +0100327 }
328 }
Willy Tarreaud6afb532020-10-09 10:35:40 +0200329
Willy Tarreau08b6f962022-02-01 16:23:00 +0100330 HA_RWLOCK_WRUNLOCK(LISTENER_LOCK, &listener->lock);
Willy Tarreaudabf2e22007-10-28 21:59:24 +0100331}
332
Willy Tarreaucaa7df12020-10-07 15:58:50 +0200333/*
334 * This function completely stops a listener. It will need to operate under the
335 * proxy's lock, the protocol's lock, and the listener's lock. The caller is
336 * responsible for indicating in lpx, lpr, lli whether the respective locks are
337 * already held (non-zero) or not (zero) so that the function picks the missing
338 * ones, in this order. The proxy's listeners count is updated and the proxy is
339 * disabled and woken up after the last one is gone.
340 */
341void stop_listener(struct listener *l, int lpx, int lpr, int lli)
342{
343 struct proxy *px = l->bind_conf->frontend;
Willy Tarreaucaa7df12020-10-07 15:58:50 +0200344
345 if (l->options & LI_O_NOSTOP) {
346 /* master-worker sockpairs are never closed but don't count as a
347 * job.
348 */
349 return;
350 }
351
Willy Tarreaucaa7df12020-10-07 15:58:50 +0200352 if (!lpx)
Willy Tarreauac66d6b2020-10-20 17:24:27 +0200353 HA_RWLOCK_WRLOCK(PROXY_LOCK, &px->lock);
Willy Tarreaucaa7df12020-10-07 15:58:50 +0200354
355 if (!lpr)
356 HA_SPIN_LOCK(PROTO_LOCK, &proto_lock);
357
358 if (!lli)
Willy Tarreau08b6f962022-02-01 16:23:00 +0100359 HA_RWLOCK_WRLOCK(LISTENER_LOCK, &l->lock);
Willy Tarreaucaa7df12020-10-07 15:58:50 +0200360
361 if (l->state > LI_INIT) {
Willy Tarreau75c98d12020-10-09 15:55:23 +0200362 do_unbind_listener(l);
Willy Tarreaucaa7df12020-10-07 15:58:50 +0200363
364 if (l->state >= LI_ASSIGNED)
365 __delete_listener(l);
366
Willy Tarreauacde1522020-10-07 16:31:39 +0200367 proxy_cond_disable(px);
Willy Tarreaucaa7df12020-10-07 15:58:50 +0200368 }
369
370 if (!lli)
Willy Tarreau08b6f962022-02-01 16:23:00 +0100371 HA_RWLOCK_WRUNLOCK(LISTENER_LOCK, &l->lock);
Willy Tarreaucaa7df12020-10-07 15:58:50 +0200372
373 if (!lpr)
374 HA_SPIN_UNLOCK(PROTO_LOCK, &proto_lock);
375
376 if (!lpx)
Willy Tarreauac66d6b2020-10-20 17:24:27 +0200377 HA_RWLOCK_WRUNLOCK(PROXY_LOCK, &px->lock);
Willy Tarreaucaa7df12020-10-07 15:58:50 +0200378}
379
Willy Tarreaud1f250f2020-12-04 15:03:36 +0100380/* This function adds the specified <listener> to the protocol <proto>. It
381 * does nothing if the protocol was already added. The listener's state is
382 * automatically updated from LI_INIT to LI_ASSIGNED. The number of listeners
383 * for the protocol is updated. This must be called with the proto lock held.
384 */
385void default_add_listener(struct protocol *proto, struct listener *listener)
386{
387 if (listener->state != LI_INIT)
388 return;
389 listener_set_state(listener, LI_ASSIGNED);
390 listener->rx.proto = proto;
Willy Tarreau2b718102021-04-21 07:32:39 +0200391 LIST_APPEND(&proto->receivers, &listener->rx.proto_list);
Willy Tarreaud1f250f2020-12-04 15:03:36 +0100392 proto->nb_receivers++;
393}
394
Willy Tarreaue03204c2020-10-09 17:02:21 +0200395/* default function called to suspend a listener: it simply passes the call to
396 * the underlying receiver. This is find for most socket-based protocols. This
397 * must be called under the listener's lock. It will return non-zero on success,
398 * 0 on failure. If no receiver-level suspend is provided, the operation is
399 * assumed to succeed.
400 */
401int default_suspend_listener(struct listener *l)
402{
403 int ret = 1;
404
405 if (!l->rx.proto->rx_suspend)
406 return 1;
407
408 ret = l->rx.proto->rx_suspend(&l->rx);
409 return ret > 0 ? ret : 0;
410}
411
412
413/* Tries to resume a suspended listener, and returns non-zero on success or
414 * zero on failure. On certain errors, an alert or a warning might be displayed.
415 * It must be called with the listener's lock held. Depending on the listener's
416 * state and protocol, a listen() call might be used to resume operations, or a
417 * call to the receiver's resume() function might be used as well. This is
418 * suitable as a default function for TCP and UDP. This must be called with the
419 * listener's lock held.
420 */
421int default_resume_listener(struct listener *l)
422{
423 int ret = 1;
424
425 if (l->state == LI_ASSIGNED) {
426 char msg[100];
427 int err;
428
429 err = l->rx.proto->listen(l, msg, sizeof(msg));
430 if (err & ERR_ALERT)
431 ha_alert("Resuming listener: %s\n", msg);
432 else if (err & ERR_WARN)
433 ha_warning("Resuming listener: %s\n", msg);
434
435 if (err & (ERR_FATAL | ERR_ABORT)) {
436 ret = 0;
437 goto end;
438 }
439 }
440
441 if (l->state < LI_PAUSED) {
442 ret = 0;
443 goto end;
444 }
445
446 if (l->state == LI_PAUSED && l->rx.proto->rx_resume &&
447 l->rx.proto->rx_resume(&l->rx) <= 0)
448 ret = 0;
449 end:
450 return ret;
451}
452
453
Willy Tarreaube58c382011-07-24 18:28:10 +0200454/* This function tries to temporarily disable a listener, depending on the OS
455 * capabilities. Linux unbinds the listen socket after a SHUT_RD, and ignores
456 * SHUT_WR. Solaris refuses either shutdown(). OpenBSD ignores SHUT_RD but
457 * closes upon SHUT_WR and refuses to rebind. So a common validation path
458 * involves SHUT_WR && listen && SHUT_RD. In case of success, the FD's polling
459 * is disabled. It normally returns non-zero, unless an error is reported.
460 */
461int pause_listener(struct listener *l)
462{
Willy Tarreau58651b42020-09-24 16:03:29 +0200463 struct proxy *px = l->bind_conf->frontend;
Christopher Faulet8d8aa0d2017-05-30 15:36:50 +0200464 int ret = 1;
465
Willy Tarreau08b6f962022-02-01 16:23:00 +0100466 HA_RWLOCK_WRLOCK(LISTENER_LOCK, &l->lock);
Christopher Faulet8d8aa0d2017-05-30 15:36:50 +0200467
Willy Tarreau9b3a9322020-09-24 14:46:34 +0200468 if (l->state <= LI_PAUSED)
469 goto end;
470
Willy Tarreaue03204c2020-10-09 17:02:21 +0200471 if (l->rx.proto->suspend)
472 ret = l->rx.proto->suspend(l);
Willy Tarreaube58c382011-07-24 18:28:10 +0200473
Willy Tarreau2b718102021-04-21 07:32:39 +0200474 MT_LIST_DELETE(&l->wait_queue);
Willy Tarreaue6ca1fc2011-07-24 22:03:52 +0200475
Willy Tarreaua37b2442020-09-24 07:23:45 +0200476 listener_set_state(l, LI_PAUSED);
Willy Tarreau58651b42020-09-24 16:03:29 +0200477
478 if (px && !px->li_ready) {
479 ha_warning("Paused %s %s.\n", proxy_cap_str(px->cap), px->id);
480 send_log(px, LOG_WARNING, "Paused %s %s.\n", proxy_cap_str(px->cap), px->id);
481 }
Christopher Faulet8d8aa0d2017-05-30 15:36:50 +0200482 end:
Willy Tarreau08b6f962022-02-01 16:23:00 +0100483 HA_RWLOCK_WRUNLOCK(LISTENER_LOCK, &l->lock);
Christopher Faulet8d8aa0d2017-05-30 15:36:50 +0200484 return ret;
Willy Tarreaube58c382011-07-24 18:28:10 +0200485}
486
Willy Tarreaue6ca1fc2011-07-24 22:03:52 +0200487/* This function tries to resume a temporarily disabled listener. Paused, full,
488 * limited and disabled listeners are handled, which means that this function
489 * may replace enable_listener(). The resulting state will either be LI_READY
490 * or LI_FULL. 0 is returned in case of failure to resume (eg: dead socket).
Willy Tarreauae302532014-05-07 19:22:24 +0200491 * Listeners bound to a different process are not woken up unless we're in
Willy Tarreauaf2fd582015-04-14 12:07:16 +0200492 * foreground mode, and are ignored. If the listener was only in the assigned
493 * state, it's totally rebound. This can happen if a pause() has completely
494 * stopped it. If the resume fails, 0 is returned and an error might be
495 * displayed.
Willy Tarreaube58c382011-07-24 18:28:10 +0200496 */
Willy Tarreau01abd022019-02-28 10:27:18 +0100497int resume_listener(struct listener *l)
Willy Tarreaube58c382011-07-24 18:28:10 +0200498{
Willy Tarreau58651b42020-09-24 16:03:29 +0200499 struct proxy *px = l->bind_conf->frontend;
500 int was_paused = px && px->li_paused;
Christopher Faulet8d8aa0d2017-05-30 15:36:50 +0200501 int ret = 1;
502
Willy Tarreau08b6f962022-02-01 16:23:00 +0100503 HA_RWLOCK_WRLOCK(LISTENER_LOCK, &l->lock);
Christopher Faulet8d8aa0d2017-05-30 15:36:50 +0200504
Willy Tarreauf2cb1692019-07-11 10:08:31 +0200505 /* check that another thread didn't to the job in parallel (e.g. at the
506 * end of listen_accept() while we'd come from dequeue_all_listeners().
507 */
Willy Tarreau2b718102021-04-21 07:32:39 +0200508 if (MT_LIST_INLIST(&l->wait_queue))
Willy Tarreauf2cb1692019-07-11 10:08:31 +0200509 goto end;
510
Willy Tarreau5d7f9ce2020-09-24 18:54:11 +0200511 if (l->state == LI_READY)
512 goto end;
Willy Tarreaube58c382011-07-24 18:28:10 +0200513
Willy Tarreaue03204c2020-10-09 17:02:21 +0200514 if (l->rx.proto->resume)
515 ret = l->rx.proto->resume(l);
Willy Tarreaube58c382011-07-24 18:28:10 +0200516
Willy Tarreaua8cf66b2019-02-27 16:49:00 +0100517 if (l->maxconn && l->nbconn >= l->maxconn) {
Willy Tarreau4b51f422020-09-25 20:32:28 +0200518 l->rx.proto->disable(l);
Willy Tarreaua37b2442020-09-24 07:23:45 +0200519 listener_set_state(l, LI_FULL);
Willy Tarreau58651b42020-09-24 16:03:29 +0200520 goto done;
Willy Tarreaube58c382011-07-24 18:28:10 +0200521 }
522
Willy Tarreau4b51f422020-09-25 20:32:28 +0200523 l->rx.proto->enable(l);
Willy Tarreaua37b2442020-09-24 07:23:45 +0200524 listener_set_state(l, LI_READY);
Willy Tarreau58651b42020-09-24 16:03:29 +0200525
526 done:
527 if (was_paused && !px->li_paused) {
528 ha_warning("Resumed %s %s.\n", proxy_cap_str(px->cap), px->id);
529 send_log(px, LOG_WARNING, "Resumed %s %s.\n", proxy_cap_str(px->cap), px->id);
530 }
Christopher Faulet8d8aa0d2017-05-30 15:36:50 +0200531 end:
Willy Tarreau08b6f962022-02-01 16:23:00 +0100532 HA_RWLOCK_WRUNLOCK(LISTENER_LOCK, &l->lock);
Christopher Faulet8d8aa0d2017-05-30 15:36:50 +0200533 return ret;
534}
535
Willy Tarreau87b09662015-04-03 00:22:06 +0200536/* Marks a ready listener as full so that the stream code tries to re-enable
Willy Tarreau62793712011-07-24 19:23:38 +0200537 * it upon next close() using resume_listener().
538 */
Christopher Faulet5580ba22017-08-28 15:29:20 +0200539static void listener_full(struct listener *l)
Willy Tarreau62793712011-07-24 19:23:38 +0200540{
Willy Tarreau08b6f962022-02-01 16:23:00 +0100541 HA_RWLOCK_WRLOCK(LISTENER_LOCK, &l->lock);
Willy Tarreau62793712011-07-24 19:23:38 +0200542 if (l->state >= LI_READY) {
Willy Tarreau2b718102021-04-21 07:32:39 +0200543 MT_LIST_DELETE(&l->wait_queue);
Willy Tarreau3f0d02b2019-02-25 19:23:37 +0100544 if (l->state != LI_FULL) {
Willy Tarreau4b51f422020-09-25 20:32:28 +0200545 l->rx.proto->disable(l);
Willy Tarreaua37b2442020-09-24 07:23:45 +0200546 listener_set_state(l, LI_FULL);
Willy Tarreau3f0d02b2019-02-25 19:23:37 +0100547 }
Willy Tarreau62793712011-07-24 19:23:38 +0200548 }
Willy Tarreau08b6f962022-02-01 16:23:00 +0100549 HA_RWLOCK_WRUNLOCK(LISTENER_LOCK, &l->lock);
Willy Tarreau62793712011-07-24 19:23:38 +0200550}
551
Willy Tarreaue6ca1fc2011-07-24 22:03:52 +0200552/* Marks a ready listener as limited so that we only try to re-enable it when
553 * resources are free again. It will be queued into the specified queue.
554 */
Olivier Houchard859dc802019-08-08 15:47:21 +0200555static void limit_listener(struct listener *l, struct mt_list *list)
Willy Tarreaue6ca1fc2011-07-24 22:03:52 +0200556{
Willy Tarreau08b6f962022-02-01 16:23:00 +0100557 HA_RWLOCK_WRLOCK(LISTENER_LOCK, &l->lock);
Willy Tarreaue6ca1fc2011-07-24 22:03:52 +0200558 if (l->state == LI_READY) {
Willy Tarreau2b718102021-04-21 07:32:39 +0200559 MT_LIST_TRY_APPEND(list, &l->wait_queue);
Willy Tarreau4b51f422020-09-25 20:32:28 +0200560 l->rx.proto->disable(l);
Willy Tarreaua37b2442020-09-24 07:23:45 +0200561 listener_set_state(l, LI_LIMITED);
Willy Tarreaue6ca1fc2011-07-24 22:03:52 +0200562 }
Willy Tarreau08b6f962022-02-01 16:23:00 +0100563 HA_RWLOCK_WRUNLOCK(LISTENER_LOCK, &l->lock);
Willy Tarreaue6ca1fc2011-07-24 22:03:52 +0200564}
565
Willy Tarreau241797a2019-12-10 14:10:52 +0100566/* Dequeues all listeners waiting for a resource the global wait queue */
567void dequeue_all_listeners()
Willy Tarreaue6ca1fc2011-07-24 22:03:52 +0200568{
Willy Tarreau01abd022019-02-28 10:27:18 +0100569 struct listener *listener;
Willy Tarreaue6ca1fc2011-07-24 22:03:52 +0200570
Willy Tarreau241797a2019-12-10 14:10:52 +0100571 while ((listener = MT_LIST_POP(&global_listener_queue, struct listener *, wait_queue))) {
Willy Tarreaue6ca1fc2011-07-24 22:03:52 +0200572 /* This cannot fail because the listeners are by definition in
Willy Tarreau01abd022019-02-28 10:27:18 +0100573 * the LI_LIMITED state.
Willy Tarreaue6ca1fc2011-07-24 22:03:52 +0200574 */
Willy Tarreau01abd022019-02-28 10:27:18 +0100575 resume_listener(listener);
Willy Tarreaue6ca1fc2011-07-24 22:03:52 +0200576 }
577}
578
Willy Tarreau241797a2019-12-10 14:10:52 +0100579/* Dequeues all listeners waiting for a resource in proxy <px>'s queue */
580void dequeue_proxy_listeners(struct proxy *px)
581{
582 struct listener *listener;
583
584 while ((listener = MT_LIST_POP(&px->listener_queue, struct listener *, wait_queue))) {
585 /* This cannot fail because the listeners are by definition in
586 * the LI_LIMITED state.
587 */
588 resume_listener(listener);
589 }
590}
591
Willy Tarreau7b2febd2020-10-09 17:18:29 +0200592
593/* default function used to unbind a listener. This is for use by standard
594 * protocols working on top of accepted sockets. The receiver's rx_unbind()
595 * will automatically be used after the listener is disabled if the socket is
596 * still bound. This must be used under the listener's lock.
Christopher Faulet510c0d62018-03-16 10:04:47 +0100597 */
Willy Tarreau7b2febd2020-10-09 17:18:29 +0200598void default_unbind_listener(struct listener *listener)
Willy Tarreaub648d632007-10-28 22:13:50 +0100599{
Willy Tarreau87acd4e2020-10-08 15:36:46 +0200600 if (listener->state <= LI_ASSIGNED)
601 goto out_close;
602
603 if (listener->rx.fd == -1) {
Willy Tarreaua37b2442020-09-24 07:23:45 +0200604 listener_set_state(listener, LI_ASSIGNED);
Willy Tarreau87acd4e2020-10-08 15:36:46 +0200605 goto out_close;
606 }
607
Willy Tarreauf58b8db2020-10-09 16:32:08 +0200608 if (listener->state >= LI_READY) {
609 listener->rx.proto->disable(listener);
610 if (listener->rx.flags & RX_F_BOUND)
Willy Tarreau87acd4e2020-10-08 15:36:46 +0200611 listener_set_state(listener, LI_LISTEN);
Willy Tarreaub6607bf2020-09-23 16:24:23 +0200612 }
613
Willy Tarreau87acd4e2020-10-08 15:36:46 +0200614 out_close:
Willy Tarreauf58b8db2020-10-09 16:32:08 +0200615 if (listener->rx.flags & RX_F_BOUND)
616 listener->rx.proto->rx_unbind(&listener->rx);
Willy Tarreau7b2febd2020-10-09 17:18:29 +0200617}
618
619/* This function closes the listening socket for the specified listener,
620 * provided that it's already in a listening state. The protocol's unbind()
621 * is called to put the listener into LI_ASSIGNED or LI_LISTEN and handle
622 * the unbinding tasks. The listener enters then the LI_ASSIGNED state if
623 * the receiver is unbound. Must be called with the lock held.
624 */
625void do_unbind_listener(struct listener *listener)
626{
Willy Tarreau2b718102021-04-21 07:32:39 +0200627 MT_LIST_DELETE(&listener->wait_queue);
Willy Tarreau7b2febd2020-10-09 17:18:29 +0200628
629 if (listener->rx.proto->unbind)
630 listener->rx.proto->unbind(listener);
Willy Tarreau374e9af2020-10-09 15:47:17 +0200631
Willy Tarreauf58b8db2020-10-09 16:32:08 +0200632 /* we may have to downgrade the listener if the rx was closed */
633 if (!(listener->rx.flags & RX_F_BOUND) && listener->state > LI_ASSIGNED)
Willy Tarreau374e9af2020-10-09 15:47:17 +0200634 listener_set_state(listener, LI_ASSIGNED);
Willy Tarreaubbd09b92017-11-05 11:38:44 +0100635}
636
Olivier Houchard1fc05162017-04-06 01:05:05 +0200637/* This function closes the listening socket for the specified listener,
638 * provided that it's already in a listening state. The listener enters the
Willy Tarreau75c98d12020-10-09 15:55:23 +0200639 * LI_ASSIGNED state, except if the FD is not closed, in which case it may
640 * remain in LI_LISTEN. This function is intended to be used as a generic
Willy Tarreaubbd09b92017-11-05 11:38:44 +0100641 * function for standard protocols.
Olivier Houchard1fc05162017-04-06 01:05:05 +0200642 */
Willy Tarreaubbd09b92017-11-05 11:38:44 +0100643void unbind_listener(struct listener *listener)
Olivier Houchard1fc05162017-04-06 01:05:05 +0200644{
Willy Tarreau08b6f962022-02-01 16:23:00 +0100645 HA_RWLOCK_WRLOCK(LISTENER_LOCK, &listener->lock);
Willy Tarreau75c98d12020-10-09 15:55:23 +0200646 do_unbind_listener(listener);
Willy Tarreau08b6f962022-02-01 16:23:00 +0100647 HA_RWLOCK_WRUNLOCK(LISTENER_LOCK, &listener->lock);
Olivier Houchard1fc05162017-04-06 01:05:05 +0200648}
649
Willy Tarreau0de59fd2017-09-15 08:10:44 +0200650/* creates one or multiple listeners for bind_conf <bc> on sockaddr <ss> on port
651 * range <portl> to <porth>, and possibly attached to fd <fd> (or -1 for auto
Willy Tarreau9b3178d2020-09-16 17:58:55 +0200652 * allocation). The address family is taken from ss->ss_family, and the protocol
Willy Tarreaud2fb99f2020-10-15 21:22:29 +0200653 * passed in <proto> must be usable on this family. The protocol's default iocb
654 * is automatically preset as the receivers' iocb. The number of jobs and
Willy Tarreau9b3178d2020-09-16 17:58:55 +0200655 * listeners is automatically increased by the number of listeners created. It
656 * returns non-zero on success, zero on error with the error message set in <err>.
Willy Tarreau0de59fd2017-09-15 08:10:44 +0200657 */
658int create_listeners(struct bind_conf *bc, const struct sockaddr_storage *ss,
Willy Tarreau9b3178d2020-09-16 17:58:55 +0200659 int portl, int porth, int fd, struct protocol *proto, char **err)
Willy Tarreau0de59fd2017-09-15 08:10:44 +0200660{
Willy Tarreau0de59fd2017-09-15 08:10:44 +0200661 struct listener *l;
662 int port;
663
Willy Tarreau0de59fd2017-09-15 08:10:44 +0200664 for (port = portl; port <= porth; port++) {
665 l = calloc(1, sizeof(*l));
666 if (!l) {
667 memprintf(err, "out of memory");
668 return 0;
669 }
670 l->obj_type = OBJ_TYPE_LISTENER;
Willy Tarreau2b718102021-04-21 07:32:39 +0200671 LIST_APPEND(&bc->frontend->conf.listeners, &l->by_fe);
672 LIST_APPEND(&bc->listeners, &l->by_bind);
Willy Tarreau0de59fd2017-09-15 08:10:44 +0200673 l->bind_conf = bc;
Willy Tarreau0fce6bc2020-09-03 07:46:06 +0200674 l->rx.settings = &bc->settings;
Willy Tarreaueef45422020-09-03 10:05:03 +0200675 l->rx.owner = l;
Willy Tarreaud2fb99f2020-10-15 21:22:29 +0200676 l->rx.iocb = proto->default_iocb;
Willy Tarreau38ba6472020-08-27 08:16:52 +0200677 l->rx.fd = fd;
Willy Tarreau07400c52020-12-04 14:49:11 +0100678
Willy Tarreau37159062020-08-27 07:48:42 +0200679 memcpy(&l->rx.addr, ss, sizeof(*ss));
Willy Tarreaud1f250f2020-12-04 15:03:36 +0100680 if (proto->fam->set_port)
681 proto->fam->set_port(&l->rx.addr, port);
Willy Tarreau07400c52020-12-04 14:49:11 +0100682
Olivier Houchard859dc802019-08-08 15:47:21 +0200683 MT_LIST_INIT(&l->wait_queue);
Willy Tarreaua37b2442020-09-24 07:23:45 +0200684 listener_set_state(l, LI_INIT);
Willy Tarreau0de59fd2017-09-15 08:10:44 +0200685
Willy Tarreaud1f250f2020-12-04 15:03:36 +0100686 proto->add(proto, l);
Willy Tarreau0de59fd2017-09-15 08:10:44 +0200687
Willy Tarreau909c23b2020-09-15 13:50:58 +0200688 if (fd != -1)
Willy Tarreau43046fa2020-09-01 15:41:59 +0200689 l->rx.flags |= RX_F_INHERITED;
William Lallemand75ea0a02017-11-15 19:02:58 +0100690
Amaury Denoyelle7f8f6cb2020-11-10 14:24:31 +0100691 l->extra_counters = NULL;
692
Willy Tarreau08b6f962022-02-01 16:23:00 +0100693 HA_RWLOCK_INIT(&l->lock);
Willy Tarreau4781b152021-04-06 13:53:36 +0200694 _HA_ATOMIC_INC(&jobs);
695 _HA_ATOMIC_INC(&listeners);
Willy Tarreau0de59fd2017-09-15 08:10:44 +0200696 }
697 return 1;
698}
699
Willy Tarreau59a877d2021-10-12 09:36:10 +0200700/* clones listener <src> and returns the new one. All dynamically allocated
701 * fields are reallocated (name for now). The new listener is inserted before
702 * the original one in the bind_conf and frontend lists. This allows it to be
703 * duplicated while iterating over the current list. The original listener must
704 * only be in the INIT or ASSIGNED states, and the new listener will only be
705 * placed into the INIT state. The counters are always set to NULL. Maxsock is
706 * updated. Returns NULL on allocation error.
707 */
708struct listener *clone_listener(struct listener *src)
709{
710 struct listener *l;
711
712 l = calloc(1, sizeof(*l));
713 if (!l)
714 goto oom1;
715 memcpy(l, src, sizeof(*l));
716
717 if (l->name) {
718 l->name = strdup(l->name);
719 if (!l->name)
720 goto oom2;
721 }
722
723 l->rx.owner = l;
724 l->state = LI_INIT;
725 l->counters = NULL;
726 l->extra_counters = NULL;
727
728 LIST_APPEND(&src->by_fe, &l->by_fe);
729 LIST_APPEND(&src->by_bind, &l->by_bind);
730
731 MT_LIST_INIT(&l->wait_queue);
732
733 l->rx.proto->add(l->rx.proto, l);
734
Willy Tarreau08b6f962022-02-01 16:23:00 +0100735 HA_RWLOCK_INIT(&l->lock);
Willy Tarreau59a877d2021-10-12 09:36:10 +0200736 _HA_ATOMIC_INC(&jobs);
737 _HA_ATOMIC_INC(&listeners);
738 global.maxsock++;
739 return l;
740
Willy Tarreau59a877d2021-10-12 09:36:10 +0200741 oom2:
742 free(l);
743 oom1:
Willy Tarreaua1462892021-10-16 14:45:29 +0200744 return NULL;
Willy Tarreau59a877d2021-10-12 09:36:10 +0200745}
746
Willy Tarreau1a64d162007-10-28 22:26:05 +0100747/* Delete a listener from its protocol's list of listeners. The listener's
748 * state is automatically updated from LI_ASSIGNED to LI_INIT. The protocol's
Willy Tarreau2cc5bae2017-09-15 08:18:11 +0200749 * number of listeners is updated, as well as the global number of listeners
750 * and jobs. Note that the listener must have previously been unbound. This
Willy Tarreaub4c083f2020-10-07 15:36:16 +0200751 * is a low-level function expected to be called with the proto_lock and the
752 * listener's lock held.
Willy Tarreau1a64d162007-10-28 22:26:05 +0100753 */
Willy Tarreaub4c083f2020-10-07 15:36:16 +0200754void __delete_listener(struct listener *listener)
Willy Tarreau1a64d162007-10-28 22:26:05 +0100755{
Willy Tarreau3f0d02b2019-02-25 19:23:37 +0100756 if (listener->state == LI_ASSIGNED) {
Willy Tarreaua37b2442020-09-24 07:23:45 +0200757 listener_set_state(listener, LI_INIT);
Willy Tarreau2b718102021-04-21 07:32:39 +0200758 LIST_DELETE(&listener->rx.proto_list);
Willy Tarreaud7f331c2020-09-25 17:01:43 +0200759 listener->rx.proto->nb_receivers--;
Willy Tarreau4781b152021-04-06 13:53:36 +0200760 _HA_ATOMIC_DEC(&jobs);
761 _HA_ATOMIC_DEC(&listeners);
Willy Tarreau3f0d02b2019-02-25 19:23:37 +0100762 }
Willy Tarreaub4c083f2020-10-07 15:36:16 +0200763}
764
765/* Delete a listener from its protocol's list of listeners (please check
766 * __delete_listener() above). The proto_lock and the listener's lock will
767 * be grabbed in this order.
768 */
769void delete_listener(struct listener *listener)
770{
771 HA_SPIN_LOCK(PROTO_LOCK, &proto_lock);
Willy Tarreau08b6f962022-02-01 16:23:00 +0100772 HA_RWLOCK_WRLOCK(LISTENER_LOCK, &listener->lock);
Willy Tarreaub4c083f2020-10-07 15:36:16 +0200773 __delete_listener(listener);
Willy Tarreau08b6f962022-02-01 16:23:00 +0100774 HA_RWLOCK_WRUNLOCK(LISTENER_LOCK, &listener->lock);
Willy Tarreau6ee9f8d2019-08-26 10:55:52 +0200775 HA_SPIN_UNLOCK(PROTO_LOCK, &proto_lock);
Willy Tarreau1a64d162007-10-28 22:26:05 +0100776}
777
Willy Tarreaue2711c72019-02-27 15:39:41 +0100778/* Returns a suitable value for a listener's backlog. It uses the listener's,
779 * otherwise the frontend's backlog, otherwise the listener's maxconn,
780 * otherwise the frontend's maxconn, otherwise 1024.
781 */
782int listener_backlog(const struct listener *l)
783{
784 if (l->backlog)
785 return l->backlog;
786
787 if (l->bind_conf->frontend->backlog)
788 return l->bind_conf->frontend->backlog;
789
790 if (l->maxconn)
791 return l->maxconn;
792
793 if (l->bind_conf->frontend->maxconn)
794 return l->bind_conf->frontend->maxconn;
795
796 return 1024;
797}
798
Willy Tarreaubbebbbf2012-05-07 21:22:09 +0200799/* This function is called on a read event from a listening socket, corresponding
800 * to an accept. It tries to accept as many connections as possible, and for each
801 * calls the listener's accept handler (generally the frontend's accept handler).
802 */
Willy Tarreaua74cb382020-10-15 21:29:49 +0200803void listener_accept(struct listener *l)
Willy Tarreaubbebbbf2012-05-07 21:22:09 +0200804{
Willy Tarreau83efc322020-10-14 17:37:17 +0200805 struct connection *cli_conn;
Olivier Houchardd16a9df2019-02-25 16:18:16 +0100806 struct proxy *p;
Christopher Faulet102854c2019-04-30 12:17:13 +0200807 unsigned int max_accept;
Willy Tarreau3f0d02b2019-02-25 19:23:37 +0100808 int next_conn = 0;
Willy Tarreau82c97892019-02-27 19:32:32 +0100809 int next_feconn = 0;
810 int next_actconn = 0;
Willy Tarreaubb660302014-05-07 19:47:02 +0200811 int expire;
Willy Tarreaubbebbbf2012-05-07 21:22:09 +0200812 int ret;
813
Olivier Houchardd16a9df2019-02-25 16:18:16 +0100814 p = l->bind_conf->frontend;
Christopher Faulet102854c2019-04-30 12:17:13 +0200815
816 /* if l->maxaccept is -1, then max_accept is UINT_MAX. It is not really
817 * illimited, but it is probably enough.
818 */
Olivier Houchardd16a9df2019-02-25 16:18:16 +0100819 max_accept = l->maxaccept ? l->maxaccept : 1;
Christopher Faulet8d8aa0d2017-05-30 15:36:50 +0200820
Willy Tarreau93e7c002013-10-07 18:51:07 +0200821 if (!(l->options & LI_O_UNLIMITED) && global.sps_lim) {
822 int max = freq_ctr_remain(&global.sess_per_sec, global.sps_lim, 0);
Willy Tarreau93e7c002013-10-07 18:51:07 +0200823
824 if (unlikely(!max)) {
825 /* frontend accept rate limit was reached */
Willy Tarreau93e7c002013-10-07 18:51:07 +0200826 expire = tick_add(now_ms, next_event_delay(&global.sess_per_sec, global.sps_lim, 0));
Willy Tarreau0591bf72019-12-10 12:01:21 +0100827 goto limit_global;
Willy Tarreau93e7c002013-10-07 18:51:07 +0200828 }
829
830 if (max_accept > max)
831 max_accept = max;
832 }
833
834 if (!(l->options & LI_O_UNLIMITED) && global.cps_lim) {
Willy Tarreaubbebbbf2012-05-07 21:22:09 +0200835 int max = freq_ctr_remain(&global.conn_per_sec, global.cps_lim, 0);
836
837 if (unlikely(!max)) {
838 /* frontend accept rate limit was reached */
Willy Tarreau93e7c002013-10-07 18:51:07 +0200839 expire = tick_add(now_ms, next_event_delay(&global.conn_per_sec, global.cps_lim, 0));
Willy Tarreau0591bf72019-12-10 12:01:21 +0100840 goto limit_global;
Willy Tarreaubbebbbf2012-05-07 21:22:09 +0200841 }
842
843 if (max_accept > max)
844 max_accept = max;
845 }
Willy Tarreaue43d5322013-10-07 20:01:52 +0200846#ifdef USE_OPENSSL
Willy Tarreau11ba4042022-05-20 15:56:32 +0200847 if (!(l->options & LI_O_UNLIMITED) && global.ssl_lim &&
848 l->bind_conf && l->bind_conf->options & BC_O_USE_SSL) {
Willy Tarreaue43d5322013-10-07 20:01:52 +0200849 int max = freq_ctr_remain(&global.ssl_per_sec, global.ssl_lim, 0);
Willy Tarreaubbebbbf2012-05-07 21:22:09 +0200850
Willy Tarreaue43d5322013-10-07 20:01:52 +0200851 if (unlikely(!max)) {
852 /* frontend accept rate limit was reached */
Willy Tarreaue43d5322013-10-07 20:01:52 +0200853 expire = tick_add(now_ms, next_event_delay(&global.ssl_per_sec, global.ssl_lim, 0));
Willy Tarreau0591bf72019-12-10 12:01:21 +0100854 goto limit_global;
Willy Tarreaue43d5322013-10-07 20:01:52 +0200855 }
856
857 if (max_accept > max)
858 max_accept = max;
859 }
860#endif
Willy Tarreaubbebbbf2012-05-07 21:22:09 +0200861 if (p && p->fe_sps_lim) {
862 int max = freq_ctr_remain(&p->fe_sess_per_sec, p->fe_sps_lim, 0);
863
864 if (unlikely(!max)) {
865 /* frontend accept rate limit was reached */
Willy Tarreau0591bf72019-12-10 12:01:21 +0100866 expire = tick_add(now_ms, next_event_delay(&p->fe_sess_per_sec, p->fe_sps_lim, 0));
867 goto limit_proxy;
Willy Tarreaubbebbbf2012-05-07 21:22:09 +0200868 }
869
870 if (max_accept > max)
871 max_accept = max;
872 }
873
874 /* Note: if we fail to allocate a connection because of configured
875 * limits, we'll schedule a new attempt worst 1 second later in the
876 * worst case. If we fail due to system limits or temporary resource
877 * shortage, we try again 100ms later in the worst case.
878 */
Willy Tarreau02757d02021-01-28 18:07:24 +0100879 for (; max_accept; next_conn = next_feconn = next_actconn = 0, max_accept--) {
Christopher Faulet8d8aa0d2017-05-30 15:36:50 +0200880 unsigned int count;
Willy Tarreau9378bbe2020-10-15 10:09:31 +0200881 int status;
Willy Tarreau0aa5a5b2020-10-16 17:43:04 +0200882 __decl_thread(unsigned long mask);
Willy Tarreaubbebbbf2012-05-07 21:22:09 +0200883
Willy Tarreau82c97892019-02-27 19:32:32 +0100884 /* pre-increase the number of connections without going too far.
885 * We process the listener, then the proxy, then the process.
886 * We know which ones to unroll based on the next_xxx value.
887 */
Willy Tarreau3f0d02b2019-02-25 19:23:37 +0100888 do {
889 count = l->nbconn;
Willy Tarreau93604ed2019-11-15 10:20:07 +0100890 if (unlikely(l->maxconn && count >= l->maxconn)) {
Willy Tarreau3f0d02b2019-02-25 19:23:37 +0100891 /* the listener was marked full or another
892 * thread is going to do it.
893 */
894 next_conn = 0;
Willy Tarreau93604ed2019-11-15 10:20:07 +0100895 listener_full(l);
Willy Tarreau3f0d02b2019-02-25 19:23:37 +0100896 goto end;
897 }
898 next_conn = count + 1;
David Carlier56716622019-03-27 16:08:42 +0000899 } while (!_HA_ATOMIC_CAS(&l->nbconn, (int *)(&count), next_conn));
Willy Tarreau3f0d02b2019-02-25 19:23:37 +0100900
Willy Tarreau82c97892019-02-27 19:32:32 +0100901 if (p) {
902 do {
903 count = p->feconn;
Willy Tarreau93604ed2019-11-15 10:20:07 +0100904 if (unlikely(count >= p->maxconn)) {
Willy Tarreau82c97892019-02-27 19:32:32 +0100905 /* the frontend was marked full or another
906 * thread is going to do it.
907 */
908 next_feconn = 0;
Willy Tarreau0591bf72019-12-10 12:01:21 +0100909 expire = TICK_ETERNITY;
910 goto limit_proxy;
Willy Tarreau82c97892019-02-27 19:32:32 +0100911 }
912 next_feconn = count + 1;
Olivier Houchard64213e92019-03-08 18:52:57 +0100913 } while (!_HA_ATOMIC_CAS(&p->feconn, &count, next_feconn));
Willy Tarreaubbebbbf2012-05-07 21:22:09 +0200914 }
915
Willy Tarreau82c97892019-02-27 19:32:32 +0100916 if (!(l->options & LI_O_UNLIMITED)) {
917 do {
918 count = actconn;
Willy Tarreau93604ed2019-11-15 10:20:07 +0100919 if (unlikely(count >= global.maxconn)) {
Willy Tarreau82c97892019-02-27 19:32:32 +0100920 /* the process was marked full or another
921 * thread is going to do it.
922 */
923 next_actconn = 0;
Willy Tarreau0591bf72019-12-10 12:01:21 +0100924 expire = tick_add(now_ms, 1000); /* try again in 1 second */
925 goto limit_global;
Willy Tarreau82c97892019-02-27 19:32:32 +0100926 }
927 next_actconn = count + 1;
David Carlier56716622019-03-27 16:08:42 +0000928 } while (!_HA_ATOMIC_CAS(&actconn, (int *)(&count), next_actconn));
Willy Tarreaubbebbbf2012-05-07 21:22:09 +0200929 }
930
Willy Tarreaufed93d32022-02-01 16:37:00 +0100931 /* be careful below, the listener might be shutting down in
932 * another thread on error and we must not dereference its
933 * FD without a bit of protection.
934 */
935 cli_conn = NULL;
936 status = CO_AC_PERMERR;
937
938 HA_RWLOCK_RDLOCK(LISTENER_LOCK, &l->lock);
939 if (l->rx.flags & RX_F_BOUND)
940 cli_conn = l->rx.proto->accept_conn(l, &status);
941 HA_RWLOCK_RDUNLOCK(LISTENER_LOCK, &l->lock);
942
Willy Tarreau9378bbe2020-10-15 10:09:31 +0200943 if (!cli_conn) {
944 switch (status) {
945 case CO_AC_DONE:
946 goto end;
Willy Tarreau818dca52014-01-31 19:40:19 +0100947
Willy Tarreau9378bbe2020-10-15 10:09:31 +0200948 case CO_AC_RETRY: /* likely a signal */
Willy Tarreau4781b152021-04-06 13:53:36 +0200949 _HA_ATOMIC_DEC(&l->nbconn);
Willy Tarreau82c97892019-02-27 19:32:32 +0100950 if (p)
Willy Tarreau4781b152021-04-06 13:53:36 +0200951 _HA_ATOMIC_DEC(&p->feconn);
Willy Tarreau82c97892019-02-27 19:32:32 +0100952 if (!(l->options & LI_O_UNLIMITED))
Willy Tarreau4781b152021-04-06 13:53:36 +0200953 _HA_ATOMIC_DEC(&actconn);
Willy Tarreaua593ec52014-01-20 21:21:30 +0100954 continue;
Willy Tarreau9378bbe2020-10-15 10:09:31 +0200955
956 case CO_AC_YIELD:
Willy Tarreau92079932019-12-10 09:30:05 +0100957 max_accept = 0;
958 goto end;
William Lallemandd9138002018-11-27 12:02:39 +0100959
Willy Tarreau9378bbe2020-10-15 10:09:31 +0200960 default:
961 goto transient_error;
Willy Tarreau83efc322020-10-14 17:37:17 +0200962 }
963 }
964
Willy Tarreau3f0d02b2019-02-25 19:23:37 +0100965 /* The connection was accepted, it must be counted as such */
966 if (l->counters)
967 HA_ATOMIC_UPDATE_MAX(&l->counters->conn_max, next_conn);
968
Willy Tarreaud8679342022-05-09 20:41:54 +0200969 if (p) {
Willy Tarreau82c97892019-02-27 19:32:32 +0100970 HA_ATOMIC_UPDATE_MAX(&p->fe_counters.conn_max, next_feconn);
Willy Tarreaud8679342022-05-09 20:41:54 +0200971 proxy_inc_fe_conn_ctr(l, p);
972 }
Willy Tarreau82c97892019-02-27 19:32:32 +0100973
Willy Tarreau3f0d02b2019-02-25 19:23:37 +0100974 if (!(l->options & LI_O_UNLIMITED)) {
975 count = update_freq_ctr(&global.conn_per_sec, 1);
976 HA_ATOMIC_UPDATE_MAX(&global.cps_max, count);
Willy Tarreau3f0d02b2019-02-25 19:23:37 +0100977 }
978
Willy Tarreau4781b152021-04-06 13:53:36 +0200979 _HA_ATOMIC_INC(&activity[tid].accepted);
Willy Tarreau64a9c052019-04-12 15:27:17 +0200980
Willy Tarreau3f0d02b2019-02-25 19:23:37 +0100981 /* past this point, l->accept() will automatically decrement
Willy Tarreau82c97892019-02-27 19:32:32 +0100982 * l->nbconn, feconn and actconn once done. Setting next_*conn=0
983 * allows the error path not to rollback on nbconn. It's more
984 * convenient than duplicating all exit labels.
Willy Tarreau3f0d02b2019-02-25 19:23:37 +0100985 */
986 next_conn = 0;
Willy Tarreau82c97892019-02-27 19:32:32 +0100987 next_feconn = 0;
988 next_actconn = 0;
Willy Tarreaubbebbbf2012-05-07 21:22:09 +0200989
Willy Tarreau83efc322020-10-14 17:37:17 +0200990
Willy Tarreaue0e9c482019-01-27 15:37:19 +0100991#if defined(USE_THREAD)
Amaury Denoyelle7f7713d2022-01-19 11:37:50 +0100992 if (l->rx.flags & RX_F_LOCAL_ACCEPT)
993 goto local_accept;
994
Willy Tarreaud0b73bc2022-06-28 08:30:43 +0200995 mask = l->rx.bind_thread & tg->threads_enabled;
Willy Tarreaua7da5e82020-03-12 17:33:29 +0100996 if (atleast2(mask) && (global.tune.options & GTUNE_LISTENER_MQ) && !stopping) {
Willy Tarreaue0e9c482019-01-27 15:37:19 +0100997 struct accept_queue_ring *ring;
Willy Tarreau0fe703b2019-03-05 08:46:28 +0100998 unsigned int t, t0, t1, t2;
Willy Tarreaud0b73bc2022-06-28 08:30:43 +0200999 int base = tg->base;
Willy Tarreaufc630bd2019-03-04 19:57:34 +01001000
Willy Tarreau0fe703b2019-03-05 08:46:28 +01001001 /* The principle is that we have two running indexes,
1002 * each visiting in turn all threads bound to this
1003 * listener. The connection will be assigned to the one
1004 * with the least connections, and the other one will
1005 * be updated. This provides a good fairness on short
Willy Tarreaufc630bd2019-03-04 19:57:34 +01001006 * connections (round robin) and on long ones (conn
Willy Tarreau0fe703b2019-03-05 08:46:28 +01001007 * count), without ever missing any idle thread.
Willy Tarreaufc630bd2019-03-04 19:57:34 +01001008 */
Willy Tarreau0fe703b2019-03-05 08:46:28 +01001009
1010 /* keep a copy for the final update. thr_idx is composite
1011 * and made of (t2<<16) + t1.
1012 */
Willy Tarreau0cf33172019-03-06 15:26:33 +01001013 t0 = l->thr_idx;
Willy Tarreaufc630bd2019-03-04 19:57:34 +01001014 do {
Willy Tarreau0fe703b2019-03-05 08:46:28 +01001015 unsigned long m1, m2;
1016 int q1, q2;
1017
1018 t2 = t1 = t0;
1019 t2 >>= 16;
1020 t1 &= 0xFFFF;
1021
1022 /* t1 walks low to high bits ;
1023 * t2 walks high to low.
1024 */
1025 m1 = mask >> t1;
1026 m2 = mask & (t2 ? nbits(t2 + 1) : ~0UL);
1027
Willy Tarreau85d04242019-04-16 18:09:13 +02001028 if (unlikely(!(m1 & 1))) {
Willy Tarreau0fe703b2019-03-05 08:46:28 +01001029 m1 &= ~1UL;
1030 if (!m1) {
1031 m1 = mask;
1032 t1 = 0;
1033 }
1034 t1 += my_ffsl(m1) - 1;
1035 }
Willy Tarreaue0e9c482019-01-27 15:37:19 +01001036
Willy Tarreau85d04242019-04-16 18:09:13 +02001037 if (unlikely(!(m2 & (1UL << t2)) || t1 == t2)) {
1038 /* highest bit not set */
1039 if (!m2)
1040 m2 = mask;
1041
1042 t2 = my_flsl(m2) - 1;
1043 }
1044
Willy Tarreau0fe703b2019-03-05 08:46:28 +01001045 /* now we have two distinct thread IDs belonging to the mask */
Willy Tarreaud0b73bc2022-06-28 08:30:43 +02001046 q1 = accept_queue_rings[base + t1].tail - accept_queue_rings[base + t1].head + ACCEPT_QUEUE_SIZE;
Willy Tarreau0fe703b2019-03-05 08:46:28 +01001047 if (q1 >= ACCEPT_QUEUE_SIZE)
1048 q1 -= ACCEPT_QUEUE_SIZE;
Willy Tarreaue0e9c482019-01-27 15:37:19 +01001049
Willy Tarreaud0b73bc2022-06-28 08:30:43 +02001050 q2 = accept_queue_rings[base + t2].tail - accept_queue_rings[base + t2].head + ACCEPT_QUEUE_SIZE;
Willy Tarreau0fe703b2019-03-05 08:46:28 +01001051 if (q2 >= ACCEPT_QUEUE_SIZE)
1052 q2 -= ACCEPT_QUEUE_SIZE;
Willy Tarreaue0e9c482019-01-27 15:37:19 +01001053
Willy Tarreau0fe703b2019-03-05 08:46:28 +01001054 /* we have 3 possibilities now :
1055 * q1 < q2 : t1 is less loaded than t2, so we pick it
1056 * and update t2 (since t1 might still be
1057 * lower than another thread)
1058 * q1 > q2 : t2 is less loaded than t1, so we pick it
1059 * and update t1 (since t2 might still be
1060 * lower than another thread)
1061 * q1 = q2 : both are equally loaded, thus we pick t1
1062 * and update t1 as it will become more loaded
1063 * than t2.
1064 */
Willy Tarreaue0e9c482019-01-27 15:37:19 +01001065
Willy Tarreaud0b73bc2022-06-28 08:30:43 +02001066 q1 += l->thr_conn[base + t1];
1067 q2 += l->thr_conn[base + t2];
Willy Tarreaue0e9c482019-01-27 15:37:19 +01001068
Willy Tarreau0fe703b2019-03-05 08:46:28 +01001069 if (q1 - q2 < 0) {
1070 t = t1;
1071 t2 = t2 ? t2 - 1 : LONGBITS - 1;
1072 }
1073 else if (q1 - q2 > 0) {
1074 t = t2;
1075 t1++;
1076 if (t1 >= LONGBITS)
1077 t1 = 0;
1078 }
1079 else {
1080 t = t1;
1081 t1++;
1082 if (t1 >= LONGBITS)
1083 t1 = 0;
1084 }
Willy Tarreaue0e9c482019-01-27 15:37:19 +01001085
Willy Tarreau0fe703b2019-03-05 08:46:28 +01001086 /* new value for thr_idx */
1087 t1 += (t2 << 16);
Olivier Houchard64213e92019-03-08 18:52:57 +01001088 } while (unlikely(!_HA_ATOMIC_CAS(&l->thr_idx, &t0, t1)));
Willy Tarreaue0e9c482019-01-27 15:37:19 +01001089
Willy Tarreau0fe703b2019-03-05 08:46:28 +01001090 /* We successfully selected the best thread "t" for this
1091 * connection. We use deferred accepts even if it's the
1092 * local thread because tests show that it's the best
1093 * performing model, likely due to better cache locality
1094 * when processing this loop.
Willy Tarreaue0e9c482019-01-27 15:37:19 +01001095 */
Willy Tarreaud0b73bc2022-06-28 08:30:43 +02001096 ring = &accept_queue_rings[base + t];
Willy Tarreau83efc322020-10-14 17:37:17 +02001097 if (accept_queue_push_mp(ring, cli_conn)) {
Willy Tarreaud0b73bc2022-06-28 08:30:43 +02001098 _HA_ATOMIC_INC(&activity[base + t].accq_pushed);
Willy Tarreau2bd65a72019-09-24 06:55:18 +02001099 tasklet_wakeup(ring->tasklet);
Willy Tarreaue0e9c482019-01-27 15:37:19 +01001100 continue;
1101 }
1102 /* If the ring is full we do a synchronous accept on
1103 * the local thread here.
Willy Tarreaue0e9c482019-01-27 15:37:19 +01001104 */
Willy Tarreaud0b73bc2022-06-28 08:30:43 +02001105 _HA_ATOMIC_INC(&activity[base + t].accq_full);
Willy Tarreaue0e9c482019-01-27 15:37:19 +01001106 }
1107#endif // USE_THREAD
1108
Amaury Denoyelle7f7713d2022-01-19 11:37:50 +01001109 local_accept:
Willy Tarreau4781b152021-04-06 13:53:36 +02001110 _HA_ATOMIC_INC(&l->thr_conn[tid]);
Willy Tarreau83efc322020-10-14 17:37:17 +02001111 ret = l->accept(cli_conn);
Willy Tarreaubbebbbf2012-05-07 21:22:09 +02001112 if (unlikely(ret <= 0)) {
Willy Tarreau87b09662015-04-03 00:22:06 +02001113 /* The connection was closed by stream_accept(). Either
Willy Tarreaubbebbbf2012-05-07 21:22:09 +02001114 * we just have to ignore it (ret == 0) or it's a critical
1115 * error due to a resource shortage, and we must stop the
1116 * listener (ret < 0).
1117 */
Willy Tarreaubbebbbf2012-05-07 21:22:09 +02001118 if (ret == 0) /* successful termination */
1119 continue;
1120
Willy Tarreaubb660302014-05-07 19:47:02 +02001121 goto transient_error;
Willy Tarreaubbebbbf2012-05-07 21:22:09 +02001122 }
1123
Willy Tarreau3f0d02b2019-02-25 19:23:37 +01001124 /* increase the per-process number of cumulated sessions, this
1125 * may only be done once l->accept() has accepted the connection.
1126 */
Willy Tarreau93e7c002013-10-07 18:51:07 +02001127 if (!(l->options & LI_O_UNLIMITED)) {
Christopher Faulet8d8aa0d2017-05-30 15:36:50 +02001128 count = update_freq_ctr(&global.sess_per_sec, 1);
1129 HA_ATOMIC_UPDATE_MAX(&global.sps_max, count);
Willy Tarreau93e7c002013-10-07 18:51:07 +02001130 }
Willy Tarreaue43d5322013-10-07 20:01:52 +02001131#ifdef USE_OPENSSL
Willy Tarreau11ba4042022-05-20 15:56:32 +02001132 if (!(l->options & LI_O_UNLIMITED) &&
1133 l->bind_conf && l->bind_conf->options & BC_O_USE_SSL) {
Christopher Faulet8d8aa0d2017-05-30 15:36:50 +02001134 count = update_freq_ctr(&global.ssl_per_sec, 1);
1135 HA_ATOMIC_UPDATE_MAX(&global.ssl_max, count);
Willy Tarreaue43d5322013-10-07 20:01:52 +02001136 }
1137#endif
Willy Tarreau93e7c002013-10-07 18:51:07 +02001138
Willy Tarreaubdcd3252022-06-22 09:19:46 +02001139 _HA_ATOMIC_AND(&th_ctx->flags, ~TH_FL_STUCK); // this thread is still running
Willy Tarreau3f0d02b2019-02-25 19:23:37 +01001140 } /* end of for (max_accept--) */
Willy Tarreaubbebbbf2012-05-07 21:22:09 +02001141
Christopher Faulet8d8aa0d2017-05-30 15:36:50 +02001142 end:
Willy Tarreau3f0d02b2019-02-25 19:23:37 +01001143 if (next_conn)
Willy Tarreau4781b152021-04-06 13:53:36 +02001144 _HA_ATOMIC_DEC(&l->nbconn);
Willy Tarreau741b4d62019-02-25 15:02:04 +01001145
Willy Tarreau82c97892019-02-27 19:32:32 +01001146 if (p && next_feconn)
Willy Tarreau4781b152021-04-06 13:53:36 +02001147 _HA_ATOMIC_DEC(&p->feconn);
Willy Tarreau82c97892019-02-27 19:32:32 +01001148
1149 if (next_actconn)
Willy Tarreau4781b152021-04-06 13:53:36 +02001150 _HA_ATOMIC_DEC(&actconn);
Willy Tarreau82c97892019-02-27 19:32:32 +01001151
Willy Tarreaua8cf66b2019-02-27 16:49:00 +01001152 if ((l->state == LI_FULL && (!l->maxconn || l->nbconn < l->maxconn)) ||
Willy Tarreau02757d02021-01-28 18:07:24 +01001153 (l->state == LI_LIMITED &&
Willy Tarreaucdcba112019-12-11 15:06:30 +01001154 ((!p || p->feconn < p->maxconn) && (actconn < global.maxconn) &&
1155 (!tick_isset(global_listener_queue_task->expire) ||
1156 tick_is_expired(global_listener_queue_task->expire, now_ms))))) {
Willy Tarreau3f0d02b2019-02-25 19:23:37 +01001157 /* at least one thread has to this when quitting */
1158 resume_listener(l);
1159
Willy Tarreau02757d02021-01-28 18:07:24 +01001160 /* Dequeues all of the listeners waiting for a resource */
Willy Tarreau241797a2019-12-10 14:10:52 +01001161 dequeue_all_listeners();
Willy Tarreau3f0d02b2019-02-25 19:23:37 +01001162
Olivier Houchard859dc802019-08-08 15:47:21 +02001163 if (p && !MT_LIST_ISEMPTY(&p->listener_queue) &&
Willy Tarreau3f0d02b2019-02-25 19:23:37 +01001164 (!p->fe_sps_lim || freq_ctr_remain(&p->fe_sess_per_sec, p->fe_sps_lim, 0) > 0))
Willy Tarreau241797a2019-12-10 14:10:52 +01001165 dequeue_proxy_listeners(p);
Willy Tarreau3f0d02b2019-02-25 19:23:37 +01001166 }
Willy Tarreau0591bf72019-12-10 12:01:21 +01001167 return;
1168
1169 transient_error:
1170 /* pause the listener for up to 100 ms */
1171 expire = tick_add(now_ms, 100);
1172
Willy Tarreau258b3512020-10-13 17:46:05 +02001173 /* This may be a shared socket that was paused by another process.
1174 * Let's put it to pause in this case.
1175 */
1176 if (l->rx.proto && l->rx.proto->rx_listening(&l->rx) == 0) {
1177 pause_listener(l);
1178 goto end;
1179 }
1180
Willy Tarreau0591bf72019-12-10 12:01:21 +01001181 limit_global:
1182 /* (re-)queue the listener to the global queue and set it to expire no
1183 * later than <expire> ahead. The listener turns to LI_LIMITED.
1184 */
1185 limit_listener(l, &global_listener_queue);
1186 task_schedule(global_listener_queue_task, expire);
1187 goto end;
1188
1189 limit_proxy:
1190 /* (re-)queue the listener to the proxy's queue and set it to expire no
1191 * later than <expire> ahead. The listener turns to LI_LIMITED.
1192 */
1193 limit_listener(l, &p->listener_queue);
Willy Tarreaueeea8082020-01-08 19:15:07 +01001194 if (p->task && tick_isset(expire))
1195 task_schedule(p->task, expire);
Willy Tarreau0591bf72019-12-10 12:01:21 +01001196 goto end;
Willy Tarreaubbebbbf2012-05-07 21:22:09 +02001197}
1198
Willy Tarreau05f50472017-09-15 09:19:58 +02001199/* Notify the listener that a connection initiated from it was released. This
1200 * is used to keep the connection count consistent and to possibly re-open
1201 * listening when it was limited.
1202 */
1203void listener_release(struct listener *l)
1204{
1205 struct proxy *fe = l->bind_conf->frontend;
1206
1207 if (!(l->options & LI_O_UNLIMITED))
Willy Tarreau4781b152021-04-06 13:53:36 +02001208 _HA_ATOMIC_DEC(&actconn);
Willy Tarreau82c97892019-02-27 19:32:32 +01001209 if (fe)
Willy Tarreau4781b152021-04-06 13:53:36 +02001210 _HA_ATOMIC_DEC(&fe->feconn);
1211 _HA_ATOMIC_DEC(&l->nbconn);
1212 _HA_ATOMIC_DEC(&l->thr_conn[tid]);
Willy Tarreau82c97892019-02-27 19:32:32 +01001213
1214 if (l->state == LI_FULL || l->state == LI_LIMITED)
Willy Tarreau05f50472017-09-15 09:19:58 +02001215 resume_listener(l);
1216
Willy Tarreau02757d02021-01-28 18:07:24 +01001217 /* Dequeues all of the listeners waiting for a resource */
1218 dequeue_all_listeners();
1219
Olivier Houchard859dc802019-08-08 15:47:21 +02001220 if (!MT_LIST_ISEMPTY(&fe->listener_queue) &&
Willy Tarreau05f50472017-09-15 09:19:58 +02001221 (!fe->fe_sps_lim || freq_ctr_remain(&fe->fe_sess_per_sec, fe->fe_sps_lim, 0) > 0))
Willy Tarreau241797a2019-12-10 14:10:52 +01001222 dequeue_proxy_listeners(fe);
Willy Tarreau05f50472017-09-15 09:19:58 +02001223}
1224
Willy Tarreauf2cb1692019-07-11 10:08:31 +02001225/* Initializes the listener queues. Returns 0 on success, otherwise ERR_* flags */
1226static int listener_queue_init()
1227{
Willy Tarreaubeeabf52021-10-01 18:23:30 +02001228 global_listener_queue_task = task_new_anywhere();
Willy Tarreaua1d97f82019-12-10 11:18:41 +01001229 if (!global_listener_queue_task) {
1230 ha_alert("Out of memory when initializing global listener queue\n");
1231 return ERR_FATAL|ERR_ABORT;
1232 }
1233 /* very simple initialization, users will queue the task if needed */
1234 global_listener_queue_task->context = NULL; /* not even a context! */
1235 global_listener_queue_task->process = manage_global_listener_queue;
1236
Willy Tarreauf2cb1692019-07-11 10:08:31 +02001237 return 0;
1238}
1239
1240static void listener_queue_deinit()
1241{
Willy Tarreaua1d97f82019-12-10 11:18:41 +01001242 task_destroy(global_listener_queue_task);
1243 global_listener_queue_task = NULL;
Willy Tarreauf2cb1692019-07-11 10:08:31 +02001244}
1245
1246REGISTER_CONFIG_POSTPARSER("multi-threaded listener queue", listener_queue_init);
1247REGISTER_POST_DEINIT(listener_queue_deinit);
1248
Willy Tarreaua1d97f82019-12-10 11:18:41 +01001249
1250/* This is the global management task for listeners. It enables listeners waiting
1251 * for global resources when there are enough free resource, or at least once in
Willy Tarreaud597ec22021-01-29 14:29:06 +01001252 * a while. It is designed to be called as a task. It's exported so that it's easy
1253 * to spot in "show tasks" or "show profiling".
Willy Tarreaua1d97f82019-12-10 11:18:41 +01001254 */
Willy Tarreau144f84a2021-03-02 16:09:26 +01001255struct task *manage_global_listener_queue(struct task *t, void *context, unsigned int state)
Willy Tarreaua1d97f82019-12-10 11:18:41 +01001256{
1257 /* If there are still too many concurrent connections, let's wait for
1258 * some of them to go away. We don't need to re-arm the timer because
1259 * each of them will scan the queue anyway.
1260 */
1261 if (unlikely(actconn >= global.maxconn))
1262 goto out;
1263
1264 /* We should periodically try to enable listeners waiting for a global
1265 * resource here, because it is possible, though very unlikely, that
1266 * they have been blocked by a temporary lack of global resource such
1267 * as a file descriptor or memory and that the temporary condition has
1268 * disappeared.
1269 */
1270 dequeue_all_listeners();
1271
1272 out:
1273 t->expire = TICK_ETERNITY;
1274 task_queue(t);
1275 return t;
1276}
1277
Willy Tarreau26982662012-09-12 23:17:10 +02001278/*
1279 * Registers the bind keyword list <kwl> as a list of valid keywords for next
1280 * parsing sessions.
1281 */
1282void bind_register_keywords(struct bind_kw_list *kwl)
1283{
Willy Tarreau2b718102021-04-21 07:32:39 +02001284 LIST_APPEND(&bind_keywords.list, &kwl->list);
Willy Tarreau26982662012-09-12 23:17:10 +02001285}
1286
1287/* Return a pointer to the bind keyword <kw>, or NULL if not found. If the
1288 * keyword is found with a NULL ->parse() function, then an attempt is made to
1289 * find one with a valid ->parse() function. This way it is possible to declare
1290 * platform-dependant, known keywords as NULL, then only declare them as valid
1291 * if some options are met. Note that if the requested keyword contains an
1292 * opening parenthesis, everything from this point is ignored.
1293 */
1294struct bind_kw *bind_find_kw(const char *kw)
1295{
1296 int index;
1297 const char *kwend;
1298 struct bind_kw_list *kwl;
1299 struct bind_kw *ret = NULL;
1300
1301 kwend = strchr(kw, '(');
1302 if (!kwend)
1303 kwend = kw + strlen(kw);
1304
1305 list_for_each_entry(kwl, &bind_keywords.list, list) {
1306 for (index = 0; kwl->kw[index].kw != NULL; index++) {
1307 if ((strncmp(kwl->kw[index].kw, kw, kwend - kw) == 0) &&
1308 kwl->kw[index].kw[kwend-kw] == 0) {
1309 if (kwl->kw[index].parse)
1310 return &kwl->kw[index]; /* found it !*/
1311 else
1312 ret = &kwl->kw[index]; /* may be OK */
1313 }
1314 }
1315 }
1316 return ret;
1317}
1318
Willy Tarreau8638f482012-09-18 18:01:17 +02001319/* Dumps all registered "bind" keywords to the <out> string pointer. The
1320 * unsupported keywords are only dumped if their supported form was not
1321 * found.
1322 */
1323void bind_dump_kws(char **out)
1324{
1325 struct bind_kw_list *kwl;
1326 int index;
1327
Christopher Faulet784063e2020-05-18 12:14:18 +02001328 if (!out)
1329 return;
1330
Willy Tarreau8638f482012-09-18 18:01:17 +02001331 *out = NULL;
1332 list_for_each_entry(kwl, &bind_keywords.list, list) {
1333 for (index = 0; kwl->kw[index].kw != NULL; index++) {
1334 if (kwl->kw[index].parse ||
1335 bind_find_kw(kwl->kw[index].kw) == &kwl->kw[index]) {
Willy Tarreau51fb7652012-09-18 18:24:39 +02001336 memprintf(out, "%s[%4s] %s%s%s\n", *out ? *out : "",
1337 kwl->scope,
Willy Tarreau8638f482012-09-18 18:01:17 +02001338 kwl->kw[index].kw,
Willy Tarreau51fb7652012-09-18 18:24:39 +02001339 kwl->kw[index].skip ? " <arg>" : "",
1340 kwl->kw[index].parse ? "" : " (not supported)");
Willy Tarreau8638f482012-09-18 18:01:17 +02001341 }
1342 }
1343 }
1344}
1345
Willy Tarreau433b05f2021-03-12 10:14:07 +01001346/* Try to find in srv_keyword the word that looks closest to <word> by counting
1347 * transitions between letters, digits and other characters. Will return the
1348 * best matching word if found, otherwise NULL.
1349 */
1350const char *bind_find_best_kw(const char *word)
1351{
1352 uint8_t word_sig[1024];
1353 uint8_t list_sig[1024];
1354 const struct bind_kw_list *kwl;
1355 const char *best_ptr = NULL;
1356 int dist, best_dist = INT_MAX;
1357 int index;
1358
1359 make_word_fingerprint(word_sig, word);
1360 list_for_each_entry(kwl, &bind_keywords.list, list) {
1361 for (index = 0; kwl->kw[index].kw != NULL; index++) {
1362 make_word_fingerprint(list_sig, kwl->kw[index].kw);
1363 dist = word_fingerprint_distance(word_sig, list_sig);
1364 if (dist < best_dist) {
1365 best_dist = dist;
1366 best_ptr = kwl->kw[index].kw;
1367 }
1368 }
1369 }
1370
1371 if (best_dist > 2 * strlen(word) || (best_ptr && best_dist > 2 * strlen(best_ptr)))
1372 best_ptr = NULL;
1373
1374 return best_ptr;
1375}
1376
Willy Tarreaudbf78022021-10-06 09:05:08 +02001377/* allocate an bind_conf struct for a bind line, and chain it to the frontend <fe>.
1378 * If <arg> is not NULL, it is duplicated into ->arg to store useful config
1379 * information for error reporting. NULL is returned on error.
1380 */
1381struct bind_conf *bind_conf_alloc(struct proxy *fe, const char *file,
1382 int line, const char *arg, struct xprt_ops *xprt)
1383{
1384 struct bind_conf *bind_conf = calloc(1, sizeof(*bind_conf));
1385
1386 if (!bind_conf)
1387 goto err;
1388
1389 bind_conf->file = strdup(file);
1390 if (!bind_conf->file)
1391 goto err;
1392 bind_conf->line = line;
1393 if (arg) {
1394 bind_conf->arg = strdup(arg);
1395 if (!bind_conf->arg)
1396 goto err;
1397 }
1398
1399 LIST_APPEND(&fe->conf.bind, &bind_conf->by_fe);
1400 bind_conf->settings.ux.uid = -1;
1401 bind_conf->settings.ux.gid = -1;
1402 bind_conf->settings.ux.mode = 0;
Willy Tarreau6dfbef42021-10-12 15:23:03 +02001403 bind_conf->settings.shards = 1;
Willy Tarreaudbf78022021-10-06 09:05:08 +02001404 bind_conf->xprt = xprt;
1405 bind_conf->frontend = fe;
1406 bind_conf->severity_output = CLI_SEVERITY_NONE;
1407#ifdef USE_OPENSSL
1408 HA_RWLOCK_INIT(&bind_conf->sni_lock);
1409 bind_conf->sni_ctx = EB_ROOT;
1410 bind_conf->sni_w_ctx = EB_ROOT;
1411#endif
1412 LIST_INIT(&bind_conf->listeners);
1413 return bind_conf;
1414
1415 err:
1416 if (bind_conf) {
1417 ha_free(&bind_conf->file);
1418 ha_free(&bind_conf->arg);
1419 }
1420 ha_free(&bind_conf);
1421 return NULL;
1422}
1423
1424const char *listener_state_str(const struct listener *l)
1425{
1426 static const char *states[8] = {
1427 "NEW", "INI", "ASS", "PAU", "LIS", "RDY", "FUL", "LIM",
1428 };
1429 unsigned int st = l->state;
1430
1431 if (st >= sizeof(states) / sizeof(*states))
1432 return "INVALID";
1433 return states[st];
1434}
1435
Willy Tarreau645513a2010-05-24 20:55:15 +02001436/************************************************************************/
Willy Tarreau0ccb7442013-01-07 22:54:17 +01001437/* All supported sample and ACL keywords must be declared here. */
Willy Tarreau645513a2010-05-24 20:55:15 +02001438/************************************************************************/
1439
Willy Tarreaua5e37562011-12-16 17:06:15 +01001440/* set temp integer to the number of connexions to the same listening socket */
Willy Tarreau645513a2010-05-24 20:55:15 +02001441static int
Thierry FOURNIER0786d052015-05-11 15:42:45 +02001442smp_fetch_dconn(const struct arg *args, struct sample *smp, const char *kw, void *private)
Willy Tarreau645513a2010-05-24 20:55:15 +02001443{
Thierry FOURNIER8c542ca2015-08-19 09:00:18 +02001444 smp->data.type = SMP_T_SINT;
Thierry FOURNIER136f9d32015-08-19 09:07:19 +02001445 smp->data.u.sint = smp->sess->listener->nbconn;
Willy Tarreau645513a2010-05-24 20:55:15 +02001446 return 1;
1447}
1448
Willy Tarreaua5e37562011-12-16 17:06:15 +01001449/* set temp integer to the id of the socket (listener) */
Willy Tarreau645513a2010-05-24 20:55:15 +02001450static int
Thierry FOURNIER0786d052015-05-11 15:42:45 +02001451smp_fetch_so_id(const struct arg *args, struct sample *smp, const char *kw, void *private)
Willy Tarreau37406352012-04-23 16:16:37 +02001452{
Thierry FOURNIER8c542ca2015-08-19 09:00:18 +02001453 smp->data.type = SMP_T_SINT;
Thierry FOURNIER136f9d32015-08-19 09:07:19 +02001454 smp->data.u.sint = smp->sess->listener->luid;
Willy Tarreau645513a2010-05-24 20:55:15 +02001455 return 1;
1456}
Jerome Magnineb421b22020-03-27 22:08:40 +01001457static int
1458smp_fetch_so_name(const struct arg *args, struct sample *smp, const char *kw, void *private)
1459{
1460 smp->data.u.str.area = smp->sess->listener->name;
1461 if (!smp->data.u.str.area)
1462 return 0;
1463
1464 smp->data.type = SMP_T_STR;
1465 smp->flags = SMP_F_CONST;
1466 smp->data.u.str.data = strlen(smp->data.u.str.area);
1467 return 1;
1468}
Willy Tarreau645513a2010-05-24 20:55:15 +02001469
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001470/* parse the "accept-proxy" bind keyword */
Willy Tarreau4348fad2012-09-20 16:48:07 +02001471static int bind_parse_accept_proxy(char **args, int cur_arg, struct proxy *px, struct bind_conf *conf, char **err)
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001472{
1473 struct listener *l;
1474
Willy Tarreau4348fad2012-09-20 16:48:07 +02001475 list_for_each_entry(l, &conf->listeners, by_bind)
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001476 l->options |= LI_O_ACC_PROXY;
1477
1478 return 0;
1479}
1480
Bertrand Jacquin93b227d2016-06-04 15:11:10 +01001481/* parse the "accept-netscaler-cip" bind keyword */
1482static int bind_parse_accept_netscaler_cip(char **args, int cur_arg, struct proxy *px, struct bind_conf *conf, char **err)
1483{
1484 struct listener *l;
1485 uint32_t val;
1486
1487 if (!*args[cur_arg + 1]) {
1488 memprintf(err, "'%s' : missing value", args[cur_arg]);
1489 return ERR_ALERT | ERR_FATAL;
1490 }
1491
1492 val = atol(args[cur_arg + 1]);
1493 if (val <= 0) {
Willy Tarreaue2711c72019-02-27 15:39:41 +01001494 memprintf(err, "'%s' : invalid value %d, must be >= 0", args[cur_arg], val);
Bertrand Jacquin93b227d2016-06-04 15:11:10 +01001495 return ERR_ALERT | ERR_FATAL;
1496 }
1497
1498 list_for_each_entry(l, &conf->listeners, by_bind) {
1499 l->options |= LI_O_ACC_CIP;
1500 conf->ns_cip_magic = val;
1501 }
1502
1503 return 0;
1504}
1505
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001506/* parse the "backlog" bind keyword */
Willy Tarreau4348fad2012-09-20 16:48:07 +02001507static int bind_parse_backlog(char **args, int cur_arg, struct proxy *px, struct bind_conf *conf, char **err)
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001508{
1509 struct listener *l;
1510 int val;
1511
1512 if (!*args[cur_arg + 1]) {
Willy Tarreaueb6cead2012-09-20 19:43:14 +02001513 memprintf(err, "'%s' : missing value", args[cur_arg]);
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001514 return ERR_ALERT | ERR_FATAL;
1515 }
1516
1517 val = atol(args[cur_arg + 1]);
Willy Tarreaue2711c72019-02-27 15:39:41 +01001518 if (val < 0) {
Willy Tarreaueb6cead2012-09-20 19:43:14 +02001519 memprintf(err, "'%s' : invalid value %d, must be > 0", args[cur_arg], val);
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001520 return ERR_ALERT | ERR_FATAL;
1521 }
1522
Willy Tarreau4348fad2012-09-20 16:48:07 +02001523 list_for_each_entry(l, &conf->listeners, by_bind)
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001524 l->backlog = val;
1525
1526 return 0;
1527}
1528
1529/* parse the "id" bind keyword */
Willy Tarreau4348fad2012-09-20 16:48:07 +02001530static int bind_parse_id(char **args, int cur_arg, struct proxy *px, struct bind_conf *conf, char **err)
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001531{
1532 struct eb32_node *node;
Willy Tarreau4348fad2012-09-20 16:48:07 +02001533 struct listener *l, *new;
Thierry Fourniere7fe8eb2016-02-26 08:45:58 +01001534 char *error;
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001535
Willy Tarreau4348fad2012-09-20 16:48:07 +02001536 if (conf->listeners.n != conf->listeners.p) {
Willy Tarreaueb6cead2012-09-20 19:43:14 +02001537 memprintf(err, "'%s' can only be used with a single socket", args[cur_arg]);
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001538 return ERR_ALERT | ERR_FATAL;
1539 }
1540
1541 if (!*args[cur_arg + 1]) {
Willy Tarreaueb6cead2012-09-20 19:43:14 +02001542 memprintf(err, "'%s' : expects an integer argument", args[cur_arg]);
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001543 return ERR_ALERT | ERR_FATAL;
1544 }
1545
Willy Tarreau4348fad2012-09-20 16:48:07 +02001546 new = LIST_NEXT(&conf->listeners, struct listener *, by_bind);
Thierry Fourniere7fe8eb2016-02-26 08:45:58 +01001547 new->luid = strtol(args[cur_arg + 1], &error, 10);
1548 if (*error != '\0') {
1549 memprintf(err, "'%s' : expects an integer argument, found '%s'", args[cur_arg], args[cur_arg + 1]);
1550 return ERR_ALERT | ERR_FATAL;
1551 }
Willy Tarreau4348fad2012-09-20 16:48:07 +02001552 new->conf.id.key = new->luid;
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001553
Willy Tarreau4348fad2012-09-20 16:48:07 +02001554 if (new->luid <= 0) {
Willy Tarreaueb6cead2012-09-20 19:43:14 +02001555 memprintf(err, "'%s' : custom id has to be > 0", args[cur_arg]);
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001556 return ERR_ALERT | ERR_FATAL;
1557 }
1558
Willy Tarreau4348fad2012-09-20 16:48:07 +02001559 node = eb32_lookup(&px->conf.used_listener_id, new->luid);
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001560 if (node) {
1561 l = container_of(node, struct listener, conf.id);
Willy Tarreaueb6cead2012-09-20 19:43:14 +02001562 memprintf(err, "'%s' : custom id %d already used at %s:%d ('bind %s')",
1563 args[cur_arg], l->luid, l->bind_conf->file, l->bind_conf->line,
1564 l->bind_conf->arg);
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001565 return ERR_ALERT | ERR_FATAL;
1566 }
1567
Willy Tarreau4348fad2012-09-20 16:48:07 +02001568 eb32_insert(&px->conf.used_listener_id, &new->conf.id);
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001569 return 0;
1570}
1571
Willy Tarreau3882d2a2022-05-20 15:41:45 +02001572/* Complete a bind_conf by parsing the args after the address. <args> is the
1573 * arguments array, <cur_arg> is the first one to be considered. <section> is
1574 * the section name to report in error messages, and <file> and <linenum> are
1575 * the file name and line number respectively. Note that args[0..1] are used
1576 * in error messages to provide some context. The return value is an error
1577 * code, zero on success or an OR of ERR_{FATAL,ABORT,ALERT,WARN}.
1578 */
1579int bind_parse_args_list(struct bind_conf *bind_conf, char **args, int cur_arg, const char *section, const char *file, int linenum)
1580{
1581 int err_code = 0;
1582
1583 while (*(args[cur_arg])) {
1584 struct bind_kw *kw;
1585 const char *best;
1586
1587 kw = bind_find_kw(args[cur_arg]);
1588 if (kw) {
1589 char *err = NULL;
1590 int code;
1591
1592 if (!kw->parse) {
1593 ha_alert("parsing [%s:%d] : '%s %s' in section '%s' : '%s' option is not implemented in this version (check build options).\n",
1594 file, linenum, args[0], args[1], section, args[cur_arg]);
1595 cur_arg += 1 + kw->skip ;
1596 err_code |= ERR_ALERT | ERR_FATAL;
1597 goto out;
1598 }
1599
1600 code = kw->parse(args, cur_arg, bind_conf->frontend, bind_conf, &err);
1601 err_code |= code;
1602
1603 if (code) {
1604 if (err && *err) {
1605 indent_msg(&err, 2);
1606 if (((code & (ERR_WARN|ERR_ALERT)) == ERR_WARN))
1607 ha_warning("parsing [%s:%d] : '%s %s' in section '%s' : %s\n", file, linenum, args[0], args[1], section, err);
1608 else
1609 ha_alert("parsing [%s:%d] : '%s %s' in section '%s' : %s\n", file, linenum, args[0], args[1], section, err);
1610 }
1611 else
1612 ha_alert("parsing [%s:%d] : '%s %s' in section '%s' : error encountered while processing '%s'.\n",
1613 file, linenum, args[0], args[1], section, args[cur_arg]);
1614 if (code & ERR_FATAL) {
1615 free(err);
1616 cur_arg += 1 + kw->skip;
1617 goto out;
1618 }
1619 }
1620 free(err);
1621 cur_arg += 1 + kw->skip;
1622 continue;
1623 }
1624
1625 best = bind_find_best_kw(args[cur_arg]);
1626 if (best)
1627 ha_alert("parsing [%s:%d] : '%s %s' in section '%s': unknown keyword '%s'; did you mean '%s' maybe ?\n",
1628 file, linenum, args[0], args[1], section, args[cur_arg], best);
1629 else
1630 ha_alert("parsing [%s:%d] : '%s %s' in section '%s': unknown keyword '%s'.\n",
1631 file, linenum, args[0], args[1], section, args[cur_arg]);
1632
1633 err_code |= ERR_ALERT | ERR_FATAL;
1634 goto out;
1635 }
Willy Tarreau64306cc2022-05-20 16:20:52 +02001636
1637 if ((bind_conf->options & (BC_O_USE_SOCK_DGRAM|BC_O_USE_SOCK_STREAM)) == (BC_O_USE_SOCK_DGRAM|BC_O_USE_SOCK_STREAM) ||
1638 (bind_conf->options & (BC_O_USE_XPRT_DGRAM|BC_O_USE_XPRT_STREAM)) == (BC_O_USE_XPRT_DGRAM|BC_O_USE_XPRT_STREAM)) {
1639 ha_alert("parsing [%s:%d] : '%s %s' in section '%s' : cannot mix datagram and stream protocols.\n",
1640 file, linenum, args[0], args[1], section);
1641 err_code |= ERR_ALERT | ERR_FATAL;
1642 goto out;
1643 }
1644
Willy Tarreau78d0dcd2022-05-20 17:10:00 +02001645 /* The transport layer automatically switches to QUIC when QUIC is
1646 * selected, regardless of bind_conf settings. We then need to
1647 * initialize QUIC params.
1648 */
1649 if ((bind_conf->options & (BC_O_USE_SOCK_DGRAM|BC_O_USE_XPRT_STREAM)) == (BC_O_USE_SOCK_DGRAM|BC_O_USE_XPRT_STREAM)) {
1650#ifdef USE_QUIC
1651 bind_conf->xprt = xprt_get(XPRT_QUIC);
Willy Tarreau287f32f2022-05-20 18:16:52 +02001652 if (!(bind_conf->options & BC_O_USE_SSL)) {
1653 bind_conf->options |= BC_O_USE_SSL;
1654 ha_warning("parsing [%s:%d] : '%s %s' in section '%s' : QUIC protocol detected, enabling ssl. Use 'ssl' to shut this warning.\n",
1655 file, linenum, args[0], args[1], section);
1656 }
Willy Tarreau78d0dcd2022-05-20 17:10:00 +02001657 quic_transport_params_init(&bind_conf->quic_params, 1);
1658#else
1659 ha_alert("parsing [%s:%d] : '%s %s' in section '%s' : QUIC protocol selected but support not compiled in (check build options).\n",
1660 file, linenum, args[0], args[1], section);
1661 err_code |= ERR_ALERT | ERR_FATAL;
1662 goto out;
1663#endif
1664 }
Willy Tarreau2071a992022-05-20 17:14:31 +02001665 else if (bind_conf->options & BC_O_USE_SSL) {
1666 bind_conf->xprt = xprt_get(XPRT_SSL);
1667 }
Willy Tarreau78d0dcd2022-05-20 17:10:00 +02001668
Willy Tarreau3882d2a2022-05-20 15:41:45 +02001669 out:
1670 return err_code;
1671}
1672
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001673/* parse the "maxconn" bind keyword */
Willy Tarreau4348fad2012-09-20 16:48:07 +02001674static int bind_parse_maxconn(char **args, int cur_arg, struct proxy *px, struct bind_conf *conf, char **err)
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001675{
1676 struct listener *l;
1677 int val;
1678
1679 if (!*args[cur_arg + 1]) {
Willy Tarreaueb6cead2012-09-20 19:43:14 +02001680 memprintf(err, "'%s' : missing value", args[cur_arg]);
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001681 return ERR_ALERT | ERR_FATAL;
1682 }
1683
1684 val = atol(args[cur_arg + 1]);
Willy Tarreaua8cf66b2019-02-27 16:49:00 +01001685 if (val < 0) {
1686 memprintf(err, "'%s' : invalid value %d, must be >= 0", args[cur_arg], val);
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001687 return ERR_ALERT | ERR_FATAL;
1688 }
1689
Willy Tarreau4348fad2012-09-20 16:48:07 +02001690 list_for_each_entry(l, &conf->listeners, by_bind)
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001691 l->maxconn = val;
1692
1693 return 0;
1694}
1695
1696/* parse the "name" bind keyword */
Willy Tarreau4348fad2012-09-20 16:48:07 +02001697static int bind_parse_name(char **args, int cur_arg, struct proxy *px, struct bind_conf *conf, char **err)
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001698{
1699 struct listener *l;
1700
1701 if (!*args[cur_arg + 1]) {
Willy Tarreaueb6cead2012-09-20 19:43:14 +02001702 memprintf(err, "'%s' : missing name", args[cur_arg]);
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001703 return ERR_ALERT | ERR_FATAL;
1704 }
1705
Willy Tarreau4348fad2012-09-20 16:48:07 +02001706 list_for_each_entry(l, &conf->listeners, by_bind)
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001707 l->name = strdup(args[cur_arg + 1]);
1708
1709 return 0;
1710}
1711
1712/* parse the "nice" bind keyword */
Willy Tarreau4348fad2012-09-20 16:48:07 +02001713static int bind_parse_nice(char **args, int cur_arg, struct proxy *px, struct bind_conf *conf, char **err)
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001714{
1715 struct listener *l;
1716 int val;
1717
1718 if (!*args[cur_arg + 1]) {
Willy Tarreaueb6cead2012-09-20 19:43:14 +02001719 memprintf(err, "'%s' : missing value", args[cur_arg]);
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001720 return ERR_ALERT | ERR_FATAL;
1721 }
1722
1723 val = atol(args[cur_arg + 1]);
1724 if (val < -1024 || val > 1024) {
Willy Tarreaueb6cead2012-09-20 19:43:14 +02001725 memprintf(err, "'%s' : invalid value %d, allowed range is -1024..1024", args[cur_arg], val);
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001726 return ERR_ALERT | ERR_FATAL;
1727 }
1728
Willy Tarreau4348fad2012-09-20 16:48:07 +02001729 list_for_each_entry(l, &conf->listeners, by_bind)
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001730 l->nice = val;
1731
1732 return 0;
1733}
1734
Willy Tarreau6ae1ba62014-05-07 19:01:58 +02001735/* parse the "process" bind keyword */
1736static int bind_parse_process(char **args, int cur_arg, struct proxy *px, struct bind_conf *conf, char **err)
1737{
Willy Tarreauacd64412022-07-15 17:16:01 +02001738 memprintf(err, "'process %s' on 'bind' lines is not supported anymore, please use 'thread' instead.", args[cur_arg+1]);
1739 return ERR_ALERT | ERR_FATAL;
Willy Tarreau6ae1ba62014-05-07 19:01:58 +02001740}
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001741
Christopher Fauleta717b992018-04-10 14:43:00 +02001742/* parse the "proto" bind keyword */
1743static int bind_parse_proto(char **args, int cur_arg, struct proxy *px, struct bind_conf *conf, char **err)
1744{
1745 struct ist proto;
1746
1747 if (!*args[cur_arg + 1]) {
1748 memprintf(err, "'%s' : missing value", args[cur_arg]);
1749 return ERR_ALERT | ERR_FATAL;
1750 }
1751
Tim Duesterhusdcf753a2021-03-04 17:31:47 +01001752 proto = ist(args[cur_arg + 1]);
Christopher Fauleta717b992018-04-10 14:43:00 +02001753 conf->mux_proto = get_mux_proto(proto);
1754 if (!conf->mux_proto) {
1755 memprintf(err, "'%s' : unknown MUX protocol '%s'", args[cur_arg], args[cur_arg+1]);
1756 return ERR_ALERT | ERR_FATAL;
1757 }
Willy Tarreauc8cac042021-09-21 14:31:29 +02001758 return 0;
1759}
1760
Willy Tarreau6dfbef42021-10-12 15:23:03 +02001761/* parse the "shards" bind keyword. Takes an integer or "by-thread" */
1762static int bind_parse_shards(char **args, int cur_arg, struct proxy *px, struct bind_conf *conf, char **err)
1763{
1764 int val;
1765
1766 if (!*args[cur_arg + 1]) {
1767 memprintf(err, "'%s' : missing value", args[cur_arg]);
1768 return ERR_ALERT | ERR_FATAL;
1769 }
1770
1771 if (strcmp(args[cur_arg + 1], "by-thread") == 0) {
1772 val = MAX_THREADS; /* will be trimmed later anyway */
1773 } else {
1774 val = atol(args[cur_arg + 1]);
1775 if (val < 1 || val > MAX_THREADS) {
1776 memprintf(err, "'%s' : invalid value %d, allowed range is %d..%d or 'by-thread'", args[cur_arg], val, 1, MAX_THREADS);
1777 return ERR_ALERT | ERR_FATAL;
1778 }
1779 }
1780
1781 conf->settings.shards = val;
1782 return 0;
1783}
1784
Willy Tarreauc8cac042021-09-21 14:31:29 +02001785/* parse the "thread" bind keyword */
1786static int bind_parse_thread(char **args, int cur_arg, struct proxy *px, struct bind_conf *conf, char **err)
1787{
Willy Tarreaud57b9ff2021-09-29 18:50:31 +02001788 char *sep = NULL;
1789 ulong thread = 0;
1790 long tgroup = 0;
Willy Tarreauc8cac042021-09-21 14:31:29 +02001791
Willy Tarreaud57b9ff2021-09-29 18:50:31 +02001792 tgroup = strtol(args[cur_arg + 1], &sep, 10);
1793 if (*sep == '/') {
1794 /* a thread group was present */
1795 if (tgroup < 1 || tgroup > MAX_TGROUPS) {
1796 memprintf(err, "'%s' thread-group number must be between 1 and %d (was %ld)", args[cur_arg + 1], MAX_TGROUPS, tgroup);
1797 return ERR_ALERT | ERR_FATAL;
1798 }
1799 sep++;
1800 }
1801 else {
1802 /* no thread group */
1803 tgroup = 0;
1804 sep = args[cur_arg + 1];
1805 }
Willy Tarreauc8cac042021-09-21 14:31:29 +02001806
Willy Tarreau01cac3f2021-10-12 08:47:54 +02001807 if ((conf->bind_tgroup || conf->bind_thread) &&
1808 conf->bind_tgroup != tgroup) {
Willy Tarreaud57b9ff2021-09-29 18:50:31 +02001809 memprintf(err, "'%s' multiple thread-groups are not supported", args[cur_arg + 1]);
Willy Tarreauc8cac042021-09-21 14:31:29 +02001810 return ERR_ALERT | ERR_FATAL;
1811 }
Willy Tarreau740038c2022-07-15 17:18:23 +02001812
1813 if (parse_process_number(sep, &thread, LONGBITS, NULL, err)) {
Willy Tarreaud57b9ff2021-09-29 18:50:31 +02001814 memprintf(err, "'%s' : %s", sep, *err);
Willy Tarreauc8cac042021-09-21 14:31:29 +02001815 return ERR_ALERT | ERR_FATAL;
1816 }
1817
Willy Tarreau01cac3f2021-10-12 08:47:54 +02001818 conf->bind_thread |= thread;
1819 conf->bind_tgroup = tgroup;
Christopher Fauleta717b992018-04-10 14:43:00 +02001820 return 0;
1821}
1822
Willy Tarreau7ac908b2019-02-27 12:02:18 +01001823/* config parser for global "tune.listener.multi-queue", accepts "on" or "off" */
1824static int cfg_parse_tune_listener_mq(char **args, int section_type, struct proxy *curpx,
Willy Tarreau01825162021-03-09 09:53:46 +01001825 const struct proxy *defpx, const char *file, int line,
Willy Tarreau7ac908b2019-02-27 12:02:18 +01001826 char **err)
1827{
1828 if (too_many_args(1, args, err, NULL))
1829 return -1;
1830
1831 if (strcmp(args[1], "on") == 0)
1832 global.tune.options |= GTUNE_LISTENER_MQ;
1833 else if (strcmp(args[1], "off") == 0)
1834 global.tune.options &= ~GTUNE_LISTENER_MQ;
1835 else {
1836 memprintf(err, "'%s' expects either 'on' or 'off' but got '%s'.", args[0], args[1]);
1837 return -1;
1838 }
1839 return 0;
1840}
1841
Willy Tarreau61612d42012-04-19 18:42:05 +02001842/* Note: must not be declared <const> as its list will be overwritten.
1843 * Please take care of keeping this list alphabetically sorted.
1844 */
Willy Tarreaudc13c112013-06-21 23:16:39 +02001845static struct sample_fetch_kw_list smp_kws = {ILH, {
Thierry FOURNIER07ee64e2015-07-06 23:43:03 +02001846 { "dst_conn", smp_fetch_dconn, 0, NULL, SMP_T_SINT, SMP_USE_FTEND, },
1847 { "so_id", smp_fetch_so_id, 0, NULL, SMP_T_SINT, SMP_USE_FTEND, },
Jerome Magnineb421b22020-03-27 22:08:40 +01001848 { "so_name", smp_fetch_so_name, 0, NULL, SMP_T_STR, SMP_USE_FTEND, },
Willy Tarreau0ccb7442013-01-07 22:54:17 +01001849 { /* END */ },
1850}};
1851
Willy Tarreau0108d902018-11-25 19:14:37 +01001852INITCALL1(STG_REGISTER, sample_register_fetches, &smp_kws);
1853
Willy Tarreau0ccb7442013-01-07 22:54:17 +01001854/* Note: must not be declared <const> as its list will be overwritten.
1855 * Please take care of keeping this list alphabetically sorted.
1856 */
Willy Tarreaudc13c112013-06-21 23:16:39 +02001857static struct acl_kw_list acl_kws = {ILH, {
Willy Tarreau0ccb7442013-01-07 22:54:17 +01001858 { /* END */ },
Willy Tarreau645513a2010-05-24 20:55:15 +02001859}};
1860
Willy Tarreau0108d902018-11-25 19:14:37 +01001861INITCALL1(STG_REGISTER, acl_register_keywords, &acl_kws);
1862
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001863/* Note: must not be declared <const> as its list will be overwritten.
1864 * Please take care of keeping this list alphabetically sorted, doing so helps
1865 * all code contributors.
1866 * Optional keywords are also declared with a NULL ->parse() function so that
1867 * the config parser can report an appropriate error when a known keyword was
1868 * not enabled.
1869 */
Willy Tarreau51fb7652012-09-18 18:24:39 +02001870static struct bind_kw_list bind_kws = { "ALL", { }, {
Bertrand Jacquin93b227d2016-06-04 15:11:10 +01001871 { "accept-netscaler-cip", bind_parse_accept_netscaler_cip, 1 }, /* enable NetScaler Client IP insertion protocol */
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001872 { "accept-proxy", bind_parse_accept_proxy, 0 }, /* enable PROXY protocol */
1873 { "backlog", bind_parse_backlog, 1 }, /* set backlog of listening socket */
1874 { "id", bind_parse_id, 1 }, /* set id of listening socket */
1875 { "maxconn", bind_parse_maxconn, 1 }, /* set maxconn of listening socket */
1876 { "name", bind_parse_name, 1 }, /* set name of listening socket */
1877 { "nice", bind_parse_nice, 1 }, /* set nice of listening socket */
Willy Tarreau6ae1ba62014-05-07 19:01:58 +02001878 { "process", bind_parse_process, 1 }, /* set list of allowed process for this socket */
Christopher Fauleta717b992018-04-10 14:43:00 +02001879 { "proto", bind_parse_proto, 1 }, /* set the proto to use for all incoming connections */
Willy Tarreau6dfbef42021-10-12 15:23:03 +02001880 { "shards", bind_parse_shards, 1 }, /* set number of shards */
Willy Tarreauc8cac042021-09-21 14:31:29 +02001881 { "thread", bind_parse_thread, 1 }, /* set list of allowed threads for this socket */
Willy Tarreau0ccb7442013-01-07 22:54:17 +01001882 { /* END */ },
Willy Tarreau3dcc3412012-09-18 17:17:28 +02001883}};
1884
Willy Tarreau0108d902018-11-25 19:14:37 +01001885INITCALL1(STG_REGISTER, bind_register_keywords, &bind_kws);
1886
Willy Tarreau7ac908b2019-02-27 12:02:18 +01001887/* config keyword parsers */
1888static struct cfg_kw_list cfg_kws = {ILH, {
1889 { CFG_GLOBAL, "tune.listener.multi-queue", cfg_parse_tune_listener_mq },
1890 { 0, NULL, NULL }
1891}};
1892
1893INITCALL1(STG_REGISTER, cfg_register_keywords, &cfg_kws);
1894
Willy Tarreau645513a2010-05-24 20:55:15 +02001895/*
1896 * Local variables:
1897 * c-indent-level: 8
1898 * c-basic-offset: 8
1899 * End:
1900 */