Re: [tsvwg] Comments on recent UDP options work

Tom Herbert <tom@herbertland.com> Sun, 25 November 2018 18:42 UTC

Return-Path: <tom@herbertland.com>
X-Original-To: tsvwg@ietfa.amsl.com
Delivered-To: tsvwg@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 5D24A126CB6 for <tsvwg@ietfa.amsl.com>; Sun, 25 Nov 2018 10:42:43 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -3.359
X-Spam-Level:
X-Spam-Status: No, score=-3.359 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIMWL_WL_MED=-1.459, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, RCVD_IN_DNSWL_NONE=-0.0001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=herbertland-com.20150623.gappssmtp.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 L_QOb5BCxNLi for <tsvwg@ietfa.amsl.com>; Sun, 25 Nov 2018 10:42:41 -0800 (PST)
Received: from mail-qt1-x841.google.com (mail-qt1-x841.google.com [IPv6:2607:f8b0:4864:20::841]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 35CE11200B3 for <tsvwg@ietf.org>; Sun, 25 Nov 2018 10:42:41 -0800 (PST)
Received: by mail-qt1-x841.google.com with SMTP id l11so15258509qtp.0 for <tsvwg@ietf.org>; Sun, 25 Nov 2018 10:42:40 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=herbertland-com.20150623.gappssmtp.com; s=20150623; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=8KRKInNut8znb/1TftoB6+3NKjU6+c2aSgAoX29qv5c=; b=iB+zrYgE8OX1A0cSqWawfiFpTutKc836DwuXOdLPonWETCSZupOCANq6zHY0OVyRdj W1P9Hzys+nbUNAOOJqxqXgEXJHIrkxjltRZnd/1B2QAN+OSXvWT4KfCb73rbvsH5n6YG 55OXNk2lXtlJAGx2AS3QNY0Ua85w9KMnziSM8ShvPaWdBZtBI2U/EppHx+sg4C4uG2tO /CBZufrx0mEm2rh8/4FTb/NrW5AkLCbrVJBtABZikCMa3y7Du8+5stZ+6+7gMxSfCwvM DEwsW7HX7Io/9Y3RDz/1L0IIyeIt1j7ytkQ6nhk4FC7wpTMHUNsSjIfRulyf/mvWYxvm 5Ttg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=8KRKInNut8znb/1TftoB6+3NKjU6+c2aSgAoX29qv5c=; b=njNCq17OrgNhqj0UVlKxJ3sgSUPQbZ+i1uUtFIaDdaRmCOiZ/0NWwdNLKin/rEvRzN 3WAEVLwfUYo3J2rLcuL+1k1iW6MVkD6GxoG9gOOXwdSB+mGspCeUqgPyq1+PtcQt12DL XbYu09n1jmTsDL7gZv0Ea25b7M5cntqf2IGAgQJYyfZRMPwtwS4VgGkuzbL6or197/75 znb81gsbE8iHTFufCQvibsGBuY+In6kcXjvUrZGzV4HVNEyqZs3vFdP+hiNhqViIMdNw DimOiiItsAqoEJ48F7SZwlUe+iqiKkHECQrOm0byjgmJMMKlvlfGUefrFR68/NzQDRI0 0dXA==
X-Gm-Message-State: AGRZ1gJgJ2xx+VQZWcJz8mx+w2zxFxz4Dh4LiyvrTBLKFcIhbHvz43Ab gcjYknk/IjYE+DwN/7A4lk0gl95gAS3nEPAF+sNMKg==
X-Google-Smtp-Source: AFSGD/Vb0qXWfJRc0vEYiasPhYB28NwduClTupc5wkr7Fa/ROCybSACB8zeKcc4YhD4A0xPFlMgZYOhHuL2bRdGoQVQ=
X-Received: by 2002:aed:3c0c:: with SMTP id t12mr23288047qte.226.1543171360001; Sun, 25 Nov 2018 10:42:40 -0800 (PST)
MIME-Version: 1.0
References: <CACL_3VFG+B1AZfC09XTTq0Ht8tM5RoZt8zy1c5aK2NLpQQwKGA@mail.gmail.com> <DDBEA9CB-86A1-496C-BC73-F4C62D05ED05@strayalpha.com> <5BFACDAD.7050109@erg.abdn.ac.uk> <2CFB9765-6B83-4857-B4E6-355BCD04FBFC@strayalpha.com> <CALx6S37XL-r-5nzqY_Efdr9LBMf6TcOL0SYdFvQhfc0OGKCasg@mail.gmail.com> <CACL_3VFFwUALtr=CR11Ut+BWFx7oiOHwpjAhiaCVpCC7OaJ8Cw@mail.gmail.com> <CALx6S36MvUEnC4zNQDr4f7QkNZxBaK=5tZq27Dxb1cODzPPP9A@mail.gmail.com> <CACL_3VHrFvy-s-9btkHC_pHZFt+BBxrArpS8DmYkAoeK7+MtOA@mail.gmail.com>
In-Reply-To: <CACL_3VHrFvy-s-9btkHC_pHZFt+BBxrArpS8DmYkAoeK7+MtOA@mail.gmail.com>
From: Tom Herbert <tom@herbertland.com>
Date: Sun, 25 Nov 2018 10:42:29 -0800
Message-ID: <CALx6S35TVtmOZSXHVhpwRNuuTBXZi91JBb+iYciQPF2N_NLgPQ@mail.gmail.com>
To: "C. M. Heard" <heard@pobox.com>
Cc: Joe Touch <touch@strayalpha.com>, Gorry Fairhurst <gorry@erg.abdn.ac.uk>, tsvwg <tsvwg@ietf.org>
Content-Type: text/plain; charset="UTF-8"
Archived-At: <https://mailarchive.ietf.org/arch/msg/tsvwg/hylLCTSE_1XUgOU93vNU7e6fDMw>
Subject: Re: [tsvwg] Comments on recent UDP options work
X-BeenThere: tsvwg@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Transport Area Working Group <tsvwg.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/tsvwg>, <mailto:tsvwg-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/tsvwg/>
List-Post: <mailto:tsvwg@ietf.org>
List-Help: <mailto:tsvwg-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/tsvwg>, <mailto:tsvwg-request@ietf.org?subject=subscribe>
X-List-Received-Date: Sun, 25 Nov 2018 18:42:43 -0000

On Sun, Nov 25, 2018 at 10:11 AM C. M. Heard <heard@pobox.com> wrote:
>
> On Sun, Nov 25, 2018 at 9:50 AM Tom Herbert wrote:
> > > Do you mean LITE, or FRAG? That is definitely true of FRAG
> > > without LITE (and IMHO a good reason not to use FRAG
> > > without LITE).
> > >
> > LITE+FRAG is the obvious case that leads to ambiguity on how a
> > reciever processes a packet.
>
> OK, you are fixated on the empty datagram case. A legacy receiver sees
> a sequence of empty datagrams; a receiver that implements LITE+FRAG
> will see a single reassembled datagram. Agreed that it's an open
> question whether the sequence of empty datagrams is harmless. If
> it is not, it is necessary to ensure that LITE+FRAG is not sent without
> prior negotiation or out-of-band arrangement. Oh, wait, the spec already
> says to do that.
>
The draft states:

"the LITE UDP option can safely provide that service only between
endpoints that negotiate that capability in advance".

That is not a normative requirement. Maybe this should read "Use of
UDP LITE option MUST be negotiated between endpoints before use". But
if negotiation is required and authoritative, then there should be no
legacy receivers of such negotiated options. However, a mechanism for
negotiation of UDP options has yet to be defined, it will be
interesting to see if that can be done in a robust way without bring
state into UDP.

Tom

> FRAG without LITE can of course create an ambiguity that is
> demonstrably harmful. A legacy receiver sees a sequence of
> non-empty datagrams that are acually fragments. Easy to come
> up with scenarios where those apparent datagrams will be
> misinterpreted. So be sure to pick on that case too; indeed,
> emphasize it; but again, if the spec is followed, naked fragments
> won't be sent to an unsuspecting receiver, either.
>
> --cmh