mbox series

[RFC,v2,0/1] add flow action context API

Message ID 20200620133231.12355-1-andrey.vesnovaty@gmail.com (mailing list archive)
Headers
Series add flow action context API |

Message

Andrey Vesnovaty June 20, 2020, 1:32 p.m. UTC
  Hi, and thanks a lot for your RFC v1 comments. 

RFC v2 emphasize the intent for sharing the flow action:
* The term 'action context' was unclear and replaced with
   'shared action'.
* RFC v2 subject became 'add flow shared action API'.
* all proposed APIs renamed according the above.

The new shared action is an independent entity decoupled from any flow
while any flow can reuse such an action. Please go over the RFC
description, it was almost entirely rewritten.

@Jerin Jacob:
Thanks again for your comments, it made me admit that v1 description was
incomplete & unclear.  I hope v2 will be better at least in terms of
clarity.
@Thomas Monjalon:
rte_flow_action_ctx_modify() -> rte_flow_action_ctx_modify()

Looking forward to your responses on v2,
thanks in advance.

Andrey Vesnovaty (1):
  add flow shared action API

 lib/librte_ethdev/rte_ethdev_version.map |   6 +
 lib/librte_ethdev/rte_flow.c             |  81 +++++++++++++
 lib/librte_ethdev/rte_flow.h             | 143 ++++++++++++++++++++++-
 lib/librte_ethdev/rte_flow_driver.h      |  22 ++++
 4 files changed, 251 insertions(+), 1 deletion(-)
  

Comments

Thomas Monjalon June 22, 2020, 3:22 p.m. UTC | #1
20/06/2020 15:32, Andrey Vesnovaty:
> Hi, and thanks a lot for your RFC v1 comments. 
> 
> RFC v2 emphasize the intent for sharing the flow action:
> * The term 'action context' was unclear and replaced with
>    'shared action'.
> * RFC v2 subject became 'add flow shared action API'.
> * all proposed APIs renamed according the above.
> 
> The new shared action is an independent entity decoupled from any flow
> while any flow can reuse such an action. Please go over the RFC
> description, it was almost entirely rewritten.
> 
> @Jerin Jacob:
> Thanks again for your comments, it made me admit that v1 description was
> incomplete & unclear.  I hope v2 will be better at least in terms of
> clarity.
> @Thomas Monjalon:
> rte_flow_action_ctx_modify() -> rte_flow_action_ctx_modify()

I guess it is a typo.
I see the name "rte_flow_shared_action_update" in the patch
  
Andrey Vesnovaty June 22, 2020, 5:09 p.m. UTC | #2
On Mon, Jun 22, 2020 at 6:22 PM Thomas Monjalon <thomas@monjalon.net> wrote:

> 20/06/2020 15:32, Andrey Vesnovaty:
> > Hi, and thanks a lot for your RFC v1 comments.
> >
> > RFC v2 emphasize the intent for sharing the flow action:
> > * The term 'action context' was unclear and replaced with
> >    'shared action'.
> > * RFC v2 subject became 'add flow shared action API'.
> > * all proposed APIs renamed according the above.
> >
> > The new shared action is an independent entity decoupled from any flow
> > while any flow can reuse such an action. Please go over the RFC
> > description, it was almost entirely rewritten.
> >
> > @Jerin Jacob:
> > Thanks again for your comments, it made me admit that v1 description was
> > incomplete & unclear.  I hope v2 will be better at least in terms of
> > clarity.
> > @Thomas Monjalon:
> > rte_flow_action_ctx_modify() -> rte_flow_action_ctx_modify()
>
> I guess it is a typo.
> I see the name "rte_flow_shared_action_update" in the patch
>
> Right, a typo. Should be:
rte_flow_action_ctx_modify() ->  rte_flow_shared_action_update ()
  
Jerin Jacob June 26, 2020, 11:44 a.m. UTC | #3
On Sat, Jun 20, 2020 at 7:02 PM Andrey Vesnovaty
<andrey.vesnovaty@gmail.com> wrote:
>
> Hi, and thanks a lot for your RFC v1 comments.
>
> RFC v2 emphasize the intent for sharing the flow action:
> * The term 'action context' was unclear and replaced with
>    'shared action'.
> * RFC v2 subject became 'add flow shared action API'.
> * all proposed APIs renamed according the above.
>
> The new shared action is an independent entity decoupled from any flow
> while any flow can reuse such an action. Please go over the RFC
> description, it was almost entirely rewritten.
>
> @Jerin Jacob:
> Thanks again for your comments, it made me admit that v1 description was
> incomplete & unclear.  I hope v2 will be better at least in terms of
> clarity.

The public API and its usage is very clear. Thanks for this RFC.

I think, RFC v2 still not addressing the concern raised in the
http://mails.dpdk.org/archives/dev/2020-June/169296.html.

Since MLX hardware has an HW based shared object it is fine to have
public API based on that level of abstraction.
But at the PMD driver level we need to choose the correct abstraction
to support all PMD and support shared object scheme if possible.

I purpose to introduce something below or similar
            int (*action_update)
                (struct rte_eth_dev *,
                  struct rte_flow *flow,
                 const struct rte_flow_action [],
                 struct rte_flow_error *);

in addition to: shared_action_create, shared_action_destroy,
shared_action_update, shared_action_query

Have generic implementation of above, if action_update callback is not
NULL. So that, it can work all PMDs and to
avoid the duplication of "complex" shared session management code.
  
Andrey Vesnovaty June 28, 2020, 8:44 a.m. UTC | #4
Hi

On Fri, Jun 26, 2020 at 2:44 PM Jerin Jacob <jerinjacobk@gmail.com> wrote:

> On Sat, Jun 20, 2020 at 7:02 PM Andrey Vesnovaty
> <andrey.vesnovaty@gmail.com> wrote:
> >
> > Hi, and thanks a lot for your RFC v1 comments.
> >
> > RFC v2 emphasize the intent for sharing the flow action:
> > * The term 'action context' was unclear and replaced with
> >    'shared action'.
> > * RFC v2 subject became 'add flow shared action API'.
> > * all proposed APIs renamed according the above.
> >
> > The new shared action is an independent entity decoupled from any flow
> > while any flow can reuse such an action. Please go over the RFC
> > description, it was almost entirely rewritten.
> >
> > @Jerin Jacob:
> > Thanks again for your comments, it made me admit that v1 description was
> > incomplete & unclear.  I hope v2 will be better at least in terms of
> > clarity.
>
> The public API and its usage is very clear. Thanks for this RFC.


My pleasure.

>
> I think, RFC v2 still not addressing the concern raised in the
> http://mails.dpdk.org/archives/dev/2020-June/169296.html.
>
> Since MLX hardware has an HW based shared object it is fine to have
> public API based on that level of abstraction.
> But at the PMD driver level we need to choose the correct abstraction
> to support all PMD and support shared object scheme if possible.
>
> I purpose to introduce something below or similar
>             int (*action_update)
>                 (struct rte_eth_dev *,
>                   struct rte_flow *flow,
>                  const struct rte_flow_action [],
>                  struct rte_flow_error *);
>
Where this callback suppose to belong (struct rte_flow_ops)?
How should it be implemented by PMD?
Is it about shared action and if "yes" why there is 'flow' argument?

>
> in addition to: shared_action_create, shared_action_destroy,
> shared_action_update, shared_action_query
>
> Have generic implementation of above, if action_update callback is not
> NULL.

"is not NULL" -> "is NULL"?


> So that, it can work all PMDs and to
> avoid the duplication of "complex" shared session management code.
>
Do you mean shared action in use by multiple flows by "shared session"?
  
Jerin Jacob June 28, 2020, 1:42 p.m. UTC | #5
On Sun, Jun 28, 2020 at 2:14 PM Andrey Vesnovaty
<andrey.vesnovaty@gmail.com> wrote:
>
> Hi
>
> On Fri, Jun 26, 2020 at 2:44 PM Jerin Jacob <jerinjacobk@gmail.com> wrote:
>>
>> On Sat, Jun 20, 2020 at 7:02 PM Andrey Vesnovaty
>> <andrey.vesnovaty@gmail.com> wrote:
>> >
>> > Hi, and thanks a lot for your RFC v1 comments.
>> >
>> > RFC v2 emphasize the intent for sharing the flow action:
>> > * The term 'action context' was unclear and replaced with
>> >    'shared action'.
>> > * RFC v2 subject became 'add flow shared action API'.
>> > * all proposed APIs renamed according the above.
>> >
>> > The new shared action is an independent entity decoupled from any flow
>> > while any flow can reuse such an action. Please go over the RFC
>> > description, it was almost entirely rewritten.
>> >
>> > @Jerin Jacob:
>> > Thanks again for your comments, it made me admit that v1 description was
>> > incomplete & unclear.  I hope v2 will be better at least in terms of
>> > clarity.
>>
>> The public API and its usage is very clear. Thanks for this RFC.
>
>
> My pleasure.
>>
>>
>> I think, RFC v2 still not addressing the concern raised in the
>> http://mails.dpdk.org/archives/dev/2020-June/169296.html.
>>
>> Since MLX hardware has an HW based shared object it is fine to have
>> public API based on that level of abstraction.
>> But at the PMD driver level we need to choose the correct abstraction
>> to support all PMD and support shared object scheme if possible.
>>
>> I purpose to introduce something below or similar
>>             int (*action_update)
>>                 (struct rte_eth_dev *,
>>                   struct rte_flow *flow,
>>                  const struct rte_flow_action [],
>>                  struct rte_flow_error *);
>
> Where this callback suppose to belong (struct rte_flow_ops)?

Yes.

> How should it be implemented by PMD?

See below,

> Is it about shared action and if "yes" why there is 'flow' argument?

flow holds the "pattern" and "action" data as PMD specific handle.
So PMD, implementation can just change that action if it gets the PMD
specific handle.


>>
>>
>> in addition to: shared_action_create, shared_action_destroy,
>> shared_action_update, shared_action_query
>>
>> Have generic implementation of above, if action_update callback is not
>> NULL.
>
> "is not NULL" -> "is NULL"?

Yes. When it is NULL.

>
>>
>> So that, it can work all PMDs and to
>> avoid the duplication of "complex" shared session management code.
>
> Do you mean shared action in use by multiple flows by "shared session"?

Yes.
  
Andrey Vesnovaty June 29, 2020, 10:22 a.m. UTC | #6
On Sun, Jun 28, 2020 at 4:42 PM Jerin Jacob <jerinjacobk@gmail.com> wrote:

> On Sun, Jun 28, 2020 at 2:14 PM Andrey Vesnovaty
> <andrey.vesnovaty@gmail.com> wrote:
> >
> > Hi
> >
> > On Fri, Jun 26, 2020 at 2:44 PM Jerin Jacob <jerinjacobk@gmail.com>
> wrote:
> >>
> >> On Sat, Jun 20, 2020 at 7:02 PM Andrey Vesnovaty
> >> <andrey.vesnovaty@gmail.com> wrote:
> >> >
> >> > Hi, and thanks a lot for your RFC v1 comments.
> >> >
> >> > RFC v2 emphasize the intent for sharing the flow action:
> >> > * The term 'action context' was unclear and replaced with
> >> >    'shared action'.
> >> > * RFC v2 subject became 'add flow shared action API'.
> >> > * all proposed APIs renamed according the above.
> >> >
> >> > The new shared action is an independent entity decoupled from any flow
> >> > while any flow can reuse such an action. Please go over the RFC
> >> > description, it was almost entirely rewritten.
> >> >
> >> > @Jerin Jacob:
> >> > Thanks again for your comments, it made me admit that v1 description
> was
> >> > incomplete & unclear.  I hope v2 will be better at least in terms of
> >> > clarity.
> >>
> >> The public API and its usage is very clear. Thanks for this RFC.
> >
> >
> > My pleasure.
> >>
> >>
> >> I think, RFC v2 still not addressing the concern raised in the
> >> http://mails.dpdk.org/archives/dev/2020-June/169296.html.
> >>
> >> Since MLX hardware has an HW based shared object it is fine to have
> >> public API based on that level of abstraction.
> >> But at the PMD driver level we need to choose the correct abstraction
> >> to support all PMD and support shared object scheme if possible.
> >>
> >> I purpose to introduce something below or similar
> >>             int (*action_update)
> >>                 (struct rte_eth_dev *,
> >>                   struct rte_flow *flow,
> >>                  const struct rte_flow_action [],
> >>                  struct rte_flow_error *);
> >
> > Where this callback suppose to belong (struct rte_flow_ops)?
>
> Yes.
>
> > How should it be implemented by PMD?
>
> See below,
>
> > Is it about shared action and if "yes" why there is 'flow' argument?
>
> flow holds the "pattern" and "action" data as PMD specific handle.
> So PMD, implementation can just change that action if it gets the PMD
> specific handle.
>
>
> >>
> >>
> >> in addition to: shared_action_create, shared_action_destroy,
> >> shared_action_update, shared_action_query
> >>
> >> Have generic implementation of above, if action_update callback is not
> >> NULL.
> >
> > "is not NULL" -> "is NULL"?
>
> Yes. When it is NULL.


Jerin, few clarifications regarding generic implementation of shared action:
Based on this conversation I'm assuming that generic implementation
supposed to be something like:
For each flow using some shared action:
call ops-> action_update()
If the assumption above correct:
1. taking into account that shared_action_update() is atomic, how can this
deal with partial success: some flows may fail validation - should it:
  1.1.lock all flows
  1.2.validate all flows
  1.3.update all flows
  1.4. unlock
2. action_update callback is PMD specific & if it's unsupported there is no
support for shared action any way
Please address the issues above

>
> >>
> >> So that, it can work all PMDs and to
> >> avoid the duplication of "complex" shared session management code.
> >
> > Do you mean shared action in use by multiple flows by "shared session"?
>
> Yes.
>
Common 'shared session' management code:
- can be reduced to atomic usage counter
- maintaining list of flow using shared action expected to impact
performance & not necessary for all PMD specific implementations
Access to other shared resources hard to generalize because:
- for some PMDs mutual exclusion is HW feature & no need to protect it in SW
- for others there may be multiple resources & access to each one protected
by different mechanism

An observation related to action_update callback:
If replaced (updated) action was shared then the flow won't be influenced
any more by updates or removed shared action.
  
Jerin Jacob June 30, 2020, 9:52 a.m. UTC | #7
On Mon, Jun 29, 2020 at 3:52 PM Andrey Vesnovaty
<andrey.vesnovaty@gmail.com> wrote:
>
>
>
> On Sun, Jun 28, 2020 at 4:42 PM Jerin Jacob <jerinjacobk@gmail.com> wrote:
>>
>> On Sun, Jun 28, 2020 at 2:14 PM Andrey Vesnovaty
>> <andrey.vesnovaty@gmail.com> wrote:
>> >
>> > Hi
>> >
>> > On Fri, Jun 26, 2020 at 2:44 PM Jerin Jacob <jerinjacobk@gmail.com> wrote:
>> >>
>> >> On Sat, Jun 20, 2020 at 7:02 PM Andrey Vesnovaty
>> >> <andrey.vesnovaty@gmail.com> wrote:
>> >> >
>> >> > Hi, and thanks a lot for your RFC v1 comments.
>> >> >
>> >> > RFC v2 emphasize the intent for sharing the flow action:
>> >> > * The term 'action context' was unclear and replaced with
>> >> >    'shared action'.
>> >> > * RFC v2 subject became 'add flow shared action API'.
>> >> > * all proposed APIs renamed according the above.
>> >> >
>> >> > The new shared action is an independent entity decoupled from any flow
>> >> > while any flow can reuse such an action. Please go over the RFC
>> >> > description, it was almost entirely rewritten.
>> >> >
>> >> > @Jerin Jacob:
>> >> > Thanks again for your comments, it made me admit that v1 description was
>> >> > incomplete & unclear.  I hope v2 will be better at least in terms of
>> >> > clarity.
>> >>
>> >> The public API and its usage is very clear. Thanks for this RFC.
>> >
>> >
>> > My pleasure.
>> >>
>> >>
>> >> I think, RFC v2 still not addressing the concern raised in the
>> >> http://mails.dpdk.org/archives/dev/2020-June/169296.html.
>> >>
>> >> Since MLX hardware has an HW based shared object it is fine to have
>> >> public API based on that level of abstraction.
>> >> But at the PMD driver level we need to choose the correct abstraction
>> >> to support all PMD and support shared object scheme if possible.
>> >>
>> >> I purpose to introduce something below or similar
>> >>             int (*action_update)
>> >>                 (struct rte_eth_dev *,
>> >>                   struct rte_flow *flow,
>> >>                  const struct rte_flow_action [],
>> >>                  struct rte_flow_error *);
>> >
>> > Where this callback suppose to belong (struct rte_flow_ops)?
>>
>> Yes.
>>
>> > How should it be implemented by PMD?
>>
>> See below,
>>
>> > Is it about shared action and if "yes" why there is 'flow' argument?
>>
>> flow holds the "pattern" and "action" data as PMD specific handle.
>> So PMD, implementation can just change that action if it gets the PMD
>> specific handle.
>>
>>
>> >>
>> >>
>> >> in addition to: shared_action_create, shared_action_destroy,
>> >> shared_action_update, shared_action_query
>> >>
>> >> Have generic implementation of above, if action_update callback is not
>> >> NULL.
>> >
>> > "is not NULL" -> "is NULL"?
>>
>> Yes. When it is NULL.
>
>
> Jerin, few clarifications regarding generic implementation of shared action:
> Based on this conversation I'm assuming that generic implementation supposed to be something like:
> For each flow using some shared action:
> call ops-> action_update()
> If the assumption above correct:
> 1. taking into account that shared_action_update() is atomic, how can this deal with partial success: some flows may fail validation - should it:
>   1.1.lock all flows
>   1.2.validate all flows
>   1.3.update all flows
>   1.4. unlock

Yes.

> 2. action_update callback is PMD specific & if it's unsupported there is no support for shared action any way

Yes.

> Please address the issues above

>
>> >
>> >>
>> >> So that, it can work all PMDs and to
>> >> avoid the duplication of "complex" shared session management code.
>> >
>> > Do you mean shared action in use by multiple flows by "shared session"?
>>
>> Yes.
>
> Common 'shared session' management code:
> - can be reduced to atomic usage counter
> - maintaining list of flow using shared action expected to impact performance & not necessary for all PMD specific implementations
> Access to other shared resources hard to generalize because:
> - for some PMDs mutual exclusion is HW feature & no need to protect it in SW
> - for others there may be multiple resources & access to each one protected by different mechanism

The general callback you can assume, it supports only action_update
based callback.
If PMD has mutual exclusion HW feature then it can override the
function pointers.



> An observation related to action_update callback:
> If replaced (updated) action was shared then the flow won't be influenced any more by updates or removed shared action.
  
Andrey Vesnovaty July 1, 2020, 9:24 a.m. UTC | #8
On Tue, Jun 30, 2020 at 12:52 PM Jerin Jacob <jerinjacobk@gmail.com> wrote:

> On Mon, Jun 29, 2020 at 3:52 PM Andrey Vesnovaty
> <andrey.vesnovaty@gmail.com> wrote:
> >
> >
> >
> > On Sun, Jun 28, 2020 at 4:42 PM Jerin Jacob <jerinjacobk@gmail.com>
> wrote:
> >>
> >> On Sun, Jun 28, 2020 at 2:14 PM Andrey Vesnovaty
> >> <andrey.vesnovaty@gmail.com> wrote:
> >> >
> >> > Hi
> >> >
> >> > On Fri, Jun 26, 2020 at 2:44 PM Jerin Jacob <jerinjacobk@gmail.com>
> wrote:
> >> >>
> >> >> On Sat, Jun 20, 2020 at 7:02 PM Andrey Vesnovaty
> >> >> <andrey.vesnovaty@gmail.com> wrote:
> >> >> >
> >> >> > Hi, and thanks a lot for your RFC v1 comments.
> >> >> >
> >> >> > RFC v2 emphasize the intent for sharing the flow action:
> >> >> > * The term 'action context' was unclear and replaced with
> >> >> >    'shared action'.
> >> >> > * RFC v2 subject became 'add flow shared action API'.
> >> >> > * all proposed APIs renamed according the above.
> >> >> >
> >> >> > The new shared action is an independent entity decoupled from any
> flow
> >> >> > while any flow can reuse such an action. Please go over the RFC
> >> >> > description, it was almost entirely rewritten.
> >> >> >
> >> >> > @Jerin Jacob:
> >> >> > Thanks again for your comments, it made me admit that v1
> description was
> >> >> > incomplete & unclear.  I hope v2 will be better at least in terms
> of
> >> >> > clarity.
> >> >>
> >> >> The public API and its usage is very clear. Thanks for this RFC.
> >> >
> >> >
> >> > My pleasure.
> >> >>
> >> >>
> >> >> I think, RFC v2 still not addressing the concern raised in the
> >> >> http://mails.dpdk.org/archives/dev/2020-June/169296.html.
> >> >>
> >> >> Since MLX hardware has an HW based shared object it is fine to have
> >> >> public API based on that level of abstraction.
> >> >> But at the PMD driver level we need to choose the correct abstraction
> >> >> to support all PMD and support shared object scheme if possible.
> >> >>
> >> >> I purpose to introduce something below or similar
> >> >>             int (*action_update)
> >> >>                 (struct rte_eth_dev *,
> >> >>                   struct rte_flow *flow,
> >> >>                  const struct rte_flow_action [],
> >> >>                  struct rte_flow_error *);
> >> >
> >> > Where this callback suppose to belong (struct rte_flow_ops)?
> >>
> >> Yes.
> >>
> >> > How should it be implemented by PMD?
> >>
> >> See below,
> >>
> >> > Is it about shared action and if "yes" why there is 'flow' argument?
> >>
> >> flow holds the "pattern" and "action" data as PMD specific handle.
> >> So PMD, implementation can just change that action if it gets the PMD
> >> specific handle.
> >>
> >>
> >> >>
> >> >>
> >> >> in addition to: shared_action_create, shared_action_destroy,
> >> >> shared_action_update, shared_action_query
> >> >>
> >> >> Have generic implementation of above, if action_update callback is
> not
> >> >> NULL.
> >> >
> >> > "is not NULL" -> "is NULL"?
> >>
> >> Yes. When it is NULL.
> >
> >
> > Jerin, few clarifications regarding generic implementation of shared
> action:
> > Based on this conversation I'm assuming that generic implementation
> supposed to be something like:
> > For each flow using some shared action:
> > call ops-> action_update()
> > If the assumption above correct:
> > 1. taking into account that shared_action_update() is atomic, how can
> this deal with partial success: some flows may fail validation - should it:
> >   1.1.lock all flows
> >   1.2.validate all flows
> >   1.3.update all flows
> >   1.4. unlock
>
> Yes.
>
This kind of locking in addition to shared session management requires
locking of each flow_create/flow_destroy in addition to action_uodate
callback implementation even if there are no shared actions at all. In
other words it imposes an overhead on all PMDs that don't support shared
action natively.

>
> > 2. action_update callback is PMD specific & if it's unsupported there is
> no support for shared action any way
>
> Yes.
>
> > Please address the issues above
>
> >
> >> >
> >> >>
> >> >> So that, it can work all PMDs and to
> >> >> avoid the duplication of "complex" shared session management code.
> >> >
> >> > Do you mean shared action in use by multiple flows by "shared
> session"?
> >>
> >> Yes.
> >
> > Common 'shared session' management code:
> > - can be reduced to atomic usage counter
> > - maintaining list of flow using shared action expected to impact
> performance & not necessary for all PMD specific implementations
> > Access to other shared resources hard to generalize because:
> > - for some PMDs mutual exclusion is HW feature & no need to protect it
> in SW
> > - for others there may be multiple resources & access to each one
> protected by different mechanism
>
> The general callback you can assume, it supports only action_update
> based callback.
> If PMD has mutual exclusion HW feature then it can override the
> function pointers.
>
>
>
> > An observation related to action_update callback:
> > If replaced (updated) action was shared then the flow won't be
> influenced any more by updates or removed shared action.
>
  
Jerin Jacob July 1, 2020, 10:34 a.m. UTC | #9
On Wed, Jul 1, 2020 at 2:54 PM Andrey Vesnovaty
<andrey.vesnovaty@gmail.com> wrote:
>
>
> On Tue, Jun 30, 2020 at 12:52 PM Jerin Jacob <jerinjacobk@gmail.com> wrote:
>>
>> On Mon, Jun 29, 2020 at 3:52 PM Andrey Vesnovaty
>> <andrey.vesnovaty@gmail.com> wrote:
>> >
>> >
>> >
>> > On Sun, Jun 28, 2020 at 4:42 PM Jerin Jacob <jerinjacobk@gmail.com> wrote:
>> >>
>> >> On Sun, Jun 28, 2020 at 2:14 PM Andrey Vesnovaty
>> >> <andrey.vesnovaty@gmail.com> wrote:
>> >> >
>> >> > Hi
>> >> >
>> >> > On Fri, Jun 26, 2020 at 2:44 PM Jerin Jacob <jerinjacobk@gmail.com> wrote:
>> >> >>
>> >> >> On Sat, Jun 20, 2020 at 7:02 PM Andrey Vesnovaty
>> >> >> <andrey.vesnovaty@gmail.com> wrote:
>> >> >> >
>> >> >> > Hi, and thanks a lot for your RFC v1 comments.
>> >> >> >
>> >> >> > RFC v2 emphasize the intent for sharing the flow action:
>> >> >> > * The term 'action context' was unclear and replaced with
>> >> >> >    'shared action'.
>> >> >> > * RFC v2 subject became 'add flow shared action API'.
>> >> >> > * all proposed APIs renamed according the above.
>> >> >> >
>> >> >> > The new shared action is an independent entity decoupled from any flow
>> >> >> > while any flow can reuse such an action. Please go over the RFC
>> >> >> > description, it was almost entirely rewritten.
>> >> >> >
>> >> >> > @Jerin Jacob:
>> >> >> > Thanks again for your comments, it made me admit that v1 description was
>> >> >> > incomplete & unclear.  I hope v2 will be better at least in terms of
>> >> >> > clarity.
>> >> >>
>> >> >> The public API and its usage is very clear. Thanks for this RFC.
>> >> >
>> >> >
>> >> > My pleasure.
>> >> >>
>> >> >>
>> >> >> I think, RFC v2 still not addressing the concern raised in the
>> >> >> http://mails.dpdk.org/archives/dev/2020-June/169296.html.
>> >> >>
>> >> >> Since MLX hardware has an HW based shared object it is fine to have
>> >> >> public API based on that level of abstraction.
>> >> >> But at the PMD driver level we need to choose the correct abstraction
>> >> >> to support all PMD and support shared object scheme if possible.
>> >> >>
>> >> >> I purpose to introduce something below or similar
>> >> >>             int (*action_update)
>> >> >>                 (struct rte_eth_dev *,
>> >> >>                   struct rte_flow *flow,
>> >> >>                  const struct rte_flow_action [],
>> >> >>                  struct rte_flow_error *);
>> >> >
>> >> > Where this callback suppose to belong (struct rte_flow_ops)?
>> >>
>> >> Yes.
>> >>
>> >> > How should it be implemented by PMD?
>> >>
>> >> See below,
>> >>
>> >> > Is it about shared action and if "yes" why there is 'flow' argument?
>> >>
>> >> flow holds the "pattern" and "action" data as PMD specific handle.
>> >> So PMD, implementation can just change that action if it gets the PMD
>> >> specific handle.
>> >>
>> >>
>> >> >>
>> >> >>
>> >> >> in addition to: shared_action_create, shared_action_destroy,
>> >> >> shared_action_update, shared_action_query
>> >> >>
>> >> >> Have generic implementation of above, if action_update callback is not
>> >> >> NULL.
>> >> >
>> >> > "is not NULL" -> "is NULL"?
>> >>
>> >> Yes. When it is NULL.
>> >
>> >
>> > Jerin, few clarifications regarding generic implementation of shared action:
>> > Based on this conversation I'm assuming that generic implementation supposed to be something like:
>> > For each flow using some shared action:
>> > call ops-> action_update()
>> > If the assumption above correct:
>> > 1. taking into account that shared_action_update() is atomic, how can this deal with partial success: some flows may fail validation - should it:
>> >   1.1.lock all flows
>> >   1.2.validate all flows
>> >   1.3.update all flows
>> >   1.4. unlock
>>
>> Yes.
>
> This kind of locking in addition to shared session management requires locking of each flow_create/flow_destroy in addition to action_uodate callback implementation even if there are no shared actions at all. In other words it imposes an overhead on all PMDs that don't support shared action natively.

Yes. That's what my concern with implementing shared session if the
PMD only supports only action update for the given rte_flow *.
Another approach would be to introduce rte_flow_action_update() public
API which can either take
"const struct rte_flow_action []" OR shared context ID, to cater to
both cases or something on similar lines.




>>
>>
>> > 2. action_update callback is PMD specific & if it's unsupported there is no support for shared action any way
>>
>> Yes.
>>
>> > Please address the issues above
>>
>> >
>> >> >
>> >> >>
>> >> >> So that, it can work all PMDs and to
>> >> >> avoid the duplication of "complex" shared session management code.
>> >> >
>> >> > Do you mean shared action in use by multiple flows by "shared session"?
>> >>
>> >> Yes.
>> >
>> > Common 'shared session' management code:
>> > - can be reduced to atomic usage counter
>> > - maintaining list of flow using shared action expected to impact performance & not necessary for all PMD specific implementations
>> > Access to other shared resources hard to generalize because:
>> > - for some PMDs mutual exclusion is HW feature & no need to protect it in SW
>> > - for others there may be multiple resources & access to each one protected by different mechanism
>>
>> The general callback you can assume, it supports only action_update
>> based callback.
>> If PMD has mutual exclusion HW feature then it can override the
>> function pointers.
>>
>>
>>
>> > An observation related to action_update callback:
>> > If replaced (updated) action was shared then the flow won't be influenced any more by updates or removed shared action.