blob: 9bba85fddf4f81fcbb9cac70d6d4ed349336ac45 [file] [log] [blame]
Dave Barach68b0fb02017-02-28 15:15:56 -05001/*
2 * Copyright (c) 2016 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:
6 *
7 * http://www.apache.org/licenses/LICENSE-2.0
8 *
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.
14 */
15#ifndef __included_ssvm_fifo_h__
16#define __included_ssvm_fifo_h__
17
18#include <vppinfra/clib.h>
19#include <vppinfra/vec.h>
20#include <vppinfra/mheap.h>
21#include <vppinfra/heap.h>
22#include <vppinfra/pool.h>
23#include <vppinfra/format.h>
24#include <pthread.h>
25
Dave Barach68b0fb02017-02-28 15:15:56 -050026/** Out-of-order segment */
27typedef struct
28{
29 u32 next; /**< Next linked-list element pool index */
30 u32 prev; /**< Previous linked-list element pool index */
31
Dave Barach1f75cfd2017-04-14 16:46:44 -040032 u32 start; /**< Start of segment, normalized*/
Florin Corasa5464812017-04-19 13:00:05 -070033 u32 length; /**< Length of segment */
Dave Barach68b0fb02017-02-28 15:15:56 -050034} ooo_segment_t;
35
Dave Barach1f75cfd2017-04-14 16:46:44 -040036format_function_t format_ooo_segment;
37format_function_t format_ooo_list;
38
Florin Coras326b81e2018-10-04 19:03:05 -070039#define SVM_FIFO_TRACE (0)
40#define OOO_SEGMENT_INVALID_INDEX ((u32)~0)
41#define SVM_FIFO_INVALID_SESSION_INDEX ((u32)~0)
Florin Corasfa76a762018-11-29 12:40:10 -080042#define SVM_FIFO_INVALID_INDEX ((u32)~0)
Dave Barach68b0fb02017-02-28 15:15:56 -050043
Florin Coras3eb50622017-07-13 01:24:57 -040044typedef struct
45{
46 u32 offset;
47 u32 len;
48 u32 action;
49} svm_fifo_trace_elem_t;
50
Dave Barach10d8cc62017-05-30 09:30:07 -040051typedef struct _svm_fifo
Dave Barach68b0fb02017-02-28 15:15:56 -050052{
Florin Coras3e350af2017-03-30 02:54:28 -070053 volatile u32 cursize; /**< current fifo size */
54 u32 nitems;
55 CLIB_CACHE_LINE_ALIGN_MARK (end_cursize);
56
Dave Barachacd2a6a2017-05-16 17:41:34 -040057 volatile u32 has_event; /**< non-zero if deq event exists */
Dave Barach68b0fb02017-02-28 15:15:56 -050058
59 /* Backpointers */
Florin Corasa5464812017-04-19 13:00:05 -070060 u32 master_session_index;
Dave Barach68b0fb02017-02-28 15:15:56 -050061 u32 client_session_index;
Florin Corasa5464812017-04-19 13:00:05 -070062 u8 master_thread_index;
Dave Barach68b0fb02017-02-28 15:15:56 -050063 u8 client_thread_index;
Florin Coras6cf30ad2017-04-04 23:08:23 -070064 u32 segment_manager;
Florin Corasfa76a762018-11-29 12:40:10 -080065 u32 segment_index;
Florin Coras326b81e2018-10-04 19:03:05 -070066 u32 ct_session_index; /**< Local session index for vpp */
Dave Barach68b0fb02017-02-28 15:15:56 -050067 CLIB_CACHE_LINE_ALIGN_MARK (end_shared);
68 u32 head;
Florin Coras0e88e852018-09-17 22:09:02 -070069 volatile u32 want_tx_evt; /**< producer wants nudge */
Dave Barach68b0fb02017-02-28 15:15:56 -050070 CLIB_CACHE_LINE_ALIGN_MARK (end_consumer);
71
72 /* producer */
73 u32 tail;
74
75 ooo_segment_t *ooo_segments; /**< Pool of ooo segments */
76 u32 ooos_list_head; /**< Head of out-of-order linked-list */
77 u32 ooos_newest; /**< Last segment to have been updated */
Dave Barach10d8cc62017-05-30 09:30:07 -040078 struct _svm_fifo *next; /**< next in freelist/active chain */
79 struct _svm_fifo *prev; /**< prev in active chain */
Florin Coras3eb50622017-07-13 01:24:57 -040080#if SVM_FIFO_TRACE
81 svm_fifo_trace_elem_t *trace;
82#endif
Dave Barach818eb542017-08-02 13:56:13 -040083 u32 freelist_index; /**< aka log2(allocated_size) - const. */
84 i8 refcnt; /**< reference count */
Dave Barach68b0fb02017-02-28 15:15:56 -050085 CLIB_CACHE_LINE_ALIGN_MARK (data);
86} svm_fifo_t;
87
Florin Coras7fb0fe12018-04-09 09:24:52 -070088typedef enum
89{
90 SVM_FIFO_FULL = -2,
91} svm_fifo_err_t;
92
Florin Coras2cba8532018-09-11 16:33:36 -070093typedef struct svm_fifo_segment_
94{
95 u8 *data;
96 u32 len;
97} svm_fifo_segment_t;
98
Florin Coras3eb50622017-07-13 01:24:57 -040099#if SVM_FIFO_TRACE
100#define svm_fifo_trace_add(_f, _s, _l, _t) \
101{ \
102 svm_fifo_trace_elem_t *trace_elt; \
103 vec_add2(_f->trace, trace_elt, 1); \
104 trace_elt->offset = _s; \
105 trace_elt->len = _l; \
106 trace_elt->action = _t; \
107}
108#else
109#define svm_fifo_trace_add(_f, _s, _l, _t)
110#endif
111
112u8 *svm_fifo_dump_trace (u8 * s, svm_fifo_t * f);
113u8 *svm_fifo_replay (u8 * s, svm_fifo_t * f, u8 no_read, u8 verbose);
114
Dave Barach68b0fb02017-02-28 15:15:56 -0500115static inline u32
116svm_fifo_max_dequeue (svm_fifo_t * f)
117{
Sirshak Das19515ac2018-11-07 18:46:42 -0600118 return clib_atomic_load_acq_n (&f->cursize);
Dave Barach68b0fb02017-02-28 15:15:56 -0500119}
120
Florin Coras3c2fed52018-07-04 04:15:05 -0700121static inline int
122svm_fifo_is_full (svm_fifo_t * f)
123{
Sirshak Das19515ac2018-11-07 18:46:42 -0600124 return (clib_atomic_load_acq_n (&f->cursize) == f->nitems);
Florin Coras3c2fed52018-07-04 04:15:05 -0700125}
126
Florin Coras84099552018-07-22 12:59:30 -0700127static inline int
128svm_fifo_is_empty (svm_fifo_t * f)
129{
Sirshak Das19515ac2018-11-07 18:46:42 -0600130 return (clib_atomic_load_acq_n (&f->cursize) == 0);
Florin Coras84099552018-07-22 12:59:30 -0700131}
132
Dave Barach68b0fb02017-02-28 15:15:56 -0500133static inline u32
134svm_fifo_max_enqueue (svm_fifo_t * f)
135{
Florin Coras3e350af2017-03-30 02:54:28 -0700136 return f->nitems - svm_fifo_max_dequeue (f);
Dave Barach68b0fb02017-02-28 15:15:56 -0500137}
138
Florin Coras46f001d2018-07-11 05:25:06 -0700139static inline int
140svm_fifo_has_event (svm_fifo_t * f)
141{
142 return f->has_event;
143}
144
Dave Barach68b0fb02017-02-28 15:15:56 -0500145static inline u8
146svm_fifo_has_ooo_data (svm_fifo_t * f)
147{
148 return f->ooos_list_head != OOO_SEGMENT_INVALID_INDEX;
149}
150
Florin Coras6792ec02017-03-13 03:49:51 -0700151/**
152 * Sets fifo event flag.
153 *
Florin Coras41c9e042018-09-11 00:10:41 -0700154 * Also acts as a release barrier.
155 *
Florin Coras6792ec02017-03-13 03:49:51 -0700156 * @return 1 if flag was not set.
157 */
158always_inline u8
159svm_fifo_set_event (svm_fifo_t * f)
160{
Florin Coras2cba8532018-09-11 16:33:36 -0700161 /* return __sync_lock_test_and_set (&f->has_event, 1) == 0;
162 return __sync_bool_compare_and_swap (&f->has_event, 0, 1); */
Florin Coras41c9e042018-09-11 00:10:41 -0700163 return !__atomic_exchange_n (&f->has_event, 1, __ATOMIC_RELEASE);
Florin Coras6792ec02017-03-13 03:49:51 -0700164}
165
166/**
167 * Unsets fifo event flag.
Florin Coras41c9e042018-09-11 00:10:41 -0700168 *
169 * Also acts as a release barrier.
Florin Coras6792ec02017-03-13 03:49:51 -0700170 */
171always_inline void
172svm_fifo_unset_event (svm_fifo_t * f)
173{
Sirshak Das2f6d7bb2018-10-03 22:53:51 +0000174 clib_atomic_release (&f->has_event);
Florin Coras6792ec02017-03-13 03:49:51 -0700175}
176
Florin Coras0e88e852018-09-17 22:09:02 -0700177static inline void
178svm_fifo_set_want_tx_evt (svm_fifo_t * f, u8 want_evt)
179{
180 f->want_tx_evt = want_evt;
181}
182
183static inline u8
184svm_fifo_want_tx_evt (svm_fifo_t * f)
185{
186 return f->want_tx_evt;
187}
188
Dave Barach68b0fb02017-02-28 15:15:56 -0500189svm_fifo_t *svm_fifo_create (u32 data_size_in_bytes);
Florin Coras6cf30ad2017-04-04 23:08:23 -0700190void svm_fifo_free (svm_fifo_t * f);
Dave Barach68b0fb02017-02-28 15:15:56 -0500191
Florin Corasa5464812017-04-19 13:00:05 -0700192int svm_fifo_enqueue_nowait (svm_fifo_t * f, u32 max_bytes,
Florin Coras371ca502018-02-21 12:07:41 -0800193 const u8 * copy_from_here);
Florin Corasa5464812017-04-19 13:00:05 -0700194int svm_fifo_enqueue_with_offset (svm_fifo_t * f, u32 offset,
195 u32 required_bytes, u8 * copy_from_here);
196int svm_fifo_dequeue_nowait (svm_fifo_t * f, u32 max_bytes, u8 * copy_here);
Dave Barach68b0fb02017-02-28 15:15:56 -0500197
Florin Corasa5464812017-04-19 13:00:05 -0700198int svm_fifo_peek (svm_fifo_t * f, u32 offset, u32 max_bytes, u8 * copy_here);
199int svm_fifo_dequeue_drop (svm_fifo_t * f, u32 max_bytes);
Florin Coras25579b42018-06-06 17:55:02 -0700200void svm_fifo_dequeue_drop_all (svm_fifo_t * f);
Florin Coras2cba8532018-09-11 16:33:36 -0700201int svm_fifo_segments (svm_fifo_t * f, svm_fifo_segment_t * fs);
202void svm_fifo_segments_free (svm_fifo_t * f, svm_fifo_segment_t * fs);
Dave Barach1f75cfd2017-04-14 16:46:44 -0400203u32 svm_fifo_number_ooo_segments (svm_fifo_t * f);
204ooo_segment_t *svm_fifo_first_ooo_segment (svm_fifo_t * f);
Florin Corasc28764f2017-04-26 00:08:42 -0700205void svm_fifo_init_pointers (svm_fifo_t * f, u32 pointer);
Florin Coras7fb0fe12018-04-09 09:24:52 -0700206void svm_fifo_overwrite_head (svm_fifo_t * f, u8 * data, u32 len);
Dave Barach68b0fb02017-02-28 15:15:56 -0500207
Florin Coras6cf30ad2017-04-04 23:08:23 -0700208format_function_t format_svm_fifo;
209
Dave Barach68b0fb02017-02-28 15:15:56 -0500210always_inline ooo_segment_t *
211svm_fifo_newest_ooo_segment (svm_fifo_t * f)
212{
Florin Corasf03a59a2017-06-09 21:07:32 -0700213 if (f->ooos_newest == OOO_SEGMENT_INVALID_INDEX)
214 return 0;
215 return pool_elt_at_index (f->ooo_segments, f->ooos_newest);
216}
217
Florin Coras3eb50622017-07-13 01:24:57 -0400218always_inline void
219svm_fifo_newest_ooo_segment_reset (svm_fifo_t * f)
220{
221 f->ooos_newest = OOO_SEGMENT_INVALID_INDEX;
222}
223
Florin Coras58d36f02018-03-09 13:05:53 -0800224/**
225 * Max contiguous chunk of data that can be read
226 */
227always_inline u32
228svm_fifo_max_read_chunk (svm_fifo_t * f)
229{
230 return ((f->tail > f->head) ? (f->tail - f->head) : (f->nitems - f->head));
231}
232
233/**
234 * Max contiguous chunk of data that can be written
235 */
236always_inline u32
237svm_fifo_max_write_chunk (svm_fifo_t * f)
238{
239 return ((f->tail >= f->head) ? (f->nitems - f->tail) : (f->head - f->tail));
240}
241
242/**
243 * Advance tail pointer
244 *
245 * Useful for moving tail pointer after external enqueue.
246 */
247always_inline void
248svm_fifo_enqueue_nocopy (svm_fifo_t * f, u32 bytes)
249{
250 ASSERT (bytes <= svm_fifo_max_enqueue (f));
251 f->tail = (f->tail + bytes) % f->nitems;
252 f->cursize += bytes;
253}
254
255always_inline u8 *
256svm_fifo_head (svm_fifo_t * f)
257{
258 return (f->data + f->head);
259}
260
261always_inline u8 *
262svm_fifo_tail (svm_fifo_t * f)
263{
264 return (f->data + f->tail);
265}
266
Florin Corasf03a59a2017-06-09 21:07:32 -0700267always_inline u32
Dave Barach2c25a622017-06-26 11:35:07 -0400268ooo_segment_distance_from_tail (svm_fifo_t * f, u32 pos)
Florin Corasf03a59a2017-06-09 21:07:32 -0700269{
270 /* Ambiguous. Assumption is that ooo segments don't touch tail */
Dave Barach2c25a622017-06-26 11:35:07 -0400271 if (PREDICT_FALSE (pos == f->tail && f->tail == f->head))
Florin Corasf03a59a2017-06-09 21:07:32 -0700272 return f->nitems;
273
Dave Barach2c25a622017-06-26 11:35:07 -0400274 return (((f->nitems + pos) - f->tail) % f->nitems);
275}
276
277always_inline u32
278ooo_segment_distance_to_tail (svm_fifo_t * f, u32 pos)
279{
280 return (((f->nitems + f->tail) - pos) % f->nitems);
Dave Barach68b0fb02017-02-28 15:15:56 -0500281}
282
283always_inline u32
284ooo_segment_offset (svm_fifo_t * f, ooo_segment_t * s)
285{
Dave Barach2c25a622017-06-26 11:35:07 -0400286 return ooo_segment_distance_from_tail (f, s->start);
Dave Barach68b0fb02017-02-28 15:15:56 -0500287}
288
289always_inline u32
290ooo_segment_end_offset (svm_fifo_t * f, ooo_segment_t * s)
291{
Dave Barach2c25a622017-06-26 11:35:07 -0400292 return ooo_segment_distance_from_tail (f, s->start) + s->length;
Florin Corasf03a59a2017-06-09 21:07:32 -0700293}
294
295always_inline u32
296ooo_segment_length (svm_fifo_t * f, ooo_segment_t * s)
297{
298 return s->length;
Dave Barach1f75cfd2017-04-14 16:46:44 -0400299}
300
301always_inline ooo_segment_t *
302ooo_segment_get_prev (svm_fifo_t * f, ooo_segment_t * s)
303{
304 if (s->prev == OOO_SEGMENT_INVALID_INDEX)
305 return 0;
306 return pool_elt_at_index (f->ooo_segments, s->prev);
Dave Barach68b0fb02017-02-28 15:15:56 -0500307}
308
Florin Coras3eb50622017-07-13 01:24:57 -0400309always_inline ooo_segment_t *
310ooo_segment_next (svm_fifo_t * f, ooo_segment_t * s)
311{
312 if (s->next == OOO_SEGMENT_INVALID_INDEX)
313 return 0;
314 return pool_elt_at_index (f->ooo_segments, s->next);
315}
316
Dave Barach68b0fb02017-02-28 15:15:56 -0500317#endif /* __included_ssvm_fifo_h__ */
318
319/*
320 * fd.io coding-style-patch-verification: ON
321 *
322 * Local Variables:
323 * eval: (c-set-style "gnu")
324 * End:
325 */