Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 1 | /* |
| 2 | Copyright (c) 2014 Cisco and/or its affiliates. |
| 3 | |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at: |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
Chris Luke | 16bcf7d | 2016-09-01 14:31:46 -0400 | [diff] [blame] | 17 | /** @cond DOCUMENTATION_IS_IN_BIHASH_DOC_H */ |
Dave Barach | dd3a57f | 2016-07-27 16:58:51 -0400 | [diff] [blame] | 18 | |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 19 | /* |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 20 | * Note: to instantiate the template multiple times in a single file, |
| 21 | * #undef __included_bihash_template_h__... |
| 22 | */ |
| 23 | #ifndef __included_bihash_template_h__ |
| 24 | #define __included_bihash_template_h__ |
| 25 | |
| 26 | #include <vppinfra/heap.h> |
| 27 | #include <vppinfra/format.h> |
| 28 | #include <vppinfra/pool.h> |
Dave Barach | 30765e7 | 2018-02-23 07:45:36 -0500 | [diff] [blame] | 29 | #include <vppinfra/cache.h> |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 30 | |
| 31 | #ifndef BIHASH_TYPE |
| 32 | #error BIHASH_TYPE not defined |
| 33 | #endif |
| 34 | |
| 35 | #define _bv(a,b) a##b |
| 36 | #define __bv(a,b) _bv(a,b) |
| 37 | #define BV(a) __bv(a,BIHASH_TYPE) |
| 38 | |
| 39 | #define _bvt(a,b) a##b##_t |
| 40 | #define __bvt(a,b) _bvt(a,b) |
| 41 | #define BVT(a) __bvt(a,BIHASH_TYPE) |
| 42 | |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 43 | typedef struct BV (clib_bihash_value) |
| 44 | { |
| 45 | union |
| 46 | { |
| 47 | BVT (clib_bihash_kv) kvp[BIHASH_KVP_PER_PAGE]; |
| 48 | struct BV (clib_bihash_value) * next_free; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 49 | }; |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 50 | } BVT (clib_bihash_value); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 51 | |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 52 | #if BIHASH_KVP_CACHE_SIZE > 5 |
| 53 | #error Requested KVP cache LRU data exceeds 16 bits |
| 54 | #endif |
| 55 | |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 56 | typedef struct |
| 57 | { |
| 58 | union |
| 59 | { |
| 60 | struct |
| 61 | { |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 62 | u32 offset; |
Dave Barach | 5e6b958 | 2016-12-12 15:37:29 -0500 | [diff] [blame] | 63 | u8 linear_search; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 64 | u8 log2_pages; |
Dave Barach | e7d212f | 2018-02-07 13:14:06 -0500 | [diff] [blame] | 65 | i16 refcnt; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 66 | }; |
| 67 | u64 as_u64; |
| 68 | }; |
Dave Barach | c8ef08a | 2017-08-31 05:58:22 -0400 | [diff] [blame] | 69 | #if BIHASH_KVP_CACHE_SIZE > 0 |
Dave Barach | e7d212f | 2018-02-07 13:14:06 -0500 | [diff] [blame] | 70 | u16 cache_lru; |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 71 | BVT (clib_bihash_kv) cache[BIHASH_KVP_CACHE_SIZE]; |
Dave Barach | c8ef08a | 2017-08-31 05:58:22 -0400 | [diff] [blame] | 72 | #endif |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 73 | } BVT (clib_bihash_bucket); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 74 | |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 75 | typedef struct |
| 76 | { |
| 77 | BVT (clib_bihash_value) * values; |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 78 | BVT (clib_bihash_bucket) * buckets; |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 79 | volatile u32 *writer_lock; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 80 | |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 81 | BVT (clib_bihash_value) ** working_copies; |
Dave Barach | ba7ddfe | 2017-05-17 20:20:50 -0400 | [diff] [blame] | 82 | int *working_copy_lengths; |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 83 | BVT (clib_bihash_bucket) saved_bucket; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 84 | |
| 85 | u32 nbuckets; |
| 86 | u32 log2_nbuckets; |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 87 | u8 *name; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 88 | |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 89 | u64 cache_hits; |
| 90 | u64 cache_misses; |
| 91 | |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 92 | BVT (clib_bihash_value) ** freelists; |
Dave Barach | 97f5af0 | 2018-02-22 09:48:45 -0500 | [diff] [blame] | 93 | |
| 94 | /* |
Dave Barach | 30765e7 | 2018-02-23 07:45:36 -0500 | [diff] [blame] | 95 | * Backing store allocation. Since bihash manages its own |
Dave Barach | 97f5af0 | 2018-02-22 09:48:45 -0500 | [diff] [blame] | 96 | * freelists, we simple dole out memory at alloc_arena_next. |
| 97 | */ |
| 98 | uword alloc_arena; |
| 99 | uword alloc_arena_next; |
| 100 | uword alloc_arena_size; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 101 | |
Vijayabhaskar Katamreddy | fb8e61c | 2017-12-14 13:20:50 -0800 | [diff] [blame] | 102 | /** |
| 103 | * A custom format function to print the Key and Value of bihash_key instead of default hexdump |
| 104 | */ |
| 105 | format_function_t *fmt_fn; |
| 106 | |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 107 | } BVT (clib_bihash); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 108 | |
| 109 | |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 110 | static inline void |
| 111 | BV (clib_bihash_update_lru) (BVT (clib_bihash_bucket) * b, u8 slot) |
| 112 | { |
Dave Barach | e7d212f | 2018-02-07 13:14:06 -0500 | [diff] [blame] | 113 | #if BIHASH_KVP_CACHE_SIZE > 1 |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 114 | u16 value, tmp, mask; |
| 115 | u8 found_lru_pos; |
| 116 | u16 save_hi; |
| 117 | |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 118 | ASSERT (slot < BIHASH_KVP_CACHE_SIZE); |
| 119 | |
| 120 | /* First, find the slot in cache_lru */ |
| 121 | mask = slot; |
| 122 | if (BIHASH_KVP_CACHE_SIZE > 1) |
| 123 | mask |= slot << 3; |
| 124 | if (BIHASH_KVP_CACHE_SIZE > 2) |
| 125 | mask |= slot << 6; |
| 126 | if (BIHASH_KVP_CACHE_SIZE > 3) |
| 127 | mask |= slot << 9; |
| 128 | if (BIHASH_KVP_CACHE_SIZE > 4) |
| 129 | mask |= slot << 12; |
| 130 | |
| 131 | value = b->cache_lru; |
| 132 | tmp = value ^ mask; |
| 133 | |
| 134 | /* Already the most-recently used? */ |
| 135 | if ((tmp & 7) == 0) |
| 136 | return; |
| 137 | |
| 138 | found_lru_pos = ((tmp & (7 << 3)) == 0) ? 1 : 0; |
| 139 | if (BIHASH_KVP_CACHE_SIZE > 2) |
| 140 | found_lru_pos = ((tmp & (7 << 6)) == 0) ? 2 : found_lru_pos; |
| 141 | if (BIHASH_KVP_CACHE_SIZE > 3) |
| 142 | found_lru_pos = ((tmp & (7 << 9)) == 0) ? 3 : found_lru_pos; |
| 143 | if (BIHASH_KVP_CACHE_SIZE > 4) |
| 144 | found_lru_pos = ((tmp & (7 << 12)) == 0) ? 4 : found_lru_pos; |
| 145 | |
| 146 | ASSERT (found_lru_pos); |
| 147 | |
| 148 | /* create a mask to kill bits in or above slot */ |
| 149 | mask = 0xFFFF << found_lru_pos; |
| 150 | mask <<= found_lru_pos; |
| 151 | mask <<= found_lru_pos; |
| 152 | mask ^= 0xFFFF; |
| 153 | tmp = value & mask; |
| 154 | |
| 155 | /* Save bits above slot */ |
| 156 | mask ^= 0xFFFF; |
| 157 | mask <<= 3; |
| 158 | save_hi = value & mask; |
| 159 | |
| 160 | value = save_hi | (tmp << 3) | slot; |
| 161 | |
| 162 | b->cache_lru = value; |
Dave Barach | e7d212f | 2018-02-07 13:14:06 -0500 | [diff] [blame] | 163 | #endif |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 164 | } |
| 165 | |
| 166 | void |
| 167 | BV (clib_bihash_update_lru_not_inline) (BVT (clib_bihash_bucket) * b, |
| 168 | u8 slot); |
| 169 | |
| 170 | static inline u8 BV (clib_bihash_get_lru) (BVT (clib_bihash_bucket) * b) |
| 171 | { |
Dave Barach | c8ef08a | 2017-08-31 05:58:22 -0400 | [diff] [blame] | 172 | #if BIHASH_KVP_CACHE_SIZE > 0 |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 173 | return (b->cache_lru >> (3 * (BIHASH_KVP_CACHE_SIZE - 1))) & 7; |
Dave Barach | c8ef08a | 2017-08-31 05:58:22 -0400 | [diff] [blame] | 174 | #else |
| 175 | return 0; |
| 176 | #endif |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 177 | } |
| 178 | |
| 179 | static inline void BV (clib_bihash_reset_cache) (BVT (clib_bihash_bucket) * b) |
| 180 | { |
Dave Barach | c8ef08a | 2017-08-31 05:58:22 -0400 | [diff] [blame] | 181 | #if BIHASH_KVP_CACHE_SIZE > 0 |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 182 | u16 initial_lru_value; |
| 183 | |
| 184 | memset (b->cache, 0xff, sizeof (b->cache)); |
| 185 | |
| 186 | /* |
| 187 | * We'll want the cache to be loaded from slot 0 -> slot N, so |
| 188 | * the initial LRU order is reverse index order. |
| 189 | */ |
| 190 | if (BIHASH_KVP_CACHE_SIZE == 1) |
| 191 | initial_lru_value = 0; |
| 192 | else if (BIHASH_KVP_CACHE_SIZE == 2) |
| 193 | initial_lru_value = (0 << 3) | (1 << 0); |
| 194 | else if (BIHASH_KVP_CACHE_SIZE == 3) |
| 195 | initial_lru_value = (0 << 6) | (1 << 3) | (2 << 0); |
| 196 | else if (BIHASH_KVP_CACHE_SIZE == 4) |
| 197 | initial_lru_value = (0 << 9) | (1 << 6) | (2 << 3) | (3 << 0); |
| 198 | else if (BIHASH_KVP_CACHE_SIZE == 5) |
| 199 | initial_lru_value = (0 << 12) | (1 << 9) | (2 << 6) | (3 << 3) | (4 << 0); |
| 200 | |
| 201 | b->cache_lru = initial_lru_value; |
Dave Barach | c8ef08a | 2017-08-31 05:58:22 -0400 | [diff] [blame] | 202 | #endif |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 203 | } |
| 204 | |
Dave Barach | 858c06f | 2017-07-21 10:44:27 -0400 | [diff] [blame] | 205 | static inline int BV (clib_bihash_lock_bucket) (BVT (clib_bihash_bucket) * b) |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 206 | { |
Dave Barach | e7d212f | 2018-02-07 13:14:06 -0500 | [diff] [blame] | 207 | #if BIHASH_KVP_CACHE_SIZE > 0 |
| 208 | u16 cache_lru_bit; |
| 209 | u16 rv; |
Dave Barach | 858c06f | 2017-07-21 10:44:27 -0400 | [diff] [blame] | 210 | |
Dave Barach | e7d212f | 2018-02-07 13:14:06 -0500 | [diff] [blame] | 211 | cache_lru_bit = 1 << 15; |
Dave Barach | 858c06f | 2017-07-21 10:44:27 -0400 | [diff] [blame] | 212 | |
Dave Barach | e7d212f | 2018-02-07 13:14:06 -0500 | [diff] [blame] | 213 | rv = __sync_fetch_and_or (&b->cache_lru, cache_lru_bit); |
Dave Barach | 858c06f | 2017-07-21 10:44:27 -0400 | [diff] [blame] | 214 | /* Was already locked? */ |
Dave Barach | e7d212f | 2018-02-07 13:14:06 -0500 | [diff] [blame] | 215 | if (rv & (1 << 15)) |
Dave Barach | 858c06f | 2017-07-21 10:44:27 -0400 | [diff] [blame] | 216 | return 0; |
Dave Barach | e7d212f | 2018-02-07 13:14:06 -0500 | [diff] [blame] | 217 | #endif |
Dave Barach | 858c06f | 2017-07-21 10:44:27 -0400 | [diff] [blame] | 218 | return 1; |
| 219 | } |
| 220 | |
| 221 | static inline void BV (clib_bihash_unlock_bucket) |
| 222 | (BVT (clib_bihash_bucket) * b) |
| 223 | { |
Dave Barach | e7d212f | 2018-02-07 13:14:06 -0500 | [diff] [blame] | 224 | #if BIHASH_KVP_CACHE_SIZE > 0 |
| 225 | u16 cache_lru; |
Dave Barach | 858c06f | 2017-07-21 10:44:27 -0400 | [diff] [blame] | 226 | |
Dave Barach | e7d212f | 2018-02-07 13:14:06 -0500 | [diff] [blame] | 227 | cache_lru = b->cache_lru & ~(1 << 15); |
| 228 | b->cache_lru = cache_lru; |
| 229 | #endif |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 230 | } |
| 231 | |
| 232 | static inline void *BV (clib_bihash_get_value) (BVT (clib_bihash) * h, |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 233 | uword offset) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 234 | { |
Dave Barach | 97f5af0 | 2018-02-22 09:48:45 -0500 | [diff] [blame] | 235 | u8 *hp = (u8 *) h->alloc_arena; |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 236 | u8 *vp = hp + offset; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 237 | |
| 238 | return (void *) vp; |
| 239 | } |
| 240 | |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 241 | static inline uword BV (clib_bihash_get_offset) (BVT (clib_bihash) * h, |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 242 | void *v) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 243 | { |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 244 | u8 *hp, *vp; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 245 | |
Dave Barach | 97f5af0 | 2018-02-22 09:48:45 -0500 | [diff] [blame] | 246 | hp = (u8 *) h->alloc_arena; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 247 | vp = (u8 *) v; |
| 248 | |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 249 | return vp - hp; |
| 250 | } |
| 251 | |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 252 | void BV (clib_bihash_init) |
| 253 | (BVT (clib_bihash) * h, char *name, u32 nbuckets, uword memory_size); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 254 | |
Vijayabhaskar Katamreddy | fb8e61c | 2017-12-14 13:20:50 -0800 | [diff] [blame] | 255 | void BV (clib_bihash_set_kvp_format_fn) (BVT (clib_bihash) * h, |
| 256 | format_function_t * fmt_fn); |
| 257 | |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 258 | void BV (clib_bihash_free) (BVT (clib_bihash) * h); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 259 | |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 260 | int BV (clib_bihash_add_del) (BVT (clib_bihash) * h, |
| 261 | BVT (clib_bihash_kv) * add_v, int is_add); |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 262 | int BV (clib_bihash_search) (BVT (clib_bihash) * h, |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 263 | BVT (clib_bihash_kv) * search_v, |
| 264 | BVT (clib_bihash_kv) * return_v); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 265 | |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 266 | void BV (clib_bihash_foreach_key_value_pair) (BVT (clib_bihash) * h, |
| 267 | void *callback, void *arg); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 268 | |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 269 | format_function_t BV (format_bihash); |
| 270 | format_function_t BV (format_bihash_kvp); |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 271 | format_function_t BV (format_bihash_lru); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 272 | |
Dave Barach | 30765e7 | 2018-02-23 07:45:36 -0500 | [diff] [blame] | 273 | static inline int BV (clib_bihash_search_inline_with_hash) |
| 274 | (BVT (clib_bihash) * h, u64 hash, BVT (clib_bihash_kv) * key_result) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 275 | { |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 276 | u32 bucket_index; |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 277 | BVT (clib_bihash_value) * v; |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 278 | BVT (clib_bihash_bucket) * b; |
Dave Barach | c8ef08a | 2017-08-31 05:58:22 -0400 | [diff] [blame] | 279 | #if BIHASH_KVP_CACHE_SIZE > 0 |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 280 | BVT (clib_bihash_kv) * kvp; |
Dave Barach | c8ef08a | 2017-08-31 05:58:22 -0400 | [diff] [blame] | 281 | #endif |
Dave Barach | 5e6b958 | 2016-12-12 15:37:29 -0500 | [diff] [blame] | 282 | int i, limit; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 283 | |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 284 | bucket_index = hash & (h->nbuckets - 1); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 285 | b = &h->buckets[bucket_index]; |
| 286 | |
| 287 | if (b->offset == 0) |
| 288 | return -1; |
| 289 | |
Dave Barach | c8ef08a | 2017-08-31 05:58:22 -0400 | [diff] [blame] | 290 | #if BIHASH_KVP_CACHE_SIZE > 0 |
Dave Barach | 858c06f | 2017-07-21 10:44:27 -0400 | [diff] [blame] | 291 | /* Check the cache, if not currently locked */ |
| 292 | if (PREDICT_TRUE ((b->cache_lru & (1 << 15)) == 0)) |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 293 | { |
| 294 | limit = BIHASH_KVP_CACHE_SIZE; |
| 295 | kvp = b->cache; |
| 296 | for (i = 0; i < limit; i++) |
| 297 | { |
| 298 | if (BV (clib_bihash_key_compare) (kvp[i].key, key_result->key)) |
| 299 | { |
| 300 | *key_result = kvp[i]; |
| 301 | h->cache_hits++; |
| 302 | return 0; |
| 303 | } |
| 304 | } |
| 305 | } |
Dave Barach | c8ef08a | 2017-08-31 05:58:22 -0400 | [diff] [blame] | 306 | #endif |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 307 | |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 308 | hash >>= h->log2_nbuckets; |
| 309 | |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 310 | v = BV (clib_bihash_get_value) (h, b->offset); |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 311 | |
Dave Barach | 5e6b958 | 2016-12-12 15:37:29 -0500 | [diff] [blame] | 312 | /* If the bucket has unresolvable collisions, use linear search */ |
| 313 | limit = BIHASH_KVP_PER_PAGE; |
| 314 | v += (b->linear_search == 0) ? hash & ((1 << b->log2_pages) - 1) : 0; |
| 315 | if (PREDICT_FALSE (b->linear_search)) |
| 316 | limit <<= b->log2_pages; |
| 317 | |
| 318 | for (i = 0; i < limit; i++) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 319 | { |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 320 | if (BV (clib_bihash_key_compare) (v->kvp[i].key, key_result->key)) |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 321 | { |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 322 | *key_result = v->kvp[i]; |
| 323 | |
Dave Barach | c8ef08a | 2017-08-31 05:58:22 -0400 | [diff] [blame] | 324 | #if BIHASH_KVP_CACHE_SIZE > 0 |
| 325 | u8 cache_slot; |
Dave Barach | 858c06f | 2017-07-21 10:44:27 -0400 | [diff] [blame] | 326 | /* Try to lock the bucket */ |
| 327 | if (BV (clib_bihash_lock_bucket) (b)) |
| 328 | { |
| 329 | cache_slot = BV (clib_bihash_get_lru) (b); |
| 330 | b->cache[cache_slot] = v->kvp[i]; |
| 331 | BV (clib_bihash_update_lru) (b, cache_slot); |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 332 | |
Dave Barach | 858c06f | 2017-07-21 10:44:27 -0400 | [diff] [blame] | 333 | /* Unlock the bucket */ |
| 334 | BV (clib_bihash_unlock_bucket) (b); |
| 335 | h->cache_misses++; |
| 336 | } |
Dave Barach | c8ef08a | 2017-08-31 05:58:22 -0400 | [diff] [blame] | 337 | #endif |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 338 | return 0; |
| 339 | } |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 340 | } |
| 341 | return -1; |
| 342 | } |
| 343 | |
Dave Barach | 30765e7 | 2018-02-23 07:45:36 -0500 | [diff] [blame] | 344 | static inline int BV (clib_bihash_search_inline) |
| 345 | (BVT (clib_bihash) * h, BVT (clib_bihash_kv) * key_result) |
| 346 | { |
| 347 | u64 hash; |
| 348 | |
| 349 | hash = BV (clib_bihash_hash) (key_result); |
| 350 | |
| 351 | return BV (clib_bihash_search_inline_with_hash) (h, hash, key_result); |
| 352 | } |
| 353 | |
| 354 | static inline void BV (clib_bihash_prefetch_bucket) |
| 355 | (BVT (clib_bihash) * h, u64 hash) |
| 356 | { |
| 357 | u32 bucket_index; |
| 358 | BVT (clib_bihash_bucket) * b; |
| 359 | |
| 360 | bucket_index = hash & (h->nbuckets - 1); |
| 361 | b = &h->buckets[bucket_index]; |
| 362 | |
| 363 | CLIB_PREFETCH (b, CLIB_CACHE_LINE_BYTES, READ); |
| 364 | } |
| 365 | |
| 366 | static inline void BV (clib_bihash_prefetch_data) |
| 367 | (BVT (clib_bihash) * h, u64 hash) |
| 368 | { |
| 369 | u32 bucket_index; |
| 370 | BVT (clib_bihash_value) * v; |
| 371 | BVT (clib_bihash_bucket) * b; |
| 372 | |
| 373 | bucket_index = hash & (h->nbuckets - 1); |
| 374 | b = &h->buckets[bucket_index]; |
| 375 | |
| 376 | if (PREDICT_FALSE (b->offset == 0)) |
| 377 | return; |
| 378 | |
| 379 | hash >>= h->log2_nbuckets; |
| 380 | v = BV (clib_bihash_get_value) (h, b->offset); |
| 381 | |
| 382 | v += (b->linear_search == 0) ? hash & ((1 << b->log2_pages) - 1) : 0; |
| 383 | |
| 384 | CLIB_PREFETCH (v, CLIB_CACHE_LINE_BYTES, READ); |
| 385 | } |
| 386 | |
Andrew Yourtchenko | abcddcb | 2018-05-27 20:56:26 +0200 | [diff] [blame] | 387 | static inline int BV (clib_bihash_search_inline_2_with_hash) |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 388 | (BVT (clib_bihash) * h, |
Andrew Yourtchenko | abcddcb | 2018-05-27 20:56:26 +0200 | [diff] [blame] | 389 | u64 hash, BVT (clib_bihash_kv) * search_key, BVT (clib_bihash_kv) * valuep) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 390 | { |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 391 | u32 bucket_index; |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 392 | BVT (clib_bihash_value) * v; |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 393 | BVT (clib_bihash_bucket) * b; |
Dave Barach | c8ef08a | 2017-08-31 05:58:22 -0400 | [diff] [blame] | 394 | #if BIHASH_KVP_CACHE_SIZE > 0 |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 395 | BVT (clib_bihash_kv) * kvp; |
Dave Barach | c8ef08a | 2017-08-31 05:58:22 -0400 | [diff] [blame] | 396 | #endif |
Dave Barach | 5e6b958 | 2016-12-12 15:37:29 -0500 | [diff] [blame] | 397 | int i, limit; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 398 | |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 399 | ASSERT (valuep); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 400 | |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 401 | bucket_index = hash & (h->nbuckets - 1); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 402 | b = &h->buckets[bucket_index]; |
| 403 | |
| 404 | if (b->offset == 0) |
| 405 | return -1; |
| 406 | |
Dave Barach | 858c06f | 2017-07-21 10:44:27 -0400 | [diff] [blame] | 407 | /* Check the cache, if currently unlocked */ |
Dave Barach | c8ef08a | 2017-08-31 05:58:22 -0400 | [diff] [blame] | 408 | #if BIHASH_KVP_CACHE_SIZE > 0 |
Dave Barach | 858c06f | 2017-07-21 10:44:27 -0400 | [diff] [blame] | 409 | if (PREDICT_TRUE ((b->cache_lru & (1 << 15)) == 0)) |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 410 | { |
| 411 | limit = BIHASH_KVP_CACHE_SIZE; |
| 412 | kvp = b->cache; |
| 413 | for (i = 0; i < limit; i++) |
| 414 | { |
| 415 | if (BV (clib_bihash_key_compare) (kvp[i].key, search_key->key)) |
| 416 | { |
| 417 | *valuep = kvp[i]; |
| 418 | h->cache_hits++; |
| 419 | return 0; |
| 420 | } |
| 421 | } |
| 422 | } |
Dave Barach | c8ef08a | 2017-08-31 05:58:22 -0400 | [diff] [blame] | 423 | #endif |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 424 | |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 425 | hash >>= h->log2_nbuckets; |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 426 | v = BV (clib_bihash_get_value) (h, b->offset); |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 427 | |
Dave Barach | 5e6b958 | 2016-12-12 15:37:29 -0500 | [diff] [blame] | 428 | /* If the bucket has unresolvable collisions, use linear search */ |
| 429 | limit = BIHASH_KVP_PER_PAGE; |
| 430 | v += (b->linear_search == 0) ? hash & ((1 << b->log2_pages) - 1) : 0; |
| 431 | if (PREDICT_FALSE (b->linear_search)) |
| 432 | limit <<= b->log2_pages; |
| 433 | |
| 434 | for (i = 0; i < limit; i++) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 435 | { |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 436 | if (BV (clib_bihash_key_compare) (v->kvp[i].key, search_key->key)) |
| 437 | { |
| 438 | *valuep = v->kvp[i]; |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 439 | |
Dave Barach | c8ef08a | 2017-08-31 05:58:22 -0400 | [diff] [blame] | 440 | #if BIHASH_KVP_CACHE_SIZE > 0 |
| 441 | u8 cache_slot; |
| 442 | |
Dave Barach | 858c06f | 2017-07-21 10:44:27 -0400 | [diff] [blame] | 443 | /* Try to lock the bucket */ |
| 444 | if (BV (clib_bihash_lock_bucket) (b)) |
| 445 | { |
| 446 | cache_slot = BV (clib_bihash_get_lru) (b); |
| 447 | b->cache[cache_slot] = v->kvp[i]; |
| 448 | BV (clib_bihash_update_lru) (b, cache_slot); |
Dave Barach | 908a5ea | 2017-07-14 12:42:21 -0400 | [diff] [blame] | 449 | |
Dave Barach | 858c06f | 2017-07-21 10:44:27 -0400 | [diff] [blame] | 450 | /* Reenable the cache */ |
| 451 | BV (clib_bihash_unlock_bucket) (b); |
| 452 | h->cache_misses++; |
| 453 | } |
Dave Barach | c8ef08a | 2017-08-31 05:58:22 -0400 | [diff] [blame] | 454 | #endif |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 455 | return 0; |
| 456 | } |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 457 | } |
| 458 | return -1; |
| 459 | } |
| 460 | |
Andrew Yourtchenko | abcddcb | 2018-05-27 20:56:26 +0200 | [diff] [blame] | 461 | static inline int BV (clib_bihash_search_inline_2) |
| 462 | (BVT (clib_bihash) * h, |
| 463 | BVT (clib_bihash_kv) * search_key, BVT (clib_bihash_kv) * valuep) |
| 464 | { |
| 465 | u64 hash; |
| 466 | |
| 467 | hash = BV (clib_bihash_hash) (search_key); |
| 468 | |
| 469 | return BV (clib_bihash_search_inline_2_with_hash) (h, hash, search_key, |
| 470 | valuep); |
| 471 | } |
| 472 | |
| 473 | |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 474 | #endif /* __included_bihash_template_h__ */ |
Dave Barach | dd3a57f | 2016-07-27 16:58:51 -0400 | [diff] [blame] | 475 | |
Chris Luke | 16bcf7d | 2016-09-01 14:31:46 -0400 | [diff] [blame] | 476 | /** @endcond */ |
Dave Barach | c379999 | 2016-08-15 11:12:27 -0400 | [diff] [blame] | 477 | |
| 478 | /* |
| 479 | * fd.io coding-style-patch-verification: ON |
| 480 | * |
| 481 | * Local Variables: |
| 482 | * eval: (c-set-style "gnu") |
| 483 | * End: |
| 484 | */ |