Re: [Taps] draft-ietf-taps-interface-05 review

"Philipp S. Tiesel" <philipp@tiesel.net> Wed, 04 March 2020 16:51 UTC

Return-Path: <philipp@tiesel.net>
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 BE7453A12CC for <taps@ietfa.amsl.com>; Wed, 4 Mar 2020 08:51:51 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.898
X-Spam-Level:
X-Spam-Status: No, score=-1.898 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, SPF_HELO_NONE=0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
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 OFrCIYtRKWyy for <taps@ietfa.amsl.com>; Wed, 4 Mar 2020 08:51:47 -0800 (PST)
Received: from einhorn-mail.in-berlin.de (einhorn-mail.in-berlin.de [217.197.80.20]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id BB55B3A12C8 for <taps@ietf.org>; Wed, 4 Mar 2020 08:51:46 -0800 (PST)
X-Envelope-From: philipp@tiesel.net
Received: from x-berg.in-berlin.de (x-change.in-berlin.de [217.197.86.40]) by einhorn.in-berlin.de with ESMTPS id 024Gpi4f018339 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Wed, 4 Mar 2020 17:51:44 +0100
Received: from [2a01:598:818b:c666:48:44e8:27dc:387c] by x-berg.in-berlin.de with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from <philipp@tiesel.net>) id 1j9XCd-0003hT-7o; Wed, 04 Mar 2020 17:48:59 +0100
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
Mime-Version: 1.0 (1.0)
From: "Philipp S. Tiesel" <philipp@tiesel.net>
In-Reply-To: <E9545535-178C-4B9F-91C2-0EB3356DB5B0@ifi.uio.no>
Cc: Kyle Rose <krose@krose.org>, "taps@ietf.org" <taps@ietf.org>
Date: Wed, 04 Mar 2020 17:51:42 +0100
Message-Id: <5E98B07E-795C-4D87-B271-658EB03C7FCC@tiesel.net>
References: <E9545535-178C-4B9F-91C2-0EB3356DB5B0@ifi.uio.no>
To: Michael Welzl <michawe@ifi.uio.no>
X-Mailer: iPad Mail (17D50)
Archived-At: <https://mailarchive.ietf.org/arch/msg/taps/1V54trrM8TOMzt2s3647waiNkUM>
Subject: Re: [Taps] draft-ietf-taps-interface-05 review
X-BeenThere: taps@ietf.org
X-Mailman-Version: 2.1.29
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: Wed, 04 Mar 2020 16:51:57 -0000

Hi,

Some of the remaining issues had already been discussed, but either did not lead to text or the text was lost. Let me comment on these issues:

>> On 4. Mar 2020, at 15:38, Michael Welzl <michawe@ifi.uio.no> wrote:
> 
> REMAINING UNADDRESSED COMMENTS FROM KYLE ROSE:
> 
> 
> 2. Terminology and Notation
> 
> * The notation "Sender -> Event" says nothing about who receives the event. Is it just assumed to be the application in the context of the particular event (e.g., a thread processing a particular connection)?
> 
> MW: We have the following statement in this section: "Events could be implemented via event queues, handler functions or classes, communicating sequential processes, or other asynchronous calling conventions."
> I wonder why this isn't enough information? E.g., if handlers are used, then the recipient of the event is a pre-registered handler -  and handlers must therefore be registered before events can occur; this function isn't visible in the API because this is platform- and language-specific.
> 
> 
> 4.2.1. Transport Property Names
> 
> * The use of dashes in property names means they will necessarily look different in almost every widely-used language, in which dash is an operator.

The solution for this issue was to allow implementations to change the property names in consistent ways, e.g., by replacing the dashes with underscores or removing them and use CamelCasing.
The text was removed as over-specific.

> * If we're not currently asking IANA to create a registry of property names or namespaces, should we provide a recommendation that such symbols not listed explcitly in this document be prefixed with some experimental identifier?

The IANA registry question was explicitly postponed, be maybe we should re-iterate it now.
The idea of having an „x“ namespace was rejected in fear we end up with quasi-standard properties that have an x prefix then. 
> 
> 5.2. Specifying Transport Properties
> 
> * There are a lot of choices being made about how users will want to prioritize transport protocol selection. How confident are we that, for instance, path selection should take priority over protocol selection? I think that's right, but I wonder if it might not make more sense to have two interfaces: one that provides a purely numeric priority ordering of preferences, and one (based on the existing 5-level preferences) that maps into it.

We had a lengthy discussion about this and rejected it as too complex and limiting for the implementation.
> 
> * Using the same enum (Require(d[sic])/Avoid/Ignore) for the queried output of selected properties seems like a shortcut that will lead to some confusion.

We had text saying that these should turn into Boolean when queried and should reflect whether the protocol stack chosen provides the feature. I will have to double-check whether this text is still in the description of the preference type.

> MW: I agree;  partially addressed: s/Required/Require wherever it's a Preference level.
> 
> 
> 5.2.5. Use 0-RTT Session Establishment with an Idempotent Message
> 
> * I'll repeat the same statement I made at the mic a few years ago: idempotency != replay-safe. DELETE is idempotent, but not safe for replay because someone might have done a PUT or POST in the meantime.
> 
> MW: I remember you saying this, sorry that we haven't addressed it yet! I didn't understand - is your concern about replaying that a Message may arrive later, i.e. as Message X, Messages Y and Z in between, then Message X again?  => if so, are you saying that this could happen with TFO or QUIC?  (I didn't think so)
> 
> 
> 5.2.10. Interface Instance or Type
> 
> * These type symbols really deserve an actual registry, or at least the start of one. Otherwise, we are likely to end up with a mess.

There is already one, but that one was not useful for our matters. 
> 
> 5.2.11. Provisioning Domain Instance or Type
> 
> * What about ordering of similar interfaces? I have a 2-SIM cellphone with wifi.

Each cellular provider will have a unique PVD. 
> 
> 5.3.2. Connection Establishment Callbacks
> 
> * What constitutes trust verification prior to the handshake?
> 
> 7.3.1. Sent
> 
> * It seems like an abstract API would be helpful for the reference to the Message to which a Sent event applies: this seems like something many, many applications would need to do. With callbacks, the application can always curry in a reference to the original message (that's what my event system from ~2001 did), so maybe that should be the recommendation and the message reference removed...? I don't have a strong feeling here other than that if something is included then its use should be more well-defined.
> 
> 7.3.3. SendError
> 
> * Is there a reason why a single messageContext object is used for both sends and receives? I probably missed the original discussion about this, but I'd like to understand the reasoning.
> 
> MW: I don't get this, where does it say that it's only a single object? Or do you mean that it's the same type? Why is that problematic?
> 
> 
> 7.4.7. Reliable Data Transfer (Message)
> 
> * The default isn't "true", it's whatever the underlying connection had, right?

Ack
> 
> 
> 8. Receiving Data
> 
> * A connection can be used to receive data if it is not configured as unidirectional transmit.
> 
> MW: that's obviously correct - but I can't find a statement that would contradict what you say here.
> 
> 
> 8.2. Receive Events
> 
> * "A call to Receive will be paired with a single Receive Event" or possibly multiple ReceivedPartial Events?
> 
> * Also, can the draft be consistent about Receive vs. Received, et al.?
> 
> 
> 11. General comments
> 
> * There's a lot of UNIXisms here that should probably be excised in favor of a more abstract presentation. The most obvious is the use of -1 to mean something other than the integer -1. In Python, for instance, you might want to use None for this purpose. I would specify non-numeric values symbolically, and maybe indicate in the appendix that a UNIX C implementation might want to use -1 to represent such values.
> 
> MW: agreed... TODO.
> 
> 
> 11.1.10. Capacity Profile
> 
> * Very little of this section is about capacity. Traffic Profile?
> 
> * "High Throughput Data" might be better phrased as "Capacity-Seeking".
> 
> _______________________________________________
> Taps mailing list
> Taps@ietf.org
> https://www.ietf.org/mailman/listinfo/taps