blob: 3512c72d9f16be60ddc57ca1b521d97cc8d65d93 [file] [log] [blame]
Dave Barach68b0fb02017-02-28 15:15:56 -05001/*
Florin Corasc5df8c72019-04-08 07:42:30 -07002 * Copyright (c) 2016-2019 Cisco and/or its affiliates.
Sirshak Das28aa5392019-02-05 01:33:33 -06003 * 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).
Dave Barach68b0fb02017-02-28 15:15:56 -05007 * 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:
10 *
11 * http://www.apache.org/licenses/LICENSE-2.0
12 *
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.
18 */
19
Florin Coras6792ec02017-03-13 03:49:51 -070020#include <svm/svm_fifo.h>
Florin Corasf6359c82017-06-19 12:26:09 -040021#include <vppinfra/cpu.h>
Dave Barach68b0fb02017-02-28 15:15:56 -050022
Florin Coras99ad2fc2019-04-18 21:25:49 -070023CLIB_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,
Florin Coras4375fa32019-04-19 15:56:00 -070025 svm_fifo_chunk_t ** last)
Florin Coras99ad2fc2019-04-18 21:25:49 -070026{
27 u32 n_chunk;
28
29 ASSERT (tail_idx >= c->start_byte && tail_idx < c->start_byte + c->length);
30
31 tail_idx -= c->start_byte;
32 n_chunk = c->length - tail_idx;
Florin Coras4375fa32019-04-19 15:56:00 -070033 if (n_chunk <= len)
Florin Coras99ad2fc2019-04-18 21:25:49 -070034 {
35 u32 to_copy = len;
36 clib_memcpy_fast (&c->data[tail_idx], src, n_chunk);
Florin Coras4375fa32019-04-19 15:56:00 -070037 c = c->next;
Florin Coras99ad2fc2019-04-18 21:25:49 -070038 while ((to_copy -= n_chunk))
39 {
Florin Coras99ad2fc2019-04-18 21:25:49 -070040 n_chunk = clib_min (c->length, to_copy);
41 clib_memcpy_fast (&c->data[0], src + (len - to_copy), n_chunk);
Florin Coras4375fa32019-04-19 15:56:00 -070042 c = c->length <= to_copy ? c->next : c;
Florin Coras99ad2fc2019-04-18 21:25:49 -070043 }
Florin Coras4375fa32019-04-19 15:56:00 -070044 if (*last)
45 *last = c;
Florin Coras99ad2fc2019-04-18 21:25:49 -070046 }
47 else
48 {
49 clib_memcpy_fast (&c->data[tail_idx], src, len);
50 }
51}
52
53CLIB_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,
Florin Coras4375fa32019-04-19 15:56:00 -070055 svm_fifo_chunk_t ** last)
Florin Coras99ad2fc2019-04-18 21:25:49 -070056{
57 u32 n_chunk;
58
Florin Coras4375fa32019-04-19 15:56:00 -070059 ASSERT (head_idx >= c->start_byte && head_idx < c->start_byte + c->length);
60
Florin Coras99ad2fc2019-04-18 21:25:49 -070061 head_idx -= c->start_byte;
62 n_chunk = c->length - head_idx;
Florin Coras4375fa32019-04-19 15:56:00 -070063 if (n_chunk <= len)
Florin Coras99ad2fc2019-04-18 21:25:49 -070064 {
65 u32 to_copy = len;
66 clib_memcpy_fast (dst, &c->data[head_idx], n_chunk);
Florin Coras4375fa32019-04-19 15:56:00 -070067 c = c->next;
Florin Coras99ad2fc2019-04-18 21:25:49 -070068 while ((to_copy -= n_chunk))
69 {
Florin Coras99ad2fc2019-04-18 21:25:49 -070070 n_chunk = clib_min (c->length, to_copy);
71 clib_memcpy_fast (dst + (len - to_copy), &c->data[0], n_chunk);
Florin Coras4375fa32019-04-19 15:56:00 -070072 c = c->length <= to_copy ? c->next : c;
Florin Coras99ad2fc2019-04-18 21:25:49 -070073 }
Florin Coras4375fa32019-04-19 15:56:00 -070074 if (*last)
75 *last = c;
Florin Coras99ad2fc2019-04-18 21:25:49 -070076 }
77 else
78 {
79 clib_memcpy_fast (dst, &c->data[head_idx], len);
80 }
81}
82
83#ifndef CLIB_MARCH_VARIANT
84
85static inline void
86svm_fifo_copy_to_chunk (svm_fifo_t * f, svm_fifo_chunk_t * c, u32 tail_idx,
Florin Coras4375fa32019-04-19 15:56:00 -070087 const u8 * src, u32 len, svm_fifo_chunk_t ** last)
Florin Coras99ad2fc2019-04-18 21:25:49 -070088{
89 CLIB_MARCH_FN_SELECT (svm_fifo_copy_to_chunk) (f, c, tail_idx, src, len,
Florin Coras4375fa32019-04-19 15:56:00 -070090 last);
Florin Coras99ad2fc2019-04-18 21:25:49 -070091}
92
93static inline void
94svm_fifo_copy_from_chunk (svm_fifo_t * f, svm_fifo_chunk_t * c, u32 head_idx,
Florin Coras4375fa32019-04-19 15:56:00 -070095 u8 * dst, u32 len, svm_fifo_chunk_t ** last)
Florin Coras99ad2fc2019-04-18 21:25:49 -070096{
97 CLIB_MARCH_FN_SELECT (svm_fifo_copy_from_chunk) (f, c, head_idx, dst, len,
Florin Coras4375fa32019-04-19 15:56:00 -070098 last);
Florin Coras99ad2fc2019-04-18 21:25:49 -070099}
100
Florin Corasf03a59a2017-06-09 21:07:32 -0700101static inline u8
Sirshak Das28aa5392019-02-05 01:33:33 -0600102position_lt (svm_fifo_t * f, u32 a, u32 b, u32 tail)
Florin Corasf03a59a2017-06-09 21:07:32 -0700103{
Florin Coras87b15ce2019-04-28 21:16:30 -0700104 return (f_distance_to (f, a, tail) < f_distance_to (f, b, tail));
Florin Corasf03a59a2017-06-09 21:07:32 -0700105}
106
107static inline u8
Sirshak Das28aa5392019-02-05 01:33:33 -0600108position_leq (svm_fifo_t * f, u32 a, u32 b, u32 tail)
Florin Corasf03a59a2017-06-09 21:07:32 -0700109{
Florin Coras87b15ce2019-04-28 21:16:30 -0700110 return (f_distance_to (f, a, tail) <= f_distance_to (f, b, tail));
Florin Corasf03a59a2017-06-09 21:07:32 -0700111}
112
113static inline u8
Sirshak Das28aa5392019-02-05 01:33:33 -0600114position_gt (svm_fifo_t * f, u32 a, u32 b, u32 tail)
Florin Corasf03a59a2017-06-09 21:07:32 -0700115{
Florin Coras87b15ce2019-04-28 21:16:30 -0700116 return (f_distance_to (f, a, tail) > f_distance_to (f, b, tail));
Florin Corasf03a59a2017-06-09 21:07:32 -0700117}
118
119static inline u32
Florin Coras87b15ce2019-04-28 21:16:30 -0700120position_diff (svm_fifo_t * f, u32 a, u32 b, u32 tail)
Florin Corasf03a59a2017-06-09 21:07:32 -0700121{
Florin Coras87b15ce2019-04-28 21:16:30 -0700122 return f_distance_to (f, a, tail) - f_distance_to (f, b, tail);
Florin Corasf03a59a2017-06-09 21:07:32 -0700123}
124
125static inline u32
126ooo_segment_end_pos (svm_fifo_t * f, ooo_segment_t * s)
127{
Sirshak Das28aa5392019-02-05 01:33:33 -0600128 return s->start + s->length;
Florin Corasf03a59a2017-06-09 21:07:32 -0700129}
Dave Barach1f75cfd2017-04-14 16:46:44 -0400130
Florin Coras87b15ce2019-04-28 21:16:30 -0700131void
132svm_fifo_free_ooo_data (svm_fifo_t * f)
Dave Barach1f75cfd2017-04-14 16:46:44 -0400133{
Florin Coras87b15ce2019-04-28 21:16:30 -0700134 pool_free (f->ooo_segments);
135}
136
137static inline ooo_segment_t *
138ooo_segment_get_prev (svm_fifo_t * f, ooo_segment_t * s)
139{
140 if (s->prev == OOO_SEGMENT_INVALID_INDEX)
141 return 0;
142 return pool_elt_at_index (f->ooo_segments, s->prev);
143}
144
145static inline ooo_segment_t *
146ooo_segment_next (svm_fifo_t * f, ooo_segment_t * s)
147{
148 if (s->next == OOO_SEGMENT_INVALID_INDEX)
149 return 0;
150 return pool_elt_at_index (f->ooo_segments, s->next);
151}
152
153static inline ooo_segment_t *
154ooo_segment_alloc (svm_fifo_t * f, u32 start, u32 length)
155{
156 ooo_segment_t *s;
157
158 pool_get (f->ooo_segments, s);
159
160 s->start = start;
161 s->length = length;
162 s->prev = s->next = OOO_SEGMENT_INVALID_INDEX;
163
Dave Barach1f75cfd2017-04-14 16:46:44 -0400164 return s;
165}
166
Florin Coras87b15ce2019-04-28 21:16:30 -0700167static inline void
168ooo_segment_free (svm_fifo_t * f, u32 index)
Florin Coras3eb50622017-07-13 01:24:57 -0400169{
Florin Coras87b15ce2019-04-28 21:16:30 -0700170 ooo_segment_t *cur, *prev = 0, *next = 0;
171 cur = pool_elt_at_index (f->ooo_segments, index);
Florin Coras3eb50622017-07-13 01:24:57 -0400172
Florin Coras87b15ce2019-04-28 21:16:30 -0700173 if (cur->next != OOO_SEGMENT_INVALID_INDEX)
Florin Coras3eb50622017-07-13 01:24:57 -0400174 {
Florin Coras87b15ce2019-04-28 21:16:30 -0700175 next = pool_elt_at_index (f->ooo_segments, cur->next);
176 next->prev = cur->prev;
Florin Coras3eb50622017-07-13 01:24:57 -0400177 }
Florin Coras87b15ce2019-04-28 21:16:30 -0700178
179 if (cur->prev != OOO_SEGMENT_INVALID_INDEX)
180 {
181 prev = pool_elt_at_index (f->ooo_segments, cur->prev);
182 prev->next = cur->next;
183 }
184 else
185 {
186 f->ooos_list_head = cur->next;
187 }
188
189 pool_put (f->ooo_segments, cur);
Florin Coras3eb50622017-07-13 01:24:57 -0400190}
191
Florin Coras87b15ce2019-04-28 21:16:30 -0700192/**
193 * Add segment to fifo's out-of-order segment list. Takes care of merging
194 * adjacent segments and removing overlapping ones.
195 */
196static void
197ooo_segment_add (svm_fifo_t * f, u32 offset, u32 head, u32 tail, u32 length)
Florin Coras3eb50622017-07-13 01:24:57 -0400198{
Florin Coras87b15ce2019-04-28 21:16:30 -0700199 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;
Florin Coras3eb50622017-07-13 01:24:57 -0400202
Florin Coras87b15ce2019-04-28 21:16:30 -0700203 ASSERT (offset + length <= f_distance_to (f, head, tail) || head == tail);
Florin Coras3eb50622017-07-13 01:24:57 -0400204
Florin Coras87b15ce2019-04-28 21:16:30 -0700205 offset_pos = tail + offset;
206 offset_end_pos = tail + offset + length;
Florin Coras3eb50622017-07-13 01:24:57 -0400207
Florin Coras87b15ce2019-04-28 21:16:30 -0700208 f->ooos_newest = OOO_SEGMENT_INVALID_INDEX;
Florin Coras3eb50622017-07-13 01:24:57 -0400209
Florin Coras87b15ce2019-04-28 21:16:30 -0700210 if (f->ooos_list_head == OOO_SEGMENT_INVALID_INDEX)
Florin Coras3eb50622017-07-13 01:24:57 -0400211 {
Florin Coras87b15ce2019-04-28 21:16:30 -0700212 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;
215 return;
216 }
217
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);
223
224 /* If we have a previous and we overlap it, use it as starting point */
225 prev = ooo_segment_get_prev (f, s);
226 if (prev
227 && position_leq (f, offset_pos, ooo_segment_end_pos (f, prev), tail))
228 {
229 s = prev;
230 s_end_pos = ooo_segment_end_pos (f, s);
231
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));
235 goto check_tail;
236 }
237
238 s_index = s - f->ooo_segments;
239 s_end_pos = ooo_segment_end_pos (f, s);
240
241 /* No overlap, add before current segment */
242 if (position_lt (f, offset_end_pos, s->start, tail))
243 {
244 new_s = ooo_segment_alloc (f, offset_pos, length);
245 new_index = new_s - f->ooo_segments;
246
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)
Florin Coras3eb50622017-07-13 01:24:57 -0400250 {
Florin Coras87b15ce2019-04-28 21:16:30 -0700251 new_s->prev = s->prev;
252 prev = pool_elt_at_index (f->ooo_segments, new_s->prev);
253 prev->next = new_index;
Florin Coras3eb50622017-07-13 01:24:57 -0400254 }
Florin Coras87b15ce2019-04-28 21:16:30 -0700255 else
Florin Coras3eb50622017-07-13 01:24:57 -0400256 {
Florin Coras87b15ce2019-04-28 21:16:30 -0700257 /* New head */
258 f->ooos_list_head = new_index;
Florin Coras3eb50622017-07-13 01:24:57 -0400259 }
Florin Coras87b15ce2019-04-28 21:16:30 -0700260
261 new_s->next = s_index;
262 s->prev = new_index;
263 f->ooos_newest = new_index;
264 return;
265 }
266 /* No overlap, add after current segment */
267 else if (position_gt (f, offset_pos, s_end_pos, tail))
268 {
269 new_s = ooo_segment_alloc (f, offset_pos, length);
270 new_index = new_s - f->ooo_segments;
271
272 /* Pool might've moved, get segment again */
273 s = pool_elt_at_index (f->ooo_segments, s_index);
274
275 /* Needs to be last */
276 ASSERT (s->next == OOO_SEGMENT_INVALID_INDEX);
277
278 new_s->prev = s_index;
279 s->next = new_index;
280 f->ooos_newest = new_index;
281
282 return;
Florin Coras3eb50622017-07-13 01:24:57 -0400283 }
284
Florin Coras87b15ce2019-04-28 21:16:30 -0700285 /*
286 * Merge needed
287 */
Florin Coras3eb50622017-07-13 01:24:57 -0400288
Florin Coras87b15ce2019-04-28 21:16:30 -0700289 /* Merge at head */
290 if (position_lt (f, offset_pos, s->start, tail))
291 {
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;
295 }
296
297check_tail:
298
299 /* Overlapping tail */
300 if (position_gt (f, offset_end_pos, s_end_pos, tail))
301 {
302 s->length = position_diff (f, offset_end_pos, s->start, tail);
303
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))
308 {
309 next = ooo_segment_next (f, it);
310 ooo_segment_free (f, it - f->ooo_segments);
311 it = next;
312 }
313
314 /* If partial overlap with last, merge */
315 if (it && position_leq (f, it->start, offset_end_pos, tail))
316 {
317 s->length = position_diff (f, ooo_segment_end_pos (f, it),
318 s->start, tail);
319 ooo_segment_free (f, it - f->ooo_segments);
320 }
321 f->ooos_newest = s - f->ooo_segments;
322 }
Florin Coras3eb50622017-07-13 01:24:57 -0400323}
324
Florin Coras87b15ce2019-04-28 21:16:30 -0700325/**
326 * Removes segments that can now be enqueued because the fifo's tail has
327 * advanced. Returns the number of bytes added to tail.
328 */
329static int
330ooo_segment_try_collect (svm_fifo_t * f, u32 n_bytes_enqueued, u32 * tail)
Dave Barach1f75cfd2017-04-14 16:46:44 -0400331{
Florin Coras87b15ce2019-04-28 21:16:30 -0700332 u32 s_index, bytes = 0;
333 ooo_segment_t *s;
334 i32 diff;
Dave Barach1f75cfd2017-04-14 16:46:44 -0400335
Florin Coras87b15ce2019-04-28 21:16:30 -0700336 s = pool_elt_at_index (f->ooo_segments, f->ooos_list_head);
337 diff = f_distance_from (f, s->start, *tail);
338
339 ASSERT (diff != n_bytes_enqueued);
340
341 if (diff > n_bytes_enqueued)
342 return 0;
343
344 /* If last tail update overlaps one/multiple ooo segments, remove them */
345 while (0 <= diff && diff < n_bytes_enqueued)
Dave Barach1f75cfd2017-04-14 16:46:44 -0400346 {
Florin Coras87b15ce2019-04-28 21:16:30 -0700347 s_index = s - f->ooo_segments;
348
349 /* Segment end is beyond the tail. Advance tail and remove segment */
350 if (s->length > diff)
351 {
352 bytes = s->length - diff;
353 *tail = *tail + bytes;
354 ooo_segment_free (f, s_index);
355 break;
356 }
357
358 /* If we have next go on */
359 if (s->next != OOO_SEGMENT_INVALID_INDEX)
360 {
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);
364 }
365 /* End of search */
366 else
367 {
368 ooo_segment_free (f, s_index);
369 break;
370 }
Dave Barach1f75cfd2017-04-14 16:46:44 -0400371 }
Florin Coras3eb50622017-07-13 01:24:57 -0400372
Florin Coras87b15ce2019-04-28 21:16:30 -0700373 ASSERT (bytes <= f->nitems);
374 return bytes;
Florin Corasb59a7052017-04-18 22:07:29 -0700375}
376
Florin Coras0a846802019-04-09 18:29:14 -0700377void
378svm_fifo_init (svm_fifo_t * f, u32 size)
379{
380 f->size = size;
381 /*
382 * usable size of the fifo set to rounded_data_size - 1
383 * to differentiate between free fifo and empty fifo.
384 */
385 f->nitems = f->size - 1;
386 f->ooos_list_head = OOO_SEGMENT_INVALID_INDEX;
Florin Coras0a846802019-04-09 18:29:14 -0700387 f->segment_index = SVM_FIFO_INVALID_INDEX;
388 f->refcnt = 1;
Florin Coras0a846802019-04-09 18:29:14 -0700389 f->default_chunk.start_byte = 0;
390 f->default_chunk.length = f->size;
Florin Coras4375fa32019-04-19 15:56:00 -0700391 f->default_chunk.next = f->start_chunk = f->end_chunk = &f->default_chunk;
392 f->head_chunk = f->tail_chunk = f->ooo_enq = f->ooo_deq = f->start_chunk;
Florin Coras0a846802019-04-09 18:29:14 -0700393}
394
Florin Corasb095a3c2019-04-25 12:58:46 -0700395/**
396 * Creates a fifo in the current heap. Fails vs blow up the process
397 */
Dave Barach68b0fb02017-02-28 15:15:56 -0500398svm_fifo_t *
399svm_fifo_create (u32 data_size_in_bytes)
400{
401 svm_fifo_t *f;
Dave Barach818eb542017-08-02 13:56:13 -0400402 u32 rounded_data_size;
Dave Barach68b0fb02017-02-28 15:15:56 -0500403
Dave Barach818eb542017-08-02 13:56:13 -0400404 /* always round fifo data size to the next highest power-of-two */
405 rounded_data_size = (1 << (max_log2 (data_size_in_bytes)));
406 f = clib_mem_alloc_aligned_or_null (sizeof (*f) + rounded_data_size,
Dave Barach68b0fb02017-02-28 15:15:56 -0500407 CLIB_CACHE_LINE_BYTES);
408 if (f == 0)
409 return 0;
410
Dave Barachb7b92992018-10-17 10:38:51 -0400411 clib_memset (f, 0, sizeof (*f));
Florin Coras0a846802019-04-09 18:29:14 -0700412 svm_fifo_init (f, data_size_in_bytes);
413 return f;
Dave Barach68b0fb02017-02-28 15:15:56 -0500414}
415
Florin Corasb095a3c2019-04-25 12:58:46 -0700416/**
417 * Creates a fifo chunk in the current heap
418 */
419svm_fifo_chunk_t *
420svm_fifo_chunk_alloc (u32 size)
421{
422 svm_fifo_chunk_t *c;
423 u32 rounded_size;
424
425 /* round chunk size to the next highest power-of-two */
426 rounded_size = (1 << (max_log2 (size)));
427 c = clib_mem_alloc_aligned_or_null (sizeof (*c) + rounded_size,
428 CLIB_CACHE_LINE_BYTES);
429 if (c == 0)
430 return 0;
431
432 clib_memset (c, 0, sizeof (*c));
433 c->length = rounded_size;
434 return c;
435}
436
Florin Coras99ad2fc2019-04-18 21:25:49 -0700437static inline void
438svm_fifo_size_update (svm_fifo_t * f, svm_fifo_chunk_t * c)
439{
440 svm_fifo_chunk_t *prev;
441 u32 add_bytes = 0;
442
Florin Coras4375fa32019-04-19 15:56:00 -0700443 if (!c)
444 return;
445
446 f->end_chunk->next = c;
Florin Coras99ad2fc2019-04-18 21:25:49 -0700447 while (c)
448 {
Florin Coras99ad2fc2019-04-18 21:25:49 -0700449 add_bytes += c->length;
Florin Coras99ad2fc2019-04-18 21:25:49 -0700450 prev = c;
451 c = c->next;
452 }
453 f->end_chunk = prev;
454 prev->next = f->start_chunk;
455 f->size += add_bytes;
456 f->nitems = f->size - 1;
457 f->new_chunks = 0;
458}
459
460static void
461svm_fifo_try_size_update (svm_fifo_t * f, u32 new_head)
462{
463 if (new_head % f->size > f->tail % f->size)
464 return;
465
466 svm_fifo_size_update (f, f->new_chunks);
467 f->flags &= ~SVM_FIFO_F_SIZE_UPDATE;
468}
469
470void
471svm_fifo_add_chunk (svm_fifo_t * f, svm_fifo_chunk_t * c)
472{
Florin Coras4375fa32019-04-19 15:56:00 -0700473 svm_fifo_chunk_t *cur, *prev;
Florin Coras99ad2fc2019-04-18 21:25:49 -0700474
Florin Coras4375fa32019-04-19 15:56:00 -0700475 /* Initialize rbtree if needed and add default chunk to it */
476 if (!(f->flags & SVM_FIFO_F_MULTI_CHUNK))
477 {
478 rb_tree_init (&f->chunk_lookup);
479 rb_tree_add2 (&f->chunk_lookup, 0, pointer_to_uword (f->start_chunk));
480 f->flags |= SVM_FIFO_F_MULTI_CHUNK;
481 }
482
483 /* Initialize chunks and add to lookup rbtree. Expectation is that this is
484 * called with the heap where the rbtree's pool is pushed. */
485 cur = c;
486 if (f->new_chunks)
487 {
488 prev = f->new_chunks;
489 while (prev->next)
490 prev = prev->next;
491 prev->next = c;
492 }
493 else
494 prev = f->end_chunk;
495
496 while (cur)
497 {
498 cur->start_byte = prev->start_byte + prev->length;
499 rb_tree_add2 (&f->chunk_lookup, cur->start_byte,
500 pointer_to_uword (cur));
501 prev = cur;
502 cur = cur->next;
503 }
504
505 /* If fifo is not wrapped, update the size now */
506 if (!svm_fifo_is_wrapped (f))
507 {
508 ASSERT (!f->new_chunks);
509 svm_fifo_size_update (f, c);
Florin Coras99ad2fc2019-04-18 21:25:49 -0700510 return;
511 }
512
Florin Coras4375fa32019-04-19 15:56:00 -0700513 /* Postpone size update */
514 if (!f->new_chunks)
515 {
516 f->new_chunks = c;
517 f->flags |= SVM_FIFO_F_SIZE_UPDATE;
518 }
519}
520
521static inline u8
522svm_fifo_chunk_includes_pos (svm_fifo_chunk_t * c, u32 pos)
523{
524 return (pos >= c->start_byte && pos < c->start_byte + c->length);
525}
526
527/**
528 * Find chunk for given byte position
529 *
530 * @param f fifo
531 * @param pos normalized position in fifo
532 *
533 * @return chunk that includes given position or 0
534 */
535static svm_fifo_chunk_t *
536svm_fifo_find_chunk (svm_fifo_t * f, u32 pos)
537{
538 rb_tree_t *rt = &f->chunk_lookup;
539 rb_node_t *cur, *prev;
540 svm_fifo_chunk_t *c;
541
542 cur = rb_node (rt, rt->root);
543 while (pos != cur->key)
544 {
545 prev = cur;
546 if (pos < cur->key)
547 cur = rb_node_left (rt, cur);
548 else
549 cur = rb_node_right (rt, cur);
550
551 if (rb_node_is_tnil (rt, cur))
552 {
553 /* Hit tnil as a left child. Find predecessor */
554 if (pos < prev->key)
555 {
556 cur = rb_tree_predecessor (rt, prev);
557 c = uword_to_pointer (cur->opaque, svm_fifo_chunk_t *);
558 if (svm_fifo_chunk_includes_pos (c, pos))
559 return c;
560 return 0;
561 }
Florin Coras87b15ce2019-04-28 21:16:30 -0700562 /* Hit tnil as a right child. Check if this is the one */
Florin Coras4375fa32019-04-19 15:56:00 -0700563 c = uword_to_pointer (prev->opaque, svm_fifo_chunk_t *);
564 if (svm_fifo_chunk_includes_pos (c, pos))
565 return c;
566
Florin Coras4375fa32019-04-19 15:56:00 -0700567 return 0;
568 }
569 }
570
571 if (!rb_node_is_tnil (rt, cur))
572 return uword_to_pointer (cur->opaque, svm_fifo_chunk_t *);
573 return 0;
Florin Coras99ad2fc2019-04-18 21:25:49 -0700574}
575
Florin Coras6cf30ad2017-04-04 23:08:23 -0700576void
Florin Corasb095a3c2019-04-25 12:58:46 -0700577svm_fifo_free_chunk_lookup (svm_fifo_t * f)
578{
579 rb_tree_free_nodes (&f->chunk_lookup);
580}
581
582void
Florin Coras6cf30ad2017-04-04 23:08:23 -0700583svm_fifo_free (svm_fifo_t * f)
584{
Dave Barach52851e62017-08-07 09:35:25 -0400585 ASSERT (f->refcnt > 0);
586
587 if (--f->refcnt == 0)
588 {
Florin Corasb095a3c2019-04-25 12:58:46 -0700589 /* ooo data is not allocated on segment heap */
590 svm_fifo_free_chunk_lookup (f);
Dave Barach52851e62017-08-07 09:35:25 -0400591 clib_mem_free (f);
592 }
Florin Coras6cf30ad2017-04-04 23:08:23 -0700593}
594
Florin Coras7fb0fe12018-04-09 09:24:52 -0700595void
Florin Coras87b15ce2019-04-28 21:16:30 -0700596svm_fifo_overwrite_head (svm_fifo_t * f, u8 * src, u32 len)
Florin Coras7fb0fe12018-04-09 09:24:52 -0700597{
Florin Coras0a846802019-04-09 18:29:14 -0700598 u32 n_chunk;
Sirshak Das28aa5392019-02-05 01:33:33 -0600599 u32 head, tail, head_idx;
Florin Coras0a846802019-04-09 18:29:14 -0700600 svm_fifo_chunk_t *c;
601
602 ASSERT (len <= f->nitems);
Sirshak Das28aa5392019-02-05 01:33:33 -0600603
604 f_load_head_tail_cons (f, &head, &tail);
Florin Coras0a846802019-04-09 18:29:14 -0700605 c = f->head_chunk;
Sirshak Das28aa5392019-02-05 01:33:33 -0600606 head_idx = head % f->size;
Florin Coras0a846802019-04-09 18:29:14 -0700607 head_idx -= c->start_byte;
608 n_chunk = c->length - head_idx;
609 if (len <= n_chunk)
Florin Coras87b15ce2019-04-28 21:16:30 -0700610 clib_memcpy_fast (&c->data[head_idx], src, len);
Florin Coras7fb0fe12018-04-09 09:24:52 -0700611 else
612 {
Florin Coras87b15ce2019-04-28 21:16:30 -0700613 clib_memcpy_fast (&c->data[head_idx], src, n_chunk);
614 clib_memcpy_fast (&c->next->data[0], src + n_chunk, len - n_chunk);
Florin Coras7fb0fe12018-04-09 09:24:52 -0700615 }
616}
Dave Barach68b0fb02017-02-28 15:15:56 -0500617
Florin Coras99ad2fc2019-04-18 21:25:49 -0700618int
Florin Coras87b15ce2019-04-28 21:16:30 -0700619svm_fifo_enqueue (svm_fifo_t * f, u32 len, const u8 * src)
Dave Barach68b0fb02017-02-28 15:15:56 -0500620{
Florin Coras99ad2fc2019-04-18 21:25:49 -0700621 u32 tail, head, free_count;
622
623 f_load_head_tail_prod (f, &head, &tail);
624
625 /* free space in fifo can only increase during enqueue: SPSC */
626 free_count = f_free_count (f, head, tail);
627
628 f->ooos_newest = OOO_SEGMENT_INVALID_INDEX;
629
630 if (PREDICT_FALSE (free_count == 0))
Florin Coras87b15ce2019-04-28 21:16:30 -0700631 return SVM_FIFO_EFULL;
Florin Coras99ad2fc2019-04-18 21:25:49 -0700632
633 /* number of bytes we're going to copy */
634 len = clib_min (free_count, len);
Florin Coras99ad2fc2019-04-18 21:25:49 -0700635 svm_fifo_copy_to_chunk (f, f->tail_chunk, tail % f->size, src, len,
Florin Coras4375fa32019-04-19 15:56:00 -0700636 &f->tail_chunk);
Florin Coras99ad2fc2019-04-18 21:25:49 -0700637 tail += len;
638
Florin Coras87b15ce2019-04-28 21:16:30 -0700639 svm_fifo_trace_add (f, head, len, 2);
Florin Coras99ad2fc2019-04-18 21:25:49 -0700640
641 /* collect out-of-order segments */
642 if (PREDICT_FALSE (f->ooos_list_head != OOO_SEGMENT_INVALID_INDEX))
643 len += ooo_segment_try_collect (f, len, &tail);
644
645 /* store-rel: producer owned index (paired with load-acq in consumer) */
646 clib_atomic_store_rel_n (&f->tail, tail);
647
648 return len;
649}
650
651/**
652 * Enqueue a future segment.
653 *
654 * Two choices: either copies the entire segment, or copies nothing
655 * Returns 0 of the entire segment was copied
656 * Returns -1 if none of the segment was copied due to lack of space
657 */
658int
659svm_fifo_enqueue_with_offset (svm_fifo_t * f, u32 offset, u32 len, u8 * src)
660{
Florin Coras4375fa32019-04-19 15:56:00 -0700661 u32 tail, head, free_count, tail_idx;
Florin Coras99ad2fc2019-04-18 21:25:49 -0700662
663 f_load_head_tail_prod (f, &head, &tail);
664
665 /* free space in fifo can only increase during enqueue: SPSC */
666 free_count = f_free_count (f, head, tail);
667
668 /* will this request fit? */
669 if ((len + offset) > free_count)
Florin Coras87b15ce2019-04-28 21:16:30 -0700670 return SVM_FIFO_EFULL;
Florin Coras99ad2fc2019-04-18 21:25:49 -0700671
672 f->ooos_newest = OOO_SEGMENT_INVALID_INDEX;
Florin Coras99ad2fc2019-04-18 21:25:49 -0700673 svm_fifo_trace_add (f, offset, len, 1);
Florin Coras99ad2fc2019-04-18 21:25:49 -0700674 ooo_segment_add (f, offset, head, tail, len);
Florin Corasde146e52019-04-26 20:34:49 -0700675 tail_idx = (tail % f->size + offset) % f->size;
Florin Coras4375fa32019-04-19 15:56:00 -0700676
677 if (!svm_fifo_chunk_includes_pos (f->ooo_enq, tail_idx))
678 f->ooo_enq = svm_fifo_find_chunk (f, tail_idx);
679
680 svm_fifo_copy_to_chunk (f, f->ooo_enq, tail_idx, src, len, &f->ooo_enq);
Florin Coras99ad2fc2019-04-18 21:25:49 -0700681
682 return 0;
683}
684
685int
Florin Coras87b15ce2019-04-28 21:16:30 -0700686svm_fifo_dequeue (svm_fifo_t * f, u32 len, u8 * dst)
Florin Coras99ad2fc2019-04-18 21:25:49 -0700687{
688 u32 tail, head, cursize;
Dave Barach68b0fb02017-02-28 15:15:56 -0500689
Sirshak Das28aa5392019-02-05 01:33:33 -0600690 f_load_head_tail_cons (f, &head, &tail);
691
692 /* current size of fifo can only increase during dequeue: SPSC */
693 cursize = f_cursize (f, head, tail);
694
Florin Coras3e350af2017-03-30 02:54:28 -0700695 if (PREDICT_FALSE (cursize == 0))
Florin Coras87b15ce2019-04-28 21:16:30 -0700696 return SVM_FIFO_EEMPTY;
Dave Barach68b0fb02017-02-28 15:15:56 -0500697
Florin Coras99ad2fc2019-04-18 21:25:49 -0700698 len = clib_min (cursize, len);
Florin Coras99ad2fc2019-04-18 21:25:49 -0700699 svm_fifo_copy_from_chunk (f, f->head_chunk, head % f->size, dst, len,
Florin Coras4375fa32019-04-19 15:56:00 -0700700 &f->head_chunk);
Florin Coras0a846802019-04-09 18:29:14 -0700701 head += len;
Dave Barach68b0fb02017-02-28 15:15:56 -0500702
Florin Coras2309e7a2019-04-18 18:58:10 -0700703 if (PREDICT_FALSE (f->flags & SVM_FIFO_F_SIZE_UPDATE))
704 svm_fifo_try_size_update (f, head);
705
Sirshak Das28aa5392019-02-05 01:33:33 -0600706 /* store-rel: consumer owned index (paired with load-acq in producer) */
707 clib_atomic_store_rel_n (&f->head, head);
Dave Barach68b0fb02017-02-28 15:15:56 -0500708
Florin Coras0a846802019-04-09 18:29:14 -0700709 return len;
Dave Barach68b0fb02017-02-28 15:15:56 -0500710}
711
Dave Barach68b0fb02017-02-28 15:15:56 -0500712int
Florin Coras4375fa32019-04-19 15:56:00 -0700713svm_fifo_peek (svm_fifo_t * f, u32 offset, u32 len, u8 * dst)
Florin Corasf6359c82017-06-19 12:26:09 -0400714{
Florin Coras4375fa32019-04-19 15:56:00 -0700715 u32 tail, head, cursize, head_idx;
Dave Barach68b0fb02017-02-28 15:15:56 -0500716
Sirshak Das28aa5392019-02-05 01:33:33 -0600717 f_load_head_tail_cons (f, &head, &tail);
718
719 /* current size of fifo can only increase during peek: SPSC */
720 cursize = f_cursize (f, head, tail);
721
Florin Coras4375fa32019-04-19 15:56:00 -0700722 if (PREDICT_FALSE (cursize < offset))
Florin Coras87b15ce2019-04-28 21:16:30 -0700723 return SVM_FIFO_EEMPTY;
Dave Barach68b0fb02017-02-28 15:15:56 -0500724
Florin Coras4375fa32019-04-19 15:56:00 -0700725 len = clib_min (cursize - offset, len);
Florin Corasde146e52019-04-26 20:34:49 -0700726 head_idx = (head % f->size + offset) % f->size;
Florin Coras4375fa32019-04-19 15:56:00 -0700727 if (!svm_fifo_chunk_includes_pos (f->ooo_deq, head_idx))
728 f->ooo_deq = svm_fifo_find_chunk (f, head_idx);
Dave Barach68b0fb02017-02-28 15:15:56 -0500729
Florin Coras4375fa32019-04-19 15:56:00 -0700730 svm_fifo_copy_from_chunk (f, f->ooo_deq, head_idx, dst, len, &f->ooo_deq);
Florin Coras0a846802019-04-09 18:29:14 -0700731 return len;
Dave Barach68b0fb02017-02-28 15:15:56 -0500732}
733
734int
Florin Coras87b15ce2019-04-28 21:16:30 -0700735svm_fifo_dequeue_drop (svm_fifo_t * f, u32 len)
Dave Barach68b0fb02017-02-28 15:15:56 -0500736{
Florin Coras87b15ce2019-04-28 21:16:30 -0700737 u32 total_drop_bytes, tail, head, cursize;
Dave Barach68b0fb02017-02-28 15:15:56 -0500738
Sirshak Das28aa5392019-02-05 01:33:33 -0600739 f_load_head_tail_cons (f, &head, &tail);
740
Florin Coras87b15ce2019-04-28 21:16:30 -0700741 /* number of bytes available */
Sirshak Das28aa5392019-02-05 01:33:33 -0600742 cursize = f_cursize (f, head, tail);
Florin Coras3e350af2017-03-30 02:54:28 -0700743 if (PREDICT_FALSE (cursize == 0))
Florin Coras87b15ce2019-04-28 21:16:30 -0700744 return SVM_FIFO_EEMPTY;
Dave Barach68b0fb02017-02-28 15:15:56 -0500745
Sirshak Das28aa5392019-02-05 01:33:33 -0600746 svm_fifo_trace_add (f, tail, total_drop_bytes, 3);
Dave Barach68b0fb02017-02-28 15:15:56 -0500747
Sirshak Das28aa5392019-02-05 01:33:33 -0600748 /* number of bytes we're going to drop */
Florin Coras87b15ce2019-04-28 21:16:30 -0700749 total_drop_bytes = clib_min (cursize, len);
Dave Barach68b0fb02017-02-28 15:15:56 -0500750
Sirshak Das28aa5392019-02-05 01:33:33 -0600751 /* move head */
752 head += total_drop_bytes;
Florin Coras3eb50622017-07-13 01:24:57 -0400753
Sirshak Das28aa5392019-02-05 01:33:33 -0600754 /* store-rel: consumer owned index (paired with load-acq in producer) */
755 clib_atomic_store_rel_n (&f->head, head);
Dave Barach68b0fb02017-02-28 15:15:56 -0500756
757 return total_drop_bytes;
758}
759
Florin Coras25579b42018-06-06 17:55:02 -0700760void
761svm_fifo_dequeue_drop_all (svm_fifo_t * f)
762{
Sirshak Das28aa5392019-02-05 01:33:33 -0600763 /* consumer foreign index */
764 u32 tail = clib_atomic_load_acq_n (&f->tail);
765 /* store-rel: consumer owned index (paired with load-acq in producer) */
766 clib_atomic_store_rel_n (&f->head, tail);
Florin Coras25579b42018-06-06 17:55:02 -0700767}
768
Florin Coras2cba8532018-09-11 16:33:36 -0700769int
Florin Coras88001c62019-04-24 14:44:46 -0700770svm_fifo_segments (svm_fifo_t * f, svm_fifo_seg_t * fs)
Florin Coras2cba8532018-09-11 16:33:36 -0700771{
Sirshak Das28aa5392019-02-05 01:33:33 -0600772 u32 cursize, head, tail, head_idx;
Florin Coras2cba8532018-09-11 16:33:36 -0700773
Sirshak Das28aa5392019-02-05 01:33:33 -0600774 f_load_head_tail_cons (f, &head, &tail);
775
776 /* consumer function, cursize can only increase while we're working */
777 cursize = f_cursize (f, head, tail);
778
Florin Coras2cba8532018-09-11 16:33:36 -0700779 if (PREDICT_FALSE (cursize == 0))
Florin Coras87b15ce2019-04-28 21:16:30 -0700780 return SVM_FIFO_EEMPTY;
Florin Coras2cba8532018-09-11 16:33:36 -0700781
Sirshak Das28aa5392019-02-05 01:33:33 -0600782 head_idx = head % f->size;
Florin Coras2cba8532018-09-11 16:33:36 -0700783
Sirshak Das28aa5392019-02-05 01:33:33 -0600784 if (tail < head)
Florin Coras2cba8532018-09-11 16:33:36 -0700785 {
Sirshak Das28aa5392019-02-05 01:33:33 -0600786 fs[0].len = f->size - head_idx;
Florin Coras0a846802019-04-09 18:29:14 -0700787 fs[0].data = f->head_chunk->data + head_idx;
Florin Coras2cba8532018-09-11 16:33:36 -0700788 fs[1].len = cursize - fs[0].len;
Florin Coras0a846802019-04-09 18:29:14 -0700789 fs[1].data = f->head_chunk->data;
Florin Coras2cba8532018-09-11 16:33:36 -0700790 }
791 else
792 {
Sirshak Das28aa5392019-02-05 01:33:33 -0600793 fs[0].len = cursize;
Florin Coras0a846802019-04-09 18:29:14 -0700794 fs[0].data = f->head_chunk->data + head_idx;
Florin Coras2cba8532018-09-11 16:33:36 -0700795 fs[1].len = 0;
796 fs[1].data = 0;
797 }
798 return cursize;
799}
800
801void
Florin Coras88001c62019-04-24 14:44:46 -0700802svm_fifo_segments_free (svm_fifo_t * f, svm_fifo_seg_t * fs)
Florin Coras2cba8532018-09-11 16:33:36 -0700803{
Sirshak Das28aa5392019-02-05 01:33:33 -0600804 u32 head, head_idx;
Florin Coras2cba8532018-09-11 16:33:36 -0700805
Sirshak Das28aa5392019-02-05 01:33:33 -0600806 /* consumer owned index */
807 head = f->head;
808 head_idx = head % f->size;
809
Florin Coras0a846802019-04-09 18:29:14 -0700810 ASSERT (fs[0].data == f->head_chunk->data + head_idx);
Sirshak Das28aa5392019-02-05 01:33:33 -0600811 head += fs[0].len + fs[1].len;
812 /* store-rel: consumer owned index (paired with load-acq in producer) */
813 clib_atomic_store_rel_n (&f->head, head);
814}
815
Florin Coras87b15ce2019-04-28 21:16:30 -0700816/**
817 * Clones fifo
818 *
819 * Assumptions:
820 * - no prod and cons are accessing either dest or src fifo
821 * - fifo is not multi chunk
822 */
Sirshak Das28aa5392019-02-05 01:33:33 -0600823void
824svm_fifo_clone (svm_fifo_t * df, svm_fifo_t * sf)
825{
826 u32 head, tail;
Florin Coras0a846802019-04-09 18:29:14 -0700827 clib_memcpy_fast (df->head_chunk->data, sf->head_chunk->data, sf->size);
Sirshak Das28aa5392019-02-05 01:33:33 -0600828
829 f_load_head_tail_all_acq (sf, &head, &tail);
830 clib_atomic_store_rel_n (&df->head, head);
831 clib_atomic_store_rel_n (&df->tail, tail);
Florin Coras2cba8532018-09-11 16:33:36 -0700832}
833
Dave Barach1f75cfd2017-04-14 16:46:44 -0400834u32
Florin Coras87b15ce2019-04-28 21:16:30 -0700835svm_fifo_n_ooo_segments (svm_fifo_t * f)
Dave Barach1f75cfd2017-04-14 16:46:44 -0400836{
837 return pool_elts (f->ooo_segments);
838}
839
840ooo_segment_t *
841svm_fifo_first_ooo_segment (svm_fifo_t * f)
842{
843 return pool_elt_at_index (f->ooo_segments, f->ooos_list_head);
844}
845
Florin Corasc28764f2017-04-26 00:08:42 -0700846/**
847 * Set fifo pointers to requested offset
848 */
849void
Florin Coras4375fa32019-04-19 15:56:00 -0700850svm_fifo_init_pointers (svm_fifo_t * f, u32 head, u32 tail)
Florin Corasc28764f2017-04-26 00:08:42 -0700851{
Florin Coras4375fa32019-04-19 15:56:00 -0700852 clib_atomic_store_rel_n (&f->head, head);
853 clib_atomic_store_rel_n (&f->tail, tail);
854 if (f->flags & SVM_FIFO_F_MULTI_CHUNK)
855 {
856 svm_fifo_chunk_t *c;
857 c = svm_fifo_find_chunk (f, head % f->size);
858 ASSERT (c != 0);
859 f->head_chunk = f->ooo_deq = c;
860 c = svm_fifo_find_chunk (f, tail % f->size);
861 ASSERT (c != 0);
862 f->tail_chunk = f->ooo_enq = c;
863 }
Florin Corasc28764f2017-04-26 00:08:42 -0700864}
865
Florin Coras72b04282019-01-14 17:23:11 -0800866void
867svm_fifo_add_subscriber (svm_fifo_t * f, u8 subscriber)
868{
869 if (f->n_subscribers >= SVM_FIFO_MAX_EVT_SUBSCRIBERS)
870 return;
871 f->subscribers[f->n_subscribers++] = subscriber;
872}
873
874void
875svm_fifo_del_subscriber (svm_fifo_t * f, u8 subscriber)
876{
877 int i;
878
879 for (i = 0; i < f->n_subscribers; i++)
880 {
881 if (f->subscribers[i] != subscriber)
882 continue;
883 f->subscribers[i] = f->subscribers[f->n_subscribers - 1];
884 f->n_subscribers--;
885 break;
886 }
887}
888
Florin Coras87b15ce2019-04-28 21:16:30 -0700889u8 *
890format_ooo_segment (u8 * s, va_list * args)
891{
892 svm_fifo_t *f = va_arg (*args, svm_fifo_t *);
893 ooo_segment_t *seg = va_arg (*args, ooo_segment_t *);
894 u32 normalized_start = (seg->start + f->nitems - f->tail) % f->size;
895 s = format (s, "[%u, %u], len %u, next %d, prev %d", normalized_start,
896 (normalized_start + seg->length) % f->size, seg->length,
897 seg->next, seg->prev);
898 return s;
899}
900
901u8 *
902svm_fifo_dump_trace (u8 * s, svm_fifo_t * f)
903{
904#if SVM_FIFO_TRACE
905 svm_fifo_trace_elem_t *seg = 0;
906 int i = 0;
907
908 if (f->trace)
909 {
910 vec_foreach (seg, f->trace)
911 {
912 s = format (s, "{%u, %u, %u}, ", seg->offset, seg->len, seg->action);
913 i++;
914 if (i % 5 == 0)
915 s = format (s, "\n");
916 }
917 s = format (s, "\n");
918 }
919 return s;
920#else
921 return 0;
922#endif
923}
924
925u8 *
926svm_fifo_replay (u8 * s, svm_fifo_t * f, u8 no_read, u8 verbose)
927{
928 int i, trace_len;
929 u8 *data = 0;
930 svm_fifo_trace_elem_t *trace;
931 u32 offset;
932 svm_fifo_t *dummy_fifo;
933
934 if (!f)
935 return s;
936
937#if SVM_FIFO_TRACE
938 trace = f->trace;
939 trace_len = vec_len (trace);
940#else
941 trace = 0;
942 trace_len = 0;
943#endif
944
945 dummy_fifo = svm_fifo_create (f->size);
946 clib_memset (f->head_chunk->data, 0xFF, f->nitems);
947 vec_validate (data, f->nitems);
948 for (i = 0; i < vec_len (data); i++)
949 data[i] = i;
950
951 for (i = 0; i < trace_len; i++)
952 {
953 offset = trace[i].offset;
954 if (trace[i].action == 1)
955 {
956 if (verbose)
957 s = format (s, "adding [%u, %u]:", trace[i].offset,
958 (trace[i].offset + trace[i].len) % dummy_fifo->size);
959 svm_fifo_enqueue_with_offset (dummy_fifo, trace[i].offset,
960 trace[i].len, &data[offset]);
961 }
962 else if (trace[i].action == 2)
963 {
964 if (verbose)
965 s = format (s, "adding [%u, %u]:", 0, trace[i].len);
966 svm_fifo_enqueue (dummy_fifo, trace[i].len, &data[offset]);
967 }
968 else if (!no_read)
969 {
970 if (verbose)
971 s = format (s, "read: %u", trace[i].len);
972 svm_fifo_dequeue_drop (dummy_fifo, trace[i].len);
973 }
974 if (verbose)
975 s = format (s, "%U", format_svm_fifo, dummy_fifo, 1);
976 }
977
978 s = format (s, "result: %U", format_svm_fifo, dummy_fifo, 1);
979
980 return s;
981}
982
983u8 *
984format_ooo_list (u8 * s, va_list * args)
985{
986 svm_fifo_t *f = va_arg (*args, svm_fifo_t *);
987 u32 indent = va_arg (*args, u32);
988 u32 ooo_segment_index = f->ooos_list_head;
989 ooo_segment_t *seg;
990
991 while (ooo_segment_index != OOO_SEGMENT_INVALID_INDEX)
992 {
993 seg = pool_elt_at_index (f->ooo_segments, ooo_segment_index);
994 s = format (s, "%U%U\n", format_white_space, indent, format_ooo_segment,
995 f, seg);
996 ooo_segment_index = seg->next;
997 }
998
999 return s;
1000}
1001
1002u8 *
1003format_svm_fifo (u8 * s, va_list * args)
1004{
1005 svm_fifo_t *f = va_arg (*args, svm_fifo_t *);
1006 int verbose = va_arg (*args, int);
1007 u32 indent;
1008
1009 if (!s)
1010 return s;
1011
1012 indent = format_get_indent (s);
1013 s = format (s, "cursize %u nitems %u has_event %d\n",
1014 svm_fifo_max_dequeue (f), f->nitems, f->has_event);
1015 s = format (s, "%Uhead %u tail %u segment manager %u\n", format_white_space,
1016 indent, (f->head % f->size), (f->tail % f->size),
1017 f->segment_manager);
1018
1019 if (verbose > 1)
1020 s = format (s, "%Uvpp session %d thread %d app session %d thread %d\n",
1021 format_white_space, indent, f->master_session_index,
1022 f->master_thread_index, f->client_session_index,
1023 f->client_thread_index);
1024
1025 if (verbose)
1026 {
1027 s = format (s, "%Uooo pool %d active elts newest %u\n",
1028 format_white_space, indent, pool_elts (f->ooo_segments),
1029 f->ooos_newest);
1030 if (svm_fifo_has_ooo_data (f))
1031 s = format (s, " %U", format_ooo_list, f, indent, verbose);
1032 }
1033 return s;
1034}
1035
Florin Coras3aa7af32018-06-29 08:44:31 -07001036#endif
Dave Barach68b0fb02017-02-28 15:15:56 -05001037/*
1038 * fd.io coding-style-patch-verification: ON
1039 *
1040 * Local Variables:
1041 * eval: (c-set-style "gnu")
1042 * End:
1043 */