blob: 89c306163657da6b435bdd3b050448a8052a8d79 [file] [log] [blame]
Dave Barach68b0fb02017-02-28 15:15:56 -05001/*
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#ifndef _vnet_tcp_h_
17#define _vnet_tcp_h_
18
19#include <vnet/vnet.h>
20#include <vnet/ip/ip.h>
21#include <vnet/tcp/tcp_packet.h>
22#include <vnet/tcp/tcp_timer.h>
23#include <vnet/session/transport.h>
24#include <vnet/session/session.h>
Florin Corase69f4952017-03-07 10:06:24 -080025#include <vnet/tcp/tcp_debug.h>
Dave Barach68b0fb02017-02-28 15:15:56 -050026
Florin Coras3af90fc2017-05-03 21:09:42 -070027#define TCP_TICK 0.001 /**< TCP tick period (s) */
28#define THZ (u32) (1/TCP_TICK) /**< TCP tick frequency */
Dave Barach68b0fb02017-02-28 15:15:56 -050029#define TCP_TSTAMP_RESOLUTION TCP_TICK /**< Time stamp resolution */
30#define TCP_PAWS_IDLE 24 * 24 * 60 * 60 * THZ /**< 24 days */
Florin Corasf6359c82017-06-19 12:26:09 -040031#define TCP_FIB_RECHECK_PERIOD 1 * THZ /**< Recheck every 1s */
Dave Barach68b0fb02017-02-28 15:15:56 -050032#define TCP_MAX_OPTION_SPACE 40
33
Florin Coras6792ec02017-03-13 03:49:51 -070034#define TCP_DUPACK_THRESHOLD 3
Florin Corasf03a59a2017-06-09 21:07:32 -070035#define TCP_MAX_RX_FIFO_SIZE 4 << 20
Florin Coras6534b7a2017-07-18 05:38:03 -040036#define TCP_MIN_RX_FIFO_SIZE 4 << 10
Florin Coras6792ec02017-03-13 03:49:51 -070037#define TCP_IW_N_SEGMENTS 10
Florin Corasf03a59a2017-06-09 21:07:32 -070038#define TCP_ALWAYS_ACK 1 /**< On/off delayed acks */
Florin Coras93992a92017-05-24 18:03:56 -070039#define TCP_USE_SACKS 1 /**< Disable only for testing */
Dave Barach68b0fb02017-02-28 15:15:56 -050040
41/** TCP FSM state definitions as per RFC793. */
42#define foreach_tcp_fsm_state \
43 _(CLOSED, "CLOSED") \
44 _(LISTEN, "LISTEN") \
45 _(SYN_SENT, "SYN_SENT") \
46 _(SYN_RCVD, "SYN_RCVD") \
47 _(ESTABLISHED, "ESTABLISHED") \
48 _(CLOSE_WAIT, "CLOSE_WAIT") \
49 _(FIN_WAIT_1, "FIN_WAIT_1") \
50 _(LAST_ACK, "LAST_ACK") \
51 _(CLOSING, "CLOSING") \
52 _(FIN_WAIT_2, "FIN_WAIT_2") \
53 _(TIME_WAIT, "TIME_WAIT")
54
55typedef enum _tcp_state
56{
57#define _(sym, str) TCP_STATE_##sym,
58 foreach_tcp_fsm_state
59#undef _
60 TCP_N_STATES
61} tcp_state_t;
62
63format_function_t format_tcp_state;
Dave Barach1f75cfd2017-04-14 16:46:44 -040064format_function_t format_tcp_flags;
Florin Coras45d34962017-04-25 00:05:27 -070065format_function_t format_tcp_sacks;
Florin Coras3eb50622017-07-13 01:24:57 -040066format_function_t format_tcp_rcv_sacks;
Dave Barach68b0fb02017-02-28 15:15:56 -050067
68/** TCP timers */
69#define foreach_tcp_timer \
70 _(RETRANSMIT, "RETRANSMIT") \
71 _(DELACK, "DELAYED ACK") \
72 _(PERSIST, "PERSIST") \
73 _(KEEP, "KEEP") \
Florin Corasd79b41e2017-03-04 05:37:52 -080074 _(WAITCLOSE, "WAIT CLOSE") \
75 _(RETRANSMIT_SYN, "RETRANSMIT SYN") \
Dave Barach68b0fb02017-02-28 15:15:56 -050076 _(ESTABLISH, "ESTABLISH")
77
78typedef enum _tcp_timers
79{
80#define _(sym, str) TCP_TIMER_##sym,
81 foreach_tcp_timer
82#undef _
83 TCP_N_TIMERS
84} tcp_timers_e;
85
86typedef void (timer_expiration_handler) (u32 index);
87
88extern timer_expiration_handler tcp_timer_delack_handler;
89extern timer_expiration_handler tcp_timer_retransmit_handler;
Florin Coras3e350af2017-03-30 02:54:28 -070090extern timer_expiration_handler tcp_timer_persist_handler;
Dave Barach68b0fb02017-02-28 15:15:56 -050091extern timer_expiration_handler tcp_timer_retransmit_syn_handler;
92
93#define TCP_TIMER_HANDLE_INVALID ((u32) ~0)
94
95/* Timer delays as multiples of 100ms */
96#define TCP_TO_TIMER_TICK TCP_TICK*10 /* Period for converting from TCP
97 * ticks to timer units */
98#define TCP_DELACK_TIME 1 /* 0.1s */
99#define TCP_ESTABLISH_TIME 750 /* 75s */
100#define TCP_2MSL_TIME 300 /* 30s */
Florin Coras93992a92017-05-24 18:03:56 -0700101#define TCP_CLOSEWAIT_TIME 20 /* 0.1s */
Florin Corasd79b41e2017-03-04 05:37:52 -0800102#define TCP_CLEANUP_TIME 5 /* 0.5s Time to wait before cleanup */
Florin Coras5921f982017-04-03 18:00:00 -0700103#define TCP_TIMER_PERSIST_MIN 2 /* 0.2s */
Dave Barach68b0fb02017-02-28 15:15:56 -0500104
105#define TCP_RTO_MAX 60 * THZ /* Min max RTO (60s) as per RFC6298 */
Florin Corasf03a59a2017-06-09 21:07:32 -0700106#define TCP_RTO_MIN 0.2 * THZ /* Min RTO (200ms) - lower than standard */
Dave Barach68b0fb02017-02-28 15:15:56 -0500107#define TCP_RTT_MAX 30 * THZ /* 30s (probably too much) */
108#define TCP_RTO_SYN_RETRIES 3 /* SYN retries without doubling RTO */
109#define TCP_RTO_INIT 1 * THZ /* Initial retransmit timer */
110
Dave Barach68b0fb02017-02-28 15:15:56 -0500111/** TCP connection flags */
112#define foreach_tcp_connection_flag \
Dave Barach68b0fb02017-02-28 15:15:56 -0500113 _(SNDACK, "Send ACK") \
Florin Corasd79b41e2017-03-04 05:37:52 -0800114 _(FINSNT, "FIN sent") \
Dave Barach68b0fb02017-02-28 15:15:56 -0500115 _(SENT_RCV_WND0, "Sent 0 receive window") \
116 _(RECOVERY, "Recovery on") \
Florin Coras6792ec02017-03-13 03:49:51 -0700117 _(FAST_RECOVERY, "Fast Recovery on") \
118 _(FR_1_SMSS, "Sent 1 SMSS")
Dave Barach68b0fb02017-02-28 15:15:56 -0500119
120typedef enum _tcp_connection_flag_bits
121{
122#define _(sym, str) TCP_CONN_##sym##_BIT,
123 foreach_tcp_connection_flag
124#undef _
125 TCP_CONN_N_FLAG_BITS
126} tcp_connection_flag_bits_e;
127
128typedef enum _tcp_connection_flag
129{
130#define _(sym, str) TCP_CONN_##sym = 1 << TCP_CONN_##sym##_BIT,
131 foreach_tcp_connection_flag
132#undef _
133 TCP_CONN_N_FLAGS
134} tcp_connection_flags_e;
135
136/** TCP buffer flags */
137#define foreach_tcp_buf_flag \
138 _ (ACK) /**< Sending ACK. */ \
139 _ (DUPACK) /**< Sending DUPACK. */ \
140
141enum
142{
143#define _(f) TCP_BUF_BIT_##f,
144 foreach_tcp_buf_flag
145#undef _
146 TCP_N_BUF_BITS,
147};
148
149enum
150{
151#define _(f) TCP_BUF_FLAG_##f = 1 << TCP_BUF_BIT_##f,
152 foreach_tcp_buf_flag
153#undef _
154};
155
Florin Coras3eb50622017-07-13 01:24:57 -0400156#define TCP_SCOREBOARD_TRACE (0)
Florin Corasf03a59a2017-06-09 21:07:32 -0700157#define TCP_MAX_SACK_BLOCKS 15 /**< Max number of SACK blocks stored */
Dave Barach68b0fb02017-02-28 15:15:56 -0500158#define TCP_INVALID_SACK_HOLE_INDEX ((u32)~0)
159
Florin Coras3eb50622017-07-13 01:24:57 -0400160typedef struct _scoreboard_trace_elt
161{
162 u32 start;
163 u32 end;
164 u32 ack;
165 u32 snd_una_max;
166 u32 group;
167} scoreboard_trace_elt_t;
168
Dave Barach68b0fb02017-02-28 15:15:56 -0500169typedef struct _sack_scoreboard_hole
170{
171 u32 next; /**< Index for next entry in linked list */
172 u32 prev; /**< Index for previous entry in linked list */
173 u32 start; /**< Start sequence number */
174 u32 end; /**< End sequence number */
Florin Coras93992a92017-05-24 18:03:56 -0700175 u8 is_lost; /**< Mark hole as lost */
Dave Barach68b0fb02017-02-28 15:15:56 -0500176} sack_scoreboard_hole_t;
177
178typedef struct _sack_scoreboard
179{
180 sack_scoreboard_hole_t *holes; /**< Pool of holes */
Florin Coras6792ec02017-03-13 03:49:51 -0700181 u32 head; /**< Index of first entry */
182 u32 tail; /**< Index of last entry */
Dave Barach68b0fb02017-02-28 15:15:56 -0500183 u32 sacked_bytes; /**< Number of bytes sacked in sb */
Florin Coras6792ec02017-03-13 03:49:51 -0700184 u32 last_sacked_bytes; /**< Number of bytes last sacked */
Florin Coras93992a92017-05-24 18:03:56 -0700185 u32 last_bytes_delivered; /**< Number of sack bytes delivered */
Florin Coras6792ec02017-03-13 03:49:51 -0700186 u32 snd_una_adv; /**< Bytes to add to snd_una */
Florin Coras93992a92017-05-24 18:03:56 -0700187 u32 high_sacked; /**< Highest byte sacked (fack) */
188 u32 high_rxt; /**< Highest retransmitted sequence */
189 u32 rescue_rxt; /**< Rescue sequence number */
190 u32 lost_bytes; /**< Bytes lost as per RFC6675 */
191 u32 cur_rxt_hole; /**< Retransmitting from this hole */
Florin Coras3eb50622017-07-13 01:24:57 -0400192
193#if TCP_SCOREBOARD_TRACE
194 scoreboard_trace_elt_t *trace;
195#endif
196
Dave Barach68b0fb02017-02-28 15:15:56 -0500197} sack_scoreboard_t;
198
Florin Coras3eb50622017-07-13 01:24:57 -0400199#if TCP_SCOREBOARD_TRACE
200#define tcp_scoreboard_trace_add(_tc, _ack) \
201{ \
202 static u64 _group = 0; \
203 sack_scoreboard_t *_sb = &_tc->sack_sb; \
204 sack_block_t *_sack, *_sacks; \
205 scoreboard_trace_elt_t *_elt; \
206 int i; \
207 _group++; \
208 _sacks = _tc->rcv_opts.sacks; \
209 for (i = 0; i < vec_len (_sacks); i++) \
210 { \
211 _sack = &_sacks[i]; \
212 vec_add2 (_sb->trace, _elt, 1); \
213 _elt->start = _sack->start; \
214 _elt->end = _sack->end; \
215 _elt->ack = _elt->end == _ack ? _ack : 0; \
216 _elt->snd_una_max = _elt->end == _ack ? _tc->snd_una_max : 0; \
217 _elt->group = _group; \
218 } \
219}
220#else
221#define tcp_scoreboard_trace_add(_tc, _ack)
222#endif
223
Dave Barach68b0fb02017-02-28 15:15:56 -0500224typedef enum _tcp_cc_algorithm_type
225{
226 TCP_CC_NEWRENO,
227} tcp_cc_algorithm_type_e;
228
229typedef struct _tcp_cc_algorithm tcp_cc_algorithm_t;
230
231typedef enum _tcp_cc_ack_t
232{
233 TCP_CC_ACK,
234 TCP_CC_DUPACK,
235 TCP_CC_PARTIALACK
236} tcp_cc_ack_t;
237
238typedef struct _tcp_connection
239{
240 transport_connection_t connection; /**< Common transport data. First! */
241
242 u8 state; /**< TCP state as per tcp_state_t */
243 u16 flags; /**< Connection flags (see tcp_conn_flags_e) */
244 u32 timers[TCP_N_TIMERS]; /**< Timer handles into timer wheel */
245
246 /* TODO RFC4898 */
247
248 /** Send sequence variables RFC793 */
249 u32 snd_una; /**< oldest unacknowledged sequence number */
250 u32 snd_una_max; /**< newest unacknowledged sequence number + 1*/
251 u32 snd_wnd; /**< send window */
252 u32 snd_wl1; /**< seq number used for last snd.wnd update */
253 u32 snd_wl2; /**< ack number used for last snd.wnd update */
254 u32 snd_nxt; /**< next seq number to be sent */
Florin Corasf03a59a2017-06-09 21:07:32 -0700255 u16 snd_mss; /**< Effective send max seg (data) size */
Dave Barach68b0fb02017-02-28 15:15:56 -0500256
257 /** Receive sequence variables RFC793 */
258 u32 rcv_nxt; /**< next sequence number expected */
259 u32 rcv_wnd; /**< receive window we expect */
260
261 u32 rcv_las; /**< rcv_nxt at last ack sent/rcv_wnd update */
262 u32 iss; /**< initial sent sequence */
263 u32 irs; /**< initial remote sequence */
264
265 /* Options */
Florin Coras93992a92017-05-24 18:03:56 -0700266 tcp_options_t rcv_opts; /**< Rx options for connection */
Florin Corasc8343412017-05-04 14:25:50 -0700267 tcp_options_t snd_opts; /**< Tx options for connection */
268 u8 snd_opts_len; /**< Tx options len */
Dave Barach68b0fb02017-02-28 15:15:56 -0500269 u8 rcv_wscale; /**< Window scale to advertise to peer */
270 u8 snd_wscale; /**< Window scale to use when sending */
271 u32 tsval_recent; /**< Last timestamp received */
272 u32 tsval_recent_age; /**< When last updated tstamp_recent*/
273
274 sack_block_t *snd_sacks; /**< Vector of SACKs to send. XXX Fixed size? */
275 sack_scoreboard_t sack_sb; /**< SACK "scoreboard" that tracks holes */
276
Florin Coras6792ec02017-03-13 03:49:51 -0700277 u16 rcv_dupacks; /**< Number of DUPACKs received */
Dave Barach68b0fb02017-02-28 15:15:56 -0500278 u8 snt_dupacks; /**< Number of DUPACKs sent in a burst */
279
280 /* Congestion control */
281 u32 cwnd; /**< Congestion window */
282 u32 ssthresh; /**< Slow-start threshold */
283 u32 prev_ssthresh; /**< ssthresh before congestion */
Florin Coras93992a92017-05-24 18:03:56 -0700284 u32 prev_cwnd; /**< ssthresh before congestion */
Dave Barach68b0fb02017-02-28 15:15:56 -0500285 u32 bytes_acked; /**< Bytes acknowledged by current segment */
Florin Coras93992a92017-05-24 18:03:56 -0700286 u32 snd_rxt_bytes; /**< Retransmitted bytes */
287 u32 snd_rxt_ts; /**< Timestamp when first packet is retransmitted */
Florin Corase69f4952017-03-07 10:06:24 -0800288 u32 tsecr_last_ack; /**< Timestamp echoed to us in last healthy ACK */
Florin Coras6792ec02017-03-13 03:49:51 -0700289 u32 snd_congestion; /**< snd_una_max when congestion is detected */
Dave Barach68b0fb02017-02-28 15:15:56 -0500290 tcp_cc_algorithm_t *cc_algo; /**< Congestion control algorithm */
291
292 /* RTT and RTO */
293 u32 rto; /**< Retransmission timeout */
294 u32 rto_boff; /**< Index for RTO backoff */
295 u32 srtt; /**< Smoothed RTT */
296 u32 rttvar; /**< Smoothed mean RTT difference. Approximates variance */
297 u32 rtt_ts; /**< Timestamp for tracked ACK */
298 u32 rtt_seq; /**< Sequence number for tracked ACK */
299
Florin Corasc8343412017-05-04 14:25:50 -0700300 u16 mss; /**< Our max seg size that includes options */
Florin Corasf03a59a2017-06-09 21:07:32 -0700301 u32 limited_transmit; /**< snd_nxt when limited transmit starts */
Florin Corasf6359c82017-06-19 12:26:09 -0400302 u32 last_fib_check; /**< Last time we checked fib route for peer */
Dave Barach68b0fb02017-02-28 15:15:56 -0500303} tcp_connection_t;
304
305struct _tcp_cc_algorithm
306{
307 void (*rcv_ack) (tcp_connection_t * tc);
308 void (*rcv_cong_ack) (tcp_connection_t * tc, tcp_cc_ack_t ack);
309 void (*congestion) (tcp_connection_t * tc);
310 void (*recovered) (tcp_connection_t * tc);
311 void (*init) (tcp_connection_t * tc);
312};
313
314#define tcp_fastrecovery_on(tc) (tc)->flags |= TCP_CONN_FAST_RECOVERY
315#define tcp_fastrecovery_off(tc) (tc)->flags &= ~TCP_CONN_FAST_RECOVERY
Florin Coras3e350af2017-03-30 02:54:28 -0700316#define tcp_recovery_on(tc) (tc)->flags |= TCP_CONN_RECOVERY
317#define tcp_recovery_off(tc) (tc)->flags &= ~TCP_CONN_RECOVERY
Dave Barach68b0fb02017-02-28 15:15:56 -0500318#define tcp_in_fastrecovery(tc) ((tc)->flags & TCP_CONN_FAST_RECOVERY)
Florin Coras3e350af2017-03-30 02:54:28 -0700319#define tcp_in_recovery(tc) ((tc)->flags & (TCP_CONN_RECOVERY))
Dave Barach68b0fb02017-02-28 15:15:56 -0500320#define tcp_in_slowstart(tc) (tc->cwnd < tc->ssthresh)
Florin Coras6792ec02017-03-13 03:49:51 -0700321#define tcp_fastrecovery_sent_1_smss(tc) ((tc)->flags & TCP_CONN_FR_1_SMSS)
322#define tcp_fastrecovery_1_smss_on(tc) ((tc)->flags |= TCP_CONN_FR_1_SMSS)
323#define tcp_fastrecovery_1_smss_off(tc) ((tc)->flags &= ~TCP_CONN_FR_1_SMSS)
Dave Barach68b0fb02017-02-28 15:15:56 -0500324
Florin Coras3e350af2017-03-30 02:54:28 -0700325#define tcp_in_cong_recovery(tc) ((tc)->flags & \
326 (TCP_CONN_FAST_RECOVERY | TCP_CONN_RECOVERY))
327
328always_inline void
329tcp_cong_recovery_off (tcp_connection_t * tc)
330{
331 tc->flags &= ~(TCP_CONN_FAST_RECOVERY | TCP_CONN_RECOVERY);
332 tcp_fastrecovery_1_smss_off (tc);
333}
334
Dave Barach68b0fb02017-02-28 15:15:56 -0500335typedef enum
336{
337 TCP_IP4,
338 TCP_IP6,
339 TCP_N_AF,
340} tcp_af_t;
341
342typedef enum _tcp_error
343{
344#define tcp_error(n,s) TCP_ERROR_##n,
345#include <vnet/tcp/tcp_error.def>
346#undef tcp_error
347 TCP_N_ERROR,
348} tcp_error_t;
349
350typedef struct _tcp_lookup_dispatch
351{
352 u8 next, error;
353} tcp_lookup_dispatch_t;
354
355typedef struct _tcp_main
356{
357 /* Per-worker thread tcp connection pools */
358 tcp_connection_t **connections;
359
360 /* Pool of listeners. */
361 tcp_connection_t *listener_pool;
362
363 /** Dispatch table by state and flags */
364 tcp_lookup_dispatch_t dispatch_table[TCP_N_STATES][64];
365
366 u8 log2_tstamp_clocks_per_tick;
367 f64 tstamp_ticks_per_clock;
368
369 /** per-worker tx buffer free lists */
370 u32 **tx_buffers;
371
372 /* Per worker-thread timer wheel for connections timers */
373 tw_timer_wheel_16t_2w_512sl_t *timer_wheels;
374
Dave Barach68b0fb02017-02-28 15:15:56 -0500375 /* Pool of half-open connections on which we've sent a SYN */
376 tcp_connection_t *half_open_connections;
Florin Coras6534b7a2017-07-18 05:38:03 -0400377 clib_spinlock_t half_open_lock;
Dave Barach68b0fb02017-02-28 15:15:56 -0500378
379 /* Pool of local TCP endpoints */
380 transport_endpoint_t *local_endpoints;
381
382 /* Local endpoints lookup table */
383 transport_endpoint_table_t local_endpoints_table;
384
385 /* Congestion control algorithms registered */
386 tcp_cc_algorithm_t *cc_algos;
387
Florin Corasa0b34a72017-03-07 01:20:52 -0800388 /* Flag that indicates if stack is on or off */
389 u8 is_enabled;
390
Dave Barach2c25a622017-06-26 11:35:07 -0400391 /** Number of preallocated connections */
392 u32 preallocated_connections;
393 u32 preallocated_half_open_connections;
394
395 /** Vectors of src addresses. Optional unless one needs > 63K active-opens */
396 ip4_address_t *ip4_src_addresses;
397 u32 last_v4_address_rotor;
398 u32 last_v6_address_rotor;
399 ip6_address_t *ip6_src_addresses;
400
Dave Barach68b0fb02017-02-28 15:15:56 -0500401 /* convenience */
402 vlib_main_t *vlib_main;
403 vnet_main_t *vnet_main;
404 ip4_main_t *ip4_main;
405 ip6_main_t *ip6_main;
406} tcp_main_t;
407
408extern tcp_main_t tcp_main;
409extern vlib_node_registration_t tcp4_input_node;
410extern vlib_node_registration_t tcp6_input_node;
411extern vlib_node_registration_t tcp4_output_node;
412extern vlib_node_registration_t tcp6_output_node;
413
414always_inline tcp_main_t *
415vnet_get_tcp_main ()
416{
417 return &tcp_main;
418}
419
Florin Coras82b13a82017-04-25 11:58:06 -0700420always_inline tcp_header_t *
421tcp_buffer_hdr (vlib_buffer_t * b)
422{
423 ASSERT ((signed) b->current_data >= (signed) -VLIB_BUFFER_PRE_DATA_SIZE);
424 return (tcp_header_t *) (b->data + b->current_data
425 + vnet_buffer (b)->tcp.hdr_offset);
426}
427
Florin Corasa0b34a72017-03-07 01:20:52 -0800428clib_error_t *vnet_tcp_enable_disable (vlib_main_t * vm, u8 is_en);
429
Dave Barach68b0fb02017-02-28 15:15:56 -0500430always_inline tcp_connection_t *
431tcp_connection_get (u32 conn_index, u32 thread_index)
432{
Florin Corasd79b41e2017-03-04 05:37:52 -0800433 if (pool_is_free_index (tcp_main.connections[thread_index], conn_index))
434 return 0;
Dave Barach68b0fb02017-02-28 15:15:56 -0500435 return pool_elt_at_index (tcp_main.connections[thread_index], conn_index);
436}
437
438always_inline tcp_connection_t *
439tcp_connection_get_if_valid (u32 conn_index, u32 thread_index)
440{
441 if (tcp_main.connections[thread_index] == 0)
442 return 0;
443 if (pool_is_free_index (tcp_main.connections[thread_index], conn_index))
444 return 0;
445 return pool_elt_at_index (tcp_main.connections[thread_index], conn_index);
446}
447
Florin Coras3eb50622017-07-13 01:24:57 -0400448always_inline tcp_connection_t *
449tcp_get_connection_from_transport (transport_connection_t * tconn)
450{
451 return (tcp_connection_t *) tconn;
452}
453
Dave Barach68b0fb02017-02-28 15:15:56 -0500454void tcp_connection_close (tcp_connection_t * tc);
455void tcp_connection_cleanup (tcp_connection_t * tc);
456void tcp_connection_del (tcp_connection_t * tc);
Florin Coras6534b7a2017-07-18 05:38:03 -0400457void tcp_half_open_connection_del (tcp_connection_t * tc);
458tcp_connection_t *tcp_connection_new (u8 thread_index);
Florin Corasd79b41e2017-03-04 05:37:52 -0800459void tcp_connection_reset (tcp_connection_t * tc);
Dave Barach68b0fb02017-02-28 15:15:56 -0500460
Florin Corasbb292f42017-05-19 09:49:19 -0700461u8 *format_tcp_connection_id (u8 * s, va_list * args);
Florin Corase69f4952017-03-07 10:06:24 -0800462u8 *format_tcp_connection (u8 * s, va_list * args);
Florin Coras06d11012017-05-17 14:21:51 -0700463u8 *format_tcp_scoreboard (u8 * s, va_list * args);
Florin Corase69f4952017-03-07 10:06:24 -0800464
Florin Coras3eb50622017-07-13 01:24:57 -0400465u8 *tcp_scoreboard_replay (u8 * s, tcp_connection_t * tc, u8 verbose);
466
Dave Barach68b0fb02017-02-28 15:15:56 -0500467always_inline tcp_connection_t *
468tcp_listener_get (u32 tli)
469{
470 return pool_elt_at_index (tcp_main.listener_pool, tli);
471}
472
473always_inline tcp_connection_t *
474tcp_half_open_connection_get (u32 conn_index)
475{
Florin Coras6534b7a2017-07-18 05:38:03 -0400476 if (pool_is_free_index (tcp_main.half_open_connections, conn_index))
477 return 0;
Dave Barach68b0fb02017-02-28 15:15:56 -0500478 return pool_elt_at_index (tcp_main.half_open_connections, conn_index);
479}
480
481void tcp_make_ack (tcp_connection_t * ts, vlib_buffer_t * b);
Florin Corasd79b41e2017-03-04 05:37:52 -0800482void tcp_make_fin (tcp_connection_t * tc, vlib_buffer_t * b);
Dave Barach68b0fb02017-02-28 15:15:56 -0500483void tcp_make_synack (tcp_connection_t * ts, vlib_buffer_t * b);
Florin Coras6534b7a2017-07-18 05:38:03 -0400484void tcp_send_reset (tcp_connection_t * tc, vlib_buffer_t * pkt, u8 is_ip4);
Dave Barach68b0fb02017-02-28 15:15:56 -0500485void tcp_send_syn (tcp_connection_t * tc);
486void tcp_send_fin (tcp_connection_t * tc);
Florin Corasc8343412017-05-04 14:25:50 -0700487void tcp_init_mss (tcp_connection_t * tc);
488void tcp_update_snd_mss (tcp_connection_t * tc);
Florin Coras93992a92017-05-24 18:03:56 -0700489void tcp_update_rto (tcp_connection_t * tc);
Dave Barach68b0fb02017-02-28 15:15:56 -0500490
491always_inline u32
492tcp_end_seq (tcp_header_t * th, u32 len)
493{
494 return th->seq_number + tcp_is_syn (th) + tcp_is_fin (th) + len;
495}
496
497/* Modulo arithmetic for TCP sequence numbers */
498#define seq_lt(_s1, _s2) ((i32)((_s1)-(_s2)) < 0)
499#define seq_leq(_s1, _s2) ((i32)((_s1)-(_s2)) <= 0)
500#define seq_gt(_s1, _s2) ((i32)((_s1)-(_s2)) > 0)
501#define seq_geq(_s1, _s2) ((i32)((_s1)-(_s2)) >= 0)
Florin Corasf03a59a2017-06-09 21:07:32 -0700502#define seq_max(_s1, _s2) (seq_gt((_s1), (_s2)) ? (_s1) : (_s2))
Dave Barach68b0fb02017-02-28 15:15:56 -0500503
504/* Modulo arithmetic for timestamps */
505#define timestamp_lt(_t1, _t2) ((i32)((_t1)-(_t2)) < 0)
506#define timestamp_leq(_t1, _t2) ((i32)((_t1)-(_t2)) <= 0)
507
Florin Coras93992a92017-05-24 18:03:56 -0700508/**
509 * Our estimate of the number of bytes that have left the network
510 */
511always_inline u32
512tcp_bytes_out (const tcp_connection_t * tc)
513{
514 if (tcp_opts_sack_permitted (&tc->rcv_opts))
515 return tc->sack_sb.sacked_bytes + tc->sack_sb.lost_bytes;
516 else
517 return tc->rcv_dupacks * tc->snd_mss;
518}
519
520/**
521 * Our estimate of the number of bytes in flight (pipe size)
522 */
Dave Barach68b0fb02017-02-28 15:15:56 -0500523always_inline u32
524tcp_flight_size (const tcp_connection_t * tc)
525{
Florin Coras6792ec02017-03-13 03:49:51 -0700526 int flight_size;
527
Florin Coras93992a92017-05-24 18:03:56 -0700528 flight_size = (int) (tc->snd_una_max - tc->snd_una) - tcp_bytes_out (tc)
529 + tc->snd_rxt_bytes;
Florin Coras6792ec02017-03-13 03:49:51 -0700530
Florin Coras6792ec02017-03-13 03:49:51 -0700531 if (flight_size < 0)
Florin Coras93992a92017-05-24 18:03:56 -0700532 {
533 if (0)
534 clib_warning
535 ("Negative: %u %u %u dupacks %u sacked bytes %u flags %d",
536 tc->snd_una_max - tc->snd_una, tcp_bytes_out (tc),
537 tc->snd_rxt_bytes, tc->rcv_dupacks, tc->sack_sb.sacked_bytes,
538 tc->rcv_opts.flags);
539 return 0;
540 }
Florin Coras6792ec02017-03-13 03:49:51 -0700541
542 return flight_size;
Dave Barach68b0fb02017-02-28 15:15:56 -0500543}
544
545/**
546 * Initial cwnd as per RFC5681
547 */
548always_inline u32
549tcp_initial_cwnd (const tcp_connection_t * tc)
550{
551 if (tc->snd_mss > 2190)
552 return 2 * tc->snd_mss;
553 else if (tc->snd_mss > 1095)
554 return 3 * tc->snd_mss;
555 else
556 return 4 * tc->snd_mss;
557}
558
559always_inline u32
560tcp_loss_wnd (const tcp_connection_t * tc)
561{
562 return tc->snd_mss;
563}
564
565always_inline u32
566tcp_available_wnd (const tcp_connection_t * tc)
567{
568 return clib_min (tc->cwnd, tc->snd_wnd);
569}
570
571always_inline u32
572tcp_available_snd_space (const tcp_connection_t * tc)
573{
574 u32 available_wnd = tcp_available_wnd (tc);
575 u32 flight_size = tcp_flight_size (tc);
576
577 if (available_wnd <= flight_size)
578 return 0;
579
580 return available_wnd - flight_size;
581}
582
Florin Coras93992a92017-05-24 18:03:56 -0700583i32 tcp_rcv_wnd_available (tcp_connection_t * tc);
Florin Corasbb292f42017-05-19 09:49:19 -0700584u32 tcp_snd_space (tcp_connection_t * tc);
Florin Coras6792ec02017-03-13 03:49:51 -0700585void tcp_update_rcv_wnd (tcp_connection_t * tc);
586
Dave Barach68b0fb02017-02-28 15:15:56 -0500587void tcp_retransmit_first_unacked (tcp_connection_t * tc);
Florin Coras93992a92017-05-24 18:03:56 -0700588void tcp_fast_retransmit_no_sack (tcp_connection_t * tc);
589void tcp_fast_retransmit_sack (tcp_connection_t * tc);
Dave Barach68b0fb02017-02-28 15:15:56 -0500590void tcp_fast_retransmit (tcp_connection_t * tc);
Florin Coras93992a92017-05-24 18:03:56 -0700591void tcp_cc_init_congestion (tcp_connection_t * tc);
592int tcp_cc_recover (tcp_connection_t * tc);
593void tcp_cc_fastrecovery_exit (tcp_connection_t * tc);
Dave Barach68b0fb02017-02-28 15:15:56 -0500594
Florin Corasf6359c82017-06-19 12:26:09 -0400595fib_node_index_t tcp_lookup_rmt_in_fib (tcp_connection_t * tc);
596
Florin Coras45d34962017-04-25 00:05:27 -0700597/* Made public for unit testing only */
598void tcp_update_sack_list (tcp_connection_t * tc, u32 start, u32 end);
599
Dave Barach68b0fb02017-02-28 15:15:56 -0500600always_inline u32
601tcp_time_now (void)
602{
603 return clib_cpu_time_now () * tcp_main.tstamp_ticks_per_clock;
604}
605
Florin Coras6cf30ad2017-04-04 23:08:23 -0700606always_inline void
607tcp_update_time (f64 now, u32 thread_index)
608{
609 tw_timer_expire_timers_16t_2w_512sl (&tcp_main.timer_wheels[thread_index],
610 now);
611}
612
Dave Barach68b0fb02017-02-28 15:15:56 -0500613u32 tcp_push_header (transport_connection_t * tconn, vlib_buffer_t * b);
614
615u32
616tcp_prepare_retransmit_segment (tcp_connection_t * tc, vlib_buffer_t * b,
Florin Coras6792ec02017-03-13 03:49:51 -0700617 u32 offset, u32 max_bytes);
Dave Barach68b0fb02017-02-28 15:15:56 -0500618
619void tcp_connection_timers_init (tcp_connection_t * tc);
620void tcp_connection_timers_reset (tcp_connection_t * tc);
Dave Barach68b0fb02017-02-28 15:15:56 -0500621void tcp_connection_init_vars (tcp_connection_t * tc);
622
623always_inline void
624tcp_connection_force_ack (tcp_connection_t * tc, vlib_buffer_t * b)
625{
626 /* Reset flags, make sure ack is sent */
627 tc->flags = TCP_CONN_SNDACK;
628 vnet_buffer (b)->tcp.flags &= ~TCP_BUF_FLAG_DUPACK;
629}
630
631always_inline void
632tcp_timer_set (tcp_connection_t * tc, u8 timer_id, u32 interval)
633{
Dave Barach2c25a622017-06-26 11:35:07 -0400634 ASSERT (tc->c_thread_index == vlib_get_thread_index ());
Dave Barach68b0fb02017-02-28 15:15:56 -0500635 tc->timers[timer_id]
636 = tw_timer_start_16t_2w_512sl (&tcp_main.timer_wheels[tc->c_thread_index],
637 tc->c_c_index, timer_id, interval);
638}
639
640always_inline void
Dave Barach68b0fb02017-02-28 15:15:56 -0500641tcp_timer_reset (tcp_connection_t * tc, u8 timer_id)
642{
Dave Barach2c25a622017-06-26 11:35:07 -0400643 ASSERT (tc->c_thread_index == vlib_get_thread_index ());
Dave Barach68b0fb02017-02-28 15:15:56 -0500644 if (tc->timers[timer_id] == TCP_TIMER_HANDLE_INVALID)
645 return;
646
647 tw_timer_stop_16t_2w_512sl (&tcp_main.timer_wheels[tc->c_thread_index],
648 tc->timers[timer_id]);
649 tc->timers[timer_id] = TCP_TIMER_HANDLE_INVALID;
650}
651
652always_inline void
653tcp_timer_update (tcp_connection_t * tc, u8 timer_id, u32 interval)
654{
Dave Barach2c25a622017-06-26 11:35:07 -0400655 ASSERT (tc->c_thread_index == vlib_get_thread_index ());
Dave Barach68b0fb02017-02-28 15:15:56 -0500656 if (tc->timers[timer_id] != TCP_TIMER_HANDLE_INVALID)
657 tw_timer_stop_16t_2w_512sl (&tcp_main.timer_wheels[tc->c_thread_index],
658 tc->timers[timer_id]);
659 tc->timers[timer_id] =
660 tw_timer_start_16t_2w_512sl (&tcp_main.timer_wheels[tc->c_thread_index],
661 tc->c_c_index, timer_id, interval);
662}
663
Florin Coras6792ec02017-03-13 03:49:51 -0700664always_inline void
665tcp_retransmit_timer_set (tcp_connection_t * tc)
666{
667 tcp_timer_set (tc, TCP_TIMER_RETRANSMIT,
668 clib_max (tc->rto * TCP_TO_TIMER_TICK, 1));
669}
670
671always_inline void
Florin Coras6792ec02017-03-13 03:49:51 -0700672tcp_retransmit_timer_reset (tcp_connection_t * tc)
673{
674 tcp_timer_reset (tc, TCP_TIMER_RETRANSMIT);
675}
676
Florin Coras3e350af2017-03-30 02:54:28 -0700677always_inline void
Florin Coras93992a92017-05-24 18:03:56 -0700678tcp_retransmit_timer_force_update (tcp_connection_t * tc)
679{
680 tcp_timer_update (tc, TCP_TIMER_RETRANSMIT,
681 clib_max (tc->rto * TCP_TO_TIMER_TICK, 1));
682}
683
684always_inline void
Florin Coras3e350af2017-03-30 02:54:28 -0700685tcp_persist_timer_set (tcp_connection_t * tc)
686{
687 /* Reuse RTO. It's backed off in handler */
688 tcp_timer_set (tc, TCP_TIMER_PERSIST,
Florin Coras5921f982017-04-03 18:00:00 -0700689 clib_max (tc->rto * TCP_TO_TIMER_TICK,
690 TCP_TIMER_PERSIST_MIN));
Florin Coras3e350af2017-03-30 02:54:28 -0700691}
692
693always_inline void
694tcp_persist_timer_update (tcp_connection_t * tc)
695{
696 tcp_timer_update (tc, TCP_TIMER_PERSIST,
Florin Coras5921f982017-04-03 18:00:00 -0700697 clib_max (tc->rto * TCP_TO_TIMER_TICK,
698 TCP_TIMER_PERSIST_MIN));
Florin Coras3e350af2017-03-30 02:54:28 -0700699}
700
701always_inline void
702tcp_persist_timer_reset (tcp_connection_t * tc)
703{
704 tcp_timer_reset (tc, TCP_TIMER_PERSIST);
705}
706
Florin Coras93992a92017-05-24 18:03:56 -0700707always_inline void
708tcp_retransmit_timer_update (tcp_connection_t * tc)
709{
710 if (tc->snd_una == tc->snd_una_max)
711 {
712 tcp_retransmit_timer_reset (tc);
713 if (tc->snd_wnd < tc->snd_mss)
714 tcp_persist_timer_set (tc);
715 }
716 else
717 tcp_timer_update (tc, TCP_TIMER_RETRANSMIT,
718 clib_max (tc->rto * TCP_TO_TIMER_TICK, 1));
719}
720
Dave Barach68b0fb02017-02-28 15:15:56 -0500721always_inline u8
722tcp_timer_is_active (tcp_connection_t * tc, tcp_timers_e timer)
723{
724 return tc->timers[timer] != TCP_TIMER_HANDLE_INVALID;
725}
726
Florin Coras93992a92017-05-24 18:03:56 -0700727#define tcp_validate_txf_size(_tc, _a) \
728 ASSERT(_tc->state != TCP_STATE_ESTABLISHED \
729 || stream_session_tx_fifo_max_dequeue (&_tc->connection) >= _a)
730
Dave Barach68b0fb02017-02-28 15:15:56 -0500731void
732scoreboard_remove_hole (sack_scoreboard_t * sb,
733 sack_scoreboard_hole_t * hole);
Florin Coras93992a92017-05-24 18:03:56 -0700734void scoreboard_update_lost (tcp_connection_t * tc, sack_scoreboard_t * sb);
735sack_scoreboard_hole_t *scoreboard_insert_hole (sack_scoreboard_t * sb,
736 u32 prev_index, u32 start,
737 u32 end);
738sack_scoreboard_hole_t *scoreboard_next_rxt_hole (sack_scoreboard_t * sb,
739 sack_scoreboard_hole_t *
740 start, u8 have_sent_1_smss,
741 u8 * can_rescue,
742 u8 * snd_limited);
Florin Coras3eb50622017-07-13 01:24:57 -0400743void scoreboard_init_high_rxt (sack_scoreboard_t * sb, u32 seq);
Dave Barach68b0fb02017-02-28 15:15:56 -0500744
745always_inline sack_scoreboard_hole_t *
Florin Coras6792ec02017-03-13 03:49:51 -0700746scoreboard_get_hole (sack_scoreboard_t * sb, u32 index)
747{
748 if (index != TCP_INVALID_SACK_HOLE_INDEX)
749 return pool_elt_at_index (sb->holes, index);
750 return 0;
751}
752
753always_inline sack_scoreboard_hole_t *
Dave Barach68b0fb02017-02-28 15:15:56 -0500754scoreboard_next_hole (sack_scoreboard_t * sb, sack_scoreboard_hole_t * hole)
755{
756 if (hole->next != TCP_INVALID_SACK_HOLE_INDEX)
757 return pool_elt_at_index (sb->holes, hole->next);
758 return 0;
759}
760
761always_inline sack_scoreboard_hole_t *
Florin Coras93992a92017-05-24 18:03:56 -0700762scoreboard_prev_hole (sack_scoreboard_t * sb, sack_scoreboard_hole_t * hole)
763{
764 if (hole->prev != TCP_INVALID_SACK_HOLE_INDEX)
765 return pool_elt_at_index (sb->holes, hole->prev);
766 return 0;
767}
768
769always_inline sack_scoreboard_hole_t *
Dave Barach68b0fb02017-02-28 15:15:56 -0500770scoreboard_first_hole (sack_scoreboard_t * sb)
771{
772 if (sb->head != TCP_INVALID_SACK_HOLE_INDEX)
773 return pool_elt_at_index (sb->holes, sb->head);
774 return 0;
775}
776
Florin Coras6792ec02017-03-13 03:49:51 -0700777always_inline sack_scoreboard_hole_t *
778scoreboard_last_hole (sack_scoreboard_t * sb)
779{
780 if (sb->tail != TCP_INVALID_SACK_HOLE_INDEX)
781 return pool_elt_at_index (sb->holes, sb->tail);
782 return 0;
783}
784
Dave Barach68b0fb02017-02-28 15:15:56 -0500785always_inline void
786scoreboard_clear (sack_scoreboard_t * sb)
787{
Florin Coras93992a92017-05-24 18:03:56 -0700788 sack_scoreboard_hole_t *hole;
Dave Barach68b0fb02017-02-28 15:15:56 -0500789 while ((hole = scoreboard_first_hole (sb)))
790 {
791 scoreboard_remove_hole (sb, hole);
792 }
Florin Corasf03a59a2017-06-09 21:07:32 -0700793 ASSERT (sb->head == sb->tail && sb->head == TCP_INVALID_SACK_HOLE_INDEX);
Florin Coras3eb50622017-07-13 01:24:57 -0400794 ASSERT (pool_elts (sb->holes) == 0);
Florin Coras6792ec02017-03-13 03:49:51 -0700795 sb->sacked_bytes = 0;
796 sb->last_sacked_bytes = 0;
Florin Coras93992a92017-05-24 18:03:56 -0700797 sb->last_bytes_delivered = 0;
Florin Coras6792ec02017-03-13 03:49:51 -0700798 sb->snd_una_adv = 0;
Florin Coras93992a92017-05-24 18:03:56 -0700799 sb->high_sacked = 0;
800 sb->high_rxt = 0;
801 sb->lost_bytes = 0;
802 sb->cur_rxt_hole = TCP_INVALID_SACK_HOLE_INDEX;
Dave Barach68b0fb02017-02-28 15:15:56 -0500803}
804
805always_inline u32
806scoreboard_hole_bytes (sack_scoreboard_hole_t * hole)
807{
808 return hole->end - hole->start;
809}
810
Florin Coras6792ec02017-03-13 03:49:51 -0700811always_inline u32
812scoreboard_hole_index (sack_scoreboard_t * sb, sack_scoreboard_hole_t * hole)
813{
Florin Coras3eb50622017-07-13 01:24:57 -0400814 ASSERT (!pool_is_free_index (sb->holes, hole - sb->holes));
Florin Coras6792ec02017-03-13 03:49:51 -0700815 return hole - sb->holes;
816}
817
818always_inline void
819scoreboard_init (sack_scoreboard_t * sb)
820{
821 sb->head = TCP_INVALID_SACK_HOLE_INDEX;
822 sb->tail = TCP_INVALID_SACK_HOLE_INDEX;
Florin Coras93992a92017-05-24 18:03:56 -0700823 sb->cur_rxt_hole = TCP_INVALID_SACK_HOLE_INDEX;
Florin Coras6792ec02017-03-13 03:49:51 -0700824}
825
826void tcp_rcv_sacks (tcp_connection_t * tc, u32 ack);
827
Dave Barach68b0fb02017-02-28 15:15:56 -0500828always_inline void
829tcp_cc_algo_register (tcp_cc_algorithm_type_e type,
830 const tcp_cc_algorithm_t * vft)
831{
832 tcp_main_t *tm = vnet_get_tcp_main ();
833 vec_validate (tm->cc_algos, type);
834
835 tm->cc_algos[type] = *vft;
836}
837
838always_inline tcp_cc_algorithm_t *
839tcp_cc_algo_get (tcp_cc_algorithm_type_e type)
840{
841 tcp_main_t *tm = vnet_get_tcp_main ();
842 return &tm->cc_algos[type];
843}
844
845void tcp_cc_init (tcp_connection_t * tc);
846
847/**
848 * Push TCP header to buffer
849 *
850 * @param vm - vlib_main
851 * @param b - buffer to write the header to
852 * @param sp_net - source port net order
853 * @param dp_net - destination port net order
854 * @param seq - sequence number net order
855 * @param ack - ack number net order
856 * @param tcp_hdr_opts_len - header and options length in bytes
857 * @param flags - header flags
858 * @param wnd - window size
859 *
860 * @return - pointer to start of TCP header
861 */
862always_inline void *
863vlib_buffer_push_tcp_net_order (vlib_buffer_t * b, u16 sp, u16 dp, u32 seq,
864 u32 ack, u8 tcp_hdr_opts_len, u8 flags,
865 u16 wnd)
866{
867 tcp_header_t *th;
868
869 th = vlib_buffer_push_uninit (b, tcp_hdr_opts_len);
870
871 th->src_port = sp;
872 th->dst_port = dp;
873 th->seq_number = seq;
874 th->ack_number = ack;
875 th->data_offset_and_reserved = (tcp_hdr_opts_len >> 2) << 4;
876 th->flags = flags;
877 th->window = wnd;
878 th->checksum = 0;
879 th->urgent_pointer = 0;
880 return th;
881}
882
883/**
884 * Push TCP header to buffer
885 *
Dave Barach68b0fb02017-02-28 15:15:56 -0500886 * @param b - buffer to write the header to
887 * @param sp_net - source port net order
888 * @param dp_net - destination port net order
889 * @param seq - sequence number host order
890 * @param ack - ack number host order
891 * @param tcp_hdr_opts_len - header and options length in bytes
892 * @param flags - header flags
893 * @param wnd - window size
894 *
895 * @return - pointer to start of TCP header
896 */
897always_inline void *
898vlib_buffer_push_tcp (vlib_buffer_t * b, u16 sp_net, u16 dp_net, u32 seq,
899 u32 ack, u8 tcp_hdr_opts_len, u8 flags, u16 wnd)
900{
901 return vlib_buffer_push_tcp_net_order (b, sp_net, dp_net,
902 clib_host_to_net_u32 (seq),
903 clib_host_to_net_u32 (ack),
904 tcp_hdr_opts_len, flags,
905 clib_host_to_net_u16 (wnd));
906}
907
908#endif /* _vnet_tcp_h_ */
909
910/*
911 * fd.io coding-style-patch-verification: ON
912 *
913 * Local Variables:
914 * eval: (c-set-style "gnu")
915 * End:
916 */