diff mbox series

[net,1/4] docs: net: dsa: document the tagger-owned storage mechanism

Message ID 20231208193518.2018114-2-vladimir.oltean@nxp.com (mailing list archive)
State Changes Requested
Delegated to: Netdev Maintainers
Headers show
Series Add some history to the DSA documentation | expand

Checks

Context Check Description
netdev/series_format success Posting correctly formatted
netdev/tree_selection success Clearly marked for net
netdev/ynl success SINGLE THREAD; Generated files up to date; no warnings/errors; no diff in generated;
netdev/fixes_present success No Fixes tags, but series doesn't touch code
netdev/header_inline success No static functions without inline keyword in header files
netdev/build_32bit success Errors and warnings before: 8 this patch: 8
netdev/cc_maintainers warning 4 maintainers not CCed: stephen@networkplumber.org florian.fainelli@broadcom.com robh@kernel.org linux-doc@vger.kernel.org
netdev/build_clang success Errors and warnings before: 8 this patch: 8
netdev/verify_signedoff success Signed-off-by tag matches author and committer
netdev/deprecated_api success None detected
netdev/check_selftest success No net selftest shell script
netdev/verify_fixes success No Fixes tag
netdev/build_allmodconfig_warn success Errors and warnings before: 8 this patch: 8
netdev/checkpatch success total: 0 errors, 0 warnings, 0 checks, 71 lines checked
netdev/build_clang_rust success No Rust files in patch. Skipping build
netdev/kdoc success Errors and warnings before: 0 this patch: 0
netdev/source_inline success Was 0 now: 0

Commit Message

Vladimir Oltean Dec. 8, 2023, 7:35 p.m. UTC
Introduced 2 years ago in commit dc452a471dba ("net: dsa: introduce
tagger-owned storage for private and shared data"), the tagger-owned
storage mechanism has recently sparked some discussions which denote a
general lack of developer understanding / awareness of it. There was
also a bug in the ksz switch driver which indicates the same thing.

Admittedly, it is also not obvious to see the design constraints that
led to the creation of such a complicated mechanism.

Here are some paragraphs that explain what it's about.

Signed-off-by: Vladimir Oltean <vladimir.oltean@nxp.com>
---
 Documentation/networking/dsa/dsa.rst | 59 ++++++++++++++++++++++++++++
 1 file changed, 59 insertions(+)

Comments

Linus Walleij Dec. 8, 2023, 10:15 p.m. UTC | #1
On Fri, Dec 8, 2023 at 8:36 PM Vladimir Oltean <vladimir.oltean@nxp.com> wrote:

> Introduced 2 years ago in commit dc452a471dba ("net: dsa: introduce
> tagger-owned storage for private and shared data"), the tagger-owned
> storage mechanism has recently sparked some discussions which denote a
> general lack of developer understanding / awareness of it. There was
> also a bug in the ksz switch driver which indicates the same thing.
>
> Admittedly, it is also not obvious to see the design constraints that
> led to the creation of such a complicated mechanism.
>
> Here are some paragraphs that explain what it's about.
>
> Signed-off-by: Vladimir Oltean <vladimir.oltean@nxp.com>

Clear and to the point.
Reviewed-by: Linus Walleij <linus.walleij@linaro.org>

Yours,
Linus Walleij
Florian Fainelli Dec. 8, 2023, 10:32 p.m. UTC | #2
On 12/8/23 11:35, Vladimir Oltean wrote:
> Introduced 2 years ago in commit dc452a471dba ("net: dsa: introduce
> tagger-owned storage for private and shared data"), the tagger-owned
> storage mechanism has recently sparked some discussions which denote a
> general lack of developer understanding / awareness of it. There was
> also a bug in the ksz switch driver which indicates the same thing.

Link: https://lore.kernel.org/all/20231206071655.1626479-1-sean@geanix.com/

> 
> Admittedly, it is also not obvious to see the design constraints that
> led to the creation of such a complicated mechanism.
> 
> Here are some paragraphs that explain what it's about.
> 
> Signed-off-by: Vladimir Oltean <vladimir.oltean@nxp.com>

Reviewed-by: Florian Fainelli <florian.fainelli@broadcom.com>
Alvin Šipraga Dec. 10, 2023, 1:37 p.m. UTC | #3
On Fri, Dec 08, 2023 at 09:35:15PM +0200, Vladimir Oltean wrote:
> Introduced 2 years ago in commit dc452a471dba ("net: dsa: introduce
> tagger-owned storage for private and shared data"), the tagger-owned
> storage mechanism has recently sparked some discussions which denote a
> general lack of developer understanding / awareness of it. There was
> also a bug in the ksz switch driver which indicates the same thing.
> 
> Admittedly, it is also not obvious to see the design constraints that
> led to the creation of such a complicated mechanism.
> 
> Here are some paragraphs that explain what it's about.
> 
> Signed-off-by: Vladimir Oltean <vladimir.oltean@nxp.com>

Reviewed-by: Alvin Šipraga <alsi@bang-olufsen.dk>

> ---
>  Documentation/networking/dsa/dsa.rst | 59 ++++++++++++++++++++++++++++
>  1 file changed, 59 insertions(+)
> 
> diff --git a/Documentation/networking/dsa/dsa.rst b/Documentation/networking/dsa/dsa.rst
> index 7b2e69cd7ef0..0c326a42eb81 100644
> --- a/Documentation/networking/dsa/dsa.rst
> +++ b/Documentation/networking/dsa/dsa.rst
> @@ -221,6 +221,44 @@ receive all frames regardless of the value of the MAC DA. This can be done by
>  setting the ``promisc_on_conduit`` property of the ``struct dsa_device_ops``.
>  Note that this assumes a DSA-unaware conduit driver, which is the norm.
>  
> +Separation between tagging protocol and switch drivers
> +------------------------------------------------------
> +
> +Sometimes it is desirable to test the behavior of a given conduit interface
> +with a given switch protocol, to see how it responds to checksum offloading,
> +padding with tail tags, increased MTU, how the hardware parser sees DSA-tagged
> +frames, etc.
> +
> +To achieve that, any tagging protocol driver may be used with ``dsa_loop``
> +(this requires modifying the ``dsa_loop_get_protocol()`` function
> +implementation). Therefore, tagging protocol drivers must not assume that they
> +are used only in conjunction with a particular switch driver. Concretely, the
> +tagging protocol driver should make no assumptions about the type of
> +``ds->priv``, and its core functionality should only rely on the data
> +structures offered by the DSA core for all switches (``struct dsa_switch``,
> +``struct dsa_port`` etc).
> +
> +Additionally, tagging protocol drivers must not depend on symbols exported by
> +any particular switch control path driver. Doing so would create a circular
> +dependency, because DSA, on behalf of the switch driver, already requests the
> +appropriate tagging protocol driver module to be loaded.
> +
> +Nonetheless, there are exceptional situations when switch-specific processing
> +is required in a tagging protocol driver. In some cases the tagger needs a
> +place to hold state; in other cases, the packet transmission procedure may
> +involve accessing switch registers. The tagger may also be processing packets
> +which are not destined for the network stack but for the switch driver's
> +management logic, and thus, the switch driver should have a handler for these
> +management frames.
> +
> +A mechanism, called tagger-owned storage (in reference to ``ds->tagger_data``),
> +exists, which permits tagging protocol drivers to allocate memory for each
> +switch that they connect to. Each tagging protocol driver may define its own
> +contract with switch drivers as to what this data structure contains.
> +Through the ``struct dsa_device_ops`` methods ``connect()`` and ``disconnect()``,
> +tagging protocol drivers are given the possibility to manage the
> +``ds->tagger_data`` pointer of any switch that they connect to.
> +
>  Conduit network devices
>  -----------------------
>  
> @@ -624,6 +662,27 @@ Switch configuration
>    case, further calls to ``get_tag_protocol`` should report the protocol in
>    current use.
>  
> +- ``connect_tag_protocol``: optional method to notify the switch driver that a
> +  tagging protocol driver has connected to this switch. Depending on the
> +  contract established by the protocol given in the ``proto`` argument, the
> +  tagger-owned storage (``ds->tagger_data``) may be expected to contain a
> +  pointer to a data structure specific to the tagging protocol. This data
> +  structure may contain function pointers to packet handlers that the switch
> +  driver registers with the tagging protocol. If interested in these packets,
> +  the switch driver must cast the ``ds->tagger_data`` pointer to the data type
> +  established by the tagging protocol, and assign the packet handler function
> +  pointers to methods that it owns. Since the memory pointed to by
> +  ``ds->tagger_data`` is owned by the tagging protocol, the switch driver must
> +  assume by convention that it has been allocated, and this method is only
> +  provided for making initial adjustments to the contents of ``ds->tagger_data``.
> +  It is also the reason why no ``disconnect_tag_protocol()`` counterpart is
> +  provided. Additionally, a tagging protocol driver which makes use of
> +  tagger-owned storage must not assume that the connected switch has
> +  implemented the ``connect_tag_protocol()`` method (it may connect to a
> +  ``dsa_loop`` switch, which does not). Therefore, a tagging protocol may
> +  always rely on ``ds->tagger_data``, but it must treat the packet handlers
> +  provided by the switch in this method as optional.
> +
>  - ``setup``: setup function for the switch, this function is responsible for setting
>    up the ``dsa_switch_ops`` private structure with all it needs: register maps,
>    interrupts, mutexes, locks, etc. This function is also expected to properly
> -- 
> 2.34.1
>
diff mbox series

Patch

diff --git a/Documentation/networking/dsa/dsa.rst b/Documentation/networking/dsa/dsa.rst
index 7b2e69cd7ef0..0c326a42eb81 100644
--- a/Documentation/networking/dsa/dsa.rst
+++ b/Documentation/networking/dsa/dsa.rst
@@ -221,6 +221,44 @@  receive all frames regardless of the value of the MAC DA. This can be done by
 setting the ``promisc_on_conduit`` property of the ``struct dsa_device_ops``.
 Note that this assumes a DSA-unaware conduit driver, which is the norm.
 
+Separation between tagging protocol and switch drivers
+------------------------------------------------------
+
+Sometimes it is desirable to test the behavior of a given conduit interface
+with a given switch protocol, to see how it responds to checksum offloading,
+padding with tail tags, increased MTU, how the hardware parser sees DSA-tagged
+frames, etc.
+
+To achieve that, any tagging protocol driver may be used with ``dsa_loop``
+(this requires modifying the ``dsa_loop_get_protocol()`` function
+implementation). Therefore, tagging protocol drivers must not assume that they
+are used only in conjunction with a particular switch driver. Concretely, the
+tagging protocol driver should make no assumptions about the type of
+``ds->priv``, and its core functionality should only rely on the data
+structures offered by the DSA core for all switches (``struct dsa_switch``,
+``struct dsa_port`` etc).
+
+Additionally, tagging protocol drivers must not depend on symbols exported by
+any particular switch control path driver. Doing so would create a circular
+dependency, because DSA, on behalf of the switch driver, already requests the
+appropriate tagging protocol driver module to be loaded.
+
+Nonetheless, there are exceptional situations when switch-specific processing
+is required in a tagging protocol driver. In some cases the tagger needs a
+place to hold state; in other cases, the packet transmission procedure may
+involve accessing switch registers. The tagger may also be processing packets
+which are not destined for the network stack but for the switch driver's
+management logic, and thus, the switch driver should have a handler for these
+management frames.
+
+A mechanism, called tagger-owned storage (in reference to ``ds->tagger_data``),
+exists, which permits tagging protocol drivers to allocate memory for each
+switch that they connect to. Each tagging protocol driver may define its own
+contract with switch drivers as to what this data structure contains.
+Through the ``struct dsa_device_ops`` methods ``connect()`` and ``disconnect()``,
+tagging protocol drivers are given the possibility to manage the
+``ds->tagger_data`` pointer of any switch that they connect to.
+
 Conduit network devices
 -----------------------
 
@@ -624,6 +662,27 @@  Switch configuration
   case, further calls to ``get_tag_protocol`` should report the protocol in
   current use.
 
+- ``connect_tag_protocol``: optional method to notify the switch driver that a
+  tagging protocol driver has connected to this switch. Depending on the
+  contract established by the protocol given in the ``proto`` argument, the
+  tagger-owned storage (``ds->tagger_data``) may be expected to contain a
+  pointer to a data structure specific to the tagging protocol. This data
+  structure may contain function pointers to packet handlers that the switch
+  driver registers with the tagging protocol. If interested in these packets,
+  the switch driver must cast the ``ds->tagger_data`` pointer to the data type
+  established by the tagging protocol, and assign the packet handler function
+  pointers to methods that it owns. Since the memory pointed to by
+  ``ds->tagger_data`` is owned by the tagging protocol, the switch driver must
+  assume by convention that it has been allocated, and this method is only
+  provided for making initial adjustments to the contents of ``ds->tagger_data``.
+  It is also the reason why no ``disconnect_tag_protocol()`` counterpart is
+  provided. Additionally, a tagging protocol driver which makes use of
+  tagger-owned storage must not assume that the connected switch has
+  implemented the ``connect_tag_protocol()`` method (it may connect to a
+  ``dsa_loop`` switch, which does not). Therefore, a tagging protocol may
+  always rely on ``ds->tagger_data``, but it must treat the packet handlers
+  provided by the switch in this method as optional.
+
 - ``setup``: setup function for the switch, this function is responsible for setting
   up the ``dsa_switch_ops`` private structure with all it needs: register maps,
   interrupts, mutexes, locks, etc. This function is also expected to properly