Willy Tarreau | 81f38d6 | 2015-04-13 17:11:11 +0200 | [diff] [blame] | 1 | /* |
| 2 | * Functions managing applets |
| 3 | * |
| 4 | * Copyright 2000-2015 Willy Tarreau <w@1wt.eu> |
| 5 | * |
| 6 | * This program is free software; you can redistribute it and/or |
| 7 | * modify it under the terms of the GNU General Public License |
| 8 | * as published by the Free Software Foundation; either version |
| 9 | * 2 of the License, or (at your option) any later version. |
| 10 | * |
| 11 | */ |
| 12 | |
| 13 | #include <stdio.h> |
| 14 | #include <stdlib.h> |
| 15 | |
Willy Tarreau | 4c7e4b7 | 2020-05-27 12:58:42 +0200 | [diff] [blame] | 16 | #include <haproxy/api.h> |
Willy Tarreau | b255105 | 2020-06-09 09:07:15 +0200 | [diff] [blame] | 17 | #include <haproxy/applet.h> |
Willy Tarreau | f1d32c4 | 2020-06-04 21:07:02 +0200 | [diff] [blame] | 18 | #include <haproxy/channel.h> |
Christopher Faulet | 908628c | 2022-03-25 16:43:49 +0100 | [diff] [blame] | 19 | #include <haproxy/conn_stream.h> |
| 20 | #include <haproxy/cs_utils.h> |
Willy Tarreau | 853b297 | 2020-05-27 18:01:47 +0200 | [diff] [blame] | 21 | #include <haproxy/list.h> |
Willy Tarreau | dfd3de8 | 2020-06-04 23:46:14 +0200 | [diff] [blame] | 22 | #include <haproxy/stream.h> |
Willy Tarreau | cea0e1b | 2020-06-04 17:25:40 +0200 | [diff] [blame] | 23 | #include <haproxy/task.h> |
Willy Tarreau | 81f38d6 | 2015-04-13 17:11:11 +0200 | [diff] [blame] | 24 | |
Christopher Faulet | 1cbe74c | 2016-12-06 09:13:22 +0100 | [diff] [blame] | 25 | unsigned int nb_applets = 0; |
Emeric Brun | 1138fd0 | 2017-06-19 12:38:55 +0200 | [diff] [blame] | 26 | |
Willy Tarreau | 8280ea9 | 2019-07-18 10:41:36 +0200 | [diff] [blame] | 27 | DECLARE_POOL(pool_head_appctx, "appctx", sizeof(struct appctx)); |
| 28 | |
Willy Tarreau | 009e42b | 2022-05-05 19:55:03 +0200 | [diff] [blame] | 29 | /* Tries to allocate a new appctx and initialize all of its fields. The appctx |
Christopher Faulet | cb2fa36 | 2022-03-23 11:46:56 +0100 | [diff] [blame] | 30 | * is returned on success, NULL on failure. The appctx must be released using |
| 31 | * appctx_free(). <applet> is assigned as the applet, but it can be NULL. The |
| 32 | * applet's task is always created on the current thread. |
| 33 | */ |
Christopher Faulet | 9ec2f4d | 2022-03-23 15:15:29 +0100 | [diff] [blame] | 34 | struct appctx *appctx_new(struct applet *applet, struct cs_endpoint *endp) |
Christopher Faulet | cb2fa36 | 2022-03-23 11:46:56 +0100 | [diff] [blame] | 35 | { |
| 36 | struct appctx *appctx; |
| 37 | |
Willy Tarreau | 009e42b | 2022-05-05 19:55:03 +0200 | [diff] [blame] | 38 | appctx = pool_zalloc(pool_head_appctx); |
Christopher Faulet | 9ec2f4d | 2022-03-23 15:15:29 +0100 | [diff] [blame] | 39 | if (unlikely(!appctx)) |
| 40 | goto fail_appctx; |
| 41 | |
Willy Tarreau | 009e42b | 2022-05-05 19:55:03 +0200 | [diff] [blame] | 42 | LIST_INIT(&appctx->wait_entry); |
Christopher Faulet | 9ec2f4d | 2022-03-23 15:15:29 +0100 | [diff] [blame] | 43 | appctx->obj_type = OBJ_TYPE_APPCTX; |
| 44 | appctx->applet = applet; |
Christopher Faulet | ac57bb5 | 2022-05-09 08:08:26 +0200 | [diff] [blame^] | 45 | appctx->sess = NULL; |
Christopher Faulet | 9ec2f4d | 2022-03-23 15:15:29 +0100 | [diff] [blame] | 46 | if (!endp) { |
| 47 | endp = cs_endpoint_new(); |
| 48 | if (!endp) |
| 49 | goto fail_endp; |
| 50 | endp->target = appctx; |
| 51 | endp->ctx = appctx; |
| 52 | endp->flags |= (CS_EP_T_APPLET|CS_EP_ORPHAN); |
Christopher Faulet | cb2fa36 | 2022-03-23 11:46:56 +0100 | [diff] [blame] | 53 | } |
Christopher Faulet | 9ec2f4d | 2022-03-23 15:15:29 +0100 | [diff] [blame] | 54 | appctx->endp = endp; |
| 55 | |
| 56 | appctx->t = task_new_here(); |
| 57 | if (unlikely(!appctx->t)) |
| 58 | goto fail_task; |
| 59 | appctx->t->process = task_run_applet; |
| 60 | appctx->t->context = appctx; |
| 61 | |
| 62 | LIST_INIT(&appctx->buffer_wait.list); |
| 63 | appctx->buffer_wait.target = appctx; |
| 64 | appctx->buffer_wait.wakeup_cb = appctx_buf_available; |
| 65 | |
| 66 | _HA_ATOMIC_INC(&nb_applets); |
Christopher Faulet | cb2fa36 | 2022-03-23 11:46:56 +0100 | [diff] [blame] | 67 | return appctx; |
Christopher Faulet | 9ec2f4d | 2022-03-23 15:15:29 +0100 | [diff] [blame] | 68 | |
| 69 | fail_task: |
| 70 | cs_endpoint_free(appctx->endp); |
| 71 | fail_endp: |
| 72 | pool_free(pool_head_appctx, appctx); |
| 73 | fail_appctx: |
| 74 | return NULL; |
Christopher Faulet | cb2fa36 | 2022-03-23 11:46:56 +0100 | [diff] [blame] | 75 | } |
| 76 | |
Willy Tarreau | f12f32a | 2022-05-02 14:57:03 +0200 | [diff] [blame] | 77 | /* reserves a command context of at least <size> bytes in the <appctx>, for |
| 78 | * use by a CLI command or any regular applet. The pointer to this context is |
| 79 | * stored in ctx.svcctx and is returned. The caller doesn't need to release |
| 80 | * it as it's allocated from reserved space. If the size is larger than |
| 81 | * APPLET_MAX_SVCCTX a crash will occur (hence that will never happen outside |
| 82 | * of development). |
| 83 | * |
| 84 | * Note that the command does *not* initialize the area, so that it can easily |
| 85 | * be used upon each entry in a function. It's left to the initialization code |
| 86 | * to do it if needed. The CLI will always zero the whole area before calling |
| 87 | * a keyword's ->parse() function. |
| 88 | */ |
| 89 | void *applet_reserve_svcctx(struct appctx *appctx, size_t size) |
| 90 | { |
| 91 | BUG_ON(size > APPLET_MAX_SVCCTX); |
| 92 | appctx->svcctx = &appctx->svc.storage; |
| 93 | return appctx->svcctx; |
| 94 | } |
| 95 | |
Willy Tarreau | 1c3ead4 | 2022-05-10 19:42:22 +0200 | [diff] [blame] | 96 | /* call the applet's release() function if any, and marks the endp as shut. |
| 97 | * Needs to be called upon close(). |
| 98 | */ |
| 99 | void appctx_shut(struct appctx *appctx) |
| 100 | { |
| 101 | if (appctx->endp->flags & (CS_EP_SHR|CS_EP_SHW)) |
| 102 | return; |
| 103 | |
| 104 | if (appctx->applet->release) |
| 105 | appctx->applet->release(appctx); |
| 106 | |
| 107 | appctx->endp->flags |= CS_EP_SHRR | CS_EP_SHWN; |
| 108 | } |
| 109 | |
Willy Tarreau | 21028b5 | 2018-11-06 17:32:37 +0100 | [diff] [blame] | 110 | /* Callback used to wake up an applet when a buffer is available. The applet |
| 111 | * <appctx> is woken up if an input buffer was requested for the associated |
Christopher Faulet | 6b0a0fb | 2022-04-04 11:29:28 +0200 | [diff] [blame] | 112 | * conn-stream. In this case the buffer is immediately allocated and the |
Willy Tarreau | 21028b5 | 2018-11-06 17:32:37 +0100 | [diff] [blame] | 113 | * function returns 1. Otherwise it returns 0. Note that this automatically |
| 114 | * covers multiple wake-up attempts by ensuring that the same buffer will not |
| 115 | * be accounted for multiple times. |
| 116 | */ |
| 117 | int appctx_buf_available(void *arg) |
| 118 | { |
| 119 | struct appctx *appctx = arg; |
Willy Tarreau | 0698c80 | 2022-05-11 14:09:57 +0200 | [diff] [blame] | 120 | struct conn_stream *cs = appctx_cs(appctx); |
Willy Tarreau | 21028b5 | 2018-11-06 17:32:37 +0100 | [diff] [blame] | 121 | |
| 122 | /* allocation requested ? */ |
Willy Tarreau | 66435e5 | 2022-05-10 11:32:31 +0200 | [diff] [blame] | 123 | if (!(appctx->endp->flags & CS_EP_RXBLK_BUFF)) |
Willy Tarreau | 21028b5 | 2018-11-06 17:32:37 +0100 | [diff] [blame] | 124 | return 0; |
| 125 | |
Christopher Faulet | a0bdec3 | 2022-04-04 07:51:21 +0200 | [diff] [blame] | 126 | cs_rx_buff_rdy(cs); |
Willy Tarreau | 8be7cd7 | 2018-11-14 15:12:08 +0100 | [diff] [blame] | 127 | |
| 128 | /* was already allocated another way ? if so, don't take this one */ |
Christopher Faulet | 908628c | 2022-03-25 16:43:49 +0100 | [diff] [blame] | 129 | if (c_size(cs_ic(cs)) || cs_ic(cs)->pipe) |
Willy Tarreau | 8be7cd7 | 2018-11-14 15:12:08 +0100 | [diff] [blame] | 130 | return 0; |
| 131 | |
Willy Tarreau | 21028b5 | 2018-11-06 17:32:37 +0100 | [diff] [blame] | 132 | /* allocation possible now ? */ |
Christopher Faulet | 908628c | 2022-03-25 16:43:49 +0100 | [diff] [blame] | 133 | if (!b_alloc(&cs_ic(cs)->buf)) { |
Christopher Faulet | a0bdec3 | 2022-04-04 07:51:21 +0200 | [diff] [blame] | 134 | cs_rx_buff_blk(cs); |
Willy Tarreau | 21028b5 | 2018-11-06 17:32:37 +0100 | [diff] [blame] | 135 | return 0; |
Willy Tarreau | 8be7cd7 | 2018-11-14 15:12:08 +0100 | [diff] [blame] | 136 | } |
Willy Tarreau | 21028b5 | 2018-11-06 17:32:37 +0100 | [diff] [blame] | 137 | |
Willy Tarreau | 21028b5 | 2018-11-06 17:32:37 +0100 | [diff] [blame] | 138 | task_wakeup(appctx->t, TASK_WOKEN_RES); |
| 139 | return 1; |
| 140 | } |
| 141 | |
| 142 | /* Default applet handler */ |
Willy Tarreau | 144f84a | 2021-03-02 16:09:26 +0100 | [diff] [blame] | 143 | struct task *task_run_applet(struct task *t, void *context, unsigned int state) |
Willy Tarreau | 3c595ac | 2015-04-19 09:59:31 +0200 | [diff] [blame] | 144 | { |
Olivier Houchard | 673867c | 2018-05-25 16:58:52 +0200 | [diff] [blame] | 145 | struct appctx *app = context; |
Willy Tarreau | 0698c80 | 2022-05-11 14:09:57 +0200 | [diff] [blame] | 146 | struct conn_stream *cs = appctx_cs(app); |
Willy Tarreau | dcb0e1d | 2019-04-25 19:12:26 +0200 | [diff] [blame] | 147 | unsigned int rate; |
Christopher Faulet | 1eedf9b | 2021-04-27 17:08:10 +0200 | [diff] [blame] | 148 | size_t count; |
Christopher Faulet | b4a4d9a | 2017-11-15 22:14:49 +0100 | [diff] [blame] | 149 | |
Olivier Houchard | 673867c | 2018-05-25 16:58:52 +0200 | [diff] [blame] | 150 | if (app->state & APPLET_WANT_DIE) { |
| 151 | __appctx_free(app); |
| 152 | return NULL; |
Christopher Faulet | 7163056 | 2017-11-14 11:30:47 +0100 | [diff] [blame] | 153 | } |
Emeric Brun | 1138fd0 | 2017-06-19 12:38:55 +0200 | [diff] [blame] | 154 | |
Olivier Houchard | 673867c | 2018-05-25 16:58:52 +0200 | [diff] [blame] | 155 | /* We always pretend the applet can't get and doesn't want to |
| 156 | * put, it's up to it to change this if needed. This ensures |
| 157 | * that one applet which ignores any event will not spin. |
Willy Tarreau | 9994238 | 2015-09-25 17:56:16 +0200 | [diff] [blame] | 158 | */ |
Christopher Faulet | a0bdec3 | 2022-04-04 07:51:21 +0200 | [diff] [blame] | 159 | cs_cant_get(cs); |
| 160 | cs_rx_endp_done(cs); |
Willy Tarreau | 3c595ac | 2015-04-19 09:59:31 +0200 | [diff] [blame] | 161 | |
Willy Tarreau | 8be7cd7 | 2018-11-14 15:12:08 +0100 | [diff] [blame] | 162 | /* Now we'll try to allocate the input buffer. We wake up the applet in |
| 163 | * all cases. So this is the applet's responsibility to check if this |
| 164 | * buffer was allocated or not. This leaves a chance for applets to do |
| 165 | * some other processing if needed. The applet doesn't have anything to |
| 166 | * do if it needs the buffer, it will be called again upon readiness. |
| 167 | */ |
Christopher Faulet | 8f45eec | 2022-04-01 17:19:36 +0200 | [diff] [blame] | 168 | if (!cs_alloc_ibuf(cs, &app->buffer_wait)) |
Christopher Faulet | a0bdec3 | 2022-04-04 07:51:21 +0200 | [diff] [blame] | 169 | cs_rx_endp_more(cs); |
Willy Tarreau | 8be7cd7 | 2018-11-14 15:12:08 +0100 | [diff] [blame] | 170 | |
Christopher Faulet | 908628c | 2022-03-25 16:43:49 +0100 | [diff] [blame] | 171 | count = co_data(cs_oc(cs)); |
Olivier Houchard | 673867c | 2018-05-25 16:58:52 +0200 | [diff] [blame] | 172 | app->applet->fct(app); |
Willy Tarreau | 19920d6 | 2019-10-11 14:15:47 +0200 | [diff] [blame] | 173 | |
Christopher Faulet | 1eedf9b | 2021-04-27 17:08:10 +0200 | [diff] [blame] | 174 | /* now check if the applet has released some room and forgot to |
| 175 | * notify the other side about it. |
| 176 | */ |
Christopher Faulet | 908628c | 2022-03-25 16:43:49 +0100 | [diff] [blame] | 177 | if (count != co_data(cs_oc(cs))) { |
| 178 | cs_oc(cs)->flags |= CF_WRITE_PARTIAL | CF_WROTE_DATA; |
Christopher Faulet | a0bdec3 | 2022-04-04 07:51:21 +0200 | [diff] [blame] | 179 | cs_rx_room_rdy(cs_opposite(cs)); |
Christopher Faulet | 1eedf9b | 2021-04-27 17:08:10 +0200 | [diff] [blame] | 180 | } |
| 181 | |
Willy Tarreau | 19920d6 | 2019-10-11 14:15:47 +0200 | [diff] [blame] | 182 | /* measure the call rate and check for anomalies when too high */ |
| 183 | rate = update_freq_ctr(&app->call_rate, 1); |
| 184 | if (rate >= 100000 && app->call_rate.prev_ctr && // looped more than 100k times over last second |
Willy Tarreau | 66435e5 | 2022-05-10 11:32:31 +0200 | [diff] [blame] | 185 | ((b_size(cs_ib(cs)) && app->endp->flags & CS_EP_RXBLK_BUFF) || // asks for a buffer which is present |
| 186 | (b_size(cs_ib(cs)) && !b_data(cs_ib(cs)) && app->endp->flags & CS_EP_RXBLK_ROOM) || // asks for room in an empty buffer |
Christopher Faulet | a0bdec3 | 2022-04-04 07:51:21 +0200 | [diff] [blame] | 187 | (b_data(cs_ob(cs)) && cs_tx_endp_ready(cs) && !cs_tx_blocked(cs)) || // asks for data already present |
Christopher Faulet | 908628c | 2022-03-25 16:43:49 +0100 | [diff] [blame] | 188 | (!b_data(cs_ib(cs)) && b_data(cs_ob(cs)) && // didn't return anything ... |
| 189 | (cs_oc(cs)->flags & (CF_WRITE_PARTIAL|CF_SHUTW_NOW)) == CF_SHUTW_NOW))) { // ... and left data pending after a shut |
Willy Tarreau | 19920d6 | 2019-10-11 14:15:47 +0200 | [diff] [blame] | 190 | stream_dump_and_crash(&app->obj_type, read_freq_ctr(&app->call_rate)); |
| 191 | } |
| 192 | |
Christopher Faulet | 6059ba4 | 2022-04-01 16:34:53 +0200 | [diff] [blame] | 193 | cs->data_cb->wake(cs); |
Christopher Faulet | 908628c | 2022-03-25 16:43:49 +0100 | [diff] [blame] | 194 | channel_release_buffer(cs_ic(cs), &app->buffer_wait); |
Olivier Houchard | 673867c | 2018-05-25 16:58:52 +0200 | [diff] [blame] | 195 | return t; |
Willy Tarreau | 3c595ac | 2015-04-19 09:59:31 +0200 | [diff] [blame] | 196 | } |