Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 1 | /* |
| 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 Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 26 | /** Out-of-order segment */ |
| 27 | typedef struct |
| 28 | { |
| 29 | u32 next; /**< Next linked-list element pool index */ |
| 30 | u32 prev; /**< Previous linked-list element pool index */ |
| 31 | |
Dave Barach | 1f75cfd | 2017-04-14 16:46:44 -0400 | [diff] [blame] | 32 | u32 start; /**< Start of segment, normalized*/ |
Florin Coras | a546481 | 2017-04-19 13:00:05 -0700 | [diff] [blame] | 33 | u32 length; /**< Length of segment */ |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 34 | } ooo_segment_t; |
| 35 | |
Dave Barach | 1f75cfd | 2017-04-14 16:46:44 -0400 | [diff] [blame] | 36 | format_function_t format_ooo_segment; |
| 37 | format_function_t format_ooo_list; |
| 38 | |
Florin Coras | 326b81e | 2018-10-04 19:03:05 -0700 | [diff] [blame] | 39 | #define SVM_FIFO_TRACE (0) |
| 40 | #define OOO_SEGMENT_INVALID_INDEX ((u32)~0) |
| 41 | #define SVM_FIFO_INVALID_SESSION_INDEX ((u32)~0) |
Florin Coras | fa76a76 | 2018-11-29 12:40:10 -0800 | [diff] [blame] | 42 | #define SVM_FIFO_INVALID_INDEX ((u32)~0) |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 43 | |
Florin Coras | 3eb5062 | 2017-07-13 01:24:57 -0400 | [diff] [blame] | 44 | typedef struct |
| 45 | { |
| 46 | u32 offset; |
| 47 | u32 len; |
| 48 | u32 action; |
| 49 | } svm_fifo_trace_elem_t; |
| 50 | |
Dave Barach | 10d8cc6 | 2017-05-30 09:30:07 -0400 | [diff] [blame] | 51 | typedef struct _svm_fifo |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 52 | { |
Florin Coras | 3e350af | 2017-03-30 02:54:28 -0700 | [diff] [blame] | 53 | volatile u32 cursize; /**< current fifo size */ |
| 54 | u32 nitems; |
| 55 | CLIB_CACHE_LINE_ALIGN_MARK (end_cursize); |
| 56 | |
Dave Barach | acd2a6a | 2017-05-16 17:41:34 -0400 | [diff] [blame] | 57 | volatile u32 has_event; /**< non-zero if deq event exists */ |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 58 | |
| 59 | /* Backpointers */ |
Florin Coras | a546481 | 2017-04-19 13:00:05 -0700 | [diff] [blame] | 60 | u32 master_session_index; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 61 | u32 client_session_index; |
Florin Coras | a546481 | 2017-04-19 13:00:05 -0700 | [diff] [blame] | 62 | u8 master_thread_index; |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 63 | u8 client_thread_index; |
Florin Coras | 6cf30ad | 2017-04-04 23:08:23 -0700 | [diff] [blame] | 64 | u32 segment_manager; |
Florin Coras | fa76a76 | 2018-11-29 12:40:10 -0800 | [diff] [blame] | 65 | u32 segment_index; |
Florin Coras | 326b81e | 2018-10-04 19:03:05 -0700 | [diff] [blame] | 66 | u32 ct_session_index; /**< Local session index for vpp */ |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 67 | CLIB_CACHE_LINE_ALIGN_MARK (end_shared); |
| 68 | u32 head; |
Florin Coras | 0e88e85 | 2018-09-17 22:09:02 -0700 | [diff] [blame] | 69 | volatile u32 want_tx_evt; /**< producer wants nudge */ |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 70 | 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 Barach | 10d8cc6 | 2017-05-30 09:30:07 -0400 | [diff] [blame] | 78 | struct _svm_fifo *next; /**< next in freelist/active chain */ |
| 79 | struct _svm_fifo *prev; /**< prev in active chain */ |
Florin Coras | 3eb5062 | 2017-07-13 01:24:57 -0400 | [diff] [blame] | 80 | #if SVM_FIFO_TRACE |
| 81 | svm_fifo_trace_elem_t *trace; |
| 82 | #endif |
Dave Barach | 818eb54 | 2017-08-02 13:56:13 -0400 | [diff] [blame] | 83 | u32 freelist_index; /**< aka log2(allocated_size) - const. */ |
| 84 | i8 refcnt; /**< reference count */ |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 85 | CLIB_CACHE_LINE_ALIGN_MARK (data); |
| 86 | } svm_fifo_t; |
| 87 | |
Florin Coras | 7fb0fe1 | 2018-04-09 09:24:52 -0700 | [diff] [blame] | 88 | typedef enum |
| 89 | { |
| 90 | SVM_FIFO_FULL = -2, |
| 91 | } svm_fifo_err_t; |
| 92 | |
Florin Coras | 2cba853 | 2018-09-11 16:33:36 -0700 | [diff] [blame] | 93 | typedef struct svm_fifo_segment_ |
| 94 | { |
| 95 | u8 *data; |
| 96 | u32 len; |
| 97 | } svm_fifo_segment_t; |
| 98 | |
Florin Coras | 3eb5062 | 2017-07-13 01:24:57 -0400 | [diff] [blame] | 99 | #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 | |
| 112 | u8 *svm_fifo_dump_trace (u8 * s, svm_fifo_t * f); |
| 113 | u8 *svm_fifo_replay (u8 * s, svm_fifo_t * f, u8 no_read, u8 verbose); |
| 114 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 115 | static inline u32 |
| 116 | svm_fifo_max_dequeue (svm_fifo_t * f) |
| 117 | { |
Sirshak Das | 19515ac | 2018-11-07 18:46:42 -0600 | [diff] [blame] | 118 | return clib_atomic_load_acq_n (&f->cursize); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 119 | } |
| 120 | |
Florin Coras | 3c2fed5 | 2018-07-04 04:15:05 -0700 | [diff] [blame] | 121 | static inline int |
| 122 | svm_fifo_is_full (svm_fifo_t * f) |
| 123 | { |
Sirshak Das | 19515ac | 2018-11-07 18:46:42 -0600 | [diff] [blame] | 124 | return (clib_atomic_load_acq_n (&f->cursize) == f->nitems); |
Florin Coras | 3c2fed5 | 2018-07-04 04:15:05 -0700 | [diff] [blame] | 125 | } |
| 126 | |
Florin Coras | 8409955 | 2018-07-22 12:59:30 -0700 | [diff] [blame] | 127 | static inline int |
| 128 | svm_fifo_is_empty (svm_fifo_t * f) |
| 129 | { |
Sirshak Das | 19515ac | 2018-11-07 18:46:42 -0600 | [diff] [blame] | 130 | return (clib_atomic_load_acq_n (&f->cursize) == 0); |
Florin Coras | 8409955 | 2018-07-22 12:59:30 -0700 | [diff] [blame] | 131 | } |
| 132 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 133 | static inline u32 |
| 134 | svm_fifo_max_enqueue (svm_fifo_t * f) |
| 135 | { |
Florin Coras | 3e350af | 2017-03-30 02:54:28 -0700 | [diff] [blame] | 136 | return f->nitems - svm_fifo_max_dequeue (f); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 137 | } |
| 138 | |
Florin Coras | 46f001d | 2018-07-11 05:25:06 -0700 | [diff] [blame] | 139 | static inline int |
| 140 | svm_fifo_has_event (svm_fifo_t * f) |
| 141 | { |
| 142 | return f->has_event; |
| 143 | } |
| 144 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 145 | static inline u8 |
| 146 | svm_fifo_has_ooo_data (svm_fifo_t * f) |
| 147 | { |
| 148 | return f->ooos_list_head != OOO_SEGMENT_INVALID_INDEX; |
| 149 | } |
| 150 | |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 151 | /** |
| 152 | * Sets fifo event flag. |
| 153 | * |
Florin Coras | 41c9e04 | 2018-09-11 00:10:41 -0700 | [diff] [blame] | 154 | * Also acts as a release barrier. |
| 155 | * |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 156 | * @return 1 if flag was not set. |
| 157 | */ |
| 158 | always_inline u8 |
| 159 | svm_fifo_set_event (svm_fifo_t * f) |
| 160 | { |
Florin Coras | 2cba853 | 2018-09-11 16:33:36 -0700 | [diff] [blame] | 161 | /* return __sync_lock_test_and_set (&f->has_event, 1) == 0; |
| 162 | return __sync_bool_compare_and_swap (&f->has_event, 0, 1); */ |
Florin Coras | 41c9e04 | 2018-09-11 00:10:41 -0700 | [diff] [blame] | 163 | return !__atomic_exchange_n (&f->has_event, 1, __ATOMIC_RELEASE); |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 164 | } |
| 165 | |
| 166 | /** |
| 167 | * Unsets fifo event flag. |
Florin Coras | 41c9e04 | 2018-09-11 00:10:41 -0700 | [diff] [blame] | 168 | * |
| 169 | * Also acts as a release barrier. |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 170 | */ |
| 171 | always_inline void |
| 172 | svm_fifo_unset_event (svm_fifo_t * f) |
| 173 | { |
Sirshak Das | 2f6d7bb | 2018-10-03 22:53:51 +0000 | [diff] [blame] | 174 | clib_atomic_release (&f->has_event); |
Florin Coras | 6792ec0 | 2017-03-13 03:49:51 -0700 | [diff] [blame] | 175 | } |
| 176 | |
Florin Coras | 0e88e85 | 2018-09-17 22:09:02 -0700 | [diff] [blame] | 177 | static inline void |
| 178 | svm_fifo_set_want_tx_evt (svm_fifo_t * f, u8 want_evt) |
| 179 | { |
| 180 | f->want_tx_evt = want_evt; |
| 181 | } |
| 182 | |
| 183 | static inline u8 |
| 184 | svm_fifo_want_tx_evt (svm_fifo_t * f) |
| 185 | { |
| 186 | return f->want_tx_evt; |
| 187 | } |
| 188 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 189 | svm_fifo_t *svm_fifo_create (u32 data_size_in_bytes); |
Florin Coras | 6cf30ad | 2017-04-04 23:08:23 -0700 | [diff] [blame] | 190 | void svm_fifo_free (svm_fifo_t * f); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 191 | |
Florin Coras | a546481 | 2017-04-19 13:00:05 -0700 | [diff] [blame] | 192 | int svm_fifo_enqueue_nowait (svm_fifo_t * f, u32 max_bytes, |
Florin Coras | 371ca50 | 2018-02-21 12:07:41 -0800 | [diff] [blame] | 193 | const u8 * copy_from_here); |
Florin Coras | a546481 | 2017-04-19 13:00:05 -0700 | [diff] [blame] | 194 | int svm_fifo_enqueue_with_offset (svm_fifo_t * f, u32 offset, |
| 195 | u32 required_bytes, u8 * copy_from_here); |
| 196 | int svm_fifo_dequeue_nowait (svm_fifo_t * f, u32 max_bytes, u8 * copy_here); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 197 | |
Florin Coras | a546481 | 2017-04-19 13:00:05 -0700 | [diff] [blame] | 198 | int svm_fifo_peek (svm_fifo_t * f, u32 offset, u32 max_bytes, u8 * copy_here); |
| 199 | int svm_fifo_dequeue_drop (svm_fifo_t * f, u32 max_bytes); |
Florin Coras | 25579b4 | 2018-06-06 17:55:02 -0700 | [diff] [blame] | 200 | void svm_fifo_dequeue_drop_all (svm_fifo_t * f); |
Florin Coras | 2cba853 | 2018-09-11 16:33:36 -0700 | [diff] [blame] | 201 | int svm_fifo_segments (svm_fifo_t * f, svm_fifo_segment_t * fs); |
| 202 | void svm_fifo_segments_free (svm_fifo_t * f, svm_fifo_segment_t * fs); |
Dave Barach | 1f75cfd | 2017-04-14 16:46:44 -0400 | [diff] [blame] | 203 | u32 svm_fifo_number_ooo_segments (svm_fifo_t * f); |
| 204 | ooo_segment_t *svm_fifo_first_ooo_segment (svm_fifo_t * f); |
Florin Coras | c28764f | 2017-04-26 00:08:42 -0700 | [diff] [blame] | 205 | void svm_fifo_init_pointers (svm_fifo_t * f, u32 pointer); |
Florin Coras | 7fb0fe1 | 2018-04-09 09:24:52 -0700 | [diff] [blame] | 206 | void svm_fifo_overwrite_head (svm_fifo_t * f, u8 * data, u32 len); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 207 | |
Florin Coras | 6cf30ad | 2017-04-04 23:08:23 -0700 | [diff] [blame] | 208 | format_function_t format_svm_fifo; |
| 209 | |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 210 | always_inline ooo_segment_t * |
| 211 | svm_fifo_newest_ooo_segment (svm_fifo_t * f) |
| 212 | { |
Florin Coras | f03a59a | 2017-06-09 21:07:32 -0700 | [diff] [blame] | 213 | 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 Coras | 3eb5062 | 2017-07-13 01:24:57 -0400 | [diff] [blame] | 218 | always_inline void |
| 219 | svm_fifo_newest_ooo_segment_reset (svm_fifo_t * f) |
| 220 | { |
| 221 | f->ooos_newest = OOO_SEGMENT_INVALID_INDEX; |
| 222 | } |
| 223 | |
Florin Coras | 58d36f0 | 2018-03-09 13:05:53 -0800 | [diff] [blame] | 224 | /** |
| 225 | * Max contiguous chunk of data that can be read |
| 226 | */ |
| 227 | always_inline u32 |
| 228 | svm_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 | */ |
| 236 | always_inline u32 |
| 237 | svm_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 | */ |
| 247 | always_inline void |
| 248 | svm_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 | |
| 255 | always_inline u8 * |
| 256 | svm_fifo_head (svm_fifo_t * f) |
| 257 | { |
| 258 | return (f->data + f->head); |
| 259 | } |
| 260 | |
| 261 | always_inline u8 * |
| 262 | svm_fifo_tail (svm_fifo_t * f) |
| 263 | { |
| 264 | return (f->data + f->tail); |
| 265 | } |
| 266 | |
Florin Coras | f03a59a | 2017-06-09 21:07:32 -0700 | [diff] [blame] | 267 | always_inline u32 |
Dave Barach | 2c25a62 | 2017-06-26 11:35:07 -0400 | [diff] [blame] | 268 | ooo_segment_distance_from_tail (svm_fifo_t * f, u32 pos) |
Florin Coras | f03a59a | 2017-06-09 21:07:32 -0700 | [diff] [blame] | 269 | { |
| 270 | /* Ambiguous. Assumption is that ooo segments don't touch tail */ |
Dave Barach | 2c25a62 | 2017-06-26 11:35:07 -0400 | [diff] [blame] | 271 | if (PREDICT_FALSE (pos == f->tail && f->tail == f->head)) |
Florin Coras | f03a59a | 2017-06-09 21:07:32 -0700 | [diff] [blame] | 272 | return f->nitems; |
| 273 | |
Dave Barach | 2c25a62 | 2017-06-26 11:35:07 -0400 | [diff] [blame] | 274 | return (((f->nitems + pos) - f->tail) % f->nitems); |
| 275 | } |
| 276 | |
| 277 | always_inline u32 |
| 278 | ooo_segment_distance_to_tail (svm_fifo_t * f, u32 pos) |
| 279 | { |
| 280 | return (((f->nitems + f->tail) - pos) % f->nitems); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 281 | } |
| 282 | |
| 283 | always_inline u32 |
| 284 | ooo_segment_offset (svm_fifo_t * f, ooo_segment_t * s) |
| 285 | { |
Dave Barach | 2c25a62 | 2017-06-26 11:35:07 -0400 | [diff] [blame] | 286 | return ooo_segment_distance_from_tail (f, s->start); |
Dave Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 287 | } |
| 288 | |
| 289 | always_inline u32 |
| 290 | ooo_segment_end_offset (svm_fifo_t * f, ooo_segment_t * s) |
| 291 | { |
Dave Barach | 2c25a62 | 2017-06-26 11:35:07 -0400 | [diff] [blame] | 292 | return ooo_segment_distance_from_tail (f, s->start) + s->length; |
Florin Coras | f03a59a | 2017-06-09 21:07:32 -0700 | [diff] [blame] | 293 | } |
| 294 | |
| 295 | always_inline u32 |
| 296 | ooo_segment_length (svm_fifo_t * f, ooo_segment_t * s) |
| 297 | { |
| 298 | return s->length; |
Dave Barach | 1f75cfd | 2017-04-14 16:46:44 -0400 | [diff] [blame] | 299 | } |
| 300 | |
| 301 | always_inline ooo_segment_t * |
| 302 | ooo_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 Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 307 | } |
| 308 | |
Florin Coras | 3eb5062 | 2017-07-13 01:24:57 -0400 | [diff] [blame] | 309 | always_inline ooo_segment_t * |
| 310 | ooo_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 Barach | 68b0fb0 | 2017-02-28 15:15:56 -0500 | [diff] [blame] | 317 | #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 | */ |