src/vcl/vcl_private.c

   1 /*
   2  * Copyright (c) 2018-2019 Cisco and/or its affiliates.
   3  * Licensed under the Apache License, Version 2.0 (the "License");
   4  * you may not use this
   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
  16 #include <vcl/vcl_private.h>
  17
  18 static pthread_key_t vcl_worker_stop_key;
  19
  20 vcl_mq_evt_conn_t *
  21 vcl_mq_evt_conn_alloc (vcl_worker_t * wrk)
  22 {
  23   vcl_mq_evt_conn_t *mqc;
  24   pool_get (wrk->mq_evt_conns, mqc);
  25   memset (mqc, 0, sizeof (*mqc));
  26   return mqc;
  27 }
  28
  29 u32
  30 vcl_mq_evt_conn_index (vcl_worker_t * wrk, vcl_mq_evt_conn_t * mqc)
  31 {
  32   return (mqc - wrk->mq_evt_conns);
  33 }
  34
  35 vcl_mq_evt_conn_t *
  36 vcl_mq_evt_conn_get (vcl_worker_t * wrk, u32 mq_conn_idx)
  37 {
  38   return pool_elt_at_index (wrk->mq_evt_conns, mq_conn_idx);
  39 }
  40
  41 int
  42 vcl_mq_epoll_add_evfd (vcl_worker_t * wrk, svm_msg_q_t * mq)
  43 {
  44   struct epoll_event e = { 0 };
  45   vcl_mq_evt_conn_t *mqc;
  46   u32 mqc_index;
  47   int mq_fd;
  48
  49   mq_fd = svm_msg_q_get_eventfd (mq);
  50
  51   if (wrk->mqs_epfd < 0 || mq_fd == -1)
  52     return -1;
  53
  54   mqc = vcl_mq_evt_conn_alloc (wrk);
  55   mqc_index = vcl_mq_evt_conn_index (wrk, mqc);
  56   mqc->mq_fd = mq_fd;
  57   mqc->mq = mq;
  58
  59   e.events = EPOLLIN;
  60   e.data.u32 = mqc_index;
  61   if (epoll_ctl (wrk->mqs_epfd, EPOLL_CTL_ADD, mq_fd, &e) < 0)
  62     {
  63       VDBG (0, "failed to add mq eventfd to mq epoll fd");
  64       return -1;
  65     }
  66
  67   return mqc_index;
  68 }
  69
  70 int
  71 vcl_mq_epoll_del_evfd (vcl_worker_t * wrk, u32 mqc_index)
  72 {
  73   vcl_mq_evt_conn_t *mqc;
  74
  75   if (wrk->mqs_epfd || mqc_index == ~0)
  76     return -1;
  77
  78   mqc = vcl_mq_evt_conn_get (wrk, mqc_index);
  79   if (epoll_ctl (wrk->mqs_epfd, EPOLL_CTL_DEL, mqc->mq_fd, 0) < 0)
  80     {
  81       VDBG (0, "failed to del mq eventfd to mq epoll fd");
  82       return -1;
  83     }
  84   return 0;
  85 }
  86
  87 static vcl_worker_t *
  88 vcl_worker_alloc (void)
  89 {
  90   vcl_worker_t *wrk;
  91   pool_get (vcm->workers, wrk);
  92   memset (wrk, 0, sizeof (*wrk));
  93   wrk->wrk_index = wrk - vcm->workers;
  94   wrk->forked_child = ~0;
  95   return wrk;
  96 }
  97
  98 static void
  99 vcl_worker_free (vcl_worker_t * wrk)
 100 {
 101   pool_put (vcm->workers, wrk);
 102 }
 103
 104 int
 105 vcl_api_app_worker_add (void)
 106 {
 107   if (vcm->cfg.vpp_app_socket_api)
 108     return vcl_sapi_app_worker_add ();
 109
 110   return vcl_bapi_app_worker_add ();
 111 }
 112
 113 void
 114 vcl_api_app_worker_del (vcl_worker_t * wrk)
 115 {
 116   if (vcm->cfg.vpp_app_socket_api)
 117     return vcl_sapi_app_worker_del (wrk);
 118
 119   vcl_bapi_app_worker_del (wrk);
 120 }
 121
 122 void
 123 vcl_worker_cleanup (vcl_worker_t * wrk, u8 notify_vpp)
 124 {
 125   clib_spinlock_lock (&vcm->workers_lock);
 126   if (notify_vpp)
 127     vcl_api_app_worker_del (wrk);
 128
 129   if (wrk->mqs_epfd > 0)
 130     close (wrk->mqs_epfd);
 131   pool_free (wrk->sessions);
 132   pool_free (wrk->mq_evt_conns);
 133   hash_free (wrk->session_index_by_vpp_handles);
 134   vec_free (wrk->mq_events);
 135   vec_free (wrk->mq_msg_vector);
 136   vec_free (wrk->unhandled_evts_vector);
 137   vec_free (wrk->pending_session_wrk_updates);
 138   clib_bitmap_free (wrk->rd_bitmap);
 139   clib_bitmap_free (wrk->wr_bitmap);
 140   clib_bitmap_free (wrk->ex_bitmap);
 141   vcl_worker_free (wrk);
 142   clib_spinlock_unlock (&vcm->workers_lock);
 143 }
 144
 145 static void
 146 vcl_worker_cleanup_cb (void *arg)
 147 {
 148   vcl_worker_t *wrk;
 149   u32 wrk_index;
 150
 151   wrk_index = vcl_get_worker_index ();
 152   wrk = vcl_worker_get_if_valid (wrk_index);
 153   if (!wrk)
 154     return;
 155
 156   vcl_worker_cleanup (wrk, 1 /* notify vpp */ );
 157   vcl_set_worker_index (~0);
 158   VDBG (0, "cleaned up worker %u", wrk_index);
 159 }
 160
 161 vcl_worker_t *
 162 vcl_worker_alloc_and_init ()
 163 {
 164   vcl_worker_t *wrk;
 165
 166   /* This was initialized already */
 167   if (vcl_get_worker_index () != ~0)
 168     return 0;
 169
 170   /* Grab lock before selecting mem thread index */
 171   clib_spinlock_lock (&vcm->workers_lock);
 172
 173   /* Use separate heap map entry for worker */
 174   clib_mem_set_thread_index ();
 175
 176   if (pool_elts (vcm->workers) == vcm->cfg.max_workers)
 177     {
 178       VDBG (0, "max-workers %u limit reached", vcm->cfg.max_workers);
 179       wrk = 0;
 180       goto done;
 181     }
 182
 183   wrk = vcl_worker_alloc ();
 184   vcl_set_worker_index (wrk->wrk_index);
 185   wrk->thread_id = pthread_self ();
 186   wrk->current_pid = getpid ();
 187
 188   wrk->mqs_epfd = -1;
 189   if (vcm->cfg.use_mq_eventfd)
 190     {
 191       wrk->vcl_needs_real_epoll = 1;
 192       wrk->mqs_epfd = epoll_create (1);
 193       wrk->vcl_needs_real_epoll = 0;
 194       if (wrk->mqs_epfd < 0)
 195         {
 196           clib_unix_warning ("epoll_create() returned");
 197           goto done;
 198         }
 199     }
 200
 201   wrk->ep_lt_current = VCL_INVALID_SESSION_INDEX;
 202   wrk->session_index_by_vpp_handles = hash_create (0, sizeof (uword));
 203   clib_time_init (&wrk->clib_time);
 204   vec_validate (wrk->mq_events, 64);
 205   vec_validate (wrk->mq_msg_vector, 128);
 206   vec_reset_length (wrk->mq_msg_vector);
 207   vec_validate (wrk->unhandled_evts_vector, 128);
 208   vec_reset_length (wrk->unhandled_evts_vector);
 209
 210 done:
 211   clib_spinlock_unlock (&vcm->workers_lock);
 212   return wrk;
 213 }
 214
 215 int
 216 vcl_worker_register_with_vpp (void)
 217 {
 218   vcl_worker_t *wrk = vcl_worker_get_current ();
 219
 220   clib_spinlock_lock (&vcm->workers_lock);
 221
 222   if (vcl_api_app_worker_add ())
 223     {
 224       VDBG (0, "failed to add worker to vpp");
 225       clib_spinlock_unlock (&vcm->workers_lock);
 226       return -1;
 227     }
 228   if (pthread_key_create (&vcl_worker_stop_key, vcl_worker_cleanup_cb))
 229     VDBG (0, "failed to add pthread cleanup function");
 230   if (pthread_setspecific (vcl_worker_stop_key, &wrk->thread_id))
 231     VDBG (0, "failed to setup key value");
 232
 233   clib_spinlock_unlock (&vcm->workers_lock);
 234
 235   VDBG (0, "added worker %u", wrk->wrk_index);
 236   return 0;
 237 }
 238
 239 svm_msg_q_t *
 240 vcl_worker_ctrl_mq (vcl_worker_t * wrk)
 241 {
 242   return wrk->ctrl_mq;
 243 }
 244
 245 int
 246 vcl_session_read_ready (vcl_session_t * s)
 247 {
 248   if (PREDICT_FALSE (s->flags & VCL_SESSION_F_IS_VEP))
 249     {
 250       VDBG (0, "ERROR: session %u: cannot read from an epoll session!",
 251             s->session_index);
 252       return VPPCOM_EBADFD;
 253     }
 254
 255   if (vcl_session_is_open (s))
 256     {
 257       if (vcl_session_is_ct (s))
 258         return svm_fifo_max_dequeue_cons (s->ct_rx_fifo);
 259
 260       if (s->is_dgram)
 261         {
 262           session_dgram_pre_hdr_t ph;
 263           u32 max_deq;
 264
 265           max_deq = svm_fifo_max_dequeue_cons (s->rx_fifo);
 266           if (max_deq <= SESSION_CONN_HDR_LEN)
 267             return 0;
 268           if (svm_fifo_peek (s->rx_fifo, 0, sizeof (ph), (u8 *) & ph) < 0)
 269             return 0;
 270           if (ph.data_length + SESSION_CONN_HDR_LEN > max_deq)
 271             return 0;
 272
 273           return ph.data_length;
 274         }
 275
 276       return svm_fifo_max_dequeue_cons (s->rx_fifo);
 277     }
 278   else if (s->session_state == VCL_STATE_LISTEN)
 279     {
 280       return clib_fifo_elts (s->accept_evts_fifo);
 281     }
 282   else
 283     {
 284       return (s->session_state == VCL_STATE_DISCONNECT) ?
 285         VPPCOM_ECONNRESET : VPPCOM_ENOTCONN;
 286     }
 287 }
 288
 289 int
 290 vcl_session_write_ready (vcl_session_t * s)
 291 {
 292   if (PREDICT_FALSE (s->flags & VCL_SESSION_F_IS_VEP))
 293     {
 294       VDBG (0, "session %u [0x%llx]: cannot write to an epoll session!",
 295             s->session_index, s->vpp_handle);
 296       return VPPCOM_EBADFD;
 297     }
 298
 299   if (vcl_session_is_open (s))
 300     {
 301       if (vcl_session_is_ct (s))
 302         return svm_fifo_max_enqueue_prod (s->ct_tx_fifo);
 303
 304       if (s->is_dgram)
 305         {
 306           u32 max_enq = svm_fifo_max_enqueue_prod (s->tx_fifo);
 307
 308           if (max_enq <= sizeof (session_dgram_hdr_t))
 309             return 0;
 310           return max_enq - sizeof (session_dgram_hdr_t);
 311         }
 312
 313       return svm_fifo_max_enqueue_prod (s->tx_fifo);
 314     }
 315   else if (s->session_state == VCL_STATE_LISTEN)
 316     {
 317       if (s->tx_fifo)
 318         return svm_fifo_max_enqueue_prod (s->tx_fifo);
 319       else
 320         return VPPCOM_EBADFD;
 321     }
 322   else if (s->session_state == VCL_STATE_UPDATED)
 323     {
 324       return 0;
 325     }
 326   else
 327     {
 328       return (s->session_state == VCL_STATE_DISCONNECT) ?
 329         VPPCOM_ECONNRESET : VPPCOM_ENOTCONN;
 330     }
 331 }
 332
 333 int
 334 vcl_session_alloc_ext_cfg (vcl_session_t *s,
 335                            transport_endpt_ext_cfg_type_t type, u32 len)
 336 {
 337   if (s->ext_config)
 338     return -1;
 339
 340   s->ext_config = clib_mem_alloc (len);
 341   clib_memset (s->ext_config, 0, len);
 342   s->ext_config->len = len;
 343   s->ext_config->type = type;
 344
 345   return 0;
 346 }
 347
 348 int
 349 vcl_segment_attach (u64 segment_handle, char *name, ssvm_segment_type_t type,
 350                     int fd)
 351 {
 352   fifo_segment_create_args_t _a, *a = &_a;
 353   int rv;
 354
 355   memset (a, 0, sizeof (*a));
 356   a->segment_name = name;
 357   a->segment_type = type;
 358
 359   if (type == SSVM_SEGMENT_MEMFD)
 360     a->memfd_fd = fd;
 361
 362   clib_rwlock_writer_lock (&vcm->segment_table_lock);
 363
 364   if ((rv = fifo_segment_attach (&vcm->segment_main, a)))
 365     {
 366       clib_warning ("svm_fifo_segment_attach ('%s') failed", name);
 367       return rv;
 368     }
 369   hash_set (vcm->segment_table, segment_handle, a->new_segment_indices[0]);
 370
 371   clib_rwlock_writer_unlock (&vcm->segment_table_lock);
 372
 373   vec_free (a->new_segment_indices);
 374   return 0;
 375 }
 376
 377 u32
 378 vcl_segment_table_lookup (u64 segment_handle)
 379 {
 380   uword *seg_indexp;
 381
 382   clib_rwlock_reader_lock (&vcm->segment_table_lock);
 383   seg_indexp = hash_get (vcm->segment_table, segment_handle);
 384   clib_rwlock_reader_unlock (&vcm->segment_table_lock);
 385
 386   if (!seg_indexp)
 387     return VCL_INVALID_SEGMENT_INDEX;
 388   return ((u32) * seg_indexp);
 389 }
 390
 391 void
 392 vcl_segment_detach (u64 segment_handle)
 393 {
 394   fifo_segment_main_t *sm = &vcm->segment_main;
 395   fifo_segment_t *segment;
 396   u32 segment_index;
 397
 398   segment_index = vcl_segment_table_lookup (segment_handle);
 399   if (segment_index == (u32) ~ 0)
 400     return;
 401
 402   clib_rwlock_writer_lock (&vcm->segment_table_lock);
 403
 404   segment = fifo_segment_get_segment (sm, segment_index);
 405   fifo_segment_delete (sm, segment);
 406   hash_unset (vcm->segment_table, segment_handle);
 407
 408   clib_rwlock_writer_unlock (&vcm->segment_table_lock);
 409
 410   VDBG (0, "detached segment %u handle %u", segment_index, segment_handle);
 411 }
 412
 413 int
 414 vcl_segment_attach_session (uword segment_handle, uword rxf_offset,
 415                             uword txf_offset, uword mq_offset, u32 mq_index,
 416                             u8 is_ct, vcl_session_t *s)
 417 {
 418   u32 fs_index, eqs_index;
 419   svm_fifo_t *rxf, *txf;
 420   fifo_segment_t *fs;
 421   u64 eqs_handle;
 422
 423   fs_index = vcl_segment_table_lookup (segment_handle);
 424   if (fs_index == VCL_INVALID_SEGMENT_INDEX)
 425     {
 426       VDBG (0, "ERROR: segment for session %u is not mounted!",
 427             s->session_index);
 428       return -1;
 429     }
 430
 431   if (!is_ct && mq_offset != (uword) ~0)
 432     {
 433       eqs_handle = vcl_vpp_worker_segment_handle (0);
 434       eqs_index = vcl_segment_table_lookup (eqs_handle);
 435       ASSERT (eqs_index != VCL_INVALID_SEGMENT_INDEX);
 436     }
 437
 438   clib_rwlock_reader_lock (&vcm->segment_table_lock);
 439
 440   fs = fifo_segment_get_segment (&vcm->segment_main, fs_index);
 441   rxf = fifo_segment_alloc_fifo_w_offset (fs, rxf_offset);
 442   txf = fifo_segment_alloc_fifo_w_offset (fs, txf_offset);
 443   rxf->segment_index = fs_index;
 444   txf->segment_index = fs_index;
 445
 446   if (!is_ct && mq_offset != (uword) ~0)
 447     {
 448       fs = fifo_segment_get_segment (&vcm->segment_main, eqs_index);
 449       s->vpp_evt_q = fifo_segment_msg_q_attach (fs, mq_offset, mq_index);
 450     }
 451
 452   clib_rwlock_reader_unlock (&vcm->segment_table_lock);
 453
 454   if (!is_ct)
 455     {
 456       rxf->shr->client_session_index = s->session_index;
 457       txf->shr->client_session_index = s->session_index;
 458       rxf->client_thread_index = vcl_get_worker_index ();
 459       txf->client_thread_index = vcl_get_worker_index ();
 460       s->rx_fifo = rxf;
 461       s->tx_fifo = txf;
 462     }
 463   else
 464     {
 465       s->ct_rx_fifo = rxf;
 466       s->ct_tx_fifo = txf;
 467     }
 468
 469   return 0;
 470 }
 471
 472 void
 473 vcl_session_detach_fifos (vcl_session_t *s)
 474 {
 475   fifo_segment_t *fs;
 476
 477   if (!s->rx_fifo)
 478     return;
 479
 480   clib_rwlock_reader_lock (&vcm->segment_table_lock);
 481
 482   fs = fifo_segment_get_segment_if_valid (&vcm->segment_main,
 483                                           s->rx_fifo->segment_index);
 484   if (!fs)
 485     goto done;
 486
 487   fifo_segment_free_client_fifo (fs, s->rx_fifo);
 488   fifo_segment_free_client_fifo (fs, s->tx_fifo);
 489   if (s->ct_rx_fifo)
 490     {
 491       fs = fifo_segment_get_segment_if_valid (&vcm->segment_main,
 492                                               s->ct_rx_fifo->segment_index);
 493       if (!fs)
 494         goto done;
 495
 496       fifo_segment_free_client_fifo (fs, s->ct_rx_fifo);
 497       fifo_segment_free_client_fifo (fs, s->ct_tx_fifo);
 498     }
 499
 500 done:
 501   clib_rwlock_reader_unlock (&vcm->segment_table_lock);
 502 }
 503
 504 int
 505 vcl_segment_attach_mq (uword segment_handle, uword mq_offset, u32 mq_index,
 506                        svm_msg_q_t **mq)
 507 {
 508   fifo_segment_t *fs;
 509   u32 fs_index;
 510
 511   fs_index = vcl_segment_table_lookup (segment_handle);
 512   if (fs_index == VCL_INVALID_SEGMENT_INDEX)
 513     {
 514       VDBG (0, "ERROR: mq segment %lx for is not attached!", segment_handle);
 515       return -1;
 516     }
 517
 518   clib_rwlock_reader_lock (&vcm->segment_table_lock);
 519
 520   fs = fifo_segment_get_segment (&vcm->segment_main, fs_index);
 521   *mq = fifo_segment_msg_q_attach (fs, mq_offset, mq_index);
 522
 523   clib_rwlock_reader_unlock (&vcm->segment_table_lock);
 524
 525   return 0;
 526 }
 527
 528 int
 529 vcl_segment_discover_mqs (uword segment_handle, int *fds, u32 n_fds)
 530 {
 531   fifo_segment_t *fs;
 532   u32 fs_index;
 533
 534   fs_index = vcl_segment_table_lookup (segment_handle);
 535   if (fs_index == VCL_INVALID_SEGMENT_INDEX)
 536     {
 537       VDBG (0, "ERROR: mq segment %lx for is not attached!", segment_handle);
 538       return -1;
 539     }
 540
 541   clib_rwlock_reader_lock (&vcm->segment_table_lock);
 542
 543   fs = fifo_segment_get_segment (&vcm->segment_main, fs_index);
 544   fifo_segment_msg_qs_discover (fs, fds, n_fds);
 545
 546   clib_rwlock_reader_unlock (&vcm->segment_table_lock);
 547
 548   return 0;
 549 }
 550
 551 svm_fifo_chunk_t *
 552 vcl_segment_alloc_chunk (uword segment_handle, u32 slice_index, u32 size,
 553                          uword *offset)
 554 {
 555   svm_fifo_chunk_t *c;
 556   fifo_segment_t *fs;
 557   u32 fs_index;
 558
 559   fs_index = vcl_segment_table_lookup (segment_handle);
 560   if (fs_index == VCL_INVALID_SEGMENT_INDEX)
 561     {
 562       VDBG (0, "ERROR: mq segment %lx for is not attached!", segment_handle);
 563       return 0;
 564     }
 565
 566   clib_rwlock_reader_lock (&vcm->segment_table_lock);
 567
 568   fs = fifo_segment_get_segment (&vcm->segment_main, fs_index);
 569   c = fifo_segment_alloc_chunk_w_slice (fs, slice_index, size);
 570   *offset = fifo_segment_chunk_offset (fs, c);
 571
 572   clib_rwlock_reader_unlock (&vcm->segment_table_lock);
 573
 574   return c;
 575 }
 576
 577 int
 578 vcl_session_share_fifos (vcl_session_t *s, svm_fifo_t *rxf, svm_fifo_t *txf)
 579 {
 580   vcl_worker_t *wrk = vcl_worker_get_current ();
 581   fifo_segment_t *fs;
 582
 583   clib_rwlock_reader_lock (&vcm->segment_table_lock);
 584
 585   fs = fifo_segment_get_segment (&vcm->segment_main, rxf->segment_index);
 586   s->rx_fifo = fifo_segment_duplicate_fifo (fs, rxf);
 587   s->tx_fifo = fifo_segment_duplicate_fifo (fs, txf);
 588
 589   clib_rwlock_reader_unlock (&vcm->segment_table_lock);
 590
 591   svm_fifo_add_subscriber (s->rx_fifo, wrk->vpp_wrk_index);
 592   svm_fifo_add_subscriber (s->tx_fifo, wrk->vpp_wrk_index);
 593
 594   return 0;
 595 }
 596
 597 const char *
 598 vcl_session_state_str (vcl_session_state_t state)
 599 {
 600   char *st;
 601
 602   switch (state)
 603     {
 604     case VCL_STATE_CLOSED:
 605       st = "STATE_CLOSED";
 606       break;
 607     case VCL_STATE_LISTEN:
 608       st = "STATE_LISTEN";
 609       break;
 610     case VCL_STATE_READY:
 611       st = "STATE_READY";
 612       break;
 613     case VCL_STATE_VPP_CLOSING:
 614       st = "STATE_VPP_CLOSING";
 615       break;
 616     case VCL_STATE_DISCONNECT:
 617       st = "STATE_DISCONNECT";
 618       break;
 619     case VCL_STATE_DETACHED:
 620       st = "STATE_DETACHED";
 621       break;
 622     case VCL_STATE_UPDATED:
 623       st = "STATE_UPDATED";
 624       break;
 625     case VCL_STATE_LISTEN_NO_MQ:
 626       st = "STATE_LISTEN_NO_MQ";
 627       break;
 628     default:
 629       st = "UNKNOWN_STATE";
 630       break;
 631     }
 632
 633   return st;
 634 }
 635
 636 u8 *
 637 vcl_format_ip4_address (u8 *s, va_list *args)
 638 {
 639   u8 *a = va_arg (*args, u8 *);
 640   return format (s, "%d.%d.%d.%d", a[0], a[1], a[2], a[3]);
 641 }
 642
 643 u8 *
 644 vcl_format_ip6_address (u8 *s, va_list *args)
 645 {
 646   ip6_address_t *a = va_arg (*args, ip6_address_t *);
 647   u32 i, i_max_n_zero, max_n_zeros, i_first_zero, n_zeros, last_double_colon;
 648
 649   i_max_n_zero = ARRAY_LEN (a->as_u16);
 650   max_n_zeros = 0;
 651   i_first_zero = i_max_n_zero;
 652   n_zeros = 0;
 653   for (i = 0; i < ARRAY_LEN (a->as_u16); i++)
 654     {
 655       u32 is_zero = a->as_u16[i] == 0;
 656       if (is_zero && i_first_zero >= ARRAY_LEN (a->as_u16))
 657         {
 658           i_first_zero = i;
 659           n_zeros = 0;
 660         }
 661       n_zeros += is_zero;
 662       if ((!is_zero && n_zeros > max_n_zeros) ||
 663           (i + 1 >= ARRAY_LEN (a->as_u16) && n_zeros > max_n_zeros))
 664         {
 665           i_max_n_zero = i_first_zero;
 666           max_n_zeros = n_zeros;
 667           i_first_zero = ARRAY_LEN (a->as_u16);
 668           n_zeros = 0;
 669         }
 670     }
 671
 672   last_double_colon = 0;
 673   for (i = 0; i < ARRAY_LEN (a->as_u16); i++)
 674     {
 675       if (i == i_max_n_zero && max_n_zeros > 1)
 676         {
 677           s = format (s, "::");
 678           i += max_n_zeros - 1;
 679           last_double_colon = 1;
 680         }
 681       else
 682         {
 683           s = format (s, "%s%x", (last_double_colon || i == 0) ? "" : ":",
 684                       clib_net_to_host_u16 (a->as_u16[i]));
 685           last_double_colon = 0;
 686         }
 687     }
 688
 689   return s;
 690 }
 691
 692 /* Format an IP46 address. */
 693 u8 *
 694 vcl_format_ip46_address (u8 *s, va_list *args)
 695 {
 696   ip46_address_t *ip46 = va_arg (*args, ip46_address_t *);
 697   ip46_type_t type = va_arg (*args, ip46_type_t);
 698   int is_ip4 = 1;
 699
 700   switch (type)
 701     {
 702     case IP46_TYPE_ANY:
 703       is_ip4 = ip46_address_is_ip4 (ip46);
 704       break;
 705     case IP46_TYPE_IP4:
 706       is_ip4 = 1;
 707       break;
 708     case IP46_TYPE_IP6:
 709       is_ip4 = 0;
 710       break;
 711     }
 712
 713   return is_ip4 ? format (s, "%U", vcl_format_ip4_address, &ip46->ip4) :
 714                   format (s, "%U", vcl_format_ip6_address, &ip46->ip6);
 715 }
 716
 717 /*
 718  * fd.io coding-style-patch-verification: ON
 719  *
 720  * Local Variables:
 721  * eval: (c-set-style "gnu")
 722  * End:
 723  */