2 * Copyright (c) 2016-2019 Cisco and/or its affiliates.
3 * Copyright (c) 2019 Arm Limited
4 * Copyright (c) 2010-2017 Intel Corporation and/or its affiliates.
5 * Copyright (c) 2007-2009 Kip Macy kmacy@freebsd.org
6 * Inspired from DPDK rte_ring.h (SPSC only) (derived from freebsd bufring.h).
7 * Licensed under the Apache License, Version 2.0 (the "License");
8 * you may not use this file except in compliance with the License.
9 * You may obtain a copy of the License at:
11 * http://www.apache.org/licenses/LICENSE-2.0
13 * Unless required by applicable law or agreed to in writing, software
14 * distributed under the License is distributed on an "AS IS" BASIS,
15 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16 * See the License for the specific language governing permissions and
17 * limitations under the License.
20 #include <svm/svm_fifo.h>
21 #include <vppinfra/cpu.h>
23 CLIB_MARCH_FN (svm_fifo_copy_to_chunk, void, svm_fifo_t * f,
24 svm_fifo_chunk_t * c, u32 tail_idx, const u8 * src, u32 len,
25 svm_fifo_chunk_t ** last)
29 ASSERT (tail_idx >= c->start_byte && tail_idx < c->start_byte + c->length);
31 tail_idx -= c->start_byte;
32 n_chunk = c->length - tail_idx;
36 clib_memcpy_fast (&c->data[tail_idx], src, n_chunk);
38 while ((to_copy -= n_chunk))
40 n_chunk = clib_min (c->length, to_copy);
41 clib_memcpy_fast (&c->data[0], src + (len - to_copy), n_chunk);
42 c = c->length <= to_copy ? c->next : c;
49 clib_memcpy_fast (&c->data[tail_idx], src, len);
53 CLIB_MARCH_FN (svm_fifo_copy_from_chunk, void, svm_fifo_t * f,
54 svm_fifo_chunk_t * c, u32 head_idx, u8 * dst, u32 len,
55 svm_fifo_chunk_t ** last)
59 ASSERT (head_idx >= c->start_byte && head_idx < c->start_byte + c->length);
61 head_idx -= c->start_byte;
62 n_chunk = c->length - head_idx;
66 clib_memcpy_fast (dst, &c->data[head_idx], n_chunk);
68 while ((to_copy -= n_chunk))
70 n_chunk = clib_min (c->length, to_copy);
71 clib_memcpy_fast (dst + (len - to_copy), &c->data[0], n_chunk);
72 c = c->length <= to_copy ? c->next : c;
79 clib_memcpy_fast (dst, &c->data[head_idx], len);
83 #ifndef CLIB_MARCH_VARIANT
86 svm_fifo_copy_to_chunk (svm_fifo_t * f, svm_fifo_chunk_t * c, u32 tail_idx,
87 const u8 * src, u32 len, svm_fifo_chunk_t ** last)
89 CLIB_MARCH_FN_SELECT (svm_fifo_copy_to_chunk) (f, c, tail_idx, src, len,
94 svm_fifo_copy_from_chunk (svm_fifo_t * f, svm_fifo_chunk_t * c, u32 head_idx,
95 u8 * dst, u32 len, svm_fifo_chunk_t ** last)
97 CLIB_MARCH_FN_SELECT (svm_fifo_copy_from_chunk) (f, c, head_idx, dst, len,
102 position_lt (svm_fifo_t * f, u32 a, u32 b, u32 tail)
104 return (f_distance_to (f, a, tail) < f_distance_to (f, b, tail));
108 position_leq (svm_fifo_t * f, u32 a, u32 b, u32 tail)
110 return (f_distance_to (f, a, tail) <= f_distance_to (f, b, tail));
114 position_gt (svm_fifo_t * f, u32 a, u32 b, u32 tail)
116 return (f_distance_to (f, a, tail) > f_distance_to (f, b, tail));
120 position_diff (svm_fifo_t * f, u32 a, u32 b, u32 tail)
122 return f_distance_to (f, a, tail) - f_distance_to (f, b, tail);
126 ooo_segment_end_pos (svm_fifo_t * f, ooo_segment_t * s)
128 return (s->start + s->length) % f->size;
132 svm_fifo_free_ooo_data (svm_fifo_t * f)
134 pool_free (f->ooo_segments);
137 static inline ooo_segment_t *
138 ooo_segment_prev (svm_fifo_t * f, ooo_segment_t * s)
140 if (s->prev == OOO_SEGMENT_INVALID_INDEX)
142 return pool_elt_at_index (f->ooo_segments, s->prev);
145 static inline ooo_segment_t *
146 ooo_segment_next (svm_fifo_t * f, ooo_segment_t * s)
148 if (s->next == OOO_SEGMENT_INVALID_INDEX)
150 return pool_elt_at_index (f->ooo_segments, s->next);
153 static inline ooo_segment_t *
154 ooo_segment_alloc (svm_fifo_t * f, u32 start, u32 length)
158 pool_get (f->ooo_segments, s);
162 s->prev = s->next = OOO_SEGMENT_INVALID_INDEX;
168 ooo_segment_free (svm_fifo_t * f, u32 index)
170 ooo_segment_t *cur, *prev = 0, *next = 0;
171 cur = pool_elt_at_index (f->ooo_segments, index);
173 if (cur->next != OOO_SEGMENT_INVALID_INDEX)
175 next = pool_elt_at_index (f->ooo_segments, cur->next);
176 next->prev = cur->prev;
179 if (cur->prev != OOO_SEGMENT_INVALID_INDEX)
181 prev = pool_elt_at_index (f->ooo_segments, cur->prev);
182 prev->next = cur->next;
186 f->ooos_list_head = cur->next;
189 pool_put (f->ooo_segments, cur);
193 * Add segment to fifo's out-of-order segment list. Takes care of merging
194 * adjacent segments and removing overlapping ones.
197 ooo_segment_add (svm_fifo_t * f, u32 offset, u32 head, u32 tail, u32 length)
199 ooo_segment_t *s, *new_s, *prev, *next, *it;
200 u32 new_index, s_end_pos, s_index;
201 u32 offset_pos, offset_end_pos;
203 ASSERT (offset + length <= f_distance_to (f, head, tail) || head == tail);
205 offset_pos = (tail + offset) % f->size;
206 offset_end_pos = (tail + offset + length) % f->size;
208 f->ooos_newest = OOO_SEGMENT_INVALID_INDEX;
210 if (f->ooos_list_head == OOO_SEGMENT_INVALID_INDEX)
212 s = ooo_segment_alloc (f, offset_pos, length);
213 f->ooos_list_head = s - f->ooo_segments;
214 f->ooos_newest = f->ooos_list_head;
218 /* Find first segment that starts after new segment */
219 s = pool_elt_at_index (f->ooo_segments, f->ooos_list_head);
220 while (s->next != OOO_SEGMENT_INVALID_INDEX
221 && position_lt (f, s->start, offset_pos, tail))
222 s = pool_elt_at_index (f->ooo_segments, s->next);
224 /* If we have a previous and we overlap it, use it as starting point */
225 prev = ooo_segment_prev (f, s);
227 && position_leq (f, offset_pos, ooo_segment_end_pos (f, prev), tail))
230 s_end_pos = ooo_segment_end_pos (f, s);
232 /* Since we have previous, offset start position cannot be smaller
233 * than prev->start. Check tail */
234 ASSERT (position_lt (f, s->start, offset_pos, tail));
238 s_index = s - f->ooo_segments;
239 s_end_pos = ooo_segment_end_pos (f, s);
241 /* No overlap, add before current segment */
242 if (position_lt (f, offset_end_pos, s->start, tail))
244 new_s = ooo_segment_alloc (f, offset_pos, length);
245 new_index = new_s - f->ooo_segments;
247 /* Pool might've moved, get segment again */
248 s = pool_elt_at_index (f->ooo_segments, s_index);
249 if (s->prev != OOO_SEGMENT_INVALID_INDEX)
251 new_s->prev = s->prev;
252 prev = pool_elt_at_index (f->ooo_segments, new_s->prev);
253 prev->next = new_index;
258 f->ooos_list_head = new_index;
261 new_s->next = s_index;
263 f->ooos_newest = new_index;
266 /* No overlap, add after current segment */
267 else if (position_gt (f, offset_pos, s_end_pos, tail))
269 new_s = ooo_segment_alloc (f, offset_pos, length);
270 new_index = new_s - f->ooo_segments;
272 /* Pool might've moved, get segment again */
273 s = pool_elt_at_index (f->ooo_segments, s_index);
275 /* Needs to be last */
276 ASSERT (s->next == OOO_SEGMENT_INVALID_INDEX);
278 new_s->prev = s_index;
280 f->ooos_newest = new_index;
290 if (position_lt (f, offset_pos, s->start, tail))
292 s->start = offset_pos;
293 s->length = position_diff (f, s_end_pos, s->start, tail);
294 f->ooos_newest = s - f->ooo_segments;
299 /* Overlapping tail */
300 if (position_gt (f, offset_end_pos, s_end_pos, tail))
302 s->length = position_diff (f, offset_end_pos, s->start, tail);
304 /* Remove the completely overlapped segments in the tail */
305 it = ooo_segment_next (f, s);
306 while (it && position_leq (f, ooo_segment_end_pos (f, it),
307 offset_end_pos, tail))
309 next = ooo_segment_next (f, it);
310 ooo_segment_free (f, it - f->ooo_segments);
314 /* If partial overlap with last, merge */
315 if (it && position_leq (f, it->start, offset_end_pos, tail))
317 s->length = position_diff (f, ooo_segment_end_pos (f, it),
319 ooo_segment_free (f, it - f->ooo_segments);
321 f->ooos_newest = s - f->ooo_segments;
326 * Removes segments that can now be enqueued because the fifo's tail has
327 * advanced. Returns the number of bytes added to tail.
330 ooo_segment_try_collect (svm_fifo_t * f, u32 n_bytes_enqueued, u32 * tail)
332 u32 s_index, bytes = 0;
336 s = pool_elt_at_index (f->ooo_segments, f->ooos_list_head);
337 diff = f_distance_from (f, s->start, *tail);
339 ASSERT (diff != n_bytes_enqueued);
341 if (diff > n_bytes_enqueued)
344 /* If last tail update overlaps one/multiple ooo segments, remove them */
345 while (0 <= diff && diff < n_bytes_enqueued)
347 s_index = s - f->ooo_segments;
349 /* Segment end is beyond the tail. Advance tail and remove segment */
350 if (s->length > diff)
352 bytes = s->length - diff;
353 *tail = (*tail + bytes) % f->size;
354 ooo_segment_free (f, s_index);
358 /* If we have next go on */
359 if (s->next != OOO_SEGMENT_INVALID_INDEX)
361 s = pool_elt_at_index (f->ooo_segments, s->next);
362 diff = f_distance_from (f, s->start, *tail);
363 ooo_segment_free (f, s_index);
368 ooo_segment_free (f, s_index);
373 ASSERT (bytes <= f->nitems);
377 static ooo_segment_t *
378 ooo_segment_last (svm_fifo_t * f)
382 if (f->ooos_list_head == OOO_SEGMENT_INVALID_INDEX)
385 s = svm_fifo_first_ooo_segment (f);
386 while (s->next != OOO_SEGMENT_INVALID_INDEX)
387 s = pool_elt_at_index (f->ooo_segments, s->next);
392 svm_fifo_init (svm_fifo_t * f, u32 size)
396 * usable size of the fifo set to rounded_data_size - 1
397 * to differentiate between free fifo and empty fifo.
399 f->nitems = f->size - 1;
400 f->ooos_list_head = OOO_SEGMENT_INVALID_INDEX;
401 f->segment_index = SVM_FIFO_INVALID_INDEX;
404 f->head_chunk = f->tail_chunk = f->ooo_enq = f->ooo_deq = f->start_chunk;
408 * Creates a fifo in the current heap. Fails vs blow up the process
411 svm_fifo_create (u32 data_size_in_bytes)
413 u32 rounded_data_size;
417 f = clib_mem_alloc_aligned_or_null (sizeof (*f), CLIB_CACHE_LINE_BYTES);
421 clib_memset (f, 0, sizeof (*f));
423 /* always round fifo data size to the next highest power-of-two */
424 rounded_data_size = (1 << (max_log2 (data_size_in_bytes)));
425 c = clib_mem_alloc_aligned_or_null (sizeof (*c) + rounded_data_size,
426 CLIB_CACHE_LINE_BYTES);
435 c->length = data_size_in_bytes;
436 f->start_chunk = f->end_chunk = c;
438 svm_fifo_init (f, data_size_in_bytes);
443 * Creates a fifo chunk in the current heap
446 svm_fifo_chunk_alloc (u32 size)
451 /* round chunk size to the next highest power-of-two */
452 rounded_size = (1 << (max_log2 (size)));
453 c = clib_mem_alloc_aligned_or_null (sizeof (*c) + rounded_size,
454 CLIB_CACHE_LINE_BYTES);
458 clib_memset (c, 0, sizeof (*c));
459 c->length = rounded_size;
464 svm_fifo_chunk_includes_pos (svm_fifo_chunk_t * c, u32 pos)
466 return (pos >= c->start_byte && pos < c->start_byte + c->length);
470 * Find chunk for given byte position
473 * @param pos normalized position in fifo
475 * @return chunk that includes given position or 0
477 static svm_fifo_chunk_t *
478 svm_fifo_find_chunk (svm_fifo_t * f, u32 pos)
480 rb_tree_t *rt = &f->chunk_lookup;
481 rb_node_t *cur, *prev;
484 cur = rb_node (rt, rt->root);
485 while (pos != cur->key)
489 cur = rb_node_left (rt, cur);
491 cur = rb_node_right (rt, cur);
493 if (rb_node_is_tnil (rt, cur))
495 /* Hit tnil as a left child. Find predecessor */
498 cur = rb_tree_predecessor (rt, prev);
499 if (rb_node_is_tnil (rt, cur))
501 c = uword_to_pointer (cur->opaque, svm_fifo_chunk_t *);
502 if (svm_fifo_chunk_includes_pos (c, pos))
506 /* Hit tnil as a right child. Check if this is the one */
507 c = uword_to_pointer (prev->opaque, svm_fifo_chunk_t *);
508 if (svm_fifo_chunk_includes_pos (c, pos))
515 if (!rb_node_is_tnil (rt, cur))
516 return uword_to_pointer (cur->opaque, svm_fifo_chunk_t *);
521 svm_fifo_grow (svm_fifo_t * f, svm_fifo_chunk_t * c)
523 svm_fifo_chunk_t *prev;
529 f->end_chunk->next = c;
532 add_bytes += c->length;
537 prev->next = f->start_chunk;
538 f->size += add_bytes;
539 f->nitems = f->size - 1;
544 svm_fifo_try_grow (svm_fifo_t * f, u32 new_head)
546 if (new_head > f->tail)
549 svm_fifo_grow (f, f->new_chunks);
550 f->flags &= ~SVM_FIFO_F_GROW;
554 svm_fifo_add_chunk (svm_fifo_t * f, svm_fifo_chunk_t * c)
556 svm_fifo_chunk_t *cur, *prev;
558 /* Initialize rbtree if needed and add default chunk to it. Expectation is
559 * that this is called with the heap where the rbtree's pool is pushed. */
560 if (!(f->flags & SVM_FIFO_F_MULTI_CHUNK))
562 rb_tree_init (&f->chunk_lookup);
563 rb_tree_add2 (&f->chunk_lookup, 0, pointer_to_uword (f->start_chunk));
564 f->flags |= SVM_FIFO_F_MULTI_CHUNK;
567 /* Initialize chunks and add to lookup rbtree */
571 prev = f->new_chunks;
581 cur->start_byte = prev->start_byte + prev->length;
582 rb_tree_add2 (&f->chunk_lookup, cur->start_byte,
583 pointer_to_uword (cur));
588 /* If fifo is not wrapped, update the size now */
589 if (!svm_fifo_is_wrapped (f))
591 ASSERT (!f->new_chunks);
592 svm_fifo_grow (f, c);
596 /* Postpone size update */
600 f->flags |= SVM_FIFO_F_GROW;
605 * Removes chunks that are after fifo end byte
608 svm_fifo_collect_chunks (svm_fifo_t * f)
610 svm_fifo_chunk_t *list, *cur;
612 f->flags &= ~SVM_FIFO_F_COLLECT_CHUNKS;
614 list = f->new_chunks;
619 rb_tree_del (&f->chunk_lookup, cur->start_byte);
627 svm_fifo_try_shrink (svm_fifo_t * f, u32 head, u32 tail)
629 u32 len_to_shrink = 0, tail_pos, len;
630 svm_fifo_chunk_t *cur, *prev, *next, *start;
633 if (f->ooos_list_head != OOO_SEGMENT_INVALID_INDEX)
635 ooo_segment_t *last = ooo_segment_last (f);
636 tail_pos = ooo_segment_end_pos (f, last);
639 if (f->size_decrement)
641 /* Figure out available free space considering that there may be
643 len = clib_min (f->size_decrement, f_free_count (f, head, tail_pos));
645 f->size_decrement -= len;
648 /* Remove tail chunks if the following hold:
650 * - last used byte less than start of last chunk
652 if (tail_pos >= head && tail_pos <= f->end_chunk->start_byte)
654 /* Lookup the last position not to be removed. Since size still needs
655 * to be nitems + 1, nitems must fall within the usable space */
656 tail_pos = tail_pos > 0 ? tail_pos - 1 : tail_pos;
657 prev = svm_fifo_find_chunk (f, clib_max (f->nitems, tail_pos));
659 while (next != f->start_chunk)
663 len_to_shrink += cur->length;
667 f->size -= len_to_shrink;
669 prev->next = f->start_chunk;
671 cur->next = f->new_chunks;
672 f->new_chunks = start;
676 if (!f->size_decrement && f->size == f->nitems + 1)
678 f->flags &= ~SVM_FIFO_F_SHRINK;
679 f->flags |= SVM_FIFO_F_COLLECT_CHUNKS;
680 if (f->start_chunk == f->start_chunk->next)
681 f->flags &= ~SVM_FIFO_F_MULTI_CHUNK;
686 * Request to reduce fifo size by amount of bytes
689 svm_fifo_reduce_size (svm_fifo_t * f, u32 len, u8 try_shrink)
691 svm_fifo_chunk_t *cur;
694 /* Abort if trying to reduce by more than fifo size or if
695 * fifo is undergoing resizing already */
696 if (len >= f->size || f->size > f->nitems + 1
697 || (f->flags & SVM_FIFO_F_SHRINK) || (f->flags & SVM_FIFO_F_GROW))
700 /* last chunk that will not be removed */
701 cur = svm_fifo_find_chunk (f, f->nitems - len);
703 /* sum length of chunks that will be removed */
705 while (cur != f->start_chunk)
707 actual_len += cur->length;
711 ASSERT (actual_len <= len);
715 f->size_decrement = actual_len;
716 f->flags |= SVM_FIFO_F_SHRINK;
721 f_load_head_tail_prod (f, &head, &tail);
722 svm_fifo_try_shrink (f, head, tail);
729 svm_fifo_free_chunk_lookup (svm_fifo_t * f)
731 rb_tree_free_nodes (&f->chunk_lookup);
735 svm_fifo_free (svm_fifo_t * f)
737 ASSERT (f->refcnt > 0);
739 if (--f->refcnt == 0)
741 /* ooo data is not allocated on segment heap */
742 svm_fifo_free_chunk_lookup (f);
748 svm_fifo_overwrite_head (svm_fifo_t * f, u8 * src, u32 len)
751 u32 head, tail, head_idx;
754 ASSERT (len <= f->nitems);
756 f_load_head_tail_cons (f, &head, &tail);
758 head_idx = head - c->start_byte;
759 n_chunk = c->length - head_idx;
761 clib_memcpy_fast (&c->data[head_idx], src, len);
764 clib_memcpy_fast (&c->data[head_idx], src, n_chunk);
765 clib_memcpy_fast (&c->next->data[0], src + n_chunk, len - n_chunk);
770 svm_fifo_enqueue (svm_fifo_t * f, u32 len, const u8 * src)
772 u32 tail, head, free_count;
774 f_load_head_tail_prod (f, &head, &tail);
776 /* free space in fifo can only increase during enqueue: SPSC */
777 free_count = f_free_count (f, head, tail);
779 f->ooos_newest = OOO_SEGMENT_INVALID_INDEX;
781 if (PREDICT_FALSE (free_count == 0))
782 return SVM_FIFO_EFULL;
784 /* number of bytes we're going to copy */
785 len = clib_min (free_count, len);
786 svm_fifo_copy_to_chunk (f, f->tail_chunk, tail, src, len, &f->tail_chunk);
787 tail = (tail + len) % f->size;
789 svm_fifo_trace_add (f, head, len, 2);
791 /* collect out-of-order segments */
792 if (PREDICT_FALSE (f->ooos_list_head != OOO_SEGMENT_INVALID_INDEX))
793 len += ooo_segment_try_collect (f, len, &tail);
795 /* store-rel: producer owned index (paired with load-acq in consumer) */
796 clib_atomic_store_rel_n (&f->tail, tail);
802 * Enqueue a future segment.
804 * Two choices: either copies the entire segment, or copies nothing
805 * Returns 0 of the entire segment was copied
806 * Returns -1 if none of the segment was copied due to lack of space
809 svm_fifo_enqueue_with_offset (svm_fifo_t * f, u32 offset, u32 len, u8 * src)
811 u32 tail, head, free_count, tail_idx;
813 f_load_head_tail_prod (f, &head, &tail);
815 if (PREDICT_FALSE (f->flags & SVM_FIFO_F_SHRINK))
816 svm_fifo_try_shrink (f, head, tail);
818 /* free space in fifo can only increase during enqueue: SPSC */
819 free_count = f_free_count (f, head, tail);
821 /* will this request fit? */
822 if ((len + offset) > free_count)
823 return SVM_FIFO_EFULL;
825 f->ooos_newest = OOO_SEGMENT_INVALID_INDEX;
826 svm_fifo_trace_add (f, offset, len, 1);
827 ooo_segment_add (f, offset, head, tail, len);
828 tail_idx = (tail + offset) % f->size;
830 if (!svm_fifo_chunk_includes_pos (f->ooo_enq, tail_idx))
831 f->ooo_enq = svm_fifo_find_chunk (f, tail_idx);
833 svm_fifo_copy_to_chunk (f, f->ooo_enq, tail_idx, src, len, &f->ooo_enq);
842 svm_fifo_enqueue_nocopy (svm_fifo_t * f, u32 len)
846 ASSERT (len <= svm_fifo_max_enqueue_prod (f));
847 /* load-relaxed: producer owned index */
849 tail = (tail + len) % f->size;
850 /* store-rel: producer owned index (paired with load-acq in consumer) */
851 clib_atomic_store_rel_n (&f->tail, tail);
855 svm_fifo_dequeue (svm_fifo_t * f, u32 len, u8 * dst)
857 u32 tail, head, cursize;
859 f_load_head_tail_cons (f, &head, &tail);
861 /* current size of fifo can only increase during dequeue: SPSC */
862 cursize = f_cursize (f, head, tail);
864 if (PREDICT_FALSE (cursize == 0))
865 return SVM_FIFO_EEMPTY;
867 len = clib_min (cursize, len);
868 svm_fifo_copy_from_chunk (f, f->head_chunk, head, dst, len, &f->head_chunk);
869 head = (head + len) % f->size;
871 if (PREDICT_FALSE (f->flags & SVM_FIFO_F_GROW))
872 svm_fifo_try_grow (f, head);
874 /* store-rel: consumer owned index (paired with load-acq in producer) */
875 clib_atomic_store_rel_n (&f->head, head);
881 svm_fifo_peek (svm_fifo_t * f, u32 offset, u32 len, u8 * dst)
883 u32 tail, head, cursize, head_idx;
885 f_load_head_tail_cons (f, &head, &tail);
887 /* current size of fifo can only increase during peek: SPSC */
888 cursize = f_cursize (f, head, tail);
890 if (PREDICT_FALSE (cursize < offset))
891 return SVM_FIFO_EEMPTY;
893 len = clib_min (cursize - offset, len);
894 head_idx = (head + offset) % f->size;
895 if (!svm_fifo_chunk_includes_pos (f->ooo_deq, head_idx))
896 f->ooo_deq = svm_fifo_find_chunk (f, head_idx);
898 svm_fifo_copy_from_chunk (f, f->ooo_deq, head_idx, dst, len, &f->ooo_deq);
903 svm_fifo_dequeue_drop (svm_fifo_t * f, u32 len)
905 u32 total_drop_bytes, tail, head, cursize;
907 f_load_head_tail_cons (f, &head, &tail);
909 /* number of bytes available */
910 cursize = f_cursize (f, head, tail);
911 if (PREDICT_FALSE (cursize == 0))
912 return SVM_FIFO_EEMPTY;
914 /* number of bytes we're going to drop */
915 total_drop_bytes = clib_min (cursize, len);
917 svm_fifo_trace_add (f, tail, total_drop_bytes, 3);
920 head = (head + total_drop_bytes) % f->size;
922 /* store-rel: consumer owned index (paired with load-acq in producer) */
923 clib_atomic_store_rel_n (&f->head, head);
925 return total_drop_bytes;
929 svm_fifo_dequeue_drop_all (svm_fifo_t * f)
931 /* consumer foreign index */
932 u32 tail = clib_atomic_load_acq_n (&f->tail);
933 /* store-rel: consumer owned index (paired with load-acq in producer) */
934 clib_atomic_store_rel_n (&f->head, tail);
938 svm_fifo_segments (svm_fifo_t * f, svm_fifo_seg_t * fs)
940 u32 cursize, head, tail, head_idx;
942 f_load_head_tail_cons (f, &head, &tail);
944 /* consumer function, cursize can only increase while we're working */
945 cursize = f_cursize (f, head, tail);
947 if (PREDICT_FALSE (cursize == 0))
948 return SVM_FIFO_EEMPTY;
954 fs[0].len = f->size - head_idx;
955 fs[0].data = f->head_chunk->data + head_idx;
956 fs[1].len = cursize - fs[0].len;
957 fs[1].data = f->head_chunk->data;
962 fs[0].data = f->head_chunk->data + head_idx;
970 svm_fifo_segments_free (svm_fifo_t * f, svm_fifo_seg_t * fs)
974 /* consumer owned index */
977 ASSERT (fs[0].data == f->head_chunk->data + head);
978 head = (head + fs[0].len + fs[1].len) % f->size;
979 /* store-rel: consumer owned index (paired with load-acq in producer) */
980 clib_atomic_store_rel_n (&f->head, head);
987 * - no prod and cons are accessing either dest or src fifo
988 * - fifo is not multi chunk
991 svm_fifo_clone (svm_fifo_t * df, svm_fifo_t * sf)
994 clib_memcpy_fast (df->head_chunk->data, sf->head_chunk->data, sf->size);
996 f_load_head_tail_all_acq (sf, &head, &tail);
997 clib_atomic_store_rel_n (&df->head, head);
998 clib_atomic_store_rel_n (&df->tail, tail);
1002 svm_fifo_n_ooo_segments (svm_fifo_t * f)
1004 return pool_elts (f->ooo_segments);
1008 svm_fifo_first_ooo_segment (svm_fifo_t * f)
1010 return pool_elt_at_index (f->ooo_segments, f->ooos_list_head);
1014 * Set fifo pointers to requested offset
1017 svm_fifo_init_pointers (svm_fifo_t * f, u32 head, u32 tail)
1019 head = head % f->size;
1020 tail = tail % f->size;
1021 clib_atomic_store_rel_n (&f->head, head);
1022 clib_atomic_store_rel_n (&f->tail, tail);
1023 if (f->flags & SVM_FIFO_F_MULTI_CHUNK)
1025 svm_fifo_chunk_t *c;
1026 c = svm_fifo_find_chunk (f, head);
1028 f->head_chunk = f->ooo_deq = c;
1029 c = svm_fifo_find_chunk (f, tail);
1031 f->tail_chunk = f->ooo_enq = c;
1036 svm_fifo_add_subscriber (svm_fifo_t * f, u8 subscriber)
1038 if (f->n_subscribers >= SVM_FIFO_MAX_EVT_SUBSCRIBERS)
1040 f->subscribers[f->n_subscribers++] = subscriber;
1044 svm_fifo_del_subscriber (svm_fifo_t * f, u8 subscriber)
1048 for (i = 0; i < f->n_subscribers; i++)
1050 if (f->subscribers[i] != subscriber)
1052 f->subscribers[i] = f->subscribers[f->n_subscribers - 1];
1059 format_ooo_segment (u8 * s, va_list * args)
1061 svm_fifo_t *f = va_arg (*args, svm_fifo_t *);
1062 ooo_segment_t *seg = va_arg (*args, ooo_segment_t *);
1063 u32 normalized_start = (seg->start + f->nitems - f->tail) % f->size;
1064 s = format (s, "[%u, %u], len %u, next %d, prev %d", normalized_start,
1065 (normalized_start + seg->length) % f->size, seg->length,
1066 seg->next, seg->prev);
1071 svm_fifo_dump_trace (u8 * s, svm_fifo_t * f)
1074 svm_fifo_trace_elem_t *seg = 0;
1079 vec_foreach (seg, f->trace)
1081 s = format (s, "{%u, %u, %u}, ", seg->offset, seg->len, seg->action);
1084 s = format (s, "\n");
1086 s = format (s, "\n");
1095 svm_fifo_replay (u8 * s, svm_fifo_t * f, u8 no_read, u8 verbose)
1099 svm_fifo_trace_elem_t *trace;
1101 svm_fifo_t *dummy_fifo;
1108 trace_len = vec_len (trace);
1114 dummy_fifo = svm_fifo_create (f->size);
1115 clib_memset (f->head_chunk->data, 0xFF, f->nitems);
1116 vec_validate (data, f->nitems);
1117 for (i = 0; i < vec_len (data); i++)
1120 for (i = 0; i < trace_len; i++)
1122 offset = trace[i].offset;
1123 if (trace[i].action == 1)
1126 s = format (s, "adding [%u, %u]:", trace[i].offset,
1127 (trace[i].offset + trace[i].len) % dummy_fifo->size);
1128 svm_fifo_enqueue_with_offset (dummy_fifo, trace[i].offset,
1129 trace[i].len, &data[offset]);
1131 else if (trace[i].action == 2)
1134 s = format (s, "adding [%u, %u]:", 0, trace[i].len);
1135 svm_fifo_enqueue (dummy_fifo, trace[i].len, &data[offset]);
1140 s = format (s, "read: %u", trace[i].len);
1141 svm_fifo_dequeue_drop (dummy_fifo, trace[i].len);
1144 s = format (s, "%U", format_svm_fifo, dummy_fifo, 1);
1147 s = format (s, "result: %U", format_svm_fifo, dummy_fifo, 1);
1153 format_ooo_list (u8 * s, va_list * args)
1155 svm_fifo_t *f = va_arg (*args, svm_fifo_t *);
1156 u32 indent = va_arg (*args, u32);
1157 u32 ooo_segment_index = f->ooos_list_head;
1160 while (ooo_segment_index != OOO_SEGMENT_INVALID_INDEX)
1162 seg = pool_elt_at_index (f->ooo_segments, ooo_segment_index);
1163 s = format (s, "%U%U\n", format_white_space, indent, format_ooo_segment,
1165 ooo_segment_index = seg->next;
1172 format_svm_fifo (u8 * s, va_list * args)
1174 svm_fifo_t *f = va_arg (*args, svm_fifo_t *);
1175 int verbose = va_arg (*args, int);
1181 indent = format_get_indent (s);
1182 s = format (s, "cursize %u nitems %u has_event %d\n",
1183 svm_fifo_max_dequeue (f), f->nitems, f->has_event);
1184 s = format (s, "%Uhead %u tail %u segment manager %u\n", format_white_space,
1185 indent, (f->head % f->size), (f->tail % f->size),
1186 f->segment_manager);
1189 s = format (s, "%Uvpp session %d thread %d app session %d thread %d\n",
1190 format_white_space, indent, f->master_session_index,
1191 f->master_thread_index, f->client_session_index,
1192 f->client_thread_index);
1196 s = format (s, "%Uooo pool %d active elts newest %u\n",
1197 format_white_space, indent, pool_elts (f->ooo_segments),
1199 if (svm_fifo_has_ooo_data (f))
1200 s = format (s, " %U", format_ooo_list, f, indent, verbose);
1207 * fd.io coding-style-patch-verification: ON
1210 * eval: (c-set-style "gnu")