2 * Copyright (c) 2016-2019 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.
16 #include <svm/fifo_segment.h>
17 #include <vppinfra/mem.h>
20 fsh_alloc_aligned (fifo_segment_header_t *fsh, uword size, uword align)
22 uword cur_pos, cur_pos_align, new_pos;
24 cur_pos = clib_atomic_load_relax_n (&fsh->byte_index);
25 cur_pos_align = round_pow2_u64 (cur_pos, align);
26 size = round_pow2_u64 (size, align);
27 new_pos = cur_pos_align + size;
29 if (new_pos >= fsh->max_byte_index)
32 while (!clib_atomic_cmp_and_swap_acq_relax (&fsh->byte_index, &cur_pos,
33 &new_pos, 1 /* weak */))
35 cur_pos_align = round_pow2_u64 (cur_pos, align);
36 new_pos = cur_pos_align + size;
37 if (new_pos >= fsh->max_byte_index)
40 return uword_to_pointer ((u8 *) fsh + cur_pos_align, void *);
44 fsh_alloc (fifo_segment_header_t *fsh, uword size)
46 return fsh_alloc_aligned (fsh, size, 8);
49 static inline fifo_segment_slice_t *
50 fsh_slice_get (fifo_segment_header_t * fsh, u32 slice_index)
52 return &fsh->slices[slice_index];
55 static inline fifo_slice_private_t *
56 fs_slice_private_get (fifo_segment_t *fs, u32 slice_index)
58 ASSERT (slice_index < fs->n_slices);
59 return &fs->slices[slice_index];
62 static char *fifo_segment_mem_status_strings[] = {
63 #define _(sym,str) str,
64 foreach_segment_mem_status
69 fsh_n_free_bytes (fifo_segment_header_t * fsh)
71 uword cur_pos = clib_atomic_load_relax_n (&fsh->byte_index);
72 ASSERT (fsh->max_byte_index > cur_pos);
73 return fsh->max_byte_index - cur_pos;
77 fsh_cached_bytes_add (fifo_segment_header_t * fsh, uword size)
79 clib_atomic_fetch_add_rel (&fsh->n_cached_bytes, size);
83 fsh_cached_bytes_sub (fifo_segment_header_t * fsh, uword size)
85 clib_atomic_fetch_sub_rel (&fsh->n_cached_bytes, size);
89 fsh_n_cached_bytes (fifo_segment_header_t * fsh)
91 uword n_cached = clib_atomic_load_relax_n (&fsh->n_cached_bytes);
96 fsh_active_fifos_update (fifo_segment_header_t * fsh, int inc)
98 clib_atomic_fetch_add_rel (&fsh->n_active_fifos, inc);
102 fsh_n_active_fifos (fifo_segment_header_t * fsh)
104 return clib_atomic_load_relax_n (&fsh->n_active_fifos);
108 fsh_virtual_mem (fifo_segment_header_t * fsh)
110 fifo_segment_slice_t *fss;
114 for (i = 0; i < fsh->n_slices; i++)
116 fss = fsh_slice_get (fsh, i);
117 total_vm += clib_atomic_load_relax_n (&fss->virtual_mem);
123 fsh_virtual_mem_update (fifo_segment_header_t * fsh, u32 slice_index,
126 fifo_segment_slice_t *fss = fsh_slice_get (fsh, slice_index);
127 fss->virtual_mem += n_bytes;
131 fss_chunk_fl_index_is_valid (fifo_segment_slice_t *fss, u32 fl_index)
133 return (fl_index < FS_CHUNK_VEC_LEN);
136 #define FS_CL_HEAD_MASK 0xFFFFFFFFFFFF
137 #define FS_CL_HEAD_TMASK 0xFFFF000000000000
138 #define FS_CL_HEAD_TINC (1ULL << 48)
140 static svm_fifo_chunk_t *
141 fss_chunk_free_list_head (fifo_segment_header_t *fsh,
142 fifo_segment_slice_t *fss, u32 fl_index)
144 fs_sptr_t headsp = clib_atomic_load_relax_n (&fss->free_chunks[fl_index]);
145 return fs_chunk_ptr (fsh, headsp & FS_CL_HEAD_MASK);
149 fss_chunk_free_list_push (fifo_segment_header_t *fsh,
150 fifo_segment_slice_t *fss, u32 fl_index,
153 fs_sptr_t old_head, new_head, csp;
155 csp = fs_chunk_sptr (fsh, c);
156 ASSERT (csp <= FS_CL_HEAD_MASK);
157 old_head = clib_atomic_load_acq_n (&fss->free_chunks[fl_index]);
161 c->next = old_head & FS_CL_HEAD_MASK;
162 new_head = csp + ((old_head + FS_CL_HEAD_TINC) & FS_CL_HEAD_TMASK);
164 while (!__atomic_compare_exchange (&fss->free_chunks[fl_index], &old_head,
165 &new_head, 0 /* weak */, __ATOMIC_RELEASE,
170 fss_chunk_free_list_push_list (fifo_segment_header_t *fsh,
171 fifo_segment_slice_t *fss, u32 fl_index,
172 svm_fifo_chunk_t *head, svm_fifo_chunk_t *tail)
174 fs_sptr_t old_head, new_head, headsp;
176 headsp = fs_chunk_sptr (fsh, head);
177 ASSERT (headsp <= FS_CL_HEAD_MASK);
178 old_head = clib_atomic_load_acq_n (&fss->free_chunks[fl_index]);
182 tail->next = old_head & FS_CL_HEAD_MASK;
183 new_head = headsp + ((old_head + FS_CL_HEAD_TINC) & FS_CL_HEAD_TMASK);
185 while (!__atomic_compare_exchange (&fss->free_chunks[fl_index], &old_head,
186 &new_head, 0 /* weak */, __ATOMIC_RELEASE,
190 static svm_fifo_chunk_t *
191 fss_chunk_free_list_pop (fifo_segment_header_t *fsh, fifo_segment_slice_t *fss,
194 fs_sptr_t old_head, new_head;
197 ASSERT (fss_chunk_fl_index_is_valid (fss, fl_index));
199 old_head = clib_atomic_load_acq_n (&fss->free_chunks[fl_index]);
201 /* Lock-free stacks are affected by ABA if a side allocates a chunk and
202 * shortly thereafter frees it. To circumvent that, reuse the upper bits
203 * of the head of the list shared pointer, i.e., offset to where the chunk
204 * is, as a tag. The tag is incremented with each push/pop operation and
205 * therefore collisions can only happen if an element is popped and pushed
206 * exactly after a complete wrap of the tag (16 bits). It's unlikely either
207 * of the sides will be descheduled for that long */
210 if (!(old_head & FS_CL_HEAD_MASK))
212 c = fs_chunk_ptr (fsh, old_head & FS_CL_HEAD_MASK);
213 new_head = c->next + ((old_head + FS_CL_HEAD_TINC) & FS_CL_HEAD_TMASK);
215 while (!__atomic_compare_exchange (&fss->free_chunks[fl_index], &old_head,
216 &new_head, 0 /* weak */, __ATOMIC_RELEASE,
223 fss_fifo_free_list_push (fifo_segment_header_t *fsh, fifo_segment_slice_t *fss,
224 svm_fifo_shared_t *sf)
226 sf->next = fss->free_fifos;
227 fss->free_fifos = fs_sptr (fsh, sf);
231 fss_fifo_free_list_push_list (fifo_segment_header_t *fsh,
232 fifo_segment_slice_t *fss,
233 svm_fifo_shared_t *head, svm_fifo_shared_t *tail)
235 tail->next = fss->free_fifos;
236 fss->free_fifos = fs_sptr (fsh, head);
240 fss_fifo_free_list_pop (fifo_segment_header_t *fsh, fifo_segment_slice_t *fss)
242 svm_fifo_shared_t *sf;
243 sf = fs_ptr (fsh, fss->free_fifos);
244 fss->free_fifos = sf->next;
249 pfss_fifo_add_active_list (fifo_slice_private_t *pfss, svm_fifo_t *f)
251 if (pfss->active_fifos)
253 pfss->active_fifos->prev = f;
254 f->next = pfss->active_fifos;
256 pfss->active_fifos = f;
260 pfss_fifo_del_active_list (fifo_slice_private_t *pfss, svm_fifo_t *f)
262 if (f->flags & SVM_FIFO_F_LL_TRACKED)
265 f->prev->next = f->next;
267 pfss->active_fifos = f->next;
269 f->next->prev = f->prev;
274 fss_fl_chunk_bytes (fifo_segment_slice_t * fss)
276 return clib_atomic_load_relax_n (&fss->n_fl_chunk_bytes);
280 fss_fl_chunk_bytes_add (fifo_segment_slice_t * fss, uword size)
282 clib_atomic_fetch_add_relax (&fss->n_fl_chunk_bytes, size);
286 fss_fl_chunk_bytes_sub (fifo_segment_slice_t * fss, uword size)
288 clib_atomic_fetch_sub_relax (&fss->n_fl_chunk_bytes, size);
292 * Initialize fifo segment shared header
295 fifo_segment_init (fifo_segment_t * fs)
297 u32 align = 8, offset = 2 * 4096, slices_sz, i;
298 uword max_fifo, seg_start, seg_sz;
299 fifo_segment_header_t *fsh;
300 ssvm_shared_header_t *sh;
303 /* TODO remove ssvm heap entirely */
306 seg_data = (u8 *) sh + offset;
307 seg_sz = sh->ssvm_size - offset;
309 fs->n_slices = clib_max (fs->n_slices, 1);
310 slices_sz = sizeof (fifo_segment_slice_t) * fs->n_slices;
312 seg_start = round_pow2_u64 (pointer_to_uword (seg_data), align);
313 fsh = uword_to_pointer (seg_start, void *);
314 CLIB_MEM_UNPOISON (fsh, seg_sz);
315 memset (fsh, 0, sizeof (*fsh) + slices_sz);
317 fsh->byte_index = sizeof (*fsh) + slices_sz;
318 fsh->max_byte_index = seg_sz;
319 fsh->n_slices = fs->n_slices;
320 max_fifo = clib_min ((seg_sz - slices_sz) / 2, FIFO_SEGMENT_MAX_FIFO_SIZE);
321 fsh->max_log2_fifo_size = min_log2 (max_fifo);
322 fsh->n_cached_bytes = 0;
323 fsh->n_reserved_bytes = fsh->byte_index;
324 fsh->start_byte_index = fsh->byte_index;
325 ASSERT (fsh->max_byte_index <= sh->ssvm_size - offset);
327 fs->max_byte_index = fsh->max_byte_index;
329 sh->opaque[0] = (void *) ((u8 *) fsh - (u8 *) fs->ssvm.sh);
331 /* Allow random offsets */
332 fs->ssvm.sh->ssvm_va = 0;
334 vec_validate (fs->slices, fs->n_slices - 1);
335 for (i = 0; i < fs->n_slices; i++)
336 fs->slices[i].fifos =
337 clib_mem_bulk_init (sizeof (svm_fifo_t), CLIB_CACHE_LINE_BYTES, 32);
344 * Create a fifo segment and initialize as master
347 fifo_segment_create (fifo_segment_main_t * sm, fifo_segment_create_args_t * a)
353 /* Allocate a fresh segment */
354 pool_get_zero (sm->segments, fs);
356 baseva = a->segment_type == SSVM_SEGMENT_PRIVATE ? ~0ULL : sm->next_baseva;
357 fs->ssvm.ssvm_size = a->segment_size;
358 fs->ssvm.is_server = 1;
359 fs->ssvm.my_pid = getpid ();
360 fs->ssvm.name = format (0, "%s%c", a->segment_name, 0);
361 fs->ssvm.requested_va = baseva;
363 if ((rv = ssvm_server_init (&fs->ssvm, a->segment_type)))
365 pool_put (sm->segments, fs);
369 /* Note: requested_va updated due to seg base addr randomization */
370 sm->next_baseva = fs->ssvm.sh->ssvm_va + fs->ssvm.ssvm_size;
372 fifo_segment_init (fs);
373 vec_add1 (a->new_segment_indices, fs - sm->segments);
378 * Attach as slave to a fifo segment
381 fifo_segment_attach (fifo_segment_main_t * sm, fifo_segment_create_args_t * a)
383 fifo_segment_header_t *fsh;
387 pool_get_zero (sm->segments, fs);
389 fs->ssvm.ssvm_size = a->segment_size;
390 fs->ssvm.my_pid = getpid ();
391 fs->ssvm.name = format (0, "%s%c", a->segment_name, 0);
392 fs->ssvm.requested_va = 0;
393 if (a->segment_type == SSVM_SEGMENT_MEMFD)
394 fs->ssvm.fd = a->memfd_fd;
396 fs->ssvm.attach_timeout = sm->timeout_in_seconds;
398 if ((rv = ssvm_client_init (&fs->ssvm, a->segment_type)))
400 pool_put (sm->segments, fs);
404 /* Probably a segment without fifos */
405 if (!fs->ssvm.sh->opaque[0])
408 fsh = fs->h = (void *) fs->ssvm.sh + (uword) fs->ssvm.sh->opaque[0];
409 fs->max_byte_index = fsh->max_byte_index;
410 vec_validate (fs->slices, 0);
411 fs->slices[0].fifos =
412 clib_mem_bulk_init (sizeof (svm_fifo_t), CLIB_CACHE_LINE_BYTES, 32);
415 vec_add1 (a->new_segment_indices, fs - sm->segments);
420 fifo_segment_delete (fifo_segment_main_t * sm, fifo_segment_t * s)
422 fifo_segment_cleanup (s);
423 ssvm_delete (&s->ssvm);
424 clib_memset (s, 0xfe, sizeof (*s));
425 pool_put (sm->segments, s);
429 fifo_segment_index (fifo_segment_main_t * sm, fifo_segment_t * s)
431 return s - sm->segments;
435 fifo_segment_get_segment (fifo_segment_main_t * sm, u32 segment_index)
437 return pool_elt_at_index (sm->segments, segment_index);
441 fifo_segment_get_segment_if_valid (fifo_segment_main_t *sm, u32 segment_index)
443 if (pool_is_free_index (sm->segments, segment_index))
445 return pool_elt_at_index (sm->segments, segment_index);
449 fifo_segment_info (fifo_segment_t * seg, char **address, size_t * size)
451 *address = (char *) seg->ssvm.sh->ssvm_va;
452 *size = seg->ssvm.ssvm_size;
456 fifo_segment_main_init (fifo_segment_main_t * sm, u64 baseva,
457 u32 timeout_in_seconds)
459 sm->next_baseva = baseva;
460 sm->timeout_in_seconds = timeout_in_seconds;
464 fs_freelist_for_size (u32 size)
466 if (PREDICT_FALSE (size < FIFO_SEGMENT_MIN_FIFO_SIZE))
468 return clib_min (max_log2 (size) - FIFO_SEGMENT_MIN_LOG2_FIFO_SIZE,
469 FS_CHUNK_VEC_LEN - 1);
473 fs_freelist_index_to_size (u32 fl_index)
475 return 1 << (fl_index + FIFO_SEGMENT_MIN_LOG2_FIFO_SIZE);
479 fs_chunk_size_is_valid (fifo_segment_header_t * fsh, u32 size)
482 * 4K minimum. It's not likely that anything good will happen
483 * with a smaller FIFO.
485 return size >= FIFO_SEGMENT_MIN_FIFO_SIZE &&
486 size <= (1ULL << fsh->max_log2_fifo_size);
490 fs_try_alloc_multi_chunk (fifo_segment_header_t * fsh,
491 fifo_segment_slice_t * fss, u32 data_bytes)
493 u32 fl_index, fl_size, n_alloc = 0, req_bytes = data_bytes;
494 svm_fifo_chunk_t *c, *first = 0, *next;
496 fl_index = fs_freelist_for_size (req_bytes);
500 fl_size = fs_freelist_index_to_size (fl_index);
504 c = fss_chunk_free_list_pop (fsh, fss, fl_index);
507 c->next = fs_chunk_sptr (fsh, first);
510 req_bytes -= clib_min (fl_size, req_bytes);
514 /* Failed to allocate with smaller chunks */
517 /* Free all chunks if any allocated */
521 fl_index = fs_freelist_for_size (c->length);
522 next = fs_chunk_ptr (fsh, c->next);
523 fss_chunk_free_list_push (fsh, fss, fl_index, c);
528 /* As last attempt, try allocating a chunk larger than
529 * the requested size, if possible */
530 fl_index = fs_freelist_for_size (data_bytes) + 1;
531 if (!fss_chunk_fl_index_is_valid (fss, fl_index))
533 first = fss_chunk_free_list_pop (fsh, fss, fl_index);
537 n_alloc = fs_freelist_index_to_size (fl_index);
543 fl_size = fl_size >> 1;
548 fss_fl_chunk_bytes_sub (fss, n_alloc);
549 fsh_cached_bytes_sub (fsh, n_alloc);
554 fsh_try_alloc_fifo_hdr_batch (fifo_segment_header_t * fsh,
555 fifo_segment_slice_t * fss, u32 batch_size)
557 svm_fifo_shared_t *f, *head = 0, *tail;
562 ASSERT (batch_size != 0);
564 size = (uword) sizeof (*f) * batch_size;
566 fmem = fsh_alloc_aligned (fsh, size, CLIB_CACHE_LINE_BYTES);
570 /* Carve fifo hdr space */
571 tail = f = (svm_fifo_shared_t *) fmem;
572 for (i = 0; i < batch_size; i++)
574 clib_memset (f, 0, sizeof (*f));
575 f->next = fs_sptr (fsh, head);
578 f = (svm_fifo_shared_t *) fmem;
581 fss_fifo_free_list_push_list (fsh, fss, head, tail);
587 fsh_try_alloc_chunk_batch (fifo_segment_header_t * fsh,
588 fifo_segment_slice_t * fss,
589 u32 fl_index, u32 batch_size)
591 svm_fifo_chunk_t *c, *head = 0, *tail;
592 uword size, total_chunk_bytes;
593 u32 rounded_data_size;
597 ASSERT (batch_size != 0);
599 rounded_data_size = fs_freelist_index_to_size (fl_index);
600 total_chunk_bytes = (uword) batch_size *rounded_data_size;
601 size = (uword) (sizeof (*c) + rounded_data_size) * batch_size;
603 cmem = fsh_alloc_aligned (fsh, size, 8 /* chunk hdr is 24B */);
607 /* Carve fifo + chunk space */
608 tail = c = (svm_fifo_chunk_t *) cmem;
609 for (i = 0; i < batch_size; i++)
612 c->length = rounded_data_size;
613 c->next = fs_chunk_sptr (fsh, head);
615 cmem += sizeof (*c) + rounded_data_size;
616 c = (svm_fifo_chunk_t *) cmem;
619 fss_chunk_free_list_push_list (fsh, fss, fl_index, head, tail);
620 fss->num_chunks[fl_index] += batch_size;
621 fss_fl_chunk_bytes_add (fss, total_chunk_bytes);
622 fsh_cached_bytes_add (fsh, total_chunk_bytes);
628 fs_try_alloc_fifo_batch (fifo_segment_header_t * fsh,
629 fifo_segment_slice_t * fss,
630 u32 fl_index, u32 batch_size)
632 if (fsh_try_alloc_fifo_hdr_batch (fsh, fss, batch_size))
634 return fsh_try_alloc_chunk_batch (fsh, fss, fl_index, batch_size);
637 static svm_fifo_shared_t *
638 fsh_try_alloc_fifo_hdr (fifo_segment_header_t *fsh, fifo_segment_slice_t *fss)
640 svm_fifo_shared_t *sf;
642 if (!fss->free_fifos)
644 if (fsh_try_alloc_fifo_hdr_batch (fsh, fss,
645 FIFO_SEGMENT_ALLOC_BATCH_SIZE))
649 sf = fss_fifo_free_list_pop (fsh, fss);
650 clib_memset (sf, 0, sizeof (*sf));
655 static svm_fifo_chunk_t *
656 fsh_try_alloc_chunk (fifo_segment_header_t * fsh,
657 fifo_segment_slice_t * fss, u32 data_bytes)
662 fl_index = fs_freelist_for_size (data_bytes);
665 c = fss_chunk_free_list_pop (fsh, fss, fl_index);
669 fss_fl_chunk_bytes_sub (fss, fs_freelist_index_to_size (fl_index));
670 fsh_cached_bytes_sub (fsh, fs_freelist_index_to_size (fl_index));
674 u32 chunk_size, batch = FIFO_SEGMENT_ALLOC_BATCH_SIZE;
677 chunk_size = fs_freelist_index_to_size (fl_index);
678 n_free = fsh_n_free_bytes (fsh);
680 if (chunk_size <= n_free)
682 batch = chunk_size * batch <= n_free ? batch : 1;
683 if (!fsh_try_alloc_chunk_batch (fsh, fss, fl_index, batch))
686 /* Failed to allocate larger chunk, try to allocate multi-chunk
687 * that is close to what was actually requested */
688 if (data_bytes <= fss_fl_chunk_bytes (fss))
690 c = fs_try_alloc_multi_chunk (fsh, fss, data_bytes);
693 batch = n_free / FIFO_SEGMENT_MIN_FIFO_SIZE;
694 if (!batch || fsh_try_alloc_chunk_batch (fsh, fss, 0, batch))
697 if (data_bytes <= fss_fl_chunk_bytes (fss) + n_free)
699 u32 min_size = FIFO_SEGMENT_MIN_FIFO_SIZE;
700 if (n_free < min_size)
702 batch = (data_bytes - fss_fl_chunk_bytes (fss)) / min_size;
703 batch = clib_min (batch + 1, n_free / min_size);
704 if (fsh_try_alloc_chunk_batch (fsh, fss, 0, batch))
706 c = fs_try_alloc_multi_chunk (fsh, fss, data_bytes);
716 * Try to allocate new fifo
718 * Tries the following steps in order:
719 * - grab fifo and chunk from freelists
720 * - batch fifo and chunk allocation
721 * - single fifo allocation
722 * - grab multiple fifo chunks from freelists
724 static svm_fifo_shared_t *
725 fs_try_alloc_fifo (fifo_segment_header_t *fsh, u32 slice_index, u32 data_bytes)
727 fifo_segment_slice_t *fss;
728 u32 fl_index, min_size;
730 svm_fifo_shared_t *sf = 0;
732 fss = fsh_slice_get (fsh, slice_index);
733 min_size = clib_max ((fsh->pct_first_alloc * data_bytes) / 100, 4096);
734 fl_index = fs_freelist_for_size (min_size);
736 if (!fss_chunk_fl_index_is_valid (fss, fl_index))
739 sf = fsh_try_alloc_fifo_hdr (fsh, fss);
743 c = fsh_try_alloc_chunk (fsh, fss, min_size);
746 fss_fifo_free_list_push (fsh, fss, sf);
750 sf->start_chunk = fs_chunk_sptr (fsh, c);
752 c = fs_chunk_ptr (fsh, c->next);
753 sf->end_chunk = fs_chunk_sptr (fsh, c);
754 sf->size = data_bytes;
755 sf->slice_index = slice_index;
761 fsh_alloc_chunk (fifo_segment_header_t * fsh, u32 slice_index, u32 chunk_size)
763 fifo_segment_slice_t *fss;
766 fss = fsh_slice_get (fsh, slice_index);
767 c = fsh_try_alloc_chunk (fsh, fss, chunk_size);
773 fsh_slice_collect_chunks (fifo_segment_header_t * fsh,
774 fifo_segment_slice_t * fss, svm_fifo_chunk_t * c)
776 u32 n_collect = 0, fl_index;
777 svm_fifo_chunk_t *next;
781 CLIB_MEM_UNPOISON (c, sizeof (*c));
782 next = fs_chunk_ptr (fsh, c->next);
783 fl_index = fs_freelist_for_size (c->length);
784 fss_chunk_free_list_push (fsh, fss, fl_index, c);
785 n_collect += fs_freelist_index_to_size (fl_index);
789 fss_fl_chunk_bytes_add (fss, n_collect);
790 fsh_cached_bytes_add (fsh, n_collect);
794 fsh_collect_chunks (fifo_segment_header_t * fsh, u32 slice_index,
795 svm_fifo_chunk_t * c)
797 fifo_segment_slice_t *fss;
798 fss = fsh_slice_get (fsh, slice_index);
799 fsh_slice_collect_chunks (fsh, fss, c);
803 fs_fifo_alloc (fifo_segment_t *fs, u32 slice_index)
805 fifo_slice_private_t *pfss = &fs->slices[slice_index];
808 f = clib_mem_bulk_alloc (pfss->fifos);
809 clib_memset (f, 0, sizeof (*f));
814 fs_fifo_free (fifo_segment_t *fs, svm_fifo_t *f, u32 slice_index)
816 fifo_slice_private_t *pfss;
819 clib_memset (f, 0xfc, sizeof (*f));
821 pfss = &fs->slices[slice_index];
822 clib_mem_bulk_free (pfss->fifos, f);
826 fifo_segment_cleanup (fifo_segment_t *fs)
831 for (slice_index = 0; slice_index < fs->n_slices; slice_index++)
832 clib_mem_bulk_destroy (fs->slices[slice_index].fifos);
834 vec_free (fs->slices);
836 vec_foreach (fs->mqs, mq)
837 svm_msg_q_cleanup (mq);
843 * Allocate fifo in fifo segment
846 fifo_segment_alloc_fifo_w_slice (fifo_segment_t * fs, u32 slice_index,
847 u32 data_bytes, fifo_segment_ftype_t ftype)
849 fifo_segment_header_t *fsh = fs->h;
850 fifo_slice_private_t *pfss;
851 fifo_segment_slice_t *fss;
852 svm_fifo_shared_t *sf;
855 ASSERT (slice_index < fs->n_slices);
857 if (PREDICT_FALSE (data_bytes > 1 << fsh->max_log2_fifo_size))
860 sf = fs_try_alloc_fifo (fsh, slice_index, data_bytes);
864 f = fs_fifo_alloc (fs, slice_index);
868 svm_fifo_init (f, data_bytes);
870 fss = fsh_slice_get (fsh, slice_index);
871 pfss = fs_slice_private_get (fs, slice_index);
873 /* If rx fifo type add to active fifos list. When cleaning up segment,
874 * we need a list of active sessions that should be disconnected. Since
875 * both rx and tx fifos keep pointers to the session, it's enough to track
877 if (ftype == FIFO_SEGMENT_RX_FIFO)
879 pfss_fifo_add_active_list (pfss, f);
880 f->flags |= SVM_FIFO_F_LL_TRACKED;
883 fsh_active_fifos_update (fsh, 1);
884 fss->virtual_mem += svm_fifo_size (f);
891 fifo_segment_alloc_fifo_w_offset (fifo_segment_t *fs, uword offset)
893 svm_fifo_t *f = fs_fifo_alloc (fs, 0);
894 svm_fifo_shared_t *sf;
896 sf = (svm_fifo_shared_t *) ((u8 *) fs->h + offset);
900 f->ooos_list_head = OOO_SEGMENT_INVALID_INDEX;
901 f->segment_index = SVM_FIFO_INVALID_INDEX;
907 fifo_segment_duplicate_fifo (fifo_segment_t *fs, svm_fifo_t *f)
909 svm_fifo_t *nf = fs_fifo_alloc (fs, 0);
910 clib_memcpy (nf, f, sizeof (*f));
915 * Free fifo allocated in fifo segment
918 fifo_segment_free_fifo (fifo_segment_t * fs, svm_fifo_t * f)
920 fifo_segment_header_t *fsh = fs->h;
921 fifo_slice_private_t *pfss;
922 fifo_segment_slice_t *fss;
923 svm_fifo_shared_t *sf;
925 ASSERT (f->refcnt > 0);
931 * Cleanup shared state
935 fss = fsh_slice_get (fsh, sf->slice_index);
936 pfss = fs_slice_private_get (fs, sf->slice_index);
938 /* Free fifo chunks */
939 fsh_slice_collect_chunks (fsh, fss, fs_chunk_ptr (fsh, f->shr->start_chunk));
941 sf->start_chunk = sf->end_chunk = 0;
942 sf->head_chunk = sf->tail_chunk = 0;
944 /* Add to free list */
945 fss_fifo_free_list_push (fsh, fss, sf);
947 fss->virtual_mem -= svm_fifo_size (f);
950 * Cleanup private state
953 /* Remove from active list. Only rx fifos are tracked */
954 if (f->flags & SVM_FIFO_F_LL_TRACKED)
956 pfss_fifo_del_active_list (pfss, f);
957 f->flags &= ~SVM_FIFO_F_LL_TRACKED;
960 svm_fifo_free_chunk_lookup (f);
961 svm_fifo_free_ooo_data (f);
965 sf->master_session_index = ~0;
966 f->master_thread_index = ~0;
969 f->ooo_enq = f->ooo_deq = 0;
972 fs_fifo_free (fs, f, f->shr->slice_index);
974 fsh_active_fifos_update (fsh, -1);
978 fifo_segment_free_client_fifo (fifo_segment_t *fs, svm_fifo_t *f)
980 fs_fifo_free (fs, f, 0 /* clients attach fifos in slice 0 */);
984 fifo_segment_detach_fifo (fifo_segment_t *fs, svm_fifo_t **f)
986 fifo_slice_private_t *pfss;
987 fifo_segment_slice_t *fss;
991 slice_index = of->master_thread_index;
992 fss = fsh_slice_get (fs->h, slice_index);
993 pfss = fs_slice_private_get (fs, slice_index);
994 fss->virtual_mem -= svm_fifo_size (of);
995 if (of->flags & SVM_FIFO_F_LL_TRACKED)
996 pfss_fifo_del_active_list (pfss, of);
998 /* Collect chunks that were provided in return for those detached */
999 fsh_slice_collect_chunks (fs->h, fss, of->chunks_at_attach);
1000 of->chunks_at_attach = 0;
1002 /* Collect hdr that was provided in return for the detached */
1003 fss_fifo_free_list_push (fs->h, fss, of->hdr_at_attach);
1004 of->hdr_at_attach = 0;
1006 clib_mem_bulk_free (pfss->fifos, *f);
1011 fifo_segment_attach_fifo (fifo_segment_t *fs, svm_fifo_t **f, u32 slice_index)
1013 svm_fifo_chunk_t *c, *nc, *pc = 0;
1014 fifo_slice_private_t *pfss;
1015 fifo_segment_slice_t *fss;
1016 svm_fifo_t *nf, *of;
1018 nf = fs_fifo_alloc (fs, slice_index);
1019 clib_memcpy_fast (nf, *f, sizeof (*nf));
1021 fss = fsh_slice_get (fs->h, slice_index);
1022 pfss = fs_slice_private_get (fs, slice_index);
1023 fss->virtual_mem += svm_fifo_size (nf);
1024 nf->next = nf->prev = 0;
1025 if (nf->flags & SVM_FIFO_F_LL_TRACKED)
1026 pfss_fifo_add_active_list (pfss, nf);
1028 /* Allocate shared hdr and chunks to be collected at detach in return
1029 * for those that are being attached now */
1031 of->hdr_at_attach = fsh_try_alloc_fifo_hdr (fs->h, fss);
1033 c = fs_chunk_ptr (fs->h, nf->shr->start_chunk);
1034 of->chunks_at_attach = pc = fsh_try_alloc_chunk (fs->h, fss, c->length);
1036 while ((c = fs_chunk_ptr (fs->h, c->next)))
1038 nc = fsh_try_alloc_chunk (fs->h, fss, c->length);
1039 pc->next = fs_chunk_sptr (fs->h, nc);
1043 nf->shr->slice_index = slice_index;
1048 fifo_segment_fifo_offset (svm_fifo_t *f)
1050 return (u8 *) f->shr - (u8 *) f->fs_hdr;
1054 fifo_segment_alloc_chunk_w_slice (fifo_segment_t *fs, u32 slice_index,
1057 fifo_segment_header_t *fsh = fs->h;
1058 fifo_segment_slice_t *fss;
1060 fss = fsh_slice_get (fsh, slice_index);
1061 return fsh_try_alloc_chunk (fsh, fss, chunk_size);
1065 fifo_segment_collect_chunk (fifo_segment_t *fs, u32 slice_index,
1066 svm_fifo_chunk_t *c)
1068 fsh_collect_chunks (fs->h, slice_index, c);
1072 fifo_segment_chunk_offset (fifo_segment_t *fs, svm_fifo_chunk_t *c)
1074 return (u8 *) c - (u8 *) fs->h;
1078 fifo_segment_msg_q_alloc (fifo_segment_t *fs, u32 mq_index,
1079 svm_msg_q_cfg_t *cfg)
1081 fifo_segment_header_t *fsh = fs->h;
1082 svm_msg_q_shared_t *smq;
1089 u32 n_mqs = clib_max (fs->h->n_mqs, 1);
1090 vec_validate (fs->mqs, n_mqs - 1);
1093 size = svm_msg_q_size_to_alloc (cfg);
1094 base = fsh_alloc_aligned (fsh, size, 8);
1095 fsh->n_reserved_bytes += size;
1097 smq = svm_msg_q_init (base, cfg);
1098 mq = vec_elt_at_index (fs->mqs, mq_index);
1099 svm_msg_q_attach (mq, smq);
1105 fifo_segment_msg_q_attach (fifo_segment_t *fs, uword offset, u32 mq_index)
1111 u32 n_mqs = clib_max (fs->h->n_mqs, 1);
1112 vec_validate (fs->mqs, n_mqs - 1);
1115 mq = vec_elt_at_index (fs->mqs, mq_index);
1119 svm_msg_q_shared_t *smq;
1120 smq = (svm_msg_q_shared_t *) ((u8 *) fs->h + offset);
1121 svm_msg_q_attach (mq, smq);
1124 ASSERT (fifo_segment_msg_q_offset (fs, mq_index) == offset);
1130 fifo_segment_msg_qs_discover (fifo_segment_t *fs, int *fds, u32 n_fds)
1132 svm_msg_q_shared_t *smq;
1134 uword offset = 0, n_alloced;
1137 n_mqs = fs->h->n_mqs;
1138 if (n_fds && n_mqs != n_fds)
1140 clib_warning ("expected %u fds got %u", n_mqs, n_fds);
1144 vec_validate (fs->mqs, n_mqs - 1);
1145 n_alloced = fs->h->n_reserved_bytes - fs->h->start_byte_index;
1146 ASSERT (n_alloced % n_mqs == 0);
1147 size = n_alloced / n_mqs;
1149 offset = fs->h->start_byte_index;
1150 for (i = 0; i < n_mqs; i++)
1152 mq = vec_elt_at_index (fs->mqs, i);
1153 smq = (svm_msg_q_shared_t *) ((u8 *) fs->h + offset);
1154 svm_msg_q_attach (mq, smq);
1156 svm_msg_q_set_eventfd (mq, fds[i]);
1162 fifo_segment_msg_q_offset (fifo_segment_t *fs, u32 mq_index)
1164 svm_msg_q_t *mq = vec_elt_at_index (fs->mqs, mq_index);
1169 return (uword) ((u8 *) mq->q.shr - (u8 *) fs->h) -
1170 sizeof (svm_msg_q_shared_t);
1174 fifo_segment_prealloc_fifo_hdrs (fifo_segment_t * fs, u32 slice_index,
1177 fifo_segment_header_t *fsh = fs->h;
1178 fifo_segment_slice_t *fss;
1180 fss = fsh_slice_get (fsh, slice_index);
1181 return fsh_try_alloc_fifo_hdr_batch (fsh, fss, batch_size);
1185 fifo_segment_prealloc_fifo_chunks (fifo_segment_t * fs, u32 slice_index,
1186 u32 chunk_size, u32 batch_size)
1188 fifo_segment_header_t *fsh = fs->h;
1189 fifo_segment_slice_t *fss;
1192 if (!fs_chunk_size_is_valid (fsh, chunk_size))
1194 clib_warning ("chunk size out of range %d", chunk_size);
1198 fl_index = fs_freelist_for_size (chunk_size);
1199 fss = fsh_slice_get (fsh, slice_index);
1201 return fsh_try_alloc_chunk_batch (fsh, fss, fl_index, batch_size);
1205 * Pre-allocates fifo pairs in fifo segment
1208 fifo_segment_preallocate_fifo_pairs (fifo_segment_t * fs,
1209 u32 rx_fifo_size, u32 tx_fifo_size,
1212 u32 rx_rounded_data_size, tx_rounded_data_size, pair_size, pairs_to_alloc;
1213 u32 hdrs, pairs_per_slice, alloc_now;
1214 fifo_segment_header_t *fsh = fs->h;
1215 int rx_fl_index, tx_fl_index, i;
1216 fifo_segment_slice_t *fss;
1217 uword space_available;
1219 /* Parameter check */
1220 if (rx_fifo_size == 0 || tx_fifo_size == 0 || *n_fifo_pairs == 0)
1223 if (!fs_chunk_size_is_valid (fsh, rx_fifo_size))
1225 clib_warning ("rx fifo_size out of range %d", rx_fifo_size);
1229 if (!fs_chunk_size_is_valid (fsh, tx_fifo_size))
1231 clib_warning ("tx fifo_size out of range %d", tx_fifo_size);
1235 rx_rounded_data_size = (1 << (max_log2 (rx_fifo_size)));
1236 rx_fl_index = fs_freelist_for_size (rx_fifo_size);
1237 tx_rounded_data_size = (1 << (max_log2 (tx_fifo_size)));
1238 tx_fl_index = fs_freelist_for_size (tx_fifo_size);
1240 hdrs = sizeof (svm_fifo_t) + sizeof (svm_fifo_chunk_t);
1242 /* Calculate space requirements */
1243 pair_size = 2 * hdrs + rx_rounded_data_size + tx_rounded_data_size;
1244 space_available = fsh_n_free_bytes (fsh);
1245 pairs_to_alloc = space_available / pair_size;
1246 pairs_to_alloc = clib_min (pairs_to_alloc, *n_fifo_pairs);
1247 pairs_per_slice = pairs_to_alloc / fs->n_slices;
1248 pairs_per_slice += pairs_to_alloc % fs->n_slices ? 1 : 0;
1250 if (!pairs_per_slice)
1253 for (i = 0; i < fs->n_slices; i++)
1255 alloc_now = clib_min (pairs_per_slice, *n_fifo_pairs);
1259 fss = fsh_slice_get (fsh, i);
1260 if (fs_try_alloc_fifo_batch (fsh, fss, rx_fl_index, alloc_now))
1261 clib_warning ("rx prealloc failed: pairs %u", alloc_now);
1262 if (fs_try_alloc_fifo_batch (fsh, fss, tx_fl_index, alloc_now))
1263 clib_warning ("tx prealloc failed: pairs %u", alloc_now);
1265 /* Account for the pairs allocated */
1266 *n_fifo_pairs -= alloc_now;
1271 * Get number of active fifos
1274 fifo_segment_num_fifos (fifo_segment_t * fs)
1276 return fsh_n_active_fifos (fs->h);
1280 fs_slice_num_free_fifos (fifo_segment_header_t *fsh, fifo_segment_slice_t *fss)
1282 svm_fifo_shared_t *f;
1285 f = fs_ptr (fsh, fss->free_fifos);
1291 f = fs_ptr (fsh, f->next);
1298 fifo_segment_num_free_fifos (fifo_segment_t * fs)
1300 fifo_segment_header_t *fsh = fs->h;
1301 fifo_segment_slice_t *fss;
1305 for (slice_index = 0; slice_index < fs->n_slices; slice_index++)
1307 fss = fsh_slice_get (fsh, slice_index);
1308 count += fs_slice_num_free_fifos (fsh, fss);
1314 fs_slice_num_free_chunks (fifo_segment_header_t *fsh,
1315 fifo_segment_slice_t *fss, u32 size)
1317 u32 count = 0, rounded_size, fl_index;
1318 svm_fifo_chunk_t *c;
1321 /* Count all free chunks? */
1324 for (i = 0; i < FS_CHUNK_VEC_LEN; i++)
1326 c = fss_chunk_free_list_head (fsh, fss, i);
1332 c = fs_chunk_ptr (fsh, c->next);
1339 rounded_size = (1 << (max_log2 (size)));
1340 fl_index = fs_freelist_for_size (rounded_size);
1342 if (fl_index >= FS_CHUNK_VEC_LEN)
1345 c = fss_chunk_free_list_head (fsh, fss, fl_index);
1351 c = fs_chunk_ptr (fsh, c->next);
1358 fifo_segment_num_free_chunks (fifo_segment_t * fs, u32 size)
1360 fifo_segment_header_t *fsh = fs->h;
1361 fifo_segment_slice_t *fss;
1365 for (slice_index = 0; slice_index < fs->n_slices; slice_index++)
1367 fss = fsh_slice_get (fsh, slice_index);
1368 count += fs_slice_num_free_chunks (fsh, fss, size);
1374 fifo_segment_size (fifo_segment_t * fs)
1376 return fs->h->max_byte_index - fs->h->n_reserved_bytes;
1380 fsh_has_reached_mem_limit (fifo_segment_header_t * fsh)
1382 return (fsh->flags & FIFO_SEGMENT_F_MEM_LIMIT) ? 1 : 0;
1386 fsh_reset_mem_limit (fifo_segment_header_t * fsh)
1388 fsh->flags &= ~FIFO_SEGMENT_F_MEM_LIMIT;
1392 fifo_segment_alloc (fifo_segment_t *fs, uword size)
1394 void *rv = fsh_alloc (fs->h, size);
1395 /* Mark externally allocated bytes as reserved. This helps
1396 * @ref fifo_segment_size report bytes used only for fifos */
1397 fs->h->n_reserved_bytes += size;
1402 fifo_segment_free_bytes (fifo_segment_t * fs)
1404 return fsh_n_free_bytes (fs->h);
1408 fifo_segment_cached_bytes (fifo_segment_t * fs)
1410 return fsh_n_cached_bytes (fs->h);
1414 fifo_segment_available_bytes (fifo_segment_t * fs)
1416 return fsh_n_free_bytes (fs->h) + fsh_n_cached_bytes (fs->h);
1420 fifo_segment_fl_chunk_bytes (fifo_segment_t * fs)
1422 fifo_segment_header_t *fsh = fs->h;
1423 fifo_segment_slice_t *fss;
1427 for (slice_index = 0; slice_index < fs->n_slices; slice_index++)
1429 fss = fsh_slice_get (fsh, slice_index);
1430 n_bytes += fss_fl_chunk_bytes (fss);
1437 fifo_segment_has_fifos (fifo_segment_t * fs)
1439 return (fsh_n_active_fifos (fs->h) != 0);
1443 fifo_segment_get_slice_fifo_list (fifo_segment_t * fs, u32 slice_index)
1445 fifo_slice_private_t *pfss;
1447 pfss = fs_slice_private_get (fs, slice_index);
1448 return pfss->active_fifos;
1452 fifo_segment_get_mem_usage (fifo_segment_t * fs)
1456 size = fifo_segment_size (fs);
1458 size - fifo_segment_free_bytes (fs) - fifo_segment_cached_bytes (fs);
1459 return (in_use * 100) / size;
1462 fifo_segment_mem_status_t
1463 fifo_segment_determine_status (fifo_segment_header_t * fsh, u8 usage)
1465 if (!fsh->high_watermark || !fsh->low_watermark)
1466 return MEMORY_PRESSURE_NO_PRESSURE;
1468 /* once the no-memory is detected, the status continues
1469 * until memory usage gets below the high watermark
1471 if (fsh_has_reached_mem_limit (fsh))
1473 if (usage >= fsh->high_watermark)
1474 return MEMORY_PRESSURE_NO_MEMORY;
1476 fsh_reset_mem_limit (fsh);
1479 if (usage >= fsh->high_watermark)
1480 return MEMORY_PRESSURE_HIGH_PRESSURE;
1482 else if (usage >= fsh->low_watermark)
1483 return MEMORY_PRESSURE_LOW_PRESSURE;
1485 return MEMORY_PRESSURE_NO_PRESSURE;
1488 fifo_segment_mem_status_t
1489 fifo_segment_get_mem_status (fifo_segment_t * fs)
1491 fifo_segment_header_t *fsh = fs->h;
1492 u8 usage = fifo_segment_get_mem_usage (fs);
1494 return fifo_segment_determine_status (fsh, usage);
1498 format_fifo_segment_type (u8 * s, va_list * args)
1501 sp = va_arg (*args, fifo_segment_t *);
1502 ssvm_segment_type_t st = ssvm_type (&sp->ssvm);
1504 if (st == SSVM_SEGMENT_PRIVATE)
1505 s = format (s, "%s", "private");
1506 else if (st == SSVM_SEGMENT_MEMFD)
1507 s = format (s, "%s", "memfd");
1508 else if (st == SSVM_SEGMENT_SHM)
1509 s = format (s, "%s", "shm");
1511 s = format (s, "%s", "unknown");
1516 * Segment format function
1519 format_fifo_segment (u8 * s, va_list * args)
1521 u32 count, indent, active_fifos, free_fifos;
1522 fifo_segment_t *fs = va_arg (*args, fifo_segment_t *);
1523 int verbose __attribute__ ((unused)) = va_arg (*args, int);
1524 uword est_chunk_bytes, est_free_seg_bytes, free_chunks;
1525 uword chunk_bytes = 0, free_seg_bytes, chunk_size;
1526 uword tracked_cached_bytes;
1527 uword fifo_hdr = 0, reserved;
1528 fifo_segment_header_t *fsh;
1529 fifo_segment_slice_t *fss;
1530 svm_fifo_chunk_t *c;
1535 uword allocated, in_use, virt;
1537 fifo_segment_mem_status_t mem_st;
1539 indent = format_get_indent (s) + 2;
1543 s = format (s, "%-20s%10s%15s%15s%15s%15s", "Name", "Type",
1544 "HeapSize (M)", "ActiveFifos", "FreeFifos", "Address");
1548 fifo_segment_info (fs, &address, &size);
1549 active_fifos = fifo_segment_num_fifos (fs);
1550 free_fifos = fifo_segment_num_free_fifos (fs);
1552 s = format (s, "%-20v%10U%15llu%15u%15u%15llx", ssvm_name (&fs->ssvm),
1553 format_fifo_segment_type, fs, size >> 20ULL, active_fifos,
1554 free_fifos, address);
1561 free_chunks = fifo_segment_num_free_chunks (fs, ~0);
1564 format (s, "\n\n%UFree/Allocated chunks by size:\n", format_white_space,
1567 s = format (s, "\n");
1569 for (slice_index = 0; slice_index < fs->n_slices; slice_index++)
1571 fss = fsh_slice_get (fsh, slice_index);
1572 for (i = 0; i < FS_CHUNK_VEC_LEN; i++)
1574 c = fss_chunk_free_list_head (fsh, fss, i);
1575 if (c == 0 && fss->num_chunks[i] == 0)
1580 c = fs_chunk_ptr (fsh, c->next);
1584 chunk_size = fs_freelist_index_to_size (i);
1585 s = format (s, "%U%-5u kB: %u/%u\n", format_white_space, indent + 2,
1586 chunk_size >> 10, count, fss->num_chunks[i]);
1588 chunk_bytes += count * chunk_size;
1592 fifo_hdr = free_fifos * sizeof (svm_fifo_t);
1593 est_chunk_bytes = fifo_segment_fl_chunk_bytes (fs);
1594 est_free_seg_bytes = fifo_segment_free_bytes (fs);
1595 free_seg_bytes = fifo_segment_free_bytes (fs);
1596 tracked_cached_bytes = fifo_segment_cached_bytes (fs);
1597 allocated = fifo_segment_size (fs);
1598 in_use = fifo_segment_size (fs) - est_free_seg_bytes - tracked_cached_bytes;
1599 usage = (100.0 * in_use) / allocated;
1600 mem_st = fifo_segment_get_mem_status (fs);
1601 virt = fsh_virtual_mem (fsh);
1602 reserved = fsh->n_reserved_bytes;
1604 s = format (s, "\n%Useg free bytes: %U (%lu) estimated: %U (%lu) reserved:"
1605 " %U (%lu)\n", format_white_space, indent + 2,
1606 format_memory_size, free_seg_bytes, free_seg_bytes,
1607 format_memory_size, est_free_seg_bytes, est_free_seg_bytes,
1608 format_memory_size, reserved, reserved);
1609 s = format (s, "%Uchunk free bytes: %U (%lu) estimated: %U (%lu) tracked:"
1610 " %U (%lu)\n", format_white_space, indent + 2,
1611 format_memory_size, chunk_bytes, chunk_bytes,
1612 format_memory_size, est_chunk_bytes, est_chunk_bytes,
1613 format_memory_size, tracked_cached_bytes, tracked_cached_bytes);
1614 s = format (s, "%Ufifo active: %u hdr free: %u bytes: %U (%u) \n",
1615 format_white_space, indent + 2, fsh->n_active_fifos, free_fifos,
1616 format_memory_size, fifo_hdr, fifo_hdr);
1617 s = format (s, "%Usegment usage: %.2f%% (%U / %U) virt: %U status: %s\n",
1618 format_white_space, indent + 2, usage, format_memory_size,
1619 in_use, format_memory_size, allocated, format_memory_size, virt,
1620 fifo_segment_mem_status_strings[mem_st]);
1621 s = format (s, "\n");
1627 * fd.io coding-style-patch-verification: ON
1630 * eval: (c-set-style "gnu")