Re: [Tsv-art] [Last-Call] [lp-wan] Tsvart last call review of draft-ietf-lpwan-coap-static-context-hc-12

dominique.barthel@orange.com Tue, 17 March 2020 22:53 UTC

Return-Path: <dominique.barthel@orange.com>
X-Original-To: tsv-art@ietfa.amsl.com
Delivered-To: tsv-art@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 59AF13A08A9; Tue, 17 Mar 2020 15:53:11 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.097
X-Spam-Level:
X-Spam-Status: No, score=-2.097 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, HTML_MESSAGE=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, UNPARSEABLE_RELAY=0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=orange.com
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id z5Qhxm0qlPNr; Tue, 17 Mar 2020 15:53:09 -0700 (PDT)
Received: from relais-inet.orange.com (relais-inet.orange.com [80.12.70.36]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id AA7173A07F4; Tue, 17 Mar 2020 15:53:08 -0700 (PDT)
Received: from opfednr03.francetelecom.fr (unknown [xx.xx.xx.67]) by opfednr24.francetelecom.fr (ESMTP service) with ESMTP id 48hpNg19Cmz1yLR; Tue, 17 Mar 2020 23:53:07 +0100 (CET)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=orange.com; s=ORANGE001; t=1584485587; bh=3H7iVs6TYDf2MmjJ/REppgH8BqfcVsuZSqHqjyVbT/I=; h=From:To:Subject:Date:Message-ID:Content-Type:MIME-Version; b=khJKZCwzGocTSnALIMt1ljJrFN0LQWIpy4Dz+aILiewk7MpNLXKok0zqEzsN7DzqH 13SwidadFe4SJ6DKHEnuJbX3Lbw//8Kpxj7tfdMEr3HUVPnfVwWXs6KnxpjXYP70tQ PfpKs4fsCj27nt8GWAmRTLk1JmuCUy7HJXW8DVuiyz/JLOqjKc5Xw7JutHaSZ2inh1 LPQ8u5arwHikGmkHaFnfs3bP9X7f6L00W2LVakw8zeo7IVUhmM+I+iKphGNS5eTttc z6ScWt6eIxw5icNrmaZWxPlQ/8A4g1qQRcfM/zLB7vb6aUZ21i8SPRjONNzrCWH6qY 5u6KszJC/dmCg==
Received: from Exchangemail-eme6.itn.ftgroup (unknown [xx.xx.13.51]) by opfednr03.francetelecom.fr (ESMTP service) with ESMTP id 48hpNf6SmHzDq7J; Tue, 17 Mar 2020 23:53:06 +0100 (CET)
From: dominique.barthel@orange.com
To: Joseph Touch <touch@strayalpha.com>, Benjamin Kaduk <kaduk@mit.edu>
CC: "tsv-art@ietf.org" <tsv-art@ietf.org>, The IESG <iesg@ietf.org>, "lp-wan@ietf.org" <lp-wan@ietf.org>, "last-call@ietf.org" <last-call@ietf.org>, "draft-ietf-lpwan-coap-static-context-hc.all@ietf.org" <draft-ietf-lpwan-coap-static-context-hc.all@ietf.org>, "draft-ietf-lpwan-ipv6-static-context-hc@ietf.org" <draft-ietf-lpwan-ipv6-static-context-hc@ietf.org>
Thread-Topic: [Last-Call] [lp-wan] Tsvart last call review of draft-ietf-lpwan-coap-static-context-hc-12
Thread-Index: AQHV/KDw1QEUeVsXFU2yqGR6EuYvh6hNRn0AgAAd4wA=
Date: Tue, 17 Mar 2020 22:53:06 +0000
Message-ID: <676_1584485586_5E7154D2_676_15_1_DA971242.720E6%dominique.barthel@orange.com>
References: <158152010913.17982.18347318138768196852@ietfa.amsl.com> <340_1584143298_5E6C1BC2_340_169_1_DA91D669.71EAC%dominique.barthel@orange.com> <20200317211335.GR50174@kduck.mit.edu> <734BA902-C1EB-496C-8219-BB4E9A722029@strayalpha.com>
In-Reply-To: <734BA902-C1EB-496C-8219-BB4E9A722029@strayalpha.com>
Accept-Language: fr-FR, en-US
Content-Language: fr-FR
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
user-agent: Microsoft-MacOutlook/14.7.3.170325
x-originating-ip: [10.114.13.245]
Content-Type: multipart/alternative; boundary="_000_DA971242720E6dominiquebarthelorangecom_"
MIME-Version: 1.0
Archived-At: <https://mailarchive.ietf.org/arch/msg/tsv-art/vrjPFA760zbTCxVE9EB8IUJvet4>
Subject: Re: [Tsv-art] [Last-Call] [lp-wan] Tsvart last call review of draft-ietf-lpwan-coap-static-context-hc-12
X-BeenThere: tsv-art@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Transport Area Review Team <tsv-art.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/tsv-art>, <mailto:tsv-art-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/tsv-art/>
List-Post: <mailto:tsv-art@ietf.org>
List-Help: <mailto:tsv-art-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/tsv-art>, <mailto:tsv-art-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 17 Mar 2020 22:53:13 -0000

Hello Joe,

Our mails have crossed.
Content of my previous mail copied here, keeping the original destination list, which I had trimmed down in said mail.

Dominique

Here are some examples to illustrate my answer in the mail below.

We have the following processing chain:
- protocol parser: breaks the headers of incoming packet into itemised fields, each with an identifier that tells what they are. Hands this set of fields to the SCHC compressor.
- SCHC compressor: browses the Rule set to find a Rule that matches the set of fields. Compresses each field per the Rule, sends RuleID + compression residues + payload.
- SCHC decompressor: based on the received RuleID and residues, rebuilds the itemised fields, hands the set of fields to the protocol reconstructor.
- protocol reconstructor: concatenates the itemised fields into protocol headers, concatenates the payload. Hands to the upper layer.

Here, let's assume we intend to compress the UDP/IPv6 headers. The upper layers headers are considered "payload" in our discussion.
For this discussion, I will only consider the Length field of IPv6, ignoring all other IPv6 fields.
Therefore, I will say an old-style UDP/IPv6 packet only has 5 fields:
- IPv6.Length
- UDP.Length
- UDP.Checksum
- UDP.SourcePort
- UDP.DestPort
While a post draft-tsvwg-udp-options UDP/IPv6 packet may have more fields
- UDP.Option1
- UDP.Option2
- etc.

Let's assume ProtocolParserA does not understand draft-tsvwg-udp-options.
Let's assume ProtocolParserB does understand draft-tsvwg-udp-options.
Let's assume PacketU is a well formed old-style UPD/IPv6 packet.
Let's assume PacketV is a post draft-tsvwg-udp-options UPD/IPv6 packet, that includes UDP.Option1 and UDP.Option2.
Let's assume Rule1 only has the old-style 5 field descriptors. In its CDAs, the UDP length is elided at the compressor and reconstructed out of IPv6.Length at the decompressor.
Let's assume Rule2 has the 5 old-style field descriptors plus UDP.Option1 and UDP.Option2. In its CDAs, the UDP length is sent in extenso as a compression residue.

When PacketU or PacketV is submitted to SystemA, which includes ProtocolParserA, or to SystemB, which includes ProtocolParserB, the outcome is described in the following table.

                      PacketU                      PacketV
-----------------------------------------------------------------------------------------------
     | PPA parser   | 5 itemised fields          | incorrect UDP length, nothing handed to SCHC
     | SCHC comp    | Matches Rule1              |
SystA|              | UDP.Length elided          |
     | SCHC decomp  | UDP.Length recomputed      |
     | PPA reconstr | correct UDP header         |
-----------------------------------------------------------------------------------------------
     | PPB parser   | 5 itemised fields          | 7 itemised fields
     | SCHC comp    | Matches Rule1              | Matches Rule2
SystB|              | UDP.Length elided          | UDP.Length sent as a compression residue
     | SCHC decomp  | UDP.Length recomputed      | UDP.Length retrieved from residue
     | PPB reconstr | correct UDP header         | correct UDP header

-----------------------------------------------------------------------------------------------

Further variations:

If a PacketW has 3 options, yielding 8 fields, it does not match Rule2. With SystB, it will be sent uncompressed.
If case SystB does not have a Rule1 in the Rule set, PacketU will be sent uncompressed.
If case SystB does not have a Rule2 in the Rule set, PacketV will be sent uncompressed.
There is no way PacketV will be matched by Rule1, which is the case that was envisaged as problematic by TSV-ART, if I understood correctly.
Now, if ProtocolParserA does not check for consistency between UDP.Length and IPv6.Length, then we have a problem.
But the problem is with the protocol parser, not with SCHC.

Best regards

Dominique



De : Joseph Touch <touch@strayalpha.com<mailto:touch@strayalpha.com>>
Date : Tuesday 17 March 2020 23:06
À : Benjamin Kaduk <kaduk@mit.edu<mailto:kaduk@mit.edu>>
Cc : Dominique Barthel <dominique.barthel@orange.com<mailto:dominique.barthel@orange.com>>, "tsv-art@ietf.org<mailto:tsv-art@ietf.org>" <tsv-art@ietf.org<mailto:tsv-art@ietf.org>>, The IESG <iesg@ietf.org<mailto:iesg@ietf.org>>, "lp-wan@ietf.org<mailto:lp-wan@ietf.org>" <lp-wan@ietf.org<mailto:lp-wan@ietf.org>>, "last-call@ietf.org<mailto:last-call@ietf.org>" <last-call@ietf.org<mailto:last-call@ietf.org>>, "draft-ietf-lpwan-coap-static-context-hc.all@ietf.org<mailto:draft-ietf-lpwan-coap-static-context-hc.all@ietf.org>" <draft-ietf-lpwan-coap-static-context-hc.all@ietf.org<mailto:draft-ietf-lpwan-coap-static-context-hc.all@ietf.org>>, "draft-ietf-lpwan-ipv6-static-context-hc@ietf.org<mailto:draft-ietf-lpwan-ipv6-static-context-hc@ietf.org>" <draft-ietf-lpwan-ipv6-static-context-hc@ietf.org<mailto:draft-ietf-lpwan-ipv6-static-context-hc@ietf.org>>
Objet : Re: [Last-Call] [lp-wan] Tsvart last call review of draft-ietf-lpwan-coap-static-context-hc-12

My concern is Section 7.5.8.  How can both the IP and UDP lengths both be computed unless both depend directly on the link packet size?

AFAICT, With UDP options, the UDP length cannot be computed that way. The default rules need to take that into account.

I.e., you don’t need the UDP option TLVs if you don’t compress that area, but compression definitely needs to restore the UDP length as distinct from and unrelated to the IP length.

Joe

On Mar 17, 2020, at 2:13 PM, Benjamin Kaduk <kaduk@mit.edu<mailto:kaduk@mit.edu>> wrote:

In conclusion, the SCHC compression mechanism, if properly implemented, is
fully compatible with draft-tsvwg-udp-options.

This "if properly implemented" seems pretty critical.  Do we need to leave
a reminder that implementations have to know about UDP TLVs in order to
properly identify all fields in the headers to be compressed?

-Ben


_________________________________________________________________________________________________________________________

Ce message et ses pieces jointes peuvent contenir des informations confidentielles ou privilegiees et ne doivent donc
pas etre diffuses, exploites ou copies sans autorisation. Si vous avez recu ce message par erreur, veuillez le signaler
a l'expediteur et le detruire ainsi que les pieces jointes. Les messages electroniques etant susceptibles d'alteration,
Orange decline toute responsabilite si ce message a ete altere, deforme ou falsifie. Merci.

This message and its attachments may contain confidential or privileged information that may be protected by law;
they should not be distributed, used or copied without authorisation.
If you have received this email in error, please notify the sender and delete this message and its attachments.
As emails may be altered, Orange is not liable for messages that have been modified, changed or falsified.
Thank you.