RE: Datagrams and packets in invariants
Mike Bishop <mbishop@evequefou.be> Thu, 28 May 2020 18:35 UTC
Return-Path: <mbishop@evequefou.be>
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 DB3553A0788 for <quic@ietfa.amsl.com>; Thu, 28 May 2020 11:35:04 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.9
X-Spam-Level:
X-Spam-Status: No, score=-1.9 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, HTML_MESSAGE=0.001, RCVD_IN_MSPIKE_H2=-0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=unavailable autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=evequefou.onmicrosoft.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 KvKB0boVwiLt for <quic@ietfa.amsl.com>; Thu, 28 May 2020 11:35:01 -0700 (PDT)
Received: from NAM12-DM6-obe.outbound.protection.outlook.com (mail-dm6nam12on2139.outbound.protection.outlook.com [40.107.243.139]) (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 A90513A0765 for <quic@ietf.org>; Thu, 28 May 2020 11:35:00 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=k/wN18UP1WC3YDXRzR+84ccZjxiGDlWfGu4hHpo5zsKSfMsLyE9lbLhnvXWjHWUfy3I/t7XEvRNJpg64IynPJ53vItFr/5X3ba3XV6pgchcTf4ITAX6YkO5Dj431VRxccEZZuokHBqdwUd4RCOA2+1qWLOu9DlqQQt3mJF0LjV2VXEAVGeFcPQbneu2UW5qtYnQOkX5+fIsGen6XUl1i8P106ZoycB+RalWc0RKSuRq9nr+H8/jKEwUy/TPkWUiX2CieGHZ9xWsv7Gf4WhSHlLbwCGdbHf1jOlFS8Gdr7Fvcc1FuZ1Ma3966iFbmKCM7yXZsalcBl/93/BJs84IVrw==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=x7vyMw0uFUmFMYCQi+kMvbenG0F440HD/t/UL4miwKg=; b=MrvtWgCYVPoxAdWAdDwewKgdrFo4Bfy6+hdliL3JnattMbkcU2rLUA+plAOv0JZmy/acgrlzK7ZvNJvOA1x05lkU1c5gvJlSWKt3WwrPA9NeOHzAOWA4EJ0MGsbapZ2Zzv5wanT2SJ9ExVhK7ABfqUaNzFVYA55pQQXXhwBirIb8GN+0Tov78jMBaeo+dtW5tTCuLDjQzxgUlI9Azjv3K8TIZUC3jVYdePCFWJue1hBfLI+ylhQ2W+afrrdzhWYaeCfRIHmiwSwUsJldnXy3AjnS9WixImW9BoPHAe905olL+NNRh8qS75LvJHdubzcKjA7xNKNfEdVoBkaGmy5OGw==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=evequefou.be; dmarc=pass action=none header.from=evequefou.be; dkim=pass header.d=evequefou.be; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=evequefou.onmicrosoft.com; s=selector2-evequefou-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=x7vyMw0uFUmFMYCQi+kMvbenG0F440HD/t/UL4miwKg=; b=ANYehk70wKEcovNXbEDLp2hdD8Fun1ulMDJYAl3mUoPAdNIfVqNtP5afk63qSG7lN3vaj5pIoJuoHHDuxH9uqX9MdQUJQxBjBxp5vFAdcEkG9AhWsiOyrSJdMdDD3IxPxS1gsIpQbqcgbHIqbz13plQO0Jheni5ltxHRtN0PVv0=
Received: from CH2PR22MB2086.namprd22.prod.outlook.com (2603:10b6:610:8c::8) by CH2PR22MB2039.namprd22.prod.outlook.com (2603:10b6:610:5e::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3045.19; Thu, 28 May 2020 18:34:58 +0000
Received: from CH2PR22MB2086.namprd22.prod.outlook.com ([fe80::5d05:3b25:6510:2a3d]) by CH2PR22MB2086.namprd22.prod.outlook.com ([fe80::5d05:3b25:6510:2a3d%3]) with mapi id 15.20.3045.018; Thu, 28 May 2020 18:34:58 +0000
From: Mike Bishop <mbishop@evequefou.be>
To: "Lubashev, Igor" <ilubashe=40akamai.com@dmarc.ietf.org>, "quic@ietf.org" <quic@ietf.org>, Martin Thomson <mt@lowentropy.net>
Subject: RE: Datagrams and packets in invariants
Thread-Topic: Datagrams and packets in invariants
Thread-Index: AQHWMvXYupyC3ydlPEKCxC/sPjGSYqi5nXcAgAQ5v3A=
Date: Thu, 28 May 2020 18:34:58 +0000
Message-ID: <CH2PR22MB20865409ECC0F01FF96A2887DA8E0@CH2PR22MB2086.namprd22.prod.outlook.com>
References: <7d654e16-e5f4-42aa-90bd-48109302ea71@www.fastmail.com> <1b65d93f-1a5d-4a7c-a446-7a368fd8edaa@akamai.com>
In-Reply-To: <1b65d93f-1a5d-4a7c-a446-7a368fd8edaa@akamai.com>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
authentication-results: dmarc.ietf.org; dkim=none (message not signed) header.d=none;dmarc.ietf.org; dmarc=none action=none header.from=evequefou.be;
x-originating-ip: [2600:2b00:9309:6a01:853f:765d:9d7b:722a]
x-ms-publictraffictype: Email
x-ms-office365-filtering-correlation-id: fd1f028f-4b15-4c2c-9462-08d80335d355
x-ms-traffictypediagnostic: CH2PR22MB2039:
x-microsoft-antispam-prvs: <CH2PR22MB20391D38689889811F388C9BDA8E0@CH2PR22MB2039.namprd22.prod.outlook.com>
x-ms-oob-tlc-oobclassifiers: OLM:8273;
x-forefront-prvs: 0417A3FFD2
x-ms-exchange-senderadcheck: 1
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info: boygWZepSnJTrk72H6/SnuUy+qnuQ3kEqIdLEw6XS/Pz4cKT3i5Gf9ul6/tiUXgACTbwb7bxyLZ30mc6IHSNRD/jBFzN6vCALDxTJOm2IzG3+P8rRq/807z0QY7ZKnISGBCLpT9j9rrztBB9vEqoq0TsIDQ6ZBfxO/7OjuVRCQdNpV0OcLeCmzpJM8RXzU5Yv4DZqgeKAEK51nihuuBvRwhKJLpCPVioh1tvjt5ANH9altxs4xiqQvaoE1ZlYZM/KxlejM1PRto9lRHZBpW+fBtyQuZXoLXiMYxvW3T/ngu7t600qpAdnv1o8Beu7B9y1fn8zWtovpi3wFZLTCg52tYC+Zb/ramC4QbG7SIjjO4cLL5QOWzUqJg0S+GUisUz8gTOeZ/EfXL5MmkmTTZdbA==
x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:CH2PR22MB2086.namprd22.prod.outlook.com; PTR:; CAT:NONE; SFTY:; SFS:(136003)(366004)(376002)(346002)(39830400003)(396003)(186003)(166002)(5660300002)(508600001)(86362001)(966005)(110136005)(8676002)(6506007)(53546011)(7696005)(316002)(33656002)(76116006)(8936002)(66946007)(64756008)(55016002)(66476007)(71200400001)(9686003)(66556008)(66446008)(2906002)(52536014); DIR:OUT; SFP:1102;
x-ms-exchange-antispam-messagedata: Buri5nnzB3C3IUiKPi/WCbGw9tHYvYiUwDknb3VEP+AlAM3BRedV+0zOoUrt8+0S1SxS/0Ti6ng6e/z8bGMapZCud+mUOOeMC4/wBqGos1Ezb6LTnSqPTHxEmx5OZzZ6rOsSkaouzXzaj8eAUbQfGTIHgQjtcF0YEMqKEnN2zwh1sgL9c26x6WnstM4Gh3/J7g4g2B1UlCA+8PKyX8ju5cZiCpG8Y2AdCfIn/H6R1aVW2oef25x+HSoIQwbD6ltoY7xnLY32IR3a4it5VaEeUYeqeoSAz3pkcS+5/gAP6S8PxxwsPAgieLnX84Xt8RVLTYHOjP7zBGSolM7tcLsBc+sRdQsmz4sT6wOEDYbstlQz065GLzglS/ttIHCUwV8hDeZmWc85HhoOfVT0wzJS1r7t+gmno/hVJsn2k1LV6W/uShL0Kll+gOspOZ77sPGP0H0dr5sHGjhUOKJ4wbSspiexWzyXQm2+D8c1CdZZQd+TdNW+kSgsGsDPQoRluWPKwusrBedd5BUVFekPL9z1li7HtclajTYHt3VubxU9ffs=
x-ms-exchange-transport-forked: True
Content-Type: multipart/alternative; boundary="_000_CH2PR22MB20865409ECC0F01FF96A2887DA8E0CH2PR22MB2086namp_"
MIME-Version: 1.0
X-OriginatorOrg: evequefou.be
X-MS-Exchange-CrossTenant-Network-Message-Id: fd1f028f-4b15-4c2c-9462-08d80335d355
X-MS-Exchange-CrossTenant-originalarrivaltime: 28 May 2020 18:34:58.5630 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: 41eaf50b-882d-47eb-8c4c-0b5b76a9da8f
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: Ex56hdNwlrP1+wSpIxhsXA8ZtpCRuWI+D2NEqrBZlcMSYOmfTiJVm9NVIbAhsTWL5ePjeLP50snM4W4SyoRMXw==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: CH2PR22MB2039
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic/42-ZVVm_bF1o4QCmT3Q1dJWFXyM>
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: Thu, 28 May 2020 18:35:05 -0000
+1 - there's no way to identify the other packets, and thus no way to describe them. Clearer text for the same outcome is a win in my book. From: QUIC <quic-bounces@ietf.org> On Behalf Of Lubashev, Igor Sent: Monday, May 25, 2020 10:02 PM To: quic@ietf.org; Martin Thomson <mt@lowentropy.net> Subject: Datagrams and packets in invariants Since packet length is not a part of the Invariants, there is no way to locate a coalesced packet in a version-independent way. So any promises about the format of such coalesced packets are moot. Both the new text and the old text specify equally little, but the new text is just a bit more explicit and clear. - Igor On May 25, 2020 8:37 PM, Martin Thomson <mt@lowentropy.net<mailto:mt@lowentropy.net>> wrote: In https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_quicwg_base-2Ddrafts_pull_3684&d=DwIBAg&c=96ZbZZcaMF4w0F4jpN6LZg&r=Djn3bQ5uNJDPM_2skfL3rW1tzcIxyjUZdn_m55KPmlo&m=2htiCUbu6d9s1os71kPSMJ9LBmdCsOMfovsl5piIry4&s=CqkKn4IY7-Gk6Qg4qcTccrb7wJzhQgaE6YfSwGIUfwM&e= 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?
- Datagrams and packets in invariants Martin Thomson
- Datagrams and packets in invariants Lubashev, Igor
- RE: Datagrams and packets in invariants Mike Bishop