Re: Versions numbers in invariants
Ian Swett <ianswett@google.com> Mon, 13 July 2020 21:51 UTC
Return-Path: <ianswett@google.com>
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 F28B53A0C92 for <quic@ietfa.amsl.com>; Mon, 13 Jul 2020 14:51:11 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -17.599
X-Spam-Level:
X-Spam-Status: No, score=-17.599 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIMWL_WL_MED=-0.001, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, ENV_AND_HDR_SPF_MATCH=-0.5, HTML_MESSAGE=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001, USER_IN_DEF_DKIM_WL=-7.5, USER_IN_DEF_SPF_WL=-7.5] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=google.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 iLkBEj3MoBgV for <quic@ietfa.amsl.com>; Mon, 13 Jul 2020 14:51:10 -0700 (PDT)
Received: from mail-yb1-xb33.google.com (mail-yb1-xb33.google.com [IPv6:2607:f8b0:4864:20::b33]) (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 F30193A0CBE for <quic@ietf.org>; Mon, 13 Jul 2020 14:50:56 -0700 (PDT)
Received: by mail-yb1-xb33.google.com with SMTP id x138so5602639ybg.9 for <quic@ietf.org>; Mon, 13 Jul 2020 14:50:56 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=VMjJYqfUjUXZNhE9VLGXlKyGeaLqyOWkso5/WEmU7W8=; b=pqEt4BkVnElkWfEYgmyYa/heet1ahJcXDknnNfYQj7n0aggsLj8/1kjMRSmjdgfdUE kh85FU5bL5WHPVBdsK3rkLpG1MNz5D7nRIRvyr80JGTLxqg371pi/Zc7zQvljVga+REW oXpZAhaO0aRmO3qFCVRA7CR401UHH43V16p/xD7wZIxIvZNMxP/GTeVa0mKzuzLy9RAS IyUrt+B7C+yR5t4T0voMbOxoqwb1GNl42aaTyDfuQ/oz5bipqDkQs5oKKJRjcJlwASHI lqEf83M6Yrfy7kksUWk+iUDwogxbMaVFfVE3OPFOXbhZja3rVXkolXXdIWVzXM3UiHso vnMQ==
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=VMjJYqfUjUXZNhE9VLGXlKyGeaLqyOWkso5/WEmU7W8=; b=W18CKA4RD9Bw9b1E2k5bdCvUDcNv3zsM1B/T8cHqEXDnyULuzbflmuhZt/BS7BvpSg P3/3njYpYoP4SkkKKfKFe678V4sROJBr/4q66SnNk/bpQMj/uohtJw5j7pEydv4d3taP E2+Ra4WYeOvLH+KQoFes3CyooXgDitBDQxoRYtjNcYTkVb+wYUFNw+vIXPd+2psj2NRn YDRVtX2IHAtsNNvAJT2GDWEsm6XYPcnd+YEOMQ6qb0SOtqOMaHBO37+WhBRkLvOMqXIc 4tNruNIj17Bq1LXrKJuLug8kGKG51Xpp1CV3zhtVS+9IAYJ+0QZKeok5ipNR11Ub8oxN YElw==
X-Gm-Message-State: AOAM533DLw5v5Cg0W5uvHfipGml/2zaRWPYh2uI4E0j3RpAF2rwZ7fDf SLWqS/+yIoRcA2RLMzuJSIkPSgDDtBwcCviq73MteTS1
X-Google-Smtp-Source: ABdhPJwXPP1eIhVuN2PxQXKXEKQe340Ey1gSq8rox0Xo5H5kC94K0JW7U3HtWJn23kuYX6IYsF6H5ULsJH1EctIemns=
X-Received: by 2002:a25:ba8c:: with SMTP id s12mr3198334ybg.278.1594677055798; Mon, 13 Jul 2020 14:50:55 -0700 (PDT)
MIME-Version: 1.0
References: <7b0c8566-46eb-490a-8b93-3fe7eb3e9ee4@www.fastmail.com>
In-Reply-To: <7b0c8566-46eb-490a-8b93-3fe7eb3e9ee4@www.fastmail.com>
From: Ian Swett <ianswett@google.com>
Date: Mon, 13 Jul 2020 17:50:44 -0400
Message-ID: <CAKcm_gNNK0tPFsfa2JnnPTyZ8pK9Pc2mPxzeoKFxdwS9Grb8RQ@mail.gmail.com>
Subject: Re: Versions numbers in invariants
To: Martin Thomson <mt@lowentropy.net>
Cc: IETF QUIC WG <quic@ietf.org>
Content-Type: multipart/alternative; boundary="00000000000071c2ba05aa59afdd"
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic/PCu1rCz8W_ldMpv01jKJzz5jfSo>
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: Mon, 13 Jul 2020 21:51:12 -0000
SGTM. On Tue, Jun 30, 2020 at 10:33 PM Martin Thomson <mt@lowentropy.net> wrote: > In my review of QUIC Invariants, I think that I found a promise we might > not want to keep: > > > QUIC versions are identified with a 32-bit integer, encoded in network > byte order. > > Implicit in this is that a packet containing version X is necessarily QUIC > version X. That's already not-true in some proposals. > > I think that this would be better defined as a field for use by endpoints: > > > The Version field contains a 32-bit integer, encoded in network byte > order. > > This value can be used by endpoints to identify a QUIC Version. > > This is an almost-cosmetic change, but it is a substantive change. The > intent is to wind back this promise and allow for the sorts of mappings > contemplated by the version aliasing proposal. > > https://github.com/quicwg/base-drafts/issues/3808 is the issue, with some > more details. > https://github.com/quicwg/base-drafts/issues/3785 contains the proposed > change. > >
- Versions numbers in invariants Martin Thomson
- Re: Versions numbers in invariants Ian Swett