The action and match templates were stored on the matcher in a fixed size array to reduce cache misses and reuse template calculations. This approuch introduced two issues: -limitation of fixed array -definer is bindind to match template and cannot be used with union definer since the layout is fixed
Signed-off-by: Alex Vesker <va...@nvidia.com> --- drivers/net/mlx5/hws/mlx5dr_debug.c | 4 +- drivers/net/mlx5/hws/mlx5dr_matcher.c | 109 ++++++++++++++++---------- drivers/net/mlx5/hws/mlx5dr_matcher.h | 8 +- drivers/net/mlx5/hws/mlx5dr_rule.c | 15 ++-- 4 files changed, 78 insertions(+), 58 deletions(-) diff --git a/drivers/net/mlx5/hws/mlx5dr_debug.c b/drivers/net/mlx5/hws/mlx5dr_debug.c index 0815327b18..9199ec16e0 100644 --- a/drivers/net/mlx5/hws/mlx5dr_debug.c +++ b/drivers/net/mlx5/hws/mlx5dr_debug.c @@ -92,7 +92,7 @@ mlx5dr_debug_dump_matcher_match_template(FILE *f, struct mlx5dr_matcher *matcher int i, ret; for (i = 0; i < matcher->num_of_mt; i++) { - struct mlx5dr_match_template *mt = matcher->mt[i]; + struct mlx5dr_match_template *mt = &matcher->mt[i]; ret = fprintf(f, "%d,0x%" PRIx64 ",0x%" PRIx64 ",%d,%d\n", MLX5DR_DEBUG_RES_TYPE_MATCHER_MATCH_TEMPLATE, @@ -123,7 +123,7 @@ mlx5dr_debug_dump_matcher_action_template(FILE *f, struct mlx5dr_matcher *matche int i, j, ret; for (i = 0; i < matcher->num_of_at; i++) { - struct mlx5dr_action_template *at = matcher->at[i]; + struct mlx5dr_action_template *at = &matcher->at[i]; ret = fprintf(f, "%d,0x%" PRIx64 ",0x%" PRIx64 ",%d,%d,%d", MLX5DR_DEBUG_RES_TYPE_MATCHER_ACTION_TEMPLATE, diff --git a/drivers/net/mlx5/hws/mlx5dr_matcher.c b/drivers/net/mlx5/hws/mlx5dr_matcher.c index d509a2f0e1..913bb9d447 100644 --- a/drivers/net/mlx5/hws/mlx5dr_matcher.c +++ b/drivers/net/mlx5/hws/mlx5dr_matcher.c @@ -430,8 +430,8 @@ static int mlx5dr_matcher_create_rtc(struct mlx5dr_matcher *matcher, /* The usual Hash Table */ rtc_attr.update_index_mode = MLX5_IFC_RTC_STE_UPDATE_MODE_BY_HASH; /* The first match template is used since all share the same definer */ - rtc_attr.definer_id = mlx5dr_definer_get_id(matcher->mt[0]->definer); - rtc_attr.is_jumbo = mlx5dr_definer_is_jumbo(matcher->mt[0]->definer); + rtc_attr.definer_id = mlx5dr_definer_get_id(matcher->mt->definer); + rtc_attr.is_jumbo = mlx5dr_definer_is_jumbo(matcher->mt->definer); } else if (attr->insert_mode == MLX5DR_MATCHER_INSERT_BY_INDEX) { rtc_attr.update_index_mode = MLX5_IFC_RTC_STE_UPDATE_MODE_BY_OFFSET; rtc_attr.num_hash_definer = 1; @@ -439,10 +439,8 @@ static int mlx5dr_matcher_create_rtc(struct mlx5dr_matcher *matcher, if (attr->distribute_mode == MLX5DR_MATCHER_DISTRIBUTE_BY_HASH) { /* Hash Split Table */ rtc_attr.access_index_mode = MLX5_IFC_RTC_STE_ACCESS_MODE_BY_HASH; - rtc_attr.definer_id = - mlx5dr_definer_get_id(matcher->mt[0]->definer); - rtc_attr.is_jumbo = - mlx5dr_definer_is_jumbo(matcher->mt[0]->definer); + rtc_attr.definer_id = mlx5dr_definer_get_id(matcher->mt->definer); + rtc_attr.is_jumbo = mlx5dr_definer_is_jumbo(matcher->mt->definer); } else if (attr->distribute_mode == MLX5DR_MATCHER_DISTRIBUTE_BY_LINEAR) { /* Linear Lookup Table */ rtc_attr.access_index_mode = MLX5_IFC_RTC_STE_ACCESS_MODE_LINEAR; @@ -579,7 +577,7 @@ static void mlx5dr_matcher_set_pool_attr(struct mlx5dr_pool_attr *attr, static int mlx5dr_matcher_bind_at(struct mlx5dr_matcher *matcher) { - bool is_jumbo = mlx5dr_definer_is_jumbo(matcher->mt[0]->definer); + bool is_jumbo = mlx5dr_definer_is_jumbo(matcher->mt->definer); struct mlx5dr_cmd_stc_modify_attr stc_attr = {0}; struct mlx5dr_table *tbl = matcher->tbl; struct mlx5dr_pool_attr pool_attr = {0}; @@ -589,7 +587,7 @@ static int mlx5dr_matcher_bind_at(struct mlx5dr_matcher *matcher) bool valid; for (i = 0; i < matcher->num_of_at; i++) { - struct mlx5dr_action_template *at = matcher->at[i]; + struct mlx5dr_action_template *at = &matcher->at[i]; /* Check if action combinabtion is valid */ valid = mlx5dr_action_check_combo(at->action_type_arr, matcher->tbl->type); @@ -679,7 +677,7 @@ static int mlx5dr_matcher_bind_mt(struct mlx5dr_matcher *matcher) for (i = 0; i < matcher->num_of_mt; i++) { /* Get a definer for each match template */ - ret = mlx5dr_definer_get(ctx, matcher->mt[i]); + ret = mlx5dr_definer_get(ctx, &matcher->mt[i]); if (ret) goto definer_put; @@ -689,8 +687,8 @@ static int mlx5dr_matcher_bind_mt(struct mlx5dr_matcher *matcher) if (i == 0) continue; - ret = mlx5dr_definer_compare(matcher->mt[i]->definer, - matcher->mt[i - 1]->definer); + ret = mlx5dr_definer_compare(matcher->mt[i].definer, + matcher->mt[i - 1].definer); if (ret) { DR_LOG(ERR, "Match templates cannot be used on the same matcher"); rte_errno = ENOTSUP; @@ -716,7 +714,7 @@ static int mlx5dr_matcher_bind_mt(struct mlx5dr_matcher *matcher) definer_put: while (created--) - mlx5dr_definer_put(matcher->mt[created]); + mlx5dr_definer_put(&matcher->mt[created]); return ret; } @@ -726,7 +724,7 @@ static void mlx5dr_matcher_unbind_mt(struct mlx5dr_matcher *matcher) int i; for (i = 0; i < matcher->num_of_mt; i++) - mlx5dr_definer_put(matcher->mt[i]); + mlx5dr_definer_put(&matcher->mt[i]); mlx5dr_pool_destroy(matcher->match_ste.pool); } @@ -939,11 +937,10 @@ mlx5dr_matcher_create_col_matcher(struct mlx5dr_matcher *matcher) } col_matcher->tbl = matcher->tbl; - col_matcher->num_of_mt = matcher->num_of_mt; - memcpy(col_matcher->mt, matcher->mt, matcher->num_of_mt * sizeof(*matcher->mt)); + col_matcher->mt = matcher->mt; + col_matcher->at = matcher->at; col_matcher->num_of_at = matcher->num_of_at; - memcpy(col_matcher->at, matcher->at, matcher->num_of_at * sizeof(*matcher->at)); - + col_matcher->num_of_mt = matcher->num_of_mt; col_matcher->attr.priority = matcher->attr.priority; col_matcher->attr.mode = MLX5DR_MATCHER_RESOURCE_MODE_HTABLE; col_matcher->attr.optimize_flow_src = matcher->attr.optimize_flow_src; @@ -1069,7 +1066,7 @@ static int mlx5dr_matcher_init_root(struct mlx5dr_matcher *matcher) flow_attr.tbl_type = type; /* On root table matcher, only a single match template is supported */ - ret = flow_dv_translate_items_hws(matcher->mt[0]->items, + ret = flow_dv_translate_items_hws(matcher->mt[0].items, &flow_attr, mask->match_buf, MLX5_SET_MATCHER_HS_M, NULL, &match_criteria, @@ -1126,36 +1123,64 @@ static int mlx5dr_matcher_uninit_root(struct mlx5dr_matcher *matcher) } static int -mlx5dr_matcher_check_template(uint8_t num_of_mt, uint8_t num_of_at, bool is_root) +mlx5dr_matcher_set_templates(struct mlx5dr_matcher *matcher, + struct mlx5dr_match_template *mt[], + uint8_t num_of_mt, + struct mlx5dr_action_template *at[], + uint8_t num_of_at) { - uint8_t max_num_of_mt; - - max_num_of_mt = is_root ? - MLX5DR_MATCHER_MAX_MT_ROOT : - MLX5DR_MATCHER_MAX_MT; + bool is_root = mlx5dr_table_is_root(matcher->tbl); + int i; if (!num_of_mt || !num_of_at) { DR_LOG(ERR, "Number of action/match template cannot be zero"); - goto out_not_sup; + rte_errno = ENOTSUP; + return rte_errno; + } + + if (is_root && num_of_mt > MLX5DR_MATCHER_MAX_MT_ROOT) { + DR_LOG(ERR, "Number of match templates exceeds limit"); + rte_errno = ENOTSUP; + return rte_errno; } - if (num_of_at > MLX5DR_MATCHER_MAX_AT) { - DR_LOG(ERR, "Number of action templates exceeds limit"); - goto out_not_sup; + matcher->mt = simple_calloc(num_of_mt, sizeof(*matcher->mt)); + if (!matcher->mt) { + DR_LOG(ERR, "Failed to allocate match template array"); + rte_errno = ENOMEM; + return rte_errno; } - if (num_of_mt > max_num_of_mt) { - DR_LOG(ERR, "Number of match templates exceeds limit"); - goto out_not_sup; + matcher->at = simple_calloc(num_of_at, sizeof(*matcher->at)); + if (!matcher->at) { + DR_LOG(ERR, "Failed to allocate action template array"); + rte_errno = ENOMEM; + goto free_mt; } + for (i = 0; i < num_of_mt; i++) + matcher->mt[i] = *mt[i]; + + for (i = 0; i < num_of_at; i++) + matcher->at[i] = *at[i]; + + matcher->num_of_mt = num_of_mt; + matcher->num_of_at = num_of_at; + return 0; -out_not_sup: - rte_errno = ENOTSUP; +free_mt: + simple_free(matcher->mt); return rte_errno; } +static void +mlx5dr_matcher_unset_templates(struct mlx5dr_matcher *matcher) +{ + simple_free(matcher->at); + simple_free(matcher->mt); +} + struct mlx5dr_matcher * mlx5dr_matcher_create(struct mlx5dr_table *tbl, struct mlx5dr_match_template *mt[], @@ -1168,10 +1193,6 @@ mlx5dr_matcher_create(struct mlx5dr_table *tbl, struct mlx5dr_matcher *matcher; int ret; - ret = mlx5dr_matcher_check_template(num_of_mt, num_of_at, is_root); - if (ret) - return NULL; - matcher = simple_calloc(1, sizeof(*matcher)); if (!matcher) { rte_errno = ENOMEM; @@ -1180,15 +1201,15 @@ mlx5dr_matcher_create(struct mlx5dr_table *tbl, matcher->tbl = tbl; matcher->attr = *attr; - matcher->num_of_mt = num_of_mt; - memcpy(matcher->mt, mt, num_of_mt * sizeof(*mt)); - matcher->num_of_at = num_of_at; - memcpy(matcher->at, at, num_of_at * sizeof(*at)); ret = mlx5dr_matcher_process_attr(tbl->ctx->caps, matcher, is_root); if (ret) goto free_matcher; + ret = mlx5dr_matcher_set_templates(matcher, mt, num_of_mt, at, num_of_at); + if (ret) + goto free_matcher; + if (is_root) ret = mlx5dr_matcher_init_root(matcher); else @@ -1196,11 +1217,13 @@ mlx5dr_matcher_create(struct mlx5dr_table *tbl, if (ret) { DR_LOG(ERR, "Failed to initialise matcher: %d", ret); - goto free_matcher; + goto unset_templates; } return matcher; +unset_templates: + mlx5dr_matcher_unset_templates(matcher); free_matcher: simple_free(matcher); return NULL; @@ -1213,6 +1236,7 @@ int mlx5dr_matcher_destroy(struct mlx5dr_matcher *matcher) else mlx5dr_matcher_uninit(matcher); + mlx5dr_matcher_unset_templates(matcher); simple_free(matcher); return 0; } @@ -1272,7 +1296,6 @@ mlx5dr_match_template_create(const struct rte_flow_item items[], int mlx5dr_match_template_destroy(struct mlx5dr_match_template *mt) { - assert(!mt->refcount); simple_free(mt->items); simple_free(mt); return 0; diff --git a/drivers/net/mlx5/hws/mlx5dr_matcher.h b/drivers/net/mlx5/hws/mlx5dr_matcher.h index 2bebc4bcce..b957f5ea4b 100644 --- a/drivers/net/mlx5/hws/mlx5dr_matcher.h +++ b/drivers/net/mlx5/hws/mlx5dr_matcher.h @@ -6,12 +6,8 @@ #define MLX5DR_MATCHER_H_ /* Max supported match template */ -#define MLX5DR_MATCHER_MAX_MT 2 #define MLX5DR_MATCHER_MAX_MT_ROOT 1 -/* Max supported action template */ -#define MLX5DR_MATCHER_MAX_AT 4 - /* We calculated that concatenating a collision table to the main table with * 3% of the main table rows will be enough resources for high insertion * success probability. @@ -59,9 +55,9 @@ struct mlx5dr_matcher { struct mlx5dr_table *tbl; struct mlx5dr_matcher_attr attr; struct mlx5dv_flow_matcher *dv_matcher; - struct mlx5dr_match_template *mt[MLX5DR_MATCHER_MAX_MT]; + struct mlx5dr_match_template *mt; uint8_t num_of_mt; - struct mlx5dr_action_template *at[MLX5DR_MATCHER_MAX_AT]; + struct mlx5dr_action_template *at; uint8_t num_of_at; struct mlx5dr_devx_obj *end_ft; struct mlx5dr_matcher *col_matcher; diff --git a/drivers/net/mlx5/hws/mlx5dr_rule.c b/drivers/net/mlx5/hws/mlx5dr_rule.c index 60a82c022f..f5a0c46315 100644 --- a/drivers/net/mlx5/hws/mlx5dr_rule.c +++ b/drivers/net/mlx5/hws/mlx5dr_rule.c @@ -5,10 +5,10 @@ #include "mlx5dr_internal.h" static void mlx5dr_rule_skip(struct mlx5dr_matcher *matcher, + struct mlx5dr_match_template *mt, const struct rte_flow_item *items, bool *skip_rx, bool *skip_tx) { - struct mlx5dr_match_template *mt = matcher->mt[0]; const struct flow_hw_port_info *vport; const struct rte_flow_item_ethdev *v; @@ -43,6 +43,7 @@ static void mlx5dr_rule_skip(struct mlx5dr_matcher *matcher, static void mlx5dr_rule_init_dep_wqe(struct mlx5dr_send_ring_dep_wqe *dep_wqe, struct mlx5dr_rule *rule, const struct rte_flow_item *items, + struct mlx5dr_match_template *mt, void *user_data) { struct mlx5dr_matcher *matcher = rule->matcher; @@ -63,7 +64,7 @@ static void mlx5dr_rule_init_dep_wqe(struct mlx5dr_send_ring_dep_wqe *dep_wqe, break; case MLX5DR_TABLE_TYPE_FDB: - mlx5dr_rule_skip(matcher, items, &skip_rx, &skip_tx); + mlx5dr_rule_skip(matcher, mt, items, &skip_rx, &skip_tx); if (!skip_rx) { dep_wqe->rtc_0 = matcher->match_ste.rtc_0->id; @@ -186,8 +187,8 @@ static int mlx5dr_rule_create_hws(struct mlx5dr_rule *rule, uint8_t at_idx, struct mlx5dr_rule_action rule_actions[]) { - struct mlx5dr_action_template *at = rule->matcher->at[at_idx]; - struct mlx5dr_match_template *mt = rule->matcher->mt[mt_idx]; + struct mlx5dr_action_template *at = &rule->matcher->at[at_idx]; + struct mlx5dr_match_template *mt = &rule->matcher->mt[mt_idx]; bool is_jumbo = mlx5dr_definer_is_jumbo(mt->definer); struct mlx5dr_matcher *matcher = rule->matcher; struct mlx5dr_context *ctx = matcher->tbl->ctx; @@ -212,7 +213,7 @@ static int mlx5dr_rule_create_hws(struct mlx5dr_rule *rule, * dep_wqe buffers (ctrl, data) are also reused for all STE writes. */ dep_wqe = mlx5dr_send_add_new_dep_wqe(queue); - mlx5dr_rule_init_dep_wqe(dep_wqe, rule, items, attr->user_data); + mlx5dr_rule_init_dep_wqe(dep_wqe, rule, items, mt, attr->user_data); ste_attr.wqe_ctrl = &dep_wqe->wqe_ctrl; ste_attr.wqe_data = &dep_wqe->wqe_data; @@ -371,7 +372,7 @@ static int mlx5dr_rule_destroy_hws(struct mlx5dr_rule *rule, ste_attr.used_id_rtc_1 = &rule->rtc_1; ste_attr.wqe_ctrl = &wqe_ctrl; ste_attr.wqe_tag = &rule->tag; - ste_attr.wqe_tag_is_jumbo = mlx5dr_definer_is_jumbo(matcher->mt[0]->definer); + ste_attr.wqe_tag_is_jumbo = mlx5dr_definer_is_jumbo(matcher->mt->definer); ste_attr.gta_opcode = MLX5DR_WQE_GTA_OP_DEACTIVATE; if (unlikely(mlx5dr_matcher_is_insert_by_idx(matcher))) ste_attr.direct_index = attr->rule_idx; @@ -388,7 +389,7 @@ static int mlx5dr_rule_create_root(struct mlx5dr_rule *rule, struct mlx5dr_rule_action rule_actions[]) { struct mlx5dv_flow_matcher *dv_matcher = rule->matcher->dv_matcher; - uint8_t num_actions = rule->matcher->at[at_idx]->num_actions; + uint8_t num_actions = rule->matcher->at[at_idx].num_actions; struct mlx5dr_context *ctx = rule->matcher->tbl->ctx; struct mlx5dv_flow_match_parameters *value; struct mlx5_flow_attr flow_attr = {0}; -- 2.18.1