Re: [Taps] Reviewing taps-impl-12

Gorry Fairhurst <gorry@erg.abdn.ac.uk> Thu, 19 May 2022 12:20 UTC

Return-Path: <gorry@erg.abdn.ac.uk>
X-Original-To: taps@ietfa.amsl.com
Delivered-To: taps@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 9FFABC14F733 for <taps@ietfa.amsl.com>; Thu, 19 May 2022 05:20:09 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -3.753
X-Spam-Level:
X-Spam-Status: No, score=-3.753 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, NICE_REPLY_A=-1.857, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001] autolearn=ham autolearn_force=no
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id VPBhmN0DpS8h for <taps@ietfa.amsl.com>; Thu, 19 May 2022 05:20:05 -0700 (PDT)
Received: from pegasus.erg.abdn.ac.uk (pegasus.erg.abdn.ac.uk [137.50.19.135]) by ietfa.amsl.com (Postfix) with ESMTP id C4D95C1594B6 for <taps@ietf.org>; Thu, 19 May 2022 05:20:05 -0700 (PDT)
Received: from [192.168.1.64] (fgrpf.plus.com [212.159.18.54]) by pegasus.erg.abdn.ac.uk (Postfix) with ESMTPSA id C90A21B00118 for <taps@ietf.org>; Thu, 19 May 2022 13:19:51 +0100 (BST)
Message-ID: <ccfeb752-011c-6180-cac5-f3fbf18b4df1@erg.abdn.ac.uk>
Date: Thu, 19 May 2022 13:19:50 +0100
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:91.0) Gecko/20100101 Thunderbird/91.9.0
To: taps@ietf.org
References: <YoYuQ4/oPlrLsp1V@hephaistos.amsuess.com>
From: Gorry Fairhurst <gorry@erg.abdn.ac.uk>
In-Reply-To: <YoYuQ4/oPlrLsp1V@hephaistos.amsuess.com>
Content-Type: text/plain; charset="UTF-8"; format="flowed"
Content-Transfer-Encoding: 8bit
Archived-At: <https://mailarchive.ietf.org/arch/msg/taps/OpuNuSRhS8HlkMid8iWNM4QZhsY>
Subject: Re: [Taps] Reviewing taps-impl-12
X-BeenThere: taps@ietf.org
X-Mailman-Version: 2.1.34
Precedence: list
List-Id: "IETF Transport Services \(TAPS\) Working Group" <taps.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/taps>, <mailto:taps-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/taps/>
List-Post: <mailto:taps@ietf.org>
List-Help: <mailto:taps-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/taps>, <mailto:taps-request@ietf.org?subject=subscribe>
X-List-Received-Date: Thu, 19 May 2022 12:20:09 -0000

On 19/05/2022 12:47, Christian Amsüss wrote:
> Hello taps-impl authors,
>
> I've had a look at Implementing Interfaces to Transport Services from
> the point of view of a curious observer of the TAPS ecosystem without
> actual hands-on experience. (Also, I thought I'd review this for the ART
> review team -- I wasn't assigned, but still kept ART area issues in
> mind, and none were even remotely encountered).
>
> * "Connection establishment is only a local operation for a Datagram
>    transport (e.g., UDP(-Lite))": I think the criterion is not Datagram
>    transports but "transports without a handshake" or "connectionless
>    protocols" as it is used later in the document.
>
> * "In effect, each leaf node will send the same early application data,
>    yet encoded (encrypted) differently on the wire.": There has been a
>    warning on the privacy implications of using the same token on
>    different paths; doesn't sending an identical 0-RTT message racingly
>    on multiple transports cause similar correlation issues?
>
> * Framers: What is the difference between the Final message property and
>    the separate IsEndOfMessage event argument?
>
>    Also there, the term MessageContext could use a definition.
>
> * Framers: The <tt> paragraphs in Defining Message Framers and later
>    might be formal language or pseudocode, I can't tell. It might help if
>    the introduction stated something around names and signatures of
>    signals and functions being expressed in pseudocode, and that
>    identifiers in implementations are expected to be similar to those but
>    following the conventions of the language they are implemented in.
>
> * Is the content of messages always bytes? I certainly got that
>    impression, but didn't see it explicitly either. (The "protocols that
>    expose byte-streams" have that property visible in their name). When
>    framers are used a lot, I can envision that at some point a message
>    might not use data bytes at all any more, as all information in the
>    underlying message is being dissected into protocol specific
>    properties.
>
> * UDP, ConnectionError: Would those soft errors contain additional
>    information about the ICMP error code, and can an application expect
>    to find the (partial) original datagram in the error?
>
> * (More out of curiosity, with no expectation that this would find its
>    way into the text unless you think I've hit a bug): In UDP Multicast
>    Receive, which kind of ICMP notifications can come in there that would
>    constitute a ConnectionError -- given that this transport does not
>    send (and would thus usually not trigger any)?
>
> * The most recent changes on the two linked Python implementations had
>    me briefly worry that they might be out of date with their last
>    changes around 2019/2020 -- but comparing -12 with -06 it seems that
>    the document has been stable for quite a while (with many changes
>    appearing editorial.
>
>    This nicely matches my the overall impression of this document, which
>    is that it looks mature and ready to implement.
>
> Best regards, and thank you for the continuous work on this
> Christian
>
>
> _______________________________________________
> Taps mailing list
> Taps@ietf.org
> https://www.ietf.org/mailman/listinfo/taps

This is very useful!!  Thank you for sending these.

I have created 5 corresponding issues in the WG github for these 
comments, and expect they can also be discussed there - please do 
follow-up on proposals and comments.

Best wishes,

Gorry