blob: 17a728deb48eab2963c0ea39484c639093fc6ecd [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#ifndef __included_vnet_classify_h__
16#define __included_vnet_classify_h__
17
Ed Warnickecb9cada2015-12-08 15:45:58 -070018#include <vnet/vnet.h>
khemendra kumard7bfa0e2017-11-27 15:15:53 +053019#include <vnet/api_errno.h> /* for API error numbers */
Ed Warnickecb9cada2015-12-08 15:45:58 -070020
21#include <vppinfra/error.h>
22#include <vppinfra/hash.h>
23#include <vppinfra/cache.h>
Ray Kinsella7741afa2020-04-07 07:51:23 +010024#include <vppinfra/crc32.h>
Ed Warnickecb9cada2015-12-08 15:45:58 -070025#include <vppinfra/xxhash.h>
26
Jean-Mickael Guerin8941ec22016-03-04 14:14:21 +010027extern vlib_node_registration_t ip4_classify_node;
28extern vlib_node_registration_t ip6_classify_node;
Ed Warnickecb9cada2015-12-08 15:45:58 -070029
30#define CLASSIFY_TRACE 0
31
Steve Shin25e26dc2016-11-08 10:47:10 -080032/*
33 * Classify table option to process packets
34 * CLASSIFY_FLAG_USE_CURR_DATA:
35 * - classify packets starting from VPP node’s current data pointer
36 */
Neale Ranns1441a6c2020-12-14 16:02:17 +000037typedef enum vnet_classify_flags_t_
38{
39 CLASSIFY_FLAG_NONE = 0,
40 CLASSIFY_FLAG_USE_CURR_DATA = (1 << 0),
41} __clib_packed vnet_classify_flags_t;
Steve Shin25e26dc2016-11-08 10:47:10 -080042
43/*
44 * Classify session action
45 * CLASSIFY_ACTION_SET_IP4_FIB_INDEX:
46 * - Classified IP packets will be looked up
47 * from the specified ipv4 fib table
48 * CLASSIFY_ACTION_SET_IP6_FIB_INDEX:
49 * - Classified IP packets will be looked up
50 * from the specified ipv6 fib table
51 */
Neale Ranns13eaf3e2017-05-23 06:10:33 -070052typedef enum vnet_classify_action_t_
53{
Neale Ranns1441a6c2020-12-14 16:02:17 +000054 CLASSIFY_ACTION_NONE = 0,
Neale Ranns13eaf3e2017-05-23 06:10:33 -070055 CLASSIFY_ACTION_SET_IP4_FIB_INDEX = 1,
56 CLASSIFY_ACTION_SET_IP6_FIB_INDEX = 2,
Dave Barach630a8e22017-11-18 06:58:34 -050057 CLASSIFY_ACTION_SET_METADATA = 3,
Neale Ranns1441a6c2020-12-14 16:02:17 +000058} __clib_packed vnet_classify_action_t;
Steve Shin25e26dc2016-11-08 10:47:10 -080059
Ed Warnickecb9cada2015-12-08 15:45:58 -070060struct _vnet_classify_main;
61typedef struct _vnet_classify_main vnet_classify_main_t;
62
63#define foreach_size_in_u32x4 \
64_(1) \
65_(2) \
66_(3) \
67_(4) \
68_(5)
69
Neale Ranns1441a6c2020-12-14 16:02:17 +000070typedef struct _vnet_classify_entry
71{
Ed Warnickecb9cada2015-12-08 15:45:58 -070072 /* put into vnet_buffer(b)->l2_classfy.opaque_index */
Neale Ranns1441a6c2020-12-14 16:02:17 +000073 union
74 {
75 struct
76 {
Ed Warnickecb9cada2015-12-08 15:45:58 -070077 u32 opaque_index;
78 /* advance on hit, note it's a signed quantity... */
79 i32 advance;
80 };
81 u64 opaque_count;
82 };
Neale Ranns1441a6c2020-12-14 16:02:17 +000083 /* Hit counter */
84 union
85 {
86 u64 hits;
87 struct _vnet_classify_entry *next_free;
88 };
89 /* last heard time */
90 f64 last_heard;
Ed Warnickecb9cada2015-12-08 15:45:58 -070091
92 /* Really only need 1 bit */
Steve Shin25e26dc2016-11-08 10:47:10 -080093 u8 flags;
Ed Warnickecb9cada2015-12-08 15:45:58 -070094#define VNET_CLASSIFY_ENTRY_FREE (1<<0)
95
Neale Ranns13eaf3e2017-05-23 06:10:33 -070096 vnet_classify_action_t action;
Steve Shin25e26dc2016-11-08 10:47:10 -080097 u16 metadata;
Neale Ranns1441a6c2020-12-14 16:02:17 +000098 /* Graph node next index */
99 u32 next_index;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700100
101 /* Must be aligned to a 16-octet boundary */
102 u32x4 key[0];
Neale Ranns1441a6c2020-12-14 16:02:17 +0000103} vnet_classify_entry_t;
104
105/**
106 * Check there's no padding in the entry. the key lies on a 16 byte boundary.
107 */
108STATIC_ASSERT_OFFSET_OF (vnet_classify_entry_t, key, 32);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700109
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530110static inline int
111vnet_classify_entry_is_free (vnet_classify_entry_t * e)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700112{
113 return e->flags & VNET_CLASSIFY_ENTRY_FREE;
114}
115
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530116static inline int
117vnet_classify_entry_is_busy (vnet_classify_entry_t * e)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700118{
119 return ((e->flags & VNET_CLASSIFY_ENTRY_FREE) == 0);
120}
121
122/* Need these to con the vector allocator */
Neale Ranns1441a6c2020-12-14 16:02:17 +0000123#define _(size) \
124 typedef struct \
125 { \
126 vnet_classify_entry_t e; \
127 u32x4 key[size]; \
128 } __clib_packed vnet_classify_entry_##size##_t;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700129foreach_size_in_u32x4;
130#undef _
131
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530132typedef struct
133{
134 union
135 {
136 struct
137 {
Ed Warnickecb9cada2015-12-08 15:45:58 -0700138 u32 offset;
Dave Barachcada2a02017-05-18 19:16:47 -0400139 u8 linear_search;
140 u8 pad[2];
Ed Warnickecb9cada2015-12-08 15:45:58 -0700141 u8 log2_pages;
142 };
143 u64 as_u64;
144 };
145} vnet_classify_bucket_t;
146
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530147typedef struct
148{
David Johnsond9818dd2018-12-14 14:53:41 -0500149 CLIB_CACHE_LINE_ALIGN_MARK (cacheline0);
Neale Ranns1441a6c2020-12-14 16:02:17 +0000150 /* hash Buckets */
151 vnet_classify_bucket_t *buckets;
152
153 /* Private allocation arena, protected by the writer lock,
154 * where the entries are stored. */
155 void *mheap;
156
157 /* User/client data associated with the table */
158 uword user_ctx;
159
Ed Warnickecb9cada2015-12-08 15:45:58 -0700160 u32 nbuckets;
161 u32 log2_nbuckets;
Neale Ranns1441a6c2020-12-14 16:02:17 +0000162 u32 entries_per_page;
163 u32 skip_n_vectors;
164 u32 match_n_vectors;
Damjan Marion4dc098f2021-09-22 15:28:29 +0200165 u16 load_mask;
Neale Ranns1441a6c2020-12-14 16:02:17 +0000166
Ed Warnickecb9cada2015-12-08 15:45:58 -0700167 /* Index of next table to try */
168 u32 next_table_index;
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530169
Neale Ranns1441a6c2020-12-14 16:02:17 +0000170 /* packet offsets */
171 i16 current_data_offset;
172 vnet_classify_flags_t current_data_flag;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700173 /* Miss next index, return if next_table_index = 0 */
174 u32 miss_next_index;
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530175
Neale Ranns1441a6c2020-12-14 16:02:17 +0000176 /**
177 * All members accessed in the DP above here
178 */
179 CLIB_CACHE_LINE_ALIGN_MARK (cacheline1);
180
181 /* Config parameters */
182 u32 linear_buckets;
183 u32 active_elements;
184 u32 data_offset;
185
Ed Warnickecb9cada2015-12-08 15:45:58 -0700186 /* Per-bucket working copies, one per thread */
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530187 vnet_classify_entry_t **working_copies;
Dave Barachcada2a02017-05-18 19:16:47 -0400188 int *working_copy_lengths;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700189 vnet_classify_bucket_t saved_bucket;
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530190
Ed Warnickecb9cada2015-12-08 15:45:58 -0700191 /* Free entry freelists */
192 vnet_classify_entry_t **freelists;
193
Ed Warnickecb9cada2015-12-08 15:45:58 -0700194 /* Writer (only) lock for this table */
jaszha035cdde5c2019-07-11 20:47:24 +0000195 clib_spinlock_t writer_lock;
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530196
Damjan Marion3bb2da92021-09-20 13:39:37 +0200197 CLIB_CACHE_LINE_ALIGN_MARK (cacheline2);
198 /* Mask to apply after skipping N vectors */
Damjan Marion55c8fa42021-10-31 19:53:27 +0100199 union
200 {
201 u32x4 mask[8];
202 u32 mask_u32[32];
203 };
Damjan Marion3bb2da92021-09-20 13:39:37 +0200204
Ed Warnickecb9cada2015-12-08 15:45:58 -0700205} vnet_classify_table_t;
206
Neale Ranns1441a6c2020-12-14 16:02:17 +0000207/**
208 * Ensure DP fields don't spill over to cache-line 2
209 */
210STATIC_ASSERT_OFFSET_OF (vnet_classify_table_t, cacheline1,
211 CLIB_CACHE_LINE_BYTES);
212
213/**
214 * The vector size for the classifier
215 * in the add/del table 'match' is the number of vectors of this size
216 */
217#define VNET_CLASSIFY_VECTOR_SIZE \
218 sizeof (((vnet_classify_table_t *) 0)->mask[0])
219
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530220struct _vnet_classify_main
221{
Ed Warnickecb9cada2015-12-08 15:45:58 -0700222 /* Table pool */
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530223 vnet_classify_table_t *tables;
224
Dave Barachf39ff742016-03-20 10:14:45 -0400225 /* Registered next-index, opaque unformat fcns */
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530226 unformat_function_t **unformat_l2_next_index_fns;
227 unformat_function_t **unformat_ip_next_index_fns;
228 unformat_function_t **unformat_acl_next_index_fns;
229 unformat_function_t **unformat_policer_next_index_fns;
230 unformat_function_t **unformat_opaque_index_fns;
Dave Barachf39ff742016-03-20 10:14:45 -0400231
Jon Loeliger5c1e48c2020-10-15 14:41:36 -0400232 /* Per-interface filter table. [0] is used for pcap */
233 u32 *classify_table_index_by_sw_if_index;
Dave Barachf5667c32019-09-25 11:27:46 -0400234
Ed Warnickecb9cada2015-12-08 15:45:58 -0700235 /* convenience variables */
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530236 vlib_main_t *vlib_main;
237 vnet_main_t *vnet_main;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700238};
239
Dave Barachf39ff742016-03-20 10:14:45 -0400240extern vnet_classify_main_t vnet_classify_main;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700241
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530242u8 *format_classify_table (u8 * s, va_list * args);
Neale Ranns1441a6c2020-12-14 16:02:17 +0000243u8 *format_vnet_classify_table (u8 *s, va_list *args);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700244
245u64 vnet_classify_hash_packet (vnet_classify_table_t * t, u8 * h);
246
Neale Ranns1441a6c2020-12-14 16:02:17 +0000247static_always_inline vnet_classify_table_t *
248vnet_classify_table_get (u32 table_index)
249{
250 vnet_classify_main_t *vcm = &vnet_classify_main;
251
252 return (pool_elt_at_index (vcm->tables, table_index));
253}
254
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530255static inline u64
Neale Ranns1441a6c2020-12-14 16:02:17 +0000256vnet_classify_hash_packet_inline (vnet_classify_table_t *t, const u8 *h)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700257{
Damjan Marionc3b62d12021-09-20 17:51:31 +0200258 u64 xor_sum;
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530259 ASSERT (t);
Damjan Marionc3b62d12021-09-20 17:51:31 +0200260 h += t->skip_n_vectors * 16;
261
Damjan Marion4dc098f2021-09-22 15:28:29 +0200262#if defined(CLIB_HAVE_VEC512) && defined(CLIB_HAVE_VEC512_MASK_LOAD_STORE)
263 u64x8 xor_sum_x8, *mask = (u64x8 *) t->mask;
264 u16 load_mask = t->load_mask;
265 u64x8u *data = (u64x8u *) h;
266
267 xor_sum_x8 = u64x8_mask_load_zero (data, load_mask) & mask[0];
268
269 if (PREDICT_FALSE (load_mask >> 8))
270 xor_sum_x8 ^= u64x8_mask_load_zero (data + 1, load_mask >> 8) & mask[1];
271
272 xor_sum_x8 ^= u64x8_align_right (xor_sum_x8, xor_sum_x8, 4);
273 xor_sum_x8 ^= u64x8_align_right (xor_sum_x8, xor_sum_x8, 2);
274 xor_sum = xor_sum_x8[0] ^ xor_sum_x8[1];
275#elif defined(CLIB_HAVE_VEC256) && defined(CLIB_HAVE_VEC256_MASK_LOAD_STORE)
276 u64x4 xor_sum_x4, *mask = (u64x4 *) t->mask;
277 u16 load_mask = t->load_mask;
278 u64x4u *data = (u64x4u *) h;
279
280 xor_sum_x4 = u64x4_mask_load_zero (data, load_mask) & mask[0];
281 xor_sum_x4 ^= u64x4_mask_load_zero (data + 1, load_mask >> 4) & mask[1];
282
283 if (PREDICT_FALSE (load_mask >> 8))
284 xor_sum_x4 ^= u64x4_mask_load_zero (data + 2, load_mask >> 8) & mask[2];
285
286 xor_sum_x4 ^= u64x4_align_right (xor_sum_x4, xor_sum_x4, 2);
287 xor_sum = xor_sum_x4[0] ^ xor_sum_x4[1];
288#elif defined(CLIB_HAVE_VEC128)
Damjan Marionc3b62d12021-09-20 17:51:31 +0200289 u64x2 *mask = (u64x2 *) t->mask;
290 u64x2u *data = (u64x2u *) h;
291 u64x2 xor_sum_x2;
292
293 xor_sum_x2 = data[0] & mask[0];
294
Damjan Marion83049332019-09-25 00:25:36 +0200295 switch (t->match_n_vectors)
Pierre Pfistercb656302016-03-16 09:14:28 +0000296 {
Damjan Marion83049332019-09-25 00:25:36 +0200297 case 5:
Damjan Marionc3b62d12021-09-20 17:51:31 +0200298 xor_sum_x2 ^= data[4] & mask[4];
Damjan Marion83049332019-09-25 00:25:36 +0200299 /* FALLTHROUGH */
300 case 4:
Damjan Marionc3b62d12021-09-20 17:51:31 +0200301 xor_sum_x2 ^= data[3] & mask[3];
Damjan Marion83049332019-09-25 00:25:36 +0200302 /* FALLTHROUGH */
303 case 3:
Damjan Marionc3b62d12021-09-20 17:51:31 +0200304 xor_sum_x2 ^= data[2] & mask[2];
Damjan Marion83049332019-09-25 00:25:36 +0200305 /* FALLTHROUGH */
306 case 2:
Damjan Marionc3b62d12021-09-20 17:51:31 +0200307 xor_sum_x2 ^= data[1] & mask[1];
Damjan Marion83049332019-09-25 00:25:36 +0200308 /* FALLTHROUGH */
309 case 1:
310 break;
311 default:
312 abort ();
Pierre Pfistercb656302016-03-16 09:14:28 +0000313 }
Damjan Marionc3b62d12021-09-20 17:51:31 +0200314 xor_sum = xor_sum_x2[0] ^ xor_sum_x2[1];
Damjan Marion83049332019-09-25 00:25:36 +0200315#else
Damjan Marionc3b62d12021-09-20 17:51:31 +0200316 u64 *data = (u64 *) h;
317 u64 *mask = (u64 *) t->mask;
318
319 xor_sum = (data[0] & mask[0]) ^ (data[1] & mask[1]);
320
Damjan Marion83049332019-09-25 00:25:36 +0200321 switch (t->match_n_vectors)
322 {
323 case 5:
Damjan Marionc3b62d12021-09-20 17:51:31 +0200324 xor_sum ^= (data[8] & mask[8]) ^ (data[9] & mask[9]);
Damjan Marion83049332019-09-25 00:25:36 +0200325 /* FALLTHROUGH */
326 case 4:
Damjan Marionc3b62d12021-09-20 17:51:31 +0200327 xor_sum ^= (data[6] & mask[6]) ^ (data[7] & mask[7]);
Damjan Marion83049332019-09-25 00:25:36 +0200328 /* FALLTHROUGH */
329 case 3:
Damjan Marionc3b62d12021-09-20 17:51:31 +0200330 xor_sum ^= (data[4] & mask[4]) ^ (data[5] & mask[5]);
Damjan Marion83049332019-09-25 00:25:36 +0200331 /* FALLTHROUGH */
332 case 2:
Damjan Marionc3b62d12021-09-20 17:51:31 +0200333 xor_sum ^= (data[2] & mask[2]) ^ (data[3] & mask[3]);
Damjan Marion83049332019-09-25 00:25:36 +0200334 /* FALLTHROUGH */
335 case 1:
336 break;
337
338 default:
339 abort ();
340 }
341#endif /* CLIB_HAVE_VEC128 */
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530342
Ray Kinsella7741afa2020-04-07 07:51:23 +0100343#ifdef clib_crc32c_uses_intrinsics
344 return clib_crc32c ((u8 *) & xor_sum, sizeof (xor_sum));
345#else
Damjan Marion55c8fa42021-10-31 19:53:27 +0100346 return clib_xxhash (xor_sum);
Ray Kinsella7741afa2020-04-07 07:51:23 +0100347#endif
Ed Warnickecb9cada2015-12-08 15:45:58 -0700348}
349
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530350static inline void
Ed Warnickecb9cada2015-12-08 15:45:58 -0700351vnet_classify_prefetch_bucket (vnet_classify_table_t * t, u64 hash)
352{
353 u32 bucket_index;
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530354
355 ASSERT (is_pow2 (t->nbuckets));
356
Ed Warnickecb9cada2015-12-08 15:45:58 -0700357 bucket_index = hash & (t->nbuckets - 1);
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530358
Damjan Marionaf7fb042021-07-15 11:54:41 +0200359 clib_prefetch_load (&t->buckets[bucket_index]);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700360}
361
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530362static inline vnet_classify_entry_t *
Ed Warnickecb9cada2015-12-08 15:45:58 -0700363vnet_classify_get_entry (vnet_classify_table_t * t, uword offset)
364{
Damjan Marion4537c302020-09-28 19:03:37 +0200365 u8 *hp = clib_mem_get_heap_base (t->mheap);
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530366 u8 *vp = hp + offset;
367
Neale Ranns1441a6c2020-12-14 16:02:17 +0000368 return (vnet_classify_entry_t *) vp;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700369}
370
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530371static inline uword
372vnet_classify_get_offset (vnet_classify_table_t * t,
373 vnet_classify_entry_t * v)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700374{
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530375 u8 *hp, *vp;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700376
Damjan Marion4537c302020-09-28 19:03:37 +0200377 hp = (u8 *) clib_mem_get_heap_base (t->mheap);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700378 vp = (u8 *) v;
379
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530380 ASSERT ((vp - hp) < 0x100000000ULL);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700381 return vp - hp;
382}
383
384static inline vnet_classify_entry_t *
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530385vnet_classify_entry_at_index (vnet_classify_table_t * t,
386 vnet_classify_entry_t * e, u32 index)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700387{
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530388 u8 *eu8;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700389
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530390 eu8 = (u8 *) e;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700391
392 eu8 += index * (sizeof (vnet_classify_entry_t) +
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530393 (t->match_n_vectors * sizeof (u32x4)));
Ed Warnickecb9cada2015-12-08 15:45:58 -0700394
395 return (vnet_classify_entry_t *) eu8;
396}
397
398static inline void
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530399vnet_classify_prefetch_entry (vnet_classify_table_t * t, u64 hash)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700400{
401 u32 bucket_index;
402 u32 value_index;
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530403 vnet_classify_bucket_t *b;
404 vnet_classify_entry_t *e;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700405
406 bucket_index = hash & (t->nbuckets - 1);
407
408 b = &t->buckets[bucket_index];
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530409
Ed Warnickecb9cada2015-12-08 15:45:58 -0700410 if (b->offset == 0)
411 return;
412
413 hash >>= t->log2_nbuckets;
414
415 e = vnet_classify_get_entry (t, b->offset);
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530416 value_index = hash & ((1 << b->log2_pages) - 1);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700417
418 e = vnet_classify_entry_at_index (t, e, value_index);
419
Damjan Marionaf7fb042021-07-15 11:54:41 +0200420 clib_prefetch_load (e);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700421}
422
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530423vnet_classify_entry_t *vnet_classify_find_entry (vnet_classify_table_t * t,
424 u8 * h, u64 hash, f64 now);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700425
Damjan Marionc31a2342021-09-20 17:36:49 +0200426static_always_inline int
427vnet_classify_entry_is_equal (vnet_classify_entry_t *v, const u8 *d, u8 *m,
Damjan Marion26bc9f32021-09-22 15:50:35 +0200428 u32 match_n_vectors, u16 load_mask)
Damjan Marionc31a2342021-09-20 17:36:49 +0200429{
Damjan Marion26bc9f32021-09-22 15:50:35 +0200430#if defined(CLIB_HAVE_VEC512) && defined(CLIB_HAVE_VEC512_MASK_LOAD_STORE)
431 u64x8 r, *mask = (u64x8 *) m;
432 u64x8u *data = (u64x8u *) d;
Benoît Ganne89a561f2022-03-23 19:42:41 +0100433 u64x8 *key = (u64x8 *) v->key;
Damjan Marion26bc9f32021-09-22 15:50:35 +0200434
435 r = (u64x8_mask_load_zero (data, load_mask) & mask[0]) ^
436 u64x8_mask_load_zero (key, load_mask);
437 load_mask >>= 8;
438
439 if (PREDICT_FALSE (load_mask))
440 r |= (u64x8_mask_load_zero (data + 1, load_mask) & mask[1]) ^
441 u64x8_mask_load_zero (key + 1, load_mask);
442
443 if (u64x8_is_all_zero (r))
444 return 1;
445
446#elif defined(CLIB_HAVE_VEC256) && defined(CLIB_HAVE_VEC256_MASK_LOAD_STORE)
447 u64x4 r, *mask = (u64x4 *) m;
448 u64x4u *data = (u64x4u *) d;
449 u64x4 *key = (u64x4 *) v->key;
450
451 r = (u64x4_mask_load_zero (data, load_mask) & mask[0]) ^
452 u64x4_mask_load_zero (key, load_mask);
453 load_mask >>= 4;
454
455 r |= (u64x4_mask_load_zero (data + 1, load_mask) & mask[1]) ^
456 u64x4_mask_load_zero (key + 1, load_mask);
457 load_mask >>= 4;
458
459 if (PREDICT_FALSE (load_mask))
460 r |= (u64x4_mask_load_zero (data + 2, load_mask) & mask[2]) ^
461 u64x4_mask_load_zero (key + 2, load_mask);
462
463 if (u64x4_is_all_zero (r))
464 return 1;
465
466#elif defined(CLIB_HAVE_VEC128)
Damjan Marionc31a2342021-09-20 17:36:49 +0200467 u64x2u *data = (u64x2 *) d;
468 u64x2 *key = (u64x2 *) v->key;
469 u64x2 *mask = (u64x2 *) m;
470 u64x2 r;
471
472 r = (data[0] & mask[0]) ^ key[0];
473 switch (match_n_vectors)
474 {
475 case 5:
476 r |= (data[4] & mask[4]) ^ key[4];
477 /* fall through */
478 case 4:
479 r |= (data[3] & mask[3]) ^ key[3];
480 /* fall through */
481 case 3:
482 r |= (data[2] & mask[2]) ^ key[2];
483 /* fall through */
484 case 2:
485 r |= (data[1] & mask[1]) ^ key[1];
486 /* fall through */
487 case 1:
488 break;
489 default:
490 abort ();
491 }
492
493 if (u64x2_is_all_zero (r))
494 return 1;
495
496#else
497 u64 *data = (u64 *) d;
498 u64 *key = (u64 *) v->key;
499 u64 *mask = (u64 *) m;
500 u64 r;
501
502 r = ((data[0] & mask[0]) ^ key[0]) | ((data[1] & mask[1]) ^ key[1]);
503 switch (match_n_vectors)
504 {
505 case 5:
506 r |= ((data[8] & mask[8]) ^ key[8]) | ((data[9] & mask[9]) ^ key[9]);
507 /* fall through */
508 case 4:
509 r |= ((data[6] & mask[6]) ^ key[6]) | ((data[7] & mask[7]) ^ key[7]);
510 /* fall through */
511 case 3:
512 r |= ((data[4] & mask[4]) ^ key[4]) | ((data[5] & mask[5]) ^ key[5]);
513 /* fall through */
514 case 2:
515 r |= ((data[2] & mask[2]) ^ key[2]) | ((data[3] & mask[3]) ^ key[3]);
516 /* fall through */
517 case 1:
518 break;
519 default:
520 abort ();
521 }
522
523 if (r == 0)
524 return 1;
525
526#endif /* CLIB_HAVE_VEC128 */
527 return 0;
528}
529
Ed Warnickecb9cada2015-12-08 15:45:58 -0700530static inline vnet_classify_entry_t *
Neale Ranns1441a6c2020-12-14 16:02:17 +0000531vnet_classify_find_entry_inline (vnet_classify_table_t *t, const u8 *h,
532 u64 hash, f64 now)
Dave Barachcada2a02017-05-18 19:16:47 -0400533{
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530534 vnet_classify_entry_t *v;
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530535 vnet_classify_bucket_t *b;
Damjan Marionc31a2342021-09-20 17:36:49 +0200536 u32 bucket_index, limit, pages, match_n_vectors = t->match_n_vectors;
Damjan Marion26bc9f32021-09-22 15:50:35 +0200537 u16 load_mask = t->load_mask;
Damjan Marionc31a2342021-09-20 17:36:49 +0200538 u8 *mask = (u8 *) t->mask;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700539 int i;
540
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530541 bucket_index = hash & (t->nbuckets - 1);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700542 b = &t->buckets[bucket_index];
543
544 if (b->offset == 0)
545 return 0;
546
Damjan Mariona9f5f852021-09-20 17:12:03 +0200547 pages = 1 << b->log2_pages;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700548 v = vnet_classify_get_entry (t, b->offset);
Dave Barachcada2a02017-05-18 19:16:47 -0400549 limit = t->entries_per_page;
550 if (PREDICT_FALSE (b->linear_search))
551 {
Damjan Mariona9f5f852021-09-20 17:12:03 +0200552 limit *= pages;
553 v = vnet_classify_entry_at_index (t, v, 0);
Dave Barachcada2a02017-05-18 19:16:47 -0400554 }
Damjan Mariona9f5f852021-09-20 17:12:03 +0200555 else
556 {
557 hash >>= t->log2_nbuckets;
558 v = vnet_classify_entry_at_index (t, v, hash & (pages - 1));
559 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700560
Damjan Marionc31a2342021-09-20 17:36:49 +0200561 h += t->skip_n_vectors * 16;
562
Damjan Marion83049332019-09-25 00:25:36 +0200563 for (i = 0; i < limit; i++)
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530564 {
Damjan Marion26bc9f32021-09-22 15:50:35 +0200565 if (vnet_classify_entry_is_equal (v, h, mask, match_n_vectors,
566 load_mask))
Damjan Marion83049332019-09-25 00:25:36 +0200567 {
568 if (PREDICT_TRUE (now))
569 {
570 v->hits++;
571 v->last_heard = now;
572 }
573 return (v);
574 }
575 v = vnet_classify_entry_at_index (t, v, 1);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700576 }
577 return 0;
Dave Barachcada2a02017-05-18 19:16:47 -0400578}
Ed Warnickecb9cada2015-12-08 15:45:58 -0700579
Neale Ranns1441a6c2020-12-14 16:02:17 +0000580vnet_classify_table_t *vnet_classify_new_table (vnet_classify_main_t *cm,
581 const u8 *mask, u32 nbuckets,
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530582 u32 memory_size,
583 u32 skip_n_vectors,
584 u32 match_n_vectors);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700585
Neale Ranns1441a6c2020-12-14 16:02:17 +0000586int vnet_classify_add_del_session (vnet_classify_main_t *cm, u32 table_index,
587 const u8 *match, u32 hit_next_index,
588 u32 opaque_index, i32 advance, u8 action,
589 u16 metadata, int is_add);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700590
Neale Ranns1441a6c2020-12-14 16:02:17 +0000591int vnet_classify_add_del_table (vnet_classify_main_t *cm, const u8 *mask,
592 u32 nbuckets, u32 memory_size, u32 skip,
593 u32 match, u32 next_table_index,
594 u32 miss_next_index, u32 *table_index,
595 u8 current_data_flag, i16 current_data_offset,
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530596 int is_add, int del_chain);
Neale Ranns1441a6c2020-12-14 16:02:17 +0000597void vnet_classify_delete_table_index (vnet_classify_main_t *cm,
598 u32 table_index, int del_chain);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700599
600unformat_function_t unformat_ip4_mask;
601unformat_function_t unformat_ip6_mask;
602unformat_function_t unformat_l3_mask;
603unformat_function_t unformat_l2_mask;
604unformat_function_t unformat_classify_mask;
605unformat_function_t unformat_l2_next_index;
606unformat_function_t unformat_ip_next_index;
607unformat_function_t unformat_ip4_match;
608unformat_function_t unformat_ip6_match;
609unformat_function_t unformat_l3_match;
Dave Barach4a3f69c2017-02-22 12:44:56 -0500610unformat_function_t unformat_l4_match;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700611unformat_function_t unformat_vlan_tag;
612unformat_function_t unformat_l2_match;
613unformat_function_t unformat_classify_match;
614
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530615void vnet_classify_register_unformat_ip_next_index_fn
616 (unformat_function_t * fn);
Dave Barachf39ff742016-03-20 10:14:45 -0400617
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530618void vnet_classify_register_unformat_l2_next_index_fn
619 (unformat_function_t * fn);
Dave Barachf39ff742016-03-20 10:14:45 -0400620
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530621void vnet_classify_register_unformat_acl_next_index_fn
622 (unformat_function_t * fn);
Dave Barachf39ff742016-03-20 10:14:45 -0400623
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530624void vnet_classify_register_unformat_policer_next_index_fn
625 (unformat_function_t * fn);
Matus Fabian70e6a8d2016-06-20 08:10:42 -0700626
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530627void vnet_classify_register_unformat_opaque_index_fn (unformat_function_t *
628 fn);
Dave Barachf39ff742016-03-20 10:14:45 -0400629
Jon Loeliger5c1e48c2020-10-15 14:41:36 -0400630u32 classify_get_pcap_chain (vnet_classify_main_t * cm, u32 sw_if_index);
631void classify_set_pcap_chain (vnet_classify_main_t * cm,
632 u32 sw_if_index, u32 table_index);
633
634u32 classify_get_trace_chain (void);
635void classify_set_trace_chain (vnet_classify_main_t * cm, u32 table_index);
636
637u32 classify_sort_table_chain (vnet_classify_main_t * cm, u32 table_index);
638u32 classify_lookup_chain (u32 table_index,
639 u8 * mask, u32 n_skip, u32 n_match);
640
Ed Warnickecb9cada2015-12-08 15:45:58 -0700641#endif /* __included_vnet_classify_h__ */
khemendra kumard7bfa0e2017-11-27 15:15:53 +0530642
643/*
644 * fd.io coding-style-patch-verification: ON
645 *
646 * Local Variables:
647 * eval: (c-set-style "gnu")
648 * End:
649 */