blob: 30e5899577a947bc14076ceb0ccbab4c47d83bdb [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
Dave Barach3bbcfab2017-08-15 19:03:44 -040016/**
17 * @file
18 * @brief TCP host stack utilities
19 */
20
Dave Barach68b0fb02017-02-28 15:15:56 -050021#include <vnet/tcp/tcp.h>
22#include <vnet/session/session.h>
23#include <vnet/fib/fib.h>
Florin Corasf6359c82017-06-19 12:26:09 -040024#include <vnet/dpo/load_balance.h>
Dave Barach3bbcfab2017-08-15 19:03:44 -040025#include <vnet/dpo/receive_dpo.h>
26#include <vnet/ip/ip6_neighbor.h>
Dave Barach68b0fb02017-02-28 15:15:56 -050027#include <math.h>
28
29tcp_main_t tcp_main;
30
Florin Coras1c8ff632018-05-17 13:28:34 -070031typedef struct
32{
33 fib_protocol_t nh_proto;
34 vnet_link_t link_type;
35 ip46_address_t ip;
36 u32 sw_if_index;
37 u8 is_add;
38} tcp_add_del_adj_args_t;
39
40static void
41tcp_add_del_adj_cb (tcp_add_del_adj_args_t * args)
42{
43 u32 ai;
44 if (args->is_add)
45 {
46 adj_nbr_add_or_lock (args->nh_proto, args->link_type, &args->ip,
47 args->sw_if_index);
48 }
49 else
50 {
51 ai = adj_nbr_find (FIB_PROTOCOL_IP6, VNET_LINK_IP6, &args->ip,
52 args->sw_if_index);
53 if (ai != ADJ_INDEX_INVALID)
54 adj_unlock (ai);
55 }
56}
57
58static void
59tcp_add_del_adjacency (tcp_connection_t * tc, u8 is_add)
60{
61 tcp_add_del_adj_args_t args = {
62 .nh_proto = FIB_PROTOCOL_IP6,
63 .link_type = VNET_LINK_IP6,
64 .ip = tc->c_rmt_ip,
65 .sw_if_index = tc->sw_if_index,
66 .is_add = is_add
67 };
68 vlib_rpc_call_main_thread (tcp_add_del_adj_cb, (u8 *) & args,
69 sizeof (args));
70}
71
Dave Barach68b0fb02017-02-28 15:15:56 -050072static u32
Florin Coras04e53442017-07-16 17:12:15 -070073tcp_connection_bind (u32 session_index, transport_endpoint_t * lcl)
Dave Barach68b0fb02017-02-28 15:15:56 -050074{
75 tcp_main_t *tm = &tcp_main;
76 tcp_connection_t *listener;
Florin Corascea194d2017-10-02 00:18:51 -070077 void *iface_ip;
Dave Barach68b0fb02017-02-28 15:15:56 -050078
79 pool_get (tm->listener_pool, listener);
80 memset (listener, 0, sizeof (*listener));
81
82 listener->c_c_index = listener - tm->listener_pool;
Florin Coras0e495682017-09-19 22:27:18 -070083 listener->c_lcl_port = lcl->port;
Dave Barach68b0fb02017-02-28 15:15:56 -050084
Florin Corascea194d2017-10-02 00:18:51 -070085 /* If we are provided a sw_if_index, bind using one of its ips */
86 if (ip_is_zero (&lcl->ip, 1) && lcl->sw_if_index != ENDPOINT_INVALID_INDEX)
Florin Coras6cf30ad2017-04-04 23:08:23 -070087 {
Florin Corascea194d2017-10-02 00:18:51 -070088 if ((iface_ip = ip_interface_get_first_ip (lcl->sw_if_index,
89 lcl->is_ip4)))
90 ip_set (&lcl->ip, iface_ip, lcl->is_ip4);
Florin Coras6cf30ad2017-04-04 23:08:23 -070091 }
Florin Corascea194d2017-10-02 00:18:51 -070092 ip_copy (&listener->c_lcl_ip, &lcl->ip, lcl->is_ip4);
93 listener->c_is_ip4 = lcl->is_ip4;
Florin Coras3cbc04b2017-10-02 00:18:51 -070094 listener->c_proto = TRANSPORT_PROTO_TCP;
Dave Barach68b0fb02017-02-28 15:15:56 -050095 listener->c_s_index = session_index;
Florin Corascea194d2017-10-02 00:18:51 -070096 listener->c_fib_index = lcl->fib_index;
Dave Barach68b0fb02017-02-28 15:15:56 -050097 listener->state = TCP_STATE_LISTEN;
Dave Barach68b0fb02017-02-28 15:15:56 -050098
Florin Corase69f4952017-03-07 10:06:24 -080099 tcp_connection_timers_init (listener);
100
101 TCP_EVT_DBG (TCP_EVT_BIND, listener);
102
Dave Barach68b0fb02017-02-28 15:15:56 -0500103 return listener->c_c_index;
104}
105
Florin Coras0dbd5172018-06-25 16:19:34 -0700106static u32
Florin Coras04e53442017-07-16 17:12:15 -0700107tcp_session_bind (u32 session_index, transport_endpoint_t * tep)
Dave Barach68b0fb02017-02-28 15:15:56 -0500108{
Florin Coras04e53442017-07-16 17:12:15 -0700109 return tcp_connection_bind (session_index, tep);
Dave Barach68b0fb02017-02-28 15:15:56 -0500110}
111
112static void
Florin Corase69f4952017-03-07 10:06:24 -0800113tcp_connection_unbind (u32 listener_index)
Dave Barach68b0fb02017-02-28 15:15:56 -0500114{
115 tcp_main_t *tm = vnet_get_tcp_main ();
Dave Barach2c25a622017-06-26 11:35:07 -0400116 tcp_connection_t *tc;
117
118 tc = pool_elt_at_index (tm->listener_pool, listener_index);
119
120 TCP_EVT_DBG (TCP_EVT_UNBIND, tc);
121
122 /* Poison the entry */
123 if (CLIB_DEBUG > 0)
124 memset (tc, 0xFA, sizeof (*tc));
125
Dave Barach68b0fb02017-02-28 15:15:56 -0500126 pool_put_index (tm->listener_pool, listener_index);
127}
128
Florin Coras0dbd5172018-06-25 16:19:34 -0700129static u32
Florin Corase69f4952017-03-07 10:06:24 -0800130tcp_session_unbind (u32 listener_index)
Dave Barach68b0fb02017-02-28 15:15:56 -0500131{
Florin Corase69f4952017-03-07 10:06:24 -0800132 tcp_connection_unbind (listener_index);
Dave Barach68b0fb02017-02-28 15:15:56 -0500133 return 0;
134}
135
Florin Coras0dbd5172018-06-25 16:19:34 -0700136static transport_connection_t *
Dave Barach68b0fb02017-02-28 15:15:56 -0500137tcp_session_get_listener (u32 listener_index)
138{
139 tcp_main_t *tm = vnet_get_tcp_main ();
140 tcp_connection_t *tc;
141 tc = pool_elt_at_index (tm->listener_pool, listener_index);
142 return &tc->connection;
143}
144
Florin Coras68810622017-07-24 17:40:28 -0700145/**
146 * Cleanup half-open connection
147 *
148 */
Florin Coras0dbd5172018-06-25 16:19:34 -0700149static void
Florin Coras68810622017-07-24 17:40:28 -0700150tcp_half_open_connection_del (tcp_connection_t * tc)
151{
152 tcp_main_t *tm = vnet_get_tcp_main ();
153 clib_spinlock_lock_if_init (&tm->half_open_lock);
154 pool_put_index (tm->half_open_connections, tc->c_c_index);
155 if (CLIB_DEBUG)
156 memset (tc, 0xFA, sizeof (*tc));
157 clib_spinlock_unlock_if_init (&tm->half_open_lock);
158}
159
160/**
161 * Try to cleanup half-open connection
162 *
163 * If called from a thread that doesn't own tc, the call won't have any
164 * effect.
165 *
166 * @param tc - connection to be cleaned up
167 * @return non-zero if cleanup failed.
168 */
169int
170tcp_half_open_connection_cleanup (tcp_connection_t * tc)
171{
172 /* Make sure this is the owning thread */
173 if (tc->c_thread_index != vlib_get_thread_index ())
174 return 1;
175 tcp_timer_reset (tc, TCP_TIMER_ESTABLISH);
176 tcp_timer_reset (tc, TCP_TIMER_RETRANSMIT_SYN);
177 tcp_half_open_connection_del (tc);
178 return 0;
179}
180
Florin Coras0dbd5172018-06-25 16:19:34 -0700181static tcp_connection_t *
Florin Coras68810622017-07-24 17:40:28 -0700182tcp_half_open_connection_new (void)
183{
184 tcp_main_t *tm = vnet_get_tcp_main ();
185 tcp_connection_t *tc = 0;
Florin Coras4eeeaaf2017-09-05 14:03:37 -0400186 ASSERT (vlib_get_thread_index () == 0);
Florin Coras68810622017-07-24 17:40:28 -0700187 pool_get (tm->half_open_connections, tc);
188 memset (tc, 0, sizeof (*tc));
189 tc->c_c_index = tc - tm->half_open_connections;
190 return tc;
191}
192
Dave Barach68b0fb02017-02-28 15:15:56 -0500193/**
194 * Cleans up connection state.
195 *
196 * No notifications.
197 */
198void
199tcp_connection_cleanup (tcp_connection_t * tc)
200{
201 tcp_main_t *tm = &tcp_main;
Dave Barach68b0fb02017-02-28 15:15:56 -0500202
203 /* Cleanup local endpoint if this was an active connect */
Florin Coras3cbc04b2017-10-02 00:18:51 -0700204 transport_endpoint_cleanup (TRANSPORT_PROTO_TCP, &tc->c_lcl_ip,
205 tc->c_lcl_port);
Dave Barach68b0fb02017-02-28 15:15:56 -0500206
Florin Coras68810622017-07-24 17:40:28 -0700207 /* Check if connection is not yet fully established */
Dave Barach68b0fb02017-02-28 15:15:56 -0500208 if (tc->state == TCP_STATE_SYN_SENT)
Dave Barach2c25a622017-06-26 11:35:07 -0400209 {
Florin Coras68810622017-07-24 17:40:28 -0700210 /* Try to remove the half-open connection. If this is not the owning
211 * thread, tc won't be removed. Retransmit or establish timers will
212 * eventually expire and call again cleanup on the right thread. */
213 tcp_half_open_connection_cleanup (tc);
Dave Barach2c25a622017-06-26 11:35:07 -0400214 }
Dave Barach68b0fb02017-02-28 15:15:56 -0500215 else
Dave Barach2c25a622017-06-26 11:35:07 -0400216 {
217 int thread_index = tc->c_thread_index;
Florin Coras68810622017-07-24 17:40:28 -0700218
219 /* Make sure all timers are cleared */
220 tcp_connection_timers_reset (tc);
221
Florin Coras1c8ff632018-05-17 13:28:34 -0700222 if (!tc->c_is_ip4 && ip6_address_is_link_local_unicast (&tc->c_rmt_ip6))
223 tcp_add_del_adjacency (tc, 0);
224
Dave Barach2c25a622017-06-26 11:35:07 -0400225 /* Poison the entry */
226 if (CLIB_DEBUG > 0)
227 memset (tc, 0xFA, sizeof (*tc));
228 pool_put (tm->connections[thread_index], tc);
229 }
Dave Barach68b0fb02017-02-28 15:15:56 -0500230}
231
232/**
233 * Connection removal.
234 *
235 * This should be called only once connection enters CLOSED state. Note
236 * that it notifies the session of the removal event, so if the goal is to
237 * just remove the connection, call tcp_connection_cleanup instead.
238 */
239void
240tcp_connection_del (tcp_connection_t * tc)
241{
Florin Corase69f4952017-03-07 10:06:24 -0800242 TCP_EVT_DBG (TCP_EVT_DELETE, tc);
Dave Barach68b0fb02017-02-28 15:15:56 -0500243 stream_session_delete_notify (&tc->connection);
244 tcp_connection_cleanup (tc);
245}
246
Florin Coras6534b7a2017-07-18 05:38:03 -0400247tcp_connection_t *
248tcp_connection_new (u8 thread_index)
249{
250 tcp_main_t *tm = vnet_get_tcp_main ();
251 tcp_connection_t *tc;
252
253 pool_get (tm->connections[thread_index], tc);
254 memset (tc, 0, sizeof (*tc));
255 tc->c_c_index = tc - tm->connections[thread_index];
256 tc->c_thread_index = thread_index;
257 return tc;
258}
259
Florin Corasd79b41e2017-03-04 05:37:52 -0800260/** Notify session that connection has been reset.
261 *
262 * Switch state to closed and wait for session to call cleanup.
263 */
264void
265tcp_connection_reset (tcp_connection_t * tc)
266{
Florin Coras6534b7a2017-07-18 05:38:03 -0400267 TCP_EVT_DBG (TCP_EVT_RST_RCVD, tc);
Florin Coras11c05492017-05-10 12:29:14 -0700268 switch (tc->state)
269 {
270 case TCP_STATE_SYN_RCVD:
271 /* Cleanup everything. App wasn't notified yet */
272 stream_session_delete_notify (&tc->connection);
273 tcp_connection_cleanup (tc);
274 break;
275 case TCP_STATE_SYN_SENT:
Florin Coras3cbc04b2017-10-02 00:18:51 -0700276 session_stream_connect_notify (&tc->connection, 1 /* fail */ );
Florin Coras6534b7a2017-07-18 05:38:03 -0400277 tcp_connection_cleanup (tc);
278 break;
Florin Coras11c05492017-05-10 12:29:14 -0700279 case TCP_STATE_ESTABLISHED:
Florin Coras25579b42018-06-06 17:55:02 -0700280 tcp_connection_timers_reset (tc);
281 /* Set the cleanup timer, in case the session layer/app don't
282 * cleanly close the connection */
283 tcp_timer_update (tc, TCP_TIMER_WAITCLOSE, TCP_CLEANUP_TIME);
Florin Corasf988e692017-11-27 04:34:14 -0500284 stream_session_reset_notify (&tc->connection);
Florin Coras25579b42018-06-06 17:55:02 -0700285 break;
Florin Coras11c05492017-05-10 12:29:14 -0700286 case TCP_STATE_CLOSE_WAIT:
287 case TCP_STATE_FIN_WAIT_1:
288 case TCP_STATE_FIN_WAIT_2:
289 case TCP_STATE_CLOSING:
290 tc->state = TCP_STATE_CLOSED;
Florin Coras6534b7a2017-07-18 05:38:03 -0400291 TCP_EVT_DBG (TCP_EVT_STATE_CHANGE, tc);
Florin Coras11c05492017-05-10 12:29:14 -0700292 tcp_connection_timers_reset (tc);
Florin Coras68810622017-07-24 17:40:28 -0700293 tcp_timer_update (tc, TCP_TIMER_WAITCLOSE, TCP_CLEANUP_TIME);
Florin Coras11c05492017-05-10 12:29:14 -0700294 break;
295 case TCP_STATE_CLOSED:
296 return;
297 }
Florin Corasd79b41e2017-03-04 05:37:52 -0800298}
299
Dave Barach68b0fb02017-02-28 15:15:56 -0500300/**
301 * Begin connection closing procedure.
302 *
303 * If at the end the connection is not in CLOSED state, it is not removed.
304 * Instead, we rely on on TCP to advance through state machine to either
305 * 1) LAST_ACK (passive close) whereby when the last ACK is received
306 * tcp_connection_del is called. This notifies session of the delete and
307 * calls cleanup.
308 * 2) TIME_WAIT (active close) whereby after 2MSL the 2MSL timer triggers
309 * and cleanup is called.
Florin Corasd79b41e2017-03-04 05:37:52 -0800310 *
311 * N.B. Half-close connections are not supported
Dave Barach68b0fb02017-02-28 15:15:56 -0500312 */
313void
314tcp_connection_close (tcp_connection_t * tc)
315{
Florin Corase69f4952017-03-07 10:06:24 -0800316 TCP_EVT_DBG (TCP_EVT_CLOSE, tc);
317
Florin Corasb2215d62017-08-01 16:56:58 -0700318 /* Send/Program FIN if needed and switch state */
319 switch (tc->state)
320 {
321 case TCP_STATE_SYN_SENT:
322 tc->state = TCP_STATE_CLOSED;
323 break;
324 case TCP_STATE_SYN_RCVD:
325 tcp_send_fin (tc);
326 tc->state = TCP_STATE_FIN_WAIT_1;
327 break;
328 case TCP_STATE_ESTABLISHED:
Florin Coras25579b42018-06-06 17:55:02 -0700329 if (!session_tx_fifo_max_dequeue (&tc->connection))
Florin Corasb2215d62017-08-01 16:56:58 -0700330 tcp_send_fin (tc);
331 else
332 tc->flags |= TCP_CONN_FINPNDG;
333 tc->state = TCP_STATE_FIN_WAIT_1;
334 break;
335 case TCP_STATE_CLOSE_WAIT:
Florin Coras25579b42018-06-06 17:55:02 -0700336 if (!session_tx_fifo_max_dequeue (&tc->connection))
337 {
338 tcp_send_fin (tc);
339 tcp_connection_timers_reset (tc);
340 tc->state = TCP_STATE_LAST_ACK;
341 tcp_timer_update (tc, TCP_TIMER_WAITCLOSE, TCP_2MSL_TIME);
342 }
343 else
344 tc->flags |= TCP_CONN_FINPNDG;
Florin Corasb2215d62017-08-01 16:56:58 -0700345 break;
Florin Corasc87c91d2017-08-16 19:55:49 -0700346 case TCP_STATE_FIN_WAIT_1:
Florin Corasa096f2d2017-09-28 23:49:42 -0400347 tcp_timer_update (tc, TCP_TIMER_WAITCLOSE, TCP_2MSL_TIME);
Florin Corasc87c91d2017-08-16 19:55:49 -0700348 break;
Florin Corasb2215d62017-08-01 16:56:58 -0700349 default:
Florin Corasa096f2d2017-09-28 23:49:42 -0400350 TCP_DBG ("state: %u", tc->state);
Florin Corasb2215d62017-08-01 16:56:58 -0700351 }
Dave Barach68b0fb02017-02-28 15:15:56 -0500352
Florin Coras6534b7a2017-07-18 05:38:03 -0400353 TCP_EVT_DBG (TCP_EVT_STATE_CHANGE, tc);
Dave Barach68b0fb02017-02-28 15:15:56 -0500354
Florin Corasd79b41e2017-03-04 05:37:52 -0800355 /* If in CLOSED and WAITCLOSE timer is not set, delete connection now */
Florin Corasa096f2d2017-09-28 23:49:42 -0400356 if (!tcp_timer_is_active (tc, TCP_TIMER_WAITCLOSE)
Florin Corasd79b41e2017-03-04 05:37:52 -0800357 && tc->state == TCP_STATE_CLOSED)
Dave Barach68b0fb02017-02-28 15:15:56 -0500358 tcp_connection_del (tc);
359}
360
Florin Coras0dbd5172018-06-25 16:19:34 -0700361static void
Dave Barach68b0fb02017-02-28 15:15:56 -0500362tcp_session_close (u32 conn_index, u32 thread_index)
363{
364 tcp_connection_t *tc;
365 tc = tcp_connection_get (conn_index, thread_index);
366 tcp_connection_close (tc);
367}
368
Florin Coras0dbd5172018-06-25 16:19:34 -0700369static void
Dave Barach68b0fb02017-02-28 15:15:56 -0500370tcp_session_cleanup (u32 conn_index, u32 thread_index)
371{
372 tcp_connection_t *tc;
373 tc = tcp_connection_get (conn_index, thread_index);
Florin Corasa096f2d2017-09-28 23:49:42 -0400374 tcp_connection_timers_reset (tc);
Florin Corasd79b41e2017-03-04 05:37:52 -0800375 tc->state = TCP_STATE_CLOSED;
Florin Coras6534b7a2017-07-18 05:38:03 -0400376 TCP_EVT_DBG (TCP_EVT_STATE_CHANGE, tc);
Florin Coras25579b42018-06-06 17:55:02 -0700377 tcp_connection_cleanup (tc);
Dave Barach68b0fb02017-02-28 15:15:56 -0500378}
379
Dave Barach68b0fb02017-02-28 15:15:56 -0500380/**
381 * Initialize all connection timers as invalid
382 */
383void
384tcp_connection_timers_init (tcp_connection_t * tc)
385{
386 int i;
387
388 /* Set all to invalid */
389 for (i = 0; i < TCP_N_TIMERS; i++)
390 {
391 tc->timers[i] = TCP_TIMER_HANDLE_INVALID;
392 }
393
394 tc->rto = TCP_RTO_INIT;
395}
396
397/**
398 * Stop all connection timers
399 */
400void
401tcp_connection_timers_reset (tcp_connection_t * tc)
402{
403 int i;
404 for (i = 0; i < TCP_N_TIMERS; i++)
405 {
406 tcp_timer_reset (tc, i);
407 }
408}
409
Dave Barach2c25a622017-06-26 11:35:07 -0400410#if 0
Florin Corasf6359c82017-06-19 12:26:09 -0400411typedef struct ip4_tcp_hdr
412{
413 ip4_header_t ip;
414 tcp_header_t tcp;
415} ip4_tcp_hdr_t;
416
417typedef struct ip6_tcp_hdr
418{
419 ip6_header_t ip;
420 tcp_header_t tcp;
421} ip6_tcp_hdr_t;
422
423static void
424tcp_connection_select_lb_bucket (tcp_connection_t * tc, const dpo_id_t * dpo,
425 dpo_id_t * result)
426{
427 const dpo_id_t *choice;
428 load_balance_t *lb;
429 int hash;
430
431 lb = load_balance_get (dpo->dpoi_index);
432 if (tc->c_is_ip4)
433 {
434 ip4_tcp_hdr_t hdr;
435 memset (&hdr, 0, sizeof (hdr));
436 hdr.ip.protocol = IP_PROTOCOL_TCP;
437 hdr.ip.address_pair.src.as_u32 = tc->c_lcl_ip.ip4.as_u32;
438 hdr.ip.address_pair.dst.as_u32 = tc->c_rmt_ip.ip4.as_u32;
439 hdr.tcp.src_port = tc->c_lcl_port;
440 hdr.tcp.dst_port = tc->c_rmt_port;
441 hash = ip4_compute_flow_hash (&hdr.ip, lb->lb_hash_config);
442 }
443 else
444 {
445 ip6_tcp_hdr_t hdr;
446 memset (&hdr, 0, sizeof (hdr));
447 hdr.ip.protocol = IP_PROTOCOL_TCP;
448 clib_memcpy (&hdr.ip.src_address, &tc->c_lcl_ip.ip6,
449 sizeof (ip6_address_t));
450 clib_memcpy (&hdr.ip.dst_address, &tc->c_rmt_ip.ip6,
451 sizeof (ip6_address_t));
452 hdr.tcp.src_port = tc->c_lcl_port;
453 hdr.tcp.dst_port = tc->c_rmt_port;
454 hash = ip6_compute_flow_hash (&hdr.ip, lb->lb_hash_config);
455 }
456 choice = load_balance_get_bucket_i (lb, hash & lb->lb_n_buckets_minus_1);
457 dpo_copy (result, choice);
458}
459
460fib_node_index_t
461tcp_lookup_rmt_in_fib (tcp_connection_t * tc)
462{
463 fib_prefix_t prefix;
Florin Coras04e53442017-07-16 17:12:15 -0700464 u32 fib_index;
Florin Corasf6359c82017-06-19 12:26:09 -0400465
466 clib_memcpy (&prefix.fp_addr, &tc->c_rmt_ip, sizeof (prefix.fp_addr));
467 prefix.fp_proto = tc->c_is_ip4 ? FIB_PROTOCOL_IP4 : FIB_PROTOCOL_IP6;
468 prefix.fp_len = tc->c_is_ip4 ? 32 : 128;
Florin Corascea194d2017-10-02 00:18:51 -0700469 fib_index = fib_table_find (prefix.fp_proto, tc->c_fib_index);
Florin Coras04e53442017-07-16 17:12:15 -0700470 return fib_table_lookup (fib_index, &prefix);
Florin Corasf6359c82017-06-19 12:26:09 -0400471}
472
473static int
474tcp_connection_stack_on_fib_entry (tcp_connection_t * tc)
475{
476 dpo_id_t choice = DPO_INVALID;
477 u32 output_node_index;
478 fib_entry_t *fe;
479
480 fe = fib_entry_get (tc->c_rmt_fei);
481 if (fe->fe_lb.dpoi_type != DPO_LOAD_BALANCE)
482 return -1;
483
484 tcp_connection_select_lb_bucket (tc, &fe->fe_lb, &choice);
485
486 output_node_index =
487 tc->c_is_ip4 ? tcp4_output_node.index : tcp6_output_node.index;
488 dpo_stack_from_node (output_node_index, &tc->c_rmt_dpo, &choice);
489 return 0;
490}
491
492/** Stack tcp connection on peer's fib entry.
493 *
494 * This ultimately populates the dpo the connection will use to send packets.
495 */
496static void
497tcp_connection_fib_attach (tcp_connection_t * tc)
498{
499 tc->c_rmt_fei = tcp_lookup_rmt_in_fib (tc);
500
501 ASSERT (tc->c_rmt_fei != FIB_NODE_INDEX_INVALID);
502
503 tcp_connection_stack_on_fib_entry (tc);
504}
Dave Barach2c25a622017-06-26 11:35:07 -0400505#endif /* 0 */
Florin Corasf6359c82017-06-19 12:26:09 -0400506
Florin Coras0dbd5172018-06-25 16:19:34 -0700507static void
508tcp_cc_init (tcp_connection_t * tc)
509{
510 tc->cc_algo = tcp_cc_algo_get (TCP_CC_NEWRENO);
511 tc->cc_algo->init (tc);
512}
513
514void
515tcp_cc_algo_register (tcp_cc_algorithm_type_e type,
516 const tcp_cc_algorithm_t * vft)
517{
518 tcp_main_t *tm = vnet_get_tcp_main ();
519 vec_validate (tm->cc_algos, type);
520
521 tm->cc_algos[type] = *vft;
522}
523
524tcp_cc_algorithm_t *
525tcp_cc_algo_get (tcp_cc_algorithm_type_e type)
526{
527 tcp_main_t *tm = vnet_get_tcp_main ();
528 return &tm->cc_algos[type];
529}
530
531
Florin Coras4eeeaaf2017-09-05 14:03:37 -0400532/**
533 * Initialize connection send variables.
534 */
535void
536tcp_init_snd_vars (tcp_connection_t * tc)
537{
538 u32 time_now;
539
Florin Coras3cbc04b2017-10-02 00:18:51 -0700540 /*
541 * We use the time to randomize iss and for setting up the initial
542 * timestamp. Make sure it's updated otherwise syn and ack in the
543 * handshake may make it look as if time has flown in the opposite
544 * direction for us.
545 */
546 tcp_set_time_now (vlib_get_thread_index ());
Florin Coras4eeeaaf2017-09-05 14:03:37 -0400547 time_now = tcp_time_now ();
Florin Coras3cbc04b2017-10-02 00:18:51 -0700548
Florin Coras4eeeaaf2017-09-05 14:03:37 -0400549 tc->iss = random_u32 (&time_now);
550 tc->snd_una = tc->iss;
551 tc->snd_nxt = tc->iss + 1;
552 tc->snd_una_max = tc->snd_nxt;
553}
554
Dave Barach68b0fb02017-02-28 15:15:56 -0500555/** Initialize tcp connection variables
556 *
557 * Should be called after having received a msg from the peer, i.e., a SYN or
558 * a SYNACK, such that connection options have already been exchanged. */
559void
560tcp_connection_init_vars (tcp_connection_t * tc)
561{
562 tcp_connection_timers_init (tc);
Florin Corasc8343412017-05-04 14:25:50 -0700563 tcp_init_mss (tc);
Florin Coras6792ec02017-03-13 03:49:51 -0700564 scoreboard_init (&tc->sack_sb);
Dave Barach68b0fb02017-02-28 15:15:56 -0500565 tcp_cc_init (tc);
Florin Coras4eeeaaf2017-09-05 14:03:37 -0400566 if (tc->state == TCP_STATE_SYN_RCVD)
567 tcp_init_snd_vars (tc);
568
Florin Coras1c8ff632018-05-17 13:28:34 -0700569 if (!tc->c_is_ip4 && ip6_address_is_link_local_unicast (&tc->c_rmt_ip6))
570 tcp_add_del_adjacency (tc, 1);
571
Dave Barach2c25a622017-06-26 11:35:07 -0400572 // tcp_connection_fib_attach (tc);
Dave Barach68b0fb02017-02-28 15:15:56 -0500573}
574
Florin Coras3cbc04b2017-10-02 00:18:51 -0700575static int
576tcp_alloc_custom_local_endpoint (tcp_main_t * tm, ip46_address_t * lcl_addr,
577 u16 * lcl_port, u8 is_ip4)
578{
579 int index, port;
580 if (is_ip4)
581 {
582 index = tm->last_v4_address_rotor++;
583 if (tm->last_v4_address_rotor >= vec_len (tm->ip4_src_addresses))
584 tm->last_v4_address_rotor = 0;
585 lcl_addr->ip4.as_u32 = tm->ip4_src_addresses[index].as_u32;
586 }
587 else
588 {
589 index = tm->last_v6_address_rotor++;
590 if (tm->last_v6_address_rotor >= vec_len (tm->ip6_src_addresses))
591 tm->last_v6_address_rotor = 0;
592 clib_memcpy (&lcl_addr->ip6, &tm->ip6_src_addresses[index],
593 sizeof (ip6_address_t));
594 }
595 port = transport_alloc_local_port (TRANSPORT_PROTO_TCP, lcl_addr);
596 if (port < 1)
597 {
598 clib_warning ("Failed to allocate src port");
599 return -1;
600 }
601 *lcl_port = port;
602 return 0;
603}
604
Florin Coras0dbd5172018-06-25 16:19:34 -0700605static int
Florin Coras04e53442017-07-16 17:12:15 -0700606tcp_connection_open (transport_endpoint_t * rmt)
Dave Barach68b0fb02017-02-28 15:15:56 -0500607{
608 tcp_main_t *tm = vnet_get_tcp_main ();
609 tcp_connection_t *tc;
Dave Barach68b0fb02017-02-28 15:15:56 -0500610 ip46_address_t lcl_addr;
Florin Coras3cbc04b2017-10-02 00:18:51 -0700611 u16 lcl_port;
612 int rv;
Dave Barach68b0fb02017-02-28 15:15:56 -0500613
614 /*
Florin Coras3cbc04b2017-10-02 00:18:51 -0700615 * Allocate local endpoint
Dave Barach68b0fb02017-02-28 15:15:56 -0500616 */
Florin Coras3cbc04b2017-10-02 00:18:51 -0700617 if ((rmt->is_ip4 && vec_len (tm->ip4_src_addresses))
618 || (!rmt->is_ip4 && vec_len (tm->ip6_src_addresses)))
619 rv = tcp_alloc_custom_local_endpoint (tm, &lcl_addr, &lcl_port,
620 rmt->is_ip4);
Dave Barach68b0fb02017-02-28 15:15:56 -0500621 else
Florin Coras3cbc04b2017-10-02 00:18:51 -0700622 rv = transport_alloc_local_endpoint (TRANSPORT_PROTO_TCP,
623 rmt, &lcl_addr, &lcl_port);
Dave Barach2c25a622017-06-26 11:35:07 -0400624
Florin Coras3cbc04b2017-10-02 00:18:51 -0700625 if (rv)
626 return -1;
Dave Barach68b0fb02017-02-28 15:15:56 -0500627
628 /*
629 * Create connection and send SYN
630 */
Florin Coras68810622017-07-24 17:40:28 -0700631 clib_spinlock_lock_if_init (&tm->half_open_lock);
Florin Coras04e53442017-07-16 17:12:15 -0700632 tc = tcp_half_open_connection_new ();
Florin Coras3cbc04b2017-10-02 00:18:51 -0700633 ip_copy (&tc->c_rmt_ip, &rmt->ip, rmt->is_ip4);
634 ip_copy (&tc->c_lcl_ip, &lcl_addr, rmt->is_ip4);
Florin Coras0e495682017-09-19 22:27:18 -0700635 tc->c_rmt_port = rmt->port;
Dave Barach68b0fb02017-02-28 15:15:56 -0500636 tc->c_lcl_port = clib_host_to_net_u16 (lcl_port);
Florin Coras04e53442017-07-16 17:12:15 -0700637 tc->c_is_ip4 = rmt->is_ip4;
Florin Coras3cbc04b2017-10-02 00:18:51 -0700638 tc->c_proto = TRANSPORT_PROTO_TCP;
Florin Corascea194d2017-10-02 00:18:51 -0700639 tc->c_fib_index = rmt->fib_index;
Dave Barach68b0fb02017-02-28 15:15:56 -0500640 /* The other connection vars will be initialized after SYN ACK */
641 tcp_connection_timers_init (tc);
642
Florin Corase69f4952017-03-07 10:06:24 -0800643 TCP_EVT_DBG (TCP_EVT_OPEN, tc);
Florin Coras6534b7a2017-07-18 05:38:03 -0400644 tc->state = TCP_STATE_SYN_SENT;
Florin Coras4eeeaaf2017-09-05 14:03:37 -0400645 tcp_init_snd_vars (tc);
Florin Coras6534b7a2017-07-18 05:38:03 -0400646 tcp_send_syn (tc);
Florin Coras68810622017-07-24 17:40:28 -0700647 clib_spinlock_unlock_if_init (&tm->half_open_lock);
Florin Corase69f4952017-03-07 10:06:24 -0800648
Dave Barach68b0fb02017-02-28 15:15:56 -0500649 return tc->c_c_index;
650}
651
Florin Coras0dbd5172018-06-25 16:19:34 -0700652static int
Florin Coras04e53442017-07-16 17:12:15 -0700653tcp_session_open (transport_endpoint_t * tep)
Dave Barach68b0fb02017-02-28 15:15:56 -0500654{
Florin Coras04e53442017-07-16 17:12:15 -0700655 return tcp_connection_open (tep);
Dave Barach68b0fb02017-02-28 15:15:56 -0500656}
657
Florin Corase69f4952017-03-07 10:06:24 -0800658const char *tcp_dbg_evt_str[] = {
659#define _(sym, str) str,
660 foreach_tcp_dbg_evt
661#undef _
662};
663
664const char *tcp_fsm_states[] = {
665#define _(sym, str) str,
666 foreach_tcp_fsm_state
667#undef _
668};
669
Dave Barach68b0fb02017-02-28 15:15:56 -0500670u8 *
Florin Corase69f4952017-03-07 10:06:24 -0800671format_tcp_state (u8 * s, va_list * args)
672{
Florin Corasbb292f42017-05-19 09:49:19 -0700673 u32 state = va_arg (*args, u32);
Florin Corase69f4952017-03-07 10:06:24 -0800674
Florin Corasbb292f42017-05-19 09:49:19 -0700675 if (state < TCP_N_STATES)
676 s = format (s, "%s", tcp_fsm_states[state]);
Florin Corase69f4952017-03-07 10:06:24 -0800677 else
Florin Corasbb292f42017-05-19 09:49:19 -0700678 s = format (s, "UNKNOWN (%d (0x%x))", state, state);
Florin Corase69f4952017-03-07 10:06:24 -0800679 return s;
680}
681
Florin Corasa096f2d2017-09-28 23:49:42 -0400682const char *tcp_connection_flags_str[] = {
683#define _(sym, str) str,
684 foreach_tcp_connection_flag
685#undef _
686};
687
Florin Coras0dbd5172018-06-25 16:19:34 -0700688static u8 *
Florin Corasa096f2d2017-09-28 23:49:42 -0400689format_tcp_connection_flags (u8 * s, va_list * args)
690{
691 tcp_connection_t *tc = va_arg (*args, tcp_connection_t *);
692 int i, last = -1;
693
694 for (i = 0; i < TCP_CONN_N_FLAG_BITS; i++)
695 if (tc->flags & (1 << i))
696 last = i;
697 for (i = 0; i < last; i++)
698 {
699 if (tc->flags & (1 << i))
700 s = format (s, "%s, ", tcp_connection_flags_str[i]);
701 }
702 if (last >= 0)
703 s = format (s, "%s", tcp_connection_flags_str[last]);
704 return s;
705}
706
Florin Corase69f4952017-03-07 10:06:24 -0800707const char *tcp_conn_timers[] = {
708#define _(sym, str) str,
709 foreach_tcp_timer
710#undef _
711};
712
Florin Coras0dbd5172018-06-25 16:19:34 -0700713static u8 *
Florin Corase69f4952017-03-07 10:06:24 -0800714format_tcp_timers (u8 * s, va_list * args)
715{
716 tcp_connection_t *tc = va_arg (*args, tcp_connection_t *);
Florin Coras93992a92017-05-24 18:03:56 -0700717 int i, last = -1;
Florin Corase69f4952017-03-07 10:06:24 -0800718
719 for (i = 0; i < TCP_N_TIMERS; i++)
720 if (tc->timers[i] != TCP_TIMER_HANDLE_INVALID)
721 last = i;
722
723 s = format (s, "[");
724 for (i = 0; i < last; i++)
725 {
726 if (tc->timers[i] != TCP_TIMER_HANDLE_INVALID)
727 s = format (s, "%s,", tcp_conn_timers[i]);
728 }
729
Florin Coras93992a92017-05-24 18:03:56 -0700730 if (last >= 0)
Florin Corase69f4952017-03-07 10:06:24 -0800731 s = format (s, "%s]", tcp_conn_timers[i]);
732 else
733 s = format (s, "]");
734
735 return s;
736}
737
Florin Coras0dbd5172018-06-25 16:19:34 -0700738static u8 *
Florin Corasbb292f42017-05-19 09:49:19 -0700739format_tcp_congestion_status (u8 * s, va_list * args)
740{
741 tcp_connection_t *tc = va_arg (*args, tcp_connection_t *);
742 if (tcp_in_recovery (tc))
743 s = format (s, "recovery");
744 else if (tcp_in_fastrecovery (tc))
745 s = format (s, "fastrecovery");
746 else
747 s = format (s, "none");
748 return s;
749}
750
Florin Coras0dbd5172018-06-25 16:19:34 -0700751static i32
752tcp_rcv_wnd_available (tcp_connection_t * tc)
753{
754 return (i32) tc->rcv_wnd - (tc->rcv_nxt - tc->rcv_las);
755}
756
757static u8 *
Florin Corasbb292f42017-05-19 09:49:19 -0700758format_tcp_vars (u8 * s, va_list * args)
759{
760 tcp_connection_t *tc = va_arg (*args, tcp_connection_t *);
Florin Corasa096f2d2017-09-28 23:49:42 -0400761 s = format (s, " flags: %U timers: %U\n", format_tcp_connection_flags, tc,
762 format_tcp_timers, tc);
Dave Barach2c25a622017-06-26 11:35:07 -0400763 s = format (s, " snd_una %u snd_nxt %u snd_una_max %u",
Florin Corasbb292f42017-05-19 09:49:19 -0700764 tc->snd_una - tc->iss, tc->snd_nxt - tc->iss,
765 tc->snd_una_max - tc->iss);
766 s = format (s, " rcv_nxt %u rcv_las %u\n",
767 tc->rcv_nxt - tc->irs, tc->rcv_las - tc->irs);
Florin Corasca031862018-09-24 13:58:05 -0700768 s = format (s, " snd_wnd %u rcv_wnd %u rcv_wscale %u ",
769 tc->snd_wnd, tc->rcv_wnd, tc->rcv_wscale);
770 s = format (s, "snd_wl1 %u snd_wl2 %u\n", tc->snd_wl1 - tc->irs,
Florin Corasbb292f42017-05-19 09:49:19 -0700771 tc->snd_wl2 - tc->iss);
Florin Corasca1c8f32018-05-23 21:01:30 -0700772 s = format (s, " flight size %u out space %u cc space %u rcv_wnd_av %u\n",
Florin Coras4eeeaaf2017-09-05 14:03:37 -0400773 tcp_flight_size (tc), tcp_available_output_snd_space (tc),
Florin Corasca1c8f32018-05-23 21:01:30 -0700774 tcp_available_cc_snd_space (tc), tcp_rcv_wnd_available (tc));
Florin Corasbb292f42017-05-19 09:49:19 -0700775 s = format (s, " cong %U ", format_tcp_congestion_status, tc);
776 s = format (s, "cwnd %u ssthresh %u rtx_bytes %u bytes_acked %u\n",
Florin Coras93992a92017-05-24 18:03:56 -0700777 tc->cwnd, tc->ssthresh, tc->snd_rxt_bytes, tc->bytes_acked);
Dave Barach2c25a622017-06-26 11:35:07 -0400778 s = format (s, " prev_ssthresh %u snd_congestion %u dupack %u",
Florin Coras93992a92017-05-24 18:03:56 -0700779 tc->prev_ssthresh, tc->snd_congestion - tc->iss,
780 tc->rcv_dupacks);
Dave Barach2c25a622017-06-26 11:35:07 -0400781 s = format (s, " limited_transmit %u\n", tc->limited_transmit - tc->iss);
782 s = format (s, " tsecr %u tsecr_last_ack %u\n", tc->rcv_opts.tsecr,
783 tc->tsecr_last_ack);
Florin Corasbb292f42017-05-19 09:49:19 -0700784 s = format (s, " rto %u rto_boff %u srtt %u rttvar %u rtt_ts %u ", tc->rto,
785 tc->rto_boff, tc->srtt, tc->rttvar, tc->rtt_ts);
786 s = format (s, "rtt_seq %u\n", tc->rtt_seq);
Dave Barach2c25a622017-06-26 11:35:07 -0400787 s = format (s, " tsval_recent %u tsval_recent_age %u\n", tc->tsval_recent,
788 tcp_time_now () - tc->tsval_recent_age);
Florin Corasde706082017-10-11 01:43:15 -0700789 if (tc->state >= TCP_STATE_ESTABLISHED)
790 s = format (s, " scoreboard: %U\n", format_tcp_scoreboard, &tc->sack_sb,
791 tc);
Florin Corasbb292f42017-05-19 09:49:19 -0700792 if (vec_len (tc->snd_sacks))
793 s = format (s, " sacks tx: %U\n", format_tcp_sacks, tc);
794
795 return s;
796}
797
Florin Coras0dbd5172018-06-25 16:19:34 -0700798static u8 *
Florin Corasbb292f42017-05-19 09:49:19 -0700799format_tcp_connection_id (u8 * s, va_list * args)
Florin Corase69f4952017-03-07 10:06:24 -0800800{
801 tcp_connection_t *tc = va_arg (*args, tcp_connection_t *);
Florin Corasa5464812017-04-19 13:00:05 -0700802 if (!tc)
803 return s;
Florin Corase69f4952017-03-07 10:06:24 -0800804 if (tc->c_is_ip4)
805 {
806 s = format (s, "[#%d][%s] %U:%d->%U:%d", tc->c_thread_index, "T",
807 format_ip4_address, &tc->c_lcl_ip4,
808 clib_net_to_host_u16 (tc->c_lcl_port), format_ip4_address,
809 &tc->c_rmt_ip4, clib_net_to_host_u16 (tc->c_rmt_port));
810 }
811 else
812 {
813 s = format (s, "[#%d][%s] %U:%d->%U:%d", tc->c_thread_index, "T",
814 format_ip6_address, &tc->c_lcl_ip6,
815 clib_net_to_host_u16 (tc->c_lcl_port), format_ip6_address,
816 &tc->c_rmt_ip6, clib_net_to_host_u16 (tc->c_rmt_port));
817 }
818
819 return s;
820}
821
822u8 *
Florin Corasbb292f42017-05-19 09:49:19 -0700823format_tcp_connection (u8 * s, va_list * args)
Florin Corase69f4952017-03-07 10:06:24 -0800824{
825 tcp_connection_t *tc = va_arg (*args, tcp_connection_t *);
Florin Corasbb292f42017-05-19 09:49:19 -0700826 u32 verbose = va_arg (*args, u32);
827
Florin Corasc87c91d2017-08-16 19:55:49 -0700828 if (!tc)
829 return s;
Florin Corasbb292f42017-05-19 09:49:19 -0700830 s = format (s, "%-50U", format_tcp_connection_id, tc);
831 if (verbose)
832 {
833 s = format (s, "%-15U", format_tcp_state, tc->state);
834 if (verbose > 1)
Florin Corasa096f2d2017-09-28 23:49:42 -0400835 s = format (s, "\n%U", format_tcp_vars, tc);
Florin Corasbb292f42017-05-19 09:49:19 -0700836 }
Florin Coras3eb50622017-07-13 01:24:57 -0400837
Florin Corase69f4952017-03-07 10:06:24 -0800838 return s;
839}
840
Florin Coras0dbd5172018-06-25 16:19:34 -0700841static u8 *
Florin Corase69f4952017-03-07 10:06:24 -0800842format_tcp_session (u8 * s, va_list * args)
Dave Barach68b0fb02017-02-28 15:15:56 -0500843{
844 u32 tci = va_arg (*args, u32);
845 u32 thread_index = va_arg (*args, u32);
Florin Corasbb292f42017-05-19 09:49:19 -0700846 u32 verbose = va_arg (*args, u32);
Dave Barach68b0fb02017-02-28 15:15:56 -0500847 tcp_connection_t *tc;
848
849 tc = tcp_connection_get (tci, thread_index);
Florin Coras6cf30ad2017-04-04 23:08:23 -0700850 if (tc)
Florin Coras93992a92017-05-24 18:03:56 -0700851 s = format (s, "%U", format_tcp_connection, tc, verbose);
Florin Coras6cf30ad2017-04-04 23:08:23 -0700852 else
Florin Coras1f152cd2017-08-18 19:28:03 -0700853 s = format (s, "empty\n");
Florin Coras93992a92017-05-24 18:03:56 -0700854 return s;
Dave Barach68b0fb02017-02-28 15:15:56 -0500855}
856
Florin Coras0dbd5172018-06-25 16:19:34 -0700857static u8 *
Florin Corase69f4952017-03-07 10:06:24 -0800858format_tcp_listener_session (u8 * s, va_list * args)
Dave Barach68b0fb02017-02-28 15:15:56 -0500859{
860 u32 tci = va_arg (*args, u32);
861 tcp_connection_t *tc = tcp_listener_get (tci);
Florin Corasbb292f42017-05-19 09:49:19 -0700862 return format (s, "%U", format_tcp_connection_id, tc);
Dave Barach68b0fb02017-02-28 15:15:56 -0500863}
864
Florin Coras0dbd5172018-06-25 16:19:34 -0700865static u8 *
Florin Corase69f4952017-03-07 10:06:24 -0800866format_tcp_half_open_session (u8 * s, va_list * args)
Dave Barach68b0fb02017-02-28 15:15:56 -0500867{
868 u32 tci = va_arg (*args, u32);
869 tcp_connection_t *tc = tcp_half_open_connection_get (tci);
Florin Corasbb292f42017-05-19 09:49:19 -0700870 return format (s, "%U", format_tcp_connection_id, tc);
Dave Barach68b0fb02017-02-28 15:15:56 -0500871}
872
Florin Coras06d11012017-05-17 14:21:51 -0700873u8 *
874format_tcp_sacks (u8 * s, va_list * args)
875{
876 tcp_connection_t *tc = va_arg (*args, tcp_connection_t *);
877 sack_block_t *sacks = tc->snd_sacks;
878 sack_block_t *block;
Dave Barach2c25a622017-06-26 11:35:07 -0400879 int i, len = 0;
880
881 len = vec_len (sacks);
882 for (i = 0; i < len - 1; i++)
883 {
884 block = &sacks[i];
885 s = format (s, " start %u end %u\n", block->start - tc->irs,
886 block->end - tc->irs);
887 }
888 if (len)
889 {
890 block = &sacks[len - 1];
891 s = format (s, " start %u end %u", block->start - tc->irs,
892 block->end - tc->irs);
893 }
Florin Coras06d11012017-05-17 14:21:51 -0700894 return s;
895}
896
897u8 *
Florin Coras3eb50622017-07-13 01:24:57 -0400898format_tcp_rcv_sacks (u8 * s, va_list * args)
899{
900 tcp_connection_t *tc = va_arg (*args, tcp_connection_t *);
901 sack_block_t *sacks = tc->rcv_opts.sacks;
902 sack_block_t *block;
903 int i, len = 0;
904
905 len = vec_len (sacks);
906 for (i = 0; i < len - 1; i++)
907 {
908 block = &sacks[i];
909 s = format (s, " start %u end %u\n", block->start - tc->iss,
910 block->end - tc->iss);
911 }
912 if (len)
913 {
914 block = &sacks[len - 1];
915 s = format (s, " start %u end %u", block->start - tc->iss,
916 block->end - tc->iss);
917 }
918 return s;
919}
920
Florin Coras0dbd5172018-06-25 16:19:34 -0700921static u8 *
Florin Coras06d11012017-05-17 14:21:51 -0700922format_tcp_sack_hole (u8 * s, va_list * args)
923{
924 sack_scoreboard_hole_t *hole = va_arg (*args, sack_scoreboard_hole_t *);
Florin Coras1f152cd2017-08-18 19:28:03 -0700925 tcp_connection_t *tc = va_arg (*args, tcp_connection_t *);
926 if (tc)
927 s = format (s, " [%u, %u]", hole->start - tc->iss, hole->end - tc->iss);
928 else
929 s = format (s, " [%u, %u]", hole->start, hole->end);
Florin Coras06d11012017-05-17 14:21:51 -0700930 return s;
931}
932
933u8 *
934format_tcp_scoreboard (u8 * s, va_list * args)
935{
936 sack_scoreboard_t *sb = va_arg (*args, sack_scoreboard_t *);
Florin Coras1f152cd2017-08-18 19:28:03 -0700937 tcp_connection_t *tc = va_arg (*args, tcp_connection_t *);
Florin Coras06d11012017-05-17 14:21:51 -0700938 sack_scoreboard_hole_t *hole;
Florin Coras93992a92017-05-24 18:03:56 -0700939 s = format (s, "sacked_bytes %u last_sacked_bytes %u lost_bytes %u\n",
940 sb->sacked_bytes, sb->last_sacked_bytes, sb->lost_bytes);
941 s = format (s, " last_bytes_delivered %u high_sacked %u snd_una_adv %u\n",
942 sb->last_bytes_delivered, sb->high_sacked, sb->snd_una_adv);
943 s = format (s, " cur_rxt_hole %u high_rxt %u rescue_rxt %u",
944 sb->cur_rxt_hole, sb->high_rxt, sb->rescue_rxt);
945
Florin Coras06d11012017-05-17 14:21:51 -0700946 hole = scoreboard_first_hole (sb);
Florin Coras93992a92017-05-24 18:03:56 -0700947 if (hole)
948 s = format (s, "\n head %u tail %u holes:\n", sb->head, sb->tail);
949
Florin Coras06d11012017-05-17 14:21:51 -0700950 while (hole)
951 {
Florin Coras1f152cd2017-08-18 19:28:03 -0700952 s = format (s, "%U", format_tcp_sack_hole, hole, tc);
Florin Coras06d11012017-05-17 14:21:51 -0700953 hole = scoreboard_next_hole (sb, hole);
954 }
Florin Coras3eb50622017-07-13 01:24:57 -0400955
Florin Coras06d11012017-05-17 14:21:51 -0700956 return s;
957}
958
Florin Coras0dbd5172018-06-25 16:19:34 -0700959static transport_connection_t *
Dave Barach68b0fb02017-02-28 15:15:56 -0500960tcp_session_get_transport (u32 conn_index, u32 thread_index)
961{
962 tcp_connection_t *tc = tcp_connection_get (conn_index, thread_index);
963 return &tc->connection;
964}
965
Florin Coras0dbd5172018-06-25 16:19:34 -0700966static transport_connection_t *
Dave Barach68b0fb02017-02-28 15:15:56 -0500967tcp_half_open_session_get_transport (u32 conn_index)
968{
969 tcp_connection_t *tc = tcp_half_open_connection_get (conn_index);
970 return &tc->connection;
971}
972
Florin Corasc8343412017-05-04 14:25:50 -0700973/**
974 * Compute maximum segment size for session layer.
975 *
976 * Since the result needs to be the actual data length, it first computes
977 * the tcp options to be used in the next burst and subtracts their
978 * length from the connection's snd_mss.
979 */
Florin Coras0dbd5172018-06-25 16:19:34 -0700980static u16
Dave Barach68b0fb02017-02-28 15:15:56 -0500981tcp_session_send_mss (transport_connection_t * trans_conn)
982{
983 tcp_connection_t *tc = (tcp_connection_t *) trans_conn;
Florin Corasc8343412017-05-04 14:25:50 -0700984
985 /* Ensure snd_mss does accurately reflect the amount of data we can push
986 * in a segment. This also makes sure that options are updated according to
987 * the current state of the connection. */
Florin Corasb26743d2018-06-26 09:31:04 -0700988 tcp_update_burst_snd_vars (tc);
Florin Corasc8343412017-05-04 14:25:50 -0700989
Dave Barach68b0fb02017-02-28 15:15:56 -0500990 return tc->snd_mss;
991}
992
Florin Coras3af90fc2017-05-03 21:09:42 -0700993always_inline u32
994tcp_round_snd_space (tcp_connection_t * tc, u32 snd_space)
995{
Dave Barach2c25a622017-06-26 11:35:07 -0400996 if (PREDICT_FALSE (tc->snd_wnd < tc->snd_mss))
Florin Coras3af90fc2017-05-03 21:09:42 -0700997 {
Florin Corasdb84e572017-05-09 18:54:52 -0700998 return tc->snd_wnd <= snd_space ? tc->snd_wnd : 0;
Florin Coras3af90fc2017-05-03 21:09:42 -0700999 }
1000
Florin Coras1f152cd2017-08-18 19:28:03 -07001001 /* If not snd_wnd constrained and we can't write at least a segment,
1002 * don't try at all */
Dave Barach2c25a622017-06-26 11:35:07 -04001003 if (PREDICT_FALSE (snd_space < tc->snd_mss))
Florin Coras9d063042017-09-14 03:08:00 -04001004 return snd_space < tc->cwnd ? 0 : snd_space;
Florin Coras3af90fc2017-05-03 21:09:42 -07001005
1006 /* round down to mss multiple */
1007 return snd_space - (snd_space % tc->snd_mss);
1008}
1009
Florin Coras6792ec02017-03-13 03:49:51 -07001010/**
1011 * Compute tx window session is allowed to fill.
Florin Corasbb292f42017-05-19 09:49:19 -07001012 *
1013 * Takes into account available send space, snd_mss and the congestion
1014 * state of the connection. If possible, the value returned is a multiple
1015 * of snd_mss.
1016 *
1017 * @param tc tcp connection
1018 * @return number of bytes session is allowed to write
Florin Coras6792ec02017-03-13 03:49:51 -07001019 */
Florin Coras45ca73f2018-09-27 09:19:29 -07001020static inline u32
1021tcp_snd_space_inline (tcp_connection_t * tc)
Dave Barach68b0fb02017-02-28 15:15:56 -05001022{
Florin Corasf03a59a2017-06-09 21:07:32 -07001023 int snd_space, snt_limited;
Florin Coras6792ec02017-03-13 03:49:51 -07001024
Florin Corasf03a59a2017-06-09 21:07:32 -07001025 if (PREDICT_TRUE (tcp_in_cong_recovery (tc) == 0))
Florin Coras6792ec02017-03-13 03:49:51 -07001026 {
Florin Coras1f152cd2017-08-18 19:28:03 -07001027 snd_space = tcp_available_output_snd_space (tc);
Florin Corasf03a59a2017-06-09 21:07:32 -07001028
1029 /* If we haven't gotten dupacks or if we did and have gotten sacked
1030 * bytes then we can still send as per Limited Transmit (RFC3042) */
1031 if (PREDICT_FALSE (tc->rcv_dupacks != 0
1032 && (tcp_opts_sack_permitted (tc)
1033 && tc->sack_sb.last_sacked_bytes == 0)))
1034 {
1035 if (tc->rcv_dupacks == 1 && tc->limited_transmit != tc->snd_nxt)
1036 tc->limited_transmit = tc->snd_nxt;
1037 ASSERT (seq_leq (tc->limited_transmit, tc->snd_nxt));
1038
1039 snt_limited = tc->snd_nxt - tc->limited_transmit;
1040 snd_space = clib_max (2 * tc->snd_mss - snt_limited, 0);
1041 }
Florin Coras3af90fc2017-05-03 21:09:42 -07001042 return tcp_round_snd_space (tc, snd_space);
1043 }
Florin Coras6792ec02017-03-13 03:49:51 -07001044
Florin Coras3af90fc2017-05-03 21:09:42 -07001045 if (tcp_in_recovery (tc))
1046 {
1047 tc->snd_nxt = tc->snd_una_max;
Florin Coras1f152cd2017-08-18 19:28:03 -07001048 snd_space = tcp_available_snd_wnd (tc) - tc->snd_rxt_bytes
Florin Coras3af90fc2017-05-03 21:09:42 -07001049 - (tc->snd_una_max - tc->snd_congestion);
Florin Corasc8343412017-05-04 14:25:50 -07001050 if (snd_space <= 0 || (tc->snd_una_max - tc->snd_una) >= tc->snd_wnd)
Florin Coras6792ec02017-03-13 03:49:51 -07001051 return 0;
Florin Coras3af90fc2017-05-03 21:09:42 -07001052 return tcp_round_snd_space (tc, snd_space);
Florin Coras6792ec02017-03-13 03:49:51 -07001053 }
1054
Florin Coras1f152cd2017-08-18 19:28:03 -07001055 /* RFC 5681: When previously unsent data is available and the new value of
1056 * cwnd and the receiver's advertised window allow, a TCP SHOULD send 1*SMSS
1057 * bytes of previously unsent data. */
1058 if (tcp_in_fastrecovery (tc) && !tcp_fastrecovery_sent_1_smss (tc))
Florin Coras6792ec02017-03-13 03:49:51 -07001059 {
Florin Corasca1c8f32018-05-23 21:01:30 -07001060 if (tcp_available_cc_snd_space (tc) < tc->snd_mss)
Florin Coras1f152cd2017-08-18 19:28:03 -07001061 return 0;
Florin Coras6792ec02017-03-13 03:49:51 -07001062 tcp_fastrecovery_1_smss_on (tc);
1063 return tc->snd_mss;
1064 }
1065
1066 return 0;
Dave Barach68b0fb02017-02-28 15:15:56 -05001067}
1068
Florin Coras45ca73f2018-09-27 09:19:29 -07001069u32
1070tcp_snd_space (tcp_connection_t * tc)
1071{
1072 return tcp_snd_space_inline (tc);
1073}
1074
Florin Coras0dbd5172018-06-25 16:19:34 -07001075static u32
Florin Corasbb292f42017-05-19 09:49:19 -07001076tcp_session_send_space (transport_connection_t * trans_conn)
1077{
1078 tcp_connection_t *tc = (tcp_connection_t *) trans_conn;
Florin Coras45ca73f2018-09-27 09:19:29 -07001079 return clib_min (tcp_snd_space_inline (tc),
Florin Coras1f152cd2017-08-18 19:28:03 -07001080 tc->snd_wnd - (tc->snd_nxt - tc->snd_una));
Florin Corasbb292f42017-05-19 09:49:19 -07001081}
1082
Florin Coras0dbd5172018-06-25 16:19:34 -07001083static u32
Florin Corasd79b41e2017-03-04 05:37:52 -08001084tcp_session_tx_fifo_offset (transport_connection_t * trans_conn)
Dave Barach68b0fb02017-02-28 15:15:56 -05001085{
1086 tcp_connection_t *tc = (tcp_connection_t *) trans_conn;
Florin Coras6792ec02017-03-13 03:49:51 -07001087
1088 ASSERT (seq_geq (tc->snd_nxt, tc->snd_una));
1089
1090 /* This still works if fast retransmit is on */
Florin Corasd79b41e2017-03-04 05:37:52 -08001091 return (tc->snd_nxt - tc->snd_una);
Dave Barach68b0fb02017-02-28 15:15:56 -05001092}
1093
Florin Coras0dbd5172018-06-25 16:19:34 -07001094static void
Florin Coras561af9b2017-12-09 10:19:43 -08001095tcp_update_time (f64 now, u8 thread_index)
1096{
1097 tcp_set_time_now (thread_index);
Florin Coras2c414432018-06-19 09:58:04 -07001098 tw_timer_expire_timers_16t_2w_512sl (&tcp_main.
1099 wrk_ctx[thread_index].timer_wheel,
Florin Coras561af9b2017-12-09 10:19:43 -08001100 now);
1101 tcp_flush_frames_to_output (thread_index);
1102}
1103
Florin Coras0dbd5172018-06-25 16:19:34 -07001104static u32
1105tcp_session_push_header (transport_connection_t * tconn, vlib_buffer_t * b)
1106{
1107 tcp_connection_t *tc = (tcp_connection_t *) tconn;
1108 return tcp_push_header (tc, b);
1109}
1110
Dave Barach68b0fb02017-02-28 15:15:56 -05001111/* *INDENT-OFF* */
Florin Coras04e53442017-07-16 17:12:15 -07001112const static transport_proto_vft_t tcp_proto = {
Florin Coras561af9b2017-12-09 10:19:43 -08001113 .enable = vnet_tcp_enable_disable,
Florin Coras04e53442017-07-16 17:12:15 -07001114 .bind = tcp_session_bind,
Florin Corase69f4952017-03-07 10:06:24 -08001115 .unbind = tcp_session_unbind,
Florin Coras8b20bf52018-06-14 14:55:50 -07001116 .push_header = tcp_session_push_header,
Dave Barach68b0fb02017-02-28 15:15:56 -05001117 .get_connection = tcp_session_get_transport,
1118 .get_listener = tcp_session_get_listener,
1119 .get_half_open = tcp_half_open_session_get_transport,
Florin Coras04e53442017-07-16 17:12:15 -07001120 .open = tcp_session_open,
Dave Barach68b0fb02017-02-28 15:15:56 -05001121 .close = tcp_session_close,
1122 .cleanup = tcp_session_cleanup,
1123 .send_mss = tcp_session_send_mss,
1124 .send_space = tcp_session_send_space,
Florin Coras561af9b2017-12-09 10:19:43 -08001125 .update_time = tcp_update_time,
Florin Corasd79b41e2017-03-04 05:37:52 -08001126 .tx_fifo_offset = tcp_session_tx_fifo_offset,
Florin Corase69f4952017-03-07 10:06:24 -08001127 .format_connection = format_tcp_session,
1128 .format_listener = format_tcp_listener_session,
1129 .format_half_open = format_tcp_half_open_session,
Florin Coras371ca502018-02-21 12:07:41 -08001130 .tx_type = TRANSPORT_TX_PEEK,
1131 .service_type = TRANSPORT_SERVICE_VC,
Dave Barach68b0fb02017-02-28 15:15:56 -05001132};
1133/* *INDENT-ON* */
1134
Florin Coras0dbd5172018-06-25 16:19:34 -07001135static void
Dave Barach68b0fb02017-02-28 15:15:56 -05001136tcp_timer_keep_handler (u32 conn_index)
1137{
Damjan Marion586afd72017-04-05 19:18:20 +02001138 u32 thread_index = vlib_get_thread_index ();
Dave Barach68b0fb02017-02-28 15:15:56 -05001139 tcp_connection_t *tc;
1140
Damjan Marion586afd72017-04-05 19:18:20 +02001141 tc = tcp_connection_get (conn_index, thread_index);
Dave Barach68b0fb02017-02-28 15:15:56 -05001142 tc->timers[TCP_TIMER_KEEP] = TCP_TIMER_HANDLE_INVALID;
1143
1144 tcp_connection_close (tc);
1145}
1146
Florin Coras0dbd5172018-06-25 16:19:34 -07001147static void
Dave Barach68b0fb02017-02-28 15:15:56 -05001148tcp_timer_establish_handler (u32 conn_index)
1149{
1150 tcp_connection_t *tc;
Dave Barach68b0fb02017-02-28 15:15:56 -05001151
1152 tc = tcp_half_open_connection_get (conn_index);
Florin Corasab0289a2017-08-14 11:25:25 -07001153 if (tc)
1154 {
1155 ASSERT (tc->state == TCP_STATE_SYN_SENT);
Florin Coras3cbc04b2017-10-02 00:18:51 -07001156 session_stream_connect_notify (&tc->connection, 1 /* fail */ );
Florin Coras9d063042017-09-14 03:08:00 -04001157 TCP_DBG ("establish pop: %U", format_tcp_connection, tc, 2);
Florin Corasab0289a2017-08-14 11:25:25 -07001158 }
1159 else
1160 {
1161 tc = tcp_connection_get (conn_index, vlib_get_thread_index ());
Dave Barachb7f1faa2017-08-29 11:43:37 -04001162 /* note: the connection may have already disappeared */
1163 if (PREDICT_FALSE (tc == 0))
1164 return;
Florin Coras9d063042017-09-14 03:08:00 -04001165 TCP_DBG ("establish pop: %U", format_tcp_connection, tc, 2);
Florin Corasab0289a2017-08-14 11:25:25 -07001166 ASSERT (tc->state == TCP_STATE_SYN_RCVD);
Florin Coras4eeeaaf2017-09-05 14:03:37 -04001167 /* Start cleanup. App wasn't notified yet so use delete notify as
1168 * opposed to delete to cleanup session layer state. */
1169 stream_session_delete_notify (&tc->connection);
Florin Corasab0289a2017-08-14 11:25:25 -07001170 }
rootc9d1c5b2017-08-15 12:58:31 -04001171 tc->timers[TCP_TIMER_ESTABLISH] = TCP_TIMER_HANDLE_INVALID;
Dave Barach68b0fb02017-02-28 15:15:56 -05001172 tcp_connection_cleanup (tc);
1173}
1174
Florin Coras0dbd5172018-06-25 16:19:34 -07001175static void
Florin Corasd79b41e2017-03-04 05:37:52 -08001176tcp_timer_waitclose_handler (u32 conn_index)
Dave Barach68b0fb02017-02-28 15:15:56 -05001177{
Damjan Marion586afd72017-04-05 19:18:20 +02001178 u32 thread_index = vlib_get_thread_index ();
Dave Barach68b0fb02017-02-28 15:15:56 -05001179 tcp_connection_t *tc;
1180
Damjan Marion586afd72017-04-05 19:18:20 +02001181 tc = tcp_connection_get (conn_index, thread_index);
Florin Coras68810622017-07-24 17:40:28 -07001182 if (!tc)
1183 return;
Florin Corasd79b41e2017-03-04 05:37:52 -08001184 tc->timers[TCP_TIMER_WAITCLOSE] = TCP_TIMER_HANDLE_INVALID;
1185
1186 /* Session didn't come back with a close(). Send FIN either way
1187 * and switch to LAST_ACK. */
1188 if (tc->state == TCP_STATE_CLOSE_WAIT)
1189 {
1190 if (tc->flags & TCP_CONN_FINSNT)
1191 {
1192 clib_warning ("FIN was sent and still in CLOSE WAIT. Weird!");
1193 }
1194
1195 tcp_send_fin (tc);
1196 tc->state = TCP_STATE_LAST_ACK;
1197
1198 /* Make sure we don't wait in LAST ACK forever */
1199 tcp_timer_set (tc, TCP_TIMER_WAITCLOSE, TCP_2MSL_TIME);
1200
1201 /* Don't delete the connection yet */
1202 return;
1203 }
Dave Barach68b0fb02017-02-28 15:15:56 -05001204
1205 tcp_connection_del (tc);
1206}
1207
1208/* *INDENT-OFF* */
1209static timer_expiration_handler *timer_expiration_handlers[TCP_N_TIMERS] =
1210{
1211 tcp_timer_retransmit_handler,
1212 tcp_timer_delack_handler,
Florin Coras3e350af2017-03-30 02:54:28 -07001213 tcp_timer_persist_handler,
Dave Barach68b0fb02017-02-28 15:15:56 -05001214 tcp_timer_keep_handler,
Florin Corasd79b41e2017-03-04 05:37:52 -08001215 tcp_timer_waitclose_handler,
Dave Barach68b0fb02017-02-28 15:15:56 -05001216 tcp_timer_retransmit_syn_handler,
1217 tcp_timer_establish_handler
1218};
1219/* *INDENT-ON* */
1220
1221static void
1222tcp_expired_timers_dispatch (u32 * expired_timers)
1223{
1224 int i;
1225 u32 connection_index, timer_id;
1226
1227 for (i = 0; i < vec_len (expired_timers); i++)
1228 {
1229 /* Get session index and timer id */
1230 connection_index = expired_timers[i] & 0x0FFFFFFF;
1231 timer_id = expired_timers[i] >> 28;
1232
Florin Corase69f4952017-03-07 10:06:24 -08001233 TCP_EVT_DBG (TCP_EVT_TIMER_POP, connection_index, timer_id);
1234
Dave Barach68b0fb02017-02-28 15:15:56 -05001235 /* Handle expiration */
1236 (*timer_expiration_handlers[timer_id]) (connection_index);
1237 }
1238}
1239
Florin Coras0dbd5172018-06-25 16:19:34 -07001240static void
Dave Barach68b0fb02017-02-28 15:15:56 -05001241tcp_initialize_timer_wheels (tcp_main_t * tm)
1242{
1243 tw_timer_wheel_16t_2w_512sl_t *tw;
Florin Corasa5464812017-04-19 13:00:05 -07001244 /* *INDENT-OFF* */
1245 foreach_vlib_main (({
Florin Coras2c414432018-06-19 09:58:04 -07001246 tw = &tm->wrk_ctx[ii].timer_wheel;
Dave Barach68b0fb02017-02-28 15:15:56 -05001247 tw_timer_wheel_init_16t_2w_512sl (tw, tcp_expired_timers_dispatch,
1248 100e-3 /* timer period 100ms */ , ~0);
Florin Corasa5464812017-04-19 13:00:05 -07001249 tw->last_run_time = vlib_time_now (this_vlib_main);
1250 }));
1251 /* *INDENT-ON* */
Dave Barach68b0fb02017-02-28 15:15:56 -05001252}
1253
Florin Coras0dbd5172018-06-25 16:19:34 -07001254static clib_error_t *
Florin Corasa0b34a72017-03-07 01:20:52 -08001255tcp_main_enable (vlib_main_t * vm)
Dave Barach68b0fb02017-02-28 15:15:56 -05001256{
Dave Barach68b0fb02017-02-28 15:15:56 -05001257 tcp_main_t *tm = vnet_get_tcp_main ();
1258 vlib_thread_main_t *vtm = vlib_get_thread_main ();
1259 clib_error_t *error = 0;
1260 u32 num_threads;
Dave Barachb7f1faa2017-08-29 11:43:37 -04001261 int thread;
Dave Barach2c25a622017-06-26 11:35:07 -04001262 tcp_connection_t *tc __attribute__ ((unused));
Florin Coras66b11312017-07-31 17:18:03 -07001263 u32 preallocated_connections_per_thread;
Dave Barach68b0fb02017-02-28 15:15:56 -05001264
Dave Barach68b0fb02017-02-28 15:15:56 -05001265 if ((error = vlib_call_init_function (vm, ip_main_init)))
1266 return error;
1267 if ((error = vlib_call_init_function (vm, ip4_lookup_init)))
1268 return error;
1269 if ((error = vlib_call_init_function (vm, ip6_lookup_init)))
1270 return error;
1271
1272 /*
1273 * Registrations
1274 */
1275
Dave Barach68b0fb02017-02-28 15:15:56 -05001276 ip4_register_protocol (IP_PROTOCOL_TCP, tcp4_input_node.index);
rootc9d1c5b2017-08-15 12:58:31 -04001277 ip6_register_protocol (IP_PROTOCOL_TCP, tcp6_input_node.index);
Dave Barach68b0fb02017-02-28 15:15:56 -05001278
Dave Barach68b0fb02017-02-28 15:15:56 -05001279 /*
1280 * Initialize data structures
1281 */
1282
1283 num_threads = 1 /* main thread */ + vtm->n_threads;
1284 vec_validate (tm->connections, num_threads - 1);
1285
Dave Barach2c25a622017-06-26 11:35:07 -04001286 /*
Florin Coras66b11312017-07-31 17:18:03 -07001287 * Preallocate connections. Assume that thread 0 won't
1288 * use preallocated threads when running multi-core
Dave Barach2c25a622017-06-26 11:35:07 -04001289 */
Florin Coras66b11312017-07-31 17:18:03 -07001290 if (num_threads == 1)
Dave Barach2c25a622017-06-26 11:35:07 -04001291 {
Florin Coras66b11312017-07-31 17:18:03 -07001292 thread = 0;
1293 preallocated_connections_per_thread = tm->preallocated_connections;
1294 }
1295 else
1296 {
1297 thread = 1;
1298 preallocated_connections_per_thread =
1299 tm->preallocated_connections / (num_threads - 1);
1300 }
1301 for (; thread < num_threads; thread++)
1302 {
Dave Barachb7f1faa2017-08-29 11:43:37 -04001303 if (preallocated_connections_per_thread)
1304 pool_init_fixed (tm->connections[thread],
1305 preallocated_connections_per_thread);
Dave Barach2c25a622017-06-26 11:35:07 -04001306 }
1307
1308 /*
Dave Barachb7f1faa2017-08-29 11:43:37 -04001309 * Use a preallocated half-open connection pool?
Dave Barach2c25a622017-06-26 11:35:07 -04001310 */
Dave Barachb7f1faa2017-08-29 11:43:37 -04001311 if (tm->preallocated_half_open_connections)
1312 pool_init_fixed (tm->half_open_connections,
1313 tm->preallocated_half_open_connections);
Dave Barach2c25a622017-06-26 11:35:07 -04001314
Dave Barach68b0fb02017-02-28 15:15:56 -05001315 /* Initialize clocks per tick for TCP timestamp. Used to compute
1316 * monotonically increasing timestamps. */
1317 tm->tstamp_ticks_per_clock = vm->clib_time.seconds_per_clock
1318 / TCP_TSTAMP_RESOLUTION;
1319
Florin Coras04e53442017-07-16 17:12:15 -07001320 if (num_threads > 1)
Florin Coras68810622017-07-24 17:40:28 -07001321 {
1322 clib_spinlock_init (&tm->half_open_lock);
Florin Coras68810622017-07-24 17:40:28 -07001323 }
Florin Coras66b11312017-07-31 17:18:03 -07001324
Florin Coras2c414432018-06-19 09:58:04 -07001325 vec_validate (tm->wrk_ctx, num_threads - 1);
1326 tcp_initialize_timer_wheels (tm);
Florin Coras66b11312017-07-31 17:18:03 -07001327
Florin Corasb2215d62017-08-01 16:56:58 -07001328 tm->bytes_per_buffer = vlib_buffer_free_list_buffer_size
1329 (vm, VLIB_BUFFER_DEFAULT_FREE_LIST_INDEX);
Florin Coras82d3ec82017-08-14 08:10:42 -07001330
Dave Barach68b0fb02017-02-28 15:15:56 -05001331 return error;
1332}
1333
Florin Corasa0b34a72017-03-07 01:20:52 -08001334clib_error_t *
1335vnet_tcp_enable_disable (vlib_main_t * vm, u8 is_en)
1336{
1337 if (is_en)
1338 {
1339 if (tcp_main.is_enabled)
1340 return 0;
1341
1342 return tcp_main_enable (vm);
1343 }
1344 else
1345 {
1346 tcp_main.is_enabled = 0;
1347 }
1348
1349 return 0;
1350}
1351
Pierre Pfister7fe51f32017-09-20 08:48:36 +02001352void
1353tcp_punt_unknown (vlib_main_t * vm, u8 is_ip4, u8 is_add)
1354{
1355 tcp_main_t *tm = &tcp_main;
1356 if (is_ip4)
1357 tm->punt_unknown4 = is_add;
1358 else
1359 tm->punt_unknown6 = is_add;
1360}
1361
Florin Coras0dbd5172018-06-25 16:19:34 -07001362static clib_error_t *
Florin Corasa0b34a72017-03-07 01:20:52 -08001363tcp_init (vlib_main_t * vm)
1364{
1365 tcp_main_t *tm = vnet_get_tcp_main ();
Florin Coras40364272017-11-16 09:57:50 -08001366 ip_main_t *im = &ip_main;
1367 ip_protocol_info_t *pi;
1368
1369 /* Session layer, and by implication tcp, are disabled by default */
Florin Corasa0b34a72017-03-07 01:20:52 -08001370 tm->is_enabled = 0;
Florin Coras40364272017-11-16 09:57:50 -08001371
1372 /* Register with IP for header parsing */
1373 pi = ip_get_protocol_info (im, IP_PROTOCOL_TCP);
1374 if (pi == 0)
1375 return clib_error_return (0, "TCP protocol info AWOL");
1376 pi->format_header = format_tcp_header;
1377 pi->unformat_pg_edit = unformat_pg_tcp_header;
1378
Florin Coras561af9b2017-12-09 10:19:43 -08001379 /* Register as transport with session layer */
1380 transport_register_protocol (TRANSPORT_PROTO_TCP, &tcp_proto,
1381 FIB_PROTOCOL_IP4, tcp4_output_node.index);
1382 transport_register_protocol (TRANSPORT_PROTO_TCP, &tcp_proto,
1383 FIB_PROTOCOL_IP6, tcp6_output_node.index);
1384
Dave Barach3bbcfab2017-08-15 19:03:44 -04001385 tcp_api_reference ();
Florin Corasa0b34a72017-03-07 01:20:52 -08001386 return 0;
1387}
1388
Dave Barach68b0fb02017-02-28 15:15:56 -05001389VLIB_INIT_FUNCTION (tcp_init);
1390
Dave Barach2c25a622017-06-26 11:35:07 -04001391static clib_error_t *
1392tcp_config_fn (vlib_main_t * vm, unformat_input_t * input)
1393{
1394 tcp_main_t *tm = vnet_get_tcp_main ();
1395
1396 while (unformat_check_input (input) != UNFORMAT_END_OF_INPUT)
1397 {
Florin Corasca031862018-09-24 13:58:05 -07001398 if (unformat (input, "preallocated-connections %d",
1399 &tm->preallocated_connections))
Dave Barach2c25a622017-06-26 11:35:07 -04001400 ;
1401 else if (unformat (input, "preallocated-half-open-connections %d",
1402 &tm->preallocated_half_open_connections))
1403 ;
Florin Corasf988e692017-11-27 04:34:14 -05001404 else if (unformat (input, "buffer-fail-fraction %f",
1405 &tm->buffer_fail_fraction))
1406 ;
Florin Corasca031862018-09-24 13:58:05 -07001407 else if (unformat (input, "max-rx-fifo %U", unformat_memory_size,
1408 &tm->max_rx_fifo))
1409 ;
Dave Barach2c25a622017-06-26 11:35:07 -04001410 else
1411 return clib_error_return (0, "unknown input `%U'",
1412 format_unformat_error, input);
1413 }
1414 return 0;
1415}
1416
1417VLIB_CONFIG_FUNCTION (tcp_config_fn, "tcp");
1418
Dave Barach3bbcfab2017-08-15 19:03:44 -04001419
1420/**
1421 * \brief Configure an ipv4 source address range
1422 * @param vm vlib_main_t pointer
1423 * @param start first ipv4 address in the source address range
1424 * @param end last ipv4 address in the source address range
1425 * @param table_id VRF / table ID, 0 for the default FIB
1426 * @return 0 if all OK, else an error indication from api_errno.h
1427 */
1428
1429int
1430tcp_configure_v4_source_address_range (vlib_main_t * vm,
1431 ip4_address_t * start,
1432 ip4_address_t * end, u32 table_id)
1433{
1434 tcp_main_t *tm = vnet_get_tcp_main ();
1435 vnet_main_t *vnm = vnet_get_main ();
1436 u32 start_host_byte_order, end_host_byte_order;
1437 fib_prefix_t prefix;
1438 vnet_sw_interface_t *si;
1439 fib_node_index_t fei;
1440 u32 fib_index = 0;
1441 u32 sw_if_index;
1442 int rv;
1443 int vnet_proxy_arp_add_del (ip4_address_t * lo_addr,
1444 ip4_address_t * hi_addr, u32 fib_index,
1445 int is_del);
1446
1447 memset (&prefix, 0, sizeof (prefix));
1448
1449 fib_index = fib_table_find (FIB_PROTOCOL_IP4, table_id);
1450
1451 if (fib_index == ~0)
1452 return VNET_API_ERROR_NO_SUCH_FIB;
1453
1454 start_host_byte_order = clib_net_to_host_u32 (start->as_u32);
1455 end_host_byte_order = clib_net_to_host_u32 (end->as_u32);
1456
1457 /* sanity check for reversed args or some such */
1458 if ((end_host_byte_order - start_host_byte_order) > (10 << 10))
1459 return VNET_API_ERROR_INVALID_ARGUMENT;
1460
1461 /* Lookup the last address, to identify the interface involved */
1462 prefix.fp_len = 32;
1463 prefix.fp_proto = FIB_PROTOCOL_IP4;
1464 memcpy (&prefix.fp_addr.ip4, end, sizeof (ip4_address_t));
1465
1466 fei = fib_table_lookup (fib_index, &prefix);
1467
1468 /* Couldn't find route to destination. Bail out. */
1469 if (fei == FIB_NODE_INDEX_INVALID)
1470 return VNET_API_ERROR_NEXT_HOP_NOT_IN_FIB;
1471
1472 sw_if_index = fib_entry_get_resolving_interface (fei);
1473
1474 /* Enable proxy arp on the interface */
1475 si = vnet_get_sw_interface (vnm, sw_if_index);
1476 si->flags |= VNET_SW_INTERFACE_FLAG_PROXY_ARP;
1477
1478 /* Configure proxy arp across the range */
1479 rv = vnet_proxy_arp_add_del (start, end, fib_index, 0 /* is_del */ );
1480
1481 if (rv)
1482 return rv;
1483
1484 do
1485 {
1486 dpo_id_t dpo = DPO_INVALID;
1487
1488 vec_add1 (tm->ip4_src_addresses, start[0]);
1489
1490 /* Add local adjacencies for the range */
1491
1492 receive_dpo_add_or_lock (DPO_PROTO_IP4, ~0 /* sw_if_index */ ,
1493 NULL, &dpo);
1494 prefix.fp_len = 32;
1495 prefix.fp_proto = FIB_PROTOCOL_IP4;
1496 prefix.fp_addr.ip4.as_u32 = start->as_u32;
1497
1498 fib_table_entry_special_dpo_update (fib_index,
1499 &prefix,
1500 FIB_SOURCE_API,
1501 FIB_ENTRY_FLAG_EXCLUSIVE, &dpo);
1502 dpo_reset (&dpo);
1503
1504 start_host_byte_order++;
1505 start->as_u32 = clib_host_to_net_u32 (start_host_byte_order);
1506 }
1507 while (start_host_byte_order <= end_host_byte_order);
1508
1509 return 0;
1510}
1511
1512/**
1513 * \brief Configure an ipv6 source address range
1514 * @param vm vlib_main_t pointer
1515 * @param start first ipv6 address in the source address range
1516 * @param end last ipv6 address in the source address range
1517 * @param table_id VRF / table ID, 0 for the default FIB
1518 * @return 0 if all OK, else an error indication from api_errno.h
1519 */
1520
1521int
1522tcp_configure_v6_source_address_range (vlib_main_t * vm,
1523 ip6_address_t * start,
1524 ip6_address_t * end, u32 table_id)
1525{
1526 tcp_main_t *tm = vnet_get_tcp_main ();
1527 fib_prefix_t prefix;
1528 u32 fib_index = 0;
1529 fib_node_index_t fei;
1530 u32 sw_if_index;
1531
1532 memset (&prefix, 0, sizeof (prefix));
1533
1534 fib_index = fib_table_find (FIB_PROTOCOL_IP6, table_id);
1535
1536 if (fib_index == ~0)
1537 return VNET_API_ERROR_NO_SUCH_FIB;
1538
1539 while (1)
1540 {
1541 int i;
1542 ip6_address_t tmp;
1543 dpo_id_t dpo = DPO_INVALID;
1544
1545 /* Remember this address */
1546 vec_add1 (tm->ip6_src_addresses, start[0]);
1547
1548 /* Lookup the prefix, to identify the interface involved */
1549 prefix.fp_len = 128;
1550 prefix.fp_proto = FIB_PROTOCOL_IP6;
1551 memcpy (&prefix.fp_addr.ip6, start, sizeof (ip6_address_t));
1552
1553 fei = fib_table_lookup (fib_index, &prefix);
1554
1555 /* Couldn't find route to destination. Bail out. */
1556 if (fei == FIB_NODE_INDEX_INVALID)
1557 return VNET_API_ERROR_NEXT_HOP_NOT_IN_FIB;
1558
1559 sw_if_index = fib_entry_get_resolving_interface (fei);
1560
1561 if (sw_if_index == (u32) ~ 0)
1562 return VNET_API_ERROR_NO_MATCHING_INTERFACE;
1563
1564 /* Add a proxy neighbor discovery entry for this address */
1565 ip6_neighbor_proxy_add_del (sw_if_index, start, 0 /* is_del */ );
1566
1567 /* Add a receive adjacency for this address */
1568 receive_dpo_add_or_lock (DPO_PROTO_IP6, ~0 /* sw_if_index */ ,
1569 NULL, &dpo);
1570
1571 fib_table_entry_special_dpo_update (fib_index,
1572 &prefix,
1573 FIB_SOURCE_API,
1574 FIB_ENTRY_FLAG_EXCLUSIVE, &dpo);
1575 dpo_reset (&dpo);
1576
1577 /* Done with the entire range? */
1578 if (!memcmp (start, end, sizeof (start[0])))
1579 break;
1580
1581 /* Increment the address. DGMS. */
1582 tmp = start[0];
1583 for (i = 15; i >= 0; i--)
1584 {
1585 tmp.as_u8[i] += 1;
1586 if (tmp.as_u8[i] != 0)
1587 break;
1588 }
1589 start[0] = tmp;
1590 }
1591 return 0;
1592}
1593
Dave Barach2c25a622017-06-26 11:35:07 -04001594static clib_error_t *
1595tcp_src_address (vlib_main_t * vm,
1596 unformat_input_t * input, vlib_cli_command_t * cmd_arg)
1597{
Dave Barach2c25a622017-06-26 11:35:07 -04001598 ip4_address_t v4start, v4end;
1599 ip6_address_t v6start, v6end;
Dave Barach3bbcfab2017-08-15 19:03:44 -04001600 u32 table_id = 0;
Dave Barach2c25a622017-06-26 11:35:07 -04001601 int v4set = 0;
1602 int v6set = 0;
Dave Barach3bbcfab2017-08-15 19:03:44 -04001603 int rv;
Dave Barach2c25a622017-06-26 11:35:07 -04001604
1605 while (unformat_check_input (input) != UNFORMAT_END_OF_INPUT)
1606 {
1607 if (unformat (input, "%U - %U", unformat_ip4_address, &v4start,
1608 unformat_ip4_address, &v4end))
1609 v4set = 1;
1610 else if (unformat (input, "%U", unformat_ip4_address, &v4start))
1611 {
1612 memcpy (&v4end, &v4start, sizeof (v4start));
1613 v4set = 1;
1614 }
1615 else if (unformat (input, "%U - %U", unformat_ip6_address, &v6start,
Dave Barach3bbcfab2017-08-15 19:03:44 -04001616 unformat_ip6_address, &v6end))
Dave Barach2c25a622017-06-26 11:35:07 -04001617 v6set = 1;
1618 else if (unformat (input, "%U", unformat_ip6_address, &v6start))
1619 {
Yoann Desmouceaux6b297aa2017-09-20 10:34:22 +02001620 memcpy (&v6end, &v6start, sizeof (v6start));
Dave Barach2c25a622017-06-26 11:35:07 -04001621 v6set = 1;
1622 }
Dave Barach3bbcfab2017-08-15 19:03:44 -04001623 else if (unformat (input, "fib-table %d", &table_id))
1624 ;
Dave Barach2c25a622017-06-26 11:35:07 -04001625 else
1626 break;
1627 }
1628
1629 if (!v4set && !v6set)
1630 return clib_error_return (0, "at least one v4 or v6 address required");
1631
1632 if (v4set)
1633 {
Dave Barach3bbcfab2017-08-15 19:03:44 -04001634 rv = tcp_configure_v4_source_address_range (vm, &v4start, &v4end,
1635 table_id);
1636 switch (rv)
Dave Barach2c25a622017-06-26 11:35:07 -04001637 {
Dave Barach3bbcfab2017-08-15 19:03:44 -04001638 case 0:
1639 break;
1640
1641 case VNET_API_ERROR_NO_SUCH_FIB:
1642 return clib_error_return (0, "Invalid table-id %d", table_id);
1643
1644 case VNET_API_ERROR_INVALID_ARGUMENT:
1645 return clib_error_return (0, "Invalid address range %U - %U",
1646 format_ip4_address, &v4start,
1647 format_ip4_address, &v4end);
1648 default:
1649 return clib_error_return (0, "error %d", rv);
1650 break;
Dave Barach2c25a622017-06-26 11:35:07 -04001651 }
Dave Barach2c25a622017-06-26 11:35:07 -04001652 }
1653 if (v6set)
1654 {
Dave Barach3bbcfab2017-08-15 19:03:44 -04001655 rv = tcp_configure_v6_source_address_range (vm, &v6start, &v6end,
1656 table_id);
1657 switch (rv)
1658 {
1659 case 0:
1660 break;
1661
1662 case VNET_API_ERROR_NO_SUCH_FIB:
1663 return clib_error_return (0, "Invalid table-id %d", table_id);
1664
1665 default:
1666 return clib_error_return (0, "error %d", rv);
1667 break;
1668 }
Dave Barach2c25a622017-06-26 11:35:07 -04001669 }
1670 return 0;
1671}
1672
1673/* *INDENT-OFF* */
1674VLIB_CLI_COMMAND (tcp_src_address_command, static) =
1675{
1676 .path = "tcp src-address",
1677 .short_help = "tcp src-address <ip-addr> [- <ip-addr>] add src address range",
1678 .function = tcp_src_address,
1679};
1680/* *INDENT-ON* */
1681
Florin Coras3eb50622017-07-13 01:24:57 -04001682static u8 *
1683tcp_scoreboard_dump_trace (u8 * s, sack_scoreboard_t * sb)
1684{
1685#if TCP_SCOREBOARD_TRACE
Dave Barach2c25a622017-06-26 11:35:07 -04001686
Florin Coras3eb50622017-07-13 01:24:57 -04001687 scoreboard_trace_elt_t *block;
1688 int i = 0;
1689
1690 if (!sb->trace)
1691 return s;
1692
1693 s = format (s, "scoreboard trace:");
1694 vec_foreach (block, sb->trace)
1695 {
1696 s = format (s, "{%u, %u, %u, %u, %u}, ", block->start, block->end,
1697 block->ack, block->snd_una_max, block->group);
1698 if ((++i % 3) == 0)
1699 s = format (s, "\n");
1700 }
1701 return s;
1702#else
1703 return 0;
1704#endif
1705}
1706
1707static clib_error_t *
1708tcp_show_scoreboard_trace_fn (vlib_main_t * vm, unformat_input_t * input,
1709 vlib_cli_command_t * cmd_arg)
1710{
1711 transport_connection_t *tconn = 0;
1712 tcp_connection_t *tc;
1713 u8 *s = 0;
1714 while (unformat_check_input (input) != UNFORMAT_END_OF_INPUT)
1715 {
1716 if (unformat (input, "%U", unformat_transport_connection, &tconn,
1717 TRANSPORT_PROTO_TCP))
1718 ;
1719 else
1720 return clib_error_return (0, "unknown input `%U'",
1721 format_unformat_error, input);
1722 }
1723
1724 if (!TCP_SCOREBOARD_TRACE)
1725 {
1726 vlib_cli_output (vm, "scoreboard tracing not enabled");
1727 return 0;
1728 }
1729
1730 tc = tcp_get_connection_from_transport (tconn);
1731 s = tcp_scoreboard_dump_trace (s, &tc->sack_sb);
1732 vlib_cli_output (vm, "%v", s);
1733 return 0;
1734}
1735
1736/* *INDENT-OFF* */
1737VLIB_CLI_COMMAND (tcp_show_scoreboard_trace_command, static) =
1738{
1739 .path = "show tcp scoreboard trace",
1740 .short_help = "show tcp scoreboard trace <connection>",
1741 .function = tcp_show_scoreboard_trace_fn,
1742};
1743/* *INDENT-ON* */
1744
1745u8 *
1746tcp_scoreboard_replay (u8 * s, tcp_connection_t * tc, u8 verbose)
1747{
1748 int i, trace_len;
1749 scoreboard_trace_elt_t *trace;
1750 u32 next_ack, left, group, has_new_ack = 0;
1751 tcp_connection_t _dummy_tc, *dummy_tc = &_dummy_tc;
1752 sack_block_t *block;
1753
1754 if (!tc)
1755 return s;
1756
1757 memset (dummy_tc, 0, sizeof (*dummy_tc));
1758 tcp_connection_timers_init (dummy_tc);
1759 scoreboard_init (&dummy_tc->sack_sb);
1760 dummy_tc->rcv_opts.flags |= TCP_OPTS_FLAG_SACK;
1761
1762#if TCP_SCOREBOARD_TRACE
1763 trace = tc->sack_sb.trace;
1764 trace_len = vec_len (tc->sack_sb.trace);
1765#else
1766 trace = 0;
1767 trace_len = 0;
1768#endif
1769
1770 for (i = 0; i < trace_len; i++)
1771 {
1772 if (trace[i].ack != 0)
1773 {
1774 dummy_tc->snd_una = trace[i].ack - 1448;
1775 dummy_tc->snd_una_max = trace[i].ack;
1776 }
1777 }
1778
1779 left = 0;
1780 while (left < trace_len)
1781 {
1782 group = trace[left].group;
1783 vec_reset_length (dummy_tc->rcv_opts.sacks);
1784 has_new_ack = 0;
1785 while (trace[left].group == group)
1786 {
1787 if (trace[left].ack != 0)
1788 {
1789 if (verbose)
1790 s = format (s, "Adding ack %u, snd_una_max %u, segs: ",
1791 trace[left].ack, trace[left].snd_una_max);
1792 dummy_tc->snd_una_max = trace[left].snd_una_max;
1793 next_ack = trace[left].ack;
1794 has_new_ack = 1;
1795 }
1796 else
1797 {
1798 if (verbose)
1799 s = format (s, "[%u, %u], ", trace[left].start,
1800 trace[left].end);
1801 vec_add2 (dummy_tc->rcv_opts.sacks, block, 1);
1802 block->start = trace[left].start;
1803 block->end = trace[left].end;
1804 }
1805 left++;
1806 }
1807
1808 /* Push segments */
1809 tcp_rcv_sacks (dummy_tc, next_ack);
1810 if (has_new_ack)
1811 dummy_tc->snd_una = next_ack + dummy_tc->sack_sb.snd_una_adv;
1812
1813 if (verbose)
1814 s = format (s, "result: %U", format_tcp_scoreboard,
1815 &dummy_tc->sack_sb);
1816
1817 }
1818 s = format (s, "result: %U", format_tcp_scoreboard, &dummy_tc->sack_sb);
1819
1820 return s;
1821}
1822
1823static clib_error_t *
1824tcp_scoreboard_trace_fn (vlib_main_t * vm, unformat_input_t * input,
1825 vlib_cli_command_t * cmd_arg)
1826{
1827 transport_connection_t *tconn = 0;
1828 tcp_connection_t *tc = 0;
1829 u8 *str = 0;
1830 while (unformat_check_input (input) != UNFORMAT_END_OF_INPUT)
1831 {
1832 if (unformat (input, "%U", unformat_transport_connection, &tconn,
1833 TRANSPORT_PROTO_TCP))
1834 ;
1835 else
1836 return clib_error_return (0, "unknown input `%U'",
1837 format_unformat_error, input);
1838 }
1839
1840 if (!TCP_SCOREBOARD_TRACE)
1841 {
1842 vlib_cli_output (vm, "scoreboard tracing not enabled");
1843 return 0;
1844 }
1845
1846 tc = tcp_get_connection_from_transport (tconn);
1847 if (!tc)
1848 {
1849 vlib_cli_output (vm, "connection not found");
1850 return 0;
1851 }
1852 str = tcp_scoreboard_replay (str, tc, 1);
1853 vlib_cli_output (vm, "%v", str);
1854 return 0;
1855}
1856
1857/* *INDENT-OFF* */
1858VLIB_CLI_COMMAND (tcp_replay_scoreboard_command, static) =
1859{
1860 .path = "tcp replay scoreboard",
1861 .short_help = "tcp replay scoreboard <connection>",
1862 .function = tcp_scoreboard_trace_fn,
1863};
1864/* *INDENT-ON* */
Dave Barach2c25a622017-06-26 11:35:07 -04001865
Pierre Pfister7fe51f32017-09-20 08:48:36 +02001866static clib_error_t *
1867show_tcp_punt_fn (vlib_main_t * vm, unformat_input_t * input,
1868 vlib_cli_command_t * cmd_arg)
1869{
1870 tcp_main_t *tm = vnet_get_tcp_main ();
1871 if (unformat_check_input (input) != UNFORMAT_END_OF_INPUT)
1872 return clib_error_return (0, "unknown input `%U'", format_unformat_error,
1873 input);
1874 vlib_cli_output (vm, "IPv4 TCP punt: %s",
1875 tm->punt_unknown4 ? "enabled" : "disabled");
1876 vlib_cli_output (vm, "IPv6 TCP punt: %s",
1877 tm->punt_unknown6 ? "enabled" : "disabled");
1878 return 0;
1879}
1880/* *INDENT-OFF* */
1881VLIB_CLI_COMMAND (show_tcp_punt_command, static) =
1882{
1883 .path = "show tcp punt",
1884 .short_help = "show tcp punt",
1885 .function = show_tcp_punt_fn,
1886};
1887/* *INDENT-ON* */
1888
Dave Barach68b0fb02017-02-28 15:15:56 -05001889/*
1890 * fd.io coding-style-patch-verification: ON
1891 *
1892 * Local Variables:
1893 * eval: (c-set-style "gnu")
1894 * End:
1895 */