src/vnet/ip-neighbor/ip_neighbor.c

   1 /*
   2  * src/vnet/ip/ip_neighboor.c: ip neighbor generic handling
   3  *
   4  * Copyright (c) 2018 Cisco and/or its affiliates.
   5  * Licensed under the Apache License, Version 2.0 (the "License");
   6  * you may not use this file except in compliance with the License.
   7  * You may obtain a copy of the License at:
   8  *
   9  *     http://www.apache.org/licenses/LICENSE-2.0
  10  *
  11  * Unless required by applicable law or agreed to in writing, software
  12  * distributed under the License is distributed on an "AS IS" BASIS,
  13  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  14  * See the License for the specific language governing permissions and
  15  * limitations under the License.
  16  */
  17
  18 #include <vppinfra/llist.h>
  19
  20 #include <vnet/ip-neighbor/ip_neighbor.h>
  21 #include <vnet/ip-neighbor/ip4_neighbor.h>
  22 #include <vnet/ip-neighbor/ip6_neighbor.h>
  23 #include <vnet/ip-neighbor/ip_neighbor_watch.h>
  24
  25 #include <vnet/ip/ip6_ll_table.h>
  26 #include <vnet/fib/fib_table.h>
  27 #include <vnet/adj/adj_mcast.h>
  28
  29 /** Pool for All IP neighbors */
  30 static ip_neighbor_t *ip_neighbor_pool;
  31
  32 /** protocol specific lists of time sorted neighbors */
  33 index_t ip_neighbor_list_head[IP46_N_TYPES];
  34
  35 typedef struct ip_neighbor_elt_t_
  36 {
  37   clib_llist_anchor_t ipne_anchor;
  38   index_t ipne_index;
  39 } ip_neighbor_elt_t;
  40
  41 /** Pool of linked list elemeents */
  42 ip_neighbor_elt_t *ip_neighbor_elt_pool;
  43
  44 typedef struct ip_neighbor_db_t_
  45 {
  46   /** per interface hash */
  47   uword **ipndb_hash;
  48   /** per-protocol limit - max number of neighbors*/
  49   u32 ipndb_limit;
  50   /** max age of a neighbor before it's forcibly evicted */
  51   u32 ipndb_age;
  52   /** when the limit is reached and new neighbors are created, should
  53    * we recycle an old one */
  54   bool ipndb_recycle;
  55   /** per-protocol number of elements */
  56   u32 ipndb_n_elts;
  57   /** per-protocol number of elements per-fib-index*/
  58   u32 *ipndb_n_elts_per_fib;
  59 } ip_neighbor_db_t;
  60
  61 static vlib_log_class_t ipn_logger;
  62
  63 /* DBs of neighbours one per AF */
  64 /* *INDENT-OFF* */
  65 static ip_neighbor_db_t ip_neighbor_db[IP46_N_TYPES] = {
  66   [IP46_TYPE_IP4] = {
  67     .ipndb_limit = 50000,
  68     /* Default to not aging and not recycling */
  69     .ipndb_age = 0,
  70     .ipndb_recycle = false,
  71   },
  72   [IP46_TYPE_IP6] = {
  73     .ipndb_limit = 50000,
  74     /* Default to not aging and not recycling */
  75     .ipndb_age = 0,
  76     .ipndb_recycle = false,
  77   }
  78 };
  79 /* *INDENT-ON* */
  80
  81 #define IP_NEIGHBOR_DBG(...)                           \
  82     vlib_log_debug (ipn_logger, __VA_ARGS__);
  83
  84 #define IP_NEIGHBOR_INFO(...)                          \
  85     vlib_log_notice (ipn_logger, __VA_ARGS__);
  86
  87 ip_neighbor_t *
  88 ip_neighbor_get (index_t ipni)
  89 {
  90   if (pool_is_free_index (ip_neighbor_pool, ipni))
  91     return (NULL);
  92
  93   return (pool_elt_at_index (ip_neighbor_pool, ipni));
  94 }
  95
  96 static index_t
  97 ip_neighbor_get_index (const ip_neighbor_t * ipn)
  98 {
  99   return (ipn - ip_neighbor_pool);
 100 }
 101
 102 static void
 103 ip_neighbor_touch (ip_neighbor_t * ipn)
 104 {
 105   ipn->ipn_flags &= ~IP_NEIGHBOR_FLAG_STALE;
 106 }
 107
 108 static bool
 109 ip_neighbor_is_dynamic (const ip_neighbor_t * ipn)
 110 {
 111   return (ipn->ipn_flags & IP_NEIGHBOR_FLAG_DYNAMIC);
 112 }
 113
 114 const ip46_address_t *
 115 ip_neighbor_get_ip (const ip_neighbor_t * ipn)
 116 {
 117   return (&ipn->ipn_key->ipnk_ip);
 118 }
 119
 120 const mac_address_t *
 121 ip_neighbor_get_mac (const ip_neighbor_t * ipn)
 122 {
 123   return (&ipn->ipn_mac);
 124 }
 125
 126 const u32
 127 ip_neighbor_get_sw_if_index (const ip_neighbor_t * ipn)
 128 {
 129   return (ipn->ipn_key->ipnk_sw_if_index);
 130 }
 131
 132 static void
 133 ip_neighbor_list_remove (ip_neighbor_t * ipn)
 134 {
 135   /* new neighbours, are added to the head of the list, since the
 136    * list is time sorted, newest first */
 137   ip_neighbor_elt_t *elt;
 138
 139   if (~0 != ipn->ipn_elt)
 140     {
 141       elt = pool_elt_at_index (ip_neighbor_elt_pool, ipn->ipn_elt);
 142
 143       clib_llist_remove (ip_neighbor_elt_pool, ipne_anchor, elt);
 144     }
 145 }
 146
 147 static void
 148 ip_neighbor_refresh (ip_neighbor_t * ipn)
 149 {
 150   /* new neighbours, are added to the head of the list, since the
 151    * list is time sorted, newest first */
 152   ip_neighbor_elt_t *elt, *head;
 153
 154   ip_neighbor_touch (ipn);
 155   ipn->ipn_time_last_updated = vlib_time_now (vlib_get_main ());
 156   ipn->ipn_n_probes = 0;
 157
 158   if (ip_neighbor_is_dynamic (ipn))
 159     {
 160       if (~0 == ipn->ipn_elt)
 161         /* first time insertion */
 162         pool_get_zero (ip_neighbor_elt_pool, elt);
 163       else
 164         {
 165           /* already inserted - extract first */
 166           elt = pool_elt_at_index (ip_neighbor_elt_pool, ipn->ipn_elt);
 167
 168           clib_llist_remove (ip_neighbor_elt_pool, ipne_anchor, elt);
 169         }
 170       head = pool_elt_at_index (ip_neighbor_elt_pool,
 171                                 ip_neighbor_list_head[ipn->
 172                                                       ipn_key->ipnk_type]);
 173
 174       elt->ipne_index = ip_neighbor_get_index (ipn);
 175       clib_llist_add (ip_neighbor_elt_pool, ipne_anchor, elt, head);
 176       ipn->ipn_elt = elt - ip_neighbor_elt_pool;
 177     }
 178 }
 179
 180 static void
 181 ip_neighbor_db_add (const ip_neighbor_t * ipn)
 182 {
 183   vec_validate (ip_neighbor_db[ipn->ipn_key->ipnk_type].ipndb_hash,
 184                 ipn->ipn_key->ipnk_sw_if_index);
 185
 186   if (!ip_neighbor_db[ipn->ipn_key->ipnk_type].ipndb_hash
 187       [ipn->ipn_key->ipnk_sw_if_index])
 188     ip_neighbor_db[ipn->ipn_key->ipnk_type].ipndb_hash[ipn->
 189                                                        ipn_key->ipnk_sw_if_index]
 190       = hash_create_mem (0, sizeof (ip_neighbor_key_t), sizeof (index_t));
 191
 192   hash_set_mem (ip_neighbor_db[ipn->ipn_key->ipnk_type].ipndb_hash
 193                 [ipn->ipn_key->ipnk_sw_if_index], ipn->ipn_key,
 194                 ip_neighbor_get_index (ipn));
 195
 196   ip_neighbor_db[ipn->ipn_key->ipnk_type].ipndb_n_elts++;
 197 }
 198
 199 static void
 200 ip_neighbor_db_remove (const ip_neighbor_key_t * key)
 201 {
 202   vec_validate (ip_neighbor_db[key->ipnk_type].ipndb_hash,
 203                 key->ipnk_sw_if_index);
 204
 205   hash_unset_mem (ip_neighbor_db[key->ipnk_type].ipndb_hash
 206                   [key->ipnk_sw_if_index], key);
 207
 208   ip_neighbor_db[key->ipnk_type].ipndb_n_elts--;
 209 }
 210
 211 static ip_neighbor_t *
 212 ip_neighbor_db_find (const ip_neighbor_key_t * key)
 213 {
 214   uword *p;
 215
 216   if (key->ipnk_sw_if_index >=
 217       vec_len (ip_neighbor_db[key->ipnk_type].ipndb_hash))
 218     return NULL;
 219
 220   p =
 221     hash_get_mem (ip_neighbor_db[key->ipnk_type].ipndb_hash
 222                   [key->ipnk_sw_if_index], key);
 223
 224   if (p)
 225     return ip_neighbor_get (p[0]);
 226
 227   return (NULL);
 228 }
 229
 230 static u8
 231 ip46_type_pfx_len (ip46_type_t type)
 232 {
 233   return (type == IP46_TYPE_IP4 ? 32 : 128);
 234 }
 235
 236 static void
 237 ip_neighbor_adj_fib_add (ip_neighbor_t * ipn, u32 fib_index)
 238 {
 239   if (ipn->ipn_key->ipnk_type == IP46_TYPE_IP6 &&
 240       ip6_address_is_link_local_unicast (&ipn->ipn_key->ipnk_ip.ip6))
 241     {
 242       ip6_ll_prefix_t pfx = {
 243         .ilp_addr = ipn->ipn_key->ipnk_ip.ip6,
 244         .ilp_sw_if_index = ipn->ipn_key->ipnk_sw_if_index,
 245       };
 246       ipn->ipn_fib_entry_index =
 247         ip6_ll_table_entry_update (&pfx, FIB_ROUTE_PATH_FLAG_NONE);
 248     }
 249   else
 250     {
 251       fib_protocol_t fproto;
 252
 253       fproto = fib_proto_from_ip46 (ipn->ipn_key->ipnk_type);
 254
 255       fib_prefix_t pfx = {
 256         .fp_len = ip46_type_pfx_len (ipn->ipn_key->ipnk_type),
 257         .fp_proto = fproto,
 258         .fp_addr = ipn->ipn_key->ipnk_ip,
 259       };
 260
 261       ipn->ipn_fib_entry_index =
 262         fib_table_entry_path_add (fib_index, &pfx, FIB_SOURCE_ADJ,
 263                                   FIB_ENTRY_FLAG_ATTACHED,
 264                                   fib_proto_to_dpo (fproto),
 265                                   &pfx.fp_addr,
 266                                   ipn->ipn_key->ipnk_sw_if_index,
 267                                   ~0, 1, NULL, FIB_ROUTE_PATH_FLAG_NONE);
 268
 269       vec_validate (ip_neighbor_db
 270                     [ipn->ipn_key->ipnk_type].ipndb_n_elts_per_fib,
 271                     fib_index);
 272
 273       ip_neighbor_db[ipn->ipn_key->
 274                      ipnk_type].ipndb_n_elts_per_fib[fib_index]++;
 275
 276       if (1 ==
 277           ip_neighbor_db[ipn->ipn_key->
 278                          ipnk_type].ipndb_n_elts_per_fib[fib_index])
 279         fib_table_lock (fib_index, fproto, FIB_SOURCE_ADJ);
 280     }
 281 }
 282
 283 static void
 284 ip_neighbor_adj_fib_remove (ip_neighbor_t * ipn, u32 fib_index)
 285 {
 286   if (FIB_NODE_INDEX_INVALID != ipn->ipn_fib_entry_index)
 287     {
 288       if (ipn->ipn_key->ipnk_type == IP46_TYPE_IP6 &&
 289           ip6_address_is_link_local_unicast (&ipn->ipn_key->ipnk_ip.ip6))
 290         {
 291           ip6_ll_prefix_t pfx = {
 292             .ilp_addr = ipn->ipn_key->ipnk_ip.ip6,
 293             .ilp_sw_if_index = ipn->ipn_key->ipnk_sw_if_index,
 294           };
 295           ip6_ll_table_entry_delete (&pfx);
 296         }
 297       else
 298         {
 299           fib_protocol_t fproto;
 300
 301           fproto = fib_proto_from_ip46 (ipn->ipn_key->ipnk_type);
 302
 303           fib_prefix_t pfx = {
 304             .fp_len = ip46_type_pfx_len (ipn->ipn_key->ipnk_type),
 305             .fp_proto = fproto,
 306             .fp_addr = ipn->ipn_key->ipnk_ip,
 307           };
 308
 309           fib_table_entry_path_remove (fib_index,
 310                                        &pfx,
 311                                        FIB_SOURCE_ADJ,
 312                                        fib_proto_to_dpo (fproto),
 313                                        &pfx.fp_addr,
 314                                        ipn->ipn_key->ipnk_sw_if_index,
 315                                        ~0, 1, FIB_ROUTE_PATH_FLAG_NONE);
 316
 317           ip_neighbor_db[ipn->ipn_key->
 318                          ipnk_type].ipndb_n_elts_per_fib[fib_index]--;
 319
 320           if (0 ==
 321               ip_neighbor_db[ipn->ipn_key->
 322                              ipnk_type].ipndb_n_elts_per_fib[fib_index])
 323             fib_table_unlock (fib_index, fproto, FIB_SOURCE_ADJ);
 324         }
 325     }
 326 }
 327
 328 static void
 329 ip_neighbor_mk_complete (adj_index_t ai, ip_neighbor_t * ipn)
 330 {
 331   adj_nbr_update_rewrite (ai, ADJ_NBR_REWRITE_FLAG_COMPLETE,
 332                           ethernet_build_rewrite (vnet_get_main (),
 333                                                   ipn->
 334                                                   ipn_key->ipnk_sw_if_index,
 335                                                   adj_get_link_type (ai),
 336                                                   ipn->ipn_mac.bytes));
 337 }
 338
 339 static void
 340 ip_neighbor_mk_incomplete (adj_index_t ai)
 341 {
 342   ip_adjacency_t *adj = adj_get (ai);
 343
 344   adj_nbr_update_rewrite (ai,
 345                           ADJ_NBR_REWRITE_FLAG_INCOMPLETE,
 346                           ethernet_build_rewrite (vnet_get_main (),
 347                                                   adj->
 348                                                   rewrite_header.sw_if_index,
 349                                                   VNET_LINK_ARP,
 350                                                   VNET_REWRITE_FOR_SW_INTERFACE_ADDRESS_BROADCAST));
 351 }
 352
 353 static adj_walk_rc_t
 354 ip_neighbor_mk_complete_walk (adj_index_t ai, void *ctx)
 355 {
 356   ip_neighbor_t *ipn = ctx;
 357
 358   ip_neighbor_mk_complete (ai, ipn);
 359
 360   return (ADJ_WALK_RC_CONTINUE);
 361 }
 362
 363 static adj_walk_rc_t
 364 ip_neighbor_mk_incomplete_walk (adj_index_t ai, void *ctx)
 365 {
 366   ip_neighbor_mk_incomplete (ai);
 367
 368   return (ADJ_WALK_RC_CONTINUE);
 369 }
 370
 371 static void
 372 ip_neighbor_free (ip_neighbor_t * ipn)
 373 {
 374   IP_NEIGHBOR_DBG ("free: %U", format_ip_neighbor,
 375                    ip_neighbor_get_index (ipn));
 376
 377   adj_nbr_walk_nh (ipn->ipn_key->ipnk_sw_if_index,
 378                    fib_proto_from_ip46 (ipn->ipn_key->ipnk_type),
 379                    &ipn->ipn_key->ipnk_ip,
 380                    ip_neighbor_mk_incomplete_walk, ipn);
 381   ip_neighbor_adj_fib_remove
 382     (ipn,
 383      fib_table_get_index_for_sw_if_index
 384      (fib_proto_from_ip46 (ipn->ipn_key->ipnk_type),
 385       ipn->ipn_key->ipnk_sw_if_index));
 386
 387   ip_neighbor_list_remove (ipn);
 388   ip_neighbor_db_remove (ipn->ipn_key);
 389   clib_mem_free (ipn->ipn_key);
 390
 391   pool_put (ip_neighbor_pool, ipn);
 392 }
 393
 394 static bool
 395 ip_neighbor_force_reuse (ip46_type_t type)
 396 {
 397   if (!ip_neighbor_db[type].ipndb_recycle)
 398     return false;
 399
 400   /* pluck the oldest entry, which is the one from the end of the list */
 401   ip_neighbor_elt_t *elt, *head;
 402
 403   head =
 404     pool_elt_at_index (ip_neighbor_elt_pool, ip_neighbor_list_head[type]);
 405
 406   if (clib_llist_is_empty (ip_neighbor_elt_pool, ipne_anchor, head))
 407     return (false);
 408
 409   elt = clib_llist_prev (ip_neighbor_elt_pool, ipne_anchor, head);
 410   ip_neighbor_free (ip_neighbor_get (elt->ipne_index));
 411
 412   return (true);
 413 }
 414
 415 static ip_neighbor_t *
 416 ip_neighbor_alloc (const ip_neighbor_key_t * key,
 417                    const mac_address_t * mac, ip_neighbor_flags_t flags)
 418 {
 419   ip_neighbor_t *ipn;
 420
 421   if (ip_neighbor_db[key->ipnk_type].ipndb_limit &&
 422       (ip_neighbor_db[key->ipnk_type].ipndb_n_elts >=
 423        ip_neighbor_db[key->ipnk_type].ipndb_limit))
 424     {
 425       if (!ip_neighbor_force_reuse (key->ipnk_type))
 426         return (NULL);
 427     }
 428
 429   pool_get_zero (ip_neighbor_pool, ipn);
 430
 431   ipn->ipn_key = clib_mem_alloc (sizeof (*ipn->ipn_key));
 432   clib_memcpy (ipn->ipn_key, key, sizeof (*ipn->ipn_key));
 433
 434   ipn->ipn_fib_entry_index = FIB_NODE_INDEX_INVALID;
 435   ipn->ipn_flags = flags;
 436   ipn->ipn_elt = ~0;
 437
 438   mac_address_copy (&ipn->ipn_mac, mac);
 439
 440   ip_neighbor_db_add (ipn);
 441
 442   /* create the adj-fib. the entry in the FIB table for the peer's interface */
 443   if (!(ipn->ipn_flags & IP_NEIGHBOR_FLAG_NO_FIB_ENTRY))
 444     ip_neighbor_adj_fib_add
 445       (ipn, fib_table_get_index_for_sw_if_index
 446        (fib_proto_from_ip46 (ipn->ipn_key->ipnk_type),
 447         ipn->ipn_key->ipnk_sw_if_index));
 448
 449   return (ipn);
 450 }
 451
 452 int
 453 ip_neighbor_add (const ip46_address_t * ip,
 454                  ip46_type_t type,
 455                  const mac_address_t * mac,
 456                  u32 sw_if_index,
 457                  ip_neighbor_flags_t flags, u32 * stats_index)
 458 {
 459   fib_protocol_t fproto;
 460   ip_neighbor_t *ipn;
 461
 462   /* main thread only */
 463   ASSERT (0 == vlib_get_thread_index ());
 464
 465   fproto = fib_proto_from_ip46 (type);
 466
 467   const ip_neighbor_key_t key = {
 468     .ipnk_ip = *ip,
 469     .ipnk_sw_if_index = sw_if_index,
 470     .ipnk_type = type,
 471   };
 472
 473   ipn = ip_neighbor_db_find (&key);
 474
 475   if (ipn)
 476     {
 477       IP_NEIGHBOR_DBG ("update: %U, %U",
 478                        format_vnet_sw_if_index_name, vnet_get_main (),
 479                        sw_if_index, format_ip46_address, ip, type,
 480                        format_ip_neighbor_flags, flags, format_mac_address_t,
 481                        mac);
 482
 483       ip_neighbor_touch (ipn);
 484
 485       /* Refuse to over-write static neighbor entry. */
 486       if (!(flags & IP_NEIGHBOR_FLAG_STATIC) &&
 487           (ipn->ipn_flags & IP_NEIGHBOR_FLAG_STATIC))
 488         {
 489           /* if MAC address match, still check to send event */
 490           if (0 == mac_address_cmp (&ipn->ipn_mac, mac))
 491             goto check_customers;
 492           return -2;
 493         }
 494
 495       /*
 496        * prevent a DoS attack from the data-plane that
 497        * spams us with no-op updates to the MAC address
 498        */
 499       if (0 == mac_address_cmp (&ipn->ipn_mac, mac))
 500         {
 501           ip_neighbor_refresh (ipn);
 502           goto check_customers;
 503         }
 504
 505       mac_address_copy (&ipn->ipn_mac, mac);
 506
 507       /* A dynamic entry can become static, but not vice-versa.
 508        * i.e. since if it was programmed by the CP then it must
 509        * be removed by the CP */
 510       if ((flags & IP_NEIGHBOR_FLAG_STATIC) &&
 511           !(ipn->ipn_flags & IP_NEIGHBOR_FLAG_STATIC))
 512         {
 513           ip_neighbor_list_remove (ipn);
 514           ipn->ipn_flags |= IP_NEIGHBOR_FLAG_STATIC;
 515           ipn->ipn_flags &= ~IP_NEIGHBOR_FLAG_DYNAMIC;
 516         }
 517     }
 518   else
 519     {
 520       IP_NEIGHBOR_INFO ("add: %U, %U",
 521                         format_vnet_sw_if_index_name, vnet_get_main (),
 522                         sw_if_index, format_ip46_address, ip, type,
 523                         format_ip_neighbor_flags, flags, format_mac_address_t,
 524                         mac);
 525
 526       ipn = ip_neighbor_alloc (&key, mac, flags);
 527
 528       if (NULL == ipn)
 529         return VNET_API_ERROR_LIMIT_EXCEEDED;
 530     }
 531
 532   /* Update time stamp and flags. */
 533   ip_neighbor_refresh (ipn);
 534
 535   adj_nbr_walk_nh (ipn->ipn_key->ipnk_sw_if_index,
 536                    fproto, &ipn->ipn_key->ipnk_ip,
 537                    ip_neighbor_mk_complete_walk, ipn);
 538
 539 check_customers:
 540   /* Customer(s) requesting event for this address? */
 541   ip_neighbor_publish (ip_neighbor_get_index (ipn));
 542
 543   if (stats_index)
 544     *stats_index = adj_nbr_find (fproto,
 545                                  fib_proto_to_link (fproto),
 546                                  &ipn->ipn_key->ipnk_ip,
 547                                  ipn->ipn_key->ipnk_sw_if_index);
 548   return 0;
 549 }
 550
 551 int
 552 ip_neighbor_del (const ip46_address_t * ip, ip46_type_t type, u32 sw_if_index)
 553 {
 554   ip_neighbor_t *ipn;
 555
 556   /* main thread only */
 557   ASSERT (0 == vlib_get_thread_index ());
 558
 559   IP_NEIGHBOR_INFO ("delete: %U, %U",
 560                     format_vnet_sw_if_index_name, vnet_get_main (),
 561                     sw_if_index, format_ip46_address, ip, type);
 562
 563   const ip_neighbor_key_t key = {
 564     .ipnk_ip = *ip,
 565     .ipnk_sw_if_index = sw_if_index,
 566     .ipnk_type = type,
 567   };
 568
 569   ipn = ip_neighbor_db_find (&key);
 570
 571   if (NULL == ipn)
 572     return (VNET_API_ERROR_NO_SUCH_ENTRY);
 573
 574   ip_neighbor_free (ipn);
 575
 576   return (0);
 577 }
 578
 579 typedef struct ip_neighbor_del_all_ctx_t_
 580 {
 581   index_t *ipn_del;
 582 } ip_neighbor_del_all_ctx_t;
 583
 584 static walk_rc_t
 585 ip_neighbor_del_all_walk_cb (index_t ipni, void *arg)
 586 {
 587   ip_neighbor_del_all_ctx_t *ctx = arg;
 588
 589   vec_add1 (ctx->ipn_del, ipni);
 590
 591   return (WALK_CONTINUE);
 592 }
 593
 594 void
 595 ip_neighbor_del_all (ip46_type_t type, u32 sw_if_index)
 596 {
 597   IP_NEIGHBOR_INFO ("delete-all: %U, %U",
 598                     format_ip46_type, type,
 599                     format_vnet_sw_if_index_name, vnet_get_main (),
 600                     sw_if_index);
 601
 602   ip_neighbor_del_all_ctx_t ctx = {
 603     .ipn_del = NULL,
 604   };
 605   index_t *ipni;
 606
 607   ip_neighbor_walk (type, sw_if_index, ip_neighbor_del_all_walk_cb, &ctx);
 608
 609   vec_foreach (ipni, ctx.ipn_del) ip_neighbor_free (ip_neighbor_get (*ipni));
 610   vec_free (ctx.ipn_del);
 611 }
 612
 613 void
 614 ip_neighbor_update (vnet_main_t * vnm, adj_index_t ai)
 615 {
 616   ip_neighbor_t *ipn;
 617   ip_adjacency_t *adj;
 618
 619   adj = adj_get (ai);
 620
 621   ip_neighbor_key_t key = {
 622     .ipnk_ip = adj->sub_type.nbr.next_hop,
 623     .ipnk_type = fib_proto_to_ip46 (adj->ia_nh_proto),
 624     .ipnk_sw_if_index = adj->rewrite_header.sw_if_index,
 625   };
 626   ipn = ip_neighbor_db_find (&key);
 627
 628   switch (adj->lookup_next_index)
 629     {
 630     case IP_LOOKUP_NEXT_ARP:
 631       if (NULL != ipn)
 632         {
 633           adj_nbr_walk_nh (adj->rewrite_header.sw_if_index,
 634                            adj->ia_nh_proto,
 635                            &ipn->ipn_key->ipnk_ip,
 636                            ip_neighbor_mk_complete_walk, ipn);
 637         }
 638       else
 639         {
 640           /*
 641            * no matching ARP entry.
 642            * construct the rewrite required to for an ARP packet, and stick
 643            * that in the adj's pipe to smoke.
 644            */
 645           adj_nbr_update_rewrite
 646             (ai,
 647              ADJ_NBR_REWRITE_FLAG_INCOMPLETE,
 648              ethernet_build_rewrite
 649              (vnm,
 650               adj->rewrite_header.sw_if_index,
 651               VNET_LINK_ARP,
 652               VNET_REWRITE_FOR_SW_INTERFACE_ADDRESS_BROADCAST));
 653
 654           /*
 655            * since the FIB has added this adj for a route, it makes sense it
 656            * may want to forward traffic sometime soon. Let's send a
 657            * speculative ARP. just one. If we were to do periodically that
 658            * wouldn't be bad either, but that's more code than i'm prepared to
 659            * write at this time for relatively little reward.
 660            */
 661           /*
 662            * adj_nbr_update_rewrite may actually call fib_walk_sync.
 663            * fib_walk_sync may allocate a new adjacency and potentially cause
 664            * a realloc for adj_pool. When that happens, adj pointer is no
 665            * longer valid here.x We refresh adj pointer accordingly.
 666            */
 667           adj = adj_get (ai);
 668           ip_neighbor_probe (adj);
 669         }
 670       break;
 671     case IP_LOOKUP_NEXT_GLEAN:
 672     case IP_LOOKUP_NEXT_BCAST:
 673     case IP_LOOKUP_NEXT_MCAST:
 674     case IP_LOOKUP_NEXT_DROP:
 675     case IP_LOOKUP_NEXT_PUNT:
 676     case IP_LOOKUP_NEXT_LOCAL:
 677     case IP_LOOKUP_NEXT_REWRITE:
 678     case IP_LOOKUP_NEXT_MCAST_MIDCHAIN:
 679     case IP_LOOKUP_NEXT_MIDCHAIN:
 680     case IP_LOOKUP_NEXT_ICMP_ERROR:
 681     case IP_LOOKUP_N_NEXT:
 682       ASSERT (0);
 683       break;
 684     }
 685 }
 686
 687 void
 688 ip_neighbor_learn (const ip_neighbor_learn_t * l)
 689 {
 690   ip_neighbor_add (&l->ip, l->type, &l->mac, l->sw_if_index,
 691                    IP_NEIGHBOR_FLAG_DYNAMIC, NULL);
 692 }
 693
 694 static clib_error_t *
 695 ip_neighbor_cmd (vlib_main_t * vm,
 696                  unformat_input_t * input, vlib_cli_command_t * cmd)
 697 {
 698   ip46_address_t ip = ip46_address_initializer;
 699   mac_address_t mac = ZERO_MAC_ADDRESS;
 700   vnet_main_t *vnm = vnet_get_main ();
 701   ip_neighbor_flags_t flags;
 702   u32 sw_if_index = ~0;
 703   int is_add = 1;
 704   int count = 1;
 705
 706   flags = IP_NEIGHBOR_FLAG_DYNAMIC;
 707
 708   while (unformat_check_input (input) != UNFORMAT_END_OF_INPUT)
 709     {
 710       /* set ip arp TenGigE1/1/0/1 1.2.3.4 aa:bb:... or aabb.ccdd... */
 711       if (unformat (input, "%U %U %U",
 712                     unformat_vnet_sw_interface, vnm, &sw_if_index,
 713                     unformat_ip46_address, &ip, IP46_TYPE_ANY,
 714                     unformat_mac_address_t, &mac))
 715         ;
 716       else if (unformat (input, "delete") || unformat (input, "del"))
 717         is_add = 0;
 718       else if (unformat (input, "static"))
 719         {
 720           flags |= IP_NEIGHBOR_FLAG_STATIC;
 721           flags &= ~IP_NEIGHBOR_FLAG_DYNAMIC;
 722         }
 723       else if (unformat (input, "no-fib-entry"))
 724         flags |= IP_NEIGHBOR_FLAG_NO_FIB_ENTRY;
 725       else if (unformat (input, "count %d", &count))
 726         ;
 727       else
 728         break;
 729     }
 730
 731   if (sw_if_index == ~0 ||
 732       ip46_address_is_zero (&ip) || mac_address_is_zero (&mac))
 733     return clib_error_return (0,
 734                               "specify interface, IP address and MAC: `%U'",
 735                               format_unformat_error, input);
 736
 737   while (count)
 738     {
 739       if (is_add)
 740         ip_neighbor_add (&ip, ip46_address_get_type (&ip), &mac, sw_if_index,
 741                          flags, NULL);
 742       else
 743         ip_neighbor_del (&ip, ip46_address_get_type (&ip), sw_if_index);
 744
 745       ip46_address_increment (ip46_address_get_type (&ip), &ip);
 746       mac_address_increment (&mac);
 747
 748       --count;
 749     }
 750
 751   return NULL;
 752 }
 753
 754 /* *INDENT-OFF* */
 755 /*?
 756  * Add or delete IPv4 ARP cache entries.
 757  *
 758  * @note 'set ip neighbor' options (e.g. delete, static, 'fib-id <id>',
 759  * 'count <number>', 'interface ip4_addr mac_addr') can be added in
 760  * any order and combination.
 761  *
 762  * @cliexpar
 763  * @parblock
 764  * Add or delete IPv4 ARP cache entries as follows. MAC Address can be in
 765  * either aa:bb:cc:dd:ee:ff format or aabb.ccdd.eeff format.
 766  * @cliexcmd{set ip neighbor GigabitEthernet2/0/0 6.0.0.3 dead.beef.babe}
 767  * @cliexcmd{set ip neighbor delete GigabitEthernet2/0/0 6.0.0.3 de:ad:be:ef:ba:be}
 768  *
 769  * To add or delete an IPv4 ARP cache entry to or from a specific fib
 770  * table:
 771  * @cliexcmd{set ip neighbor fib-id 1 GigabitEthernet2/0/0 6.0.0.3 dead.beef.babe}
 772  * @cliexcmd{set ip neighbor fib-id 1 delete GigabitEthernet2/0/0 6.0.0.3 dead.beef.babe}
 773  *
 774  * Add or delete IPv4 static ARP cache entries as follows:
 775  * @cliexcmd{set ip neighbor static GigabitEthernet2/0/0 6.0.0.3 dead.beef.babe}
 776  * @cliexcmd{set ip neighbor static delete GigabitEthernet2/0/0 6.0.0.3 dead.beef.babe}
 777  *
 778  * For testing / debugging purposes, the 'set ip neighbor' command can add or
 779  * delete multiple entries. Supply the 'count N' parameter:
 780  * @cliexcmd{set ip neighbor count 10 GigabitEthernet2/0/0 6.0.0.3 dead.beef.babe}
 781  * @endparblock
 782  ?*/
 783 VLIB_CLI_COMMAND (ip_neighbor_command, static) = {
 784   .path = "set ip neighbor",
 785   .short_help =
 786   "set ip neighbor [del] <intfc> <ip-address> <mac-address> [static] [no-fib-entry] [count <count>] [fib-id <fib-id>] [proxy <lo-addr> - <hi-addr>]",
 787   .function = ip_neighbor_cmd,
 788 };
 789 VLIB_CLI_COMMAND (ip_neighbor_command2, static) = {
 790   .path = "ip neighbor",
 791   .short_help =
 792   "ip neighbor [del] <intfc> <ip-address> <mac-address> [static] [no-fib-entry] [count <count>] [fib-id <fib-id>] [proxy <lo-addr> - <hi-addr>]",
 793   .function = ip_neighbor_cmd,
 794 };
 795 /* *INDENT-ON* */
 796
 797 static int
 798 ip_neighbor_sort (void *a1, void *a2)
 799 {
 800   index_t *ipni1 = a1, *ipni2 = a2;
 801   ip_neighbor_t *ipn1, *ipn2;
 802   int cmp;
 803
 804   ipn1 = ip_neighbor_get (*ipni1);
 805   ipn2 = ip_neighbor_get (*ipni2);
 806
 807   cmp = vnet_sw_interface_compare (vnet_get_main (),
 808                                    ipn1->ipn_key->ipnk_sw_if_index,
 809                                    ipn2->ipn_key->ipnk_sw_if_index);
 810   if (!cmp)
 811     cmp = ip46_address_cmp (&ipn1->ipn_key->ipnk_ip, &ipn2->ipn_key->ipnk_ip);
 812   return cmp;
 813 }
 814
 815 static index_t *
 816 ip_neighbor_entries (u32 sw_if_index, ip46_type_t type)
 817 {
 818   index_t *ipnis = NULL;
 819   ip_neighbor_t *ipn;
 820
 821   /* *INDENT-OFF* */
 822   pool_foreach (ipn, ip_neighbor_pool,
 823   ({
 824     if (sw_if_index != ~0 &&
 825         ipn->ipn_key->ipnk_sw_if_index != sw_if_index &&
 826         (IP46_TYPE_ANY == type ||
 827          (ipn->ipn_key->ipnk_type == type)))
 828       continue;
 829     vec_add1 (ipnis, ip_neighbor_get_index(ipn));
 830   }));
 831
 832   /* *INDENT-ON* */
 833
 834   if (ipnis)
 835     vec_sort_with_function (ipnis, ip_neighbor_sort);
 836   return ipnis;
 837 }
 838
 839 static clib_error_t *
 840 ip_neighbor_show_sorted_i (vlib_main_t * vm,
 841                            unformat_input_t * input,
 842                            vlib_cli_command_t * cmd, ip46_type_t type)
 843 {
 844   ip_neighbor_elt_t *elt, *head;
 845
 846   head = pool_elt_at_index (ip_neighbor_elt_pool,
 847                             ip_neighbor_list_head[type]);
 848
 849
 850   vlib_cli_output (vm, "%=12s%=40s%=6s%=20s%=24s", "Time", "IP",
 851                    "Flags", "Ethernet", "Interface");
 852
 853   /* *INDENT-OFF*/
 854   /* the list is time sorted, newest first, so start from the back
 855    * and work forwards. Stop when we get to one that is alive */
 856   clib_llist_foreach_reverse(ip_neighbor_elt_pool,
 857                              ipne_anchor, head, elt,
 858   ({
 859     vlib_cli_output (vm, "%U", format_ip_neighbor, elt->ipne_index);
 860   }));
 861   /* *INDENT-ON*/
 862
 863   return (NULL);
 864 }
 865
 866 static clib_error_t *
 867 ip_neighbor_show_i (vlib_main_t * vm,
 868                     unformat_input_t * input,
 869                     vlib_cli_command_t * cmd, ip46_type_t type)
 870 {
 871   index_t *ipni, *ipnis = NULL;
 872   u32 sw_if_index;
 873
 874   /* Filter entries by interface if given. */
 875   sw_if_index = ~0;
 876   (void) unformat_user (input, unformat_vnet_sw_interface, vnet_get_main (),
 877                         &sw_if_index);
 878
 879   ipnis = ip_neighbor_entries (sw_if_index, type);
 880
 881   if (ipnis)
 882     vlib_cli_output (vm, "%=12s%=40s%=6s%=20s%=24s", "Time", "IP",
 883                      "Flags", "Ethernet", "Interface");
 884
 885   vec_foreach (ipni, ipnis)
 886   {
 887     vlib_cli_output (vm, "%U", format_ip_neighbor, *ipni);
 888   }
 889   vec_free (ipnis);
 890
 891   return (NULL);
 892 }
 893
 894 static clib_error_t *
 895 ip_neighbor_show (vlib_main_t * vm,
 896                   unformat_input_t * input, vlib_cli_command_t * cmd)
 897 {
 898   return (ip_neighbor_show_i (vm, input, cmd, IP46_TYPE_ANY));
 899 }
 900
 901 static clib_error_t *
 902 ip6_neighbor_show (vlib_main_t * vm,
 903                    unformat_input_t * input, vlib_cli_command_t * cmd)
 904 {
 905   return (ip_neighbor_show_i (vm, input, cmd, IP46_TYPE_IP6));
 906 }
 907
 908 static clib_error_t *
 909 ip4_neighbor_show (vlib_main_t * vm,
 910                    unformat_input_t * input, vlib_cli_command_t * cmd)
 911 {
 912   return (ip_neighbor_show_i (vm, input, cmd, IP46_TYPE_IP4));
 913 }
 914
 915 static clib_error_t *
 916 ip6_neighbor_show_sorted (vlib_main_t * vm,
 917                           unformat_input_t * input, vlib_cli_command_t * cmd)
 918 {
 919   return (ip_neighbor_show_sorted_i (vm, input, cmd, IP46_TYPE_IP6));
 920 }
 921
 922 static clib_error_t *
 923 ip4_neighbor_show_sorted (vlib_main_t * vm,
 924                           unformat_input_t * input, vlib_cli_command_t * cmd)
 925 {
 926   return (ip_neighbor_show_sorted_i (vm, input, cmd, IP46_TYPE_IP4));
 927 }
 928
 929 /*?
 930  * Display all the IP neighbor entries.
 931  *
 932  * @cliexpar
 933  * Example of how to display the IPv4 ARP table:
 934  * @cliexstart{show ip neighbor}
 935  *    Time      FIB        IP4       Flags      Ethernet              Interface
 936  *    346.3028   0       6.1.1.3            de:ad:be:ef:ba:be   GigabitEthernet2/0/0
 937  *   3077.4271   0       6.1.1.4       S    de:ad:be:ef:ff:ff   GigabitEthernet2/0/0
 938  *   2998.6409   1       6.2.2.3            de:ad:be:ef:00:01   GigabitEthernet2/0/0
 939  * Proxy arps enabled for:
 940  * Fib_index 0   6.0.0.1 - 6.0.0.11
 941  * @cliexend
 942  ?*/
 943 /* *INDENT-OFF* */
 944 VLIB_CLI_COMMAND (show_ip_neighbors_cmd_node, static) = {
 945   .path = "show ip neighbors",
 946   .function = ip_neighbor_show,
 947   .short_help = "show ip neighbors [interface]",
 948 };
 949 VLIB_CLI_COMMAND (show_ip4_neighbors_cmd_node, static) = {
 950   .path = "show ip4 neighbors",
 951   .function = ip4_neighbor_show,
 952   .short_help = "show ip4 neighbors [interface]",
 953 };
 954 VLIB_CLI_COMMAND (show_ip6_neighbors_cmd_node, static) = {
 955   .path = "show ip6 neighbors",
 956   .function = ip6_neighbor_show,
 957   .short_help = "show ip6 neighbors [interface]",
 958 };
 959 VLIB_CLI_COMMAND (show_ip_neighbor_cmd_node, static) = {
 960   .path = "show ip neighbor",
 961   .function = ip_neighbor_show,
 962   .short_help = "show ip neighbor [interface]",
 963 };
 964 VLIB_CLI_COMMAND (show_ip4_neighbor_cmd_node, static) = {
 965   .path = "show ip4 neighbor",
 966   .function = ip4_neighbor_show,
 967   .short_help = "show ip4 neighbor [interface]",
 968 };
 969 VLIB_CLI_COMMAND (show_ip6_neighbor_cmd_node, static) = {
 970   .path = "show ip6 neighbor",
 971   .function = ip6_neighbor_show,
 972   .short_help = "show ip6 neighbor [interface]",
 973 };
 974 VLIB_CLI_COMMAND (show_ip4_neighbor_sorted_cmd_node, static) = {
 975   .path = "show ip4 neighbor-sorted",
 976   .function = ip4_neighbor_show_sorted,
 977   .short_help = "show ip4 neighbor-sorted",
 978 };
 979 VLIB_CLI_COMMAND (show_ip6_neighbor_sorted_cmd_node, static) = {
 980   .path = "show ip6 neighbor-sorted",
 981   .function = ip6_neighbor_show_sorted,
 982   .short_help = "show ip6 neighbor-sorted",
 983 };
 984 /* *INDENT-ON* */
 985
 986 static ip_neighbor_vft_t ip_nbr_vfts[IP46_N_TYPES];
 987
 988 void
 989 ip_neighbor_register (ip46_type_t type, const ip_neighbor_vft_t * vft)
 990 {
 991   ip_nbr_vfts[type] = *vft;
 992 }
 993
 994 void
 995 ip_neighbor_probe_dst (const ip_adjacency_t * adj, const ip46_address_t * dst)
 996 {
 997   if (!vnet_sw_interface_is_admin_up (vnet_get_main (),
 998                                       adj->rewrite_header.sw_if_index))
 999     return;
1000
1001   switch (adj->ia_nh_proto)
1002     {
1003     case FIB_PROTOCOL_IP6:
1004       ip6_neighbor_probe_dst (adj, &dst->ip6);
1005       break;
1006     case FIB_PROTOCOL_IP4:
1007       ip4_neighbor_probe_dst (adj, &dst->ip4);
1008       break;
1009     case FIB_PROTOCOL_MPLS:
1010       ASSERT (0);
1011       break;
1012     }
1013 }
1014
1015 void
1016 ip_neighbor_probe (const ip_adjacency_t * adj)
1017 {
1018   ip_neighbor_probe_dst (adj, &adj->sub_type.nbr.next_hop);
1019 }
1020
1021 void
1022 ip_neighbor_advertise (vlib_main_t * vm,
1023                        ip46_type_t type,
1024                        const ip46_address_t * addr, u32 sw_if_index)
1025 {
1026   vnet_main_t *vnm = vnet_get_main ();
1027
1028   if (type == IP46_TYPE_IP4 || type == IP46_TYPE_BOTH)
1029     ip4_neighbor_advertise (vm, vnm, sw_if_index, (addr) ? &addr->ip4 : NULL);
1030   if (type == IP46_TYPE_IP6 || type == IP46_TYPE_BOTH)
1031     ip6_neighbor_advertise (vm, vnm, sw_if_index, (addr) ? &addr->ip6 : NULL);
1032 }
1033
1034 void
1035 ip_neighbor_walk (ip46_type_t type,
1036                   u32 sw_if_index, ip_neighbor_walk_cb_t cb, void *ctx)
1037 {
1038   ip_neighbor_key_t *key;
1039   index_t ipni;
1040
1041   if (~0 == sw_if_index)
1042     {
1043       uword **hash;
1044
1045       vec_foreach (hash, ip_neighbor_db[type].ipndb_hash)
1046       {
1047           /* *INDENT-OFF* */
1048           hash_foreach (key, ipni, *hash,
1049           ({
1050             cb (ipni, ctx);
1051           }));
1052           /* *INDENT-ON* */
1053       }
1054     }
1055   else
1056     {
1057       uword *hash;
1058
1059       if (vec_len (ip_neighbor_db[type].ipndb_hash) <= sw_if_index)
1060         return;
1061       hash = ip_neighbor_db[type].ipndb_hash[sw_if_index];
1062
1063       /* *INDENT-OFF* */
1064       hash_foreach (key, ipni, hash,
1065       ({
1066         cb (ipni, ctx);
1067       }));
1068       /* *INDENT-ON* */
1069     }
1070 }
1071
1072 int
1073 ip4_neighbor_proxy_add (u32 fib_index,
1074                         const ip4_address_t * start,
1075                         const ip4_address_t * end)
1076 {
1077   if (ip_nbr_vfts[IP46_TYPE_IP4].inv_proxy4_add)
1078     {
1079       return (ip_nbr_vfts[IP46_TYPE_IP4].inv_proxy4_add
1080               (fib_index, start, end));
1081     }
1082
1083   return (-1);
1084 }
1085
1086 int
1087 ip4_neighbor_proxy_delete (u32 fib_index,
1088                            const ip4_address_t * start,
1089                            const ip4_address_t * end)
1090 {
1091   if (ip_nbr_vfts[IP46_TYPE_IP4].inv_proxy4_del)
1092     {
1093       return (ip_nbr_vfts[IP46_TYPE_IP4].inv_proxy4_del
1094               (fib_index, start, end));
1095     }
1096   return -1;
1097 }
1098
1099 int
1100 ip4_neighbor_proxy_enable (u32 sw_if_index)
1101 {
1102   if (ip_nbr_vfts[IP46_TYPE_IP4].inv_proxy4_enable)
1103     {
1104       return (ip_nbr_vfts[IP46_TYPE_IP4].inv_proxy4_enable (sw_if_index));
1105     }
1106   return -1;
1107 }
1108
1109 int
1110 ip4_neighbor_proxy_disable (u32 sw_if_index)
1111 {
1112   if (ip_nbr_vfts[IP46_TYPE_IP4].inv_proxy4_disable)
1113     {
1114       return (ip_nbr_vfts[IP46_TYPE_IP4].inv_proxy4_disable (sw_if_index));
1115     }
1116   return -1;
1117 }
1118
1119 int
1120 ip6_neighbor_proxy_add (u32 sw_if_index, const ip6_address_t * addr)
1121 {
1122   if (ip_nbr_vfts[IP46_TYPE_IP6].inv_proxy6_add)
1123     {
1124       return (ip_nbr_vfts[IP46_TYPE_IP6].inv_proxy6_add (sw_if_index, addr));
1125     }
1126   return -1;
1127 }
1128
1129 int
1130 ip6_neighbor_proxy_del (u32 sw_if_index, const ip6_address_t * addr)
1131 {
1132   if (ip_nbr_vfts[IP46_TYPE_IP6].inv_proxy6_del)
1133     {
1134       return (ip_nbr_vfts[IP46_TYPE_IP6].inv_proxy6_del (sw_if_index, addr));
1135     }
1136   return -1;
1137 }
1138
1139 static void
1140 ip_neighbor_ethernet_change_mac (ethernet_main_t * em,
1141                                  u32 sw_if_index, uword opaque)
1142 {
1143   ip_neighbor_t *ipn;
1144   adj_index_t ai;
1145
1146   IP_NEIGHBOR_DBG ("mac-change: %U",
1147                    format_vnet_sw_if_index_name, vnet_get_main (),
1148                    sw_if_index);
1149
1150   /* *INDENT-OFF* */
1151   pool_foreach (ipn, ip_neighbor_pool,
1152   ({
1153     if (ipn->ipn_key->ipnk_sw_if_index == sw_if_index)
1154       adj_nbr_walk_nh (ipn->ipn_key->ipnk_sw_if_index,
1155                        fib_proto_from_ip46(ipn->ipn_key->ipnk_type),
1156                        &ipn->ipn_key->ipnk_ip,
1157                        ip_neighbor_mk_complete_walk,
1158                        ipn);
1159   }));
1160   /* *INDENT-ON* */
1161
1162   ai = adj_glean_get (FIB_PROTOCOL_IP4, sw_if_index);
1163
1164   if (ADJ_INDEX_INVALID != ai)
1165     adj_glean_update_rewrite (ai);
1166 }
1167
1168 void
1169 ip_neighbor_populate (ip46_type_t type, u32 sw_if_index)
1170 {
1171   index_t *ipnis = NULL, *ipni;
1172   ip_neighbor_t *ipn;
1173
1174   IP_NEIGHBOR_DBG ("populate: %U %U",
1175                    format_vnet_sw_if_index_name, vnet_get_main (),
1176                    sw_if_index, format_ip46_type, type);
1177
1178   /* *INDENT-OFF* */
1179   pool_foreach (ipn, ip_neighbor_pool,
1180   ({
1181     if (ipn->ipn_key->ipnk_type == type &&
1182         ipn->ipn_key->ipnk_sw_if_index == sw_if_index)
1183       vec_add1 (ipnis, ipn - ip_neighbor_pool);
1184   }));
1185   /* *INDENT-ON* */
1186
1187   vec_foreach (ipni, ipnis)
1188   {
1189     ipn = ip_neighbor_get (*ipni);
1190
1191     adj_nbr_walk_nh (ipn->ipn_key->ipnk_sw_if_index,
1192                      fib_proto_from_ip46 (ipn->ipn_key->ipnk_type),
1193                      &ipn->ipn_key->ipnk_ip,
1194                      ip_neighbor_mk_complete_walk, ipn);
1195   }
1196   vec_free (ipnis);
1197 }
1198
1199 void
1200 ip_neighbor_flush (ip46_type_t type, u32 sw_if_index)
1201 {
1202   index_t *ipnis = NULL, *ipni;
1203   ip_neighbor_t *ipn;
1204
1205   IP_NEIGHBOR_DBG ("flush: %U %U",
1206                    format_vnet_sw_if_index_name, vnet_get_main (),
1207                    sw_if_index, format_ip46_type, type);
1208
1209   /* *INDENT-OFF* */
1210   pool_foreach (ipn, ip_neighbor_pool,
1211   ({
1212     if (ipn->ipn_key->ipnk_type == type &&
1213         ipn->ipn_key->ipnk_sw_if_index == sw_if_index &&
1214         ip_neighbor_is_dynamic (ipn))
1215       vec_add1 (ipnis, ipn - ip_neighbor_pool);
1216   }));
1217   /* *INDENT-ON* */
1218
1219   vec_foreach (ipni, ipnis) ip_neighbor_free (ip_neighbor_get (*ipni));
1220   vec_free (ipnis);
1221 }
1222
1223 static walk_rc_t
1224 ip_neighbor_mark_one (index_t ipni, void *ctx)
1225 {
1226   ip_neighbor_t *ipn;
1227
1228   ipn = ip_neighbor_get (ipni);
1229
1230   ipn->ipn_flags |= IP_NEIGHBOR_FLAG_STALE;
1231
1232   return (WALK_CONTINUE);
1233 }
1234
1235 void
1236 ip_neighbor_mark (ip46_type_t type)
1237 {
1238   ip_neighbor_walk (type, ~0, ip_neighbor_mark_one, NULL);
1239 }
1240
1241 typedef struct ip_neighbor_sweep_ctx_t_
1242 {
1243   index_t *ipnsc_stale;
1244 } ip_neighbor_sweep_ctx_t;
1245
1246 static walk_rc_t
1247 ip_neighbor_sweep_one (index_t ipni, void *arg)
1248 {
1249   ip_neighbor_sweep_ctx_t *ctx = arg;
1250   ip_neighbor_t *ipn;
1251
1252   ipn = ip_neighbor_get (ipni);
1253
1254   if (ipn->ipn_flags & IP_NEIGHBOR_FLAG_STALE)
1255     {
1256       vec_add1 (ctx->ipnsc_stale, ipni);
1257     }
1258
1259   return (WALK_CONTINUE);
1260 }
1261
1262 void
1263 ip_neighbor_sweep (ip46_type_t type)
1264 {
1265   ip_neighbor_sweep_ctx_t ctx = { };
1266   index_t *ipni;
1267
1268   ip_neighbor_walk (type, ~0, ip_neighbor_sweep_one, &ctx);
1269
1270   vec_foreach (ipni, ctx.ipnsc_stale)
1271   {
1272     ip_neighbor_free (ip_neighbor_get (*ipni));
1273   }
1274   vec_free (ctx.ipnsc_stale);
1275 }
1276
1277 /*
1278  * Remove any arp entries associated with the specified interface
1279  */
1280 static clib_error_t *
1281 ip_neighbor_interface_admin_change (vnet_main_t * vnm,
1282                                     u32 sw_if_index, u32 flags)
1283 {
1284   ip46_type_t type;
1285
1286   IP_NEIGHBOR_DBG ("interface-admin: %U  %s",
1287                    format_vnet_sw_if_index_name, vnet_get_main (),
1288                    sw_if_index,
1289                    (flags & VNET_SW_INTERFACE_FLAG_ADMIN_UP ? "up" : "down"));
1290
1291   if (flags & VNET_SW_INTERFACE_FLAG_ADMIN_UP)
1292     {
1293       FOREACH_IP46_TYPE (type) ip_neighbor_populate (type, sw_if_index);
1294     }
1295   else
1296     {
1297       /* admin down, flush all neighbours */
1298       FOREACH_IP46_TYPE (type) ip_neighbor_flush (type, sw_if_index);
1299     }
1300
1301   return (NULL);
1302 }
1303
1304 VNET_SW_INTERFACE_ADMIN_UP_DOWN_FUNCTION (ip_neighbor_interface_admin_change);
1305
1306 /*
1307  * Remove any arp entries associated with the specified interface
1308  */
1309 static clib_error_t *
1310 ip_neighbor_delete_sw_interface (vnet_main_t * vnm,
1311                                  u32 sw_if_index, u32 is_add)
1312 {
1313   IP_NEIGHBOR_DBG ("interface-change: %U  %s",
1314                    format_vnet_sw_if_index_name, vnet_get_main (),
1315                    sw_if_index, (is_add ? "add" : "del"));
1316
1317   if (!is_add && sw_if_index != ~0)
1318     {
1319       ip46_type_t type;
1320
1321       FOREACH_IP46_TYPE (type) ip_neighbor_flush (type, sw_if_index);
1322     }
1323
1324   return (NULL);
1325 }
1326
1327 VNET_SW_INTERFACE_ADD_DEL_FUNCTION (ip_neighbor_delete_sw_interface);
1328
1329 typedef struct ip_neighbor_walk_covered_ctx_t_
1330 {
1331   ip46_type_t type;
1332   ip46_address_t addr;
1333   u32 length;
1334   index_t *ipnis;
1335 } ip_neighbor_walk_covered_ctx_t;
1336
1337 static walk_rc_t
1338 ip_neighbor_walk_covered (index_t ipni, void *arg)
1339 {
1340   ip_neighbor_walk_covered_ctx_t *ctx = arg;
1341   ip_neighbor_t *ipn;
1342
1343   ipn = ip_neighbor_get (ipni);
1344
1345   ASSERT (ipn->ipn_key->ipnk_type == ctx->type);
1346
1347   if (IP46_TYPE_IP4 == ctx->type)
1348     {
1349       if (ip4_destination_matches_route (&ip4_main,
1350                                          &ipn->ipn_key->ipnk_ip.ip4,
1351                                          &ctx->addr.ip4,
1352                                          ctx->length) &&
1353           ip_neighbor_is_dynamic (ipn))
1354         {
1355           vec_add1 (ctx->ipnis, ip_neighbor_get_index (ipn));
1356         }
1357     }
1358   return (WALK_CONTINUE);
1359 }
1360
1361
1362 /*
1363  * callback when an interface address is added or deleted
1364  */
1365 static void
1366 ip_neighbor_add_del_interface_address_v4 (ip4_main_t * im,
1367                                           uword opaque,
1368                                           u32 sw_if_index,
1369                                           ip4_address_t * address,
1370                                           u32 address_length,
1371                                           u32 if_address_index, u32 is_del)
1372 {
1373   /*
1374    * Flush the ARP cache of all entries covered by the address
1375    * that is being removed.
1376    */
1377   IP_NEIGHBOR_DBG ("addr-%d: %U, %U/%d",
1378                    (is_del ? "del" : "add"),
1379                    format_vnet_sw_if_index_name, vnet_get_main (),
1380                    sw_if_index, format_ip4_address, address, address_length);
1381
1382   if (is_del)
1383     {
1384       ip_neighbor_walk_covered_ctx_t ctx = {
1385         .addr.ip4 = *address,
1386         .type = IP46_TYPE_IP4,
1387         .length = address_length,
1388       };
1389       index_t *ipni;
1390
1391       ip_neighbor_walk (IP46_TYPE_IP4, sw_if_index,
1392                         ip_neighbor_walk_covered, &ctx);
1393
1394       vec_foreach (ipni, ctx.ipnis)
1395         ip_neighbor_free (ip_neighbor_get (*ipni));
1396
1397       vec_free (ctx.ipnis);
1398     }
1399 }
1400
1401 /*
1402  * callback when an interface address is added or deleted
1403  */
1404 static void
1405 ip_neighbor_add_del_interface_address_v6 (ip6_main_t * im,
1406                                           uword opaque,
1407                                           u32 sw_if_index,
1408                                           ip6_address_t * address,
1409                                           u32 address_length,
1410                                           u32 if_address_index, u32 is_del)
1411 {
1412   /*
1413    * Flush the ARP cache of all entries covered by the address
1414    * that is being removed.
1415    */
1416   IP_NEIGHBOR_DBG ("addr-change: %U, %U/%d %s",
1417                    format_vnet_sw_if_index_name, vnet_get_main (),
1418                    sw_if_index, format_ip6_address, address, address_length,
1419                    (is_del ? "del" : "add"));
1420
1421   if (is_del)
1422     {
1423       ip_neighbor_walk_covered_ctx_t ctx = {
1424         .addr.ip6 = *address,
1425         .type = IP46_TYPE_IP6,
1426         .length = address_length,
1427       };
1428       index_t *ipni;
1429
1430       ip_neighbor_walk (IP46_TYPE_IP6, sw_if_index,
1431                         ip_neighbor_walk_covered, &ctx);
1432
1433       vec_foreach (ipni, ctx.ipnis)
1434         ip_neighbor_free (ip_neighbor_get (*ipni));
1435
1436       vec_free (ctx.ipnis);
1437     }
1438 }
1439
1440 typedef struct ip_neighbor_table_bind_ctx_t_
1441 {
1442   u32 new_fib_index;
1443   u32 old_fib_index;
1444 } ip_neighbor_table_bind_ctx_t;
1445
1446 static walk_rc_t
1447 ip_neighbor_walk_table_bind (index_t ipni, void *arg)
1448 {
1449   ip_neighbor_table_bind_ctx_t *ctx = arg;
1450   ip_neighbor_t *ipn;
1451
1452   ipn = ip_neighbor_get (ipni);
1453   ip_neighbor_adj_fib_remove (ipn, ctx->old_fib_index);
1454   ip_neighbor_adj_fib_add (ipn, ctx->new_fib_index);
1455
1456   return (WALK_CONTINUE);
1457 }
1458
1459 static void
1460 ip_neighbor_table_bind_v4 (ip4_main_t * im,
1461                            uword opaque,
1462                            u32 sw_if_index,
1463                            u32 new_fib_index, u32 old_fib_index)
1464 {
1465   ip_neighbor_table_bind_ctx_t ctx = {
1466     .old_fib_index = old_fib_index,
1467     .new_fib_index = new_fib_index,
1468   };
1469
1470   ip_neighbor_walk (IP46_TYPE_IP4, sw_if_index,
1471                     ip_neighbor_walk_table_bind, &ctx);
1472 }
1473
1474 static void
1475 ip_neighbor_table_bind_v6 (ip6_main_t * im,
1476                            uword opaque,
1477                            u32 sw_if_index,
1478                            u32 new_fib_index, u32 old_fib_index)
1479 {
1480   ip_neighbor_table_bind_ctx_t ctx = {
1481     .old_fib_index = old_fib_index,
1482     .new_fib_index = new_fib_index,
1483   };
1484
1485   ip_neighbor_walk (IP46_TYPE_IP6, sw_if_index,
1486                     ip_neighbor_walk_table_bind, &ctx);
1487 }
1488
1489 typedef enum ip_neighbor_age_state_t_
1490 {
1491   IP_NEIGHBOR_AGE_ALIVE,
1492   IP_NEIGHBOR_AGE_PROBE,
1493   IP_NEIGHBOR_AGE_DEAD,
1494 } ip_neighbor_age_state_t;
1495
1496 #define IP_NEIGHBOR_PROCESS_SLEEP_LONG (0)
1497
1498 static ip_neighbor_age_state_t
1499 ip_neighbour_age_out (index_t ipni, f64 now, f64 * wait)
1500 {
1501   ip_neighbor_t *ipn;
1502   u32 ipndb_age;
1503   u32 ttl;
1504
1505   ipn = ip_neighbor_get (ipni);
1506   ipndb_age = ip_neighbor_db[ipn->ipn_key->ipnk_type].ipndb_age;
1507   ttl = now - ipn->ipn_time_last_updated;
1508   *wait = ipndb_age;
1509
1510   if (ttl > ipndb_age)
1511     {
1512       IP_NEIGHBOR_DBG ("aged: %U @%f - %f > %d",
1513                        format_ip_neighbor, ipni, now,
1514                        ipn->ipn_time_last_updated, ipndb_age);
1515       if (ipn->ipn_n_probes > 2)
1516         {
1517           /* 3 strikes and yea-re out */
1518           IP_NEIGHBOR_DBG ("dead: %U", format_ip_neighbor, ipni);
1519           *wait = 1;
1520           return (IP_NEIGHBOR_AGE_DEAD);
1521         }
1522       else
1523         {
1524           adj_index_t ai;
1525
1526           ai = adj_glean_get (fib_proto_from_ip46 (ipn->ipn_key->ipnk_type),
1527                               ip_neighbor_get_sw_if_index (ipn));
1528
1529           if (ADJ_INDEX_INVALID != ai)
1530             ip_neighbor_probe_dst (adj_get (ai), ip_neighbor_get_ip (ipn));
1531
1532           ipn->ipn_n_probes++;
1533           *wait = 1;
1534         }
1535     }
1536   else
1537     {
1538       /* here we are sure that ttl <= ipndb_age */
1539       *wait = ipndb_age - ttl + 1;
1540       return (IP_NEIGHBOR_AGE_ALIVE);
1541     }
1542
1543   return (IP_NEIGHBOR_AGE_PROBE);
1544 }
1545
1546 typedef enum ip_neighbor_process_event_t_
1547 {
1548   IP_NEIGHBOR_AGE_PROCESS_WAKEUP,
1549 } ip_neighbor_process_event_t;
1550
1551 static uword
1552 ip_neighbor_age_loop (vlib_main_t * vm,
1553                       vlib_node_runtime_t * rt,
1554                       vlib_frame_t * f, ip46_type_t type)
1555 {
1556   uword event_type, *event_data = NULL;
1557   f64 timeout;
1558
1559   /* Set the timeout to an effectively infinite value when the process starts */
1560   timeout = IP_NEIGHBOR_PROCESS_SLEEP_LONG;
1561
1562   while (1)
1563     {
1564       f64 now;
1565
1566       if (!timeout)
1567         vlib_process_wait_for_event (vm);
1568       else
1569         vlib_process_wait_for_event_or_clock (vm, timeout);
1570
1571       event_type = vlib_process_get_events (vm, &event_data);
1572       vec_reset_length (event_data);
1573
1574       now = vlib_time_now (vm);
1575
1576       switch (event_type)
1577         {
1578         case ~0:
1579           {
1580             /* timer expired */
1581             ip_neighbor_elt_t *elt, *head;
1582             f64 wait;
1583
1584             timeout = ip_neighbor_db[type].ipndb_age;
1585             head = pool_elt_at_index (ip_neighbor_elt_pool,
1586                                       ip_neighbor_list_head[type]);
1587
1588           /* *INDENT-OFF*/
1589           /* the list is time sorted, newest first, so start from the back
1590            * and work forwards. Stop when we get to one that is alive */
1591           restart:
1592           clib_llist_foreach_reverse(ip_neighbor_elt_pool,
1593                                      ipne_anchor, head, elt,
1594           ({
1595             ip_neighbor_age_state_t res;
1596
1597             res = ip_neighbour_age_out(elt->ipne_index, now, &wait);
1598
1599             if (IP_NEIGHBOR_AGE_ALIVE == res) {
1600               /* the oldest neighbor has not yet expired, go back to sleep */
1601               timeout = clib_min (wait, timeout);
1602               break;
1603             }
1604             else if (IP_NEIGHBOR_AGE_DEAD == res) {
1605               /* the oldest neighbor is dead, pop it, then restart the walk
1606                * again from the back */
1607               ip_neighbor_free (ip_neighbor_get(elt->ipne_index));
1608               goto restart;
1609             }
1610
1611             timeout = clib_min (wait, timeout);
1612           }));
1613           /* *INDENT-ON* */
1614             break;
1615           }
1616         case IP_NEIGHBOR_AGE_PROCESS_WAKEUP:
1617           {
1618
1619             if (!ip_neighbor_db[type].ipndb_age)
1620               {
1621                 /* aging has been disabled */
1622                 timeout = 0;
1623                 break;
1624               }
1625             ip_neighbor_elt_t *elt, *head;
1626
1627             head = pool_elt_at_index (ip_neighbor_elt_pool,
1628                                       ip_neighbor_list_head[type]);
1629             /* no neighbors yet */
1630             if (clib_llist_is_empty (ip_neighbor_elt_pool, ipne_anchor, head))
1631               {
1632                 timeout = ip_neighbor_db[type].ipndb_age;
1633                 break;
1634               }
1635
1636             /* poke the oldset neighbour for aging, which returns how long we sleep for */
1637             elt = clib_llist_prev (ip_neighbor_elt_pool, ipne_anchor, head);
1638             ip_neighbour_age_out (elt->ipne_index, now, &timeout);
1639             break;
1640           }
1641         }
1642     }
1643   return 0;
1644 }
1645
1646 static uword
1647 ip4_neighbor_age_process (vlib_main_t * vm,
1648                           vlib_node_runtime_t * rt, vlib_frame_t * f)
1649 {
1650   return (ip_neighbor_age_loop (vm, rt, f, IP46_TYPE_IP4));
1651 }
1652
1653 static uword
1654 ip6_neighbor_age_process (vlib_main_t * vm,
1655                           vlib_node_runtime_t * rt, vlib_frame_t * f)
1656 {
1657   return (ip_neighbor_age_loop (vm, rt, f, IP46_TYPE_IP6));
1658 }
1659
1660 /* *INDENT-OFF* */
1661 VLIB_REGISTER_NODE (ip4_neighbor_age_process_node,static) = {
1662   .function = ip4_neighbor_age_process,
1663   .type = VLIB_NODE_TYPE_PROCESS,
1664   .name = "ip4-neighbor-age-process",
1665 };
1666 VLIB_REGISTER_NODE (ip6_neighbor_age_process_node,static) = {
1667   .function = ip6_neighbor_age_process,
1668   .type = VLIB_NODE_TYPE_PROCESS,
1669   .name = "ip6-neighbor-age-process",
1670 };
1671 /* *INDENT-ON* */
1672
1673 int
1674 ip_neighbor_config (ip46_type_t type, u32 limit, u32 age, bool recycle)
1675 {
1676   ip_neighbor_db[type].ipndb_limit = limit;
1677   ip_neighbor_db[type].ipndb_recycle = recycle;
1678   ip_neighbor_db[type].ipndb_age = age;
1679
1680   vlib_process_signal_event (vlib_get_main (),
1681                              (IP46_TYPE_IP4 == type ?
1682                               ip4_neighbor_age_process_node.index :
1683                               ip6_neighbor_age_process_node.index),
1684                              IP_NEIGHBOR_AGE_PROCESS_WAKEUP, 0);
1685
1686   return (0);
1687 }
1688
1689 static clib_error_t *
1690 ip_neighbor_config_show (vlib_main_t * vm,
1691                          unformat_input_t * input, vlib_cli_command_t * cmd)
1692 {
1693   ip46_type_t type;
1694
1695   /* *INDENT-OFF* */
1696   FOREACH_IP46_TYPE(type) {
1697     vlib_cli_output (vm, "%U:", format_ip46_type, type);
1698     vlib_cli_output (vm, "  limit:%d, age:%d, recycle:%d",
1699                      ip_neighbor_db[type].ipndb_limit,
1700                      ip_neighbor_db[type].ipndb_age,
1701                      ip_neighbor_db[type].ipndb_recycle);
1702   }
1703
1704   /* *INDENT-ON* */
1705   return (NULL);
1706 }
1707
1708 /* *INDENT-OFF* */
1709 VLIB_CLI_COMMAND (show_ip_neighbor_cfg_cmd_node, static) = {
1710   .path = "show ip neighbor-config",
1711   .function = ip_neighbor_config_show,
1712   .short_help = "show ip neighbor-config",
1713 };
1714 /* *INDENT-ON* */
1715
1716 static clib_error_t *
1717 ip_neighbor_init (vlib_main_t * vm)
1718 {
1719   {
1720     ip4_add_del_interface_address_callback_t cb = {
1721       .function = ip_neighbor_add_del_interface_address_v4,
1722     };
1723     vec_add1 (ip4_main.add_del_interface_address_callbacks, cb);
1724   }
1725   {
1726     ip6_add_del_interface_address_callback_t cb = {
1727       .function = ip_neighbor_add_del_interface_address_v6,
1728     };
1729     vec_add1 (ip6_main.add_del_interface_address_callbacks, cb);
1730   }
1731   {
1732     ip4_table_bind_callback_t cb = {
1733       .function = ip_neighbor_table_bind_v4,
1734     };
1735     vec_add1 (ip4_main.table_bind_callbacks, cb);
1736   }
1737   {
1738     ip6_table_bind_callback_t cb = {
1739       .function = ip_neighbor_table_bind_v6,
1740     };
1741     vec_add1 (ip6_main.table_bind_callbacks, cb);
1742   }
1743   {
1744     ethernet_address_change_ctx_t ctx = {
1745       .function = ip_neighbor_ethernet_change_mac,
1746       .function_opaque = 0,
1747     };
1748     vec_add1 (ethernet_main.address_change_callbacks, ctx);
1749   }
1750
1751   ipn_logger = vlib_log_register_class ("ip", "neighbor");
1752
1753   ip46_type_t type;
1754
1755   FOREACH_IP46_TYPE (type)
1756     ip_neighbor_list_head[type] =
1757     clib_llist_make_head (ip_neighbor_elt_pool, ipne_anchor);
1758
1759   return (NULL);
1760 }
1761
1762 /* *INDENT-OFF* */
1763 VLIB_INIT_FUNCTION (ip_neighbor_init) =
1764 {
1765   .runs_after = VLIB_INITS("ip_main_init"),
1766 };
1767 /* *INDENT-ON* */
1768
1769 /*
1770  * fd.io coding-style-patch-verification: ON
1771  *
1772  * Local Variables:
1773  * eval: (c-set-style "gnu")
1774  * End:
1775  */