Re: [PATCH net-next] net/sched: report errors with extack

From: Jamal Hadi Salim
Date: Wed Jan 31 2024 - 14:53:36 EST

Next message: Dmitry Torokhov: "Re: [PATCH v5 3/3] Input: Add TouchNetix axiom i2c touchscreen driver"
Previous message: Martin KaFai Lau: "Re: [PATCH] bpf: Separate bpf_local_storage_lookup() fast and slow paths"
In reply to: Stephen Hemminger: "[PATCH net-next] net/sched: report errors with extack"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On Wed, Jan 31, 2024 at 12:00 PM Stephen Hemminger
<stephen@xxxxxxxxxxxxxxxxxx> wrote:
>
> While working a BPF action, found that the error handling was
> limited. The support of external ack was only added to some
> but not all actions.
>
> When an action detects invalid parameters, it should
> be adding an external ack to netlink so that the user is
> able to diagnose the issue.
>
> Signed-off-by: Stephen Hemminger <stephen@xxxxxxxxxxxxxxxxxx>
> ---
> net/sched/act_bpf.c | 31 ++++++++++++++++++++++---------
> net/sched/act_connmark.c | 8 ++++++--
> net/sched/act_csum.c | 8 ++++++--
> net/sched/act_gact.c | 14 +++++++++++---
> net/sched/act_gate.c | 15 +++++++++++----
> net/sched/act_ife.c | 8 ++++++--
> net/sched/act_nat.c | 9 +++++++--
> net/sched/act_police.c | 13 ++++++++++---
> net/sched/act_sample.c | 8 ++++++--
> net/sched/act_simple.c | 9 +++++++--
> net/sched/act_skbedit.c | 13 ++++++++++---
> net/sched/act_skbmod.c | 9 +++++++--
> net/sched/act_vlan.c | 8 ++++++--
> 13 files changed, 115 insertions(+), 38 deletions(-)
>
> diff --git a/net/sched/act_bpf.c b/net/sched/act_bpf.c
> index 6cfee6658103..f8a03d3bbf20 100644
> --- a/net/sched/act_bpf.c
> +++ b/net/sched/act_bpf.c
> @@ -184,7 +184,8 @@ static const struct nla_policy act_bpf_policy[TCA_ACT_BPF_MAX + 1] = {
> .len = sizeof(struct sock_filter) * BPF_MAXINSNS },
> };
>
> -static int tcf_bpf_init_from_ops(struct nlattr **tb, struct tcf_bpf_cfg *cfg)
> +static int tcf_bpf_init_from_ops(struct nlattr **tb, struct tcf_bpf_cfg *cfg,
> + struct netlink_ext_ack *extack)
> {
> struct sock_filter *bpf_ops;
> struct sock_fprog_kern fprog_tmp;
> @@ -193,12 +194,16 @@ static int tcf_bpf_init_from_ops(struct nlattr **tb, struct tcf_bpf_cfg *cfg)
> int ret;
>
> bpf_num_ops = nla_get_u16(tb[TCA_ACT_BPF_OPS_LEN]);
> - if (bpf_num_ops > BPF_MAXINSNS || bpf_num_ops == 0)
> + if (bpf_num_ops > BPF_MAXINSNS || bpf_num_ops == 0) {
> + NL_SET_ERR_MSG_MOD(extack, "Invalid number of BPF instructions");
> return -EINVAL;
> + }
>
> bpf_size = bpf_num_ops * sizeof(*bpf_ops);
> - if (bpf_size != nla_len(tb[TCA_ACT_BPF_OPS]))
> + if (bpf_size != nla_len(tb[TCA_ACT_BPF_OPS])) {
> + NL_SET_ERR_MSG_MOD(extack, "BPF instruction size");
> return -EINVAL;
> + }
>
> bpf_ops = kmemdup(nla_data(tb[TCA_ACT_BPF_OPS]), bpf_size, GFP_KERNEL);
> if (bpf_ops == NULL)
> @@ -221,7 +226,8 @@ static int tcf_bpf_init_from_ops(struct nlattr **tb, struct tcf_bpf_cfg *cfg)
> return 0;
> }
>
> -static int tcf_bpf_init_from_efd(struct nlattr **tb, struct tcf_bpf_cfg *cfg)
> +static int tcf_bpf_init_from_efd(struct nlattr **tb, struct tcf_bpf_cfg *cfg,
> + struct netlink_ext_ack *extack)
> {
> struct bpf_prog *fp;
> char *name = NULL;
> @@ -230,8 +236,10 @@ static int tcf_bpf_init_from_efd(struct nlattr **tb, struct tcf_bpf_cfg *cfg)
> bpf_fd = nla_get_u32(tb[TCA_ACT_BPF_FD]);
>
> fp = bpf_prog_get_type(bpf_fd, BPF_PROG_TYPE_SCHED_ACT);
> - if (IS_ERR(fp))
> + if (IS_ERR(fp)) {
> + NL_SET_ERR_MSG_MOD(extack, "BPF program type mismatch");
> return PTR_ERR(fp);
> + }
>
> if (tb[TCA_ACT_BPF_NAME]) {
> name = nla_memdup(tb[TCA_ACT_BPF_NAME], GFP_KERNEL);
> @@ -292,16 +300,20 @@ static int tcf_bpf_init(struct net *net, struct nlattr *nla,
> int ret, res = 0;
> u32 index;
>
> - if (!nla)
> + if (!nla) {
> + NL_SET_ERR_MSG_MOD(extack, "Bpf requires attributes to be passed");
> return -EINVAL;
> + }
>
> ret = nla_parse_nested_deprecated(tb, TCA_ACT_BPF_MAX, nla,
> act_bpf_policy, NULL);
> if (ret < 0)
> return ret;
>
> - if (!tb[TCA_ACT_BPF_PARMS])
> + if (!tb[TCA_ACT_BPF_PARMS]) {

if (NL_REQ_ATTR_CHECK(extack, NULL, tb, TCA_ACT_BPF_PARMS) to set the
other extack fields

> + NL_SET_ERR_MSG_MOD(extack, "Missing required bpf parameters");
> return -EINVAL;
> + }
>
> parm = nla_data(tb[TCA_ACT_BPF_PARMS]);
> index = parm->index;
> @@ -336,14 +348,15 @@ static int tcf_bpf_init(struct net *net, struct nlattr *nla,
> is_ebpf = tb[TCA_ACT_BPF_FD];
>
> if (is_bpf == is_ebpf) {
> + NL_SET_ERR_MSG_MOD(extack, "Can not specify both BPF fd and ops");
> ret = -EINVAL;
> goto put_chain;
> }
>
> memset(&cfg, 0, sizeof(cfg));
>
> - ret = is_bpf ? tcf_bpf_init_from_ops(tb, &cfg) :
> - tcf_bpf_init_from_efd(tb, &cfg);
> + ret = is_bpf ? tcf_bpf_init_from_ops(tb, &cfg, extack) :
> + tcf_bpf_init_from_efd(tb, &cfg, extack);
> if (ret < 0)
> goto put_chain;
>
> diff --git a/net/sched/act_connmark.c b/net/sched/act_connmark.c
> index f8762756657d..0964d10dfc04 100644
> --- a/net/sched/act_connmark.c
> +++ b/net/sched/act_connmark.c
> @@ -110,16 +110,20 @@ static int tcf_connmark_init(struct net *net, struct nlattr *nla,
> int ret = 0, err;
> u32 index;
>
> - if (!nla)
> + if (!nla) {
> + NL_SET_ERR_MSG_MOD(extack, "Connmark requires attributes to be passed");
> return -EINVAL;
> + }
>
> ret = nla_parse_nested_deprecated(tb, TCA_CONNMARK_MAX, nla,
> connmark_policy, NULL);
> if (ret < 0)
> return ret;
>
> - if (!tb[TCA_CONNMARK_PARMS])
> + if (!tb[TCA_CONNMARK_PARMS]) {

Same thing..

> + NL_SET_ERR_MSG(extack, "Missing required connmark parameters");
> return -EINVAL;
> + }
>
> nparms = kzalloc(sizeof(*nparms), GFP_KERNEL);
> if (!nparms)
> diff --git a/net/sched/act_csum.c b/net/sched/act_csum.c
> index 7f8b1f2f2ed9..7c7f74e37528 100644
> --- a/net/sched/act_csum.c
> +++ b/net/sched/act_csum.c
> @@ -55,16 +55,20 @@ static int tcf_csum_init(struct net *net, struct nlattr *nla,
> int ret = 0, err;
> u32 index;
>
> - if (nla == NULL)
> + if (!nla) {
> + NL_SET_ERR_MSG_MOD(extack, "Checksum requires attributes to be passed");
> return -EINVAL;
> + }
>
> err = nla_parse_nested_deprecated(tb, TCA_CSUM_MAX, nla, csum_policy,
> NULL);
> if (err < 0)
> return err;
>
> - if (tb[TCA_CSUM_PARMS] == NULL)
> + if (!tb[TCA_CSUM_PARMS]) {

Same thing...

> + NL_SET_ERR_MSG(extack, "Missing required checksum parameters");
> return -EINVAL;
> + }
> parm = nla_data(tb[TCA_CSUM_PARMS]);
> index = parm->index;
> err = tcf_idr_check_alloc(tn, &index, a, bind);
> diff --git a/net/sched/act_gact.c b/net/sched/act_gact.c
> index 4af3b7ec249f..5d04bcd5115e 100644
> --- a/net/sched/act_gact.c
> +++ b/net/sched/act_gact.c
> @@ -68,16 +68,21 @@ static int tcf_gact_init(struct net *net, struct nlattr *nla,
> struct tc_gact_p *p_parm = NULL;
> #endif
>
> - if (nla == NULL)
> + if (!nla) {
> + NL_SET_ERR_MSG(extack, "Gact requires attributes to be passed");
> return -EINVAL;
> + }
>
> err = nla_parse_nested_deprecated(tb, TCA_GACT_MAX, nla, gact_policy,
> NULL);
> if (err < 0)
> return err;
>
> - if (tb[TCA_GACT_PARMS] == NULL)
> + if (!tb[TCA_GACT_PARMS]) {

Same..

> + NL_SET_ERR_MSG_MOD(extack, "Missing required gact parameters");
> return -EINVAL;
> + }
> +
> parm = nla_data(tb[TCA_GACT_PARMS]);
> index = parm->index;
>
> @@ -87,8 +92,11 @@ static int tcf_gact_init(struct net *net, struct nlattr *nla,
> #else
> if (tb[TCA_GACT_PROB]) {
> p_parm = nla_data(tb[TCA_GACT_PROB]);
> - if (p_parm->ptype >= MAX_RAND)
> + if (p_parm->ptype >= MAX_RAND) {
> + NL_SET_ERR_MSG(extack, "Invalid ptype in gact prob");
> return -EINVAL;
> + }
> +
> if (TC_ACT_EXT_CMP(p_parm->paction, TC_ACT_GOTO_CHAIN)) {
> NL_SET_ERR_MSG(extack,
> "goto chain not allowed on fallback");
> diff --git a/net/sched/act_gate.c b/net/sched/act_gate.c
> index c681cd011afd..c9e32822938c 100644
> --- a/net/sched/act_gate.c
> +++ b/net/sched/act_gate.c
> @@ -239,8 +239,10 @@ static int parse_gate_list(struct nlattr *list_attr,
> int err, rem;
> int i = 0;
>
> - if (!list_attr)
> + if (!list_attr) {
> + NL_SET_ERR_MSG(extack, "Gate missing attributes");
> return -EINVAL;
> + }
>
> nla_for_each_nested(n, list_attr, rem) {
> if (nla_type(n) != TCA_GATE_ONE_ENTRY) {
> @@ -317,15 +319,19 @@ static int tcf_gate_init(struct net *net, struct nlattr *nla,
> ktime_t start;
> u32 index;
>
> - if (!nla)
> + if (!nla) {
> + NL_SET_ERR_MSG_MOD(extack, "Gate requires attributes to be passed");
> return -EINVAL;
> + }
>
> err = nla_parse_nested(tb, TCA_GATE_MAX, nla, gate_policy, extack);
> if (err < 0)
> return err;
>
> - if (!tb[TCA_GATE_PARMS])
> + if (!tb[TCA_GATE_PARMS]) {

Here...

> + NL_SET_ERR_MSG_MOD(extack, "Missing required gate parameters");
> return -EINVAL;
> + }
>
> if (tb[TCA_GATE_CLOCKID]) {
> clockid = nla_get_s32(tb[TCA_GATE_CLOCKID]);
> @@ -343,7 +349,7 @@ static int tcf_gate_init(struct net *net, struct nlattr *nla,
> tk_offset = TK_OFFS_TAI;
> break;
> default:
> - NL_SET_ERR_MSG(extack, "Invalid 'clockid'");
> + NL_SET_ERR_MSG_MOD(extack, "Invalid 'clockid'");
> return -EINVAL;
> }
> }
> @@ -409,6 +415,7 @@ static int tcf_gate_init(struct net *net, struct nlattr *nla,
> cycle = ktime_add_ns(cycle, entry->interval);
> cycletime = cycle;
> if (!cycletime) {
> + NL_SET_ERR_MSG_MOD(extack, "cycle time is zero");
> err = -EINVAL;
> goto chain_put;
> }
> diff --git a/net/sched/act_ife.c b/net/sched/act_ife.c
> index 0e867d13beb5..85a58cfb23f3 100644
> --- a/net/sched/act_ife.c
> +++ b/net/sched/act_ife.c
> @@ -508,8 +508,10 @@ static int tcf_ife_init(struct net *net, struct nlattr *nla,
> if (err < 0)
> return err;
>
> - if (!tb[TCA_IFE_PARMS])
> + if (!tb[TCA_IFE_PARMS]) {

Here...
Going to stop here - there are more further down. You get the gist..

cheers,
jamal

> + NL_SET_ERR_MSG_MOD(extack, "Missing required ife parameters");
> return -EINVAL;
> + }
>
> parm = nla_data(tb[TCA_IFE_PARMS]);
>
> @@ -517,8 +519,10 @@ static int tcf_ife_init(struct net *net, struct nlattr *nla,
> * they cannot run as the same time. Check on all other values which
> * are not supported right now.
> */
> - if (parm->flags & ~IFE_ENCODE)
> + if (parm->flags & ~IFE_ENCODE) {
> + NL_SET_ERR_MSG_MOD(extack, "Invalid ife flag parameter");
> return -EINVAL;
> + }
>
> p = kzalloc(sizeof(*p), GFP_KERNEL);
> if (!p)
> diff --git a/net/sched/act_nat.c b/net/sched/act_nat.c
> index a180e724634e..a990d0c626cd 100644
> --- a/net/sched/act_nat.c
> +++ b/net/sched/act_nat.c
> @@ -46,16 +46,21 @@ static int tcf_nat_init(struct net *net, struct nlattr *nla, struct nlattr *est,
> struct tcf_nat *p;
> u32 index;
>
> - if (nla == NULL)
> + if (!nla) {
> + NL_SET_ERR_MSG_MOD(extack, "Nat action requires attributes");
> return -EINVAL;
> + }
>
> err = nla_parse_nested_deprecated(tb, TCA_NAT_MAX, nla, nat_policy,
> NULL);
> if (err < 0)
> return err;
>
> - if (tb[TCA_NAT_PARMS] == NULL)
> + if (!tb[TCA_NAT_PARMS]) {
> + NL_SET_ERR_MSG_MOD(extack, "Nat action parameters missing");
> return -EINVAL;
> + }
> +
> parm = nla_data(tb[TCA_NAT_PARMS]);
> index = parm->index;
> err = tcf_idr_check_alloc(tn, &index, a, bind);
> diff --git a/net/sched/act_police.c b/net/sched/act_police.c
> index e119b4a3db9f..3eb41233257b 100644
> --- a/net/sched/act_police.c
> +++ b/net/sched/act_police.c
> @@ -56,19 +56,26 @@ static int tcf_police_init(struct net *net, struct nlattr *nla,
> u64 rate64, prate64;
> u64 pps, ppsburst;
>
> - if (nla == NULL)
> + if (!nla) {
> + NL_SET_ERR_MSG_MOD(extack, "Police requires attributes");
> return -EINVAL;
> + }
>
> err = nla_parse_nested_deprecated(tb, TCA_POLICE_MAX, nla,
> police_policy, NULL);
> if (err < 0)
> return err;
>
> - if (tb[TCA_POLICE_TBF] == NULL)
> + if (!tb[TCA_POLICE_TBF]) {
> + NL_SET_ERR_MSG_MOD(extack, "Missing required police action parameters");
> return -EINVAL;
> + }
> +
> size = nla_len(tb[TCA_POLICE_TBF]);
> - if (size != sizeof(*parm) && size != sizeof(struct tc_police_compat))
> + if (size != sizeof(*parm) && size != sizeof(struct tc_police_compat)) {
> + NL_SET_ERR_MSG_MOD(extack, "Invalid size for police action parameters");
> return -EINVAL;
> + }
>
> parm = nla_data(tb[TCA_POLICE_TBF]);
> index = parm->index;
> diff --git a/net/sched/act_sample.c b/net/sched/act_sample.c
> index c5c61efe6db4..2442e001d92e 100644
> --- a/net/sched/act_sample.c
> +++ b/net/sched/act_sample.c
> @@ -49,15 +49,19 @@ static int tcf_sample_init(struct net *net, struct nlattr *nla,
> bool exists = false;
> int ret, err;
>
> - if (!nla)
> + if (!nla) {
> + NL_SET_ERR_MSG_MOD(extack, "Sample requires attributes to be passed");
> return -EINVAL;
> + }
> ret = nla_parse_nested_deprecated(tb, TCA_SAMPLE_MAX, nla,
> sample_policy, NULL);
> if (ret < 0)
> return ret;
>
> - if (!tb[TCA_SAMPLE_PARMS])
> + if (!tb[TCA_SAMPLE_PARMS]) {
> + NL_SET_ERR_MSG_MOD(extack, "Missing required sample action parameters");
> return -EINVAL;
> + }
>
> parm = nla_data(tb[TCA_SAMPLE_PARMS]);
> index = parm->index;
> diff --git a/net/sched/act_simple.c b/net/sched/act_simple.c
> index 0a3e92888295..02b8e42c1bdd 100644
> --- a/net/sched/act_simple.c
> +++ b/net/sched/act_simple.c
> @@ -100,16 +100,20 @@ static int tcf_simp_init(struct net *net, struct nlattr *nla,
> int ret = 0, err;
> u32 index;
>
> - if (nla == NULL)
> + if (!nla) {
> + NL_SET_ERR_MSG_MOD(extack, "Sample requires attributes to be passed");
> return -EINVAL;
> + }
>
> err = nla_parse_nested_deprecated(tb, TCA_DEF_MAX, nla, simple_policy,
> NULL);
> if (err < 0)
> return err;
>
> - if (tb[TCA_DEF_PARMS] == NULL)
> + if (!tb[TCA_DEF_PARMS]) {
> + NL_SET_ERR_MSG_MOD(extack, "Missing required sample action parameters");
> return -EINVAL;
> + }
>
> parm = nla_data(tb[TCA_DEF_PARMS]);
> index = parm->index;
> @@ -121,6 +125,7 @@ static int tcf_simp_init(struct net *net, struct nlattr *nla,
> return ACT_P_BOUND;
>
> if (tb[TCA_DEF_DATA] == NULL) {
> + NL_SET_ERR_MSG_MOD(extack, "Missing simple action default data");
> if (exists)
> tcf_idr_release(*a, bind);
> else
> diff --git a/net/sched/act_skbedit.c b/net/sched/act_skbedit.c
> index 754f78b35bb8..671ca64a2c33 100644
> --- a/net/sched/act_skbedit.c
> +++ b/net/sched/act_skbedit.c
> @@ -133,16 +133,20 @@ static int tcf_skbedit_init(struct net *net, struct nlattr *nla,
> int ret = 0, err;
> u32 index;
>
> - if (nla == NULL)
> + if (!nla) {
> + NL_SET_ERR_MSG_MOD(extack, "Skbedit requires attributes to be passed");
> return -EINVAL;
> + }
>
> err = nla_parse_nested_deprecated(tb, TCA_SKBEDIT_MAX, nla,
> skbedit_policy, NULL);
> if (err < 0)
> return err;
>
> - if (tb[TCA_SKBEDIT_PARMS] == NULL)
> + if (!tb[TCA_SKBEDIT_PARMS]) {
> + NL_SET_ERR_MSG_MOD(extack, "Missing required skbedit parameters");
> return -EINVAL;
> + }
>
> if (tb[TCA_SKBEDIT_PRIORITY] != NULL) {
> flags |= SKBEDIT_F_PRIORITY;
> @@ -161,8 +165,10 @@ static int tcf_skbedit_init(struct net *net, struct nlattr *nla,
>
> if (tb[TCA_SKBEDIT_PTYPE] != NULL) {
> ptype = nla_data(tb[TCA_SKBEDIT_PTYPE]);
> - if (!skb_pkt_type_ok(*ptype))
> + if (!skb_pkt_type_ok(*ptype)) {
> + NL_SET_ERR_MSG_MOD(extack, "ptype is not a valid");
> return -EINVAL;
> + }
> flags |= SKBEDIT_F_PTYPE;
> }
>
> @@ -212,6 +218,7 @@ static int tcf_skbedit_init(struct net *net, struct nlattr *nla,
> return ACT_P_BOUND;
>
> if (!flags) {
> + NL_SET_ERR_MSG_MOD(extack, "No skbedit action flag");
> if (exists)
> tcf_idr_release(*a, bind);
> else
> diff --git a/net/sched/act_skbmod.c b/net/sched/act_skbmod.c
> index bcb673ab0008..c80828cdeb69 100644
> --- a/net/sched/act_skbmod.c
> +++ b/net/sched/act_skbmod.c
> @@ -119,16 +119,20 @@ static int tcf_skbmod_init(struct net *net, struct nlattr *nla,
> u16 eth_type = 0;
> int ret = 0, err;
>
> - if (!nla)
> + if (!nla) {
> + NL_SET_ERR_MSG_MOD(extack, "Skbmod requires attributes to be passed");
> return -EINVAL;
> + }
>
> err = nla_parse_nested_deprecated(tb, TCA_SKBMOD_MAX, nla,
> skbmod_policy, NULL);
> if (err < 0)
> return err;
>
> - if (!tb[TCA_SKBMOD_PARMS])
> + if (!tb[TCA_SKBMOD_PARMS]) {
> + NL_SET_ERR_MSG_MOD(extack, "Missing required skbmod parameters");
> return -EINVAL;
> + }
>
> if (tb[TCA_SKBMOD_DMAC]) {
> daddr = nla_data(tb[TCA_SKBMOD_DMAC]);
> @@ -160,6 +164,7 @@ static int tcf_skbmod_init(struct net *net, struct nlattr *nla,
> return ACT_P_BOUND;
>
> if (!lflags) {
> + NL_SET_ERR_MSG_MOD(extack, "No skbmod action flag");
> if (exists)
> tcf_idr_release(*a, bind);
> else
> diff --git a/net/sched/act_vlan.c b/net/sched/act_vlan.c
> index 836183011a7c..b468a4c8a904 100644
> --- a/net/sched/act_vlan.c
> +++ b/net/sched/act_vlan.c
> @@ -134,16 +134,20 @@ static int tcf_vlan_init(struct net *net, struct nlattr *nla,
> int ret = 0, err;
> u32 index;
>
> - if (!nla)
> + if (!nla) {
> + NL_SET_ERR_MSG_MOD(extack, "Vlan requires attributes to be passed");
> return -EINVAL;
> + }
>
> err = nla_parse_nested_deprecated(tb, TCA_VLAN_MAX, nla, vlan_policy,
> NULL);
> if (err < 0)
> return err;
>
> - if (!tb[TCA_VLAN_PARMS])
> + if (!tb[TCA_VLAN_PARMS]) {
> + NL_SET_ERR_MSG_MOD(extack, "Missing required vlan action parameters");
> return -EINVAL;
> + }
> parm = nla_data(tb[TCA_VLAN_PARMS]);
> index = parm->index;
> err = tcf_idr_check_alloc(tn, &index, a, bind);
> --
> 2.43.0
>

Next message: Dmitry Torokhov: "Re: [PATCH v5 3/3] Input: Add TouchNetix axiom i2c touchscreen driver"
Previous message: Martin KaFai Lau: "Re: [PATCH] bpf: Separate bpf_local_storage_lookup() fast and slow paths"
In reply to: Stephen Hemminger: "[PATCH net-next] net/sched: report errors with extack"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]