Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2016 Cisco and/or its affiliates. |
| 3 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 4 | * you may not use this file except in compliance with the License. |
| 5 | * You may obtain a copy of the License at: |
| 6 | * |
| 7 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 8 | * |
| 9 | * Unless required by applicable law or agreed to in writing, software |
| 10 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 11 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 12 | * See the License for the specific language governing permissions and |
| 13 | * limitations under the License. |
| 14 | */ |
| 15 | |
| 16 | #include <vnet/tcp/tcp.h> |
| 17 | #include <vnet/lisp-cp/packets.h> |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 18 | #include <math.h> |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 19 | |
| 20 | vlib_node_registration_t tcp4_output_node; |
| 21 | vlib_node_registration_t tcp6_output_node; |
| 22 | |
Dave Barach | 2c25a62 | 2017-06-26 11:35:07 -0400 | [diff] [blame] | 23 | typedef enum _tcp_output_next |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 24 | { |
| 25 | TCP_OUTPUT_NEXT_DROP, |
Dave Barach | 2c25a62 | 2017-06-26 11:35:07 -0400 | [diff] [blame] | 26 | TCP_OUTPUT_NEXT_IP_LOOKUP, |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 27 | TCP_OUTPUT_N_NEXT |
| 28 | } tcp_output_next_t; |
| 29 | |
| 30 | #define foreach_tcp4_output_next \ |
| 31 | _ (DROP, "error-drop") \ |
Dave Barach | 2c25a62 | 2017-06-26 11:35:07 -0400 | [diff] [blame] | 32 | _ (IP_LOOKUP, "ip4-lookup") |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 33 | |
| 34 | #define foreach_tcp6_output_next \ |
| 35 | _ (DROP, "error-drop") \ |
Dave Barach | 2c25a62 | 2017-06-26 11:35:07 -0400 | [diff] [blame] | 36 | _ (IP_LOOKUP, "ip6-lookup") |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 37 | |
| 38 | static char *tcp_error_strings[] = { |
| 39 | #define tcp_error(n,s) s, |
| 40 | #include <vnet/tcp/tcp_error.def> |
| 41 | #undef tcp_error |
| 42 | }; |
| 43 | |
| 44 | typedef struct |
| 45 | { |
Clement Durand | 6cf260c | 2017-04-13 13:27:04 +0200 | [diff] [blame] | 46 | tcp_header_t tcp_header; |
| 47 | tcp_connection_t tcp_connection; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 48 | } tcp_tx_trace_t; |
| 49 | |
Florin Coras | f6d68ed | 2017-05-07 19:12:02 -0700 | [diff] [blame] | 50 | u16 dummy_mtu = 1460; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 51 | |
| 52 | u8 * |
| 53 | format_tcp_tx_trace (u8 * s, va_list * args) |
| 54 | { |
| 55 | CLIB_UNUSED (vlib_main_t * vm) = va_arg (*args, vlib_main_t *); |
| 56 | CLIB_UNUSED (vlib_node_t * node) = va_arg (*args, vlib_node_t *); |
Clement Durand | 6cf260c | 2017-04-13 13:27:04 +0200 | [diff] [blame] | 57 | tcp_tx_trace_t *t = va_arg (*args, tcp_tx_trace_t *); |
Christophe Fontaine | d3c008d | 2017-10-02 18:10:54 +0200 | [diff] [blame] | 58 | u32 indent = format_get_indent (s); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 59 | |
Clement Durand | 6cf260c | 2017-04-13 13:27:04 +0200 | [diff] [blame] | 60 | s = format (s, "%U\n%U%U", |
| 61 | format_tcp_header, &t->tcp_header, 128, |
| 62 | format_white_space, indent, |
Florin Coras | bb292f4 | 2017-05-19 09:49:19 -0700 | [diff] [blame] | 63 | format_tcp_connection, &t->tcp_connection, 1); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 64 | |
| 65 | return s; |
| 66 | } |
| 67 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 68 | static u8 |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 69 | tcp_window_compute_scale (u32 window) |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 70 | { |
| 71 | u8 wnd_scale = 0; |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 72 | while (wnd_scale < TCP_MAX_WND_SCALE && (window >> wnd_scale) > TCP_WND_MAX) |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 73 | wnd_scale++; |
| 74 | return wnd_scale; |
| 75 | } |
| 76 | |
| 77 | /** |
Florin Coras | 6534b7a | 2017-07-18 05:38:03 -0400 | [diff] [blame] | 78 | * Update max segment size we're able to process. |
| 79 | * |
| 80 | * The value is constrained by our interface's MTU and IP options. It is |
| 81 | * also what we advertise to our peer. |
| 82 | */ |
| 83 | void |
| 84 | tcp_update_rcv_mss (tcp_connection_t * tc) |
| 85 | { |
| 86 | /* TODO find our iface MTU */ |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 87 | tc->mss = dummy_mtu - sizeof (tcp_header_t); |
Florin Coras | 6534b7a | 2017-07-18 05:38:03 -0400 | [diff] [blame] | 88 | } |
| 89 | |
| 90 | /** |
| 91 | * TCP's initial window |
Florin Coras | e04c299 | 2017-03-01 08:17:34 -0800 | [diff] [blame] | 92 | */ |
| 93 | always_inline u32 |
| 94 | tcp_initial_wnd_unscaled (tcp_connection_t * tc) |
| 95 | { |
Florin Coras | 6534b7a | 2017-07-18 05:38:03 -0400 | [diff] [blame] | 96 | /* RFC 6928 recommends the value lower. However at the time our connections |
| 97 | * are initialized, fifos may not be allocated. Therefore, advertise the |
| 98 | * smallest possible unscaled window size and update once fifos are |
| 99 | * assigned to the session. |
| 100 | */ |
| 101 | /* |
| 102 | tcp_update_rcv_mss (tc); |
| 103 | TCP_IW_N_SEGMENTS * tc->mss; |
| 104 | */ |
| 105 | return TCP_MIN_RX_FIFO_SIZE; |
Florin Coras | e04c299 | 2017-03-01 08:17:34 -0800 | [diff] [blame] | 106 | } |
| 107 | |
| 108 | /** |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 109 | * Compute initial window and scale factor. As per RFC1323, window field in |
| 110 | * SYN and SYN-ACK segments is never scaled. |
| 111 | */ |
| 112 | u32 |
| 113 | tcp_initial_window_to_advertise (tcp_connection_t * tc) |
| 114 | { |
Florin Coras | e04c299 | 2017-03-01 08:17:34 -0800 | [diff] [blame] | 115 | u32 max_fifo; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 116 | |
| 117 | /* Initial wnd for SYN. Fifos are not allocated yet. |
Florin Coras | e04c299 | 2017-03-01 08:17:34 -0800 | [diff] [blame] | 118 | * Use some predefined value. For SYN-ACK we still want the |
| 119 | * scale to be computed in the same way */ |
| 120 | max_fifo = TCP_MAX_RX_FIFO_SIZE; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 121 | |
Florin Coras | e04c299 | 2017-03-01 08:17:34 -0800 | [diff] [blame] | 122 | tc->rcv_wscale = tcp_window_compute_scale (max_fifo); |
| 123 | tc->rcv_wnd = tcp_initial_wnd_unscaled (tc); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 124 | |
| 125 | return clib_min (tc->rcv_wnd, TCP_WND_MAX); |
| 126 | } |
| 127 | |
| 128 | /** |
| 129 | * Compute and return window to advertise, scaled as per RFC1323 |
| 130 | */ |
| 131 | u32 |
| 132 | tcp_window_to_advertise (tcp_connection_t * tc, tcp_state_t state) |
| 133 | { |
Florin Coras | e04c299 | 2017-03-01 08:17:34 -0800 | [diff] [blame] | 134 | if (state < TCP_STATE_ESTABLISHED) |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 135 | return tcp_initial_window_to_advertise (tc); |
| 136 | |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 137 | tcp_update_rcv_wnd (tc); |
| 138 | |
| 139 | if (tc->rcv_wnd == 0) |
| 140 | { |
| 141 | tc->flags |= TCP_CONN_SENT_RCV_WND0; |
| 142 | } |
| 143 | else |
| 144 | { |
| 145 | tc->flags &= ~TCP_CONN_SENT_RCV_WND0; |
| 146 | } |
| 147 | |
| 148 | return tc->rcv_wnd >> tc->rcv_wscale; |
| 149 | } |
| 150 | |
| 151 | void |
| 152 | tcp_update_rcv_wnd (tcp_connection_t * tc) |
| 153 | { |
| 154 | i32 observed_wnd; |
| 155 | u32 available_space, max_fifo, wnd; |
| 156 | |
Florin Coras | e04c299 | 2017-03-01 08:17:34 -0800 | [diff] [blame] | 157 | /* |
| 158 | * Figure out how much space we have available |
| 159 | */ |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 160 | available_space = stream_session_max_rx_enqueue (&tc->connection); |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 161 | max_fifo = stream_session_rx_fifo_size (&tc->connection); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 162 | |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 163 | ASSERT (tc->rcv_opts.mss < max_fifo); |
| 164 | if (available_space < tc->rcv_opts.mss && available_space < max_fifo >> 3) |
Florin Coras | e04c299 | 2017-03-01 08:17:34 -0800 | [diff] [blame] | 165 | available_space = 0; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 166 | |
Florin Coras | e04c299 | 2017-03-01 08:17:34 -0800 | [diff] [blame] | 167 | /* |
| 168 | * Use the above and what we know about what we've previously advertised |
| 169 | * to compute the new window |
| 170 | */ |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 171 | observed_wnd = (i32) tc->rcv_wnd - (tc->rcv_nxt - tc->rcv_las); |
| 172 | if (observed_wnd < 0) |
| 173 | observed_wnd = 0; |
Florin Coras | e04c299 | 2017-03-01 08:17:34 -0800 | [diff] [blame] | 174 | |
| 175 | /* Bad. Thou shalt not shrink */ |
| 176 | if (available_space < observed_wnd) |
| 177 | { |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 178 | wnd = observed_wnd; |
Florin Coras | 3e350af | 2017-03-30 02:54:28 -0700 | [diff] [blame] | 179 | TCP_EVT_DBG (TCP_EVT_RCV_WND_SHRUNK, tc, observed_wnd, available_space); |
Florin Coras | e04c299 | 2017-03-01 08:17:34 -0800 | [diff] [blame] | 180 | } |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 181 | else |
Florin Coras | e04c299 | 2017-03-01 08:17:34 -0800 | [diff] [blame] | 182 | { |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 183 | wnd = available_space; |
Florin Coras | e04c299 | 2017-03-01 08:17:34 -0800 | [diff] [blame] | 184 | } |
| 185 | |
Florin Coras | 3e350af | 2017-03-30 02:54:28 -0700 | [diff] [blame] | 186 | /* Make sure we have a multiple of rcv_wscale */ |
| 187 | if (wnd && tc->rcv_wscale) |
| 188 | { |
| 189 | wnd &= ~(1 << tc->rcv_wscale); |
| 190 | if (wnd == 0) |
| 191 | wnd = 1 << tc->rcv_wscale; |
| 192 | } |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 193 | |
| 194 | tc->rcv_wnd = clib_min (wnd, TCP_WND_MAX << tc->rcv_wscale); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 195 | } |
| 196 | |
| 197 | /** |
| 198 | * Write TCP options to segment. |
| 199 | */ |
| 200 | u32 |
| 201 | tcp_options_write (u8 * data, tcp_options_t * opts) |
| 202 | { |
| 203 | u32 opts_len = 0; |
| 204 | u32 buf, seq_len = 4; |
| 205 | |
| 206 | if (tcp_opts_mss (opts)) |
| 207 | { |
| 208 | *data++ = TCP_OPTION_MSS; |
| 209 | *data++ = TCP_OPTION_LEN_MSS; |
| 210 | buf = clib_host_to_net_u16 (opts->mss); |
| 211 | clib_memcpy (data, &buf, sizeof (opts->mss)); |
| 212 | data += sizeof (opts->mss); |
| 213 | opts_len += TCP_OPTION_LEN_MSS; |
| 214 | } |
| 215 | |
| 216 | if (tcp_opts_wscale (opts)) |
| 217 | { |
| 218 | *data++ = TCP_OPTION_WINDOW_SCALE; |
| 219 | *data++ = TCP_OPTION_LEN_WINDOW_SCALE; |
| 220 | *data++ = opts->wscale; |
| 221 | opts_len += TCP_OPTION_LEN_WINDOW_SCALE; |
| 222 | } |
| 223 | |
| 224 | if (tcp_opts_sack_permitted (opts)) |
| 225 | { |
| 226 | *data++ = TCP_OPTION_SACK_PERMITTED; |
| 227 | *data++ = TCP_OPTION_LEN_SACK_PERMITTED; |
| 228 | opts_len += TCP_OPTION_LEN_SACK_PERMITTED; |
| 229 | } |
| 230 | |
| 231 | if (tcp_opts_tstamp (opts)) |
| 232 | { |
| 233 | *data++ = TCP_OPTION_TIMESTAMP; |
| 234 | *data++ = TCP_OPTION_LEN_TIMESTAMP; |
| 235 | buf = clib_host_to_net_u32 (opts->tsval); |
| 236 | clib_memcpy (data, &buf, sizeof (opts->tsval)); |
| 237 | data += sizeof (opts->tsval); |
| 238 | buf = clib_host_to_net_u32 (opts->tsecr); |
| 239 | clib_memcpy (data, &buf, sizeof (opts->tsecr)); |
| 240 | data += sizeof (opts->tsecr); |
| 241 | opts_len += TCP_OPTION_LEN_TIMESTAMP; |
| 242 | } |
| 243 | |
| 244 | if (tcp_opts_sack (opts)) |
| 245 | { |
| 246 | int i; |
| 247 | u32 n_sack_blocks = clib_min (vec_len (opts->sacks), |
| 248 | TCP_OPTS_MAX_SACK_BLOCKS); |
| 249 | |
| 250 | if (n_sack_blocks != 0) |
| 251 | { |
| 252 | *data++ = TCP_OPTION_SACK_BLOCK; |
| 253 | *data++ = 2 + n_sack_blocks * TCP_OPTION_LEN_SACK_BLOCK; |
| 254 | for (i = 0; i < n_sack_blocks; i++) |
| 255 | { |
| 256 | buf = clib_host_to_net_u32 (opts->sacks[i].start); |
| 257 | clib_memcpy (data, &buf, seq_len); |
| 258 | data += seq_len; |
| 259 | buf = clib_host_to_net_u32 (opts->sacks[i].end); |
| 260 | clib_memcpy (data, &buf, seq_len); |
| 261 | data += seq_len; |
| 262 | } |
| 263 | opts_len += 2 + n_sack_blocks * TCP_OPTION_LEN_SACK_BLOCK; |
| 264 | } |
| 265 | } |
| 266 | |
| 267 | /* Terminate TCP options */ |
| 268 | if (opts_len % 4) |
| 269 | { |
| 270 | *data++ = TCP_OPTION_EOL; |
| 271 | opts_len += TCP_OPTION_LEN_EOL; |
| 272 | } |
| 273 | |
| 274 | /* Pad with zeroes to a u32 boundary */ |
| 275 | while (opts_len % 4) |
| 276 | { |
| 277 | *data++ = TCP_OPTION_NOOP; |
| 278 | opts_len += TCP_OPTION_LEN_NOOP; |
| 279 | } |
| 280 | return opts_len; |
| 281 | } |
| 282 | |
| 283 | always_inline int |
Florin Coras | e04c299 | 2017-03-01 08:17:34 -0800 | [diff] [blame] | 284 | tcp_make_syn_options (tcp_options_t * opts, u8 wnd_scale) |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 285 | { |
| 286 | u8 len = 0; |
| 287 | |
| 288 | opts->flags |= TCP_OPTS_FLAG_MSS; |
| 289 | opts->mss = dummy_mtu; /*XXX discover that */ |
| 290 | len += TCP_OPTION_LEN_MSS; |
| 291 | |
| 292 | opts->flags |= TCP_OPTS_FLAG_WSCALE; |
Florin Coras | e04c299 | 2017-03-01 08:17:34 -0800 | [diff] [blame] | 293 | opts->wscale = wnd_scale; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 294 | len += TCP_OPTION_LEN_WINDOW_SCALE; |
| 295 | |
| 296 | opts->flags |= TCP_OPTS_FLAG_TSTAMP; |
| 297 | opts->tsval = tcp_time_now (); |
| 298 | opts->tsecr = 0; |
| 299 | len += TCP_OPTION_LEN_TIMESTAMP; |
| 300 | |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 301 | if (TCP_USE_SACKS) |
| 302 | { |
| 303 | opts->flags |= TCP_OPTS_FLAG_SACK_PERMITTED; |
| 304 | len += TCP_OPTION_LEN_SACK_PERMITTED; |
| 305 | } |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 306 | |
| 307 | /* Align to needed boundary */ |
| 308 | len += (TCP_OPTS_ALIGN - len % TCP_OPTS_ALIGN) % TCP_OPTS_ALIGN; |
| 309 | return len; |
| 310 | } |
| 311 | |
| 312 | always_inline int |
| 313 | tcp_make_synack_options (tcp_connection_t * tc, tcp_options_t * opts) |
| 314 | { |
| 315 | u8 len = 0; |
| 316 | |
| 317 | opts->flags |= TCP_OPTS_FLAG_MSS; |
Florin Coras | c834341 | 2017-05-04 14:25:50 -0700 | [diff] [blame] | 318 | opts->mss = tc->mss; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 319 | len += TCP_OPTION_LEN_MSS; |
| 320 | |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 321 | if (tcp_opts_wscale (&tc->rcv_opts)) |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 322 | { |
| 323 | opts->flags |= TCP_OPTS_FLAG_WSCALE; |
| 324 | opts->wscale = tc->rcv_wscale; |
| 325 | len += TCP_OPTION_LEN_WINDOW_SCALE; |
| 326 | } |
| 327 | |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 328 | if (tcp_opts_tstamp (&tc->rcv_opts)) |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 329 | { |
| 330 | opts->flags |= TCP_OPTS_FLAG_TSTAMP; |
| 331 | opts->tsval = tcp_time_now (); |
| 332 | opts->tsecr = tc->tsval_recent; |
| 333 | len += TCP_OPTION_LEN_TIMESTAMP; |
| 334 | } |
| 335 | |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 336 | if (tcp_opts_sack_permitted (&tc->rcv_opts)) |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 337 | { |
| 338 | opts->flags |= TCP_OPTS_FLAG_SACK_PERMITTED; |
| 339 | len += TCP_OPTION_LEN_SACK_PERMITTED; |
| 340 | } |
| 341 | |
| 342 | /* Align to needed boundary */ |
| 343 | len += (TCP_OPTS_ALIGN - len % TCP_OPTS_ALIGN) % TCP_OPTS_ALIGN; |
| 344 | return len; |
| 345 | } |
| 346 | |
| 347 | always_inline int |
| 348 | tcp_make_established_options (tcp_connection_t * tc, tcp_options_t * opts) |
| 349 | { |
| 350 | u8 len = 0; |
| 351 | |
| 352 | opts->flags = 0; |
| 353 | |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 354 | if (tcp_opts_tstamp (&tc->rcv_opts)) |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 355 | { |
| 356 | opts->flags |= TCP_OPTS_FLAG_TSTAMP; |
| 357 | opts->tsval = tcp_time_now (); |
| 358 | opts->tsecr = tc->tsval_recent; |
| 359 | len += TCP_OPTION_LEN_TIMESTAMP; |
| 360 | } |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 361 | if (tcp_opts_sack_permitted (&tc->rcv_opts)) |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 362 | { |
| 363 | if (vec_len (tc->snd_sacks)) |
| 364 | { |
| 365 | opts->flags |= TCP_OPTS_FLAG_SACK; |
| 366 | opts->sacks = tc->snd_sacks; |
Florin Coras | c28764f | 2017-04-26 00:08:42 -0700 | [diff] [blame] | 367 | opts->n_sack_blocks = clib_min (vec_len (tc->snd_sacks), |
| 368 | TCP_OPTS_MAX_SACK_BLOCKS); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 369 | len += 2 + TCP_OPTION_LEN_SACK_BLOCK * opts->n_sack_blocks; |
| 370 | } |
| 371 | } |
| 372 | |
| 373 | /* Align to needed boundary */ |
| 374 | len += (TCP_OPTS_ALIGN - len % TCP_OPTS_ALIGN) % TCP_OPTS_ALIGN; |
| 375 | return len; |
| 376 | } |
| 377 | |
| 378 | always_inline int |
| 379 | tcp_make_options (tcp_connection_t * tc, tcp_options_t * opts, |
| 380 | tcp_state_t state) |
| 381 | { |
| 382 | switch (state) |
| 383 | { |
| 384 | case TCP_STATE_ESTABLISHED: |
| 385 | case TCP_STATE_FIN_WAIT_1: |
| 386 | return tcp_make_established_options (tc, opts); |
| 387 | case TCP_STATE_SYN_RCVD: |
| 388 | return tcp_make_synack_options (tc, opts); |
| 389 | case TCP_STATE_SYN_SENT: |
Florin Coras | e04c299 | 2017-03-01 08:17:34 -0800 | [diff] [blame] | 390 | return tcp_make_syn_options (opts, tc->rcv_wscale); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 391 | default: |
| 392 | clib_warning ("Not handled!"); |
| 393 | return 0; |
| 394 | } |
| 395 | } |
| 396 | |
Florin Coras | c834341 | 2017-05-04 14:25:50 -0700 | [diff] [blame] | 397 | /** |
Florin Coras | c834341 | 2017-05-04 14:25:50 -0700 | [diff] [blame] | 398 | * Update snd_mss to reflect the effective segment size that we can send |
| 399 | * by taking into account all TCP options, including SACKs |
| 400 | */ |
| 401 | void |
| 402 | tcp_update_snd_mss (tcp_connection_t * tc) |
| 403 | { |
| 404 | /* Compute options to be used for connection. These may be reused when |
| 405 | * sending data or to compute the effective mss (snd_mss) */ |
| 406 | tc->snd_opts_len = |
| 407 | tcp_make_options (tc, &tc->snd_opts, TCP_STATE_ESTABLISHED); |
| 408 | |
| 409 | /* XXX check if MTU has been updated */ |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 410 | tc->snd_mss = clib_min (tc->mss, tc->rcv_opts.mss) - tc->snd_opts_len; |
Florin Coras | db84e57 | 2017-05-09 18:54:52 -0700 | [diff] [blame] | 411 | ASSERT (tc->snd_mss > 0); |
Florin Coras | c834341 | 2017-05-04 14:25:50 -0700 | [diff] [blame] | 412 | } |
| 413 | |
| 414 | void |
| 415 | tcp_init_mss (tcp_connection_t * tc) |
| 416 | { |
Florin Coras | db84e57 | 2017-05-09 18:54:52 -0700 | [diff] [blame] | 417 | u16 default_min_mss = 536; |
Florin Coras | c834341 | 2017-05-04 14:25:50 -0700 | [diff] [blame] | 418 | tcp_update_rcv_mss (tc); |
| 419 | |
| 420 | /* TODO cache mss and consider PMTU discovery */ |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 421 | tc->snd_mss = clib_min (tc->rcv_opts.mss, tc->mss); |
Florin Coras | c834341 | 2017-05-04 14:25:50 -0700 | [diff] [blame] | 422 | |
Florin Coras | db84e57 | 2017-05-09 18:54:52 -0700 | [diff] [blame] | 423 | if (tc->snd_mss < 45) |
Florin Coras | c834341 | 2017-05-04 14:25:50 -0700 | [diff] [blame] | 424 | { |
| 425 | clib_warning ("snd mss is 0"); |
Florin Coras | db84e57 | 2017-05-09 18:54:52 -0700 | [diff] [blame] | 426 | /* Assume that at least the min default mss works */ |
| 427 | tc->snd_mss = default_min_mss; |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 428 | tc->rcv_opts.mss = default_min_mss; |
Florin Coras | c834341 | 2017-05-04 14:25:50 -0700 | [diff] [blame] | 429 | } |
| 430 | |
| 431 | /* We should have enough space for 40 bytes of options */ |
| 432 | ASSERT (tc->snd_mss > 45); |
| 433 | |
| 434 | /* If we use timestamp option, account for it */ |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 435 | if (tcp_opts_tstamp (&tc->rcv_opts)) |
Florin Coras | c834341 | 2017-05-04 14:25:50 -0700 | [diff] [blame] | 436 | tc->snd_mss -= TCP_OPTION_LEN_TIMESTAMP; |
| 437 | } |
| 438 | |
Florin Coras | 66b1131 | 2017-07-31 17:18:03 -0700 | [diff] [blame] | 439 | always_inline int |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 440 | tcp_alloc_tx_buffers (tcp_main_t * tm, u8 thread_index, u32 n_free_buffers) |
| 441 | { |
Florin Coras | 2f9b0c0 | 2017-09-11 20:54:15 -0400 | [diff] [blame] | 442 | vlib_main_t *vm = vlib_get_main (); |
Dave Barach | b7f1faa | 2017-08-29 11:43:37 -0400 | [diff] [blame] | 443 | u32 current_length = vec_len (tm->tx_buffers[thread_index]); |
Florin Coras | 2f9b0c0 | 2017-09-11 20:54:15 -0400 | [diff] [blame] | 444 | u32 n_allocated; |
Dave Barach | b7f1faa | 2017-08-29 11:43:37 -0400 | [diff] [blame] | 445 | |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 446 | vec_validate (tm->tx_buffers[thread_index], |
Dave Barach | b7f1faa | 2017-08-29 11:43:37 -0400 | [diff] [blame] | 447 | current_length + n_free_buffers - 1); |
Florin Coras | 2f9b0c0 | 2017-09-11 20:54:15 -0400 | [diff] [blame] | 448 | n_allocated = |
| 449 | vlib_buffer_alloc (vm, &tm->tx_buffers[thread_index][current_length], |
| 450 | n_free_buffers); |
| 451 | _vec_len (tm->tx_buffers[thread_index]) = current_length + n_allocated; |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 452 | /* buffer shortage, report failure */ |
| 453 | if (vec_len (tm->tx_buffers[thread_index]) == 0) |
| 454 | { |
| 455 | clib_warning ("out of buffers"); |
| 456 | return -1; |
| 457 | } |
| 458 | return 0; |
| 459 | } |
| 460 | |
| 461 | always_inline int |
Florin Coras | 66b1131 | 2017-07-31 17:18:03 -0700 | [diff] [blame] | 462 | tcp_get_free_buffer_index (tcp_main_t * tm, u32 * bidx) |
| 463 | { |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 464 | u32 *my_tx_buffers; |
Florin Coras | 66b1131 | 2017-07-31 17:18:03 -0700 | [diff] [blame] | 465 | u32 thread_index = vlib_get_thread_index (); |
Florin Coras | f988e69 | 2017-11-27 04:34:14 -0500 | [diff] [blame] | 466 | |
| 467 | TCP_DBG_BUFFER_ALLOC_MAYBE_FAIL (thread_index); |
| 468 | |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 469 | if (PREDICT_FALSE (vec_len (tm->tx_buffers[thread_index]) == 0)) |
Florin Coras | 66b1131 | 2017-07-31 17:18:03 -0700 | [diff] [blame] | 470 | { |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 471 | if (tcp_alloc_tx_buffers (tm, thread_index, VLIB_FRAME_SIZE)) |
| 472 | return -1; |
Florin Coras | 66b1131 | 2017-07-31 17:18:03 -0700 | [diff] [blame] | 473 | } |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 474 | my_tx_buffers = tm->tx_buffers[thread_index]; |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 475 | *bidx = my_tx_buffers[vec_len (my_tx_buffers) - 1]; |
Florin Coras | 66b1131 | 2017-07-31 17:18:03 -0700 | [diff] [blame] | 476 | _vec_len (my_tx_buffers) -= 1; |
| 477 | return 0; |
| 478 | } |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 479 | |
Florin Coras | 66b1131 | 2017-07-31 17:18:03 -0700 | [diff] [blame] | 480 | always_inline void |
| 481 | tcp_return_buffer (tcp_main_t * tm) |
| 482 | { |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 483 | _vec_len (tm->tx_buffers[vlib_get_thread_index ()]) += 1; |
Florin Coras | 66b1131 | 2017-07-31 17:18:03 -0700 | [diff] [blame] | 484 | } |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 485 | |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 486 | always_inline void * |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 487 | tcp_reuse_buffer (vlib_main_t * vm, vlib_buffer_t * b) |
| 488 | { |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 489 | if (b->flags & VLIB_BUFFER_NEXT_PRESENT) |
| 490 | vlib_buffer_free_one (vm, b->next_buffer); |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 491 | /* Zero all flags but free list index and trace flag */ |
| 492 | b->flags &= VLIB_BUFFER_NEXT_PRESENT - 1; |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 493 | b->current_data = 0; |
| 494 | b->current_length = 0; |
| 495 | b->total_length_not_including_first_buffer = 0; |
| 496 | vnet_buffer (b)->tcp.flags = 0; |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 497 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 498 | /* Leave enough space for headers */ |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 499 | return vlib_buffer_make_headroom (b, MAX_HDRS_LEN); |
| 500 | } |
| 501 | |
| 502 | always_inline void * |
| 503 | tcp_init_buffer (vlib_main_t * vm, vlib_buffer_t * b) |
| 504 | { |
| 505 | ASSERT ((b->flags & VLIB_BUFFER_NEXT_PRESENT) == 0); |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 506 | b->flags &= VLIB_BUFFER_FREE_LIST_INDEX_MASK; |
| 507 | b->flags |= VNET_BUFFER_F_LOCALLY_ORIGINATED; |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 508 | b->total_length_not_including_first_buffer = 0; |
Florin Coras | d79b41e | 2017-03-04 05:37:52 -0800 | [diff] [blame] | 509 | vnet_buffer (b)->tcp.flags = 0; |
Florin Coras | f988e69 | 2017-11-27 04:34:14 -0500 | [diff] [blame] | 510 | VLIB_BUFFER_TRACE_TRAJECTORY_INIT (b); |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 511 | /* Leave enough space for headers */ |
| 512 | return vlib_buffer_make_headroom (b, MAX_HDRS_LEN); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 513 | } |
| 514 | |
| 515 | /** |
| 516 | * Prepare ACK |
| 517 | */ |
| 518 | void |
| 519 | tcp_make_ack_i (tcp_connection_t * tc, vlib_buffer_t * b, tcp_state_t state, |
| 520 | u8 flags) |
| 521 | { |
| 522 | tcp_options_t _snd_opts, *snd_opts = &_snd_opts; |
| 523 | u8 tcp_opts_len, tcp_hdr_opts_len; |
| 524 | tcp_header_t *th; |
| 525 | u16 wnd; |
| 526 | |
| 527 | wnd = tcp_window_to_advertise (tc, state); |
| 528 | |
| 529 | /* Make and write options */ |
| 530 | tcp_opts_len = tcp_make_established_options (tc, snd_opts); |
| 531 | tcp_hdr_opts_len = tcp_opts_len + sizeof (tcp_header_t); |
| 532 | |
| 533 | th = vlib_buffer_push_tcp (b, tc->c_lcl_port, tc->c_rmt_port, tc->snd_nxt, |
| 534 | tc->rcv_nxt, tcp_hdr_opts_len, flags, wnd); |
| 535 | |
| 536 | tcp_options_write ((u8 *) (th + 1), snd_opts); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 537 | vnet_buffer (b)->tcp.connection_index = tc->c_c_index; |
| 538 | } |
| 539 | |
| 540 | /** |
| 541 | * Convert buffer to ACK |
| 542 | */ |
| 543 | void |
| 544 | tcp_make_ack (tcp_connection_t * tc, vlib_buffer_t * b) |
| 545 | { |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 546 | vlib_main_t *vm = vlib_get_main (); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 547 | |
| 548 | tcp_reuse_buffer (vm, b); |
| 549 | tcp_make_ack_i (tc, b, TCP_STATE_ESTABLISHED, TCP_FLAG_ACK); |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 550 | TCP_EVT_DBG (TCP_EVT_ACK_SENT, tc); |
Florin Coras | 3e350af | 2017-03-30 02:54:28 -0700 | [diff] [blame] | 551 | vnet_buffer (b)->tcp.flags = TCP_BUF_FLAG_ACK; |
| 552 | tc->rcv_las = tc->rcv_nxt; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 553 | } |
| 554 | |
| 555 | /** |
| 556 | * Convert buffer to FIN-ACK |
| 557 | */ |
| 558 | void |
Florin Coras | d79b41e | 2017-03-04 05:37:52 -0800 | [diff] [blame] | 559 | tcp_make_fin (tcp_connection_t * tc, vlib_buffer_t * b) |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 560 | { |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 561 | vlib_main_t *vm = vlib_get_main (); |
Florin Coras | d79b41e | 2017-03-04 05:37:52 -0800 | [diff] [blame] | 562 | u8 flags = 0; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 563 | |
| 564 | tcp_reuse_buffer (vm, b); |
Florin Coras | d79b41e | 2017-03-04 05:37:52 -0800 | [diff] [blame] | 565 | |
Florin Coras | e69f495 | 2017-03-07 10:06:24 -0800 | [diff] [blame] | 566 | flags = TCP_FLAG_FIN | TCP_FLAG_ACK; |
Florin Coras | d79b41e | 2017-03-04 05:37:52 -0800 | [diff] [blame] | 567 | tcp_make_ack_i (tc, b, TCP_STATE_ESTABLISHED, flags); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 568 | |
| 569 | /* Reset flags, make sure ack is sent */ |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 570 | vnet_buffer (b)->tcp.flags &= ~TCP_BUF_FLAG_DUPACK; |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 571 | } |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 572 | |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 573 | /** |
| 574 | * Convert buffer to SYN |
| 575 | */ |
| 576 | void |
| 577 | tcp_make_syn (tcp_connection_t * tc, vlib_buffer_t * b) |
| 578 | { |
| 579 | u8 tcp_hdr_opts_len, tcp_opts_len; |
| 580 | tcp_header_t *th; |
| 581 | u16 initial_wnd; |
| 582 | tcp_options_t snd_opts; |
| 583 | |
| 584 | initial_wnd = tcp_initial_window_to_advertise (tc); |
| 585 | |
| 586 | /* Make and write options */ |
| 587 | memset (&snd_opts, 0, sizeof (snd_opts)); |
| 588 | tcp_opts_len = tcp_make_syn_options (&snd_opts, tc->rcv_wscale); |
| 589 | tcp_hdr_opts_len = tcp_opts_len + sizeof (tcp_header_t); |
| 590 | |
| 591 | th = vlib_buffer_push_tcp (b, tc->c_lcl_port, tc->c_rmt_port, tc->iss, |
| 592 | tc->rcv_nxt, tcp_hdr_opts_len, TCP_FLAG_SYN, |
| 593 | initial_wnd); |
| 594 | vnet_buffer (b)->tcp.connection_index = tc->c_c_index; |
| 595 | tcp_options_write ((u8 *) (th + 1), &snd_opts); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 596 | } |
| 597 | |
| 598 | /** |
| 599 | * Convert buffer to SYN-ACK |
| 600 | */ |
| 601 | void |
| 602 | tcp_make_synack (tcp_connection_t * tc, vlib_buffer_t * b) |
| 603 | { |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 604 | vlib_main_t *vm = vlib_get_main (); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 605 | tcp_options_t _snd_opts, *snd_opts = &_snd_opts; |
| 606 | u8 tcp_opts_len, tcp_hdr_opts_len; |
| 607 | tcp_header_t *th; |
| 608 | u16 initial_wnd; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 609 | |
| 610 | memset (snd_opts, 0, sizeof (*snd_opts)); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 611 | tcp_reuse_buffer (vm, b); |
| 612 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 613 | initial_wnd = tcp_initial_window_to_advertise (tc); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 614 | tcp_opts_len = tcp_make_synack_options (tc, snd_opts); |
| 615 | tcp_hdr_opts_len = tcp_opts_len + sizeof (tcp_header_t); |
| 616 | |
| 617 | th = vlib_buffer_push_tcp (b, tc->c_lcl_port, tc->c_rmt_port, tc->iss, |
| 618 | tc->rcv_nxt, tcp_hdr_opts_len, |
| 619 | TCP_FLAG_SYN | TCP_FLAG_ACK, initial_wnd); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 620 | tcp_options_write ((u8 *) (th + 1), snd_opts); |
| 621 | |
| 622 | vnet_buffer (b)->tcp.connection_index = tc->c_c_index; |
| 623 | vnet_buffer (b)->tcp.flags = TCP_BUF_FLAG_ACK; |
| 624 | |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 625 | /* Init retransmit timer. Use update instead of set because of |
| 626 | * retransmissions */ |
| 627 | tcp_retransmit_timer_force_update (tc); |
Florin Coras | 6534b7a | 2017-07-18 05:38:03 -0400 | [diff] [blame] | 628 | TCP_EVT_DBG (TCP_EVT_SYNACK_SENT, tc); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 629 | } |
| 630 | |
| 631 | always_inline void |
Florin Coras | 9d06304 | 2017-09-14 03:08:00 -0400 | [diff] [blame] | 632 | tcp_enqueue_to_ip_lookup_i (vlib_main_t * vm, vlib_buffer_t * b, u32 bi, |
| 633 | u8 is_ip4, u8 flush) |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 634 | { |
Florin Coras | 9d06304 | 2017-09-14 03:08:00 -0400 | [diff] [blame] | 635 | tcp_main_t *tm = vnet_get_tcp_main (); |
| 636 | u32 thread_index = vlib_get_thread_index (); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 637 | u32 *to_next, next_index; |
| 638 | vlib_frame_t *f; |
| 639 | |
Damjan Marion | 213b5aa | 2017-07-13 21:19:27 +0200 | [diff] [blame] | 640 | b->flags |= VNET_BUFFER_F_LOCALLY_ORIGINATED; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 641 | b->error = 0; |
| 642 | |
| 643 | /* Default FIB for now */ |
Florin Coras | f988e69 | 2017-11-27 04:34:14 -0500 | [diff] [blame] | 644 | vnet_buffer (b)->sw_if_index[VLIB_TX] = ~0; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 645 | |
| 646 | /* Send to IP lookup */ |
| 647 | next_index = is_ip4 ? ip4_lookup_node.index : ip6_lookup_node.index; |
Florin Coras | f988e69 | 2017-11-27 04:34:14 -0500 | [diff] [blame] | 648 | tcp_trajectory_add_start (b, 1); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 649 | |
Florin Coras | 9d06304 | 2017-09-14 03:08:00 -0400 | [diff] [blame] | 650 | f = tm->ip_lookup_tx_frames[!is_ip4][thread_index]; |
| 651 | if (!f) |
| 652 | { |
| 653 | f = vlib_get_frame_to_node (vm, next_index); |
| 654 | ASSERT (f); |
| 655 | tm->ip_lookup_tx_frames[!is_ip4][thread_index] = f; |
| 656 | } |
| 657 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 658 | to_next = vlib_frame_vector_args (f); |
Florin Coras | 9d06304 | 2017-09-14 03:08:00 -0400 | [diff] [blame] | 659 | to_next[f->n_vectors] = bi; |
| 660 | f->n_vectors += 1; |
| 661 | if (flush || f->n_vectors == VLIB_FRAME_SIZE) |
| 662 | { |
| 663 | vlib_put_frame_to_node (vm, next_index, f); |
| 664 | tm->ip_lookup_tx_frames[!is_ip4][thread_index] = 0; |
| 665 | } |
| 666 | } |
| 667 | |
| 668 | always_inline void |
| 669 | tcp_enqueue_to_ip_lookup_now (vlib_main_t * vm, vlib_buffer_t * b, u32 bi, |
| 670 | u8 is_ip4) |
| 671 | { |
| 672 | tcp_enqueue_to_ip_lookup_i (vm, b, bi, is_ip4, 1); |
| 673 | } |
| 674 | |
| 675 | always_inline void |
| 676 | tcp_enqueue_to_ip_lookup (vlib_main_t * vm, vlib_buffer_t * b, u32 bi, |
| 677 | u8 is_ip4) |
| 678 | { |
| 679 | tcp_enqueue_to_ip_lookup_i (vm, b, bi, is_ip4, 0); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 680 | } |
| 681 | |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 682 | always_inline void |
| 683 | tcp_enqueue_to_output_i (vlib_main_t * vm, vlib_buffer_t * b, u32 bi, |
| 684 | u8 is_ip4, u8 flush) |
| 685 | { |
| 686 | tcp_main_t *tm = vnet_get_tcp_main (); |
| 687 | u32 thread_index = vlib_get_thread_index (); |
| 688 | u32 *to_next, next_index; |
| 689 | vlib_frame_t *f; |
| 690 | |
| 691 | b->flags |= VNET_BUFFER_F_LOCALLY_ORIGINATED; |
| 692 | b->error = 0; |
| 693 | |
| 694 | /* Decide where to send the packet */ |
| 695 | next_index = is_ip4 ? tcp4_output_node.index : tcp6_output_node.index; |
Florin Coras | f988e69 | 2017-11-27 04:34:14 -0500 | [diff] [blame] | 696 | tcp_trajectory_add_start (b, 2); |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 697 | |
| 698 | /* Get frame to v4/6 output node */ |
| 699 | f = tm->tx_frames[!is_ip4][thread_index]; |
| 700 | if (!f) |
| 701 | { |
| 702 | f = vlib_get_frame_to_node (vm, next_index); |
| 703 | ASSERT (f); |
| 704 | tm->tx_frames[!is_ip4][thread_index] = f; |
| 705 | } |
| 706 | to_next = vlib_frame_vector_args (f); |
| 707 | to_next[f->n_vectors] = bi; |
| 708 | f->n_vectors += 1; |
| 709 | if (flush || f->n_vectors == VLIB_FRAME_SIZE) |
| 710 | { |
| 711 | vlib_put_frame_to_node (vm, next_index, f); |
| 712 | tm->tx_frames[!is_ip4][thread_index] = 0; |
| 713 | } |
| 714 | } |
| 715 | |
| 716 | always_inline void |
| 717 | tcp_enqueue_to_output (vlib_main_t * vm, vlib_buffer_t * b, u32 bi, u8 is_ip4) |
| 718 | { |
| 719 | tcp_enqueue_to_output_i (vm, b, bi, is_ip4, 0); |
| 720 | } |
| 721 | |
| 722 | always_inline void |
| 723 | tcp_enqueue_to_output_now (vlib_main_t * vm, vlib_buffer_t * b, u32 bi, |
| 724 | u8 is_ip4) |
| 725 | { |
| 726 | tcp_enqueue_to_output_i (vm, b, bi, is_ip4, 1); |
| 727 | } |
| 728 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 729 | int |
| 730 | tcp_make_reset_in_place (vlib_main_t * vm, vlib_buffer_t * b0, |
Florin Coras | dc629cd | 2017-05-09 00:52:37 -0700 | [diff] [blame] | 731 | tcp_state_t state, u8 thread_index, u8 is_ip4) |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 732 | { |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 733 | ip4_header_t *ih4; |
| 734 | ip6_header_t *ih6; |
| 735 | tcp_header_t *th0; |
Florin Coras | dc629cd | 2017-05-09 00:52:37 -0700 | [diff] [blame] | 736 | ip4_address_t src_ip40, dst_ip40; |
| 737 | ip6_address_t src_ip60, dst_ip60; |
| 738 | u16 src_port, dst_port; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 739 | u32 tmp; |
Florin Coras | dc629cd | 2017-05-09 00:52:37 -0700 | [diff] [blame] | 740 | u32 seq, ack; |
| 741 | u8 flags; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 742 | |
| 743 | /* Find IP and TCP headers */ |
Florin Coras | dc629cd | 2017-05-09 00:52:37 -0700 | [diff] [blame] | 744 | th0 = tcp_buffer_hdr (b0); |
| 745 | |
| 746 | /* Save src and dst ip */ |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 747 | if (is_ip4) |
| 748 | { |
| 749 | ih4 = vlib_buffer_get_current (b0); |
Florin Coras | dc629cd | 2017-05-09 00:52:37 -0700 | [diff] [blame] | 750 | ASSERT ((ih4->ip_version_and_header_length & 0xF0) == 0x40); |
| 751 | src_ip40.as_u32 = ih4->src_address.as_u32; |
| 752 | dst_ip40.as_u32 = ih4->dst_address.as_u32; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 753 | } |
| 754 | else |
| 755 | { |
| 756 | ih6 = vlib_buffer_get_current (b0); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 757 | ASSERT ((ih6->ip_version_traffic_class_and_flow_label & 0xF0) == 0x60); |
| 758 | clib_memcpy (&src_ip60, &ih6->src_address, sizeof (ip6_address_t)); |
Florin Coras | dc629cd | 2017-05-09 00:52:37 -0700 | [diff] [blame] | 759 | clib_memcpy (&dst_ip60, &ih6->dst_address, sizeof (ip6_address_t)); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 760 | } |
| 761 | |
Florin Coras | dc629cd | 2017-05-09 00:52:37 -0700 | [diff] [blame] | 762 | src_port = th0->src_port; |
| 763 | dst_port = th0->dst_port; |
| 764 | |
| 765 | /* Try to determine what/why we're actually resetting */ |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 766 | if (state == TCP_STATE_CLOSED) |
| 767 | { |
| 768 | if (!tcp_syn (th0)) |
| 769 | return -1; |
| 770 | |
| 771 | tmp = clib_net_to_host_u32 (th0->seq_number); |
| 772 | |
| 773 | /* Got a SYN for no listener. */ |
Florin Coras | dc629cd | 2017-05-09 00:52:37 -0700 | [diff] [blame] | 774 | flags = TCP_FLAG_RST | TCP_FLAG_ACK; |
| 775 | ack = clib_host_to_net_u32 (tmp + 1); |
| 776 | seq = 0; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 777 | } |
Florin Coras | dc629cd | 2017-05-09 00:52:37 -0700 | [diff] [blame] | 778 | else |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 779 | { |
Florin Coras | dc629cd | 2017-05-09 00:52:37 -0700 | [diff] [blame] | 780 | flags = TCP_FLAG_RST; |
| 781 | seq = th0->ack_number; |
| 782 | ack = 0; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 783 | } |
| 784 | |
Florin Coras | dc629cd | 2017-05-09 00:52:37 -0700 | [diff] [blame] | 785 | tcp_reuse_buffer (vm, b0); |
Florin Coras | f988e69 | 2017-11-27 04:34:14 -0500 | [diff] [blame] | 786 | tcp_trajectory_add_start (b0, 4); |
Florin Coras | dc629cd | 2017-05-09 00:52:37 -0700 | [diff] [blame] | 787 | th0 = vlib_buffer_push_tcp_net_order (b0, dst_port, src_port, seq, ack, |
| 788 | sizeof (tcp_header_t), flags, 0); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 789 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 790 | if (is_ip4) |
| 791 | { |
Florin Coras | dc629cd | 2017-05-09 00:52:37 -0700 | [diff] [blame] | 792 | ih4 = vlib_buffer_push_ip4 (vm, b0, &dst_ip40, &src_ip40, |
Florin Coras | fdbc382 | 2017-07-27 00:34:12 -0700 | [diff] [blame] | 793 | IP_PROTOCOL_TCP, 1); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 794 | th0->checksum = ip4_tcp_udp_compute_checksum (vm, b0, ih4); |
| 795 | } |
| 796 | else |
| 797 | { |
| 798 | int bogus = ~0; |
Florin Coras | dc629cd | 2017-05-09 00:52:37 -0700 | [diff] [blame] | 799 | ih6 = vlib_buffer_push_ip6 (vm, b0, &dst_ip60, &src_ip60, |
| 800 | IP_PROTOCOL_TCP); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 801 | th0->checksum = ip6_tcp_udp_icmp_compute_checksum (vm, b0, ih6, &bogus); |
| 802 | ASSERT (!bogus); |
| 803 | } |
| 804 | |
| 805 | return 0; |
| 806 | } |
| 807 | |
| 808 | /** |
| 809 | * Send reset without reusing existing buffer |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 810 | * |
| 811 | * It extracts connection info out of original packet |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 812 | */ |
| 813 | void |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 814 | tcp_send_reset_w_pkt (tcp_connection_t * tc, vlib_buffer_t * pkt, u8 is_ip4) |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 815 | { |
| 816 | vlib_buffer_t *b; |
| 817 | u32 bi; |
| 818 | tcp_main_t *tm = vnet_get_tcp_main (); |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 819 | vlib_main_t *vm = vlib_get_main (); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 820 | u8 tcp_hdr_len, flags = 0; |
| 821 | tcp_header_t *th, *pkt_th; |
| 822 | u32 seq, ack; |
| 823 | ip4_header_t *ih4, *pkt_ih4; |
| 824 | ip6_header_t *ih6, *pkt_ih6; |
| 825 | |
Florin Coras | 66b1131 | 2017-07-31 17:18:03 -0700 | [diff] [blame] | 826 | if (PREDICT_FALSE (tcp_get_free_buffer_index (tm, &bi))) |
| 827 | return; |
| 828 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 829 | b = vlib_get_buffer (vm, bi); |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 830 | tcp_init_buffer (vm, b); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 831 | |
| 832 | /* Make and write options */ |
| 833 | tcp_hdr_len = sizeof (tcp_header_t); |
| 834 | |
| 835 | if (is_ip4) |
| 836 | { |
| 837 | pkt_ih4 = vlib_buffer_get_current (pkt); |
| 838 | pkt_th = ip4_next_header (pkt_ih4); |
| 839 | } |
| 840 | else |
| 841 | { |
| 842 | pkt_ih6 = vlib_buffer_get_current (pkt); |
| 843 | pkt_th = ip6_next_header (pkt_ih6); |
| 844 | } |
| 845 | |
| 846 | if (tcp_ack (pkt_th)) |
| 847 | { |
| 848 | flags = TCP_FLAG_RST; |
| 849 | seq = pkt_th->ack_number; |
Florin Coras | 6534b7a | 2017-07-18 05:38:03 -0400 | [diff] [blame] | 850 | ack = (tc && tc->state >= TCP_STATE_SYN_RCVD) ? tc->rcv_nxt : 0; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 851 | } |
| 852 | else |
| 853 | { |
| 854 | flags = TCP_FLAG_RST | TCP_FLAG_ACK; |
| 855 | seq = 0; |
| 856 | ack = clib_host_to_net_u32 (vnet_buffer (pkt)->tcp.seq_end); |
| 857 | } |
| 858 | |
| 859 | th = vlib_buffer_push_tcp_net_order (b, pkt_th->dst_port, pkt_th->src_port, |
| 860 | seq, ack, tcp_hdr_len, flags, 0); |
| 861 | |
| 862 | /* Swap src and dst ip */ |
| 863 | if (is_ip4) |
| 864 | { |
| 865 | ASSERT ((pkt_ih4->ip_version_and_header_length & 0xF0) == 0x40); |
| 866 | ih4 = vlib_buffer_push_ip4 (vm, b, &pkt_ih4->dst_address, |
Florin Coras | fdbc382 | 2017-07-27 00:34:12 -0700 | [diff] [blame] | 867 | &pkt_ih4->src_address, IP_PROTOCOL_TCP, 1); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 868 | th->checksum = ip4_tcp_udp_compute_checksum (vm, b, ih4); |
| 869 | } |
| 870 | else |
| 871 | { |
| 872 | int bogus = ~0; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 873 | ASSERT ((pkt_ih6->ip_version_traffic_class_and_flow_label & 0xF0) == |
| 874 | 0x60); |
root | c9d1c5b | 2017-08-15 12:58:31 -0400 | [diff] [blame] | 875 | ih6 = vlib_buffer_push_ip6 (vm, b, &pkt_ih6->dst_address, |
| 876 | &pkt_ih6->src_address, IP_PROTOCOL_TCP); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 877 | th->checksum = ip6_tcp_udp_icmp_compute_checksum (vm, b, ih6, &bogus); |
| 878 | ASSERT (!bogus); |
| 879 | } |
| 880 | |
Florin Coras | 9d06304 | 2017-09-14 03:08:00 -0400 | [diff] [blame] | 881 | tcp_enqueue_to_ip_lookup_now (vm, b, bi, is_ip4); |
Florin Coras | 6534b7a | 2017-07-18 05:38:03 -0400 | [diff] [blame] | 882 | TCP_EVT_DBG (TCP_EVT_RST_SENT, tc); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 883 | } |
| 884 | |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 885 | /** |
| 886 | * Build and set reset packet for connection |
| 887 | */ |
| 888 | void |
| 889 | tcp_send_reset (tcp_connection_t * tc) |
| 890 | { |
| 891 | vlib_main_t *vm = vlib_get_main (); |
| 892 | tcp_main_t *tm = vnet_get_tcp_main (); |
| 893 | vlib_buffer_t *b; |
| 894 | u32 bi; |
| 895 | tcp_header_t *th; |
| 896 | u16 tcp_hdr_opts_len, advertise_wnd, opts_write_len; |
| 897 | u8 flags; |
| 898 | |
| 899 | if (PREDICT_FALSE (tcp_get_free_buffer_index (tm, &bi))) |
| 900 | return; |
| 901 | b = vlib_get_buffer (vm, bi); |
| 902 | tcp_init_buffer (vm, b); |
| 903 | |
| 904 | tc->snd_opts_len = tcp_make_options (tc, &tc->snd_opts, tc->state); |
| 905 | tcp_hdr_opts_len = tc->snd_opts_len + sizeof (tcp_header_t); |
| 906 | advertise_wnd = tcp_window_to_advertise (tc, TCP_STATE_ESTABLISHED); |
| 907 | flags = TCP_FLAG_RST; |
| 908 | th = vlib_buffer_push_tcp (b, tc->c_lcl_port, tc->c_rmt_port, tc->snd_nxt, |
| 909 | tc->rcv_nxt, tcp_hdr_opts_len, flags, |
| 910 | advertise_wnd); |
| 911 | opts_write_len = tcp_options_write ((u8 *) (th + 1), &tc->snd_opts); |
| 912 | ASSERT (opts_write_len == tc->snd_opts_len); |
| 913 | vnet_buffer (b)->tcp.connection_index = tc->c_c_index; |
Florin Coras | f1762d6 | 2017-09-24 19:43:08 -0400 | [diff] [blame] | 914 | if (tc->c_is_ip4) |
| 915 | { |
| 916 | ip4_header_t *ih4; |
| 917 | ih4 = vlib_buffer_push_ip4 (vm, b, &tc->c_lcl_ip.ip4, |
| 918 | &tc->c_rmt_ip.ip4, IP_PROTOCOL_TCP, 0); |
| 919 | th->checksum = ip4_tcp_udp_compute_checksum (vm, b, ih4); |
| 920 | } |
| 921 | else |
| 922 | { |
| 923 | int bogus = ~0; |
| 924 | ip6_header_t *ih6; |
| 925 | ih6 = vlib_buffer_push_ip6 (vm, b, &tc->c_lcl_ip.ip6, |
| 926 | &tc->c_rmt_ip.ip6, IP_PROTOCOL_TCP); |
| 927 | th->checksum = ip6_tcp_udp_icmp_compute_checksum (vm, b, ih6, &bogus); |
| 928 | ASSERT (!bogus); |
| 929 | } |
| 930 | tcp_enqueue_to_ip_lookup_now (vm, b, bi, tc->c_is_ip4); |
| 931 | TCP_EVT_DBG (TCP_EVT_RST_SENT, tc); |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 932 | } |
| 933 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 934 | void |
| 935 | tcp_push_ip_hdr (tcp_main_t * tm, tcp_connection_t * tc, vlib_buffer_t * b) |
| 936 | { |
| 937 | tcp_header_t *th = vlib_buffer_get_current (b); |
Dave Barach | 2c25a62 | 2017-06-26 11:35:07 -0400 | [diff] [blame] | 938 | vlib_main_t *vm = vlib_get_main (); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 939 | if (tc->c_is_ip4) |
| 940 | { |
| 941 | ip4_header_t *ih; |
Dave Barach | 2c25a62 | 2017-06-26 11:35:07 -0400 | [diff] [blame] | 942 | ih = vlib_buffer_push_ip4 (vm, b, &tc->c_lcl_ip4, |
Florin Coras | fdbc382 | 2017-07-27 00:34:12 -0700 | [diff] [blame] | 943 | &tc->c_rmt_ip4, IP_PROTOCOL_TCP, 1); |
Dave Barach | 2c25a62 | 2017-06-26 11:35:07 -0400 | [diff] [blame] | 944 | th->checksum = ip4_tcp_udp_compute_checksum (vm, b, ih); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 945 | } |
| 946 | else |
| 947 | { |
| 948 | ip6_header_t *ih; |
| 949 | int bogus = ~0; |
| 950 | |
Dave Barach | 2c25a62 | 2017-06-26 11:35:07 -0400 | [diff] [blame] | 951 | ih = vlib_buffer_push_ip6 (vm, b, &tc->c_lcl_ip6, |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 952 | &tc->c_rmt_ip6, IP_PROTOCOL_TCP); |
Dave Barach | 2c25a62 | 2017-06-26 11:35:07 -0400 | [diff] [blame] | 953 | th->checksum = ip6_tcp_udp_icmp_compute_checksum (vm, b, ih, &bogus); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 954 | ASSERT (!bogus); |
| 955 | } |
| 956 | } |
| 957 | |
| 958 | /** |
| 959 | * Send SYN |
| 960 | * |
| 961 | * Builds a SYN packet for a half-open connection and sends it to ipx_lookup. |
| 962 | * The packet is not forwarded through tcpx_output to avoid doing lookups |
| 963 | * in the half_open pool. |
| 964 | */ |
| 965 | void |
| 966 | tcp_send_syn (tcp_connection_t * tc) |
| 967 | { |
| 968 | vlib_buffer_t *b; |
| 969 | u32 bi; |
| 970 | tcp_main_t *tm = vnet_get_tcp_main (); |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 971 | vlib_main_t *vm = vlib_get_main (); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 972 | |
Florin Coras | f988e69 | 2017-11-27 04:34:14 -0500 | [diff] [blame] | 973 | /* |
| 974 | * Setup retransmit and establish timers before requesting buffer |
| 975 | * such that we can return if we've ran out. |
| 976 | */ |
| 977 | tcp_timer_set (tc, TCP_TIMER_ESTABLISH, TCP_ESTABLISH_TIME); |
| 978 | tcp_timer_update (tc, TCP_TIMER_RETRANSMIT_SYN, |
| 979 | tc->rto * TCP_TO_TIMER_TICK); |
| 980 | |
Florin Coras | 66b1131 | 2017-07-31 17:18:03 -0700 | [diff] [blame] | 981 | if (PREDICT_FALSE (tcp_get_free_buffer_index (tm, &bi))) |
| 982 | return; |
| 983 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 984 | b = vlib_get_buffer (vm, bi); |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 985 | tcp_init_buffer (vm, b); |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 986 | tcp_make_syn (tc, b); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 987 | |
| 988 | /* Measure RTT with this */ |
| 989 | tc->rtt_ts = tcp_time_now (); |
| 990 | tc->rtt_seq = tc->snd_nxt; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 991 | tc->rto_boff = 0; |
| 992 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 993 | tcp_push_ip_hdr (tm, tc, b); |
| 994 | tcp_enqueue_to_ip_lookup (vm, b, bi, tc->c_is_ip4); |
Florin Coras | 6534b7a | 2017-07-18 05:38:03 -0400 | [diff] [blame] | 995 | TCP_EVT_DBG (TCP_EVT_SYN_SENT, tc); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 996 | } |
| 997 | |
Florin Coras | 66b1131 | 2017-07-31 17:18:03 -0700 | [diff] [blame] | 998 | /** |
| 999 | * Flush tx frame populated by retransmits and timer pops |
| 1000 | */ |
| 1001 | void |
| 1002 | tcp_flush_frame_to_output (vlib_main_t * vm, u8 thread_index, u8 is_ip4) |
| 1003 | { |
| 1004 | if (tcp_main.tx_frames[!is_ip4][thread_index]) |
| 1005 | { |
| 1006 | u32 next_index; |
| 1007 | next_index = is_ip4 ? tcp4_output_node.index : tcp6_output_node.index; |
| 1008 | vlib_put_frame_to_node (vm, next_index, |
| 1009 | tcp_main.tx_frames[!is_ip4][thread_index]); |
| 1010 | tcp_main.tx_frames[!is_ip4][thread_index] = 0; |
| 1011 | } |
| 1012 | } |
| 1013 | |
| 1014 | /** |
Florin Coras | 9d06304 | 2017-09-14 03:08:00 -0400 | [diff] [blame] | 1015 | * Flush ip lookup tx frames populated by timer pops |
| 1016 | */ |
| 1017 | always_inline void |
| 1018 | tcp_flush_frame_to_ip_lookup (vlib_main_t * vm, u8 thread_index, u8 is_ip4) |
| 1019 | { |
| 1020 | if (tcp_main.ip_lookup_tx_frames[!is_ip4][thread_index]) |
| 1021 | { |
| 1022 | u32 next_index; |
| 1023 | next_index = is_ip4 ? ip4_lookup_node.index : ip6_lookup_node.index; |
| 1024 | vlib_put_frame_to_node (vm, next_index, |
| 1025 | tcp_main.ip_lookup_tx_frames[!is_ip4] |
| 1026 | [thread_index]); |
| 1027 | tcp_main.ip_lookup_tx_frames[!is_ip4][thread_index] = 0; |
| 1028 | } |
| 1029 | } |
| 1030 | |
| 1031 | /** |
| 1032 | * Flush v4 and v6 tcp and ip-lookup tx frames for thread index |
Florin Coras | 66b1131 | 2017-07-31 17:18:03 -0700 | [diff] [blame] | 1033 | */ |
| 1034 | void |
| 1035 | tcp_flush_frames_to_output (u8 thread_index) |
| 1036 | { |
| 1037 | vlib_main_t *vm = vlib_get_main (); |
| 1038 | tcp_flush_frame_to_output (vm, thread_index, 1); |
| 1039 | tcp_flush_frame_to_output (vm, thread_index, 0); |
Florin Coras | 9d06304 | 2017-09-14 03:08:00 -0400 | [diff] [blame] | 1040 | tcp_flush_frame_to_ip_lookup (vm, thread_index, 1); |
| 1041 | tcp_flush_frame_to_ip_lookup (vm, thread_index, 0); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1042 | } |
| 1043 | |
| 1044 | /** |
| 1045 | * Send FIN |
| 1046 | */ |
| 1047 | void |
| 1048 | tcp_send_fin (tcp_connection_t * tc) |
| 1049 | { |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1050 | tcp_main_t *tm = vnet_get_tcp_main (); |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1051 | vlib_main_t *vm = vlib_get_main (); |
Florin Coras | 9d06304 | 2017-09-14 03:08:00 -0400 | [diff] [blame] | 1052 | vlib_buffer_t *b; |
| 1053 | u32 bi; |
| 1054 | u8 fin_snt = 0; |
| 1055 | |
Florin Coras | f988e69 | 2017-11-27 04:34:14 -0500 | [diff] [blame] | 1056 | tcp_retransmit_timer_force_update (tc); |
Florin Coras | 66b1131 | 2017-07-31 17:18:03 -0700 | [diff] [blame] | 1057 | if (PREDICT_FALSE (tcp_get_free_buffer_index (tm, &bi))) |
| 1058 | return; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1059 | b = vlib_get_buffer (vm, bi); |
Florin Coras | 9d06304 | 2017-09-14 03:08:00 -0400 | [diff] [blame] | 1060 | fin_snt = tc->flags & TCP_CONN_FINSNT; |
| 1061 | if (fin_snt) |
| 1062 | tc->snd_nxt = tc->snd_una; |
Florin Coras | d79b41e | 2017-03-04 05:37:52 -0800 | [diff] [blame] | 1063 | tcp_make_fin (tc, b); |
Florin Coras | 66b1131 | 2017-07-31 17:18:03 -0700 | [diff] [blame] | 1064 | tcp_enqueue_to_output_now (vm, b, bi, tc->c_is_ip4); |
Florin Coras | 9d06304 | 2017-09-14 03:08:00 -0400 | [diff] [blame] | 1065 | if (!fin_snt) |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 1066 | { |
| 1067 | tc->flags |= TCP_CONN_FINSNT; |
| 1068 | tc->flags &= ~TCP_CONN_FINPNDG; |
Florin Coras | 9d06304 | 2017-09-14 03:08:00 -0400 | [diff] [blame] | 1069 | /* Account for the FIN */ |
| 1070 | tc->snd_una_max += 1; |
| 1071 | tc->snd_nxt = tc->snd_una_max; |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 1072 | } |
Florin Coras | a096f2d | 2017-09-28 23:49:42 -0400 | [diff] [blame] | 1073 | else |
| 1074 | { |
| 1075 | tc->snd_nxt = tc->snd_una_max; |
| 1076 | } |
Florin Coras | e69f495 | 2017-03-07 10:06:24 -0800 | [diff] [blame] | 1077 | TCP_EVT_DBG (TCP_EVT_FIN_SENT, tc); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1078 | } |
| 1079 | |
| 1080 | always_inline u8 |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1081 | tcp_make_state_flags (tcp_connection_t * tc, tcp_state_t next_state) |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1082 | { |
| 1083 | switch (next_state) |
| 1084 | { |
| 1085 | case TCP_STATE_ESTABLISHED: |
| 1086 | return TCP_FLAG_ACK; |
| 1087 | case TCP_STATE_SYN_RCVD: |
| 1088 | return TCP_FLAG_SYN | TCP_FLAG_ACK; |
| 1089 | case TCP_STATE_SYN_SENT: |
| 1090 | return TCP_FLAG_SYN; |
| 1091 | case TCP_STATE_LAST_ACK: |
| 1092 | case TCP_STATE_FIN_WAIT_1: |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1093 | if (tc->snd_nxt + 1 < tc->snd_una_max) |
| 1094 | return TCP_FLAG_ACK; |
| 1095 | else |
| 1096 | return TCP_FLAG_FIN; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1097 | default: |
| 1098 | clib_warning ("Shouldn't be here!"); |
| 1099 | } |
| 1100 | return 0; |
| 1101 | } |
| 1102 | |
| 1103 | /** |
| 1104 | * Push TCP header and update connection variables |
| 1105 | */ |
| 1106 | static void |
| 1107 | tcp_push_hdr_i (tcp_connection_t * tc, vlib_buffer_t * b, |
Florin Coras | c834341 | 2017-05-04 14:25:50 -0700 | [diff] [blame] | 1108 | tcp_state_t next_state, u8 compute_opts) |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1109 | { |
| 1110 | u32 advertise_wnd, data_len; |
Florin Coras | c834341 | 2017-05-04 14:25:50 -0700 | [diff] [blame] | 1111 | u8 tcp_hdr_opts_len, opts_write_len, flags; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1112 | tcp_header_t *th; |
| 1113 | |
Florin Coras | f6d68ed | 2017-05-07 19:12:02 -0700 | [diff] [blame] | 1114 | data_len = b->current_length + b->total_length_not_including_first_buffer; |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1115 | ASSERT (!b->total_length_not_including_first_buffer |
| 1116 | || (b->flags & VLIB_BUFFER_NEXT_PRESENT)); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1117 | vnet_buffer (b)->tcp.flags = 0; |
| 1118 | |
Florin Coras | c834341 | 2017-05-04 14:25:50 -0700 | [diff] [blame] | 1119 | if (compute_opts) |
| 1120 | tc->snd_opts_len = tcp_make_options (tc, &tc->snd_opts, tc->state); |
| 1121 | |
Florin Coras | c834341 | 2017-05-04 14:25:50 -0700 | [diff] [blame] | 1122 | tcp_hdr_opts_len = tc->snd_opts_len + sizeof (tcp_header_t); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1123 | advertise_wnd = tcp_window_to_advertise (tc, next_state); |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1124 | flags = tcp_make_state_flags (tc, next_state); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1125 | |
| 1126 | /* Push header and options */ |
| 1127 | th = vlib_buffer_push_tcp (b, tc->c_lcl_port, tc->c_rmt_port, tc->snd_nxt, |
| 1128 | tc->rcv_nxt, tcp_hdr_opts_len, flags, |
| 1129 | advertise_wnd); |
Florin Coras | c834341 | 2017-05-04 14:25:50 -0700 | [diff] [blame] | 1130 | opts_write_len = tcp_options_write ((u8 *) (th + 1), &tc->snd_opts); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1131 | |
Florin Coras | c834341 | 2017-05-04 14:25:50 -0700 | [diff] [blame] | 1132 | ASSERT (opts_write_len == tc->snd_opts_len); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1133 | vnet_buffer (b)->tcp.connection_index = tc->c_c_index; |
| 1134 | |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1135 | /* |
| 1136 | * Update connection variables |
| 1137 | */ |
| 1138 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1139 | tc->snd_nxt += data_len; |
Florin Coras | c28764f | 2017-04-26 00:08:42 -0700 | [diff] [blame] | 1140 | tc->rcv_las = tc->rcv_nxt; |
Florin Coras | 3e350af | 2017-03-30 02:54:28 -0700 | [diff] [blame] | 1141 | |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1142 | /* TODO this is updated in output as well ... */ |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1143 | if (seq_gt (tc->snd_nxt, tc->snd_una_max)) |
Florin Coras | 3af90fc | 2017-05-03 21:09:42 -0700 | [diff] [blame] | 1144 | { |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1145 | tc->snd_una_max = tc->snd_nxt; |
| 1146 | tcp_validate_txf_size (tc, tc->snd_una_max - tc->snd_una); |
Florin Coras | 3af90fc | 2017-05-03 21:09:42 -0700 | [diff] [blame] | 1147 | } |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1148 | |
Florin Coras | e69f495 | 2017-03-07 10:06:24 -0800 | [diff] [blame] | 1149 | TCP_EVT_DBG (TCP_EVT_PKTIZE, tc); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1150 | } |
| 1151 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1152 | void |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1153 | tcp_send_ack (tcp_connection_t * tc) |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1154 | { |
| 1155 | tcp_main_t *tm = vnet_get_tcp_main (); |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1156 | vlib_main_t *vm = vlib_get_main (); |
| 1157 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1158 | vlib_buffer_t *b; |
| 1159 | u32 bi; |
| 1160 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1161 | /* Get buffer */ |
Florin Coras | 66b1131 | 2017-07-31 17:18:03 -0700 | [diff] [blame] | 1162 | if (PREDICT_FALSE (tcp_get_free_buffer_index (tm, &bi))) |
| 1163 | return; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1164 | b = vlib_get_buffer (vm, bi); |
| 1165 | |
| 1166 | /* Fill in the ACK */ |
| 1167 | tcp_make_ack (tc, b); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1168 | tcp_enqueue_to_output (vm, b, bi, tc->c_is_ip4); |
| 1169 | } |
| 1170 | |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1171 | /** |
| 1172 | * Delayed ack timer handler |
| 1173 | * |
| 1174 | * Sends delayed ACK when timer expires |
| 1175 | */ |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1176 | void |
| 1177 | tcp_timer_delack_handler (u32 index) |
| 1178 | { |
Damjan Marion | 586afd7 | 2017-04-05 19:18:20 +0200 | [diff] [blame] | 1179 | u32 thread_index = vlib_get_thread_index (); |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1180 | tcp_connection_t *tc; |
| 1181 | |
| 1182 | tc = tcp_connection_get (index, thread_index); |
| 1183 | tc->timers[TCP_TIMER_DELACK] = TCP_TIMER_HANDLE_INVALID; |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1184 | tcp_send_ack (tc); |
| 1185 | } |
| 1186 | |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1187 | /** |
| 1188 | * Build a retransmit segment |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1189 | * |
| 1190 | * @return the number of bytes in the segment or 0 if there's nothing to |
| 1191 | * retransmit |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1192 | */ |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1193 | u32 |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1194 | tcp_prepare_retransmit_segment (tcp_connection_t * tc, u32 offset, |
| 1195 | u32 max_deq_bytes, vlib_buffer_t ** b) |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1196 | { |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1197 | tcp_main_t *tm = vnet_get_tcp_main (); |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1198 | vlib_main_t *vm = vlib_get_main (); |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1199 | int n_bytes = 0; |
Florin Coras | e87216f | 2017-08-17 16:59:22 -0700 | [diff] [blame] | 1200 | u32 start, bi, available_bytes, seg_size; |
| 1201 | u8 *data; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1202 | |
Florin Coras | e04c299 | 2017-03-01 08:17:34 -0800 | [diff] [blame] | 1203 | ASSERT (tc->state >= TCP_STATE_ESTABLISHED); |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1204 | ASSERT (max_deq_bytes != 0); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1205 | |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1206 | /* |
| 1207 | * Make sure we can retransmit something |
| 1208 | */ |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1209 | available_bytes = stream_session_tx_fifo_max_dequeue (&tc->connection); |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 1210 | ASSERT (available_bytes >= offset); |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1211 | available_bytes -= offset; |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1212 | if (!available_bytes) |
| 1213 | return 0; |
Florin Coras | e87216f | 2017-08-17 16:59:22 -0700 | [diff] [blame] | 1214 | max_deq_bytes = clib_min (tc->snd_mss, max_deq_bytes); |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1215 | max_deq_bytes = clib_min (available_bytes, max_deq_bytes); |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1216 | |
| 1217 | /* Start is beyond snd_congestion */ |
Florin Coras | e87216f | 2017-08-17 16:59:22 -0700 | [diff] [blame] | 1218 | start = tc->snd_una + offset; |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1219 | if (seq_geq (start, tc->snd_congestion)) |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1220 | goto done; |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1221 | |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1222 | /* Don't overshoot snd_congestion */ |
| 1223 | if (seq_gt (start + max_deq_bytes, tc->snd_congestion)) |
| 1224 | { |
| 1225 | max_deq_bytes = tc->snd_congestion - start; |
| 1226 | if (max_deq_bytes == 0) |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1227 | goto done; |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1228 | } |
| 1229 | |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1230 | seg_size = max_deq_bytes + MAX_HDRS_LEN; |
| 1231 | |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1232 | /* |
| 1233 | * Prepare options |
| 1234 | */ |
Florin Coras | c834341 | 2017-05-04 14:25:50 -0700 | [diff] [blame] | 1235 | tc->snd_opts_len = tcp_make_options (tc, &tc->snd_opts, tc->state); |
| 1236 | |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1237 | /* |
| 1238 | * Allocate and fill in buffer(s) |
| 1239 | */ |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1240 | |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1241 | if (PREDICT_FALSE (tcp_get_free_buffer_index (tm, &bi))) |
| 1242 | return 0; |
| 1243 | *b = vlib_get_buffer (vm, bi); |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1244 | data = tcp_init_buffer (vm, *b); |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1245 | |
| 1246 | /* Easy case, buffer size greater than mss */ |
Florin Coras | e87216f | 2017-08-17 16:59:22 -0700 | [diff] [blame] | 1247 | if (PREDICT_TRUE (seg_size <= tm->bytes_per_buffer)) |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1248 | { |
Florin Coras | e87216f | 2017-08-17 16:59:22 -0700 | [diff] [blame] | 1249 | n_bytes = stream_session_peek_bytes (&tc->connection, data, offset, |
| 1250 | max_deq_bytes); |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1251 | ASSERT (n_bytes == max_deq_bytes); |
| 1252 | b[0]->current_length = n_bytes; |
| 1253 | tcp_push_hdr_i (tc, *b, tc->state, 0); |
| 1254 | } |
| 1255 | /* Split mss into multiple buffers */ |
| 1256 | else |
| 1257 | { |
| 1258 | u32 chain_bi = ~0, n_bufs_per_seg; |
| 1259 | u32 thread_index = vlib_get_thread_index (); |
| 1260 | u16 n_peeked, len_to_deq, available_bufs; |
| 1261 | vlib_buffer_t *chain_b, *prev_b; |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1262 | int i; |
| 1263 | |
Florin Coras | e87216f | 2017-08-17 16:59:22 -0700 | [diff] [blame] | 1264 | n_bufs_per_seg = ceil ((double) seg_size / tm->bytes_per_buffer); |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1265 | |
| 1266 | /* Make sure we have enough buffers */ |
| 1267 | available_bufs = vec_len (tm->tx_buffers[thread_index]); |
| 1268 | if (n_bufs_per_seg > available_bufs) |
| 1269 | { |
| 1270 | if (tcp_alloc_tx_buffers (tm, thread_index, |
| 1271 | VLIB_FRAME_SIZE - available_bufs)) |
| 1272 | { |
| 1273 | tcp_return_buffer (tm); |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 1274 | *b = 0; |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1275 | return 0; |
| 1276 | } |
| 1277 | } |
| 1278 | |
Florin Coras | e87216f | 2017-08-17 16:59:22 -0700 | [diff] [blame] | 1279 | n_bytes = stream_session_peek_bytes (&tc->connection, data, offset, |
| 1280 | tm->bytes_per_buffer - |
| 1281 | MAX_HDRS_LEN); |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1282 | b[0]->current_length = n_bytes; |
| 1283 | b[0]->flags |= VLIB_BUFFER_TOTAL_LENGTH_VALID; |
| 1284 | b[0]->total_length_not_including_first_buffer = 0; |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1285 | max_deq_bytes -= n_bytes; |
| 1286 | |
| 1287 | chain_b = *b; |
| 1288 | for (i = 1; i < n_bufs_per_seg; i++) |
| 1289 | { |
| 1290 | prev_b = chain_b; |
| 1291 | len_to_deq = clib_min (max_deq_bytes, tm->bytes_per_buffer); |
| 1292 | tcp_get_free_buffer_index (tm, &chain_bi); |
| 1293 | ASSERT (chain_bi != (u32) ~ 0); |
| 1294 | chain_b = vlib_get_buffer (vm, chain_bi); |
| 1295 | chain_b->current_data = 0; |
Florin Coras | e87216f | 2017-08-17 16:59:22 -0700 | [diff] [blame] | 1296 | data = vlib_buffer_get_current (chain_b); |
| 1297 | n_peeked = stream_session_peek_bytes (&tc->connection, data, |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1298 | offset + n_bytes, len_to_deq); |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1299 | ASSERT (n_peeked == len_to_deq); |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1300 | n_bytes += n_peeked; |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1301 | chain_b->current_length = n_peeked; |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 1302 | chain_b->flags &= VLIB_BUFFER_FREE_LIST_INDEX_MASK; |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1303 | chain_b->next_buffer = 0; |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1304 | |
| 1305 | /* update previous buffer */ |
| 1306 | prev_b->next_buffer = chain_bi; |
| 1307 | prev_b->flags |= VLIB_BUFFER_NEXT_PRESENT; |
| 1308 | |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1309 | max_deq_bytes -= n_peeked; |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1310 | b[0]->total_length_not_including_first_buffer += n_peeked; |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1311 | } |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1312 | |
| 1313 | tcp_push_hdr_i (tc, *b, tc->state, 0); |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1314 | } |
| 1315 | |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1316 | ASSERT (n_bytes > 0); |
Florin Coras | e87216f | 2017-08-17 16:59:22 -0700 | [diff] [blame] | 1317 | ASSERT (((*b)->current_data + (*b)->current_length) <= |
| 1318 | tm->bytes_per_buffer); |
Florin Coras | bb292f4 | 2017-05-19 09:49:19 -0700 | [diff] [blame] | 1319 | |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1320 | if (tcp_in_fastrecovery (tc)) |
| 1321 | tc->snd_rxt_bytes += n_bytes; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1322 | |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1323 | done: |
| 1324 | TCP_EVT_DBG (TCP_EVT_CC_RTX, tc, offset, n_bytes); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1325 | return n_bytes; |
| 1326 | } |
| 1327 | |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1328 | /** |
| 1329 | * Reset congestion control, switch cwnd to loss window and try again. |
| 1330 | */ |
| 1331 | static void |
Florin Coras | 3e350af | 2017-03-30 02:54:28 -0700 | [diff] [blame] | 1332 | tcp_rtx_timeout_cc (tcp_connection_t * tc) |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1333 | { |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1334 | tc->prev_ssthresh = tc->ssthresh; |
| 1335 | tc->prev_cwnd = tc->cwnd; |
| 1336 | |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1337 | /* Cleanly recover cc (also clears up fast retransmit) */ |
| 1338 | if (tcp_in_fastrecovery (tc)) |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1339 | tcp_cc_fastrecovery_exit (tc); |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1340 | |
| 1341 | /* Start again from the beginning */ |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1342 | tc->ssthresh = clib_max (tcp_flight_size (tc) / 2, 2 * tc->snd_mss); |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1343 | tc->cwnd = tcp_loss_wnd (tc); |
| 1344 | tc->snd_congestion = tc->snd_una_max; |
Florin Coras | f1762d6 | 2017-09-24 19:43:08 -0400 | [diff] [blame] | 1345 | tc->rtt_ts = 0; |
Florin Coras | 3af90fc | 2017-05-03 21:09:42 -0700 | [diff] [blame] | 1346 | tcp_recovery_on (tc); |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1347 | } |
| 1348 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1349 | static void |
| 1350 | tcp_timer_retransmit_handler_i (u32 index, u8 is_syn) |
| 1351 | { |
| 1352 | tcp_main_t *tm = vnet_get_tcp_main (); |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1353 | vlib_main_t *vm = vlib_get_main (); |
Damjan Marion | 586afd7 | 2017-04-05 19:18:20 +0200 | [diff] [blame] | 1354 | u32 thread_index = vlib_get_thread_index (); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1355 | tcp_connection_t *tc; |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1356 | vlib_buffer_t *b = 0; |
Florin Coras | 3af90fc | 2017-05-03 21:09:42 -0700 | [diff] [blame] | 1357 | u32 bi, n_bytes; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1358 | |
| 1359 | if (is_syn) |
| 1360 | { |
| 1361 | tc = tcp_half_open_connection_get (index); |
Dave Barach | b7f1faa | 2017-08-29 11:43:37 -0400 | [diff] [blame] | 1362 | /* Note: the connection may have transitioned to ESTABLISHED... */ |
| 1363 | if (PREDICT_FALSE (tc == 0)) |
| 1364 | return; |
Florin Coras | 6881062 | 2017-07-24 17:40:28 -0700 | [diff] [blame] | 1365 | tc->timers[TCP_TIMER_RETRANSMIT_SYN] = TCP_TIMER_HANDLE_INVALID; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1366 | } |
| 1367 | else |
| 1368 | { |
| 1369 | tc = tcp_connection_get (index, thread_index); |
Dave Barach | b7f1faa | 2017-08-29 11:43:37 -0400 | [diff] [blame] | 1370 | /* Note: the connection may have been closed and pool_put */ |
| 1371 | if (PREDICT_FALSE (tc == 0)) |
| 1372 | return; |
Florin Coras | 6881062 | 2017-07-24 17:40:28 -0700 | [diff] [blame] | 1373 | tc->timers[TCP_TIMER_RETRANSMIT] = TCP_TIMER_HANDLE_INVALID; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1374 | } |
| 1375 | |
Florin Coras | e04c299 | 2017-03-01 08:17:34 -0800 | [diff] [blame] | 1376 | if (tc->state >= TCP_STATE_ESTABLISHED) |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1377 | { |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1378 | /* Lost FIN, retransmit and return */ |
Florin Coras | 93e6580 | 2017-11-29 00:07:11 -0500 | [diff] [blame] | 1379 | if (tcp_is_lost_fin (tc)) |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1380 | { |
| 1381 | tcp_send_fin (tc); |
Florin Coras | f988e69 | 2017-11-27 04:34:14 -0500 | [diff] [blame] | 1382 | tc->rto_boff += 1; |
| 1383 | tc->rto = clib_min (tc->rto << 1, TCP_RTO_MAX); |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1384 | return; |
| 1385 | } |
| 1386 | |
Florin Coras | a096f2d | 2017-09-28 23:49:42 -0400 | [diff] [blame] | 1387 | /* Shouldn't be here */ |
| 1388 | if (tc->snd_una == tc->snd_una_max) |
| 1389 | { |
| 1390 | tcp_recovery_off (tc); |
| 1391 | return; |
| 1392 | } |
| 1393 | |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 1394 | /* We're not in recovery so make sure rto_boff is 0 */ |
| 1395 | if (!tcp_in_recovery (tc) && tc->rto_boff > 0) |
| 1396 | { |
| 1397 | tc->rto_boff = 0; |
| 1398 | tcp_update_rto (tc); |
| 1399 | } |
| 1400 | |
| 1401 | /* Increment RTO backoff (also equal to number of retries) and go back |
| 1402 | * to first un-acked byte */ |
| 1403 | tc->rto_boff += 1; |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 1404 | |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1405 | /* First retransmit timeout */ |
| 1406 | if (tc->rto_boff == 1) |
Florin Coras | 3e350af | 2017-03-30 02:54:28 -0700 | [diff] [blame] | 1407 | tcp_rtx_timeout_cc (tc); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1408 | |
Florin Coras | 84275e9 | 2017-09-26 12:30:40 -0400 | [diff] [blame] | 1409 | tc->snd_nxt = tc->snd_una; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1410 | tc->rto = clib_min (tc->rto << 1, TCP_RTO_MAX); |
| 1411 | |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1412 | TCP_EVT_DBG (TCP_EVT_CC_EVT, tc, 1); |
| 1413 | |
Dave Barach | b7f1faa | 2017-08-29 11:43:37 -0400 | [diff] [blame] | 1414 | /* Send one segment. Note that n_bytes may be zero due to buffer shortfall */ |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1415 | n_bytes = tcp_prepare_retransmit_segment (tc, 0, tc->snd_mss, &b); |
Dave Barach | b7f1faa | 2017-08-29 11:43:37 -0400 | [diff] [blame] | 1416 | |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1417 | /* TODO be less aggressive about this */ |
Florin Coras | 3af90fc | 2017-05-03 21:09:42 -0700 | [diff] [blame] | 1418 | scoreboard_clear (&tc->sack_sb); |
| 1419 | |
| 1420 | if (n_bytes == 0) |
Florin Coras | e04c299 | 2017-03-01 08:17:34 -0800 | [diff] [blame] | 1421 | { |
Florin Coras | bb292f4 | 2017-05-19 09:49:19 -0700 | [diff] [blame] | 1422 | tcp_retransmit_timer_set (tc); |
Florin Coras | e04c299 | 2017-03-01 08:17:34 -0800 | [diff] [blame] | 1423 | return; |
| 1424 | } |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1425 | |
Dave Barach | b7f1faa | 2017-08-29 11:43:37 -0400 | [diff] [blame] | 1426 | bi = vlib_get_buffer_index (vm, b); |
| 1427 | |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1428 | /* For first retransmit, record timestamp (Eifel detection RFC3522) */ |
| 1429 | if (tc->rto_boff == 1) |
| 1430 | tc->snd_rxt_ts = tcp_time_now (); |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 1431 | |
| 1432 | tcp_enqueue_to_output (vm, b, bi, tc->c_is_ip4); |
| 1433 | tcp_retransmit_timer_update (tc); |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1434 | } |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 1435 | /* Retransmit for SYN */ |
| 1436 | else if (tc->state == TCP_STATE_SYN_SENT) |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1437 | { |
Florin Coras | 6881062 | 2017-07-24 17:40:28 -0700 | [diff] [blame] | 1438 | /* Half-open connection actually moved to established but we were |
| 1439 | * waiting for syn retransmit to pop to call cleanup from the right |
| 1440 | * thread. */ |
| 1441 | if (tc->flags & TCP_CONN_HALF_OPEN_DONE) |
| 1442 | { |
Florin Coras | 6881062 | 2017-07-24 17:40:28 -0700 | [diff] [blame] | 1443 | if (tcp_half_open_connection_cleanup (tc)) |
| 1444 | { |
| 1445 | clib_warning ("could not remove half-open connection"); |
| 1446 | ASSERT (0); |
| 1447 | } |
| 1448 | return; |
| 1449 | } |
| 1450 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1451 | /* Try without increasing RTO a number of times. If this fails, |
| 1452 | * start growing RTO exponentially */ |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 1453 | tc->rto_boff += 1; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1454 | if (tc->rto_boff > TCP_RTO_SYN_RETRIES) |
| 1455 | tc->rto = clib_min (tc->rto << 1, TCP_RTO_MAX); |
| 1456 | |
Florin Coras | f988e69 | 2017-11-27 04:34:14 -0500 | [diff] [blame] | 1457 | tcp_timer_update (tc, TCP_TIMER_RETRANSMIT_SYN, |
| 1458 | tc->rto * TCP_TO_TIMER_TICK); |
| 1459 | |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1460 | if (PREDICT_FALSE (tcp_get_free_buffer_index (tm, &bi))) |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 1461 | return; |
| 1462 | |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1463 | b = vlib_get_buffer (vm, bi); |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1464 | tcp_init_buffer (vm, b); |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 1465 | tcp_make_syn (tc, b); |
Florin Coras | e04c299 | 2017-03-01 08:17:34 -0800 | [diff] [blame] | 1466 | |
Dave Barach | 2c25a62 | 2017-06-26 11:35:07 -0400 | [diff] [blame] | 1467 | tc->rtt_ts = 0; |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 1468 | TCP_EVT_DBG (TCP_EVT_SYN_RXT, tc, 0); |
| 1469 | |
| 1470 | /* This goes straight to ipx_lookup. Retransmit timer set already */ |
| 1471 | tcp_push_ip_hdr (tm, tc, b); |
| 1472 | tcp_enqueue_to_ip_lookup (vm, b, bi, tc->c_is_ip4); |
| 1473 | } |
| 1474 | /* Retransmit SYN-ACK */ |
| 1475 | else if (tc->state == TCP_STATE_SYN_RCVD) |
| 1476 | { |
| 1477 | tc->rto_boff += 1; |
Florin Coras | 9d06304 | 2017-09-14 03:08:00 -0400 | [diff] [blame] | 1478 | if (tc->rto_boff > TCP_RTO_SYN_RETRIES) |
| 1479 | tc->rto = clib_min (tc->rto << 1, TCP_RTO_MAX); |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 1480 | tc->rtt_ts = 0; |
| 1481 | |
| 1482 | if (PREDICT_FALSE (tcp_get_free_buffer_index (tm, &bi))) |
Florin Coras | f988e69 | 2017-11-27 04:34:14 -0500 | [diff] [blame] | 1483 | { |
| 1484 | tcp_retransmit_timer_force_update (tc); |
| 1485 | return; |
| 1486 | } |
Florin Coras | 4eeeaaf | 2017-09-05 14:03:37 -0400 | [diff] [blame] | 1487 | |
| 1488 | b = vlib_get_buffer (vm, bi); |
| 1489 | tcp_make_synack (tc, b); |
| 1490 | TCP_EVT_DBG (TCP_EVT_SYN_RXT, tc, 1); |
| 1491 | |
| 1492 | /* Retransmit timer already updated, just enqueue to output */ |
| 1493 | tcp_enqueue_to_output (vm, b, bi, tc->c_is_ip4); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1494 | } |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1495 | else |
| 1496 | { |
| 1497 | ASSERT (tc->state == TCP_STATE_CLOSED); |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1498 | return; |
| 1499 | } |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1500 | } |
| 1501 | |
| 1502 | void |
| 1503 | tcp_timer_retransmit_handler (u32 index) |
| 1504 | { |
| 1505 | tcp_timer_retransmit_handler_i (index, 0); |
| 1506 | } |
| 1507 | |
| 1508 | void |
| 1509 | tcp_timer_retransmit_syn_handler (u32 index) |
| 1510 | { |
| 1511 | tcp_timer_retransmit_handler_i (index, 1); |
| 1512 | } |
| 1513 | |
| 1514 | /** |
Florin Coras | 3e350af | 2017-03-30 02:54:28 -0700 | [diff] [blame] | 1515 | * Got 0 snd_wnd from peer, try to do something about it. |
| 1516 | * |
| 1517 | */ |
| 1518 | void |
| 1519 | tcp_timer_persist_handler (u32 index) |
| 1520 | { |
| 1521 | tcp_main_t *tm = vnet_get_tcp_main (); |
| 1522 | vlib_main_t *vm = vlib_get_main (); |
Damjan Marion | 586afd7 | 2017-04-05 19:18:20 +0200 | [diff] [blame] | 1523 | u32 thread_index = vlib_get_thread_index (); |
Florin Coras | 3e350af | 2017-03-30 02:54:28 -0700 | [diff] [blame] | 1524 | tcp_connection_t *tc; |
| 1525 | vlib_buffer_t *b; |
Florin Coras | 84275e9 | 2017-09-26 12:30:40 -0400 | [diff] [blame] | 1526 | u32 bi, max_snd_bytes, available_bytes, offset; |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1527 | int n_bytes = 0; |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1528 | u8 *data; |
Florin Coras | 3e350af | 2017-03-30 02:54:28 -0700 | [diff] [blame] | 1529 | |
Florin Coras | db84e57 | 2017-05-09 18:54:52 -0700 | [diff] [blame] | 1530 | tc = tcp_connection_get_if_valid (index, thread_index); |
| 1531 | |
| 1532 | if (!tc) |
| 1533 | return; |
Florin Coras | 3e350af | 2017-03-30 02:54:28 -0700 | [diff] [blame] | 1534 | |
| 1535 | /* Make sure timer handle is set to invalid */ |
| 1536 | tc->timers[TCP_TIMER_PERSIST] = TCP_TIMER_HANDLE_INVALID; |
| 1537 | |
| 1538 | /* Problem already solved or worse */ |
Florin Coras | f03a59a | 2017-06-09 21:07:32 -0700 | [diff] [blame] | 1539 | if (tc->state == TCP_STATE_CLOSED || tc->state > TCP_STATE_ESTABLISHED |
Florin Coras | 5095895 | 2017-08-29 14:50:13 -0700 | [diff] [blame] | 1540 | || tc->snd_wnd > tc->snd_mss || tcp_in_recovery (tc)) |
Florin Coras | 3e350af | 2017-03-30 02:54:28 -0700 | [diff] [blame] | 1541 | return; |
| 1542 | |
Florin Coras | 5095895 | 2017-08-29 14:50:13 -0700 | [diff] [blame] | 1543 | available_bytes = stream_session_tx_fifo_max_dequeue (&tc->connection); |
| 1544 | offset = tc->snd_una_max - tc->snd_una; |
| 1545 | |
| 1546 | /* Reprogram persist if no new bytes available to send. We may have data |
| 1547 | * next time */ |
| 1548 | if (!available_bytes) |
| 1549 | { |
| 1550 | tcp_persist_timer_set (tc); |
| 1551 | return; |
| 1552 | } |
| 1553 | |
| 1554 | if (available_bytes <= offset) |
| 1555 | { |
| 1556 | ASSERT (tcp_timer_is_active (tc, TCP_TIMER_RETRANSMIT)); |
| 1557 | return; |
| 1558 | } |
| 1559 | |
Florin Coras | 3e350af | 2017-03-30 02:54:28 -0700 | [diff] [blame] | 1560 | /* Increment RTO backoff */ |
| 1561 | tc->rto_boff += 1; |
| 1562 | tc->rto = clib_min (tc->rto << 1, TCP_RTO_MAX); |
| 1563 | |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1564 | /* |
| 1565 | * Try to force the first unsent segment (or buffer) |
| 1566 | */ |
Florin Coras | 66b1131 | 2017-07-31 17:18:03 -0700 | [diff] [blame] | 1567 | if (PREDICT_FALSE (tcp_get_free_buffer_index (tm, &bi))) |
| 1568 | return; |
Florin Coras | 3e350af | 2017-03-30 02:54:28 -0700 | [diff] [blame] | 1569 | b = vlib_get_buffer (vm, bi); |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1570 | data = tcp_init_buffer (vm, b); |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1571 | |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1572 | tcp_validate_txf_size (tc, offset); |
Florin Coras | c834341 | 2017-05-04 14:25:50 -0700 | [diff] [blame] | 1573 | tc->snd_opts_len = tcp_make_options (tc, &tc->snd_opts, tc->state); |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1574 | max_snd_bytes = clib_min (tc->snd_mss, tm->bytes_per_buffer - MAX_HDRS_LEN); |
| 1575 | n_bytes = stream_session_peek_bytes (&tc->connection, data, offset, |
| 1576 | max_snd_bytes); |
Florin Coras | 3e350af | 2017-03-30 02:54:28 -0700 | [diff] [blame] | 1577 | b->current_length = n_bytes; |
Florin Coras | 84275e9 | 2017-09-26 12:30:40 -0400 | [diff] [blame] | 1578 | ASSERT (n_bytes != 0 && (tcp_timer_is_active (tc, TCP_TIMER_RETRANSMIT) |
| 1579 | || tc->snd_nxt == tc->snd_una_max |
| 1580 | || tc->rto_boff > 1)); |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1581 | |
Florin Coras | c834341 | 2017-05-04 14:25:50 -0700 | [diff] [blame] | 1582 | tcp_push_hdr_i (tc, b, tc->state, 0); |
Florin Coras | 3e350af | 2017-03-30 02:54:28 -0700 | [diff] [blame] | 1583 | tcp_enqueue_to_output (vm, b, bi, tc->c_is_ip4); |
| 1584 | |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1585 | /* Just sent new data, enable retransmit */ |
| 1586 | tcp_retransmit_timer_update (tc); |
Florin Coras | 3e350af | 2017-03-30 02:54:28 -0700 | [diff] [blame] | 1587 | } |
| 1588 | |
| 1589 | /** |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1590 | * Retransmit first unacked segment |
| 1591 | */ |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1592 | void |
| 1593 | tcp_retransmit_first_unacked (tcp_connection_t * tc) |
| 1594 | { |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1595 | vlib_main_t *vm = vlib_get_main (); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1596 | vlib_buffer_t *b; |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1597 | u32 bi, old_snd_nxt, n_bytes; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1598 | |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1599 | old_snd_nxt = tc->snd_nxt; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1600 | tc->snd_nxt = tc->snd_una; |
| 1601 | |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1602 | TCP_EVT_DBG (TCP_EVT_CC_EVT, tc, 2); |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1603 | n_bytes = tcp_prepare_retransmit_segment (tc, 0, tc->snd_mss, &b); |
| 1604 | if (!n_bytes) |
| 1605 | return; |
| 1606 | bi = vlib_get_buffer_index (vm, b); |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1607 | tcp_enqueue_to_output (vm, b, bi, tc->c_is_ip4); |
Florin Coras | 5921f98 | 2017-04-03 18:00:00 -0700 | [diff] [blame] | 1608 | |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1609 | tc->snd_nxt = old_snd_nxt; |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1610 | } |
| 1611 | |
| 1612 | /** |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1613 | * Do fast retransmit with SACKs |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1614 | */ |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1615 | void |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1616 | tcp_fast_retransmit_sack (tcp_connection_t * tc) |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1617 | { |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1618 | vlib_main_t *vm = vlib_get_main (); |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1619 | u32 n_written = 0, offset, max_bytes; |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1620 | vlib_buffer_t *b = 0; |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1621 | sack_scoreboard_hole_t *hole; |
| 1622 | sack_scoreboard_t *sb; |
| 1623 | u32 bi, old_snd_nxt; |
| 1624 | int snd_space; |
| 1625 | u8 snd_limited = 0, can_rescue = 0; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1626 | |
| 1627 | ASSERT (tcp_in_fastrecovery (tc)); |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1628 | TCP_EVT_DBG (TCP_EVT_CC_EVT, tc, 0); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1629 | |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1630 | old_snd_nxt = tc->snd_nxt; |
| 1631 | sb = &tc->sack_sb; |
| 1632 | snd_space = tcp_available_snd_space (tc); |
| 1633 | |
| 1634 | hole = scoreboard_get_hole (sb, sb->cur_rxt_hole); |
| 1635 | while (hole && snd_space > 0) |
| 1636 | { |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1637 | hole = scoreboard_next_rxt_hole (sb, hole, |
| 1638 | tcp_fastrecovery_sent_1_smss (tc), |
| 1639 | &can_rescue, &snd_limited); |
| 1640 | if (!hole) |
| 1641 | { |
| 1642 | if (!can_rescue || !(seq_lt (sb->rescue_rxt, tc->snd_una) |
| 1643 | || seq_gt (sb->rescue_rxt, |
| 1644 | tc->snd_congestion))) |
| 1645 | break; |
| 1646 | |
| 1647 | /* If rescue rxt undefined or less than snd_una then one segment of |
| 1648 | * up to SMSS octets that MUST include the highest outstanding |
| 1649 | * unSACKed sequence number SHOULD be returned, and RescueRxt set to |
| 1650 | * RecoveryPoint. HighRxt MUST NOT be updated. |
| 1651 | */ |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1652 | max_bytes = clib_min (tc->snd_mss, |
| 1653 | tc->snd_congestion - tc->snd_una); |
| 1654 | max_bytes = clib_min (max_bytes, snd_space); |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1655 | offset = tc->snd_congestion - tc->snd_una - max_bytes; |
| 1656 | sb->rescue_rxt = tc->snd_congestion; |
| 1657 | tc->snd_nxt = tc->snd_una + offset; |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1658 | n_written = tcp_prepare_retransmit_segment (tc, offset, max_bytes, |
| 1659 | &b); |
| 1660 | ASSERT (n_written); |
| 1661 | bi = vlib_get_buffer_index (vm, b); |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1662 | tcp_enqueue_to_output (vm, b, bi, tc->c_is_ip4); |
| 1663 | break; |
| 1664 | } |
| 1665 | |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1666 | max_bytes = clib_min (hole->end - sb->high_rxt, snd_space); |
| 1667 | max_bytes = snd_limited ? clib_min (max_bytes, tc->snd_mss) : max_bytes; |
| 1668 | if (max_bytes == 0) |
| 1669 | break; |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1670 | offset = sb->high_rxt - tc->snd_una; |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1671 | tc->snd_nxt = sb->high_rxt; |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1672 | n_written = tcp_prepare_retransmit_segment (tc, offset, max_bytes, &b); |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1673 | |
| 1674 | /* Nothing left to retransmit */ |
| 1675 | if (n_written == 0) |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1676 | break; |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1677 | |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1678 | bi = vlib_get_buffer_index (vm, b); |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1679 | sb->high_rxt += n_written; |
| 1680 | tcp_enqueue_to_output (vm, b, bi, tc->c_is_ip4); |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1681 | ASSERT (n_written <= snd_space); |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1682 | snd_space -= n_written; |
| 1683 | } |
| 1684 | |
| 1685 | /* If window allows, send 1 SMSS of new data */ |
| 1686 | tc->snd_nxt = old_snd_nxt; |
| 1687 | } |
| 1688 | |
| 1689 | /** |
| 1690 | * Fast retransmit without SACK info |
| 1691 | */ |
| 1692 | void |
| 1693 | tcp_fast_retransmit_no_sack (tcp_connection_t * tc) |
| 1694 | { |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1695 | vlib_main_t *vm = vlib_get_main (); |
| 1696 | u32 n_written = 0, offset = 0, bi, old_snd_nxt; |
| 1697 | int snd_space; |
| 1698 | vlib_buffer_t *b; |
| 1699 | |
| 1700 | ASSERT (tcp_in_fastrecovery (tc)); |
| 1701 | TCP_EVT_DBG (TCP_EVT_CC_EVT, tc, 0); |
| 1702 | |
| 1703 | /* Start resending from first un-acked segment */ |
| 1704 | old_snd_nxt = tc->snd_nxt; |
| 1705 | tc->snd_nxt = tc->snd_una; |
| 1706 | snd_space = tcp_available_snd_space (tc); |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1707 | |
| 1708 | while (snd_space > 0) |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1709 | { |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1710 | offset += n_written; |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1711 | n_written = tcp_prepare_retransmit_segment (tc, offset, snd_space, &b); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1712 | |
| 1713 | /* Nothing left to retransmit */ |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1714 | if (n_written == 0) |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1715 | break; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1716 | |
Florin Coras | b2215d6 | 2017-08-01 16:56:58 -0700 | [diff] [blame] | 1717 | bi = vlib_get_buffer_index (vm, b); |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1718 | tcp_enqueue_to_output (vm, b, bi, tc->c_is_ip4); |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1719 | snd_space -= n_written; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1720 | } |
| 1721 | |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1722 | /* Restore snd_nxt. If window allows, send 1 SMSS of new data */ |
| 1723 | tc->snd_nxt = old_snd_nxt; |
| 1724 | } |
| 1725 | |
| 1726 | /** |
| 1727 | * Do fast retransmit |
| 1728 | */ |
| 1729 | void |
| 1730 | tcp_fast_retransmit (tcp_connection_t * tc) |
| 1731 | { |
| 1732 | if (tcp_opts_sack_permitted (&tc->rcv_opts) |
| 1733 | && scoreboard_first_hole (&tc->sack_sb)) |
| 1734 | tcp_fast_retransmit_sack (tc); |
| 1735 | else |
| 1736 | tcp_fast_retransmit_no_sack (tc); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1737 | } |
| 1738 | |
| 1739 | always_inline u32 |
| 1740 | tcp_session_has_ooo_data (tcp_connection_t * tc) |
| 1741 | { |
Florin Coras | cea194d | 2017-10-02 00:18:51 -0700 | [diff] [blame] | 1742 | stream_session_t *s = session_get (tc->c_s_index, tc->c_thread_index); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1743 | return svm_fifo_has_ooo_data (s->server_rx_fifo); |
| 1744 | } |
| 1745 | |
| 1746 | always_inline uword |
| 1747 | tcp46_output_inline (vlib_main_t * vm, |
| 1748 | vlib_node_runtime_t * node, |
| 1749 | vlib_frame_t * from_frame, int is_ip4) |
| 1750 | { |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1751 | u32 n_left_from, next_index, *from, *to_next; |
Damjan Marion | 586afd7 | 2017-04-05 19:18:20 +0200 | [diff] [blame] | 1752 | u32 my_thread_index = vm->thread_index; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1753 | |
| 1754 | from = vlib_frame_vector_args (from_frame); |
| 1755 | n_left_from = from_frame->n_vectors; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1756 | next_index = node->cached_next_index; |
Florin Coras | 82d3ec8 | 2017-08-14 08:10:42 -0700 | [diff] [blame] | 1757 | tcp_set_time_now (my_thread_index); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1758 | |
| 1759 | while (n_left_from > 0) |
| 1760 | { |
| 1761 | u32 n_left_to_next; |
| 1762 | |
| 1763 | vlib_get_next_frame (vm, node, next_index, to_next, n_left_to_next); |
| 1764 | |
| 1765 | while (n_left_from > 0 && n_left_to_next > 0) |
| 1766 | { |
| 1767 | u32 bi0; |
| 1768 | vlib_buffer_t *b0; |
| 1769 | tcp_connection_t *tc0; |
Clement Durand | 6cf260c | 2017-04-13 13:27:04 +0200 | [diff] [blame] | 1770 | tcp_tx_trace_t *t0; |
| 1771 | tcp_header_t *th0 = 0; |
Dave Barach | 2c25a62 | 2017-06-26 11:35:07 -0400 | [diff] [blame] | 1772 | u32 error0 = TCP_ERROR_PKTS_SENT, next0 = TCP_OUTPUT_NEXT_IP_LOOKUP; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1773 | |
| 1774 | bi0 = from[0]; |
| 1775 | to_next[0] = bi0; |
| 1776 | from += 1; |
| 1777 | to_next += 1; |
| 1778 | n_left_from -= 1; |
| 1779 | n_left_to_next -= 1; |
| 1780 | |
| 1781 | b0 = vlib_get_buffer (vm, bi0); |
| 1782 | tc0 = tcp_connection_get (vnet_buffer (b0)->tcp.connection_index, |
| 1783 | my_thread_index); |
Florin Coras | d79b41e | 2017-03-04 05:37:52 -0800 | [diff] [blame] | 1784 | if (PREDICT_FALSE (tc0 == 0 || tc0->state == TCP_STATE_CLOSED)) |
| 1785 | { |
| 1786 | error0 = TCP_ERROR_INVALID_CONNECTION; |
| 1787 | next0 = TCP_OUTPUT_NEXT_DROP; |
| 1788 | goto done; |
| 1789 | } |
| 1790 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1791 | th0 = vlib_buffer_get_current (b0); |
Florin Coras | e69f495 | 2017-03-07 10:06:24 -0800 | [diff] [blame] | 1792 | TCP_EVT_DBG (TCP_EVT_OUTPUT, tc0, th0->flags, b0->current_length); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1793 | |
| 1794 | if (is_ip4) |
| 1795 | { |
Florin Coras | 66b1131 | 2017-07-31 17:18:03 -0700 | [diff] [blame] | 1796 | vlib_buffer_push_ip4 (vm, b0, &tc0->c_lcl_ip4, &tc0->c_rmt_ip4, |
| 1797 | IP_PROTOCOL_TCP, 1); |
| 1798 | b0->flags |= VNET_BUFFER_F_OFFLOAD_TCP_CKSUM; |
Dave Barach | 2c0a4f4 | 2017-06-29 09:30:15 -0400 | [diff] [blame] | 1799 | vnet_buffer (b0)->l4_hdr_offset = (u8 *) th0 - b0->data; |
| 1800 | th0->checksum = 0; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1801 | } |
| 1802 | else |
| 1803 | { |
| 1804 | ip6_header_t *ih0; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1805 | ih0 = vlib_buffer_push_ip6 (vm, b0, &tc0->c_lcl_ip6, |
| 1806 | &tc0->c_rmt_ip6, IP_PROTOCOL_TCP); |
Florin Coras | 66b1131 | 2017-07-31 17:18:03 -0700 | [diff] [blame] | 1807 | b0->flags |= VNET_BUFFER_F_OFFLOAD_TCP_CKSUM; |
Dave Barach | 2c0a4f4 | 2017-06-29 09:30:15 -0400 | [diff] [blame] | 1808 | vnet_buffer (b0)->l3_hdr_offset = (u8 *) ih0 - b0->data; |
| 1809 | vnet_buffer (b0)->l4_hdr_offset = (u8 *) th0 - b0->data; |
| 1810 | th0->checksum = 0; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1811 | } |
| 1812 | |
| 1813 | /* Filter out DUPACKs if there are no OOO segments left */ |
| 1814 | if (PREDICT_FALSE |
| 1815 | (vnet_buffer (b0)->tcp.flags & TCP_BUF_FLAG_DUPACK)) |
| 1816 | { |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1817 | if (!tcp_session_has_ooo_data (tc0)) |
| 1818 | { |
| 1819 | error0 = TCP_ERROR_FILTERED_DUPACKS; |
| 1820 | next0 = TCP_OUTPUT_NEXT_DROP; |
| 1821 | goto done; |
| 1822 | } |
| 1823 | } |
| 1824 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1825 | /* Stop DELACK timer and fix flags */ |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 1826 | tc0->flags &= ~(TCP_CONN_SNDACK); |
Florin Coras | f03a59a | 2017-06-09 21:07:32 -0700 | [diff] [blame] | 1827 | tcp_timer_reset (tc0, TCP_TIMER_DELACK); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1828 | |
| 1829 | /* If not retransmitting |
Florin Coras | 3af90fc | 2017-05-03 21:09:42 -0700 | [diff] [blame] | 1830 | * 1) update snd_una_max (SYN, SYNACK, FIN) |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1831 | * 2) If we're not tracking an ACK, start tracking */ |
| 1832 | if (seq_lt (tc0->snd_una_max, tc0->snd_nxt)) |
| 1833 | { |
| 1834 | tc0->snd_una_max = tc0->snd_nxt; |
| 1835 | if (tc0->rtt_ts == 0) |
| 1836 | { |
| 1837 | tc0->rtt_ts = tcp_time_now (); |
| 1838 | tc0->rtt_seq = tc0->snd_nxt; |
| 1839 | } |
| 1840 | } |
| 1841 | |
| 1842 | /* Set the retransmit timer if not set already and not |
| 1843 | * doing a pure ACK */ |
| 1844 | if (!tcp_timer_is_active (tc0, TCP_TIMER_RETRANSMIT) |
| 1845 | && tc0->snd_nxt != tc0->snd_una) |
| 1846 | { |
Florin Coras | d79b41e | 2017-03-04 05:37:52 -0800 | [diff] [blame] | 1847 | tcp_retransmit_timer_set (tc0); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1848 | tc0->rto_boff = 0; |
| 1849 | } |
| 1850 | |
Dave Barach | 2c25a62 | 2017-06-26 11:35:07 -0400 | [diff] [blame] | 1851 | #if 0 |
Florin Coras | f6359c8 | 2017-06-19 12:26:09 -0400 | [diff] [blame] | 1852 | /* Make sure we haven't lost route to our peer */ |
| 1853 | if (PREDICT_FALSE (tc0->last_fib_check |
| 1854 | < tc0->snd_opts.tsval + TCP_FIB_RECHECK_PERIOD)) |
| 1855 | { |
| 1856 | if (PREDICT_TRUE |
| 1857 | (tc0->c_rmt_fei == tcp_lookup_rmt_in_fib (tc0))) |
| 1858 | { |
| 1859 | tc0->last_fib_check = tc0->snd_opts.tsval; |
| 1860 | } |
| 1861 | else |
| 1862 | { |
| 1863 | clib_warning ("lost connection to peer"); |
| 1864 | tcp_connection_reset (tc0); |
| 1865 | goto done; |
| 1866 | } |
| 1867 | } |
| 1868 | |
| 1869 | /* Use pre-computed dpo to set next node */ |
| 1870 | next0 = tc0->c_rmt_dpo.dpoi_next_node; |
| 1871 | vnet_buffer (b0)->ip.adj_index[VLIB_TX] = tc0->c_rmt_dpo.dpoi_index; |
Dave Barach | 2c25a62 | 2017-06-26 11:35:07 -0400 | [diff] [blame] | 1872 | #endif |
| 1873 | |
| 1874 | vnet_buffer (b0)->sw_if_index[VLIB_RX] = 0; |
| 1875 | vnet_buffer (b0)->sw_if_index[VLIB_TX] = ~0; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1876 | |
Damjan Marion | 213b5aa | 2017-07-13 21:19:27 +0200 | [diff] [blame] | 1877 | b0->flags |= VNET_BUFFER_F_LOCALLY_ORIGINATED; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1878 | done: |
Florin Coras | e69f495 | 2017-03-07 10:06:24 -0800 | [diff] [blame] | 1879 | b0->error = node->errors[error0]; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1880 | if (PREDICT_FALSE (b0->flags & VLIB_BUFFER_IS_TRACED)) |
| 1881 | { |
Clement Durand | 6cf260c | 2017-04-13 13:27:04 +0200 | [diff] [blame] | 1882 | t0 = vlib_add_trace (vm, node, b0, sizeof (*t0)); |
| 1883 | if (th0) |
| 1884 | { |
| 1885 | clib_memcpy (&t0->tcp_header, th0, sizeof (t0->tcp_header)); |
| 1886 | } |
| 1887 | else |
| 1888 | { |
| 1889 | memset (&t0->tcp_header, 0, sizeof (t0->tcp_header)); |
| 1890 | } |
| 1891 | clib_memcpy (&t0->tcp_connection, tc0, |
| 1892 | sizeof (t0->tcp_connection)); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1893 | } |
| 1894 | |
| 1895 | vlib_validate_buffer_enqueue_x1 (vm, node, next_index, to_next, |
| 1896 | n_left_to_next, bi0, next0); |
| 1897 | } |
| 1898 | |
| 1899 | vlib_put_next_frame (vm, node, next_index, n_left_to_next); |
| 1900 | } |
| 1901 | |
| 1902 | return from_frame->n_vectors; |
| 1903 | } |
| 1904 | |
| 1905 | static uword |
| 1906 | tcp4_output (vlib_main_t * vm, vlib_node_runtime_t * node, |
| 1907 | vlib_frame_t * from_frame) |
| 1908 | { |
| 1909 | return tcp46_output_inline (vm, node, from_frame, 1 /* is_ip4 */ ); |
| 1910 | } |
| 1911 | |
| 1912 | static uword |
| 1913 | tcp6_output (vlib_main_t * vm, vlib_node_runtime_t * node, |
| 1914 | vlib_frame_t * from_frame) |
| 1915 | { |
| 1916 | return tcp46_output_inline (vm, node, from_frame, 0 /* is_ip4 */ ); |
| 1917 | } |
| 1918 | |
Florin Coras | e69f495 | 2017-03-07 10:06:24 -0800 | [diff] [blame] | 1919 | /* *INDENT-OFF* */ |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1920 | VLIB_REGISTER_NODE (tcp4_output_node) = |
| 1921 | { |
| 1922 | .function = tcp4_output,.name = "tcp4-output", |
| 1923 | /* Takes a vector of packets. */ |
Florin Coras | e69f495 | 2017-03-07 10:06:24 -0800 | [diff] [blame] | 1924 | .vector_size = sizeof (u32), |
| 1925 | .n_errors = TCP_N_ERROR, |
| 1926 | .error_strings = tcp_error_strings, |
| 1927 | .n_next_nodes = TCP_OUTPUT_N_NEXT, |
| 1928 | .next_nodes = { |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1929 | #define _(s,n) [TCP_OUTPUT_NEXT_##s] = n, |
| 1930 | foreach_tcp4_output_next |
| 1931 | #undef _ |
Florin Coras | e69f495 | 2017-03-07 10:06:24 -0800 | [diff] [blame] | 1932 | }, |
| 1933 | .format_buffer = format_tcp_header, |
| 1934 | .format_trace = format_tcp_tx_trace, |
| 1935 | }; |
| 1936 | /* *INDENT-ON* */ |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1937 | |
Florin Coras | e69f495 | 2017-03-07 10:06:24 -0800 | [diff] [blame] | 1938 | VLIB_NODE_FUNCTION_MULTIARCH (tcp4_output_node, tcp4_output); |
| 1939 | |
| 1940 | /* *INDENT-OFF* */ |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1941 | VLIB_REGISTER_NODE (tcp6_output_node) = |
| 1942 | { |
Florin Coras | e69f495 | 2017-03-07 10:06:24 -0800 | [diff] [blame] | 1943 | .function = tcp6_output, |
| 1944 | .name = "tcp6-output", |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1945 | /* Takes a vector of packets. */ |
Florin Coras | e69f495 | 2017-03-07 10:06:24 -0800 | [diff] [blame] | 1946 | .vector_size = sizeof (u32), |
| 1947 | .n_errors = TCP_N_ERROR, |
| 1948 | .error_strings = tcp_error_strings, |
| 1949 | .n_next_nodes = TCP_OUTPUT_N_NEXT, |
| 1950 | .next_nodes = { |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1951 | #define _(s,n) [TCP_OUTPUT_NEXT_##s] = n, |
| 1952 | foreach_tcp6_output_next |
| 1953 | #undef _ |
Florin Coras | e69f495 | 2017-03-07 10:06:24 -0800 | [diff] [blame] | 1954 | }, |
| 1955 | .format_buffer = format_tcp_header, |
| 1956 | .format_trace = format_tcp_tx_trace, |
| 1957 | }; |
| 1958 | /* *INDENT-ON* */ |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1959 | |
Florin Coras | e69f495 | 2017-03-07 10:06:24 -0800 | [diff] [blame] | 1960 | VLIB_NODE_FUNCTION_MULTIARCH (tcp6_output_node, tcp6_output); |
| 1961 | |
| 1962 | u32 |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1963 | tcp_push_header (transport_connection_t * tconn, vlib_buffer_t * b) |
| 1964 | { |
| 1965 | tcp_connection_t *tc; |
| 1966 | |
| 1967 | tc = (tcp_connection_t *) tconn; |
Florin Coras | c834341 | 2017-05-04 14:25:50 -0700 | [diff] [blame] | 1968 | tcp_push_hdr_i (tc, b, TCP_STATE_ESTABLISHED, 0); |
Florin Coras | 1f152cd | 2017-08-18 19:28:03 -0700 | [diff] [blame] | 1969 | ASSERT (seq_leq (tc->snd_una_max, tc->snd_una + tc->snd_wnd)); |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1970 | |
Florin Coras | f03a59a | 2017-06-09 21:07:32 -0700 | [diff] [blame] | 1971 | if (tc->rtt_ts == 0 && !tcp_in_cong_recovery (tc)) |
Florin Coras | 93992a9 | 2017-05-24 18:03:56 -0700 | [diff] [blame] | 1972 | { |
| 1973 | tc->rtt_ts = tcp_time_now (); |
| 1974 | tc->rtt_seq = tc->snd_nxt; |
| 1975 | } |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1976 | return 0; |
| 1977 | } |
| 1978 | |
| 1979 | typedef enum _tcp_reset_next |
| 1980 | { |
| 1981 | TCP_RESET_NEXT_DROP, |
| 1982 | TCP_RESET_NEXT_IP_LOOKUP, |
| 1983 | TCP_RESET_N_NEXT |
| 1984 | } tcp_reset_next_t; |
| 1985 | |
| 1986 | #define foreach_tcp4_reset_next \ |
| 1987 | _(DROP, "error-drop") \ |
| 1988 | _(IP_LOOKUP, "ip4-lookup") |
| 1989 | |
| 1990 | #define foreach_tcp6_reset_next \ |
| 1991 | _(DROP, "error-drop") \ |
| 1992 | _(IP_LOOKUP, "ip6-lookup") |
| 1993 | |
| 1994 | static uword |
| 1995 | tcp46_send_reset_inline (vlib_main_t * vm, vlib_node_runtime_t * node, |
| 1996 | vlib_frame_t * from_frame, u8 is_ip4) |
| 1997 | { |
| 1998 | u32 n_left_from, next_index, *from, *to_next; |
Damjan Marion | 586afd7 | 2017-04-05 19:18:20 +0200 | [diff] [blame] | 1999 | u32 my_thread_index = vm->thread_index; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 2000 | |
| 2001 | from = vlib_frame_vector_args (from_frame); |
| 2002 | n_left_from = from_frame->n_vectors; |
| 2003 | |
| 2004 | next_index = node->cached_next_index; |
| 2005 | |
| 2006 | while (n_left_from > 0) |
| 2007 | { |
| 2008 | u32 n_left_to_next; |
| 2009 | |
| 2010 | vlib_get_next_frame (vm, node, next_index, to_next, n_left_to_next); |
| 2011 | |
| 2012 | while (n_left_from > 0 && n_left_to_next > 0) |
| 2013 | { |
| 2014 | u32 bi0; |
| 2015 | vlib_buffer_t *b0; |
Clement Durand | 6cf260c | 2017-04-13 13:27:04 +0200 | [diff] [blame] | 2016 | tcp_tx_trace_t *t0; |
| 2017 | tcp_header_t *th0; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 2018 | u32 error0 = TCP_ERROR_RST_SENT, next0 = TCP_RESET_NEXT_IP_LOOKUP; |
| 2019 | |
| 2020 | bi0 = from[0]; |
| 2021 | to_next[0] = bi0; |
| 2022 | from += 1; |
| 2023 | to_next += 1; |
| 2024 | n_left_from -= 1; |
| 2025 | n_left_to_next -= 1; |
| 2026 | |
| 2027 | b0 = vlib_get_buffer (vm, bi0); |
| 2028 | |
| 2029 | if (tcp_make_reset_in_place (vm, b0, vnet_buffer (b0)->tcp.flags, |
| 2030 | my_thread_index, is_ip4)) |
| 2031 | { |
| 2032 | error0 = TCP_ERROR_LOOKUP_DROPS; |
| 2033 | next0 = TCP_RESET_NEXT_DROP; |
| 2034 | goto done; |
| 2035 | } |
| 2036 | |
| 2037 | /* Prepare to send to IP lookup */ |
Florin Coras | f988e69 | 2017-11-27 04:34:14 -0500 | [diff] [blame] | 2038 | vnet_buffer (b0)->sw_if_index[VLIB_TX] = ~0; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 2039 | next0 = TCP_RESET_NEXT_IP_LOOKUP; |
| 2040 | |
| 2041 | done: |
Florin Coras | e69f495 | 2017-03-07 10:06:24 -0800 | [diff] [blame] | 2042 | b0->error = node->errors[error0]; |
Damjan Marion | 213b5aa | 2017-07-13 21:19:27 +0200 | [diff] [blame] | 2043 | b0->flags |= VNET_BUFFER_F_LOCALLY_ORIGINATED; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 2044 | if (PREDICT_FALSE (b0->flags & VLIB_BUFFER_IS_TRACED)) |
| 2045 | { |
Clement Durand | 6cf260c | 2017-04-13 13:27:04 +0200 | [diff] [blame] | 2046 | th0 = vlib_buffer_get_current (b0); |
| 2047 | if (is_ip4) |
| 2048 | th0 = ip4_next_header ((ip4_header_t *) th0); |
| 2049 | else |
| 2050 | th0 = ip6_next_header ((ip6_header_t *) th0); |
Clement Durand | 6cf260c | 2017-04-13 13:27:04 +0200 | [diff] [blame] | 2051 | t0 = vlib_add_trace (vm, node, b0, sizeof (*t0)); |
| 2052 | clib_memcpy (&t0->tcp_header, th0, sizeof (t0->tcp_header)); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 2053 | } |
| 2054 | |
| 2055 | vlib_validate_buffer_enqueue_x1 (vm, node, next_index, to_next, |
| 2056 | n_left_to_next, bi0, next0); |
| 2057 | } |
| 2058 | vlib_put_next_frame (vm, node, next_index, n_left_to_next); |
| 2059 | } |
| 2060 | return from_frame->n_vectors; |
| 2061 | } |
| 2062 | |
| 2063 | static uword |
| 2064 | tcp4_send_reset (vlib_main_t * vm, vlib_node_runtime_t * node, |
| 2065 | vlib_frame_t * from_frame) |
| 2066 | { |
| 2067 | return tcp46_send_reset_inline (vm, node, from_frame, 1); |
| 2068 | } |
| 2069 | |
| 2070 | static uword |
| 2071 | tcp6_send_reset (vlib_main_t * vm, vlib_node_runtime_t * node, |
| 2072 | vlib_frame_t * from_frame) |
| 2073 | { |
| 2074 | return tcp46_send_reset_inline (vm, node, from_frame, 0); |
| 2075 | } |
| 2076 | |
| 2077 | /* *INDENT-OFF* */ |
| 2078 | VLIB_REGISTER_NODE (tcp4_reset_node) = { |
| 2079 | .function = tcp4_send_reset, |
| 2080 | .name = "tcp4-reset", |
| 2081 | .vector_size = sizeof (u32), |
| 2082 | .n_errors = TCP_N_ERROR, |
| 2083 | .error_strings = tcp_error_strings, |
| 2084 | .n_next_nodes = TCP_RESET_N_NEXT, |
| 2085 | .next_nodes = { |
| 2086 | #define _(s,n) [TCP_RESET_NEXT_##s] = n, |
| 2087 | foreach_tcp4_reset_next |
| 2088 | #undef _ |
| 2089 | }, |
Clement Durand | 6cf260c | 2017-04-13 13:27:04 +0200 | [diff] [blame] | 2090 | .format_trace = format_tcp_tx_trace, |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 2091 | }; |
| 2092 | /* *INDENT-ON* */ |
| 2093 | |
Florin Coras | e69f495 | 2017-03-07 10:06:24 -0800 | [diff] [blame] | 2094 | VLIB_NODE_FUNCTION_MULTIARCH (tcp4_reset_node, tcp4_send_reset); |
| 2095 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 2096 | /* *INDENT-OFF* */ |
| 2097 | VLIB_REGISTER_NODE (tcp6_reset_node) = { |
| 2098 | .function = tcp6_send_reset, |
| 2099 | .name = "tcp6-reset", |
| 2100 | .vector_size = sizeof (u32), |
| 2101 | .n_errors = TCP_N_ERROR, |
| 2102 | .error_strings = tcp_error_strings, |
| 2103 | .n_next_nodes = TCP_RESET_N_NEXT, |
| 2104 | .next_nodes = { |
| 2105 | #define _(s,n) [TCP_RESET_NEXT_##s] = n, |
| 2106 | foreach_tcp6_reset_next |
| 2107 | #undef _ |
| 2108 | }, |
Clement Durand | 6cf260c | 2017-04-13 13:27:04 +0200 | [diff] [blame] | 2109 | .format_trace = format_tcp_tx_trace, |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 2110 | }; |
| 2111 | /* *INDENT-ON* */ |
| 2112 | |
Florin Coras | e69f495 | 2017-03-07 10:06:24 -0800 | [diff] [blame] | 2113 | VLIB_NODE_FUNCTION_MULTIARCH (tcp6_reset_node, tcp6_send_reset); |
| 2114 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 2115 | /* |
| 2116 | * fd.io coding-style-patch-verification: ON |
| 2117 | * |
| 2118 | * Local Variables: |
| 2119 | * eval: (c-set-style "gnu") |
| 2120 | * End: |
| 2121 | */ |