tcp: consume incoming buffers instead of reusing
[vpp.git] / src / vnet / tcp / tcp.c
1 /*
2  * Copyright (c) 2016 Cisco and/or its affiliates.
3  * Licensed under the Apache License, Version 2.0 (the "License");
4  * you may not use this file except in compliance with the License.
5  * You may obtain a copy of the License at:
6  *
7  *     http://www.apache.org/licenses/LICENSE-2.0
8  *
9  * Unless required by applicable law or agreed to in writing, software
10  * distributed under the License is distributed on an "AS IS" BASIS,
11  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12  * See the License for the specific language governing permissions and
13  * limitations under the License.
14  */
15
16 /**
17  * @file
18  * @brief TCP host stack utilities
19  */
20
21 #include <vnet/tcp/tcp.h>
22 #include <vnet/session/session.h>
23 #include <vnet/fib/fib.h>
24 #include <vnet/dpo/load_balance.h>
25 #include <vnet/dpo/receive_dpo.h>
26 #include <vnet/ip/ip6_neighbor.h>
27 #include <math.h>
28
29 tcp_main_t tcp_main;
30
31 typedef 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
40 static void
41 tcp_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
58 static void
59 tcp_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
72 static u32
73 tcp_connection_bind (u32 session_index, transport_endpoint_t * lcl)
74 {
75   tcp_main_t *tm = &tcp_main;
76   tcp_connection_t *listener;
77   void *iface_ip;
78
79   pool_get (tm->listener_pool, listener);
80   clib_memset (listener, 0, sizeof (*listener));
81
82   listener->c_c_index = listener - tm->listener_pool;
83   listener->c_lcl_port = lcl->port;
84
85   /* 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)
87     {
88       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);
91     }
92   ip_copy (&listener->c_lcl_ip, &lcl->ip, lcl->is_ip4);
93   listener->c_is_ip4 = lcl->is_ip4;
94   listener->c_proto = TRANSPORT_PROTO_TCP;
95   listener->c_s_index = session_index;
96   listener->c_fib_index = lcl->fib_index;
97   listener->state = TCP_STATE_LISTEN;
98
99   tcp_connection_timers_init (listener);
100
101   TCP_EVT_DBG (TCP_EVT_BIND, listener);
102
103   return listener->c_c_index;
104 }
105
106 static u32
107 tcp_session_bind (u32 session_index, transport_endpoint_t * tep)
108 {
109   return tcp_connection_bind (session_index, tep);
110 }
111
112 static void
113 tcp_connection_unbind (u32 listener_index)
114 {
115   tcp_main_t *tm = vnet_get_tcp_main ();
116   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     clib_memset (tc, 0xFA, sizeof (*tc));
125
126   pool_put_index (tm->listener_pool, listener_index);
127 }
128
129 static u32
130 tcp_session_unbind (u32 listener_index)
131 {
132   tcp_connection_unbind (listener_index);
133   return 0;
134 }
135
136 static transport_connection_t *
137 tcp_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
145 /**
146  * Cleanup half-open connection
147  *
148  */
149 static void
150 tcp_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     clib_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  */
169 int
170 tcp_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
181 static tcp_connection_t *
182 tcp_half_open_connection_new (void)
183 {
184   tcp_main_t *tm = vnet_get_tcp_main ();
185   tcp_connection_t *tc = 0;
186   ASSERT (vlib_get_thread_index () == 0);
187   pool_get (tm->half_open_connections, tc);
188   clib_memset (tc, 0, sizeof (*tc));
189   tc->c_c_index = tc - tm->half_open_connections;
190   return tc;
191 }
192
193 /**
194  * Cleans up connection state.
195  *
196  * No notifications.
197  */
198 void
199 tcp_connection_cleanup (tcp_connection_t * tc)
200 {
201   tcp_main_t *tm = &tcp_main;
202
203   /* Cleanup local endpoint if this was an active connect */
204   transport_endpoint_cleanup (TRANSPORT_PROTO_TCP, &tc->c_lcl_ip,
205                               tc->c_lcl_port);
206
207   /* Check if connection is not yet fully established */
208   if (tc->state == TCP_STATE_SYN_SENT)
209     {
210       /* 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       if (tcp_half_open_connection_cleanup (tc))
214         tc->flags |= TCP_CONN_HALF_OPEN_DONE;
215     }
216   else
217     {
218       int thread_index = tc->c_thread_index;
219
220       /* Make sure all timers are cleared */
221       tcp_connection_timers_reset (tc);
222
223       if (!tc->c_is_ip4 && ip6_address_is_link_local_unicast (&tc->c_rmt_ip6))
224         tcp_add_del_adjacency (tc, 0);
225
226       /* Poison the entry */
227       if (CLIB_DEBUG > 0)
228         clib_memset (tc, 0xFA, sizeof (*tc));
229       pool_put (tm->connections[thread_index], tc);
230     }
231 }
232
233 /**
234  * Connection removal.
235  *
236  * This should be called only once connection enters CLOSED state. Note
237  * that it notifies the session of the removal event, so if the goal is to
238  * just remove the connection, call tcp_connection_cleanup instead.
239  */
240 void
241 tcp_connection_del (tcp_connection_t * tc)
242 {
243   TCP_EVT_DBG (TCP_EVT_DELETE, tc);
244   stream_session_delete_notify (&tc->connection);
245   tcp_connection_cleanup (tc);
246 }
247
248 tcp_connection_t *
249 tcp_connection_new (u8 thread_index)
250 {
251   tcp_main_t *tm = vnet_get_tcp_main ();
252   tcp_connection_t *tc;
253
254   pool_get (tm->connections[thread_index], tc);
255   clib_memset (tc, 0, sizeof (*tc));
256   tc->c_c_index = tc - tm->connections[thread_index];
257   tc->c_thread_index = thread_index;
258   return tc;
259 }
260
261 /** Notify session that connection has been reset.
262  *
263  * Switch state to closed and wait for session to call cleanup.
264  */
265 void
266 tcp_connection_reset (tcp_connection_t * tc)
267 {
268   TCP_EVT_DBG (TCP_EVT_RST_RCVD, tc);
269   switch (tc->state)
270     {
271     case TCP_STATE_SYN_RCVD:
272       /* Cleanup everything. App wasn't notified yet */
273       stream_session_delete_notify (&tc->connection);
274       tcp_connection_cleanup (tc);
275       break;
276     case TCP_STATE_SYN_SENT:
277       session_stream_connect_notify (&tc->connection, 1 /* fail */ );
278       tcp_connection_cleanup (tc);
279       break;
280     case TCP_STATE_ESTABLISHED:
281       tcp_connection_timers_reset (tc);
282       /* Set the cleanup timer, in case the session layer/app don't
283        * cleanly close the connection */
284       tcp_timer_update (tc, TCP_TIMER_WAITCLOSE, TCP_CLEANUP_TIME);
285       stream_session_reset_notify (&tc->connection);
286       break;
287     case TCP_STATE_CLOSE_WAIT:
288     case TCP_STATE_FIN_WAIT_1:
289     case TCP_STATE_FIN_WAIT_2:
290     case TCP_STATE_CLOSING:
291       tc->state = TCP_STATE_CLOSED;
292       TCP_EVT_DBG (TCP_EVT_STATE_CHANGE, tc);
293       tcp_connection_timers_reset (tc);
294       tcp_timer_update (tc, TCP_TIMER_WAITCLOSE, TCP_CLEANUP_TIME);
295       break;
296     case TCP_STATE_CLOSED:
297       return;
298     }
299 }
300
301 /**
302  * Begin connection closing procedure.
303  *
304  * If at the end the connection is not in CLOSED state, it is not removed.
305  * Instead, we rely on on TCP to advance through state machine to either
306  * 1) LAST_ACK (passive close) whereby when the last ACK is received
307  * tcp_connection_del is called. This notifies session of the delete and
308  * calls cleanup.
309  * 2) TIME_WAIT (active close) whereby after 2MSL the 2MSL timer triggers
310  * and cleanup is called.
311  *
312  * N.B. Half-close connections are not supported
313  */
314 void
315 tcp_connection_close (tcp_connection_t * tc)
316 {
317   TCP_EVT_DBG (TCP_EVT_CLOSE, tc);
318
319   /* Send/Program FIN if needed and switch state */
320   switch (tc->state)
321     {
322     case TCP_STATE_SYN_SENT:
323       tc->state = TCP_STATE_CLOSED;
324       break;
325     case TCP_STATE_SYN_RCVD:
326       tcp_connection_timers_reset (tc);
327       tcp_send_fin (tc);
328       tc->state = TCP_STATE_FIN_WAIT_1;
329       tcp_timer_update (tc, TCP_TIMER_WAITCLOSE, TCP_CLEANUP_TIME);
330       break;
331     case TCP_STATE_ESTABLISHED:
332       if (!session_tx_fifo_max_dequeue (&tc->connection))
333         tcp_send_fin (tc);
334       else
335         tc->flags |= TCP_CONN_FINPNDG;
336       tc->state = TCP_STATE_FIN_WAIT_1;
337       break;
338     case TCP_STATE_CLOSE_WAIT:
339       if (!session_tx_fifo_max_dequeue (&tc->connection))
340         {
341           tcp_send_fin (tc);
342           tcp_connection_timers_reset (tc);
343           tc->state = TCP_STATE_LAST_ACK;
344           tcp_timer_update (tc, TCP_TIMER_WAITCLOSE, TCP_2MSL_TIME);
345         }
346       else
347         tc->flags |= TCP_CONN_FINPNDG;
348       break;
349     case TCP_STATE_FIN_WAIT_1:
350       tcp_timer_update (tc, TCP_TIMER_WAITCLOSE, TCP_2MSL_TIME);
351       break;
352     default:
353       TCP_DBG ("state: %u", tc->state);
354     }
355
356   TCP_EVT_DBG (TCP_EVT_STATE_CHANGE, tc);
357
358   /* If in CLOSED and WAITCLOSE timer is not set, delete connection now */
359   if (!tcp_timer_is_active (tc, TCP_TIMER_WAITCLOSE)
360       && tc->state == TCP_STATE_CLOSED)
361     tcp_connection_del (tc);
362 }
363
364 static void
365 tcp_session_close (u32 conn_index, u32 thread_index)
366 {
367   tcp_connection_t *tc;
368   tc = tcp_connection_get (conn_index, thread_index);
369   tcp_connection_close (tc);
370 }
371
372 static void
373 tcp_session_cleanup (u32 conn_index, u32 thread_index)
374 {
375   tcp_connection_t *tc;
376   tc = tcp_connection_get (conn_index, thread_index);
377   tcp_connection_timers_reset (tc);
378   tc->state = TCP_STATE_CLOSED;
379   TCP_EVT_DBG (TCP_EVT_STATE_CHANGE, tc);
380   tcp_connection_cleanup (tc);
381 }
382
383 /**
384  * Initialize all connection timers as invalid
385  */
386 void
387 tcp_connection_timers_init (tcp_connection_t * tc)
388 {
389   int i;
390
391   /* Set all to invalid */
392   for (i = 0; i < TCP_N_TIMERS; i++)
393     {
394       tc->timers[i] = TCP_TIMER_HANDLE_INVALID;
395     }
396
397   tc->rto = TCP_RTO_INIT;
398 }
399
400 /**
401  * Stop all connection timers
402  */
403 void
404 tcp_connection_timers_reset (tcp_connection_t * tc)
405 {
406   int i;
407   for (i = 0; i < TCP_N_TIMERS; i++)
408     {
409       tcp_timer_reset (tc, i);
410     }
411 }
412
413 #if 0
414 typedef struct ip4_tcp_hdr
415 {
416   ip4_header_t ip;
417   tcp_header_t tcp;
418 } ip4_tcp_hdr_t;
419
420 typedef struct ip6_tcp_hdr
421 {
422   ip6_header_t ip;
423   tcp_header_t tcp;
424 } ip6_tcp_hdr_t;
425
426 static void
427 tcp_connection_select_lb_bucket (tcp_connection_t * tc, const dpo_id_t * dpo,
428                                  dpo_id_t * result)
429 {
430   const dpo_id_t *choice;
431   load_balance_t *lb;
432   int hash;
433
434   lb = load_balance_get (dpo->dpoi_index);
435   if (tc->c_is_ip4)
436     {
437       ip4_tcp_hdr_t hdr;
438       clib_memset (&hdr, 0, sizeof (hdr));
439       hdr.ip.protocol = IP_PROTOCOL_TCP;
440       hdr.ip.address_pair.src.as_u32 = tc->c_lcl_ip.ip4.as_u32;
441       hdr.ip.address_pair.dst.as_u32 = tc->c_rmt_ip.ip4.as_u32;
442       hdr.tcp.src_port = tc->c_lcl_port;
443       hdr.tcp.dst_port = tc->c_rmt_port;
444       hash = ip4_compute_flow_hash (&hdr.ip, lb->lb_hash_config);
445     }
446   else
447     {
448       ip6_tcp_hdr_t hdr;
449       clib_memset (&hdr, 0, sizeof (hdr));
450       hdr.ip.protocol = IP_PROTOCOL_TCP;
451       clib_memcpy (&hdr.ip.src_address, &tc->c_lcl_ip.ip6,
452                    sizeof (ip6_address_t));
453       clib_memcpy (&hdr.ip.dst_address, &tc->c_rmt_ip.ip6,
454                    sizeof (ip6_address_t));
455       hdr.tcp.src_port = tc->c_lcl_port;
456       hdr.tcp.dst_port = tc->c_rmt_port;
457       hash = ip6_compute_flow_hash (&hdr.ip, lb->lb_hash_config);
458     }
459   choice = load_balance_get_bucket_i (lb, hash & lb->lb_n_buckets_minus_1);
460   dpo_copy (result, choice);
461 }
462
463 fib_node_index_t
464 tcp_lookup_rmt_in_fib (tcp_connection_t * tc)
465 {
466   fib_prefix_t prefix;
467   u32 fib_index;
468
469   clib_memcpy (&prefix.fp_addr, &tc->c_rmt_ip, sizeof (prefix.fp_addr));
470   prefix.fp_proto = tc->c_is_ip4 ? FIB_PROTOCOL_IP4 : FIB_PROTOCOL_IP6;
471   prefix.fp_len = tc->c_is_ip4 ? 32 : 128;
472   fib_index = fib_table_find (prefix.fp_proto, tc->c_fib_index);
473   return fib_table_lookup (fib_index, &prefix);
474 }
475
476 static int
477 tcp_connection_stack_on_fib_entry (tcp_connection_t * tc)
478 {
479   dpo_id_t choice = DPO_INVALID;
480   u32 output_node_index;
481   fib_entry_t *fe;
482
483   fe = fib_entry_get (tc->c_rmt_fei);
484   if (fe->fe_lb.dpoi_type != DPO_LOAD_BALANCE)
485     return -1;
486
487   tcp_connection_select_lb_bucket (tc, &fe->fe_lb, &choice);
488
489   output_node_index =
490     tc->c_is_ip4 ? tcp4_output_node.index : tcp6_output_node.index;
491   dpo_stack_from_node (output_node_index, &tc->c_rmt_dpo, &choice);
492   return 0;
493 }
494
495 /** Stack tcp connection on peer's fib entry.
496  *
497  * This ultimately populates the dpo the connection will use to send packets.
498  */
499 static void
500 tcp_connection_fib_attach (tcp_connection_t * tc)
501 {
502   tc->c_rmt_fei = tcp_lookup_rmt_in_fib (tc);
503
504   ASSERT (tc->c_rmt_fei != FIB_NODE_INDEX_INVALID);
505
506   tcp_connection_stack_on_fib_entry (tc);
507 }
508 #endif /* 0 */
509
510 static void
511 tcp_cc_init (tcp_connection_t * tc)
512 {
513   tc->cc_algo = tcp_cc_algo_get (TCP_CC_NEWRENO);
514   tc->cc_algo->init (tc);
515 }
516
517 void
518 tcp_cc_algo_register (tcp_cc_algorithm_type_e type,
519                       const tcp_cc_algorithm_t * vft)
520 {
521   tcp_main_t *tm = vnet_get_tcp_main ();
522   vec_validate (tm->cc_algos, type);
523
524   tm->cc_algos[type] = *vft;
525 }
526
527 tcp_cc_algorithm_t *
528 tcp_cc_algo_get (tcp_cc_algorithm_type_e type)
529 {
530   tcp_main_t *tm = vnet_get_tcp_main ();
531   return &tm->cc_algos[type];
532 }
533
534
535 /**
536  * Initialize connection send variables.
537  */
538 void
539 tcp_init_snd_vars (tcp_connection_t * tc)
540 {
541   u32 time_now;
542
543   /*
544    * We use the time to randomize iss and for setting up the initial
545    * timestamp. Make sure it's updated otherwise syn and ack in the
546    * handshake may make it look as if time has flown in the opposite
547    * direction for us.
548    */
549   tcp_set_time_now (tcp_get_worker (vlib_get_thread_index ()));
550   time_now = tcp_time_now ();
551
552   tc->iss = random_u32 (&time_now);
553   tc->snd_una = tc->iss;
554   tc->snd_nxt = tc->iss + 1;
555   tc->snd_una_max = tc->snd_nxt;
556 }
557
558 void
559 tcp_enable_pacing (tcp_connection_t * tc)
560 {
561   u32 initial_bucket, byte_rate;
562   initial_bucket = 16 * tc->snd_mss;
563   byte_rate = 2 << 16;
564   transport_connection_tx_pacer_init (&tc->connection, byte_rate,
565                                       initial_bucket);
566   tc->mrtt_us = (u32) ~ 0;
567 }
568
569 /** Initialize tcp connection variables
570  *
571  * Should be called after having received a msg from the peer, i.e., a SYN or
572  * a SYNACK, such that connection options have already been exchanged. */
573 void
574 tcp_connection_init_vars (tcp_connection_t * tc)
575 {
576   tcp_connection_timers_init (tc);
577   tcp_init_mss (tc);
578   scoreboard_init (&tc->sack_sb);
579   tcp_cc_init (tc);
580   if (tc->state == TCP_STATE_SYN_RCVD)
581     tcp_init_snd_vars (tc);
582
583   if (!tc->c_is_ip4 && ip6_address_is_link_local_unicast (&tc->c_rmt_ip6))
584     tcp_add_del_adjacency (tc, 1);
585
586   /*  tcp_connection_fib_attach (tc); */
587
588   if (transport_connection_is_tx_paced (&tc->connection)
589       || tcp_main.tx_pacing)
590     tcp_enable_pacing (tc);
591 }
592
593 static int
594 tcp_alloc_custom_local_endpoint (tcp_main_t * tm, ip46_address_t * lcl_addr,
595                                  u16 * lcl_port, u8 is_ip4)
596 {
597   int index, port;
598   if (is_ip4)
599     {
600       index = tm->last_v4_address_rotor++;
601       if (tm->last_v4_address_rotor >= vec_len (tm->ip4_src_addresses))
602         tm->last_v4_address_rotor = 0;
603       lcl_addr->ip4.as_u32 = tm->ip4_src_addresses[index].as_u32;
604     }
605   else
606     {
607       index = tm->last_v6_address_rotor++;
608       if (tm->last_v6_address_rotor >= vec_len (tm->ip6_src_addresses))
609         tm->last_v6_address_rotor = 0;
610       clib_memcpy (&lcl_addr->ip6, &tm->ip6_src_addresses[index],
611                    sizeof (ip6_address_t));
612     }
613   port = transport_alloc_local_port (TRANSPORT_PROTO_TCP, lcl_addr);
614   if (port < 1)
615     {
616       clib_warning ("Failed to allocate src port");
617       return -1;
618     }
619   *lcl_port = port;
620   return 0;
621 }
622
623 static int
624 tcp_session_open (transport_endpoint_cfg_t * rmt)
625 {
626   tcp_main_t *tm = vnet_get_tcp_main ();
627   tcp_connection_t *tc;
628   ip46_address_t lcl_addr;
629   u16 lcl_port;
630   int rv;
631
632   /*
633    * Allocate local endpoint
634    */
635   if ((rmt->is_ip4 && vec_len (tm->ip4_src_addresses))
636       || (!rmt->is_ip4 && vec_len (tm->ip6_src_addresses)))
637     rv = tcp_alloc_custom_local_endpoint (tm, &lcl_addr, &lcl_port,
638                                           rmt->is_ip4);
639   else
640     rv = transport_alloc_local_endpoint (TRANSPORT_PROTO_TCP,
641                                          rmt, &lcl_addr, &lcl_port);
642
643   if (rv)
644     return -1;
645
646   /*
647    * Create connection and send SYN
648    */
649   clib_spinlock_lock_if_init (&tm->half_open_lock);
650   tc = tcp_half_open_connection_new ();
651   ip_copy (&tc->c_rmt_ip, &rmt->ip, rmt->is_ip4);
652   ip_copy (&tc->c_lcl_ip, &lcl_addr, rmt->is_ip4);
653   tc->c_rmt_port = rmt->port;
654   tc->c_lcl_port = clib_host_to_net_u16 (lcl_port);
655   tc->c_is_ip4 = rmt->is_ip4;
656   tc->c_proto = TRANSPORT_PROTO_TCP;
657   tc->c_fib_index = rmt->fib_index;
658   /* The other connection vars will be initialized after SYN ACK */
659   tcp_connection_timers_init (tc);
660
661   TCP_EVT_DBG (TCP_EVT_OPEN, tc);
662   tc->state = TCP_STATE_SYN_SENT;
663   tcp_init_snd_vars (tc);
664   tcp_send_syn (tc);
665   clib_spinlock_unlock_if_init (&tm->half_open_lock);
666
667   return tc->c_c_index;
668 }
669
670 const char *tcp_dbg_evt_str[] = {
671 #define _(sym, str) str,
672   foreach_tcp_dbg_evt
673 #undef _
674 };
675
676 const char *tcp_fsm_states[] = {
677 #define _(sym, str) str,
678   foreach_tcp_fsm_state
679 #undef _
680 };
681
682 u8 *
683 format_tcp_state (u8 * s, va_list * args)
684 {
685   u32 state = va_arg (*args, u32);
686
687   if (state < TCP_N_STATES)
688     s = format (s, "%s", tcp_fsm_states[state]);
689   else
690     s = format (s, "UNKNOWN (%d (0x%x))", state, state);
691   return s;
692 }
693
694 const char *tcp_connection_flags_str[] = {
695 #define _(sym, str) str,
696   foreach_tcp_connection_flag
697 #undef _
698 };
699
700 static u8 *
701 format_tcp_connection_flags (u8 * s, va_list * args)
702 {
703   tcp_connection_t *tc = va_arg (*args, tcp_connection_t *);
704   int i, last = -1;
705
706   for (i = 0; i < TCP_CONN_N_FLAG_BITS; i++)
707     if (tc->flags & (1 << i))
708       last = i;
709   for (i = 0; i < last; i++)
710     {
711       if (tc->flags & (1 << i))
712         s = format (s, "%s, ", tcp_connection_flags_str[i]);
713     }
714   if (last >= 0)
715     s = format (s, "%s", tcp_connection_flags_str[last]);
716   return s;
717 }
718
719 const char *tcp_conn_timers[] = {
720 #define _(sym, str) str,
721   foreach_tcp_timer
722 #undef _
723 };
724
725 static u8 *
726 format_tcp_timers (u8 * s, va_list * args)
727 {
728   tcp_connection_t *tc = va_arg (*args, tcp_connection_t *);
729   int i, last = -1;
730
731   for (i = 0; i < TCP_N_TIMERS; i++)
732     if (tc->timers[i] != TCP_TIMER_HANDLE_INVALID)
733       last = i;
734
735   for (i = 0; i < last; i++)
736     {
737       if (tc->timers[i] != TCP_TIMER_HANDLE_INVALID)
738         s = format (s, "%s,", tcp_conn_timers[i]);
739     }
740
741   if (last >= 0)
742     s = format (s, "%s", tcp_conn_timers[i]);
743
744   return s;
745 }
746
747 static u8 *
748 format_tcp_congestion_status (u8 * s, va_list * args)
749 {
750   tcp_connection_t *tc = va_arg (*args, tcp_connection_t *);
751   if (tcp_in_recovery (tc))
752     s = format (s, "recovery");
753   else if (tcp_in_fastrecovery (tc))
754     s = format (s, "fastrecovery");
755   else
756     s = format (s, "none");
757   return s;
758 }
759
760 static i32
761 tcp_rcv_wnd_available (tcp_connection_t * tc)
762 {
763   return (i32) tc->rcv_wnd - (tc->rcv_nxt - tc->rcv_las);
764 }
765
766 static u8 *
767 format_tcp_congestion (u8 * s, va_list * args)
768 {
769   tcp_connection_t *tc = va_arg (*args, tcp_connection_t *);
770   u32 indent = format_get_indent (s);
771
772   s = format (s, "%U ", format_tcp_congestion_status, tc);
773   s = format (s, "cwnd %u ssthresh %u rtx_bytes %u bytes_acked %u\n",
774               tc->cwnd, tc->ssthresh, tc->snd_rxt_bytes, tc->bytes_acked);
775   s = format (s, "%Ucc space %u prev_ssthresh %u snd_congestion %u"
776               " dupack %u\n", format_white_space, indent,
777               tcp_available_cc_snd_space (tc), tc->prev_ssthresh,
778               tc->snd_congestion - tc->iss, tc->rcv_dupacks);
779   s = format (s, "%Utsecr %u tsecr_last_ack %u limited_transmit %u\n",
780               format_white_space, indent, tc->rcv_opts.tsecr,
781               tc->tsecr_last_ack, tc->limited_transmit - tc->iss);
782   return s;
783 }
784
785 static u8 *
786 format_tcp_vars (u8 * s, va_list * args)
787 {
788   tcp_connection_t *tc = va_arg (*args, tcp_connection_t *);
789   s = format (s, " index: %u flags: %U timers: %U\n", tc->c_c_index,
790               format_tcp_connection_flags, tc, format_tcp_timers, tc);
791   s = format (s, " snd_una %u snd_nxt %u snd_una_max %u",
792               tc->snd_una - tc->iss, tc->snd_nxt - tc->iss,
793               tc->snd_una_max - tc->iss);
794   s = format (s, " rcv_nxt %u rcv_las %u\n",
795               tc->rcv_nxt - tc->irs, tc->rcv_las - tc->irs);
796   s = format (s, " snd_wnd %u rcv_wnd %u rcv_wscale %u ",
797               tc->snd_wnd, tc->rcv_wnd, tc->rcv_wscale);
798   s = format (s, "snd_wl1 %u snd_wl2 %u\n", tc->snd_wl1 - tc->irs,
799               tc->snd_wl2 - tc->iss);
800   s = format (s, " flight size %u out space %u rcv_wnd_av %u\n",
801               tcp_flight_size (tc), tcp_available_output_snd_space (tc),
802               tcp_rcv_wnd_available (tc));
803   s = format (s, " tsval_recent %u tsval_recent_age %u\n", tc->tsval_recent,
804               tcp_time_now () - tc->tsval_recent_age);
805   s = format (s, " rto %u rto_boff %u srtt %u rttvar %u rtt_ts %2.5f ",
806               tc->rto, tc->rto_boff, tc->srtt, tc->rttvar, tc->rtt_ts);
807   s = format (s, "rtt_seq %u\n", tc->rtt_seq - tc->iss);
808   s = format (s, " cong:   %U", format_tcp_congestion, tc);
809
810   if (tc->state >= TCP_STATE_ESTABLISHED)
811     {
812       s = format (s, " sboard: %U\n", format_tcp_scoreboard, &tc->sack_sb,
813                   tc);
814     }
815   if (vec_len (tc->snd_sacks))
816     s = format (s, " sacks tx: %U\n", format_tcp_sacks, tc);
817
818   return s;
819 }
820
821 static u8 *
822 format_tcp_connection_id (u8 * s, va_list * args)
823 {
824   tcp_connection_t *tc = va_arg (*args, tcp_connection_t *);
825   if (!tc)
826     return s;
827   if (tc->c_is_ip4)
828     {
829       s = format (s, "[%d:%d][%s] %U:%d->%U:%d", tc->c_thread_index,
830                   tc->c_s_index, "T", format_ip4_address, &tc->c_lcl_ip4,
831                   clib_net_to_host_u16 (tc->c_lcl_port), format_ip4_address,
832                   &tc->c_rmt_ip4, clib_net_to_host_u16 (tc->c_rmt_port));
833     }
834   else
835     {
836       s = format (s, "[%d:%d][%s] %U:%d->%U:%d", tc->c_thread_index,
837                   tc->c_s_index, "T", format_ip6_address, &tc->c_lcl_ip6,
838                   clib_net_to_host_u16 (tc->c_lcl_port), format_ip6_address,
839                   &tc->c_rmt_ip6, clib_net_to_host_u16 (tc->c_rmt_port));
840     }
841
842   return s;
843 }
844
845 u8 *
846 format_tcp_connection (u8 * s, va_list * args)
847 {
848   tcp_connection_t *tc = va_arg (*args, tcp_connection_t *);
849   u32 verbose = va_arg (*args, u32);
850
851   if (!tc)
852     return s;
853   s = format (s, "%-50U", format_tcp_connection_id, tc);
854   if (verbose)
855     {
856       s = format (s, "%-15U", format_tcp_state, tc->state);
857       if (verbose > 1)
858         s = format (s, "\n%U", format_tcp_vars, tc);
859     }
860
861   return s;
862 }
863
864 static u8 *
865 format_tcp_session (u8 * s, va_list * args)
866 {
867   u32 tci = va_arg (*args, u32);
868   u32 thread_index = va_arg (*args, u32);
869   u32 verbose = va_arg (*args, u32);
870   tcp_connection_t *tc;
871
872   tc = tcp_connection_get (tci, thread_index);
873   if (tc)
874     s = format (s, "%U", format_tcp_connection, tc, verbose);
875   else
876     s = format (s, "empty\n");
877   return s;
878 }
879
880 static u8 *
881 format_tcp_listener_session (u8 * s, va_list * args)
882 {
883   u32 tci = va_arg (*args, u32);
884   tcp_connection_t *tc = tcp_listener_get (tci);
885   return format (s, "%U", format_tcp_connection_id, tc);
886 }
887
888 static u8 *
889 format_tcp_half_open_session (u8 * s, va_list * args)
890 {
891   u32 tci = va_arg (*args, u32);
892   tcp_connection_t *tc = tcp_half_open_connection_get (tci);
893   return format (s, "%U", format_tcp_connection_id, tc);
894 }
895
896 u8 *
897 format_tcp_sacks (u8 * s, va_list * args)
898 {
899   tcp_connection_t *tc = va_arg (*args, tcp_connection_t *);
900   sack_block_t *sacks = tc->snd_sacks;
901   sack_block_t *block;
902   int i, len = 0;
903
904   len = vec_len (sacks);
905   for (i = 0; i < len - 1; i++)
906     {
907       block = &sacks[i];
908       s = format (s, " start %u end %u\n", block->start - tc->irs,
909                   block->end - tc->irs);
910     }
911   if (len)
912     {
913       block = &sacks[len - 1];
914       s = format (s, " start %u end %u", block->start - tc->irs,
915                   block->end - tc->irs);
916     }
917   return s;
918 }
919
920 u8 *
921 format_tcp_rcv_sacks (u8 * s, va_list * args)
922 {
923   tcp_connection_t *tc = va_arg (*args, tcp_connection_t *);
924   sack_block_t *sacks = tc->rcv_opts.sacks;
925   sack_block_t *block;
926   int i, len = 0;
927
928   len = vec_len (sacks);
929   for (i = 0; i < len - 1; i++)
930     {
931       block = &sacks[i];
932       s = format (s, " start %u end %u\n", block->start - tc->iss,
933                   block->end - tc->iss);
934     }
935   if (len)
936     {
937       block = &sacks[len - 1];
938       s = format (s, " start %u end %u", block->start - tc->iss,
939                   block->end - tc->iss);
940     }
941   return s;
942 }
943
944 static u8 *
945 format_tcp_sack_hole (u8 * s, va_list * args)
946 {
947   sack_scoreboard_hole_t *hole = va_arg (*args, sack_scoreboard_hole_t *);
948   tcp_connection_t *tc = va_arg (*args, tcp_connection_t *);
949   if (tc)
950     s = format (s, "  [%u, %u]", hole->start - tc->iss, hole->end - tc->iss);
951   else
952     s = format (s, "  [%u, %u]", hole->start, hole->end);
953   return s;
954 }
955
956 u8 *
957 format_tcp_scoreboard (u8 * s, va_list * args)
958 {
959   sack_scoreboard_t *sb = va_arg (*args, sack_scoreboard_t *);
960   tcp_connection_t *tc = va_arg (*args, tcp_connection_t *);
961   sack_scoreboard_hole_t *hole;
962   u32 indent = format_get_indent (s);
963
964   s = format (s, "sacked_bytes %u last_sacked_bytes %u lost_bytes %u\n",
965               sb->sacked_bytes, sb->last_sacked_bytes, sb->lost_bytes);
966   s = format (s, "%Ulast_bytes_delivered %u high_sacked %u snd_una_adv %u\n",
967               format_white_space, indent, sb->last_bytes_delivered,
968               sb->high_sacked - tc->iss, sb->snd_una_adv);
969   s = format (s, "%Ucur_rxt_hole %u high_rxt %u rescue_rxt %u",
970               format_white_space, indent, sb->cur_rxt_hole,
971               sb->high_rxt - tc->iss, sb->rescue_rxt - tc->iss);
972
973   hole = scoreboard_first_hole (sb);
974   if (hole)
975     s = format (s, "\n%Uhead %u tail %u %u holes:\n%U", format_white_space,
976                 indent, sb->head, sb->tail, pool_elts (sb->holes),
977                 format_white_space, indent);
978
979   while (hole)
980     {
981       s = format (s, "%U", format_tcp_sack_hole, hole, tc);
982       hole = scoreboard_next_hole (sb, hole);
983     }
984
985   return s;
986 }
987
988 static transport_connection_t *
989 tcp_session_get_transport (u32 conn_index, u32 thread_index)
990 {
991   tcp_connection_t *tc = tcp_connection_get (conn_index, thread_index);
992   return &tc->connection;
993 }
994
995 static transport_connection_t *
996 tcp_half_open_session_get_transport (u32 conn_index)
997 {
998   tcp_connection_t *tc = tcp_half_open_connection_get (conn_index);
999   return &tc->connection;
1000 }
1001
1002 /**
1003  * Compute maximum segment size for session layer.
1004  *
1005  * Since the result needs to be the actual data length, it first computes
1006  * the tcp options to be used in the next burst and subtracts their
1007  * length from the connection's snd_mss.
1008  */
1009 static u16
1010 tcp_session_send_mss (transport_connection_t * trans_conn)
1011 {
1012   tcp_connection_t *tc = (tcp_connection_t *) trans_conn;
1013
1014   /* Ensure snd_mss does accurately reflect the amount of data we can push
1015    * in a segment. This also makes sure that options are updated according to
1016    * the current state of the connection. */
1017   tcp_update_burst_snd_vars (tc);
1018
1019   return tc->snd_mss;
1020 }
1021
1022 always_inline u32
1023 tcp_round_snd_space (tcp_connection_t * tc, u32 snd_space)
1024 {
1025   if (PREDICT_FALSE (tc->snd_wnd < tc->snd_mss))
1026     {
1027       return tc->snd_wnd <= snd_space ? tc->snd_wnd : 0;
1028     }
1029
1030   /* If not snd_wnd constrained and we can't write at least a segment,
1031    * don't try at all */
1032   if (PREDICT_FALSE (snd_space < tc->snd_mss))
1033     return snd_space < tc->cwnd ? 0 : snd_space;
1034
1035   /* round down to mss multiple */
1036   return snd_space - (snd_space % tc->snd_mss);
1037 }
1038
1039 /**
1040  * Compute tx window session is allowed to fill.
1041  *
1042  * Takes into account available send space, snd_mss and the congestion
1043  * state of the connection. If possible, the value returned is a multiple
1044  * of snd_mss.
1045  *
1046  * @param tc tcp connection
1047  * @return number of bytes session is allowed to write
1048  */
1049 static inline u32
1050 tcp_snd_space_inline (tcp_connection_t * tc)
1051 {
1052   int snd_space, snt_limited;
1053
1054   if (PREDICT_FALSE (tcp_in_fastrecovery (tc)))
1055     return 0;
1056
1057   snd_space = tcp_available_output_snd_space (tc);
1058
1059   /* If we haven't gotten dupacks or if we did and have gotten sacked
1060    * bytes then we can still send as per Limited Transmit (RFC3042) */
1061   if (PREDICT_FALSE (tc->rcv_dupacks != 0
1062                      && (tcp_opts_sack_permitted (tc)
1063                          && tc->sack_sb.last_sacked_bytes == 0)))
1064     {
1065       if (tc->rcv_dupacks == 1 && tc->limited_transmit != tc->snd_nxt)
1066         tc->limited_transmit = tc->snd_nxt;
1067       ASSERT (seq_leq (tc->limited_transmit, tc->snd_nxt));
1068
1069       snt_limited = tc->snd_nxt - tc->limited_transmit;
1070       snd_space = clib_max (2 * tc->snd_mss - snt_limited, 0);
1071     }
1072   return tcp_round_snd_space (tc, snd_space);
1073 }
1074
1075 u32
1076 tcp_snd_space (tcp_connection_t * tc)
1077 {
1078   return tcp_snd_space_inline (tc);
1079 }
1080
1081 static u32
1082 tcp_session_send_space (transport_connection_t * trans_conn)
1083 {
1084   tcp_connection_t *tc = (tcp_connection_t *) trans_conn;
1085   return clib_min (tcp_snd_space_inline (tc),
1086                    tc->snd_wnd - (tc->snd_nxt - tc->snd_una));
1087 }
1088
1089 static u32
1090 tcp_session_tx_fifo_offset (transport_connection_t * trans_conn)
1091 {
1092   tcp_connection_t *tc = (tcp_connection_t *) trans_conn;
1093
1094   ASSERT (seq_geq (tc->snd_nxt, tc->snd_una));
1095
1096   /* This still works if fast retransmit is on */
1097   return (tc->snd_nxt - tc->snd_una);
1098 }
1099
1100 static void
1101 tcp_update_time (f64 now, u8 thread_index)
1102 {
1103   tcp_worker_ctx_t *wrk = tcp_get_worker (thread_index);
1104
1105   tcp_set_time_now (wrk);
1106   tw_timer_expire_timers_16t_2w_512sl (&wrk->timer_wheel, now);
1107   tcp_do_fastretransmits (wrk);
1108   tcp_send_acks (wrk);
1109   tcp_flush_frames_to_output (wrk);
1110 }
1111
1112 static u32
1113 tcp_session_push_header (transport_connection_t * tconn, vlib_buffer_t * b)
1114 {
1115   tcp_connection_t *tc = (tcp_connection_t *) tconn;
1116   return tcp_push_header (tc, b);
1117 }
1118
1119 /* *INDENT-OFF* */
1120 const static transport_proto_vft_t tcp_proto = {
1121   .enable = vnet_tcp_enable_disable,
1122   .bind = tcp_session_bind,
1123   .unbind = tcp_session_unbind,
1124   .push_header = tcp_session_push_header,
1125   .get_connection = tcp_session_get_transport,
1126   .get_listener = tcp_session_get_listener,
1127   .get_half_open = tcp_half_open_session_get_transport,
1128   .open = tcp_session_open,
1129   .close = tcp_session_close,
1130   .cleanup = tcp_session_cleanup,
1131   .send_mss = tcp_session_send_mss,
1132   .send_space = tcp_session_send_space,
1133   .update_time = tcp_update_time,
1134   .tx_fifo_offset = tcp_session_tx_fifo_offset,
1135   .format_connection = format_tcp_session,
1136   .format_listener = format_tcp_listener_session,
1137   .format_half_open = format_tcp_half_open_session,
1138   .tx_type = TRANSPORT_TX_PEEK,
1139   .service_type = TRANSPORT_SERVICE_VC,
1140 };
1141 /* *INDENT-ON* */
1142
1143 void
1144 tcp_connection_tx_pacer_update (tcp_connection_t * tc)
1145 {
1146   f64 srtt;
1147   u64 rate;
1148
1149   if (!transport_connection_is_tx_paced (&tc->connection))
1150     return;
1151
1152   srtt = clib_min ((f64) tc->srtt * TCP_TICK, tc->mrtt_us);
1153   /* TODO should constrain to interface's max throughput but
1154    * we don't have link speeds for sw ifs ..*/
1155   rate = tc->cwnd / srtt;
1156   transport_connection_tx_pacer_update (&tc->connection, rate);
1157 }
1158
1159 void
1160 tcp_connection_tx_pacer_reset (tcp_connection_t * tc, u32 window,
1161                                u32 start_bucket)
1162 {
1163   tcp_worker_ctx_t *wrk = tcp_get_worker (tc->c_thread_index);
1164   u32 byte_rate = window / ((f64) TCP_TICK * tc->srtt);
1165   u64 last_time = wrk->vm->clib_time.last_cpu_time;
1166   transport_connection_tx_pacer_reset (&tc->connection, byte_rate,
1167                                        start_bucket, last_time);
1168 }
1169
1170 static void
1171 tcp_timer_keep_handler (u32 conn_index)
1172 {
1173   u32 thread_index = vlib_get_thread_index ();
1174   tcp_connection_t *tc;
1175
1176   tc = tcp_connection_get (conn_index, thread_index);
1177   tc->timers[TCP_TIMER_KEEP] = TCP_TIMER_HANDLE_INVALID;
1178
1179   tcp_connection_close (tc);
1180 }
1181
1182 static void
1183 tcp_timer_establish_handler (u32 conn_index)
1184 {
1185   tcp_connection_t *tc;
1186
1187   tc = tcp_half_open_connection_get (conn_index);
1188   if (tc)
1189     {
1190       ASSERT (tc->state == TCP_STATE_SYN_SENT);
1191       session_stream_connect_notify (&tc->connection, 1 /* fail */ );
1192       TCP_DBG ("establish pop: %U", format_tcp_connection, tc, 2);
1193     }
1194   else
1195     {
1196       tc = tcp_connection_get (conn_index, vlib_get_thread_index ());
1197       /* note: the connection may have already disappeared */
1198       if (PREDICT_FALSE (tc == 0))
1199         return;
1200       TCP_DBG ("establish pop: %U", format_tcp_connection, tc, 2);
1201       ASSERT (tc->state == TCP_STATE_SYN_RCVD);
1202       /* Start cleanup. App wasn't notified yet so use delete notify as
1203        * opposed to delete to cleanup session layer state. */
1204       stream_session_delete_notify (&tc->connection);
1205     }
1206   tc->timers[TCP_TIMER_ESTABLISH] = TCP_TIMER_HANDLE_INVALID;
1207   tcp_connection_cleanup (tc);
1208 }
1209
1210 static void
1211 tcp_timer_waitclose_handler (u32 conn_index)
1212 {
1213   u32 thread_index = vlib_get_thread_index ();
1214   tcp_connection_t *tc;
1215
1216   tc = tcp_connection_get (conn_index, thread_index);
1217   if (!tc)
1218     return;
1219   tc->timers[TCP_TIMER_WAITCLOSE] = TCP_TIMER_HANDLE_INVALID;
1220
1221   /* Session didn't come back with a close(). Send FIN either way
1222    * and switch to LAST_ACK. */
1223   if (tc->state == TCP_STATE_CLOSE_WAIT)
1224     {
1225       if (tc->flags & TCP_CONN_FINSNT)
1226         {
1227           clib_warning ("FIN was sent and still in CLOSE WAIT. Weird!");
1228         }
1229
1230       /* Make sure we don't try to send unsent data */
1231       tcp_connection_timers_reset (tc);
1232       tcp_cong_recovery_off (tc);
1233       tc->snd_una_max = tc->snd_nxt = tc->snd_una;
1234       tcp_send_fin (tc);
1235       tc->state = TCP_STATE_LAST_ACK;
1236
1237       /* Make sure we don't wait in LAST ACK forever */
1238       tcp_timer_set (tc, TCP_TIMER_WAITCLOSE, TCP_2MSL_TIME);
1239
1240       /* Don't delete the connection yet */
1241       return;
1242     }
1243
1244   tcp_connection_del (tc);
1245 }
1246
1247 /* *INDENT-OFF* */
1248 static timer_expiration_handler *timer_expiration_handlers[TCP_N_TIMERS] =
1249 {
1250     tcp_timer_retransmit_handler,
1251     tcp_timer_delack_handler,
1252     tcp_timer_persist_handler,
1253     tcp_timer_keep_handler,
1254     tcp_timer_waitclose_handler,
1255     tcp_timer_retransmit_syn_handler,
1256     tcp_timer_establish_handler
1257 };
1258 /* *INDENT-ON* */
1259
1260 static void
1261 tcp_expired_timers_dispatch (u32 * expired_timers)
1262 {
1263   int i;
1264   u32 connection_index, timer_id;
1265
1266   for (i = 0; i < vec_len (expired_timers); i++)
1267     {
1268       /* Get session index and timer id */
1269       connection_index = expired_timers[i] & 0x0FFFFFFF;
1270       timer_id = expired_timers[i] >> 28;
1271
1272       TCP_EVT_DBG (TCP_EVT_TIMER_POP, connection_index, timer_id);
1273
1274       /* Handle expiration */
1275       (*timer_expiration_handlers[timer_id]) (connection_index);
1276     }
1277 }
1278
1279 static void
1280 tcp_initialize_timer_wheels (tcp_main_t * tm)
1281 {
1282   tw_timer_wheel_16t_2w_512sl_t *tw;
1283   /* *INDENT-OFF* */
1284   foreach_vlib_main (({
1285     tw = &tm->wrk_ctx[ii].timer_wheel;
1286     tw_timer_wheel_init_16t_2w_512sl (tw, tcp_expired_timers_dispatch,
1287                                       100e-3 /* timer period 100ms */ , ~0);
1288     tw->last_run_time = vlib_time_now (this_vlib_main);
1289   }));
1290   /* *INDENT-ON* */
1291 }
1292
1293 static clib_error_t *
1294 tcp_main_enable (vlib_main_t * vm)
1295 {
1296   vlib_thread_main_t *vtm = vlib_get_thread_main ();
1297   u32 num_threads, n_workers, prealloc_conn_per_wrk;
1298   tcp_connection_t *tc __attribute__ ((unused));
1299   tcp_main_t *tm = vnet_get_tcp_main ();
1300   clib_error_t *error = 0;
1301   int thread;
1302
1303   if ((error = vlib_call_init_function (vm, ip_main_init)))
1304     return error;
1305   if ((error = vlib_call_init_function (vm, ip4_lookup_init)))
1306     return error;
1307   if ((error = vlib_call_init_function (vm, ip6_lookup_init)))
1308     return error;
1309
1310   /*
1311    * Registrations
1312    */
1313
1314   ip4_register_protocol (IP_PROTOCOL_TCP, tcp4_input_node.index);
1315   ip6_register_protocol (IP_PROTOCOL_TCP, tcp6_input_node.index);
1316
1317   /*
1318    * Initialize data structures
1319    */
1320
1321   num_threads = 1 /* main thread */  + vtm->n_threads;
1322   vec_validate (tm->connections, num_threads - 1);
1323   vec_validate (tm->wrk_ctx, num_threads - 1);
1324   n_workers = num_threads == 1 ? 1 : vtm->n_threads;
1325   prealloc_conn_per_wrk = tm->preallocated_connections / n_workers;
1326
1327   for (thread = 0; thread < num_threads; thread++)
1328     {
1329       vec_validate (tm->wrk_ctx[thread].pending_fast_rxt, 255);
1330       vec_validate (tm->wrk_ctx[thread].ongoing_fast_rxt, 255);
1331       vec_validate (tm->wrk_ctx[thread].postponed_fast_rxt, 255);
1332       vec_validate (tm->wrk_ctx[thread].pending_deq_acked, 255);
1333       vec_validate (tm->wrk_ctx[thread].pending_acks, 255);
1334       vec_reset_length (tm->wrk_ctx[thread].pending_fast_rxt);
1335       vec_reset_length (tm->wrk_ctx[thread].ongoing_fast_rxt);
1336       vec_reset_length (tm->wrk_ctx[thread].postponed_fast_rxt);
1337       vec_reset_length (tm->wrk_ctx[thread].pending_deq_acked);
1338       vec_reset_length (tm->wrk_ctx[thread].pending_acks);
1339       tm->wrk_ctx[thread].vm = vlib_mains[thread];
1340
1341       /*
1342        * Preallocate connections. Assume that thread 0 won't
1343        * use preallocated threads when running multi-core
1344        */
1345       if ((thread > 0 || num_threads == 1) && prealloc_conn_per_wrk)
1346         pool_init_fixed (tm->connections[thread], prealloc_conn_per_wrk);
1347     }
1348
1349   /*
1350    * Use a preallocated half-open connection pool?
1351    */
1352   if (tm->preallocated_half_open_connections)
1353     pool_init_fixed (tm->half_open_connections,
1354                      tm->preallocated_half_open_connections);
1355
1356   /* Initialize clocks per tick for TCP timestamp. Used to compute
1357    * monotonically increasing timestamps. */
1358   tm->tstamp_ticks_per_clock = vm->clib_time.seconds_per_clock
1359     / TCP_TSTAMP_RESOLUTION;
1360
1361   if (num_threads > 1)
1362     {
1363       clib_spinlock_init (&tm->half_open_lock);
1364     }
1365
1366   tcp_initialize_timer_wheels (tm);
1367
1368   tm->bytes_per_buffer = vlib_buffer_free_list_buffer_size
1369     (vm, VLIB_BUFFER_DEFAULT_FREE_LIST_INDEX);
1370
1371   return error;
1372 }
1373
1374 clib_error_t *
1375 vnet_tcp_enable_disable (vlib_main_t * vm, u8 is_en)
1376 {
1377   if (is_en)
1378     {
1379       if (tcp_main.is_enabled)
1380         return 0;
1381
1382       return tcp_main_enable (vm);
1383     }
1384   else
1385     {
1386       tcp_main.is_enabled = 0;
1387     }
1388
1389   return 0;
1390 }
1391
1392 void
1393 tcp_punt_unknown (vlib_main_t * vm, u8 is_ip4, u8 is_add)
1394 {
1395   tcp_main_t *tm = &tcp_main;
1396   if (is_ip4)
1397     tm->punt_unknown4 = is_add;
1398   else
1399     tm->punt_unknown6 = is_add;
1400 }
1401
1402 static clib_error_t *
1403 tcp_init (vlib_main_t * vm)
1404 {
1405   tcp_main_t *tm = vnet_get_tcp_main ();
1406   ip_main_t *im = &ip_main;
1407   ip_protocol_info_t *pi;
1408
1409   /* Session layer, and by implication tcp, are disabled by default */
1410   tm->is_enabled = 0;
1411
1412   /* Register with IP for header parsing */
1413   pi = ip_get_protocol_info (im, IP_PROTOCOL_TCP);
1414   if (pi == 0)
1415     return clib_error_return (0, "TCP protocol info AWOL");
1416   pi->format_header = format_tcp_header;
1417   pi->unformat_pg_edit = unformat_pg_tcp_header;
1418
1419   /* Register as transport with session layer */
1420   transport_register_protocol (TRANSPORT_PROTO_TCP, &tcp_proto,
1421                                FIB_PROTOCOL_IP4, tcp4_output_node.index);
1422   transport_register_protocol (TRANSPORT_PROTO_TCP, &tcp_proto,
1423                                FIB_PROTOCOL_IP6, tcp6_output_node.index);
1424
1425   tcp_api_reference ();
1426   tm->tx_pacing = 1;
1427   return 0;
1428 }
1429
1430 VLIB_INIT_FUNCTION (tcp_init);
1431
1432 static clib_error_t *
1433 tcp_config_fn (vlib_main_t * vm, unformat_input_t * input)
1434 {
1435   tcp_main_t *tm = vnet_get_tcp_main ();
1436
1437   while (unformat_check_input (input) != UNFORMAT_END_OF_INPUT)
1438     {
1439       if (unformat (input, "preallocated-connections %d",
1440                     &tm->preallocated_connections))
1441         ;
1442       else if (unformat (input, "preallocated-half-open-connections %d",
1443                          &tm->preallocated_half_open_connections))
1444         ;
1445       else if (unformat (input, "buffer-fail-fraction %f",
1446                          &tm->buffer_fail_fraction))
1447         ;
1448       else if (unformat (input, "max-rx-fifo %U", unformat_memory_size,
1449                          &tm->max_rx_fifo))
1450         ;
1451       else if (unformat (input, "no-tx-pacing"))
1452         tm->tx_pacing = 0;
1453       else
1454         return clib_error_return (0, "unknown input `%U'",
1455                                   format_unformat_error, input);
1456     }
1457   return 0;
1458 }
1459
1460 VLIB_CONFIG_FUNCTION (tcp_config_fn, "tcp");
1461
1462
1463 /**
1464  * \brief Configure an ipv4 source address range
1465  * @param vm vlib_main_t pointer
1466  * @param start first ipv4 address in the source address range
1467  * @param end last ipv4 address in the source address range
1468  * @param table_id VRF / table ID, 0 for the default FIB
1469  * @return 0 if all OK, else an error indication from api_errno.h
1470  */
1471
1472 int
1473 tcp_configure_v4_source_address_range (vlib_main_t * vm,
1474                                        ip4_address_t * start,
1475                                        ip4_address_t * end, u32 table_id)
1476 {
1477   tcp_main_t *tm = vnet_get_tcp_main ();
1478   vnet_main_t *vnm = vnet_get_main ();
1479   u32 start_host_byte_order, end_host_byte_order;
1480   fib_prefix_t prefix;
1481   vnet_sw_interface_t *si;
1482   fib_node_index_t fei;
1483   u32 fib_index = 0;
1484   u32 sw_if_index;
1485   int rv;
1486   int vnet_proxy_arp_add_del (ip4_address_t * lo_addr,
1487                               ip4_address_t * hi_addr, u32 fib_index,
1488                               int is_del);
1489
1490   clib_memset (&prefix, 0, sizeof (prefix));
1491
1492   fib_index = fib_table_find (FIB_PROTOCOL_IP4, table_id);
1493
1494   if (fib_index == ~0)
1495     return VNET_API_ERROR_NO_SUCH_FIB;
1496
1497   start_host_byte_order = clib_net_to_host_u32 (start->as_u32);
1498   end_host_byte_order = clib_net_to_host_u32 (end->as_u32);
1499
1500   /* sanity check for reversed args or some such */
1501   if ((end_host_byte_order - start_host_byte_order) > (10 << 10))
1502     return VNET_API_ERROR_INVALID_ARGUMENT;
1503
1504   /* Lookup the last address, to identify the interface involved */
1505   prefix.fp_len = 32;
1506   prefix.fp_proto = FIB_PROTOCOL_IP4;
1507   memcpy (&prefix.fp_addr.ip4, end, sizeof (ip4_address_t));
1508
1509   fei = fib_table_lookup (fib_index, &prefix);
1510
1511   /* Couldn't find route to destination. Bail out. */
1512   if (fei == FIB_NODE_INDEX_INVALID)
1513     return VNET_API_ERROR_NEXT_HOP_NOT_IN_FIB;
1514
1515   sw_if_index = fib_entry_get_resolving_interface (fei);
1516
1517   /* Enable proxy arp on the interface */
1518   si = vnet_get_sw_interface (vnm, sw_if_index);
1519   si->flags |= VNET_SW_INTERFACE_FLAG_PROXY_ARP;
1520
1521   /* Configure proxy arp across the range */
1522   rv = vnet_proxy_arp_add_del (start, end, fib_index, 0 /* is_del */ );
1523
1524   if (rv)
1525     return rv;
1526
1527   do
1528     {
1529       dpo_id_t dpo = DPO_INVALID;
1530
1531       vec_add1 (tm->ip4_src_addresses, start[0]);
1532
1533       /* Add local adjacencies for the range */
1534
1535       receive_dpo_add_or_lock (DPO_PROTO_IP4, ~0 /* sw_if_index */ ,
1536                                NULL, &dpo);
1537       prefix.fp_len = 32;
1538       prefix.fp_proto = FIB_PROTOCOL_IP4;
1539       prefix.fp_addr.ip4.as_u32 = start->as_u32;
1540
1541       fib_table_entry_special_dpo_update (fib_index,
1542                                           &prefix,
1543                                           FIB_SOURCE_API,
1544                                           FIB_ENTRY_FLAG_EXCLUSIVE, &dpo);
1545       dpo_reset (&dpo);
1546
1547       start_host_byte_order++;
1548       start->as_u32 = clib_host_to_net_u32 (start_host_byte_order);
1549     }
1550   while (start_host_byte_order <= end_host_byte_order);
1551
1552   return 0;
1553 }
1554
1555 /**
1556  * \brief Configure an ipv6 source address range
1557  * @param vm vlib_main_t pointer
1558  * @param start first ipv6 address in the source address range
1559  * @param end last ipv6 address in the source address range
1560  * @param table_id VRF / table ID, 0 for the default FIB
1561  * @return 0 if all OK, else an error indication from api_errno.h
1562  */
1563
1564 int
1565 tcp_configure_v6_source_address_range (vlib_main_t * vm,
1566                                        ip6_address_t * start,
1567                                        ip6_address_t * end, u32 table_id)
1568 {
1569   tcp_main_t *tm = vnet_get_tcp_main ();
1570   fib_prefix_t prefix;
1571   u32 fib_index = 0;
1572   fib_node_index_t fei;
1573   u32 sw_if_index;
1574
1575   clib_memset (&prefix, 0, sizeof (prefix));
1576
1577   fib_index = fib_table_find (FIB_PROTOCOL_IP6, table_id);
1578
1579   if (fib_index == ~0)
1580     return VNET_API_ERROR_NO_SUCH_FIB;
1581
1582   while (1)
1583     {
1584       int i;
1585       ip6_address_t tmp;
1586       dpo_id_t dpo = DPO_INVALID;
1587
1588       /* Remember this address */
1589       vec_add1 (tm->ip6_src_addresses, start[0]);
1590
1591       /* Lookup the prefix, to identify the interface involved */
1592       prefix.fp_len = 128;
1593       prefix.fp_proto = FIB_PROTOCOL_IP6;
1594       memcpy (&prefix.fp_addr.ip6, start, sizeof (ip6_address_t));
1595
1596       fei = fib_table_lookup (fib_index, &prefix);
1597
1598       /* Couldn't find route to destination. Bail out. */
1599       if (fei == FIB_NODE_INDEX_INVALID)
1600         return VNET_API_ERROR_NEXT_HOP_NOT_IN_FIB;
1601
1602       sw_if_index = fib_entry_get_resolving_interface (fei);
1603
1604       if (sw_if_index == (u32) ~ 0)
1605         return VNET_API_ERROR_NO_MATCHING_INTERFACE;
1606
1607       /* Add a proxy neighbor discovery entry for this address */
1608       ip6_neighbor_proxy_add_del (sw_if_index, start, 0 /* is_del */ );
1609
1610       /* Add a receive adjacency for this address */
1611       receive_dpo_add_or_lock (DPO_PROTO_IP6, ~0 /* sw_if_index */ ,
1612                                NULL, &dpo);
1613
1614       fib_table_entry_special_dpo_update (fib_index,
1615                                           &prefix,
1616                                           FIB_SOURCE_API,
1617                                           FIB_ENTRY_FLAG_EXCLUSIVE, &dpo);
1618       dpo_reset (&dpo);
1619
1620       /* Done with the entire range? */
1621       if (!memcmp (start, end, sizeof (start[0])))
1622         break;
1623
1624       /* Increment the address. DGMS. */
1625       tmp = start[0];
1626       for (i = 15; i >= 0; i--)
1627         {
1628           tmp.as_u8[i] += 1;
1629           if (tmp.as_u8[i] != 0)
1630             break;
1631         }
1632       start[0] = tmp;
1633     }
1634   return 0;
1635 }
1636
1637 static clib_error_t *
1638 tcp_src_address (vlib_main_t * vm,
1639                  unformat_input_t * input, vlib_cli_command_t * cmd_arg)
1640 {
1641   ip4_address_t v4start, v4end;
1642   ip6_address_t v6start, v6end;
1643   u32 table_id = 0;
1644   int v4set = 0;
1645   int v6set = 0;
1646   int rv;
1647
1648   while (unformat_check_input (input) != UNFORMAT_END_OF_INPUT)
1649     {
1650       if (unformat (input, "%U - %U", unformat_ip4_address, &v4start,
1651                     unformat_ip4_address, &v4end))
1652         v4set = 1;
1653       else if (unformat (input, "%U", unformat_ip4_address, &v4start))
1654         {
1655           memcpy (&v4end, &v4start, sizeof (v4start));
1656           v4set = 1;
1657         }
1658       else if (unformat (input, "%U - %U", unformat_ip6_address, &v6start,
1659                          unformat_ip6_address, &v6end))
1660         v6set = 1;
1661       else if (unformat (input, "%U", unformat_ip6_address, &v6start))
1662         {
1663           memcpy (&v6end, &v6start, sizeof (v6start));
1664           v6set = 1;
1665         }
1666       else if (unformat (input, "fib-table %d", &table_id))
1667         ;
1668       else
1669         break;
1670     }
1671
1672   if (!v4set && !v6set)
1673     return clib_error_return (0, "at least one v4 or v6 address required");
1674
1675   if (v4set)
1676     {
1677       rv = tcp_configure_v4_source_address_range (vm, &v4start, &v4end,
1678                                                   table_id);
1679       switch (rv)
1680         {
1681         case 0:
1682           break;
1683
1684         case VNET_API_ERROR_NO_SUCH_FIB:
1685           return clib_error_return (0, "Invalid table-id %d", table_id);
1686
1687         case VNET_API_ERROR_INVALID_ARGUMENT:
1688           return clib_error_return (0, "Invalid address range %U - %U",
1689                                     format_ip4_address, &v4start,
1690                                     format_ip4_address, &v4end);
1691         default:
1692           return clib_error_return (0, "error %d", rv);
1693           break;
1694         }
1695     }
1696   if (v6set)
1697     {
1698       rv = tcp_configure_v6_source_address_range (vm, &v6start, &v6end,
1699                                                   table_id);
1700       switch (rv)
1701         {
1702         case 0:
1703           break;
1704
1705         case VNET_API_ERROR_NO_SUCH_FIB:
1706           return clib_error_return (0, "Invalid table-id %d", table_id);
1707
1708         default:
1709           return clib_error_return (0, "error %d", rv);
1710           break;
1711         }
1712     }
1713   return 0;
1714 }
1715
1716 /* *INDENT-OFF* */
1717 VLIB_CLI_COMMAND (tcp_src_address_command, static) =
1718 {
1719   .path = "tcp src-address",
1720   .short_help = "tcp src-address <ip-addr> [- <ip-addr>] add src address range",
1721   .function = tcp_src_address,
1722 };
1723 /* *INDENT-ON* */
1724
1725 static u8 *
1726 tcp_scoreboard_dump_trace (u8 * s, sack_scoreboard_t * sb)
1727 {
1728 #if TCP_SCOREBOARD_TRACE
1729
1730   scoreboard_trace_elt_t *block;
1731   int i = 0;
1732
1733   if (!sb->trace)
1734     return s;
1735
1736   s = format (s, "scoreboard trace:");
1737   vec_foreach (block, sb->trace)
1738   {
1739     s = format (s, "{%u, %u, %u, %u, %u}, ", block->start, block->end,
1740                 block->ack, block->snd_una_max, block->group);
1741     if ((++i % 3) == 0)
1742       s = format (s, "\n");
1743   }
1744   return s;
1745 #else
1746   return 0;
1747 #endif
1748 }
1749
1750 static clib_error_t *
1751 tcp_show_scoreboard_trace_fn (vlib_main_t * vm, unformat_input_t * input,
1752                               vlib_cli_command_t * cmd_arg)
1753 {
1754   transport_connection_t *tconn = 0;
1755   tcp_connection_t *tc;
1756   u8 *s = 0;
1757   while (unformat_check_input (input) != UNFORMAT_END_OF_INPUT)
1758     {
1759       if (unformat (input, "%U", unformat_transport_connection, &tconn,
1760                     TRANSPORT_PROTO_TCP))
1761         ;
1762       else
1763         return clib_error_return (0, "unknown input `%U'",
1764                                   format_unformat_error, input);
1765     }
1766
1767   if (!TCP_SCOREBOARD_TRACE)
1768     {
1769       vlib_cli_output (vm, "scoreboard tracing not enabled");
1770       return 0;
1771     }
1772
1773   tc = tcp_get_connection_from_transport (tconn);
1774   s = tcp_scoreboard_dump_trace (s, &tc->sack_sb);
1775   vlib_cli_output (vm, "%v", s);
1776   return 0;
1777 }
1778
1779 /* *INDENT-OFF* */
1780 VLIB_CLI_COMMAND (tcp_show_scoreboard_trace_command, static) =
1781 {
1782   .path = "show tcp scoreboard trace",
1783   .short_help = "show tcp scoreboard trace <connection>",
1784   .function = tcp_show_scoreboard_trace_fn,
1785 };
1786 /* *INDENT-ON* */
1787
1788 u8 *
1789 tcp_scoreboard_replay (u8 * s, tcp_connection_t * tc, u8 verbose)
1790 {
1791   int i, trace_len;
1792   scoreboard_trace_elt_t *trace;
1793   u32 next_ack, left, group, has_new_ack = 0;
1794   tcp_connection_t _dummy_tc, *dummy_tc = &_dummy_tc;
1795   sack_block_t *block;
1796
1797   if (!TCP_SCOREBOARD_TRACE)
1798     {
1799       s = format (s, "scoreboard tracing not enabled");
1800       return s;
1801     }
1802
1803   if (!tc)
1804     return s;
1805
1806   clib_memset (dummy_tc, 0, sizeof (*dummy_tc));
1807   tcp_connection_timers_init (dummy_tc);
1808   scoreboard_init (&dummy_tc->sack_sb);
1809   dummy_tc->rcv_opts.flags |= TCP_OPTS_FLAG_SACK;
1810
1811 #if TCP_SCOREBOARD_TRACE
1812   trace = tc->sack_sb.trace;
1813   trace_len = vec_len (tc->sack_sb.trace);
1814 #endif
1815
1816   for (i = 0; i < trace_len; i++)
1817     {
1818       if (trace[i].ack != 0)
1819         {
1820           dummy_tc->snd_una = trace[i].ack - 1448;
1821           dummy_tc->snd_una_max = trace[i].ack;
1822         }
1823     }
1824
1825   left = 0;
1826   while (left < trace_len)
1827     {
1828       group = trace[left].group;
1829       vec_reset_length (dummy_tc->rcv_opts.sacks);
1830       has_new_ack = 0;
1831       while (trace[left].group == group)
1832         {
1833           if (trace[left].ack != 0)
1834             {
1835               if (verbose)
1836                 s = format (s, "Adding ack %u, snd_una_max %u, segs: ",
1837                             trace[left].ack, trace[left].snd_una_max);
1838               dummy_tc->snd_una_max = trace[left].snd_una_max;
1839               next_ack = trace[left].ack;
1840               has_new_ack = 1;
1841             }
1842           else
1843             {
1844               if (verbose)
1845                 s = format (s, "[%u, %u], ", trace[left].start,
1846                             trace[left].end);
1847               vec_add2 (dummy_tc->rcv_opts.sacks, block, 1);
1848               block->start = trace[left].start;
1849               block->end = trace[left].end;
1850             }
1851           left++;
1852         }
1853
1854       /* Push segments */
1855       tcp_rcv_sacks (dummy_tc, next_ack);
1856       if (has_new_ack)
1857         dummy_tc->snd_una = next_ack + dummy_tc->sack_sb.snd_una_adv;
1858
1859       if (verbose)
1860         s = format (s, "result: %U", format_tcp_scoreboard,
1861                     &dummy_tc->sack_sb);
1862
1863     }
1864   s = format (s, "result: %U", format_tcp_scoreboard, &dummy_tc->sack_sb);
1865
1866   return s;
1867 }
1868
1869 static clib_error_t *
1870 tcp_scoreboard_trace_fn (vlib_main_t * vm, unformat_input_t * input,
1871                          vlib_cli_command_t * cmd_arg)
1872 {
1873   transport_connection_t *tconn = 0;
1874   tcp_connection_t *tc = 0;
1875   u8 *str = 0;
1876   while (unformat_check_input (input) != UNFORMAT_END_OF_INPUT)
1877     {
1878       if (unformat (input, "%U", unformat_transport_connection, &tconn,
1879                     TRANSPORT_PROTO_TCP))
1880         ;
1881       else
1882         return clib_error_return (0, "unknown input `%U'",
1883                                   format_unformat_error, input);
1884     }
1885
1886   if (!TCP_SCOREBOARD_TRACE)
1887     {
1888       vlib_cli_output (vm, "scoreboard tracing not enabled");
1889       return 0;
1890     }
1891
1892   tc = tcp_get_connection_from_transport (tconn);
1893   if (!tc)
1894     {
1895       vlib_cli_output (vm, "connection not found");
1896       return 0;
1897     }
1898   str = tcp_scoreboard_replay (str, tc, 1);
1899   vlib_cli_output (vm, "%v", str);
1900   return 0;
1901 }
1902
1903 /* *INDENT-OFF* */
1904 VLIB_CLI_COMMAND (tcp_replay_scoreboard_command, static) =
1905 {
1906   .path = "tcp replay scoreboard",
1907   .short_help = "tcp replay scoreboard <connection>",
1908   .function = tcp_scoreboard_trace_fn,
1909 };
1910 /* *INDENT-ON* */
1911
1912 static clib_error_t *
1913 show_tcp_punt_fn (vlib_main_t * vm, unformat_input_t * input,
1914                   vlib_cli_command_t * cmd_arg)
1915 {
1916   tcp_main_t *tm = vnet_get_tcp_main ();
1917   if (unformat_check_input (input) != UNFORMAT_END_OF_INPUT)
1918     return clib_error_return (0, "unknown input `%U'", format_unformat_error,
1919                               input);
1920   vlib_cli_output (vm, "IPv4 TCP punt: %s",
1921                    tm->punt_unknown4 ? "enabled" : "disabled");
1922   vlib_cli_output (vm, "IPv6 TCP punt: %s",
1923                    tm->punt_unknown6 ? "enabled" : "disabled");
1924   return 0;
1925 }
1926 /* *INDENT-OFF* */
1927 VLIB_CLI_COMMAND (show_tcp_punt_command, static) =
1928 {
1929   .path = "show tcp punt",
1930   .short_help = "show tcp punt",
1931   .function = show_tcp_punt_fn,
1932 };
1933 /* *INDENT-ON* */
1934
1935 /*
1936  * fd.io coding-style-patch-verification: ON
1937  *
1938  * Local Variables:
1939  * eval: (c-set-style "gnu")
1940  * End:
1941  */