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:
7 * http://www.apache.org/licenses/LICENSE-2.0
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.
15 #ifndef __included_vnet_classify_h__
16 #define __included_vnet_classify_h__
20 #include <vlib/vlib.h>
21 #include <vnet/vnet.h>
22 #include <vnet/pg/pg.h>
23 #include <vnet/ethernet/ethernet.h>
24 #include <vnet/ethernet/packet.h>
25 #include <vnet/ip/ip_packet.h>
26 #include <vnet/ip/ip4_packet.h>
27 #include <vnet/ip/ip6_packet.h>
29 #include <vnet/api_errno.h> /* for API error numbers */
31 #include <vppinfra/error.h>
32 #include <vppinfra/hash.h>
33 #include <vppinfra/cache.h>
34 #include <vppinfra/xxhash.h>
36 extern vlib_node_registration_t ip4_classify_node;
37 extern vlib_node_registration_t ip6_classify_node;
39 #define CLASSIFY_TRACE 0
41 #define U32X4_ALIGNED(p) PREDICT_TRUE((((intptr_t)p) & 0xf) == 0)
44 * Classify table option to process packets
45 * CLASSIFY_FLAG_USE_CURR_DATA:
46 * - classify packets starting from VPP node’s current data pointer
48 #define CLASSIFY_FLAG_USE_CURR_DATA 1
51 * Classify session action
52 * CLASSIFY_ACTION_SET_IP4_FIB_INDEX:
53 * - Classified IP packets will be looked up
54 * from the specified ipv4 fib table
55 * CLASSIFY_ACTION_SET_IP6_FIB_INDEX:
56 * - Classified IP packets will be looked up
57 * from the specified ipv6 fib table
59 typedef enum vnet_classify_action_t_
61 CLASSIFY_ACTION_SET_IP4_FIB_INDEX = 1,
62 CLASSIFY_ACTION_SET_IP6_FIB_INDEX = 2,
63 CLASSIFY_ACTION_SET_METADATA = 3,
64 } __attribute__ ((packed)) vnet_classify_action_t;
66 struct _vnet_classify_main;
67 typedef struct _vnet_classify_main vnet_classify_main_t;
69 #define foreach_size_in_u32x4 \
77 typedef CLIB_PACKED(struct _vnet_classify_entry {
78 /* Graph node next index */
81 /* put into vnet_buffer(b)->l2_classfy.opaque_index */
85 /* advance on hit, note it's a signed quantity... */
91 /* Really only need 1 bit */
93 #define VNET_CLASSIFY_ENTRY_FREE (1<<0)
95 vnet_classify_action_t action;
98 /* Hit counter, last heard time */
101 struct _vnet_classify_entry * next_free;
106 /* Must be aligned to a 16-octet boundary */
108 }) vnet_classify_entry_t;
112 vnet_classify_entry_is_free (vnet_classify_entry_t * e)
114 return e->flags & VNET_CLASSIFY_ENTRY_FREE;
118 vnet_classify_entry_is_busy (vnet_classify_entry_t * e)
120 return ((e->flags & VNET_CLASSIFY_ENTRY_FREE) == 0);
123 /* Need these to con the vector allocator */
126 typedef CLIB_PACKED(struct { \
130 }) vnet_classify_entry_##size##_t;
131 foreach_size_in_u32x4;
148 } vnet_classify_bucket_t;
152 CLIB_CACHE_LINE_ALIGN_MARK (cacheline0);
153 /* Mask to apply after skipping N vectors */
155 /* Buckets and entries */
156 vnet_classify_bucket_t *buckets;
157 vnet_classify_entry_t *entries;
159 /* Config parameters */
165 int entries_per_page;
167 u32 current_data_flag;
168 int current_data_offset;
170 /* Index of next table to try */
171 u32 next_table_index;
173 /* Miss next index, return if next_table_index = 0 */
176 /* Per-bucket working copies, one per thread */
177 vnet_classify_entry_t **working_copies;
178 int *working_copy_lengths;
179 vnet_classify_bucket_t saved_bucket;
181 /* Free entry freelists */
182 vnet_classify_entry_t **freelists;
186 /* Private allocation arena, protected by the writer lock */
189 /* Writer (only) lock for this table */
190 volatile u32 *writer_lock;
192 } vnet_classify_table_t;
194 struct _vnet_classify_main
197 vnet_classify_table_t *tables;
199 /* Registered next-index, opaque unformat fcns */
200 unformat_function_t **unformat_l2_next_index_fns;
201 unformat_function_t **unformat_ip_next_index_fns;
202 unformat_function_t **unformat_acl_next_index_fns;
203 unformat_function_t **unformat_policer_next_index_fns;
204 unformat_function_t **unformat_opaque_index_fns;
206 /* convenience variables */
207 vlib_main_t *vlib_main;
208 vnet_main_t *vnet_main;
211 extern vnet_classify_main_t vnet_classify_main;
213 u8 *format_classify_table (u8 * s, va_list * args);
215 u64 vnet_classify_hash_packet (vnet_classify_table_t * t, u8 * h);
218 vnet_classify_hash_packet_inline (vnet_classify_table_t * t, u8 * h)
226 } xor_sum __attribute__ ((aligned (sizeof (u32x4))));
230 #ifdef CLIB_HAVE_VEC128
231 if (U32X4_ALIGNED (h))
232 { //SSE can't handle unaligned data
233 u32x4 *data = (u32x4 *) h;
234 xor_sum.as_u32x4 = data[0 + t->skip_n_vectors] & mask[0];
235 switch (t->match_n_vectors)
238 xor_sum.as_u32x4 ^= data[4 + t->skip_n_vectors] & mask[4];
241 xor_sum.as_u32x4 ^= data[3 + t->skip_n_vectors] & mask[3];
244 xor_sum.as_u32x4 ^= data[2 + t->skip_n_vectors] & mask[2];
247 xor_sum.as_u32x4 ^= data[1 + t->skip_n_vectors] & mask[1];
256 #endif /* CLIB_HAVE_VEC128 */
258 u32 skip_u64 = t->skip_n_vectors * 2;
259 u64 *data64 = (u64 *) h;
260 xor_sum.as_u64[0] = data64[0 + skip_u64] & ((u64 *) mask)[0];
261 xor_sum.as_u64[1] = data64[1 + skip_u64] & ((u64 *) mask)[1];
262 switch (t->match_n_vectors)
265 xor_sum.as_u64[0] ^= data64[8 + skip_u64] & ((u64 *) mask)[8];
266 xor_sum.as_u64[1] ^= data64[9 + skip_u64] & ((u64 *) mask)[9];
269 xor_sum.as_u64[0] ^= data64[6 + skip_u64] & ((u64 *) mask)[6];
270 xor_sum.as_u64[1] ^= data64[7 + skip_u64] & ((u64 *) mask)[7];
273 xor_sum.as_u64[0] ^= data64[4 + skip_u64] & ((u64 *) mask)[4];
274 xor_sum.as_u64[1] ^= data64[5 + skip_u64] & ((u64 *) mask)[5];
277 xor_sum.as_u64[0] ^= data64[2 + skip_u64] & ((u64 *) mask)[2];
278 xor_sum.as_u64[1] ^= data64[3 + skip_u64] & ((u64 *) mask)[3];
288 return clib_xxhash (xor_sum.as_u64[0] ^ xor_sum.as_u64[1]);
292 vnet_classify_prefetch_bucket (vnet_classify_table_t * t, u64 hash)
296 ASSERT (is_pow2 (t->nbuckets));
298 bucket_index = hash & (t->nbuckets - 1);
300 CLIB_PREFETCH (&t->buckets[bucket_index], CLIB_CACHE_LINE_BYTES, LOAD);
303 static inline vnet_classify_entry_t *
304 vnet_classify_get_entry (vnet_classify_table_t * t, uword offset)
307 u8 *vp = hp + offset;
313 vnet_classify_get_offset (vnet_classify_table_t * t,
314 vnet_classify_entry_t * v)
318 hp = (u8 *) t->mheap;
321 ASSERT ((vp - hp) < 0x100000000ULL);
325 static inline vnet_classify_entry_t *
326 vnet_classify_entry_at_index (vnet_classify_table_t * t,
327 vnet_classify_entry_t * e, u32 index)
333 eu8 += index * (sizeof (vnet_classify_entry_t) +
334 (t->match_n_vectors * sizeof (u32x4)));
336 return (vnet_classify_entry_t *) eu8;
340 vnet_classify_prefetch_entry (vnet_classify_table_t * t, u64 hash)
344 vnet_classify_bucket_t *b;
345 vnet_classify_entry_t *e;
347 bucket_index = hash & (t->nbuckets - 1);
349 b = &t->buckets[bucket_index];
354 hash >>= t->log2_nbuckets;
356 e = vnet_classify_get_entry (t, b->offset);
357 value_index = hash & ((1 << b->log2_pages) - 1);
359 e = vnet_classify_entry_at_index (t, e, value_index);
361 CLIB_PREFETCH (e, CLIB_CACHE_LINE_BYTES, LOAD);
364 vnet_classify_entry_t *vnet_classify_find_entry (vnet_classify_table_t * t,
365 u8 * h, u64 hash, f64 now);
367 static inline vnet_classify_entry_t *
368 vnet_classify_find_entry_inline (vnet_classify_table_t * t,
369 u8 * h, u64 hash, f64 now)
371 vnet_classify_entry_t *v;
377 } result __attribute__ ((aligned (sizeof (u32x4))));
378 vnet_classify_bucket_t *b;
384 bucket_index = hash & (t->nbuckets - 1);
385 b = &t->buckets[bucket_index];
391 hash >>= t->log2_nbuckets;
393 v = vnet_classify_get_entry (t, b->offset);
394 value_index = hash & ((1 << b->log2_pages) - 1);
395 limit = t->entries_per_page;
396 if (PREDICT_FALSE (b->linear_search))
399 limit *= (1 << b->log2_pages);
402 v = vnet_classify_entry_at_index (t, v, value_index);
404 #ifdef CLIB_HAVE_VEC128
405 if (U32X4_ALIGNED (h))
407 u32x4 *data = (u32x4 *) h;
408 for (i = 0; i < limit; i++)
411 result.as_u32x4 = (data[0 + t->skip_n_vectors] & mask[0]) ^ key[0];
412 switch (t->match_n_vectors)
416 (data[4 + t->skip_n_vectors] & mask[4]) ^ key[4];
420 (data[3 + t->skip_n_vectors] & mask[3]) ^ key[3];
424 (data[2 + t->skip_n_vectors] & mask[2]) ^ key[2];
428 (data[1 + t->skip_n_vectors] & mask[1]) ^ key[1];
436 if (u32x4_zero_byte_mask (result.as_u32x4) == 0xffff)
438 if (PREDICT_TRUE (now))
445 v = vnet_classify_entry_at_index (t, v, 1);
449 #endif /* CLIB_HAVE_VEC128 */
451 u32 skip_u64 = t->skip_n_vectors * 2;
452 u64 *data64 = (u64 *) h;
453 for (i = 0; i < limit; i++)
458 (data64[0 + skip_u64] & ((u64 *) mask)[0]) ^ ((u64 *) key)[0];
460 (data64[1 + skip_u64] & ((u64 *) mask)[1]) ^ ((u64 *) key)[1];
461 switch (t->match_n_vectors)
465 (data64[8 + skip_u64] & ((u64 *) mask)[8]) ^ ((u64 *) key)[8];
467 (data64[9 + skip_u64] & ((u64 *) mask)[9]) ^ ((u64 *) key)[9];
471 (data64[6 + skip_u64] & ((u64 *) mask)[6]) ^ ((u64 *) key)[6];
473 (data64[7 + skip_u64] & ((u64 *) mask)[7]) ^ ((u64 *) key)[7];
477 (data64[4 + skip_u64] & ((u64 *) mask)[4]) ^ ((u64 *) key)[4];
479 (data64[5 + skip_u64] & ((u64 *) mask)[5]) ^ ((u64 *) key)[5];
483 (data64[2 + skip_u64] & ((u64 *) mask)[2]) ^ ((u64 *) key)[2];
485 (data64[3 + skip_u64] & ((u64 *) mask)[3]) ^ ((u64 *) key)[3];
493 if (result.as_u64[0] == 0 && result.as_u64[1] == 0)
495 if (PREDICT_TRUE (now))
503 v = vnet_classify_entry_at_index (t, v, 1);
509 vnet_classify_table_t *vnet_classify_new_table (vnet_classify_main_t * cm,
510 u8 * mask, u32 nbuckets,
513 u32 match_n_vectors);
515 int vnet_classify_add_del_session (vnet_classify_main_t * cm,
521 u8 action, u32 metadata, int is_add);
523 int vnet_classify_add_del_table (vnet_classify_main_t * cm,
529 u32 next_table_index,
532 u8 current_data_flag,
533 i16 current_data_offset,
534 int is_add, int del_chain);
536 unformat_function_t unformat_ip4_mask;
537 unformat_function_t unformat_ip6_mask;
538 unformat_function_t unformat_l3_mask;
539 unformat_function_t unformat_l2_mask;
540 unformat_function_t unformat_classify_mask;
541 unformat_function_t unformat_l2_next_index;
542 unformat_function_t unformat_ip_next_index;
543 unformat_function_t unformat_ip4_match;
544 unformat_function_t unformat_ip6_match;
545 unformat_function_t unformat_l3_match;
546 unformat_function_t unformat_l4_match;
547 unformat_function_t unformat_vlan_tag;
548 unformat_function_t unformat_l2_match;
549 unformat_function_t unformat_classify_match;
551 void vnet_classify_register_unformat_ip_next_index_fn
552 (unformat_function_t * fn);
554 void vnet_classify_register_unformat_l2_next_index_fn
555 (unformat_function_t * fn);
557 void vnet_classify_register_unformat_acl_next_index_fn
558 (unformat_function_t * fn);
560 void vnet_classify_register_unformat_policer_next_index_fn
561 (unformat_function_t * fn);
563 void vnet_classify_register_unformat_opaque_index_fn (unformat_function_t *
566 #endif /* __included_vnet_classify_h__ */
569 * fd.io coding-style-patch-verification: ON
572 * eval: (c-set-style "gnu")