1 /* SPDX-License-Identifier: BSD-3-Clause
2 * Copyright 2017 6WIND S.A.
3 * Copyright 2017 Mellanox Technologies, Ltd
8 * Flow API operations for mlx4 driver.
11 #include <arpa/inet.h>
18 #include <sys/queue.h>
20 /* Verbs headers do not support -pedantic. */
22 #pragma GCC diagnostic ignored "-Wpedantic"
24 #include <infiniband/verbs.h>
26 #pragma GCC diagnostic error "-Wpedantic"
29 #include <rte_byteorder.h>
30 #include <rte_errno.h>
31 #include <rte_eth_ctrl.h>
32 #include <rte_ethdev_driver.h>
33 #include <rte_ether.h>
35 #include <rte_flow_driver.h>
36 #include <rte_malloc.h>
40 #include "mlx4_glue.h"
41 #include "mlx4_flow.h"
42 #include "mlx4_rxtx.h"
43 #include "mlx4_utils.h"
45 /** Static initializer for a list of subsequent item types. */
46 #define NEXT_ITEM(...) \
47 (const enum rte_flow_item_type []){ \
48 __VA_ARGS__, RTE_FLOW_ITEM_TYPE_END, \
51 /** Processor structure associated with a flow item. */
52 struct mlx4_flow_proc_item {
53 /** Bit-mask for fields supported by this PMD. */
54 const void *mask_support;
55 /** Bit-mask to use when @p item->mask is not provided. */
56 const void *mask_default;
57 /** Size in bytes for @p mask_support and @p mask_default. */
58 const unsigned int mask_sz;
59 /** Merge a pattern item into a flow rule handle. */
60 int (*merge)(struct rte_flow *flow,
61 const struct rte_flow_item *item,
62 const struct mlx4_flow_proc_item *proc,
63 struct rte_flow_error *error);
64 /** Size in bytes of the destination structure. */
65 const unsigned int dst_sz;
66 /** List of possible subsequent items. */
67 const enum rte_flow_item_type *const next_item;
70 /** Shared resources for drop flow rules. */
72 struct ibv_qp *qp; /**< QP target. */
73 struct ibv_cq *cq; /**< CQ associated with above QP. */
74 struct priv *priv; /**< Back pointer to private data. */
75 uint32_t refcnt; /**< Reference count. */
79 * Convert DPDK RSS hash types to their Verbs equivalent.
81 * This function returns the supported (default) set when @p types has
82 * special value (uint64_t)-1.
85 * Pointer to private structure.
87 * Hash types in DPDK format (see struct rte_eth_rss_conf).
90 * A valid Verbs RSS hash fields mask for mlx4 on success, (uint64_t)-1
91 * otherwise and rte_errno is set.
94 mlx4_conv_rss_types(struct priv *priv, uint64_t types)
96 enum { IPV4, IPV6, TCP, UDP, };
97 const uint64_t in[] = {
98 [IPV4] = (ETH_RSS_IPV4 |
100 ETH_RSS_NONFRAG_IPV4_TCP |
101 ETH_RSS_NONFRAG_IPV4_UDP |
102 ETH_RSS_NONFRAG_IPV4_OTHER),
103 [IPV6] = (ETH_RSS_IPV6 |
105 ETH_RSS_NONFRAG_IPV6_TCP |
106 ETH_RSS_NONFRAG_IPV6_UDP |
107 ETH_RSS_NONFRAG_IPV6_OTHER |
109 ETH_RSS_IPV6_TCP_EX |
110 ETH_RSS_IPV6_UDP_EX),
111 [TCP] = (ETH_RSS_NONFRAG_IPV4_TCP |
112 ETH_RSS_NONFRAG_IPV6_TCP |
113 ETH_RSS_IPV6_TCP_EX),
114 [UDP] = (ETH_RSS_NONFRAG_IPV4_UDP |
115 ETH_RSS_NONFRAG_IPV6_UDP |
116 ETH_RSS_IPV6_UDP_EX),
118 const uint64_t out[RTE_DIM(in)] = {
119 [IPV4] = IBV_RX_HASH_SRC_IPV4 | IBV_RX_HASH_DST_IPV4,
120 [IPV6] = IBV_RX_HASH_SRC_IPV6 | IBV_RX_HASH_DST_IPV6,
121 [TCP] = IBV_RX_HASH_SRC_PORT_TCP | IBV_RX_HASH_DST_PORT_TCP,
122 [UDP] = IBV_RX_HASH_SRC_PORT_UDP | IBV_RX_HASH_DST_PORT_UDP,
128 for (i = 0; i != RTE_DIM(in); ++i)
130 seen |= types & in[i];
133 if ((conv & priv->hw_rss_sup) == conv) {
134 if (types == (uint64_t)-1) {
135 /* Include inner RSS by default if supported. */
136 conv |= priv->hw_rss_sup & IBV_RX_HASH_INNER;
139 if (!(types & ~seen))
147 * Merge Ethernet pattern item into flow rule handle.
149 * Additional mlx4-specific constraints on supported fields:
151 * - No support for partial masks, except in the specific case of matching
152 * all multicast traffic (@p spec->dst and @p mask->dst equal to
153 * 01:00:00:00:00:00).
154 * - Not providing @p item->spec or providing an empty @p mask->dst is
155 * *only* supported if the rule doesn't specify additional matching
156 * criteria (i.e. rule is promiscuous-like).
158 * @param[in, out] flow
159 * Flow rule handle to update.
161 * Pattern item to merge.
163 * Associated item-processing object.
165 * Perform verbose error reporting if not NULL.
168 * 0 on success, a negative errno value otherwise and rte_errno is set.
171 mlx4_flow_merge_eth(struct rte_flow *flow,
172 const struct rte_flow_item *item,
173 const struct mlx4_flow_proc_item *proc,
174 struct rte_flow_error *error)
176 const struct rte_flow_item_eth *spec = item->spec;
177 const struct rte_flow_item_eth *mask =
178 spec ? (item->mask ? item->mask : proc->mask_default) : NULL;
179 struct ibv_flow_spec_eth *eth;
186 uint32_t sum_dst = 0;
187 uint32_t sum_src = 0;
189 for (i = 0; i != sizeof(mask->dst.addr_bytes); ++i) {
190 sum_dst += mask->dst.addr_bytes[i];
191 sum_src += mask->src.addr_bytes[i];
194 msg = "mlx4 does not support source MAC matching";
196 } else if (!sum_dst) {
198 } else if (sum_dst == 1 && mask->dst.addr_bytes[0] == 1) {
199 if (!(spec->dst.addr_bytes[0] & 1)) {
200 msg = "mlx4 does not support the explicit"
201 " exclusion of all multicast traffic";
205 } else if (sum_dst != (UINT8_C(0xff) * ETHER_ADDR_LEN)) {
206 msg = "mlx4 does not support matching partial"
214 flow->ibv_attr->type = IBV_FLOW_ATTR_ALL_DEFAULT;
217 if (flow->allmulti) {
218 flow->ibv_attr->type = IBV_FLOW_ATTR_MC_DEFAULT;
221 ++flow->ibv_attr->num_of_specs;
222 eth = (void *)((uintptr_t)flow->ibv_attr + flow->ibv_attr_size);
223 *eth = (struct ibv_flow_spec_eth) {
224 .type = IBV_FLOW_SPEC_ETH,
225 .size = sizeof(*eth),
227 memcpy(eth->val.dst_mac, spec->dst.addr_bytes, ETHER_ADDR_LEN);
228 memcpy(eth->mask.dst_mac, mask->dst.addr_bytes, ETHER_ADDR_LEN);
229 /* Remove unwanted bits from values. */
230 for (i = 0; i < ETHER_ADDR_LEN; ++i) {
231 eth->val.dst_mac[i] &= eth->mask.dst_mac[i];
235 return rte_flow_error_set(error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ITEM,
240 * Merge VLAN pattern item into flow rule handle.
242 * Additional mlx4-specific constraints on supported fields:
244 * - Matching *all* VLAN traffic by omitting @p item->spec or providing an
245 * empty @p item->mask would also include non-VLAN traffic. Doing so is
246 * therefore unsupported.
247 * - No support for partial masks.
249 * @param[in, out] flow
250 * Flow rule handle to update.
252 * Pattern item to merge.
254 * Associated item-processing object.
256 * Perform verbose error reporting if not NULL.
259 * 0 on success, a negative errno value otherwise and rte_errno is set.
262 mlx4_flow_merge_vlan(struct rte_flow *flow,
263 const struct rte_flow_item *item,
264 const struct mlx4_flow_proc_item *proc,
265 struct rte_flow_error *error)
267 const struct rte_flow_item_vlan *spec = item->spec;
268 const struct rte_flow_item_vlan *mask =
269 spec ? (item->mask ? item->mask : proc->mask_default) : NULL;
270 struct ibv_flow_spec_eth *eth;
273 if (!mask || !mask->tci) {
274 msg = "mlx4 cannot match all VLAN traffic while excluding"
275 " non-VLAN traffic, TCI VID must be specified";
278 if (mask->tci != RTE_BE16(0x0fff)) {
279 msg = "mlx4 does not support partial TCI VID matching";
284 eth = (void *)((uintptr_t)flow->ibv_attr + flow->ibv_attr_size -
286 eth->val.vlan_tag = spec->tci;
287 eth->mask.vlan_tag = mask->tci;
288 eth->val.vlan_tag &= eth->mask.vlan_tag;
291 return rte_flow_error_set(error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ITEM,
296 * Merge IPv4 pattern item into flow rule handle.
298 * Additional mlx4-specific constraints on supported fields:
300 * - No support for partial masks.
302 * @param[in, out] flow
303 * Flow rule handle to update.
305 * Pattern item to merge.
307 * Associated item-processing object.
309 * Perform verbose error reporting if not NULL.
312 * 0 on success, a negative errno value otherwise and rte_errno is set.
315 mlx4_flow_merge_ipv4(struct rte_flow *flow,
316 const struct rte_flow_item *item,
317 const struct mlx4_flow_proc_item *proc,
318 struct rte_flow_error *error)
320 const struct rte_flow_item_ipv4 *spec = item->spec;
321 const struct rte_flow_item_ipv4 *mask =
322 spec ? (item->mask ? item->mask : proc->mask_default) : NULL;
323 struct ibv_flow_spec_ipv4 *ipv4;
327 ((uint32_t)(mask->hdr.src_addr + 1) > UINT32_C(1) ||
328 (uint32_t)(mask->hdr.dst_addr + 1) > UINT32_C(1))) {
329 msg = "mlx4 does not support matching partial IPv4 fields";
334 ++flow->ibv_attr->num_of_specs;
335 ipv4 = (void *)((uintptr_t)flow->ibv_attr + flow->ibv_attr_size);
336 *ipv4 = (struct ibv_flow_spec_ipv4) {
337 .type = IBV_FLOW_SPEC_IPV4,
338 .size = sizeof(*ipv4),
342 ipv4->val = (struct ibv_flow_ipv4_filter) {
343 .src_ip = spec->hdr.src_addr,
344 .dst_ip = spec->hdr.dst_addr,
346 ipv4->mask = (struct ibv_flow_ipv4_filter) {
347 .src_ip = mask->hdr.src_addr,
348 .dst_ip = mask->hdr.dst_addr,
350 /* Remove unwanted bits from values. */
351 ipv4->val.src_ip &= ipv4->mask.src_ip;
352 ipv4->val.dst_ip &= ipv4->mask.dst_ip;
355 return rte_flow_error_set(error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ITEM,
360 * Merge UDP pattern item into flow rule handle.
362 * Additional mlx4-specific constraints on supported fields:
364 * - No support for partial masks.
366 * @param[in, out] flow
367 * Flow rule handle to update.
369 * Pattern item to merge.
371 * Associated item-processing object.
373 * Perform verbose error reporting if not NULL.
376 * 0 on success, a negative errno value otherwise and rte_errno is set.
379 mlx4_flow_merge_udp(struct rte_flow *flow,
380 const struct rte_flow_item *item,
381 const struct mlx4_flow_proc_item *proc,
382 struct rte_flow_error *error)
384 const struct rte_flow_item_udp *spec = item->spec;
385 const struct rte_flow_item_udp *mask =
386 spec ? (item->mask ? item->mask : proc->mask_default) : NULL;
387 struct ibv_flow_spec_tcp_udp *udp;
391 ((uint16_t)(mask->hdr.src_port + 1) > UINT16_C(1) ||
392 (uint16_t)(mask->hdr.dst_port + 1) > UINT16_C(1))) {
393 msg = "mlx4 does not support matching partial UDP fields";
398 ++flow->ibv_attr->num_of_specs;
399 udp = (void *)((uintptr_t)flow->ibv_attr + flow->ibv_attr_size);
400 *udp = (struct ibv_flow_spec_tcp_udp) {
401 .type = IBV_FLOW_SPEC_UDP,
402 .size = sizeof(*udp),
406 udp->val.dst_port = spec->hdr.dst_port;
407 udp->val.src_port = spec->hdr.src_port;
408 udp->mask.dst_port = mask->hdr.dst_port;
409 udp->mask.src_port = mask->hdr.src_port;
410 /* Remove unwanted bits from values. */
411 udp->val.src_port &= udp->mask.src_port;
412 udp->val.dst_port &= udp->mask.dst_port;
415 return rte_flow_error_set(error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ITEM,
420 * Merge TCP pattern item into flow rule handle.
422 * Additional mlx4-specific constraints on supported fields:
424 * - No support for partial masks.
426 * @param[in, out] flow
427 * Flow rule handle to update.
429 * Pattern item to merge.
431 * Associated item-processing object.
433 * Perform verbose error reporting if not NULL.
436 * 0 on success, a negative errno value otherwise and rte_errno is set.
439 mlx4_flow_merge_tcp(struct rte_flow *flow,
440 const struct rte_flow_item *item,
441 const struct mlx4_flow_proc_item *proc,
442 struct rte_flow_error *error)
444 const struct rte_flow_item_tcp *spec = item->spec;
445 const struct rte_flow_item_tcp *mask =
446 spec ? (item->mask ? item->mask : proc->mask_default) : NULL;
447 struct ibv_flow_spec_tcp_udp *tcp;
451 ((uint16_t)(mask->hdr.src_port + 1) > UINT16_C(1) ||
452 (uint16_t)(mask->hdr.dst_port + 1) > UINT16_C(1))) {
453 msg = "mlx4 does not support matching partial TCP fields";
458 ++flow->ibv_attr->num_of_specs;
459 tcp = (void *)((uintptr_t)flow->ibv_attr + flow->ibv_attr_size);
460 *tcp = (struct ibv_flow_spec_tcp_udp) {
461 .type = IBV_FLOW_SPEC_TCP,
462 .size = sizeof(*tcp),
466 tcp->val.dst_port = spec->hdr.dst_port;
467 tcp->val.src_port = spec->hdr.src_port;
468 tcp->mask.dst_port = mask->hdr.dst_port;
469 tcp->mask.src_port = mask->hdr.src_port;
470 /* Remove unwanted bits from values. */
471 tcp->val.src_port &= tcp->mask.src_port;
472 tcp->val.dst_port &= tcp->mask.dst_port;
475 return rte_flow_error_set(error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ITEM,
480 * Perform basic sanity checks on a pattern item.
483 * Item specification.
485 * Associated item-processing object.
487 * Perform verbose error reporting if not NULL.
490 * 0 on success, a negative errno value otherwise and rte_errno is set.
493 mlx4_flow_item_check(const struct rte_flow_item *item,
494 const struct mlx4_flow_proc_item *proc,
495 struct rte_flow_error *error)
500 /* item->last and item->mask cannot exist without item->spec. */
501 if (!item->spec && (item->mask || item->last))
502 return rte_flow_error_set
503 (error, EINVAL, RTE_FLOW_ERROR_TYPE_ITEM, item,
504 "\"mask\" or \"last\" field provided without a"
505 " corresponding \"spec\"");
506 /* No spec, no mask, no problem. */
510 (const uint8_t *)item->mask :
511 (const uint8_t *)proc->mask_default;
514 * Single-pass check to make sure that:
515 * - Mask is supported, no bits are set outside proc->mask_support.
516 * - Both item->spec and item->last are included in mask.
518 for (i = 0; i != proc->mask_sz; ++i) {
521 if ((mask[i] | ((const uint8_t *)proc->mask_support)[i]) !=
522 ((const uint8_t *)proc->mask_support)[i])
523 return rte_flow_error_set
524 (error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ITEM,
525 item, "unsupported field found in \"mask\"");
527 (((const uint8_t *)item->spec)[i] & mask[i]) !=
528 (((const uint8_t *)item->last)[i] & mask[i]))
529 return rte_flow_error_set
530 (error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ITEM,
532 "range between \"spec\" and \"last\""
533 " is larger than \"mask\"");
538 /** Graph of supported items and associated actions. */
539 static const struct mlx4_flow_proc_item mlx4_flow_proc_item_list[] = {
540 [RTE_FLOW_ITEM_TYPE_END] = {
541 .next_item = NEXT_ITEM(RTE_FLOW_ITEM_TYPE_ETH),
543 [RTE_FLOW_ITEM_TYPE_ETH] = {
544 .next_item = NEXT_ITEM(RTE_FLOW_ITEM_TYPE_VLAN,
545 RTE_FLOW_ITEM_TYPE_IPV4),
546 .mask_support = &(const struct rte_flow_item_eth){
547 /* Only destination MAC can be matched. */
548 .dst.addr_bytes = "\xff\xff\xff\xff\xff\xff",
550 .mask_default = &rte_flow_item_eth_mask,
551 .mask_sz = sizeof(struct rte_flow_item_eth),
552 .merge = mlx4_flow_merge_eth,
553 .dst_sz = sizeof(struct ibv_flow_spec_eth),
555 [RTE_FLOW_ITEM_TYPE_VLAN] = {
556 .next_item = NEXT_ITEM(RTE_FLOW_ITEM_TYPE_IPV4),
557 .mask_support = &(const struct rte_flow_item_vlan){
558 /* Only TCI VID matching is supported. */
559 .tci = RTE_BE16(0x0fff),
561 .mask_default = &rte_flow_item_vlan_mask,
562 .mask_sz = sizeof(struct rte_flow_item_vlan),
563 .merge = mlx4_flow_merge_vlan,
566 [RTE_FLOW_ITEM_TYPE_IPV4] = {
567 .next_item = NEXT_ITEM(RTE_FLOW_ITEM_TYPE_UDP,
568 RTE_FLOW_ITEM_TYPE_TCP),
569 .mask_support = &(const struct rte_flow_item_ipv4){
571 .src_addr = RTE_BE32(0xffffffff),
572 .dst_addr = RTE_BE32(0xffffffff),
575 .mask_default = &rte_flow_item_ipv4_mask,
576 .mask_sz = sizeof(struct rte_flow_item_ipv4),
577 .merge = mlx4_flow_merge_ipv4,
578 .dst_sz = sizeof(struct ibv_flow_spec_ipv4),
580 [RTE_FLOW_ITEM_TYPE_UDP] = {
581 .mask_support = &(const struct rte_flow_item_udp){
583 .src_port = RTE_BE16(0xffff),
584 .dst_port = RTE_BE16(0xffff),
587 .mask_default = &rte_flow_item_udp_mask,
588 .mask_sz = sizeof(struct rte_flow_item_udp),
589 .merge = mlx4_flow_merge_udp,
590 .dst_sz = sizeof(struct ibv_flow_spec_tcp_udp),
592 [RTE_FLOW_ITEM_TYPE_TCP] = {
593 .mask_support = &(const struct rte_flow_item_tcp){
595 .src_port = RTE_BE16(0xffff),
596 .dst_port = RTE_BE16(0xffff),
599 .mask_default = &rte_flow_item_tcp_mask,
600 .mask_sz = sizeof(struct rte_flow_item_tcp),
601 .merge = mlx4_flow_merge_tcp,
602 .dst_sz = sizeof(struct ibv_flow_spec_tcp_udp),
607 * Make sure a flow rule is supported and initialize associated structure.
610 * Pointer to private structure.
612 * Flow rule attributes.
614 * Pattern specification (list terminated by the END pattern item).
616 * Associated actions (list terminated by the END action).
618 * Perform verbose error reporting if not NULL.
619 * @param[in, out] addr
620 * Buffer where the resulting flow rule handle pointer must be stored.
621 * If NULL, stop processing after validation stage.
624 * 0 on success, a negative errno value otherwise and rte_errno is set.
627 mlx4_flow_prepare(struct priv *priv,
628 const struct rte_flow_attr *attr,
629 const struct rte_flow_item pattern[],
630 const struct rte_flow_action actions[],
631 struct rte_flow_error *error,
632 struct rte_flow **addr)
634 const struct rte_flow_item *item;
635 const struct rte_flow_action *action;
636 const struct mlx4_flow_proc_item *proc;
637 struct rte_flow temp = { .ibv_attr_size = sizeof(*temp.ibv_attr) };
638 struct rte_flow *flow = &temp;
639 const char *msg = NULL;
643 return rte_flow_error_set
644 (error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ATTR_GROUP,
645 NULL, "groups are not supported");
646 if (attr->priority > MLX4_FLOW_PRIORITY_LAST)
647 return rte_flow_error_set
648 (error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ATTR_PRIORITY,
649 NULL, "maximum priority level is "
650 MLX4_STR_EXPAND(MLX4_FLOW_PRIORITY_LAST));
652 return rte_flow_error_set
653 (error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ATTR_EGRESS,
654 NULL, "egress is not supported");
656 return rte_flow_error_set
657 (error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ATTR_TRANSFER,
658 NULL, "transfer is not supported");
660 return rte_flow_error_set
661 (error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ATTR_INGRESS,
662 NULL, "only ingress is supported");
665 proc = mlx4_flow_proc_item_list;
666 /* Go over pattern. */
667 for (item = pattern; item->type; ++item) {
668 const struct mlx4_flow_proc_item *next = NULL;
672 if (item->type == RTE_FLOW_ITEM_TYPE_VOID)
674 if (item->type == MLX4_FLOW_ITEM_TYPE_INTERNAL) {
678 if (flow->promisc || flow->allmulti) {
679 msg = "mlx4 does not support additional matching"
680 " criteria combined with indiscriminate"
681 " matching on Ethernet headers";
682 goto exit_item_not_supported;
684 for (i = 0; proc->next_item && proc->next_item[i]; ++i) {
685 if (proc->next_item[i] == item->type) {
686 next = &mlx4_flow_proc_item_list[item->type];
691 goto exit_item_not_supported;
694 * Perform basic sanity checks only once, while handle is
698 err = mlx4_flow_item_check(item, proc, error);
703 err = proc->merge(flow, item, proc, error);
707 flow->ibv_attr_size += proc->dst_sz;
709 /* Go over actions list. */
710 for (action = actions; action->type; ++action) {
711 /* This one may appear anywhere multiple times. */
712 if (action->type == RTE_FLOW_ACTION_TYPE_VOID)
714 /* Fate-deciding actions may appear exactly once. */
716 msg = "cannot combine several fate-deciding actions,"
717 " choose between DROP, QUEUE or RSS";
718 goto exit_action_not_supported;
721 switch (action->type) {
722 const struct rte_flow_action_queue *queue;
723 const struct rte_flow_action_rss *rss;
724 const uint8_t *rss_key;
725 uint32_t rss_key_len;
729 case RTE_FLOW_ACTION_TYPE_DROP:
732 case RTE_FLOW_ACTION_TYPE_QUEUE:
735 queue = action->conf;
736 if (queue->index >= priv->dev->data->nb_rx_queues) {
737 msg = "queue target index beyond number of"
738 " configured Rx queues";
739 goto exit_action_not_supported;
741 flow->rss = mlx4_rss_get
742 (priv, 0, mlx4_rss_hash_key_default, 1,
745 msg = "not enough resources for additional"
746 " single-queue RSS context";
747 goto exit_action_not_supported;
750 case RTE_FLOW_ACTION_TYPE_RSS:
754 /* Default RSS configuration if none is provided. */
757 rss_key_len = rss->key_len;
759 rss_key = mlx4_rss_hash_key_default;
760 rss_key_len = MLX4_RSS_HASH_KEY_SIZE;
763 for (i = 0; i < rss->queue_num; ++i)
765 priv->dev->data->nb_rx_queues)
767 if (i != rss->queue_num) {
768 msg = "queue index target beyond number of"
769 " configured Rx queues";
770 goto exit_action_not_supported;
772 if (!rte_is_power_of_2(rss->queue_num)) {
773 msg = "for RSS, mlx4 requires the number of"
774 " queues to be a power of two";
775 goto exit_action_not_supported;
777 if (rss_key_len != sizeof(flow->rss->key)) {
778 msg = "mlx4 supports exactly one RSS hash key"
780 MLX4_STR_EXPAND(MLX4_RSS_HASH_KEY_SIZE);
781 goto exit_action_not_supported;
783 for (i = 1; i < rss->queue_num; ++i)
784 if (rss->queue[i] - rss->queue[i - 1] != 1)
786 if (i != rss->queue_num) {
787 msg = "mlx4 requires RSS contexts to use"
788 " consecutive queue indices only";
789 goto exit_action_not_supported;
791 if (rss->queue[0] % rss->queue_num) {
792 msg = "mlx4 requires the first queue of a RSS"
793 " context to be aligned on a multiple"
794 " of the context size";
795 goto exit_action_not_supported;
798 rss->func != RTE_ETH_HASH_FUNCTION_TOEPLITZ) {
799 msg = "the only supported RSS hash function"
801 goto exit_action_not_supported;
804 msg = "a nonzero RSS encapsulation level is"
806 goto exit_action_not_supported;
809 fields = mlx4_conv_rss_types(priv, rss->types);
810 if (fields == (uint64_t)-1 && rte_errno) {
811 msg = "unsupported RSS hash type requested";
812 goto exit_action_not_supported;
814 flow->rss = mlx4_rss_get
815 (priv, fields, rss_key, rss->queue_num,
818 msg = "either invalid parameters or not enough"
819 " resources for additional multi-queue"
821 goto exit_action_not_supported;
825 goto exit_action_not_supported;
828 /* When fate is unknown, drop traffic. */
831 /* Validation ends here. */
834 mlx4_rss_put(flow->rss);
838 /* Allocate proper handle based on collected data. */
839 const struct mlx4_malloc_vec vec[] = {
841 .align = alignof(struct rte_flow),
842 .size = sizeof(*flow),
843 .addr = (void **)&flow,
846 .align = alignof(struct ibv_flow_attr),
847 .size = temp.ibv_attr_size,
848 .addr = (void **)&temp.ibv_attr,
852 if (!mlx4_zmallocv(__func__, vec, RTE_DIM(vec))) {
854 mlx4_rss_put(temp.rss);
855 return rte_flow_error_set
857 RTE_FLOW_ERROR_TYPE_UNSPECIFIED, NULL,
858 "flow rule handle allocation failure");
860 /* Most fields will be updated by second pass. */
861 *flow = (struct rte_flow){
862 .ibv_attr = temp.ibv_attr,
863 .ibv_attr_size = sizeof(*flow->ibv_attr),
866 *flow->ibv_attr = (struct ibv_flow_attr){
867 .type = IBV_FLOW_ATTR_NORMAL,
868 .size = sizeof(*flow->ibv_attr),
869 .priority = attr->priority,
876 exit_item_not_supported:
877 return rte_flow_error_set(error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ITEM,
878 item, msg ? msg : "item not supported");
879 exit_action_not_supported:
880 return rte_flow_error_set(error, ENOTSUP, RTE_FLOW_ERROR_TYPE_ACTION,
881 action, msg ? msg : "action not supported");
885 * Validate a flow supported by the NIC.
887 * @see rte_flow_validate()
891 mlx4_flow_validate(struct rte_eth_dev *dev,
892 const struct rte_flow_attr *attr,
893 const struct rte_flow_item pattern[],
894 const struct rte_flow_action actions[],
895 struct rte_flow_error *error)
897 struct priv *priv = dev->data->dev_private;
899 return mlx4_flow_prepare(priv, attr, pattern, actions, error, NULL);
903 * Get a drop flow rule resources instance.
906 * Pointer to private structure.
909 * Pointer to drop flow resources on success, NULL otherwise and rte_errno
912 static struct mlx4_drop *
913 mlx4_drop_get(struct priv *priv)
915 struct mlx4_drop *drop = priv->drop;
918 assert(drop->refcnt);
919 assert(drop->priv == priv);
923 drop = rte_malloc(__func__, sizeof(*drop), 0);
926 *drop = (struct mlx4_drop){
930 drop->cq = mlx4_glue->create_cq(priv->ctx, 1, NULL, NULL, 0);
933 drop->qp = mlx4_glue->create_qp
935 &(struct ibv_qp_init_attr){
938 .qp_type = IBV_QPT_RAW_PACKET,
946 claim_zero(mlx4_glue->destroy_qp(drop->qp));
948 claim_zero(mlx4_glue->destroy_cq(drop->cq));
956 * Give back a drop flow rule resources instance.
959 * Pointer to drop flow rule resources.
962 mlx4_drop_put(struct mlx4_drop *drop)
964 assert(drop->refcnt);
967 drop->priv->drop = NULL;
968 claim_zero(mlx4_glue->destroy_qp(drop->qp));
969 claim_zero(mlx4_glue->destroy_cq(drop->cq));
974 * Toggle a configured flow rule.
977 * Pointer to private structure.
979 * Flow rule handle to toggle.
981 * Whether associated Verbs flow must be created or removed.
983 * Perform verbose error reporting if not NULL.
986 * 0 on success, a negative errno value otherwise and rte_errno is set.
989 mlx4_flow_toggle(struct priv *priv,
990 struct rte_flow *flow,
992 struct rte_flow_error *error)
994 struct ibv_qp *qp = NULL;
1001 claim_zero(mlx4_glue->destroy_flow(flow->ibv_flow));
1002 flow->ibv_flow = NULL;
1004 mlx4_drop_put(priv->drop);
1006 mlx4_rss_detach(flow->rss);
1009 assert(flow->ibv_attr);
1010 if (!flow->internal &&
1012 flow->ibv_attr->priority == MLX4_FLOW_PRIORITY_LAST) {
1013 if (flow->ibv_flow) {
1014 claim_zero(mlx4_glue->destroy_flow(flow->ibv_flow));
1015 flow->ibv_flow = NULL;
1017 mlx4_drop_put(priv->drop);
1019 mlx4_rss_detach(flow->rss);
1022 msg = ("priority level "
1023 MLX4_STR_EXPAND(MLX4_FLOW_PRIORITY_LAST)
1024 " is reserved when not in isolated mode");
1028 struct mlx4_rss *rss = flow->rss;
1032 /* Stop at the first nonexistent target queue. */
1033 for (i = 0; i != rss->queues; ++i)
1034 if (rss->queue_id[i] >=
1035 priv->dev->data->nb_rx_queues ||
1036 !priv->dev->data->rx_queues[rss->queue_id[i]]) {
1040 if (flow->ibv_flow) {
1041 if (missing ^ !flow->drop)
1043 /* Verbs flow needs updating. */
1044 claim_zero(mlx4_glue->destroy_flow(flow->ibv_flow));
1045 flow->ibv_flow = NULL;
1047 mlx4_drop_put(priv->drop);
1049 mlx4_rss_detach(rss);
1052 err = mlx4_rss_attach(rss);
1055 msg = "cannot create indirection table or hash"
1056 " QP to associate flow rule with";
1061 /* A missing target queue drops traffic implicitly. */
1062 flow->drop = missing;
1067 mlx4_drop_get(priv);
1070 msg = "resources for drop flow rule cannot be created";
1073 qp = priv->drop->qp;
1078 flow->ibv_flow = mlx4_glue->create_flow(qp, flow->ibv_attr);
1082 mlx4_drop_put(priv->drop);
1084 mlx4_rss_detach(flow->rss);
1086 msg = "flow rule rejected by device";
1088 return rte_flow_error_set
1089 (error, err, RTE_FLOW_ERROR_TYPE_HANDLE, flow, msg);
1095 * @see rte_flow_create()
1098 static struct rte_flow *
1099 mlx4_flow_create(struct rte_eth_dev *dev,
1100 const struct rte_flow_attr *attr,
1101 const struct rte_flow_item pattern[],
1102 const struct rte_flow_action actions[],
1103 struct rte_flow_error *error)
1105 struct priv *priv = dev->data->dev_private;
1106 struct rte_flow *flow;
1109 err = mlx4_flow_prepare(priv, attr, pattern, actions, error, &flow);
1112 err = mlx4_flow_toggle(priv, flow, priv->started, error);
1114 struct rte_flow *curr = LIST_FIRST(&priv->flows);
1116 /* New rules are inserted after internal ones. */
1117 if (!curr || !curr->internal) {
1118 LIST_INSERT_HEAD(&priv->flows, flow, next);
1120 while (LIST_NEXT(curr, next) &&
1121 LIST_NEXT(curr, next)->internal)
1122 curr = LIST_NEXT(curr, next);
1123 LIST_INSERT_AFTER(curr, flow, next);
1128 mlx4_rss_put(flow->rss);
1129 rte_flow_error_set(error, -err, RTE_FLOW_ERROR_TYPE_UNSPECIFIED, NULL,
1136 * Configure isolated mode.
1138 * @see rte_flow_isolate()
1142 mlx4_flow_isolate(struct rte_eth_dev *dev,
1144 struct rte_flow_error *error)
1146 struct priv *priv = dev->data->dev_private;
1148 if (!!enable == !!priv->isolated)
1150 priv->isolated = !!enable;
1151 if (mlx4_flow_sync(priv, error)) {
1152 priv->isolated = !enable;
1159 * Destroy a flow rule.
1161 * @see rte_flow_destroy()
1165 mlx4_flow_destroy(struct rte_eth_dev *dev,
1166 struct rte_flow *flow,
1167 struct rte_flow_error *error)
1169 struct priv *priv = dev->data->dev_private;
1170 int err = mlx4_flow_toggle(priv, flow, 0, error);
1174 LIST_REMOVE(flow, next);
1176 mlx4_rss_put(flow->rss);
1182 * Destroy user-configured flow rules.
1184 * This function skips internal flows rules.
1186 * @see rte_flow_flush()
1190 mlx4_flow_flush(struct rte_eth_dev *dev,
1191 struct rte_flow_error *error)
1193 struct priv *priv = dev->data->dev_private;
1194 struct rte_flow *flow = LIST_FIRST(&priv->flows);
1197 struct rte_flow *next = LIST_NEXT(flow, next);
1199 if (!flow->internal)
1200 mlx4_flow_destroy(dev, flow, error);
1207 * Helper function to determine the next configured VLAN filter.
1210 * Pointer to private structure.
1212 * VLAN ID to use as a starting point.
1215 * Next configured VLAN ID or a high value (>= 4096) if there is none.
1218 mlx4_flow_internal_next_vlan(struct priv *priv, uint16_t vlan)
1220 while (vlan < 4096) {
1221 if (priv->dev->data->vlan_filter_conf.ids[vlan / 64] &
1222 (UINT64_C(1) << (vlan % 64)))
1230 * Generate internal flow rules.
1232 * Various flow rules are created depending on the mode the device is in:
1235 * port MAC + broadcast + catch-all (VLAN filtering is ignored).
1237 * port MAC/VLAN + broadcast + catch-all multicast.
1239 * port MAC/VLAN + broadcast MAC/VLAN.
1241 * About MAC flow rules:
1243 * - MAC flow rules are generated from @p dev->data->mac_addrs
1244 * (@p priv->mac array).
1245 * - An additional flow rule for Ethernet broadcasts is also generated.
1246 * - All these are per-VLAN if @p DEV_RX_OFFLOAD_VLAN_FILTER
1247 * is enabled and VLAN filters are configured.
1250 * Pointer to private structure.
1252 * Perform verbose error reporting if not NULL.
1255 * 0 on success, a negative errno value otherwise and rte_errno is set.
1258 mlx4_flow_internal(struct priv *priv, struct rte_flow_error *error)
1260 struct rte_flow_attr attr = {
1261 .priority = MLX4_FLOW_PRIORITY_LAST,
1264 struct rte_flow_item_eth eth_spec;
1265 const struct rte_flow_item_eth eth_mask = {
1266 .dst.addr_bytes = "\xff\xff\xff\xff\xff\xff",
1268 const struct rte_flow_item_eth eth_allmulti = {
1269 .dst.addr_bytes = "\x01\x00\x00\x00\x00\x00",
1271 struct rte_flow_item_vlan vlan_spec;
1272 const struct rte_flow_item_vlan vlan_mask = {
1273 .tci = RTE_BE16(0x0fff),
1275 struct rte_flow_item pattern[] = {
1277 .type = MLX4_FLOW_ITEM_TYPE_INTERNAL,
1280 .type = RTE_FLOW_ITEM_TYPE_ETH,
1285 /* Replaced with VLAN if filtering is enabled. */
1286 .type = RTE_FLOW_ITEM_TYPE_END,
1289 .type = RTE_FLOW_ITEM_TYPE_END,
1293 * Round number of queues down to their previous power of 2 to
1294 * comply with RSS context limitations. Extra queues silently do not
1295 * get RSS by default.
1298 rte_align32pow2(priv->dev->data->nb_rx_queues + 1) >> 1;
1299 uint16_t queue[queues];
1300 struct rte_flow_action_rss action_rss = {
1301 .func = RTE_ETH_HASH_FUNCTION_DEFAULT,
1304 .key_len = MLX4_RSS_HASH_KEY_SIZE,
1305 .queue_num = queues,
1306 .key = mlx4_rss_hash_key_default,
1309 struct rte_flow_action actions[] = {
1311 .type = RTE_FLOW_ACTION_TYPE_RSS,
1312 .conf = &action_rss,
1315 .type = RTE_FLOW_ACTION_TYPE_END,
1318 struct ether_addr *rule_mac = ð_spec.dst;
1319 rte_be16_t *rule_vlan =
1320 (priv->dev->data->dev_conf.rxmode.offloads &
1321 DEV_RX_OFFLOAD_VLAN_FILTER) &&
1322 !priv->dev->data->promiscuous ?
1326 struct rte_flow *flow;
1330 /* Nothing to be done if there are no Rx queues. */
1333 /* Prepare default RSS configuration. */
1334 for (i = 0; i != queues; ++i)
1337 * Set up VLAN item if filtering is enabled and at least one VLAN
1338 * filter is configured.
1341 vlan = mlx4_flow_internal_next_vlan(priv, 0);
1343 pattern[2] = (struct rte_flow_item){
1344 .type = RTE_FLOW_ITEM_TYPE_VLAN,
1349 *rule_vlan = rte_cpu_to_be_16(vlan);
1354 for (i = 0; i != RTE_DIM(priv->mac) + 1; ++i) {
1355 const struct ether_addr *mac;
1357 /* Broadcasts are handled by an extra iteration. */
1358 if (i < RTE_DIM(priv->mac))
1359 mac = &priv->mac[i];
1361 mac = ð_mask.dst;
1362 if (is_zero_ether_addr(mac))
1364 /* Check if MAC flow rule is already present. */
1365 for (flow = LIST_FIRST(&priv->flows);
1366 flow && flow->internal;
1367 flow = LIST_NEXT(flow, next)) {
1368 const struct ibv_flow_spec_eth *eth =
1369 (const void *)((uintptr_t)flow->ibv_attr +
1370 sizeof(*flow->ibv_attr));
1375 assert(flow->ibv_attr->type == IBV_FLOW_ATTR_NORMAL);
1376 assert(flow->ibv_attr->num_of_specs == 1);
1377 assert(eth->type == IBV_FLOW_SPEC_ETH);
1380 (eth->val.vlan_tag != *rule_vlan ||
1381 eth->mask.vlan_tag != RTE_BE16(0x0fff)))
1383 if (!rule_vlan && eth->mask.vlan_tag)
1385 for (j = 0; j != sizeof(mac->addr_bytes); ++j)
1386 if (eth->val.dst_mac[j] != mac->addr_bytes[j] ||
1387 eth->mask.dst_mac[j] != UINT8_C(0xff) ||
1388 eth->val.src_mac[j] != UINT8_C(0x00) ||
1389 eth->mask.src_mac[j] != UINT8_C(0x00))
1391 if (j != sizeof(mac->addr_bytes))
1393 if (flow->rss->queues != queues ||
1394 memcmp(flow->rss->queue_id, action_rss.queue,
1395 queues * sizeof(flow->rss->queue_id[0])))
1399 if (!flow || !flow->internal) {
1400 /* Not found, create a new flow rule. */
1401 memcpy(rule_mac, mac, sizeof(*mac));
1402 flow = mlx4_flow_create(priv->dev, &attr, pattern,
1413 vlan = mlx4_flow_internal_next_vlan(priv, vlan + 1);
1417 /* Take care of promiscuous and all multicast flow rules. */
1418 if (priv->dev->data->promiscuous || priv->dev->data->all_multicast) {
1419 for (flow = LIST_FIRST(&priv->flows);
1420 flow && flow->internal;
1421 flow = LIST_NEXT(flow, next)) {
1422 if (priv->dev->data->promiscuous) {
1426 assert(priv->dev->data->all_multicast);
1431 if (flow && flow->internal) {
1433 if (flow->rss->queues != queues ||
1434 memcmp(flow->rss->queue_id, action_rss.queue,
1435 queues * sizeof(flow->rss->queue_id[0])))
1438 if (!flow || !flow->internal) {
1439 /* Not found, create a new flow rule. */
1440 if (priv->dev->data->promiscuous) {
1441 pattern[1].spec = NULL;
1442 pattern[1].mask = NULL;
1444 assert(priv->dev->data->all_multicast);
1445 pattern[1].spec = ð_allmulti;
1446 pattern[1].mask = ð_allmulti;
1448 pattern[2] = pattern[3];
1449 flow = mlx4_flow_create(priv->dev, &attr, pattern,
1456 assert(flow->promisc || flow->allmulti);
1460 /* Clear selection and clean up stale internal flow rules. */
1461 flow = LIST_FIRST(&priv->flows);
1462 while (flow && flow->internal) {
1463 struct rte_flow *next = LIST_NEXT(flow, next);
1466 claim_zero(mlx4_flow_destroy(priv->dev, flow, error));
1475 * Synchronize flow rules.
1477 * This function synchronizes flow rules with the state of the device by
1478 * taking into account isolated mode and whether target queues are
1482 * Pointer to private structure.
1484 * Perform verbose error reporting if not NULL.
1487 * 0 on success, a negative errno value otherwise and rte_errno is set.
1490 mlx4_flow_sync(struct priv *priv, struct rte_flow_error *error)
1492 struct rte_flow *flow;
1495 /* Internal flow rules are guaranteed to come first in the list. */
1496 if (priv->isolated) {
1498 * Get rid of them in isolated mode, stop at the first
1499 * non-internal rule found.
1501 for (flow = LIST_FIRST(&priv->flows);
1502 flow && flow->internal;
1503 flow = LIST_FIRST(&priv->flows))
1504 claim_zero(mlx4_flow_destroy(priv->dev, flow, error));
1506 /* Refresh internal rules. */
1507 ret = mlx4_flow_internal(priv, error);
1511 /* Toggle the remaining flow rules . */
1512 LIST_FOREACH(flow, &priv->flows, next) {
1513 ret = mlx4_flow_toggle(priv, flow, priv->started, error);
1518 assert(!priv->drop);
1523 * Clean up all flow rules.
1525 * Unlike mlx4_flow_flush(), this function takes care of all remaining flow
1526 * rules regardless of whether they are internal or user-configured.
1529 * Pointer to private structure.
1532 mlx4_flow_clean(struct priv *priv)
1534 struct rte_flow *flow;
1536 while ((flow = LIST_FIRST(&priv->flows)))
1537 mlx4_flow_destroy(priv->dev, flow, NULL);
1538 assert(LIST_EMPTY(&priv->rss));
1541 static const struct rte_flow_ops mlx4_flow_ops = {
1542 .validate = mlx4_flow_validate,
1543 .create = mlx4_flow_create,
1544 .destroy = mlx4_flow_destroy,
1545 .flush = mlx4_flow_flush,
1546 .isolate = mlx4_flow_isolate,
1550 * Manage filter operations.
1553 * Pointer to Ethernet device structure.
1554 * @param filter_type
1557 * Operation to perform.
1559 * Pointer to operation-specific structure.
1562 * 0 on success, negative errno value otherwise and rte_errno is set.
1565 mlx4_filter_ctrl(struct rte_eth_dev *dev,
1566 enum rte_filter_type filter_type,
1567 enum rte_filter_op filter_op,
1570 switch (filter_type) {
1571 case RTE_ETH_FILTER_GENERIC:
1572 if (filter_op != RTE_ETH_FILTER_GET)
1574 *(const void **)arg = &mlx4_flow_ops;
1577 ERROR("%p: filter type (%d) not supported",
1578 (void *)dev, filter_type);
1581 rte_errno = ENOTSUP;