Datagrams and packets in invariants

Martin Thomson <mt@lowentropy.net> Tue, 26 May 2020 00:37 UTC

Return-Path: <mt@lowentropy.net>
X-Original-To: quic@ietfa.amsl.com
Delivered-To: quic@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id A2C443A07DD for <quic@ietfa.amsl.com>; Mon, 25 May 2020 17:37:09 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.098
X-Spam-Level:
X-Spam-Status: No, score=-2.098 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, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_PASS=-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=lowentropy.net header.b=PHHUTORg; dkim=pass (2048-bit key) header.d=messagingengine.com header.b=gm1z8IN+
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 8VscTtCOK4zW for <quic@ietfa.amsl.com>; Mon, 25 May 2020 17:37:08 -0700 (PDT)
Received: from out1-smtp.messagingengine.com (out1-smtp.messagingengine.com [66.111.4.25]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 1E9023A07DC for <quic@ietf.org>; Mon, 25 May 2020 17:37:08 -0700 (PDT)
Received: from compute2.internal (compute2.nyi.internal [10.202.2.42]) by mailout.nyi.internal (Postfix) with ESMTP id BA29C5C008C for <quic@ietf.org>; Mon, 25 May 2020 20:37:06 -0400 (EDT)
Received: from imap2 ([10.202.2.52]) by compute2.internal (MEProxy); Mon, 25 May 2020 20:37:06 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lowentropy.net; h=mime-version:message-id:date:from:to:subject:content-type; s= fm2; bh=mNVYdXBx1k3WiUFLiPskYlj9tBMI0m6quiy2m7RAhHo=; b=PHHUTORg 35KnDE96F0IfhvcejTxdrjxg4m/RRGIYvxpQwytkckWaAdGDu7Rew07ASae3/2ND U9iO+q6unqnbJzPddvvrtu5YFCxsEIefvgyRo1pxpVKzCSNXmupqnpQGNQIO6AAZ ckHi/eViqlGWEmdjbbRqINnsXL5KUm9Oh7tvH0dsNHQB1VzeQUlkZQ8A0wecmnUj j+a89dWFd429WRs+UxYYXcoMWm5tLdwrpL5bhTQ8O2nzCE9AYkpimgbFzszrSI73 mn7Tg0PdcKZA0biHXKB6B1yqH1diTuEtLETvmVrwXFdLAacnCnj2CgBjpbB3xYY1 XWa/J74d0ZuZbQ==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-type:date:from:message-id :mime-version:subject:to:x-me-proxy:x-me-proxy:x-me-sender :x-me-sender:x-sasl-enc; s=fm2; bh=mNVYdXBx1k3WiUFLiPskYlj9tBMI0 m6quiy2m7RAhHo=; b=gm1z8IN+CHI6b6JxUkpuYFt3sO8gXy4/cVl7z40YbiFpN sLn994Ap+kWSa77k/bJ2CSP7b6Dmzn9ZJHxE0PhAROli8FiOK8TF/+xRevzorHo+ O83RitX4WumsPGJFhBq7EU5iuL8Jd45MVJ3BLo6b3lQNqgOMLMlkdXO1A8IKuAG0 BtlDrcZ9euAsqfCdk202Z8o4oXWKgpVeGyMpx4i+W1Nha823LoYO3tXgo8ubOixt y4U6GRmVqcZ5J7c2fycnkDEua5+DJ4RiuTPSEZ5Jg6TKG/HmFUhmOkp2A8PCuDpU p6ZCflklCLKiNpjMmPPfVbkADQqdIAQzlzkWPIq+w==
X-ME-Sender: <xms:smTMXvkvcrNYdCQ8DAfch52Ce5nB7ZYNJVWcUbaXZy8348WzxLY7vA>
X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduhedruddvuddgfeegucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucenucfjughrpefofgggkfffhffvufgtsehttdertd erredtnecuhfhrohhmpedfofgrrhhtihhnucfvhhhomhhsohhnfdcuoehmtheslhhofigv nhhtrhhophihrdhnvghtqeenucggtffrrghtthgvrhhnpeegueehueejvdeiveffhedvke egffekgffgtdetleefkeeffedtjefhtdduvddutdenucffohhmrghinhepghhithhhuhgs rdgtohhmnecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehmrghilhhfrhhomh epmhhtsehlohifvghnthhrohhphidrnhgvth
X-ME-Proxy: <xmx:smTMXi0_Om536_Cd7Tv5TveQcE0M4g5ymDVHrvMcGcx9uoQy0QXXzA> <xmx:smTMXlqsa34cnVaOw3KmvZMwMbPFt7nfQK9g8uj1x6q0gfWDLM6zYg> <xmx:smTMXnmqjMTUBPjrwlSyxFpLIjU77lIF201LjoOCVlN0fVZWcWD--w> <xmx:smTMXs3jktdTG3F62Pww5YkY6iQdWdS6UN7qar-JQbpXC7u9WrFqcA>
Received: by mailuser.nyi.internal (Postfix, from userid 501) id 6ED82E00B0; Mon, 25 May 2020 20:37:06 -0400 (EDT)
X-Mailer: MessagingEngine.com Webmail Interface
User-Agent: Cyrus-JMAP/3.3.0-dev0-488-g9249dd4-fm-20200522.001-g9249dd48
Mime-Version: 1.0
Message-Id: <7d654e16-e5f4-42aa-90bd-48109302ea71@www.fastmail.com>
Date: Tue, 26 May 2020 10:36:48 +1000
From: "Martin Thomson" <mt@lowentropy.net>
To: quic@ietf.org
Subject: Datagrams and packets in invariants
Content-Type: text/plain
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic/gtpe5En_8CteYuc7Cz77_Uwlrx8>
X-BeenThere: quic@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Main mailing list of the IETF QUIC working group <quic.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/quic>, <mailto:quic-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/quic/>
List-Post: <mailto:quic@ietf.org>
List-Help: <mailto:quic-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/quic>, <mailto:quic-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 26 May 2020 00:37:10 -0000

In https://github.com/quicwg/base-drafts/pull/3684 I am proposing language that is a little more careful about the distinction between packets and datagrams.

Previously the text said:

> A QUIC packet is the content of the UDP datagrams exchanged by QUIC endpoints. This document describes the contents of those datagrams.

What I have proposed is instead:

> QUIC endpoints exchange UDP datagrams that contain one or more QUIC packets. This section describes the invariant characteristics of a QUIC packet.  A version of QUIC could permit multiple QUIC packets in a single UDP datagram, but the invariant properties only describe the first packet in a datagram.

It was suggested that this changes the promise made in the invariants.  The point was to better align with what we are actually doing in version 1.  And to make clear the cardinality rules between datagrams and packets, which were previously unspecified.

Does anyone find the new language objectionable or incorrect?