blob: e09d7193f68d6fb7f436c35fc0c45dc16b9aac6f [file] [log] [blame]
Ed Warnickecb9cada2015-12-08 15:45:58 -07001/*
2 * Copyright (c) 2015 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/*
16 Copyright (c) 2010 Eliot Dresselhaus
17
18 Permission is hereby granted, free of charge, to any person obtaining
19 a copy of this software and associated documentation files (the
20 "Software"), to deal in the Software without restriction, including
21 without limitation the rights to use, copy, modify, merge, publish,
22 distribute, sublicense, and/or sell copies of the Software, and to
23 permit persons to whom the Software is furnished to do so, subject to
24 the following conditions:
25
26 The above copyright notice and this permission notice shall be
27 included in all copies or substantial portions of the Software.
28
29 THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
30 EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
31 MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
32 NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
33 LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
34 OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
35 WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
36*/
37
38#include <vppinfra/mhash.h>
39
40always_inline u32
Dave Barachc3799992016-08-15 11:12:27 -040041load_partial_u32 (void *d, uword n)
Ed Warnickecb9cada2015-12-08 15:45:58 -070042{
43 if (n == 4)
44 return ((u32 *) d)[0];
45 if (n == 3)
46 return ((u16 *) d)[0] | (((u8 *) d)[2] << 16);
47 if (n == 2)
48 return ((u16 *) d)[0];
49 if (n == 1)
50 return ((u8 *) d)[0];
51 ASSERT (0);
52 return 0;
53}
54
55always_inline u32
Dave Barachc3799992016-08-15 11:12:27 -040056mhash_key_sum_inline (void *data, uword n_data_bytes, u32 seed)
Ed Warnickecb9cada2015-12-08 15:45:58 -070057{
Dave Barachc3799992016-08-15 11:12:27 -040058 u32 *d32 = data;
Ed Warnickecb9cada2015-12-08 15:45:58 -070059 u32 a, b, c, n_left;
60
61 a = b = c = seed;
62 n_left = n_data_bytes;
63 a ^= n_data_bytes;
64
65 while (n_left > 12)
66 {
67 a += d32[0];
68 b += d32[1];
69 c += d32[2];
70 hash_v3_mix32 (a, b, c);
71 n_left -= 12;
72 d32 += 3;
73 }
74
75 if (n_left > 8)
76 {
77 c += load_partial_u32 (d32 + 2, n_left - 8);
78 n_left = 8;
79 }
80 if (n_left > 4)
81 {
82 b += load_partial_u32 (d32 + 1, n_left - 4);
83 n_left = 4;
84 }
85 if (n_left > 0)
86 a += load_partial_u32 (d32 + 0, n_left - 0);
87
88 hash_v3_finalize32 (a, b, c);
89
90 return c;
91}
92
93#define foreach_mhash_key_size \
94 _ (2) _ (3) _ (4) _ (5) _ (6) _ (7) \
95 _ (8) _ (12) _ (16) _ (20) \
96 _ (24) _ (28) _ (32) _ (36) \
97 _ (40) _ (44) _ (48) _ (52) \
98 _ (56) _ (60) _ (64)
99
100#define _(N_KEY_BYTES) \
101 static uword \
102 mhash_key_sum_##N_KEY_BYTES (hash_t * h, uword key) \
103 { \
104 mhash_t * hv = uword_to_pointer (h->user, mhash_t *); \
105 return mhash_key_sum_inline (mhash_key_to_mem (hv, key), \
106 (N_KEY_BYTES), \
107 hv->hash_seed); \
108 } \
109 \
110 static uword \
111 mhash_key_equal_##N_KEY_BYTES (hash_t * h, uword key1, uword key2) \
112 { \
113 mhash_t * hv = uword_to_pointer (h->user, mhash_t *); \
114 void * k1 = mhash_key_to_mem (hv, key1); \
115 void * k2 = mhash_key_to_mem (hv, key2); \
116 return ! memcmp (k1, k2, (N_KEY_BYTES)); \
117 }
118
119foreach_mhash_key_size
Ed Warnickecb9cada2015-12-08 15:45:58 -0700120#undef _
Ed Warnickecb9cada2015-12-08 15:45:58 -0700121static uword
122mhash_key_sum_c_string (hash_t * h, uword key)
123{
Dave Barachc3799992016-08-15 11:12:27 -0400124 mhash_t *hv = uword_to_pointer (h->user, mhash_t *);
125 void *k = mhash_key_to_mem (hv, key);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700126 return mhash_key_sum_inline (k, strlen (k), hv->hash_seed);
127}
128
129static uword
130mhash_key_equal_c_string (hash_t * h, uword key1, uword key2)
131{
Dave Barachc3799992016-08-15 11:12:27 -0400132 mhash_t *hv = uword_to_pointer (h->user, mhash_t *);
133 void *k1 = mhash_key_to_mem (hv, key1);
134 void *k2 = mhash_key_to_mem (hv, key2);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700135 return strcmp (k1, k2) == 0;
136}
137
138static uword
139mhash_key_sum_vec_string (hash_t * h, uword key)
140{
Dave Barachc3799992016-08-15 11:12:27 -0400141 mhash_t *hv = uword_to_pointer (h->user, mhash_t *);
142 void *k = mhash_key_to_mem (hv, key);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700143 return mhash_key_sum_inline (k, vec_len (k), hv->hash_seed);
144}
145
146static uword
147mhash_key_equal_vec_string (hash_t * h, uword key1, uword key2)
148{
Dave Barachc3799992016-08-15 11:12:27 -0400149 mhash_t *hv = uword_to_pointer (h->user, mhash_t *);
150 void *k1 = mhash_key_to_mem (hv, key1);
151 void *k2 = mhash_key_to_mem (hv, key2);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700152 return vec_len (k1) == vec_len (k2) && memcmp (k1, k2, vec_len (k1)) == 0;
153}
154
155/* The CLIB hash user pointer must always point to a valid mhash_t.
156 Now, the address of mhash_t can change (think vec_resize).
157 So we must always be careful that it points to the correct
158 address. */
159always_inline void
160mhash_sanitize_hash_user (mhash_t * mh)
161{
Dave Barachc3799992016-08-15 11:12:27 -0400162 uword *hash = mh->hash;
163 hash_t *h = hash_header (hash);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700164 h->user = pointer_to_uword (mh);
165}
166
Dave Barachc3799992016-08-15 11:12:27 -0400167void
168mhash_init (mhash_t * h, uword n_value_bytes, uword n_key_bytes)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700169{
Dave Barachc3799992016-08-15 11:12:27 -0400170 static struct
171 {
172 hash_key_sum_function_t *key_sum;
173 hash_key_equal_function_t *key_equal;
174 } t[] =
175 {
Ed Warnickecb9cada2015-12-08 15:45:58 -0700176#define _(N_KEY_BYTES) \
177 [N_KEY_BYTES] = { \
178 .key_sum = mhash_key_sum_##N_KEY_BYTES, \
179 .key_equal = mhash_key_equal_##N_KEY_BYTES, \
180 },
181
182 foreach_mhash_key_size
Ed Warnickecb9cada2015-12-08 15:45:58 -0700183#undef _
Dave Barachc3799992016-08-15 11:12:27 -0400184 [MHASH_C_STRING_KEY] =
185 {
186 .key_sum = mhash_key_sum_c_string,.key_equal = mhash_key_equal_c_string,},
187 [MHASH_VEC_STRING_KEY] =
188 {
189 .key_sum = mhash_key_sum_vec_string,.key_equal =
190 mhash_key_equal_vec_string,},};
Ed Warnickecb9cada2015-12-08 15:45:58 -0700191
192 if (mhash_key_vector_is_heap (h))
193 heap_free (h->key_vector_or_heap);
194 else
195 vec_free (h->key_vector_or_heap);
196 vec_free (h->key_vector_free_indices);
197 {
198 int i;
199 for (i = 0; i < vec_len (h->key_tmps); i++)
200 vec_free (h->key_tmps[i]);
201 }
202 vec_free (h->key_tmps);
203 hash_free (h->hash);
204
Dave Barachb7b92992018-10-17 10:38:51 -0400205 clib_memset (h, 0, sizeof (h[0]));
Ed Warnickecb9cada2015-12-08 15:45:58 -0700206 h->n_key_bytes = n_key_bytes;
207
208#if 0
209 if (h->n_key_bytes > 0)
210 {
Dave Barachc3799992016-08-15 11:12:27 -0400211 vec_validate (h->key_tmp, h->n_key_bytes - 1);
212 _vec_len (h->key_tmp) = 0;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700213 }
214#endif
215
216 ASSERT (n_key_bytes < ARRAY_LEN (t));
Dave Barachc3799992016-08-15 11:12:27 -0400217 h->hash = hash_create2 ( /* elts */ 0,
Ed Warnickecb9cada2015-12-08 15:45:58 -0700218 /* user */ pointer_to_uword (h),
219 /* value_bytes */ n_value_bytes,
Dave Barachc3799992016-08-15 11:12:27 -0400220 t[n_key_bytes].key_sum, t[n_key_bytes].key_equal,
Ed Warnickecb9cada2015-12-08 15:45:58 -0700221 /* format pair/arg */
222 0, 0);
223}
224
Dave Barachc3799992016-08-15 11:12:27 -0400225static uword
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200226mhash_set_tmp_key (mhash_t * h, const void *key)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700227{
Dave Barachc3799992016-08-15 11:12:27 -0400228 u8 *key_tmp;
Damjan Marionf55f9b82017-05-10 21:06:28 +0200229 int my_cpu = os_get_thread_index ();
Ed Warnickecb9cada2015-12-08 15:45:58 -0700230
Dave Barachc3799992016-08-15 11:12:27 -0400231 vec_validate (h->key_tmps, my_cpu);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700232 key_tmp = h->key_tmps[my_cpu];
233
234 vec_reset_length (key_tmp);
235
236 if (mhash_key_vector_is_heap (h))
237 {
238 uword is_c_string = h->n_key_bytes == MHASH_C_STRING_KEY;
239
240 if (is_c_string)
241 vec_add (key_tmp, key, strlen (key) + 1);
242 else
243 vec_add (key_tmp, key, vec_len (key));
244 }
245 else
246 vec_add (key_tmp, key, h->n_key_bytes);
247
248 h->key_tmps[my_cpu] = key_tmp;
249
250 return ~0;
251}
252
Dave Barachc3799992016-08-15 11:12:27 -0400253hash_pair_t *
Klement Sekera0e3c0de2016-09-29 14:43:44 +0200254mhash_get_pair (mhash_t * h, const void *key)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700255{
256 uword ikey;
257 mhash_sanitize_hash_user (h);
258 ikey = mhash_set_tmp_key (h, key);
259 return hash_get_pair (h->hash, ikey);
260}
261
Dave Barachc3799992016-08-15 11:12:27 -0400262typedef struct
263{
Ed Warnickecb9cada2015-12-08 15:45:58 -0700264 u32 heap_handle;
265
Paul Vinciguerraec11b132018-09-24 05:25:00 -0700266 /* Must coincide with vec_header. */
Ed Warnickecb9cada2015-12-08 15:45:58 -0700267 vec_header_t vec;
268} mhash_string_key_t;
269
Dave Barachc3799992016-08-15 11:12:27 -0400270uword
271mhash_set_mem (mhash_t * h, void *key, uword * new_value, uword * old_value)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700272{
Dave Barachc3799992016-08-15 11:12:27 -0400273 u8 *k;
274 uword ikey, i, l = 0, n_key_bytes, old_n_elts, key_alloc_from_free_list = 0;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700275
276 mhash_sanitize_hash_user (h);
277
278 if (mhash_key_vector_is_heap (h))
279 {
Dave Barachc3799992016-08-15 11:12:27 -0400280 mhash_string_key_t *sk;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700281 uword is_c_string = h->n_key_bytes == MHASH_C_STRING_KEY;
282 uword handle;
283
284 n_key_bytes = is_c_string ? (strlen (key) + 1) : vec_len (key);
Dave Barachc3799992016-08-15 11:12:27 -0400285 i =
286 heap_alloc (h->key_vector_or_heap, n_key_bytes + sizeof (sk[0]),
287 handle);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700288
289 sk = (void *) (h->key_vector_or_heap + i);
290 sk->heap_handle = handle;
291 sk->vec.len = n_key_bytes;
Damjan Marionf1213b82016-03-13 02:22:06 +0100292 clib_memcpy (sk->vec.vector_data, key, n_key_bytes);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700293
294 /* Advance key past vector header. */
295 i += sizeof (sk[0]);
296 }
297 else
298 {
Dave Barachc3799992016-08-15 11:12:27 -0400299 key_alloc_from_free_list = (l =
300 vec_len (h->key_vector_free_indices)) > 0;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700301 if (key_alloc_from_free_list)
302 {
303 i = h->key_vector_free_indices[l - 1];
304 k = vec_elt_at_index (h->key_vector_or_heap, i);
305 _vec_len (h->key_vector_free_indices) = l - 1;
306 }
307 else
308 {
309 vec_add2 (h->key_vector_or_heap, k, h->n_key_bytes);
310 i = k - h->key_vector_or_heap;
311 }
312
313 n_key_bytes = h->n_key_bytes;
Damjan Marionf1213b82016-03-13 02:22:06 +0100314 clib_memcpy (k, key, n_key_bytes);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700315 }
316 ikey = i;
317
318 old_n_elts = hash_elts (h->hash);
319 h->hash = _hash_set3 (h->hash, ikey, new_value, old_value);
320
321 /* If element already existed remove duplicate key. */
322 if (hash_elts (h->hash) == old_n_elts)
323 {
Dave Barachc3799992016-08-15 11:12:27 -0400324 hash_pair_t *p;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700325
326 /* Fetch old key for return value. */
327 p = hash_get_pair (h->hash, ikey);
328 ikey = p->key;
329
330 /* Remove duplicate key. */
331 if (mhash_key_vector_is_heap (h))
332 {
Dave Barachc3799992016-08-15 11:12:27 -0400333 mhash_string_key_t *sk;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700334 sk = (void *) (h->key_vector_or_heap + i - sizeof (sk[0]));
335 heap_dealloc (h->key_vector_or_heap, sk->heap_handle);
336 }
337 else
338 {
339 if (key_alloc_from_free_list)
340 {
341 h->key_vector_free_indices[l] = i;
342 _vec_len (h->key_vector_free_indices) = l + 1;
343 }
344 else
345 _vec_len (h->key_vector_or_heap) -= h->n_key_bytes;
346 }
347 }
348
349 return ikey;
350}
351
Dave Barachc3799992016-08-15 11:12:27 -0400352uword
353mhash_unset (mhash_t * h, void *key, uword * old_value)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700354{
Dave Barachc3799992016-08-15 11:12:27 -0400355 hash_pair_t *p;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700356 uword i;
357
358 mhash_sanitize_hash_user (h);
359 i = mhash_set_tmp_key (h, key);
360
361 p = hash_get_pair (h->hash, i);
Dave Barachc3799992016-08-15 11:12:27 -0400362 if (!p)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700363 return 0;
364
365 ASSERT (p->key != ~0);
366 i = p->key;
367
368 if (mhash_key_vector_is_heap (h))
369 {
Dave Barachc3799992016-08-15 11:12:27 -0400370 mhash_string_key_t *sk;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700371 sk = (void *) (h->key_vector_or_heap + i) - sizeof (sk[0]);
372 heap_dealloc (h->key_vector_or_heap, sk->heap_handle);
373 }
374 else
375 vec_add1 (h->key_vector_free_indices, i);
376
377 hash_unset3 (h->hash, i, old_value);
378 return 1;
379}
380
Dave Barachc3799992016-08-15 11:12:27 -0400381u8 *
382format_mhash_key (u8 * s, va_list * va)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700383{
Dave Barachc3799992016-08-15 11:12:27 -0400384 mhash_t *h = va_arg (*va, mhash_t *);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700385 u32 ki = va_arg (*va, u32);
Dave Barachc3799992016-08-15 11:12:27 -0400386 void *k = mhash_key_to_mem (h, ki);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700387
388 if (mhash_key_vector_is_heap (h))
389 {
390 uword is_c_string = h->n_key_bytes == MHASH_C_STRING_KEY;
391 u32 l = is_c_string ? strlen (k) : vec_len (k);
392 vec_add (s, k, l);
393 }
394 else if (h->format_key)
395 s = format (s, "%U", h->format_key, k);
396 else
397 s = format (s, "%U", format_hex_bytes, k, h->n_key_bytes);
398
399 return s;
400}
Dave Barachc3799992016-08-15 11:12:27 -0400401
402/*
403 * fd.io coding-style-patch-verification: ON
404 *
405 * Local Variables:
406 * eval: (c-set-style "gnu")
407 * End:
408 */