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 fs_virtual_mem (fifo_segment_t *fs)
110 fifo_segment_header_t *fsh = fs->h;
111 fifo_segment_slice_t *fss;
115 for (i = 0; i < fs->n_slices; i++)
117 fss = fsh_slice_get (fsh, i);
118 total_vm += clib_atomic_load_relax_n (&fss->virtual_mem);
124 fsh_virtual_mem_update (fifo_segment_header_t * fsh, u32 slice_index,
127 fifo_segment_slice_t *fss = fsh_slice_get (fsh, slice_index);
128 fss->virtual_mem += n_bytes;
132 fss_chunk_fl_index_is_valid (fifo_segment_slice_t *fss, u32 fl_index)
134 return (fl_index < FS_CHUNK_VEC_LEN);
137 #define FS_CL_HEAD_MASK 0xFFFFFFFFFFFF
138 #define FS_CL_HEAD_TMASK 0xFFFF000000000000
139 #define FS_CL_HEAD_TINC (1ULL << 48)
141 static svm_fifo_chunk_t *
142 fss_chunk_free_list_head (fifo_segment_header_t *fsh,
143 fifo_segment_slice_t *fss, u32 fl_index)
145 fs_sptr_t headsp = clib_atomic_load_relax_n (&fss->free_chunks[fl_index]);
146 return fs_chunk_ptr (fsh, headsp & FS_CL_HEAD_MASK);
150 fss_chunk_free_list_push (fifo_segment_header_t *fsh,
151 fifo_segment_slice_t *fss, u32 fl_index,
154 fs_sptr_t old_head, new_head, csp;
156 csp = fs_chunk_sptr (fsh, c);
157 ASSERT (csp <= FS_CL_HEAD_MASK);
158 old_head = clib_atomic_load_acq_n (&fss->free_chunks[fl_index]);
162 c->next = old_head & FS_CL_HEAD_MASK;
163 new_head = csp + ((old_head + FS_CL_HEAD_TINC) & FS_CL_HEAD_TMASK);
165 while (!__atomic_compare_exchange (&fss->free_chunks[fl_index], &old_head,
166 &new_head, 0 /* weak */, __ATOMIC_RELEASE,
171 fss_chunk_free_list_push_list (fifo_segment_header_t *fsh,
172 fifo_segment_slice_t *fss, u32 fl_index,
173 svm_fifo_chunk_t *head, svm_fifo_chunk_t *tail)
175 fs_sptr_t old_head, new_head, headsp;
177 headsp = fs_chunk_sptr (fsh, head);
178 ASSERT (headsp <= FS_CL_HEAD_MASK);
179 old_head = clib_atomic_load_acq_n (&fss->free_chunks[fl_index]);
183 tail->next = old_head & FS_CL_HEAD_MASK;
184 new_head = headsp + ((old_head + FS_CL_HEAD_TINC) & FS_CL_HEAD_TMASK);
186 while (!__atomic_compare_exchange (&fss->free_chunks[fl_index], &old_head,
187 &new_head, 0 /* weak */, __ATOMIC_RELEASE,
191 static svm_fifo_chunk_t *
192 fss_chunk_free_list_pop (fifo_segment_header_t *fsh, fifo_segment_slice_t *fss,
195 fs_sptr_t old_head, new_head;
198 ASSERT (fss_chunk_fl_index_is_valid (fss, fl_index));
200 old_head = clib_atomic_load_acq_n (&fss->free_chunks[fl_index]);
202 /* Lock-free stacks are affected by ABA if a side allocates a chunk and
203 * shortly thereafter frees it. To circumvent that, reuse the upper bits
204 * of the head of the list shared pointer, i.e., offset to where the chunk
205 * is, as a tag. The tag is incremented with each push/pop operation and
206 * therefore collisions can only happen if an element is popped and pushed
207 * exactly after a complete wrap of the tag (16 bits). It's unlikely either
208 * of the sides will be descheduled for that long */
211 if (!(old_head & FS_CL_HEAD_MASK))
213 c = fs_chunk_ptr (fsh, old_head & FS_CL_HEAD_MASK);
214 new_head = c->next + ((old_head + FS_CL_HEAD_TINC) & FS_CL_HEAD_TMASK);
216 while (!__atomic_compare_exchange (&fss->free_chunks[fl_index], &old_head,
217 &new_head, 0 /* weak */, __ATOMIC_RELEASE,
224 fss_fifo_free_list_push (fifo_segment_header_t *fsh, fifo_segment_slice_t *fss,
225 svm_fifo_shared_t *sf)
227 sf->next = fss->free_fifos;
228 fss->free_fifos = fs_sptr (fsh, sf);
232 fss_fifo_free_list_push_list (fifo_segment_header_t *fsh,
233 fifo_segment_slice_t *fss,
234 svm_fifo_shared_t *head, svm_fifo_shared_t *tail)
236 tail->next = fss->free_fifos;
237 fss->free_fifos = fs_sptr (fsh, head);
241 fss_fifo_free_list_pop (fifo_segment_header_t *fsh, fifo_segment_slice_t *fss)
243 svm_fifo_shared_t *sf;
244 sf = fs_ptr (fsh, fss->free_fifos);
245 fss->free_fifos = sf->next;
250 pfss_fifo_add_active_list (fifo_slice_private_t *pfss, svm_fifo_t *f)
252 if (pfss->active_fifos)
254 pfss->active_fifos->prev = f;
255 f->next = pfss->active_fifos;
257 pfss->active_fifos = f;
261 pfss_fifo_del_active_list (fifo_slice_private_t *pfss, svm_fifo_t *f)
263 if (f->flags & SVM_FIFO_F_LL_TRACKED)
266 f->prev->next = f->next;
268 pfss->active_fifos = f->next;
270 f->next->prev = f->prev;
275 fss_fl_chunk_bytes (fifo_segment_slice_t * fss)
277 return clib_atomic_load_relax_n (&fss->n_fl_chunk_bytes);
281 fss_fl_chunk_bytes_add (fifo_segment_slice_t * fss, uword size)
283 clib_atomic_fetch_add_relax (&fss->n_fl_chunk_bytes, size);
287 fss_fl_chunk_bytes_sub (fifo_segment_slice_t * fss, uword size)
289 clib_atomic_fetch_sub_relax (&fss->n_fl_chunk_bytes, size);
293 * Initialize fifo segment shared header
296 fifo_segment_init (fifo_segment_t * fs)
298 u32 align = 8, offset = FIFO_SEGMENT_ALLOC_OVERHEAD, slices_sz, i;
299 uword max_fifo, seg_start, seg_sz;
300 fifo_segment_header_t *fsh;
301 ssvm_shared_header_t *sh;
304 /* TODO remove ssvm heap entirely */
307 seg_data = (u8 *) sh + offset;
308 seg_sz = sh->ssvm_size - offset;
310 fs->n_slices = clib_max (fs->n_slices, 1);
311 slices_sz = sizeof (fifo_segment_slice_t) * fs->n_slices;
313 seg_start = round_pow2_u64 (pointer_to_uword (seg_data), align);
314 fsh = uword_to_pointer (seg_start, void *);
315 clib_mem_unpoison (fsh, seg_sz);
316 memset (fsh, 0, sizeof (*fsh) + slices_sz);
318 fsh->byte_index = sizeof (*fsh) + slices_sz;
319 fsh->max_byte_index = seg_sz;
320 fsh->n_slices = fs->n_slices;
321 max_fifo = clib_min ((seg_sz - slices_sz) / 2, FIFO_SEGMENT_MAX_FIFO_SIZE);
322 fsh->max_log2_fifo_size = min_log2 (max_fifo);
323 fsh->n_cached_bytes = 0;
324 fsh->n_reserved_bytes = fsh->byte_index;
325 fsh->start_byte_index = fsh->byte_index;
326 ASSERT (fsh->max_byte_index <= sh->ssvm_size - offset);
328 fs->max_byte_index = fsh->max_byte_index;
330 sh->opaque[0] = (void *) ((u8 *) fsh - (u8 *) fs->ssvm.sh);
332 /* Allow random offsets */
333 fs->ssvm.sh->ssvm_va = 0;
335 vec_validate (fs->slices, fs->n_slices - 1);
336 for (i = 0; i < fs->n_slices; i++)
337 fs->slices[i].fifos =
338 clib_mem_bulk_init (sizeof (svm_fifo_t), CLIB_CACHE_LINE_BYTES, 32);
345 * Create a fifo segment and initialize as master
348 fifo_segment_create (fifo_segment_main_t * sm, fifo_segment_create_args_t * a)
354 /* Allocate a fresh segment */
355 pool_get_zero (sm->segments, fs);
357 baseva = a->segment_type == SSVM_SEGMENT_PRIVATE ? ~0ULL : sm->next_baseva;
358 fs->ssvm.ssvm_size = a->segment_size;
359 fs->ssvm.is_server = 1;
360 fs->ssvm.my_pid = getpid ();
361 fs->ssvm.name = format (0, "%s%c", a->segment_name, 0);
362 fs->ssvm.requested_va = baseva;
364 if ((rv = ssvm_server_init (&fs->ssvm, a->segment_type)))
366 pool_put (sm->segments, fs);
370 /* Note: requested_va updated due to seg base addr randomization */
371 sm->next_baseva = fs->ssvm.sh->ssvm_va + fs->ssvm.ssvm_size;
373 fifo_segment_init (fs);
374 vec_add1 (a->new_segment_indices, fs - sm->segments);
379 * Attach as slave to a fifo segment
382 fifo_segment_attach (fifo_segment_main_t * sm, fifo_segment_create_args_t * a)
384 fifo_segment_header_t *fsh;
388 pool_get_zero (sm->segments, fs);
390 fs->fs_index = fs - sm->segments;
392 fs->ssvm.ssvm_size = a->segment_size;
393 fs->ssvm.my_pid = getpid ();
394 fs->ssvm.name = format (0, "%s%c", a->segment_name, 0);
395 fs->ssvm.requested_va = 0;
396 if (a->segment_type == SSVM_SEGMENT_MEMFD)
397 fs->ssvm.fd = a->memfd_fd;
399 fs->ssvm.attach_timeout = sm->timeout_in_seconds;
401 if ((rv = ssvm_client_init (&fs->ssvm, a->segment_type)))
403 pool_put (sm->segments, fs);
407 /* Probably a segment without fifos */
408 if (!fs->ssvm.sh->opaque[0])
411 fsh = fs->h = (void *) fs->ssvm.sh + (uword) fs->ssvm.sh->opaque[0];
412 fs->max_byte_index = fsh->max_byte_index;
413 vec_validate (fs->slices, 0);
414 fs->slices[0].fifos =
415 clib_mem_bulk_init (sizeof (svm_fifo_t), CLIB_CACHE_LINE_BYTES, 32);
418 vec_add1 (a->new_segment_indices, fs - sm->segments);
423 fifo_segment_delete (fifo_segment_main_t * sm, fifo_segment_t * s)
425 fifo_segment_cleanup (s);
426 ssvm_delete (&s->ssvm);
427 clib_memset (s, 0xfe, sizeof (*s));
428 pool_put (sm->segments, s);
432 fifo_segment_index (fifo_segment_main_t * sm, fifo_segment_t * s)
434 return s - sm->segments;
438 fifo_segment_get_segment (fifo_segment_main_t * sm, u32 segment_index)
440 return pool_elt_at_index (sm->segments, segment_index);
444 fifo_segment_get_segment_if_valid (fifo_segment_main_t *sm, u32 segment_index)
446 if (pool_is_free_index (sm->segments, segment_index))
448 return pool_elt_at_index (sm->segments, segment_index);
452 fifo_segment_info (fifo_segment_t * seg, char **address, size_t * size)
454 *address = (char *) seg->ssvm.sh->ssvm_va;
455 *size = seg->ssvm.ssvm_size;
459 fifo_segment_main_init (fifo_segment_main_t * sm, u64 baseva,
460 u32 timeout_in_seconds)
462 sm->next_baseva = baseva;
463 sm->timeout_in_seconds = timeout_in_seconds;
467 fs_freelist_for_size (u32 size)
469 if (PREDICT_FALSE (size < FIFO_SEGMENT_MIN_FIFO_SIZE))
471 return clib_min (max_log2 (size) - FIFO_SEGMENT_MIN_LOG2_FIFO_SIZE,
472 FS_CHUNK_VEC_LEN - 1);
476 fs_freelist_index_to_size (u32 fl_index)
478 return 1 << (fl_index + FIFO_SEGMENT_MIN_LOG2_FIFO_SIZE);
482 fs_chunk_size_is_valid (fifo_segment_header_t * fsh, u32 size)
485 * 4K minimum. It's not likely that anything good will happen
486 * with a smaller FIFO.
488 return size >= FIFO_SEGMENT_MIN_FIFO_SIZE &&
489 size <= (1ULL << fsh->max_log2_fifo_size);
493 fs_try_alloc_multi_chunk (fifo_segment_header_t * fsh,
494 fifo_segment_slice_t * fss, u32 data_bytes)
496 u32 fl_index, fl_size, n_alloc = 0, req_bytes = data_bytes;
497 svm_fifo_chunk_t *c, *first = 0, *next;
499 fl_index = fs_freelist_for_size (req_bytes);
503 fl_size = fs_freelist_index_to_size (fl_index);
507 c = fss_chunk_free_list_pop (fsh, fss, fl_index);
510 c->next = fs_chunk_sptr (fsh, first);
513 req_bytes -= clib_min (fl_size, req_bytes);
517 /* Failed to allocate with smaller chunks */
520 /* Free all chunks if any allocated */
524 fl_index = fs_freelist_for_size (c->length);
525 next = fs_chunk_ptr (fsh, c->next);
526 fss_chunk_free_list_push (fsh, fss, fl_index, c);
531 /* As last attempt, try allocating a chunk larger than
532 * the requested size, if possible */
533 fl_index = fs_freelist_for_size (data_bytes) + 1;
534 if (!fss_chunk_fl_index_is_valid (fss, fl_index))
536 first = fss_chunk_free_list_pop (fsh, fss, fl_index);
540 n_alloc = fs_freelist_index_to_size (fl_index);
546 fl_size = fl_size >> 1;
551 fss_fl_chunk_bytes_sub (fss, n_alloc);
552 fsh_cached_bytes_sub (fsh, n_alloc);
557 fsh_try_alloc_fifo_hdr_batch (fifo_segment_header_t * fsh,
558 fifo_segment_slice_t * fss, u32 batch_size)
560 svm_fifo_shared_t *f, *head = 0, *tail;
565 ASSERT (batch_size != 0);
567 size = (uword) sizeof (*f) * batch_size;
569 fmem = fsh_alloc_aligned (fsh, size, CLIB_CACHE_LINE_BYTES);
573 /* Carve fifo hdr space */
574 tail = f = (svm_fifo_shared_t *) fmem;
575 for (i = 0; i < batch_size; i++)
577 clib_memset (f, 0, sizeof (*f));
578 f->next = fs_sptr (fsh, head);
581 f = (svm_fifo_shared_t *) fmem;
584 fss_fifo_free_list_push_list (fsh, fss, head, tail);
590 fsh_try_alloc_chunk_batch (fifo_segment_header_t * fsh,
591 fifo_segment_slice_t * fss,
592 u32 fl_index, u32 batch_size)
594 svm_fifo_chunk_t *c, *head = 0, *tail;
595 uword size, total_chunk_bytes;
596 u32 rounded_data_size;
600 ASSERT (batch_size != 0);
602 rounded_data_size = fs_freelist_index_to_size (fl_index);
603 total_chunk_bytes = (uword) batch_size *rounded_data_size;
604 size = (uword) (sizeof (*c) + rounded_data_size) * batch_size;
606 cmem = fsh_alloc_aligned (fsh, size, 8 /* chunk hdr is 24B */);
610 /* Carve fifo + chunk space */
611 tail = c = (svm_fifo_chunk_t *) cmem;
612 for (i = 0; i < batch_size; i++)
615 c->length = rounded_data_size;
616 c->next = fs_chunk_sptr (fsh, head);
618 cmem += sizeof (*c) + rounded_data_size;
619 c = (svm_fifo_chunk_t *) cmem;
622 fss_chunk_free_list_push_list (fsh, fss, fl_index, head, tail);
623 fss->num_chunks[fl_index] += batch_size;
624 fss_fl_chunk_bytes_add (fss, total_chunk_bytes);
625 fsh_cached_bytes_add (fsh, total_chunk_bytes);
631 fs_try_alloc_fifo_batch (fifo_segment_header_t * fsh,
632 fifo_segment_slice_t * fss,
633 u32 fl_index, u32 batch_size)
635 if (fsh_try_alloc_fifo_hdr_batch (fsh, fss, batch_size))
637 return fsh_try_alloc_chunk_batch (fsh, fss, fl_index, batch_size);
640 static svm_fifo_shared_t *
641 fsh_try_alloc_fifo_hdr (fifo_segment_header_t *fsh, fifo_segment_slice_t *fss)
643 svm_fifo_shared_t *sf;
645 if (!fss->free_fifos)
647 if (fsh_try_alloc_fifo_hdr_batch (fsh, fss,
648 FIFO_SEGMENT_ALLOC_BATCH_SIZE))
652 sf = fss_fifo_free_list_pop (fsh, fss);
653 clib_memset (sf, 0, sizeof (*sf));
658 static svm_fifo_chunk_t *
659 fsh_try_alloc_chunk (fifo_segment_header_t * fsh,
660 fifo_segment_slice_t * fss, u32 data_bytes)
665 fl_index = fs_freelist_for_size (data_bytes);
668 c = fss_chunk_free_list_pop (fsh, fss, fl_index);
672 fss_fl_chunk_bytes_sub (fss, fs_freelist_index_to_size (fl_index));
673 fsh_cached_bytes_sub (fsh, fs_freelist_index_to_size (fl_index));
677 u32 chunk_size, batch = FIFO_SEGMENT_ALLOC_BATCH_SIZE;
680 chunk_size = fs_freelist_index_to_size (fl_index);
681 n_free = fsh_n_free_bytes (fsh);
683 if (chunk_size <= n_free)
685 batch = chunk_size * batch <= n_free ? batch : 1;
686 if (!fsh_try_alloc_chunk_batch (fsh, fss, fl_index, batch))
689 /* Failed to allocate larger chunk, try to allocate multi-chunk
690 * that is close to what was actually requested */
691 if (data_bytes <= fss_fl_chunk_bytes (fss))
693 c = fs_try_alloc_multi_chunk (fsh, fss, data_bytes);
696 batch = n_free / FIFO_SEGMENT_MIN_FIFO_SIZE;
697 if (!batch || fsh_try_alloc_chunk_batch (fsh, fss, 0, batch))
700 if (data_bytes <= fss_fl_chunk_bytes (fss) + n_free)
702 u32 min_size = FIFO_SEGMENT_MIN_FIFO_SIZE;
703 if (n_free < min_size)
705 batch = (data_bytes - fss_fl_chunk_bytes (fss)) / min_size;
706 batch = clib_min (batch + 1, n_free / min_size);
707 if (fsh_try_alloc_chunk_batch (fsh, fss, 0, batch))
709 c = fs_try_alloc_multi_chunk (fsh, fss, data_bytes);
719 * Try to allocate new fifo
721 * Tries the following steps in order:
722 * - grab fifo and chunk from freelists
723 * - batch fifo and chunk allocation
724 * - single fifo allocation
725 * - grab multiple fifo chunks from freelists
727 static svm_fifo_shared_t *
728 fs_try_alloc_fifo (fifo_segment_header_t *fsh, u32 slice_index, u32 data_bytes)
730 fifo_segment_slice_t *fss;
731 u32 fl_index, min_size;
733 svm_fifo_shared_t *sf = 0;
735 fss = fsh_slice_get (fsh, slice_index);
736 min_size = clib_max ((fsh->pct_first_alloc * data_bytes) / 100, 4096);
737 fl_index = fs_freelist_for_size (min_size);
739 if (!fss_chunk_fl_index_is_valid (fss, fl_index))
742 sf = fsh_try_alloc_fifo_hdr (fsh, fss);
746 c = fsh_try_alloc_chunk (fsh, fss, min_size);
749 fss_fifo_free_list_push (fsh, fss, sf);
753 sf->start_chunk = fs_chunk_sptr (fsh, c);
755 c = fs_chunk_ptr (fsh, c->next);
756 sf->end_chunk = fs_chunk_sptr (fsh, c);
757 sf->size = data_bytes;
758 sf->slice_index = slice_index;
764 fsh_alloc_chunk (fifo_segment_header_t * fsh, u32 slice_index, u32 chunk_size)
766 fifo_segment_slice_t *fss;
769 fss = fsh_slice_get (fsh, slice_index);
770 c = fsh_try_alloc_chunk (fsh, fss, chunk_size);
776 fsh_slice_collect_chunks (fifo_segment_header_t * fsh,
777 fifo_segment_slice_t * fss, svm_fifo_chunk_t * c)
779 u32 n_collect = 0, fl_index;
780 svm_fifo_chunk_t *next;
784 clib_mem_unpoison (c, sizeof (*c));
785 next = fs_chunk_ptr (fsh, c->next);
786 fl_index = fs_freelist_for_size (c->length);
787 fss_chunk_free_list_push (fsh, fss, fl_index, c);
788 n_collect += fs_freelist_index_to_size (fl_index);
792 fss_fl_chunk_bytes_add (fss, n_collect);
793 fsh_cached_bytes_add (fsh, n_collect);
797 fsh_collect_chunks (fifo_segment_header_t * fsh, u32 slice_index,
798 svm_fifo_chunk_t * c)
800 fifo_segment_slice_t *fss;
801 fss = fsh_slice_get (fsh, slice_index);
802 fsh_slice_collect_chunks (fsh, fss, c);
806 fs_fifo_alloc (fifo_segment_t *fs, u32 slice_index)
808 fifo_slice_private_t *pfss = &fs->slices[slice_index];
811 f = clib_mem_bulk_alloc (pfss->fifos);
812 clib_memset (f, 0, sizeof (*f));
817 fs_fifo_free (fifo_segment_t *fs, svm_fifo_t *f, u32 slice_index)
819 fifo_slice_private_t *pfss;
822 clib_memset (f, 0xfc, sizeof (*f));
824 pfss = &fs->slices[slice_index];
825 clib_mem_bulk_free (pfss->fifos, f);
829 fifo_segment_cleanup (fifo_segment_t *fs)
834 for (slice_index = 0; slice_index < fs->n_slices; slice_index++)
835 clib_mem_bulk_destroy (fs->slices[slice_index].fifos);
837 vec_free (fs->slices);
839 vec_foreach (fs->mqs, mq)
840 svm_msg_q_cleanup (mq);
846 * Allocate fifo in fifo segment
849 fifo_segment_alloc_fifo_w_slice (fifo_segment_t * fs, u32 slice_index,
850 u32 data_bytes, fifo_segment_ftype_t ftype)
852 fifo_segment_header_t *fsh = fs->h;
853 fifo_slice_private_t *pfss;
854 fifo_segment_slice_t *fss;
855 svm_fifo_shared_t *sf;
858 ASSERT (slice_index < fs->n_slices);
860 if (PREDICT_FALSE (data_bytes > 1 << fsh->max_log2_fifo_size))
863 sf = fs_try_alloc_fifo (fsh, slice_index, data_bytes);
867 f = fs_fifo_alloc (fs, slice_index);
871 svm_fifo_init (f, data_bytes);
873 f->segment_manager = fs->sm_index;
874 f->segment_index = fs->fs_index;
876 fss = fsh_slice_get (fsh, slice_index);
877 pfss = fs_slice_private_get (fs, slice_index);
879 /* If rx fifo type add to active fifos list. When cleaning up segment,
880 * we need a list of active sessions that should be disconnected. Since
881 * both rx and tx fifos keep pointers to the session, it's enough to track
883 if (ftype == FIFO_SEGMENT_RX_FIFO)
885 pfss_fifo_add_active_list (pfss, f);
886 f->flags |= SVM_FIFO_F_LL_TRACKED;
889 fsh_active_fifos_update (fsh, 1);
890 fss->virtual_mem += svm_fifo_size (f);
897 fifo_segment_alloc_fifo_w_offset (fifo_segment_t *fs, uword offset)
899 svm_fifo_t *f = fs_fifo_alloc (fs, 0);
900 svm_fifo_shared_t *sf;
902 sf = (svm_fifo_shared_t *) ((u8 *) fs->h + offset);
906 f->ooos_list_head = OOO_SEGMENT_INVALID_INDEX;
907 f->segment_index = SVM_FIFO_INVALID_INDEX;
913 fifo_segment_duplicate_fifo (fifo_segment_t *fs, svm_fifo_t *f)
915 svm_fifo_t *nf = fs_fifo_alloc (fs, 0);
916 clib_memcpy (nf, f, sizeof (*f));
921 * Free fifo allocated in fifo segment
924 fifo_segment_free_fifo (fifo_segment_t * fs, svm_fifo_t * f)
926 fifo_segment_header_t *fsh = fs->h;
927 fifo_slice_private_t *pfss;
928 fifo_segment_slice_t *fss;
929 svm_fifo_shared_t *sf;
931 ASSERT (f->refcnt > 0);
937 * Cleanup shared state
941 fss = fsh_slice_get (fsh, sf->slice_index);
942 pfss = fs_slice_private_get (fs, sf->slice_index);
944 /* Free fifo chunks */
945 fsh_slice_collect_chunks (fsh, fss, fs_chunk_ptr (fsh, f->shr->start_chunk));
947 sf->start_chunk = sf->end_chunk = 0;
948 sf->head_chunk = sf->tail_chunk = 0;
950 /* Add to free list */
951 fss_fifo_free_list_push (fsh, fss, sf);
953 fss->virtual_mem -= svm_fifo_size (f);
956 * Cleanup private state
959 /* Remove from active list. Only rx fifos are tracked */
960 if (f->flags & SVM_FIFO_F_LL_TRACKED)
962 pfss_fifo_del_active_list (pfss, f);
963 f->flags &= ~SVM_FIFO_F_LL_TRACKED;
966 svm_fifo_free_chunk_lookup (f);
967 svm_fifo_free_ooo_data (f);
971 sf->master_session_index = ~0;
972 f->master_thread_index = ~0;
975 f->ooo_enq = f->ooo_deq = 0;
978 fs_fifo_free (fs, f, f->shr->slice_index);
980 fsh_active_fifos_update (fsh, -1);
984 fifo_segment_free_client_fifo (fifo_segment_t *fs, svm_fifo_t *f)
986 fs_fifo_free (fs, f, 0 /* clients attach fifos in slice 0 */);
990 fifo_segment_detach_fifo (fifo_segment_t *fs, svm_fifo_t **f)
992 fifo_slice_private_t *pfss;
993 fifo_segment_slice_t *fss;
997 slice_index = of->master_thread_index;
998 fss = fsh_slice_get (fs->h, slice_index);
999 pfss = fs_slice_private_get (fs, slice_index);
1000 fss->virtual_mem -= svm_fifo_size (of);
1001 if (of->flags & SVM_FIFO_F_LL_TRACKED)
1002 pfss_fifo_del_active_list (pfss, of);
1004 /* Collect chunks that were provided in return for those detached */
1005 fsh_slice_collect_chunks (fs->h, fss, of->chunks_at_attach);
1006 of->chunks_at_attach = 0;
1008 /* Collect hdr that was provided in return for the detached */
1009 fss_fifo_free_list_push (fs->h, fss, of->hdr_at_attach);
1010 of->hdr_at_attach = 0;
1012 clib_mem_bulk_free (pfss->fifos, *f);
1017 fifo_segment_attach_fifo (fifo_segment_t *fs, svm_fifo_t **f, u32 slice_index)
1019 svm_fifo_chunk_t *c, *nc, *pc = 0;
1020 fifo_slice_private_t *pfss;
1021 fifo_segment_slice_t *fss;
1022 svm_fifo_t *nf, *of;
1024 nf = fs_fifo_alloc (fs, slice_index);
1025 clib_memcpy_fast (nf, *f, sizeof (*nf));
1027 fss = fsh_slice_get (fs->h, slice_index);
1028 pfss = fs_slice_private_get (fs, slice_index);
1029 fss->virtual_mem += svm_fifo_size (nf);
1030 nf->next = nf->prev = 0;
1031 if (nf->flags & SVM_FIFO_F_LL_TRACKED)
1032 pfss_fifo_add_active_list (pfss, nf);
1034 /* Allocate shared hdr and chunks to be collected at detach in return
1035 * for those that are being attached now */
1037 of->hdr_at_attach = fsh_try_alloc_fifo_hdr (fs->h, fss);
1039 c = fs_chunk_ptr (fs->h, nf->shr->start_chunk);
1040 of->chunks_at_attach = pc = fsh_try_alloc_chunk (fs->h, fss, c->length);
1042 while ((c = fs_chunk_ptr (fs->h, c->next)))
1044 nc = fsh_try_alloc_chunk (fs->h, fss, c->length);
1045 pc->next = fs_chunk_sptr (fs->h, nc);
1049 nf->shr->slice_index = slice_index;
1054 fifo_segment_fifo_offset (svm_fifo_t *f)
1056 return (u8 *) f->shr - (u8 *) f->fs_hdr;
1060 fifo_segment_alloc_chunk_w_slice (fifo_segment_t *fs, u32 slice_index,
1063 fifo_segment_header_t *fsh = fs->h;
1064 fifo_segment_slice_t *fss;
1066 fss = fsh_slice_get (fsh, slice_index);
1067 return fsh_try_alloc_chunk (fsh, fss, chunk_size);
1071 fifo_segment_collect_chunk (fifo_segment_t *fs, u32 slice_index,
1072 svm_fifo_chunk_t *c)
1074 fsh_collect_chunks (fs->h, slice_index, c);
1078 fifo_segment_chunk_offset (fifo_segment_t *fs, svm_fifo_chunk_t *c)
1080 return (u8 *) c - (u8 *) fs->h;
1084 fifo_segment_msg_q_alloc (fifo_segment_t *fs, u32 mq_index,
1085 svm_msg_q_cfg_t *cfg)
1087 fifo_segment_header_t *fsh = fs->h;
1088 svm_msg_q_shared_t *smq;
1095 u32 n_mqs = clib_max (fs->h->n_mqs, 1);
1096 vec_validate (fs->mqs, n_mqs - 1);
1099 size = svm_msg_q_size_to_alloc (cfg);
1100 base = fsh_alloc_aligned (fsh, size, 8);
1104 fsh->n_reserved_bytes += size;
1106 smq = svm_msg_q_init (base, cfg);
1107 mq = vec_elt_at_index (fs->mqs, mq_index);
1108 svm_msg_q_attach (mq, smq);
1114 fifo_segment_msg_q_attach (fifo_segment_t *fs, uword offset, u32 mq_index)
1120 u32 n_mqs = clib_max (fs->h->n_mqs, 1);
1121 vec_validate (fs->mqs, n_mqs - 1);
1124 mq = vec_elt_at_index (fs->mqs, mq_index);
1128 svm_msg_q_shared_t *smq;
1129 smq = (svm_msg_q_shared_t *) ((u8 *) fs->h + offset);
1130 svm_msg_q_attach (mq, smq);
1133 ASSERT (fifo_segment_msg_q_offset (fs, mq_index) == offset);
1139 fifo_segment_msg_qs_discover (fifo_segment_t *fs, int *fds, u32 n_fds)
1141 svm_msg_q_shared_t *smq;
1143 uword offset = 0, n_alloced;
1146 n_mqs = fs->h->n_mqs;
1147 if (n_fds && n_mqs != n_fds)
1149 clib_warning ("expected %u fds got %u", n_mqs, n_fds);
1153 vec_validate (fs->mqs, n_mqs - 1);
1154 n_alloced = fs->h->n_reserved_bytes - fs->h->start_byte_index;
1155 ASSERT (n_alloced % n_mqs == 0);
1156 size = n_alloced / n_mqs;
1158 offset = fs->h->start_byte_index;
1159 for (i = 0; i < n_mqs; i++)
1161 mq = vec_elt_at_index (fs->mqs, i);
1162 smq = (svm_msg_q_shared_t *) ((u8 *) fs->h + offset);
1163 svm_msg_q_attach (mq, smq);
1165 svm_msg_q_set_eventfd (mq, fds[i]);
1171 fifo_segment_msg_q_offset (fifo_segment_t *fs, u32 mq_index)
1173 svm_msg_q_t *mq = vec_elt_at_index (fs->mqs, mq_index);
1178 return (uword) ((u8 *) mq->q.shr - (u8 *) fs->h) -
1179 sizeof (svm_msg_q_shared_t);
1183 fifo_segment_prealloc_fifo_hdrs (fifo_segment_t * fs, u32 slice_index,
1186 fifo_segment_header_t *fsh = fs->h;
1187 fifo_segment_slice_t *fss;
1189 fss = fsh_slice_get (fsh, slice_index);
1190 return fsh_try_alloc_fifo_hdr_batch (fsh, fss, batch_size);
1194 fifo_segment_prealloc_fifo_chunks (fifo_segment_t * fs, u32 slice_index,
1195 u32 chunk_size, u32 batch_size)
1197 fifo_segment_header_t *fsh = fs->h;
1198 fifo_segment_slice_t *fss;
1201 if (!fs_chunk_size_is_valid (fsh, chunk_size))
1203 clib_warning ("chunk size out of range %d", chunk_size);
1207 fl_index = fs_freelist_for_size (chunk_size);
1208 fss = fsh_slice_get (fsh, slice_index);
1210 return fsh_try_alloc_chunk_batch (fsh, fss, fl_index, batch_size);
1214 * Pre-allocates fifo pairs in fifo segment
1217 fifo_segment_preallocate_fifo_pairs (fifo_segment_t * fs,
1218 u32 rx_fifo_size, u32 tx_fifo_size,
1221 u32 rx_rounded_data_size, tx_rounded_data_size, pair_size, pairs_to_alloc;
1222 u32 hdrs, pairs_per_slice, alloc_now;
1223 fifo_segment_header_t *fsh = fs->h;
1224 int rx_fl_index, tx_fl_index, i;
1225 fifo_segment_slice_t *fss;
1226 uword space_available;
1228 /* Parameter check */
1229 if (rx_fifo_size == 0 || tx_fifo_size == 0 || *n_fifo_pairs == 0)
1232 if (!fs_chunk_size_is_valid (fsh, rx_fifo_size))
1234 clib_warning ("rx fifo_size out of range %d", rx_fifo_size);
1238 if (!fs_chunk_size_is_valid (fsh, tx_fifo_size))
1240 clib_warning ("tx fifo_size out of range %d", tx_fifo_size);
1244 rx_rounded_data_size = (1 << (max_log2 (rx_fifo_size)));
1245 rx_fl_index = fs_freelist_for_size (rx_fifo_size);
1246 tx_rounded_data_size = (1 << (max_log2 (tx_fifo_size)));
1247 tx_fl_index = fs_freelist_for_size (tx_fifo_size);
1249 hdrs = sizeof (svm_fifo_t) + sizeof (svm_fifo_chunk_t);
1251 /* Calculate space requirements */
1252 pair_size = 2 * hdrs + rx_rounded_data_size + tx_rounded_data_size;
1253 space_available = fsh_n_free_bytes (fsh);
1254 pairs_to_alloc = space_available / pair_size;
1255 pairs_to_alloc = clib_min (pairs_to_alloc, *n_fifo_pairs);
1256 pairs_per_slice = pairs_to_alloc / fs->n_slices;
1257 pairs_per_slice += pairs_to_alloc % fs->n_slices ? 1 : 0;
1259 if (!pairs_per_slice)
1262 for (i = 0; i < fs->n_slices; i++)
1264 alloc_now = clib_min (pairs_per_slice, *n_fifo_pairs);
1268 fss = fsh_slice_get (fsh, i);
1269 if (fs_try_alloc_fifo_batch (fsh, fss, rx_fl_index, alloc_now))
1270 clib_warning ("rx prealloc failed: pairs %u", alloc_now);
1271 if (fs_try_alloc_fifo_batch (fsh, fss, tx_fl_index, alloc_now))
1272 clib_warning ("tx prealloc failed: pairs %u", alloc_now);
1274 /* Account for the pairs allocated */
1275 *n_fifo_pairs -= alloc_now;
1280 * Get number of active fifos
1283 fifo_segment_num_fifos (fifo_segment_t * fs)
1285 return fsh_n_active_fifos (fs->h);
1289 fs_slice_num_free_fifos (fifo_segment_header_t *fsh, fifo_segment_slice_t *fss)
1291 svm_fifo_shared_t *f;
1294 f = fs_ptr (fsh, fss->free_fifos);
1300 f = fs_ptr (fsh, f->next);
1307 fifo_segment_num_free_fifos (fifo_segment_t * fs)
1309 fifo_segment_header_t *fsh = fs->h;
1310 fifo_segment_slice_t *fss;
1314 for (slice_index = 0; slice_index < fs->n_slices; slice_index++)
1316 fss = fsh_slice_get (fsh, slice_index);
1317 count += fs_slice_num_free_fifos (fsh, fss);
1323 fs_slice_num_free_chunks (fifo_segment_header_t *fsh,
1324 fifo_segment_slice_t *fss, u32 size)
1326 u32 count = 0, rounded_size, fl_index;
1327 svm_fifo_chunk_t *c;
1330 /* Count all free chunks? */
1333 for (i = 0; i < FS_CHUNK_VEC_LEN; i++)
1335 c = fss_chunk_free_list_head (fsh, fss, i);
1341 c = fs_chunk_ptr (fsh, c->next);
1348 rounded_size = (1 << (max_log2 (size)));
1349 fl_index = fs_freelist_for_size (rounded_size);
1351 if (fl_index >= FS_CHUNK_VEC_LEN)
1354 c = fss_chunk_free_list_head (fsh, fss, fl_index);
1360 c = fs_chunk_ptr (fsh, c->next);
1367 fifo_segment_num_free_chunks (fifo_segment_t * fs, u32 size)
1369 fifo_segment_header_t *fsh = fs->h;
1370 fifo_segment_slice_t *fss;
1374 for (slice_index = 0; slice_index < fs->n_slices; slice_index++)
1376 fss = fsh_slice_get (fsh, slice_index);
1377 count += fs_slice_num_free_chunks (fsh, fss, size);
1383 fifo_segment_size (fifo_segment_t * fs)
1385 return fs->h->max_byte_index - fs->h->n_reserved_bytes;
1389 fs_has_reached_mem_limit (fifo_segment_t *fs)
1391 return (fs->flags & FIFO_SEGMENT_F_MEM_LIMIT) ? 1 : 0;
1395 fs_reset_mem_limit (fifo_segment_t *fs)
1397 fs->flags &= ~FIFO_SEGMENT_F_MEM_LIMIT;
1401 fifo_segment_alloc (fifo_segment_t *fs, uword size)
1403 void *rv = fsh_alloc (fs->h, size);
1404 /* Mark externally allocated bytes as reserved. This helps
1405 * @ref fifo_segment_size report bytes used only for fifos */
1406 fs->h->n_reserved_bytes += size;
1411 fifo_segment_free_bytes (fifo_segment_t * fs)
1413 return fsh_n_free_bytes (fs->h);
1417 fifo_segment_cached_bytes (fifo_segment_t * fs)
1419 return fsh_n_cached_bytes (fs->h);
1423 fifo_segment_available_bytes (fifo_segment_t * fs)
1425 return fsh_n_free_bytes (fs->h) + fsh_n_cached_bytes (fs->h);
1429 fifo_segment_fl_chunk_bytes (fifo_segment_t * fs)
1431 fifo_segment_header_t *fsh = fs->h;
1432 fifo_segment_slice_t *fss;
1436 for (slice_index = 0; slice_index < fs->n_slices; slice_index++)
1438 fss = fsh_slice_get (fsh, slice_index);
1439 n_bytes += fss_fl_chunk_bytes (fss);
1446 fifo_segment_has_fifos (fifo_segment_t * fs)
1448 return (fsh_n_active_fifos (fs->h) != 0);
1452 fifo_segment_get_slice_fifo_list (fifo_segment_t * fs, u32 slice_index)
1454 fifo_slice_private_t *pfss;
1456 pfss = fs_slice_private_get (fs, slice_index);
1457 return pfss->active_fifos;
1461 fifo_segment_get_mem_usage (fifo_segment_t * fs)
1465 size = fifo_segment_size (fs);
1467 size - fifo_segment_free_bytes (fs) - fifo_segment_cached_bytes (fs);
1468 return (in_use * 100) / size;
1471 fifo_segment_mem_status_t
1472 fifo_segment_determine_status (fifo_segment_t *fs, u8 usage)
1474 if (!fs->high_watermark || !fs->low_watermark)
1475 return MEMORY_PRESSURE_NO_PRESSURE;
1477 /* once the no-memory is detected, the status continues
1478 * until memory usage gets below the high watermark
1480 if (fs_has_reached_mem_limit (fs))
1482 if (usage >= fs->high_watermark)
1483 return MEMORY_PRESSURE_NO_MEMORY;
1485 fs_reset_mem_limit (fs);
1488 if (usage >= fs->high_watermark)
1489 return MEMORY_PRESSURE_HIGH_PRESSURE;
1491 else if (usage >= fs->low_watermark)
1492 return MEMORY_PRESSURE_LOW_PRESSURE;
1494 return MEMORY_PRESSURE_NO_PRESSURE;
1497 fifo_segment_mem_status_t
1498 fifo_segment_get_mem_status (fifo_segment_t * fs)
1500 u8 usage = fifo_segment_get_mem_usage (fs);
1502 return fifo_segment_determine_status (fs, usage);
1506 format_fifo_segment_type (u8 * s, va_list * args)
1509 sp = va_arg (*args, fifo_segment_t *);
1510 ssvm_segment_type_t st = ssvm_type (&sp->ssvm);
1512 if (st == SSVM_SEGMENT_PRIVATE)
1513 s = format (s, "%s", "private");
1514 else if (st == SSVM_SEGMENT_MEMFD)
1515 s = format (s, "%s", "memfd");
1516 else if (st == SSVM_SEGMENT_SHM)
1517 s = format (s, "%s", "shm");
1519 s = format (s, "%s", "unknown");
1524 * Segment format function
1527 format_fifo_segment (u8 * s, va_list * args)
1529 u32 count, indent, active_fifos, free_fifos;
1530 fifo_segment_t *fs = va_arg (*args, fifo_segment_t *);
1531 int verbose __attribute__ ((unused)) = va_arg (*args, int);
1532 uword est_chunk_bytes, est_free_seg_bytes, free_chunks;
1533 uword chunk_bytes = 0, free_seg_bytes, chunk_size;
1534 uword tracked_cached_bytes;
1535 uword fifo_hdr = 0, reserved;
1536 fifo_segment_header_t *fsh;
1537 fifo_segment_slice_t *fss;
1538 svm_fifo_chunk_t *c;
1543 uword allocated, in_use, virt;
1545 fifo_segment_mem_status_t mem_st;
1547 indent = format_get_indent (s);
1549 fifo_segment_info (fs, &address, &size);
1550 active_fifos = fifo_segment_num_fifos (fs);
1551 free_fifos = fifo_segment_num_free_fifos (fs);
1553 s = format (s, "%U%v type: %U size: %U active fifos: %u", format_white_space,
1554 2, ssvm_name (&fs->ssvm), format_fifo_segment_type, fs,
1555 format_memory_size, size, active_fifos);
1562 free_chunks = fifo_segment_num_free_chunks (fs, ~0);
1564 s = format (s, "\n\n%UFree/Allocated chunks by size:\n",
1565 format_white_space, indent + 2);
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 = fs_virtual_mem (fs);
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")