Atomic bucket lock
[vpp.git] / src / vppinfra / bihash_template.h
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
17 /** @cond DOCUMENTATION_IS_IN_BIHASH_DOC_H */
18
19 /*
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>
29
30 #ifndef BIHASH_TYPE
31 #error BIHASH_TYPE not defined
32 #endif
33
34 #define _bv(a,b) a##b
35 #define __bv(a,b) _bv(a,b)
36 #define BV(a) __bv(a,BIHASH_TYPE)
37
38 #define _bvt(a,b) a##b##_t
39 #define __bvt(a,b) _bvt(a,b)
40 #define BVT(a) __bvt(a,BIHASH_TYPE)
41
42 typedef struct BV (clib_bihash_value)
43 {
44   union
45   {
46     BVT (clib_bihash_kv) kvp[BIHASH_KVP_PER_PAGE];
47     struct BV (clib_bihash_value) * next_free;
48   };
49 } BVT (clib_bihash_value);
50
51 #if BIHASH_KVP_CACHE_SIZE > 5
52 #error Requested KVP cache LRU data exceeds 16 bits
53 #endif
54
55 typedef struct
56 {
57   union
58   {
59     struct
60     {
61       u32 offset;
62       u8 linear_search;
63       u8 log2_pages;
64       u16 cache_lru;
65     };
66     u64 as_u64;
67   };
68     BVT (clib_bihash_kv) cache[BIHASH_KVP_CACHE_SIZE];
69 } BVT (clib_bihash_bucket);
70
71 typedef struct
72 {
73   BVT (clib_bihash_value) * values;
74   BVT (clib_bihash_bucket) * buckets;
75   volatile u32 *writer_lock;
76
77     BVT (clib_bihash_value) ** working_copies;
78   int *working_copy_lengths;
79     BVT (clib_bihash_bucket) saved_bucket;
80
81   u32 nbuckets;
82   u32 log2_nbuckets;
83   u32 linear_buckets;
84   u8 *name;
85
86   u64 cache_hits;
87   u64 cache_misses;
88
89     BVT (clib_bihash_value) ** freelists;
90   void *mheap;
91
92 } BVT (clib_bihash);
93
94
95 static inline void
96 BV (clib_bihash_update_lru) (BVT (clib_bihash_bucket) * b, u8 slot)
97 {
98   u16 value, tmp, mask;
99   u8 found_lru_pos;
100   u16 save_hi;
101
102   if (BIHASH_KVP_CACHE_SIZE < 2)
103     return;
104
105   ASSERT (slot < BIHASH_KVP_CACHE_SIZE);
106
107   /* First, find the slot in cache_lru */
108   mask = slot;
109   if (BIHASH_KVP_CACHE_SIZE > 1)
110     mask |= slot << 3;
111   if (BIHASH_KVP_CACHE_SIZE > 2)
112     mask |= slot << 6;
113   if (BIHASH_KVP_CACHE_SIZE > 3)
114     mask |= slot << 9;
115   if (BIHASH_KVP_CACHE_SIZE > 4)
116     mask |= slot << 12;
117
118   value = b->cache_lru;
119   tmp = value ^ mask;
120
121   /* Already the most-recently used? */
122   if ((tmp & 7) == 0)
123     return;
124
125   found_lru_pos = ((tmp & (7 << 3)) == 0) ? 1 : 0;
126   if (BIHASH_KVP_CACHE_SIZE > 2)
127     found_lru_pos = ((tmp & (7 << 6)) == 0) ? 2 : found_lru_pos;
128   if (BIHASH_KVP_CACHE_SIZE > 3)
129     found_lru_pos = ((tmp & (7 << 9)) == 0) ? 3 : found_lru_pos;
130   if (BIHASH_KVP_CACHE_SIZE > 4)
131     found_lru_pos = ((tmp & (7 << 12)) == 0) ? 4 : found_lru_pos;
132
133   ASSERT (found_lru_pos);
134
135   /* create a mask to kill bits in or above slot */
136   mask = 0xFFFF << found_lru_pos;
137   mask <<= found_lru_pos;
138   mask <<= found_lru_pos;
139   mask ^= 0xFFFF;
140   tmp = value & mask;
141
142   /* Save bits above slot */
143   mask ^= 0xFFFF;
144   mask <<= 3;
145   save_hi = value & mask;
146
147   value = save_hi | (tmp << 3) | slot;
148
149   b->cache_lru = value;
150 }
151
152 void
153 BV (clib_bihash_update_lru_not_inline) (BVT (clib_bihash_bucket) * b,
154                                         u8 slot);
155
156 static inline u8 BV (clib_bihash_get_lru) (BVT (clib_bihash_bucket) * b)
157 {
158   return (b->cache_lru >> (3 * (BIHASH_KVP_CACHE_SIZE - 1))) & 7;
159 }
160
161 static inline void BV (clib_bihash_reset_cache) (BVT (clib_bihash_bucket) * b)
162 {
163   u16 initial_lru_value;
164
165   memset (b->cache, 0xff, sizeof (b->cache));
166
167   /*
168    * We'll want the cache to be loaded from slot 0 -> slot N, so
169    * the initial LRU order is reverse index order.
170    */
171   if (BIHASH_KVP_CACHE_SIZE == 1)
172     initial_lru_value = 0;
173   else if (BIHASH_KVP_CACHE_SIZE == 2)
174     initial_lru_value = (0 << 3) | (1 << 0);
175   else if (BIHASH_KVP_CACHE_SIZE == 3)
176     initial_lru_value = (0 << 6) | (1 << 3) | (2 << 0);
177   else if (BIHASH_KVP_CACHE_SIZE == 4)
178     initial_lru_value = (0 << 9) | (1 << 6) | (2 << 3) | (3 << 0);
179   else if (BIHASH_KVP_CACHE_SIZE == 5)
180     initial_lru_value = (0 << 12) | (1 << 9) | (2 << 6) | (3 << 3) | (4 << 0);
181
182   b->cache_lru = initial_lru_value;
183 }
184
185 static inline int BV (clib_bihash_lock_bucket) (BVT (clib_bihash_bucket) * b)
186 {
187   BVT (clib_bihash_bucket) tmp_b;
188   u64 rv;
189
190   tmp_b.as_u64 = 0;
191   tmp_b.cache_lru = 1 << 15;
192
193   rv = __sync_fetch_and_or (&b->as_u64, tmp_b.as_u64);
194   tmp_b.as_u64 = rv;
195   /* Was already locked? */
196   if (tmp_b.cache_lru & (1 << 15))
197     return 0;
198   return 1;
199 }
200
201 static inline void BV (clib_bihash_unlock_bucket)
202   (BVT (clib_bihash_bucket) * b)
203 {
204   BVT (clib_bihash_bucket) tmp_b;
205
206   tmp_b.as_u64 = b->as_u64;
207   tmp_b.cache_lru &= ~(1 << 15);
208   b->as_u64 = tmp_b.as_u64;
209 }
210
211 static inline void *BV (clib_bihash_get_value) (BVT (clib_bihash) * h,
212                                                 uword offset)
213 {
214   u8 *hp = h->mheap;
215   u8 *vp = hp + offset;
216
217   return (void *) vp;
218 }
219
220 static inline uword BV (clib_bihash_get_offset) (BVT (clib_bihash) * h,
221                                                  void *v)
222 {
223   u8 *hp, *vp;
224
225   hp = (u8 *) h->mheap;
226   vp = (u8 *) v;
227
228   ASSERT ((vp - hp) < 0x100000000ULL);
229   return vp - hp;
230 }
231
232 void BV (clib_bihash_init)
233   (BVT (clib_bihash) * h, char *name, u32 nbuckets, uword memory_size);
234
235 void BV (clib_bihash_free) (BVT (clib_bihash) * h);
236
237 int BV (clib_bihash_add_del) (BVT (clib_bihash) * h,
238                               BVT (clib_bihash_kv) * add_v, int is_add);
239 int BV (clib_bihash_search) (BVT (clib_bihash) * h,
240                              BVT (clib_bihash_kv) * search_v,
241                              BVT (clib_bihash_kv) * return_v);
242
243 void BV (clib_bihash_foreach_key_value_pair) (BVT (clib_bihash) * h,
244                                               void *callback, void *arg);
245
246 format_function_t BV (format_bihash);
247 format_function_t BV (format_bihash_kvp);
248 format_function_t BV (format_bihash_lru);
249
250 static inline int BV (clib_bihash_search_inline)
251   (BVT (clib_bihash) * h, BVT (clib_bihash_kv) * key_result)
252 {
253   u64 hash;
254   u32 bucket_index;
255   BVT (clib_bihash_value) * v;
256   BVT (clib_bihash_bucket) * b;
257   BVT (clib_bihash_kv) * kvp;
258   int i, limit;
259
260   hash = BV (clib_bihash_hash) (key_result);
261
262   bucket_index = hash & (h->nbuckets - 1);
263   b = &h->buckets[bucket_index];
264
265   if (b->offset == 0)
266     return -1;
267
268   /* Check the cache, if not currently locked */
269   if (PREDICT_TRUE ((b->cache_lru & (1 << 15)) == 0))
270     {
271       limit = BIHASH_KVP_CACHE_SIZE;
272       kvp = b->cache;
273       for (i = 0; i < limit; i++)
274         {
275           if (BV (clib_bihash_key_compare) (kvp[i].key, key_result->key))
276             {
277               *key_result = kvp[i];
278               h->cache_hits++;
279               return 0;
280             }
281         }
282     }
283
284   hash >>= h->log2_nbuckets;
285
286   v = BV (clib_bihash_get_value) (h, b->offset);
287
288   /* If the bucket has unresolvable collisions, use linear search */
289   limit = BIHASH_KVP_PER_PAGE;
290   v += (b->linear_search == 0) ? hash & ((1 << b->log2_pages) - 1) : 0;
291   if (PREDICT_FALSE (b->linear_search))
292     limit <<= b->log2_pages;
293
294   for (i = 0; i < limit; i++)
295     {
296       if (BV (clib_bihash_key_compare) (v->kvp[i].key, key_result->key))
297         {
298           u8 cache_slot;
299           *key_result = v->kvp[i];
300
301           /* Try to lock the bucket */
302           if (BV (clib_bihash_lock_bucket) (b))
303             {
304               cache_slot = BV (clib_bihash_get_lru) (b);
305               b->cache[cache_slot] = v->kvp[i];
306               BV (clib_bihash_update_lru) (b, cache_slot);
307
308               /* Unlock the bucket */
309               BV (clib_bihash_unlock_bucket) (b);
310               h->cache_misses++;
311             }
312           return 0;
313         }
314     }
315   return -1;
316 }
317
318 static inline int BV (clib_bihash_search_inline_2)
319   (BVT (clib_bihash) * h,
320    BVT (clib_bihash_kv) * search_key, BVT (clib_bihash_kv) * valuep)
321 {
322   u64 hash;
323   u32 bucket_index;
324   BVT (clib_bihash_value) * v;
325   BVT (clib_bihash_bucket) * b;
326   BVT (clib_bihash_kv) * kvp;
327   int i, limit;
328
329   ASSERT (valuep);
330
331   hash = BV (clib_bihash_hash) (search_key);
332
333   bucket_index = hash & (h->nbuckets - 1);
334   b = &h->buckets[bucket_index];
335
336   if (b->offset == 0)
337     return -1;
338
339   /* Check the cache, if currently unlocked */
340   if (PREDICT_TRUE ((b->cache_lru & (1 << 15)) == 0))
341     {
342       limit = BIHASH_KVP_CACHE_SIZE;
343       kvp = b->cache;
344       for (i = 0; i < limit; i++)
345         {
346           if (BV (clib_bihash_key_compare) (kvp[i].key, search_key->key))
347             {
348               *valuep = kvp[i];
349               h->cache_hits++;
350               return 0;
351             }
352         }
353     }
354
355   hash >>= h->log2_nbuckets;
356   v = BV (clib_bihash_get_value) (h, b->offset);
357
358   /* If the bucket has unresolvable collisions, use linear search */
359   limit = BIHASH_KVP_PER_PAGE;
360   v += (b->linear_search == 0) ? hash & ((1 << b->log2_pages) - 1) : 0;
361   if (PREDICT_FALSE (b->linear_search))
362     limit <<= b->log2_pages;
363
364   for (i = 0; i < limit; i++)
365     {
366       if (BV (clib_bihash_key_compare) (v->kvp[i].key, search_key->key))
367         {
368           u8 cache_slot;
369           *valuep = v->kvp[i];
370
371           /* Try to lock the bucket */
372           if (BV (clib_bihash_lock_bucket) (b))
373             {
374               cache_slot = BV (clib_bihash_get_lru) (b);
375               b->cache[cache_slot] = v->kvp[i];
376               BV (clib_bihash_update_lru) (b, cache_slot);
377
378               /* Reenable the cache */
379               BV (clib_bihash_unlock_bucket) (b);
380               h->cache_misses++;
381             }
382           return 0;
383         }
384     }
385   return -1;
386 }
387
388 #endif /* __included_bihash_template_h__ */
389
390 /** @endcond */
391
392 /*
393  * fd.io coding-style-patch-verification: ON
394  *
395  * Local Variables:
396  * eval: (c-set-style "gnu")
397  * End:
398  */