2 * Copyright (c) 2017 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:
7 * http://www.apache.org/licenses/LICENSE-2.0
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.
17 * @brief Session and session manager
20 #include <vnet/session/session.h>
21 #include <vnet/session/session_debug.h>
22 #include <vnet/session/application.h>
23 #include <vlibmemory/api.h>
24 #include <vnet/dpo/load_balance.h>
25 #include <vnet/fib/ip4_fib.h>
26 #include <vnet/tcp/tcp.h>
28 session_manager_main_t session_manager_main;
29 extern transport_proto_vft_t *tp_vfts;
32 stream_session_create_i (segment_manager_t * sm, transport_connection_t * tc,
33 u8 alloc_fifos, stream_session_t ** ret_s)
35 session_manager_main_t *smm = &session_manager_main;
36 svm_fifo_t *server_rx_fifo = 0, *server_tx_fifo = 0;
37 u32 fifo_segment_index;
41 u32 thread_index = tc->thread_index;
44 ASSERT (thread_index == vlib_get_thread_index ());
46 /* Create the session */
47 pool_get_aligned (smm->sessions[thread_index], s, CLIB_CACHE_LINE_BYTES);
48 memset (s, 0, sizeof (*s));
49 pool_index = s - smm->sessions[thread_index];
54 if ((rv = segment_manager_alloc_session_fifos (sm, &server_rx_fifo,
56 &fifo_segment_index)))
58 pool_put (smm->sessions[thread_index], s);
61 /* Initialize backpointers */
62 server_rx_fifo->master_session_index = pool_index;
63 server_rx_fifo->master_thread_index = thread_index;
65 server_tx_fifo->master_session_index = pool_index;
66 server_tx_fifo->master_thread_index = thread_index;
68 s->server_rx_fifo = server_rx_fifo;
69 s->server_tx_fifo = server_tx_fifo;
70 s->svm_segment_index = fifo_segment_index;
73 /* Initialize state machine, such as it is... */
74 s->session_type = session_type_from_proto_and_ip (tc->transport_proto,
76 s->session_state = SESSION_STATE_CONNECTING;
77 s->thread_index = thread_index;
78 s->session_index = pool_index;
80 /* Attach transport to session */
81 s->connection_index = tc->c_index;
83 /* Attach session to transport */
84 tc->s_index = s->session_index;
86 /* Add to the main lookup table */
87 value = stream_session_handle (s);
88 stream_session_table_add_for_tc (tc, value);
95 /** Enqueue buffer chain tail */
97 session_enqueue_chain_tail (stream_session_t * s, vlib_buffer_t * b,
98 u32 offset, u8 is_in_order)
100 vlib_buffer_t *chain_b;
101 u32 chain_bi = b->next_buffer, len;
102 vlib_main_t *vm = vlib_get_main ();
109 chain_b = vlib_get_buffer (vm, chain_bi);
110 data = vlib_buffer_get_current (chain_b);
111 len = chain_b->current_length;
114 rv = svm_fifo_enqueue_nowait (s->server_rx_fifo, len, data);
117 return (rv > 0) ? (written + rv) : written;
123 rv = svm_fifo_enqueue_with_offset (s->server_rx_fifo, offset, len,
130 while ((chain_bi = (chain_b->flags & VLIB_BUFFER_NEXT_PRESENT)
131 ? chain_b->next_buffer : 0));
140 * Enqueue data for delivery to session peer. Does not notify peer of enqueue
141 * event but on request can queue notification events for later delivery by
142 * calling stream_server_flush_enqueue_events().
144 * @param tc Transport connection which is to be enqueued data
145 * @param b Buffer to be enqueued
146 * @param offset Offset at which to start enqueueing if out-of-order
147 * @param queue_event Flag to indicate if peer is to be notified or if event
148 * is to be queued. The former is useful when more data is
149 * enqueued and only one event is to be generated.
150 * @param is_in_order Flag to indicate if data is in order
151 * @return Number of bytes enqueued or a negative value if enqueueing failed.
154 stream_session_enqueue_data (transport_connection_t * tc, vlib_buffer_t * b,
155 u32 offset, u8 queue_event, u8 is_in_order)
158 int enqueued = 0, rv;
160 s = stream_session_get (tc->s_index, tc->thread_index);
165 svm_fifo_enqueue_nowait (s->server_rx_fifo, b->current_length,
166 vlib_buffer_get_current (b));
168 ((b->flags & VLIB_BUFFER_NEXT_PRESENT) && enqueued > 0))
170 rv = session_enqueue_chain_tail (s, b, 0, 1);
178 rv = svm_fifo_enqueue_with_offset (s->server_rx_fifo, offset,
180 vlib_buffer_get_current (b));
181 if (PREDICT_FALSE ((b->flags & VLIB_BUFFER_NEXT_PRESENT) && !rv))
182 rv = session_enqueue_chain_tail (s, b, offset + b->current_length, 0);
189 /* Queue RX event on this fifo. Eventually these will need to be flushed
190 * by calling stream_server_flush_enqueue_events () */
191 session_manager_main_t *smm = vnet_get_session_manager_main ();
192 u32 thread_index = s->thread_index;
193 u32 my_enqueue_epoch = smm->current_enqueue_epoch[thread_index];
195 if (s->enqueue_epoch != my_enqueue_epoch)
197 s->enqueue_epoch = my_enqueue_epoch;
198 vec_add1 (smm->session_indices_to_enqueue_by_thread[thread_index],
199 s - smm->sessions[thread_index]);
209 /** Check if we have space in rx fifo to push more bytes */
211 stream_session_no_space (transport_connection_t * tc, u32 thread_index,
214 stream_session_t *s = stream_session_get (tc->s_index, thread_index);
216 if (PREDICT_FALSE (s->session_state != SESSION_STATE_READY))
219 if (data_len > svm_fifo_max_enqueue (s->server_rx_fifo))
226 stream_session_tx_fifo_max_dequeue (transport_connection_t * tc)
228 stream_session_t *s = stream_session_get (tc->s_index, tc->thread_index);
229 if (!s->server_tx_fifo)
231 return svm_fifo_max_dequeue (s->server_tx_fifo);
235 stream_session_peek_bytes (transport_connection_t * tc, u8 * buffer,
236 u32 offset, u32 max_bytes)
238 stream_session_t *s = stream_session_get (tc->s_index, tc->thread_index);
239 return svm_fifo_peek (s->server_tx_fifo, offset, max_bytes, buffer);
243 stream_session_dequeue_drop (transport_connection_t * tc, u32 max_bytes)
245 stream_session_t *s = stream_session_get (tc->s_index, tc->thread_index);
246 return svm_fifo_dequeue_drop (s->server_tx_fifo, max_bytes);
250 * Notify session peer that new data has been enqueued.
252 * @param s Stream session for which the event is to be generated.
253 * @param block Flag to indicate if call should block if event queue is full.
255 * @return 0 on succes or negative number if failed to send notification.
258 stream_session_enqueue_notify (stream_session_t * s, u8 block)
261 session_fifo_event_t evt;
262 unix_shared_memory_queue_t *q;
263 static u32 serial_number;
265 if (PREDICT_FALSE (s->session_state == SESSION_STATE_CLOSED))
268 /* Get session's server */
269 app = application_get_if_valid (s->app_index);
271 if (PREDICT_FALSE (app == 0))
273 clib_warning ("invalid s->app_index = %d", s->app_index);
277 /* Built-in server? Hand event to the callback... */
278 if (app->cb_fns.builtin_server_rx_callback)
279 return app->cb_fns.builtin_server_rx_callback (s);
281 /* If no event, send one */
282 if (svm_fifo_set_event (s->server_rx_fifo))
284 /* Fabricate event */
285 evt.fifo = s->server_rx_fifo;
286 evt.event_type = FIFO_EVENT_APP_RX;
287 evt.event_id = serial_number++;
289 /* Add event to server's event queue */
290 q = app->event_queue;
292 /* Based on request block (or not) for lack of space */
293 if (block || PREDICT_TRUE (q->cursize < q->maxsize))
294 unix_shared_memory_queue_add (app->event_queue, (u8 *) & evt,
295 0 /* do wait for mutex */ );
298 clib_warning ("fifo full");
304 SESSION_EVT_DBG(SESSION_EVT_ENQ, s, ({
305 ed->data[0] = evt.event_id;
306 ed->data[1] = svm_fifo_max_dequeue (s->server_rx_fifo);
314 * Flushes queue of sessions that are to be notified of new data
317 * @param thread_index Thread index for which the flush is to be performed.
318 * @return 0 on success or a positive number indicating the number of
319 * failures due to API queue being full.
322 session_manager_flush_enqueue_events (u32 thread_index)
324 session_manager_main_t *smm = &session_manager_main;
325 u32 *session_indices_to_enqueue;
328 session_indices_to_enqueue =
329 smm->session_indices_to_enqueue_by_thread[thread_index];
331 for (i = 0; i < vec_len (session_indices_to_enqueue); i++)
333 stream_session_t *s0;
336 s0 = stream_session_get_if_valid (session_indices_to_enqueue[i],
338 if (s0 == 0 || stream_session_enqueue_notify (s0, 0 /* don't block */ ))
344 vec_reset_length (session_indices_to_enqueue);
346 smm->session_indices_to_enqueue_by_thread[thread_index] =
347 session_indices_to_enqueue;
349 /* Increment enqueue epoch for next round */
350 smm->current_enqueue_epoch[thread_index]++;
356 * Init fifo tail and head pointers
358 * Useful if transport uses absolute offsets for tracking ooo segments.
361 stream_session_init_fifos_pointers (transport_connection_t * tc,
362 u32 rx_pointer, u32 tx_pointer)
365 s = stream_session_get (tc->s_index, tc->thread_index);
366 svm_fifo_init_pointers (s->server_rx_fifo, rx_pointer);
367 svm_fifo_init_pointers (s->server_tx_fifo, tx_pointer);
371 stream_session_connect_notify (transport_connection_t * tc, u8 is_fail)
374 stream_session_t *new_s = 0;
379 handle = stream_session_half_open_lookup_handle (&tc->lcl_ip, &tc->rmt_ip,
380 tc->lcl_port, tc->rmt_port,
381 tc->transport_proto);
382 if (handle == HALF_OPEN_LOOKUP_INVALID_VALUE)
384 clib_warning ("This can't be good!");
388 /* Get the app's index from the handle we stored when opening connection */
389 app = application_get (handle >> 32);
390 api_context = tc->s_index;
394 segment_manager_t *sm;
396 sm = application_get_connect_segment_manager (app);
397 alloc_fifos = application_is_proxy (app);
398 /* Create new session (svm segments are allocated if needed) */
399 if (stream_session_create_i (sm, tc, alloc_fifos, &new_s))
405 new_s->app_index = app->index;
408 /* Notify client application */
409 if (app->cb_fns.session_connected_callback (app->index, api_context, new_s,
412 clib_warning ("failed to notify app");
414 stream_session_disconnect (new_s);
419 new_s->session_state = SESSION_STATE_READY;
422 /* Cleanup session lookup */
423 stream_session_half_open_table_del (tc);
429 stream_session_accept_notify (transport_connection_t * tc)
431 application_t *server;
434 s = stream_session_get (tc->s_index, tc->thread_index);
435 server = application_get (s->app_index);
436 server->cb_fns.session_accept_callback (s);
440 * Notification from transport that connection is being closed.
442 * A disconnect is sent to application but state is not removed. Once
443 * disconnect is acknowledged by application, session disconnect is called.
444 * Ultimately this leads to close being called on transport (passive close).
447 stream_session_disconnect_notify (transport_connection_t * tc)
449 application_t *server;
452 s = stream_session_get (tc->s_index, tc->thread_index);
453 server = application_get (s->app_index);
454 server->cb_fns.session_disconnect_callback (s);
458 * Cleans up session and associated app if needed.
461 stream_session_delete (stream_session_t * s)
463 session_manager_main_t *smm = vnet_get_session_manager_main ();
466 /* Delete from the main lookup table. */
467 if ((rv = stream_session_table_del (s)))
468 clib_warning ("hash delete error, rv %d", rv);
470 /* Cleanup fifo segments */
471 segment_manager_dealloc_fifos (s->svm_segment_index, s->server_rx_fifo,
474 pool_put (smm->sessions[s->thread_index], s);
476 memset (s, 0xFA, sizeof (*s));
480 * Notification from transport that connection is being deleted
482 * This should be called only on previously fully established sessions. For
483 * instance failed connects should call stream_session_connect_notify and
484 * indicate that the connect has failed.
487 stream_session_delete_notify (transport_connection_t * tc)
491 /* App might've been removed already */
492 s = stream_session_get_if_valid (tc->s_index, tc->thread_index);
497 stream_session_delete (s);
501 * Notify application that connection has been reset.
504 stream_session_reset_notify (transport_connection_t * tc)
508 s = stream_session_get (tc->s_index, tc->thread_index);
510 app = application_get (s->app_index);
511 app->cb_fns.session_reset_callback (s);
515 * Accept a stream session. Optionally ping the server by callback.
518 stream_session_accept (transport_connection_t * tc, u32 listener_index,
521 application_t *server;
522 stream_session_t *s, *listener;
523 segment_manager_t *sm;
527 /* Find the server */
528 listener = listen_session_get (sst, listener_index);
529 server = application_get (listener->app_index);
531 sm = application_get_listen_segment_manager (server, listener);
532 if ((rv = stream_session_create_i (sm, tc, 1, &s)))
535 s->app_index = server->index;
536 s->listener_index = listener_index;
537 s->session_state = SESSION_STATE_ACCEPTING;
539 /* Shoulder-tap the server */
542 server->cb_fns.session_accept_callback (s);
549 * Ask transport to open connection to remote transport endpoint.
551 * Stores handle for matching request with reply since the call can be
552 * asynchronous. For instance, for TCP the 3-way handshake must complete
553 * before reply comes. Session is only created once connection is established.
555 * @param app_index Index of the application requesting the connect
556 * @param st Session type requested.
557 * @param tep Remote transport endpoint
558 * @param res Resulting transport connection .
561 stream_session_open (u32 app_index, session_type_t st,
562 transport_endpoint_t * rmt,
563 transport_connection_t ** res)
565 transport_connection_t *tc;
569 rv = tp_vfts[st].open (rmt);
572 clib_warning ("Transport failed to open connection.");
573 return VNET_API_ERROR_SESSION_CONNECT_FAIL;
576 tc = tp_vfts[st].get_half_open ((u32) rv);
578 /* Save app and tc index. The latter is needed to help establish the
579 * connection while the former is needed when the connect notify comes
580 * and we have to notify the external app */
581 handle = (((u64) app_index) << 32) | (u64) tc->c_index;
583 /* Add to the half-open lookup table */
584 stream_session_half_open_table_add (tc, handle);
592 * Ask transport to listen on local transport endpoint.
594 * @param s Session for which listen will be called. Note that unlike
595 * established sessions, listen sessions are not associated to a
597 * @param tep Local endpoint to be listened on.
600 stream_session_listen (stream_session_t * s, transport_endpoint_t * tep)
602 transport_connection_t *tc;
605 /* Transport bind/listen */
606 tci = tp_vfts[s->session_type].bind (s->session_index, tep);
608 if (tci == (u32) ~ 0)
611 /* Attach transport to session */
612 s->connection_index = tci;
613 tc = tp_vfts[s->session_type].get_listener (tci);
615 /* Weird but handle it ... */
619 /* Add to the main lookup table */
620 stream_session_table_add_for_tc (tc, s->session_index);
626 * Ask transport to stop listening on local transport endpoint.
628 * @param s Session to stop listening on. It must be in state LISTENING.
631 stream_session_stop_listen (stream_session_t * s)
633 transport_connection_t *tc;
635 if (s->session_state != SESSION_STATE_LISTENING)
637 clib_warning ("not a listening session");
641 tc = tp_vfts[s->session_type].get_listener (s->connection_index);
644 clib_warning ("no transport");
645 return VNET_API_ERROR_ADDRESS_NOT_IN_USE;
648 stream_session_table_del_for_tc (tc);
649 tp_vfts[s->session_type].unbind (s->connection_index);
654 session_send_session_evt_to_thread (u64 session_handle,
655 fifo_event_type_t evt_type,
658 static u16 serial_number = 0;
659 session_fifo_event_t evt;
660 unix_shared_memory_queue_t *q;
662 /* Fabricate event */
663 evt.session_handle = session_handle;
664 evt.event_type = evt_type;
665 evt.event_id = serial_number++;
667 q = session_manager_get_vpp_event_queue (thread_index);
669 /* Based on request block (or not) for lack of space */
670 if (PREDICT_TRUE (q->cursize < q->maxsize))
672 if (unix_shared_memory_queue_add (q, (u8 *) & evt,
673 1 /* do wait for mutex */ ))
675 clib_warning ("failed to enqueue evt");
680 clib_warning ("queue full");
686 * Disconnect session and propagate to transport. This should eventually
687 * result in a delete notification that allows us to cleanup session state.
688 * Called for both active/passive disconnects.
690 * Should be called from the session's thread.
693 stream_session_disconnect (stream_session_t * s)
695 s->session_state = SESSION_STATE_CLOSED;
696 tp_vfts[s->session_type].close (s->connection_index, s->thread_index);
700 * Cleanup transport and session state.
702 * Notify transport of the cleanup, wait for a delete notify to actually
703 * remove the session state.
706 stream_session_cleanup (stream_session_t * s)
710 s->session_state = SESSION_STATE_CLOSED;
712 /* Delete from the main lookup table to avoid more enqueues */
713 rv = stream_session_table_del (s);
715 clib_warning ("hash delete error, rv %d", rv);
717 tp_vfts[s->session_type].cleanup (s->connection_index, s->thread_index);
721 * Allocate vpp event queue (once) per worker thread
724 session_vpp_event_queue_allocate (session_manager_main_t * smm,
727 api_main_t *am = &api_main;
729 u32 event_queue_length = 2048;
731 if (smm->vpp_event_queues[thread_index] == 0)
733 /* Allocate event fifo in the /vpe-api shared-memory segment */
734 oldheap = svm_push_data_heap (am->vlib_rp);
736 if (smm->configured_event_queue_length)
737 event_queue_length = smm->configured_event_queue_length;
739 smm->vpp_event_queues[thread_index] =
740 unix_shared_memory_queue_init
742 sizeof (session_fifo_event_t), 0 /* consumer pid */ ,
743 0 /* (do not) send signal when queue non-empty */ );
745 svm_pop_heap (oldheap);
750 session_type_from_proto_and_ip (transport_proto_t proto, u8 is_ip4)
752 if (proto == TRANSPORT_PROTO_TCP)
755 return SESSION_TYPE_IP4_TCP;
757 return SESSION_TYPE_IP6_TCP;
762 return SESSION_TYPE_IP4_UDP;
764 return SESSION_TYPE_IP6_UDP;
767 return SESSION_N_TYPES;
770 static clib_error_t *
771 session_manager_main_enable (vlib_main_t * vm)
773 session_manager_main_t *smm = &session_manager_main;
774 vlib_thread_main_t *vtm = vlib_get_thread_main ();
776 u32 preallocated_sessions_per_worker;
779 num_threads = 1 /* main thread */ + vtm->n_threads;
782 return clib_error_return (0, "n_thread_stacks not set");
784 /* $$$ config parameters */
785 svm_fifo_segment_init (0x200000000ULL /* first segment base VA */ ,
786 20 /* timeout in seconds */ );
788 /* configure per-thread ** vectors */
789 vec_validate (smm->sessions, num_threads - 1);
790 vec_validate (smm->session_indices_to_enqueue_by_thread, num_threads - 1);
791 vec_validate (smm->tx_buffers, num_threads - 1);
792 vec_validate (smm->pending_event_vector, num_threads - 1);
793 vec_validate (smm->free_event_vector, num_threads - 1);
794 vec_validate (smm->current_enqueue_epoch, num_threads - 1);
795 vec_validate (smm->vpp_event_queues, num_threads - 1);
797 for (i = 0; i < num_threads; i++)
799 vec_validate (smm->free_event_vector[i], 0);
800 _vec_len (smm->free_event_vector[i]) = 0;
801 vec_validate (smm->pending_event_vector[i], 0);
802 _vec_len (smm->pending_event_vector[i]) = 0;
806 vec_validate (smm->last_event_poll_by_thread, num_threads - 1);
809 /* Allocate vpp event queues */
810 for (i = 0; i < vec_len (smm->vpp_event_queues); i++)
811 session_vpp_event_queue_allocate (smm, i);
813 /* Preallocate sessions */
814 if (num_threads == 1)
816 for (i = 0; i < smm->preallocated_sessions; i++)
818 stream_session_t *ss __attribute__ ((unused));
819 pool_get_aligned (smm->sessions[0], ss, CLIB_CACHE_LINE_BYTES);
822 for (i = 0; i < smm->preallocated_sessions; i++)
823 pool_put_index (smm->sessions[0], i);
828 preallocated_sessions_per_worker = smm->preallocated_sessions /
831 for (j = 1; j < num_threads; j++)
833 for (i = 0; i < preallocated_sessions_per_worker; i++)
835 stream_session_t *ss __attribute__ ((unused));
836 pool_get_aligned (smm->sessions[j], ss, CLIB_CACHE_LINE_BYTES);
838 for (i = 0; i < preallocated_sessions_per_worker; i++)
839 pool_put_index (smm->sessions[j], i);
843 session_lookup_init ();
847 /* Enable TCP transport */
848 vnet_tcp_enable_disable (vm, 1);
854 session_node_enable_disable (u8 is_en)
856 u8 state = is_en ? VLIB_NODE_STATE_POLLING : VLIB_NODE_STATE_DISABLED;
858 foreach_vlib_main (({
859 vlib_node_set_state (this_vlib_main, session_queue_node.index,
866 vnet_session_enable_disable (vlib_main_t * vm, u8 is_en)
870 if (session_manager_main.is_enabled)
873 session_node_enable_disable (is_en);
875 return session_manager_main_enable (vm);
879 session_manager_main.is_enabled = 0;
880 session_node_enable_disable (is_en);
887 session_manager_main_init (vlib_main_t * vm)
889 session_manager_main_t *smm = &session_manager_main;
894 VLIB_INIT_FUNCTION (session_manager_main_init);
896 static clib_error_t *
897 session_config_fn (vlib_main_t * vm, unformat_input_t * input)
899 session_manager_main_t *smm = &session_manager_main;
903 while (unformat_check_input (input) != UNFORMAT_END_OF_INPUT)
905 if (unformat (input, "event-queue-length %d", &nitems))
908 smm->configured_event_queue_length = nitems;
910 clib_warning ("event queue length %d too small, ignored", nitems);
912 else if (unformat (input, "preallocated-sessions %d",
913 &smm->preallocated_sessions))
915 else if (unformat (input, "v4-session-table-buckets %d",
916 &smm->configured_v4_session_table_buckets))
918 else if (unformat (input, "v4-halfopen-table-buckets %d",
919 &smm->configured_v4_halfopen_table_buckets))
921 else if (unformat (input, "v6-session-table-buckets %d",
922 &smm->configured_v6_session_table_buckets))
924 else if (unformat (input, "v6-halfopen-table-buckets %d",
925 &smm->configured_v6_halfopen_table_buckets))
927 else if (unformat (input, "v4-session-table-memory %U",
928 unformat_memory_size, &tmp))
930 if (tmp >= 0x100000000)
931 return clib_error_return (0, "memory size %llx (%lld) too large",
933 smm->configured_v4_session_table_memory = tmp;
935 else if (unformat (input, "v4-halfopen-table-memory %U",
936 unformat_memory_size, &tmp))
938 if (tmp >= 0x100000000)
939 return clib_error_return (0, "memory size %llx (%lld) too large",
941 smm->configured_v4_halfopen_table_memory = tmp;
943 else if (unformat (input, "v6-session-table-memory %U",
944 unformat_memory_size, &tmp))
946 if (tmp >= 0x100000000)
947 return clib_error_return (0, "memory size %llx (%lld) too large",
949 smm->configured_v6_session_table_memory = tmp;
951 else if (unformat (input, "v6-halfopen-table-memory %U",
952 unformat_memory_size, &tmp))
954 if (tmp >= 0x100000000)
955 return clib_error_return (0, "memory size %llx (%lld) too large",
957 smm->configured_v6_halfopen_table_memory = tmp;
960 return clib_error_return (0, "unknown input `%U'",
961 format_unformat_error, input);
966 VLIB_CONFIG_FUNCTION (session_config_fn, "session");
969 * fd.io coding-style-patch-verification: ON
972 * eval: (c-set-style "gnu")