Re: Call for Adoption: Invariants
"Brian Trammell (IETF)" <ietf@trammell.ch> Mon, 05 February 2018 08:33 UTC
Return-Path: <ietf@trammell.ch>
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 7A208129516 for <quic@ietfa.amsl.com>; Mon, 5 Feb 2018 00:33:39 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.6
X-Spam-Level:
X-Spam-Status: No, score=-2.6 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_LOW=-0.7] 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 ep3loHdLZAku for <quic@ietfa.amsl.com>; Mon, 5 Feb 2018 00:33:37 -0800 (PST)
Received: from gozo.iway.ch (gozo.iway.ch [212.25.24.36]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id DB81112946D for <quic@ietf.org>; Mon, 5 Feb 2018 00:33:35 -0800 (PST)
Received: from gozo.iway.ch (localhost [127.0.0.1]) by localhost (Postfix) with ESMTP id 1E3A2340D1D; Mon, 5 Feb 2018 09:33:33 +0100 (CET)
Received: from localhost (localhost [127.0.0.1]) by localhost (ACF/6597.5852); Mon, 5 Feb 2018 09:33:32 +0100 (CET)
Received: from switchplus-mail.ch (switchplus-mail.ch [212.25.8.236]) (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by gozo.iway.ch (Postfix) with ESMTPS; Mon, 5 Feb 2018 09:33:32 +0100 (CET)
Received: from nb-10604.ethz.ch (account ietf@trammell.ch [82.130.102.91] verified) by switchplus-mail.ch (CommuniGate Pro SMTP 6.1.18) with ESMTPSA id 44327363; Mon, 05 Feb 2018 09:33:32 +0100
From: "Brian Trammell (IETF)" <ietf@trammell.ch>
Message-Id: <FDFA0988-1FB4-4AFC-8958-1A6B16068FE5@trammell.ch>
Content-Type: multipart/signed; boundary="Apple-Mail=_6E6BE53F-4301-41AD-8AE3-B08ECE5967B5"; protocol="application/pgp-signature"; micalg="pgp-sha512"
Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\))
Subject: Re: Call for Adoption: Invariants
Date: Mon, 05 Feb 2018 09:33:33 +0100
In-Reply-To: <DB6PR10MB17667AAB19D4A9288FD5BAF3ACFE0@DB6PR10MB1766.EURPRD10.PROD.OUTLOOK.COM>
Cc: Mark Nottingham <mnot@mnot.net>, QUIC WG <quic@ietf.org>, Lars Eggert <lars@eggert.org>
To: Mikkel Fahnøe Jørgensen <mikkelfj@gmail.com>
References: <C35C3AB6-F0FC-4D83-9C97-DD0B605A863F@mnot.net> <DB6PR10MB17667AAB19D4A9288FD5BAF3ACFE0@DB6PR10MB1766.EURPRD10.PROD.OUTLOOK.COM>
X-Mailer: Apple Mail (2.3273)
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic/YeepQTnf04M_5xt4THwZF4it7Cg>
X-BeenThere: quic@ietf.org
X-Mailman-Version: 2.1.22
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, 05 Feb 2018 08:33:39 -0000
Hi, all, I support adoption of the invariants draft. > On 5 Feb 2018, at 08:51, Mikkel Fahnøe Jørgensen <mikkelfj@gmail.com> wrote: > > Only concern is when it takes effect since it likely needs adjustments. I'd presume that invariants is published simultaneously with the version 1 spec. > And perhaps a procedure to handle invariant changes since everything changes. Noted, though the point of declaring something an invariant is to say "the meaning of this part of the wire image, expressed as a bit offset, will never change". You can add constraints to the invariants, but if you think you might remove a constraint, then it's not an invariant by definition. Cheers, Brian > From: QUIC <quic-bounces@ietf.org> on behalf of Mark Nottingham <mnot@mnot.net> > Sent: Monday, February 5, 2018 7:07:45 AM > To: QUIC WG > Cc: Lars Eggert > Subject: Call for Adoption: Invariants > > At the Melbourne meeting, there was strong support for adopting Martin's invariants draft: > > https://tools.ietf.org/html/draft-thomson-quic-invariants-00 > > Any objections / concerns about doing so? Unless we hear otherwise, we'll adopt at the end of the week. > > Cheers, > > -- > Mark Nottingham https://www.mnot.net/
- Call for Adoption: Invariants Mark Nottingham
- Re: Call for Adoption: Invariants Mikkel Fahnøe Jørgensen
- Re: Call for Adoption: Invariants Brian Trammell (IETF)
- Re: Call for Adoption: Invariants Ian Swett
- Re: Call for Adoption: Invariants Christian Huitema
- RE: Call for Adoption: Invariants Mike Bishop
- Re: Call for Adoption: Invariants Roberto Peon
- Re: Call for Adoption: Invariants Mikkel Fahnøe Jørgensen
- Re: Call for Adoption: Invariants Jana Iyengar
- RE: Call for Adoption: Invariants Lubashev, Igor
- RE: Call for Adoption: Invariants Praveen Balasubramanian
- Re: Call for Adoption: Invariants Eric Kinnear
- Re: Call for Adoption: Invariants Spencer Dawkins at IETF
- Re: Call for Adoption: Invariants joel jaeggli
- RE: Call for Adoption: Invariants Mike Bishop
- Re: Call for Adoption: Invariants Ted Hardie
- RE: Call for Adoption: Invariants Mike Bishop
- Re: Call for Adoption: Invariants Jana Iyengar
- RE: Call for Adoption: Invariants Praveen Balasubramanian
- RE: Call for Adoption: Invariants Spencer Dawkins at IETF
- Re: Call for Adoption: Invariants Eggert, Lars