From: Vlad Buslov <vladbu@mellanox•com>
To: Stefano Brivio <sbrivio@redhat•com>
Cc: "netdev@vger•kernel.org" <netdev@vger•kernel.org>,
"jhs@mojatatu•com" <jhs@mojatatu•com>,
"xiyou.wangcong@gmail•com" <xiyou.wangcong@gmail•com>,
"jiri@resnulli•us" <jiri@resnulli•us>,
"davem@davemloft•net" <davem@davemloft•net>
Subject: Re: [PATCH net-next 02/12] net: sched: flower: refactor fl_change
Date: Fri, 15 Feb 2019 10:38:04 +0000 [thread overview]
Message-ID: <vbfftspjq48.fsf@mellanox.com> (raw)
In-Reply-To: <20190214213402.67919dea@redhat.com>
On Thu 14 Feb 2019 at 20:34, Stefano Brivio <sbrivio@redhat•com> wrote:
> On Thu, 14 Feb 2019 09:47:02 +0200
> Vlad Buslov <vladbu@mellanox•com> wrote:
>
>> As a preparation for using classifier spinlock instead of relying on
>> external rtnl lock, rearrange code in fl_change. The goal is to group the
>> code which changes classifier state in single block in order to allow
>> following commits in this set to protect it from parallel modification with
>> tp->lock. Data structures that require tp->lock protection are mask
>> hashtable and filters list, and classifier handle_idr.
>>
>> fl_hw_replace_filter() is a sleeping function and cannot be called while
>> holding a spinlock. In order to execute all sequence of changes to shared
>> classifier data structures atomically, call fl_hw_replace_filter() before
>> modifying them.
>>
>> Signed-off-by: Vlad Buslov <vladbu@mellanox•com>
>> Acked-by: Jiri Pirko <jiri@mellanox•com>
>> ---
>> net/sched/cls_flower.c | 85 ++++++++++++++++++++++++++------------------------
>> 1 file changed, 44 insertions(+), 41 deletions(-)
>>
>> diff --git a/net/sched/cls_flower.c b/net/sched/cls_flower.c
>> index 88d7af78ba7e..91596a6271f8 100644
>> --- a/net/sched/cls_flower.c
>> +++ b/net/sched/cls_flower.c
>> @@ -1354,90 +1354,93 @@ static int fl_change(struct net *net, struct sk_buff *in_skb,
>> if (err < 0)
>> goto errout;
>>
>> - if (!handle) {
>> - handle = 1;
>> - err = idr_alloc_u32(&head->handle_idr, fnew, &handle,
>> - INT_MAX, GFP_KERNEL);
>> - } else if (!fold) {
>> - /* user specifies a handle and it doesn't exist */
>> - err = idr_alloc_u32(&head->handle_idr, fnew, &handle,
>> - handle, GFP_KERNEL);
>> - }
>> - if (err)
>> - goto errout;
>> - fnew->handle = handle;
>> -
>>
>> [...]
>>
>> if (fold) {
>> + fnew->handle = handle;
>
> I'm probably missing something, but what if fold is passed and the
> handle isn't specified? That can still happen, right? In that case we
> wouldn't be allocating the handle.
Hi Stefano,
Thank you for reviewing my code.
Cls API lookups fold by handle, so this pointer can only be not NULL
when user specified a handle and filter with such handle exists on tp.
>
>> +
>> + err = rhashtable_insert_fast(&fnew->mask->ht, &fnew->ht_node,
>> + fnew->mask->filter_ht_params);
>> + if (err)
>> + goto errout_hw;
>> +
>> rhashtable_remove_fast(&fold->mask->ht,
>> &fold->ht_node,
>> fold->mask->filter_ht_params);
>> - if (!tc_skip_hw(fold->flags))
>> - fl_hw_destroy_filter(tp, fold, NULL);
>> - }
>> -
>> - *arg = fnew;
>> -
>> - if (fold) {
>> idr_replace(&head->handle_idr, fnew, fnew->handle);
>> list_replace_rcu(&fold->list, &fnew->list);
>> +
>> + if (!tc_skip_hw(fold->flags))
>> + fl_hw_destroy_filter(tp, fold, NULL);
>> tcf_unbind_filter(tp, &fold->res);
>> tcf_exts_get_net(&fold->exts);
>> tcf_queue_work(&fold->rwork, fl_destroy_filter_work);
>> } else {
>> + if (__fl_lookup(fnew->mask, &fnew->mkey)) {
>> + err = -EEXIST;
>> + goto errout_hw;
>> + }
>> +
>> + if (handle) {
>> + /* user specifies a handle and it doesn't exist */
>> + err = idr_alloc_u32(&head->handle_idr, fnew, &handle,
>> + handle, GFP_ATOMIC);
>> + } else {
>> + handle = 1;
>> + err = idr_alloc_u32(&head->handle_idr, fnew, &handle,
>> + INT_MAX, GFP_ATOMIC);
>> + }
>> + if (err)
>> + goto errout_hw;
>
> Just if you respin: a newline here would be nice to have.
Agree.
>
>> + fnew->handle = handle;
>> +
>> + err = rhashtable_insert_fast(&fnew->mask->ht, &fnew->ht_node,
>> + fnew->mask->filter_ht_params);
>> + if (err)
>> + goto errout_idr;
>> +
>> list_add_tail_rcu(&fnew->list, &fnew->mask->filters);
>> }
>>
>> + *arg = fnew;
>> +
>> kfree(tb);
>> kfree(mask);
>> return 0;
>>
>> -errout_mask_ht:
>> - rhashtable_remove_fast(&fnew->mask->ht, &fnew->ht_node,
>> - fnew->mask->filter_ht_params);
>> -
>> -errout_mask:
>> - fl_mask_put(head, fnew->mask, false);
>> -
>> errout_idr:
>> if (!fold)
>
> This check could go away, I guess (not a strong preference though).
Yes, it seems that after this change errout_idr lable is only accessed
from else branch of if(fold) conditional so the check is redundant.
>
>> idr_remove(&head->handle_idr, fnew->handle);
>> +errout_hw:
>> + if (!tc_skip_hw(fnew->flags))
>> + fl_hw_destroy_filter(tp, fnew, NULL);
>> +errout_mask:
>> + fl_mask_put(head, fnew->mask, false);
>> errout:
>> tcf_exts_destroy(&fnew->exts);
>> kfree(fnew);
next prev parent reply other threads:[~2019-02-15 10:38 UTC|newest]
Thread overview: 44+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-02-14 7:47 [PATCH net-next 00/12] Refactor flower classifier to remove dependency on rtnl lock Vlad Buslov
2019-02-14 7:47 ` [PATCH net-next 01/12] net: sched: flower: don't check for rtnl on head dereference Vlad Buslov
2019-02-18 19:08 ` Cong Wang
2019-02-19 9:45 ` Vlad Buslov
2019-02-20 22:33 ` Cong Wang
2019-02-21 17:45 ` Vlad Buslov
2019-02-22 19:32 ` Cong Wang
2019-02-25 16:11 ` Vlad Buslov
2019-02-25 22:39 ` Cong Wang
2019-02-26 14:57 ` Vlad Buslov
2019-02-28 0:49 ` Cong Wang
2019-02-28 18:35 ` Vlad Buslov
2019-03-02 0:51 ` Cong Wang
2019-02-14 7:47 ` [PATCH net-next 02/12] net: sched: flower: refactor fl_change Vlad Buslov
2019-02-14 20:34 ` Stefano Brivio
2019-02-15 10:38 ` Vlad Buslov [this message]
2019-02-15 10:47 ` Stefano Brivio
2019-02-15 16:25 ` Vlad Buslov
2019-02-18 18:20 ` Stefano Brivio
2019-02-14 7:47 ` [PATCH net-next 03/12] net: sched: flower: introduce reference counting for filters Vlad Buslov
2019-02-14 20:34 ` Stefano Brivio
2019-02-15 11:22 ` Vlad Buslov
2019-02-15 12:32 ` Stefano Brivio
2019-02-14 7:47 ` [PATCH net-next 04/12] net: sched: flower: track filter deletion with flag Vlad Buslov
2019-02-14 20:49 ` Stefano Brivio
2019-02-15 15:54 ` Vlad Buslov
2019-02-14 7:47 ` [PATCH net-next 05/12] net: sched: flower: add reference counter to flower mask Vlad Buslov
2019-02-14 7:47 ` [PATCH net-next 06/12] net: sched: flower: handle concurrent mask insertion Vlad Buslov
2019-02-15 22:46 ` Stefano Brivio
2019-02-14 7:47 ` [PATCH net-next 07/12] net: sched: flower: protect masks list with spinlock Vlad Buslov
2019-02-14 7:47 ` [PATCH net-next 08/12] net: sched: flower: handle concurrent filter insertion in fl_change Vlad Buslov
2019-02-14 7:47 ` [PATCH net-next 09/12] net: sched: flower: handle concurrent tcf proto deletion Vlad Buslov
2019-02-18 20:47 ` Cong Wang
2019-02-19 14:08 ` Vlad Buslov
2019-02-14 7:47 ` [PATCH net-next 10/12] net: sched: flower: protect flower classifier state with spinlock Vlad Buslov
2019-02-14 7:47 ` [PATCH net-next 11/12] net: sched: flower: track rtnl lock state Vlad Buslov
2019-02-15 22:46 ` Stefano Brivio
2019-02-18 9:35 ` Vlad Buslov
2019-02-14 7:47 ` [PATCH net-next 12/12] net: sched: flower: set unlocked flag for flower proto ops Vlad Buslov
2019-02-18 19:27 ` Cong Wang
2019-02-19 10:15 ` Vlad Buslov
2019-02-20 22:36 ` Cong Wang
2019-02-18 19:15 ` [PATCH net-next 00/12] Refactor flower classifier to remove dependency on rtnl lock Cong Wang
2019-02-19 10:00 ` Vlad Buslov
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=vbfftspjq48.fsf@mellanox.com \
--to=vladbu@mellanox$(echo .)com \
--cc=davem@davemloft$(echo .)net \
--cc=jhs@mojatatu$(echo .)com \
--cc=jiri@resnulli$(echo .)us \
--cc=netdev@vger$(echo .)kernel.org \
--cc=sbrivio@redhat$(echo .)com \
--cc=xiyou.wangcong@gmail$(echo .)com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox