src/vnet/ip/ip_input_acl.c

   1 /*
   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 #include <vnet/ip/ip.h>
  16 #include <vnet/classify/vnet_classify.h>
  17 #include <vnet/classify/input_acl.h>
  18
  19 typedef struct
  20 {
  21   u32 sw_if_index;
  22   u32 next_index;
  23   u32 table_index;
  24   u32 offset;
  25 } ip_inacl_trace_t;
  26
  27 /* packet trace format function */
  28 static u8 *
  29 format_ip_inacl_trace (u8 * s, va_list * args)
  30 {
  31   CLIB_UNUSED (vlib_main_t * vm) = va_arg (*args, vlib_main_t *);
  32   CLIB_UNUSED (vlib_node_t * node) = va_arg (*args, vlib_node_t *);
  33   ip_inacl_trace_t *t = va_arg (*args, ip_inacl_trace_t *);
  34
  35   s = format (s, "INACL: sw_if_index %d, next_index %d, table %d, offset %d",
  36               t->sw_if_index, t->next_index, t->table_index, t->offset);
  37   return s;
  38 }
  39
  40 vlib_node_registration_t ip4_inacl_node;
  41 vlib_node_registration_t ip6_inacl_node;
  42
  43 #define foreach_ip_inacl_error                  \
  44 _(MISS, "input ACL misses")                     \
  45 _(HIT, "input ACL hits")                        \
  46 _(CHAIN_HIT, "input ACL hits after chain walk")
  47
  48 typedef enum
  49 {
  50 #define _(sym,str) IP_INACL_ERROR_##sym,
  51   foreach_ip_inacl_error
  52 #undef _
  53     IP_INACL_N_ERROR,
  54 } ip_inacl_error_t;
  55
  56 static char *ip_inacl_error_strings[] = {
  57 #define _(sym,string) string,
  58   foreach_ip_inacl_error
  59 #undef _
  60 };
  61
  62 static inline uword
  63 ip_inacl_inline (vlib_main_t * vm,
  64                  vlib_node_runtime_t * node, vlib_frame_t * frame, int is_ip4)
  65 {
  66   u32 n_left_from, *from, *to_next;
  67   acl_next_index_t next_index;
  68   input_acl_main_t *am = &input_acl_main;
  69   vnet_classify_main_t *vcm = am->vnet_classify_main;
  70   f64 now = vlib_time_now (vm);
  71   u32 hits = 0;
  72   u32 misses = 0;
  73   u32 chain_hits = 0;
  74   input_acl_table_id_t tid;
  75   vlib_node_runtime_t *error_node;
  76   u32 n_next_nodes;
  77
  78   n_next_nodes = node->n_next_nodes;
  79
  80   if (is_ip4)
  81     {
  82       tid = INPUT_ACL_TABLE_IP4;
  83       error_node = vlib_node_get_runtime (vm, ip4_input_node.index);
  84     }
  85   else
  86     {
  87       tid = INPUT_ACL_TABLE_IP6;
  88       error_node = vlib_node_get_runtime (vm, ip6_input_node.index);
  89     }
  90
  91   from = vlib_frame_vector_args (frame);
  92   n_left_from = frame->n_vectors;
  93
  94   /* First pass: compute hashes */
  95
  96   while (n_left_from > 2)
  97     {
  98       vlib_buffer_t *b0, *b1;
  99       u32 bi0, bi1;
 100       u8 *h0, *h1;
 101       u32 sw_if_index0, sw_if_index1;
 102       u32 table_index0, table_index1;
 103       vnet_classify_table_t *t0, *t1;
 104
 105       /* prefetch next iteration */
 106       {
 107         vlib_buffer_t *p1, *p2;
 108
 109         p1 = vlib_get_buffer (vm, from[1]);
 110         p2 = vlib_get_buffer (vm, from[2]);
 111
 112         vlib_prefetch_buffer_header (p1, STORE);
 113         CLIB_PREFETCH (p1->data, CLIB_CACHE_LINE_BYTES, STORE);
 114         vlib_prefetch_buffer_header (p2, STORE);
 115         CLIB_PREFETCH (p2->data, CLIB_CACHE_LINE_BYTES, STORE);
 116       }
 117
 118       bi0 = from[0];
 119       b0 = vlib_get_buffer (vm, bi0);
 120
 121       bi1 = from[1];
 122       b1 = vlib_get_buffer (vm, bi1);
 123
 124       sw_if_index0 = vnet_buffer (b0)->sw_if_index[VLIB_RX];
 125       table_index0 =
 126         am->classify_table_index_by_sw_if_index[tid][sw_if_index0];
 127
 128       sw_if_index1 = vnet_buffer (b1)->sw_if_index[VLIB_RX];
 129       table_index1 =
 130         am->classify_table_index_by_sw_if_index[tid][sw_if_index1];
 131
 132       t0 = pool_elt_at_index (vcm->tables, table_index0);
 133
 134       t1 = pool_elt_at_index (vcm->tables, table_index1);
 135
 136       if (t0->current_data_flag == CLASSIFY_FLAG_USE_CURR_DATA)
 137         h0 = (void *) vlib_buffer_get_current (b0) + t0->current_data_offset;
 138       else
 139         h0 = b0->data;
 140
 141       vnet_buffer (b0)->l2_classify.hash =
 142         vnet_classify_hash_packet (t0, (u8 *) h0);
 143
 144       vnet_classify_prefetch_bucket (t0, vnet_buffer (b0)->l2_classify.hash);
 145
 146       if (t1->current_data_flag == CLASSIFY_FLAG_USE_CURR_DATA)
 147         h1 = (void *) vlib_buffer_get_current (b1) + t1->current_data_offset;
 148       else
 149         h1 = b1->data;
 150
 151       vnet_buffer (b1)->l2_classify.hash =
 152         vnet_classify_hash_packet (t1, (u8 *) h1);
 153
 154       vnet_classify_prefetch_bucket (t1, vnet_buffer (b1)->l2_classify.hash);
 155
 156       vnet_buffer (b0)->l2_classify.table_index = table_index0;
 157
 158       vnet_buffer (b1)->l2_classify.table_index = table_index1;
 159
 160       from += 2;
 161       n_left_from -= 2;
 162     }
 163
 164   while (n_left_from > 0)
 165     {
 166       vlib_buffer_t *b0;
 167       u32 bi0;
 168       u8 *h0;
 169       u32 sw_if_index0;
 170       u32 table_index0;
 171       vnet_classify_table_t *t0;
 172
 173       bi0 = from[0];
 174       b0 = vlib_get_buffer (vm, bi0);
 175
 176       sw_if_index0 = vnet_buffer (b0)->sw_if_index[VLIB_RX];
 177       table_index0 =
 178         am->classify_table_index_by_sw_if_index[tid][sw_if_index0];
 179
 180       t0 = pool_elt_at_index (vcm->tables, table_index0);
 181
 182       if (t0->current_data_flag == CLASSIFY_FLAG_USE_CURR_DATA)
 183         h0 = (void *) vlib_buffer_get_current (b0) + t0->current_data_offset;
 184       else
 185         h0 = b0->data;
 186
 187       vnet_buffer (b0)->l2_classify.hash =
 188         vnet_classify_hash_packet (t0, (u8 *) h0);
 189
 190       vnet_buffer (b0)->l2_classify.table_index = table_index0;
 191       vnet_classify_prefetch_bucket (t0, vnet_buffer (b0)->l2_classify.hash);
 192
 193       from++;
 194       n_left_from--;
 195     }
 196
 197   next_index = node->cached_next_index;
 198   from = vlib_frame_vector_args (frame);
 199   n_left_from = frame->n_vectors;
 200
 201   while (n_left_from > 0)
 202     {
 203       u32 n_left_to_next;
 204
 205       vlib_get_next_frame (vm, node, next_index, to_next, n_left_to_next);
 206
 207       /* Not enough load/store slots to dual loop... */
 208       while (n_left_from > 0 && n_left_to_next > 0)
 209         {
 210           u32 bi0;
 211           vlib_buffer_t *b0;
 212           u32 next0 = ACL_NEXT_INDEX_DENY;
 213           u32 table_index0;
 214           vnet_classify_table_t *t0;
 215           vnet_classify_entry_t *e0;
 216           u64 hash0;
 217           u8 *h0;
 218           u8 error0;
 219
 220           /* Stride 3 seems to work best */
 221           if (PREDICT_TRUE (n_left_from > 3))
 222             {
 223               vlib_buffer_t *p1 = vlib_get_buffer (vm, from[3]);
 224               vnet_classify_table_t *tp1;
 225               u32 table_index1;
 226               u64 phash1;
 227
 228               table_index1 = vnet_buffer (p1)->l2_classify.table_index;
 229
 230               if (PREDICT_TRUE (table_index1 != ~0))
 231                 {
 232                   tp1 = pool_elt_at_index (vcm->tables, table_index1);
 233                   phash1 = vnet_buffer (p1)->l2_classify.hash;
 234                   vnet_classify_prefetch_entry (tp1, phash1);
 235                 }
 236             }
 237
 238           /* speculatively enqueue b0 to the current next frame */
 239           bi0 = from[0];
 240           to_next[0] = bi0;
 241           from += 1;
 242           to_next += 1;
 243           n_left_from -= 1;
 244           n_left_to_next -= 1;
 245
 246           b0 = vlib_get_buffer (vm, bi0);
 247           table_index0 = vnet_buffer (b0)->l2_classify.table_index;
 248           e0 = 0;
 249           t0 = 0;
 250           vnet_get_config_data (am->vnet_config_main[tid],
 251                                 &b0->current_config_index, &next0,
 252                                 /* # bytes of config data */ 0);
 253
 254           vnet_buffer (b0)->l2_classify.opaque_index = ~0;
 255
 256           if (PREDICT_TRUE (table_index0 != ~0))
 257             {
 258               hash0 = vnet_buffer (b0)->l2_classify.hash;
 259               t0 = pool_elt_at_index (vcm->tables, table_index0);
 260
 261               if (t0->current_data_flag == CLASSIFY_FLAG_USE_CURR_DATA)
 262                 h0 =
 263                   (void *) vlib_buffer_get_current (b0) +
 264                   t0->current_data_offset;
 265               else
 266                 h0 = b0->data;
 267
 268               e0 = vnet_classify_find_entry (t0, (u8 *) h0, hash0, now);
 269               if (e0)
 270                 {
 271                   vnet_buffer (b0)->l2_classify.opaque_index
 272                     = e0->opaque_index;
 273                   vlib_buffer_advance (b0, e0->advance);
 274
 275                   next0 = (e0->next_index < n_next_nodes) ?
 276                     e0->next_index : next0;
 277
 278                   hits++;
 279
 280                   if (is_ip4)
 281                     error0 = (next0 == ACL_NEXT_INDEX_DENY) ?
 282                       IP4_ERROR_INACL_SESSION_DENY : IP4_ERROR_NONE;
 283                   else
 284                     error0 = (next0 == ACL_NEXT_INDEX_DENY) ?
 285                       IP6_ERROR_INACL_SESSION_DENY : IP6_ERROR_NONE;
 286                   b0->error = error_node->errors[error0];
 287
 288                   if (e0->action == CLASSIFY_ACTION_SET_IP4_FIB_INDEX ||
 289                       e0->action == CLASSIFY_ACTION_SET_IP6_FIB_INDEX)
 290                     vnet_buffer (b0)->sw_if_index[VLIB_TX] = e0->metadata;
 291                 }
 292               else
 293                 {
 294                   while (1)
 295                     {
 296                       if (PREDICT_TRUE (t0->next_table_index != ~0))
 297                         t0 = pool_elt_at_index (vcm->tables,
 298                                                 t0->next_table_index);
 299                       else
 300                         {
 301                           next0 = (t0->miss_next_index < n_next_nodes) ?
 302                             t0->miss_next_index : next0;
 303
 304                           misses++;
 305
 306                           if (is_ip4)
 307                             error0 = (next0 == ACL_NEXT_INDEX_DENY) ?
 308                               IP4_ERROR_INACL_TABLE_MISS : IP4_ERROR_NONE;
 309                           else
 310                             error0 = (next0 == ACL_NEXT_INDEX_DENY) ?
 311                               IP6_ERROR_INACL_TABLE_MISS : IP6_ERROR_NONE;
 312                           b0->error = error_node->errors[error0];
 313                           break;
 314                         }
 315
 316                       if (t0->current_data_flag ==
 317                           CLASSIFY_FLAG_USE_CURR_DATA)
 318                         h0 =
 319                           (void *) vlib_buffer_get_current (b0) +
 320                           t0->current_data_offset;
 321                       else
 322                         h0 = b0->data;
 323
 324                       hash0 = vnet_classify_hash_packet (t0, (u8 *) h0);
 325                       e0 = vnet_classify_find_entry
 326                         (t0, (u8 *) h0, hash0, now);
 327                       if (e0)
 328                         {
 329                           vnet_buffer (b0)->l2_classify.opaque_index
 330                             = e0->opaque_index;
 331                           vlib_buffer_advance (b0, e0->advance);
 332                           next0 = (e0->next_index < n_next_nodes) ?
 333                             e0->next_index : next0;
 334                           hits++;
 335                           chain_hits++;
 336
 337                           if (is_ip4)
 338                             error0 = (next0 == ACL_NEXT_INDEX_DENY) ?
 339                               IP4_ERROR_INACL_SESSION_DENY : IP4_ERROR_NONE;
 340                           else
 341                             error0 = (next0 == ACL_NEXT_INDEX_DENY) ?
 342                               IP6_ERROR_INACL_SESSION_DENY : IP6_ERROR_NONE;
 343                           b0->error = error_node->errors[error0];
 344
 345                           if (e0->action == CLASSIFY_ACTION_SET_IP4_FIB_INDEX
 346                               || e0->action ==
 347                               CLASSIFY_ACTION_SET_IP6_FIB_INDEX)
 348                             vnet_buffer (b0)->sw_if_index[VLIB_TX] =
 349                               e0->metadata;
 350                           break;
 351                         }
 352                     }
 353                 }
 354             }
 355
 356           if (PREDICT_FALSE ((node->flags & VLIB_NODE_FLAG_TRACE)
 357                              && (b0->flags & VLIB_BUFFER_IS_TRACED)))
 358             {
 359               ip_inacl_trace_t *t =
 360                 vlib_add_trace (vm, node, b0, sizeof (*t));
 361               t->sw_if_index = vnet_buffer (b0)->sw_if_index[VLIB_RX];
 362               t->next_index = next0;
 363               t->table_index = t0 ? t0 - vcm->tables : ~0;
 364               t->offset = (e0 && t0) ? vnet_classify_get_offset (t0, e0) : ~0;
 365             }
 366
 367           /* verify speculative enqueue, maybe switch current next frame */
 368           vlib_validate_buffer_enqueue_x1 (vm, node, next_index,
 369                                            to_next, n_left_to_next,
 370                                            bi0, next0);
 371         }
 372
 373       vlib_put_next_frame (vm, node, next_index, n_left_to_next);
 374     }
 375
 376   vlib_node_increment_counter (vm, node->node_index,
 377                                IP_INACL_ERROR_MISS, misses);
 378   vlib_node_increment_counter (vm, node->node_index,
 379                                IP_INACL_ERROR_HIT, hits);
 380   vlib_node_increment_counter (vm, node->node_index,
 381                                IP_INACL_ERROR_CHAIN_HIT, chain_hits);
 382   return frame->n_vectors;
 383 }
 384
 385 static uword
 386 ip4_inacl (vlib_main_t * vm, vlib_node_runtime_t * node, vlib_frame_t * frame)
 387 {
 388   return ip_inacl_inline (vm, node, frame, 1 /* is_ip4 */ );
 389 }
 390
 391
 392 /* *INDENT-OFF* */
 393 VLIB_REGISTER_NODE (ip4_inacl_node) = {
 394   .function = ip4_inacl,
 395   .name = "ip4-inacl",
 396   .vector_size = sizeof (u32),
 397   .format_trace = format_ip_inacl_trace,
 398   .n_errors = ARRAY_LEN(ip_inacl_error_strings),
 399   .error_strings = ip_inacl_error_strings,
 400
 401   .n_next_nodes = ACL_NEXT_INDEX_N_NEXT,
 402   .next_nodes = {
 403     [ACL_NEXT_INDEX_DENY] = "error-drop",
 404   },
 405 };
 406 /* *INDENT-ON* */
 407
 408 VLIB_NODE_FUNCTION_MULTIARCH (ip4_inacl_node, ip4_inacl);
 409
 410 static uword
 411 ip6_inacl (vlib_main_t * vm, vlib_node_runtime_t * node, vlib_frame_t * frame)
 412 {
 413   return ip_inacl_inline (vm, node, frame, 0 /* is_ip4 */ );
 414 }
 415
 416
 417 /* *INDENT-OFF* */
 418 VLIB_REGISTER_NODE (ip6_inacl_node) = {
 419   .function = ip6_inacl,
 420   .name = "ip6-inacl",
 421   .vector_size = sizeof (u32),
 422   .format_trace = format_ip_inacl_trace,
 423   .n_errors = ARRAY_LEN(ip_inacl_error_strings),
 424   .error_strings = ip_inacl_error_strings,
 425
 426   .n_next_nodes = ACL_NEXT_INDEX_N_NEXT,
 427   .next_nodes = {
 428     [ACL_NEXT_INDEX_DENY] = "error-drop",
 429   },
 430 };
 431 /* *INDENT-ON* */
 432
 433 VLIB_NODE_FUNCTION_MULTIARCH (ip6_inacl_node, ip6_inacl);
 434
 435 static clib_error_t *
 436 ip_inacl_init (vlib_main_t * vm)
 437 {
 438   return 0;
 439 }
 440
 441 VLIB_INIT_FUNCTION (ip_inacl_init);
 442
 443
 444 /*
 445  * fd.io coding-style-patch-verification: ON
 446  *
 447  * Local Variables:
 448  * eval: (c-set-style "gnu")
 449  * End:
 450  */