Re: Call for Adoption: Invariants

Eric Kinnear <ekinnear@apple.com> Mon, 05 February 2018 23:04 UTC

Return-Path: <ekinnear@apple.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 1ABBC124BAC for <quic@ietfa.amsl.com>; Mon, 5 Feb 2018 15:04:29 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.321
X-Spam-Level:
X-Spam-Status: No, score=-2.321 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HTML_MESSAGE=0.001, HTTPS_HTTP_MISMATCH=1.989, RCVD_IN_DNSWL_MED=-2.3, SPF_PASS=-0.001, T_RP_MATCHES_RCVD=-0.01] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=apple.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 9dn2Y-FWqijD for <quic@ietfa.amsl.com>; Mon, 5 Feb 2018 15:04:26 -0800 (PST)
Received: from mail-in4.apple.com (mail-out4.apple.com [17.151.62.26]) (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 654B112025C for <quic@ietf.org>; Mon, 5 Feb 2018 15:04:26 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; d=apple.com; s=mailout2048s; c=relaxed/simple; q=dns/txt; i=@apple.com; t=1517871866; x=2381785466; h=From:Sender:Reply-To:Subject:Date:Message-id:To:Cc:MIME-version:Content-type: Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date:Resent-From: Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:In-reply-to:References:List-Id: List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=RoQ+5fk/apblGjhJHOgJyBJaT8qp3Wf1cnU4ac9mytc=; b=rSS3LF9+RVThikB9B08WCXcc8BSFyQrl1ga5S8Dn2YZXaysLee5s4Zs/58tljENM UYfu3NxVmV3Nmj7Yo5ZkGj1xfDZpxNJwaVH/7SmHu3LicHefLw6gy3+M3gCRFNMf ILqRzNEs1Fm42bogz2bWDdS7QFndeMJjxpIskEVxVRSE7T12JVle0xGslWjIJelC PKVvxoHZKLnSfXV9t788n55pv64k90CaGYYJMN+JXZUFvsoh516dTJJG0KvO2MDw nZDnGjYWVJaY4wRB5Wad0/lW1nw+GuShikirY2Re9uWvxvkudQoY3UH7CMdxOSN8 gLSFu0vxmQpyzKHpS3HDrw==;
Received: from relay4.apple.com (relay4.apple.com [17.128.113.87]) (using TLS with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mail-in4.apple.com (Apple Secure Mail Relay) with SMTP id FB.AD.10621.AF2E87A5; Mon, 5 Feb 2018 15:04:26 -0800 (PST)
X-AuditID: 11973e12-77bff7000000297d-a0-5a78e2fa0d15
Received: from nwk-mmpp-sz12.apple.com (nwk-mmpp-sz12.apple.com [17.128.115.204]) by relay4.apple.com (Apple SCV relay) with SMTP id 6D.71.11536.9F2E87A5; Mon, 5 Feb 2018 15:04:25 -0800 (PST)
MIME-version: 1.0
Content-type: multipart/alternative; boundary="Boundary_(ID_r85CZaHkWwlmJryzE1593w)"
Received: from ekinnear.apple.com ([17.226.40.239]) by nwk-mmpp-sz12.apple.com (Oracle Communications Messaging Server 8.0.2.2.20180122 64bit (built Jan 22 2018)) with ESMTPSA id <0P3P008FK9FDHVB0@nwk-mmpp-sz12.apple.com>; Mon, 05 Feb 2018 15:04:25 -0800 (PST)
Sender: ekinnear@apple.com
From: Eric Kinnear <ekinnear@apple.com>
Message-id: <3954C408-BAC6-4534-B417-39399C5A3C30@apple.com>
Subject: Re: Call for Adoption: Invariants
Date: Mon, 05 Feb 2018 15:04:25 -0800
In-reply-to: <CY4PR21MB013319562763F0DADC138466B6FE0@CY4PR21MB0133.namprd21.prod.outlook.com>
Cc: "Lubashev, Igor" <ilubashe@akamai.com>, Jana Iyengar <jri@google.com>, Mikkel Fahnøe Jørgensen <mikkelfj@gmail.com>, "Brian Trammell (IETF)" <ietf@trammell.ch>, Mark Nottingham <mnot@mnot.net>, QUIC WG <quic@ietf.org>, Mike Bishop <mbishop@evequefou.be>, Lars Eggert <lars@eggert.org>
To: Praveen Balasubramanian <pravb@microsoft.com>
References: <C35C3AB6-F0FC-4D83-9C97-DD0B605A863F@mnot.net> <DB6PR10MB17667AAB19D4A9288FD5BAF3ACFE0@DB6PR10MB1766.EURPRD10.PROD.OUTLOOK.COM> <FDFA0988-1FB4-4AFC-8958-1A6B16068FE5@trammell.ch> <MWHPR08MB2432F1CB1FBAFACD611D3913DAFE0@MWHPR08MB2432.namprd08.prod.outlook.com> <DB6PR10MB176682C4EC84D225E08C5A6BACFE0@DB6PR10MB1766.EURPRD10.PROD.OUTLOOK.COM> <CAGD1bZZ=QB8Jf2aQQ+M1Hg58rJ7ewSPgwOVAU+_k1pLhRMu5fw@mail.gmail.com> <869dbe08975540c98d0984c01f5942dc@usma1ex-dag1mb5.msg.corp.akamai.com> <CY4PR21MB013319562763F0DADC138466B6FE0@CY4PR21MB0133.namprd21.prod.outlook.com>
X-Mailer: Apple Mail (2.3445.5.20)
X-Brightmail-Tracker: H4sIAAAAAAAAA+NgFprFIsWRmVeSWpSXmKPExsUi2FAYrvvrUUWUwcLHLBYbW96xWTQ1rGC2 mHR0IYvF6yPd7Ba/nnexWyz+vo/ZYv2nx4wWr3uARM8CbgdOj8lHFjB7TG47zepx/vgGVo+d s+6yeyzYVOqxZMlPJo/WHX/ZPTYu/s7q8WT/TJYAzigum5TUnMyy1CJ9uwSujEn9f9gK1i5l rNjxZCdLA2PbZMYuRk4OCQETiSvfprF0MXJxCAmsZpK4eG4jO0zi7pQp7BCJQ4wS9x4sYwZJ 8AoISvyYfA+og4ODWSBMYsYBF4iaLiaJrjknwaYKC0hJnN54gQnEZhNQl/jzcC07RK+NxJyH vSwQNVoS33ousYHYLAKqEgeuPgGr4RSIl3j9cjLYRcwC+5gkpl3eCVYkImAocWX3TDaIbWdY JE4d6GCFOFVJYvr322AJCYFz7BJLzq9lmsAoNAvJtbMQroUw1SWmTMkFqWAW0JZ48u4CK4St JrHw9yImZPEFjGyrGIVyEzNzdDPzTPQSCwpyUvWS83M3MYIic7qd0A7GU6usDjEKcDAq8fAK ZFRECbEmlhVX5h5ilOZgURLnPfEQKCSQnliSmp2aWpBaFF9UmpNafIiRiYNTqoFx5WcBprV+ fJJ9Rq3PBV3Clcxn3+67e0R2/Y0/67vkXOWXiKu87b6e+3rd9voVf1fcuq9kzinMqBVrZXxy Rrju+RtH3zqutvhQGjnjaeHPvhl/Jp8zY9unnnxMOOHzuhKeQlaGL05dW9Sqv4oFFdR/XV9a 0ewRESrcyGaXxqGi+nSR6m2lFWeVWIozEg21mIuKEwEV1Hu2rQIAAA==
X-Brightmail-Tracker: H4sIAAAAAAAAA+NgFnrKIsWRmVeSWpSXmKPExsUi2FB8Rvfno4oogzsfrCw2trxjs2hqWMFs MenoQhaL10e62S1+Pe9it1j8fR+zxfpPjxktXvcAiZ4F3A6cHpOPLGD2mNx2mtXj/PENrB47 Z91l91iwqdRjyZKfTB6tO/6ye2xc/J3V48n+mSwBnFGGNmn5ReWJRSkKRckFJbZKxRmJKfnl 8ZbGRqYOiQUFOal6yfm5Svp2NimpOZllqUX6dgmGGZP6/7AVrF3KWLHjyU6WBsa2yYxdjJwc EgImEnenTGHvYuTiEBI4xChx78EyZpAEr4CgxI/J91i6GDk4mAXCJGYccIGo6WKS6JpzEqxZ WEBK4vTGC0wgNpuAusSfh2vZIXptJOY87GWBqNGS+NZziQ3EZhFQlThw9QlYDadAvMTrl5NZ QIYyC+xjkph2eSdYkYiAocSV3TPZILadYZE4daCDFeJUJYnp32+zTWDkn4XkwFkIB0KY6hJT puSCVDALaEs8eXeBFcJWk1j4exETsvgCRrZVjAJFqTmJlSZ68HDbxAiOy8LwHYz/llkdYhTg YFTi4RXIqIgSYk0sK67MBQYSB7OSCK/T9fIoId6UxMqq1KL8+KLSnNTiQ4w+QE9OZJYSTc4H poy8knhDYwtjSxMLAwMTSzMTHMJK4rxHlIqihATSE0tSs1NTC1KLYMYxcXBKNTDK3jp52eGS zcWeamPj/3fnqHEf9kxfXZGVvFfRpfP1jptG0dPLNMs5QpZsyGW99FeL9/Gl3m6VPW35elxS 3dM1T2/l6ChriSwKuph1wCjv20kmn9BGfua1V7Lk5U5650SylKe9vrbXaU/B4hpnt+kr8jXD PG++O2F7ZpVYrsjxDfOzo5ed/q7EAkxhhlrMRcWJAPDB9er4AgAA
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic/tUwXHx0NXWGQscAJFw46l3DIxfo>
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 23:04:29 -0000

+1 for adoption. 

Thanks,
Eric


> On Feb 5, 2018, at 1:05 PM, Praveen Balasubramanian <pravb@microsoft.com> wrote:
> 
> +1 for adoption
>  
> From: QUIC [mailto:quic-bounces@ietf.org] On Behalf Of Lubashev, Igor
> Sent: Monday, February 5, 2018 12:45 PM
> To: Jana Iyengar <jri@google.com>; Mikkel Fahnøe Jørgensen <mikkelfj@gmail.com>
> Cc: Brian Trammell (IETF) <ietf@trammell.ch>; Mark Nottingham <mnot@mnot.net>; QUIC WG <quic@ietf.org>; Mike Bishop <mbishop@evequefou.be>; Lars Eggert <lars@eggert.org>
> Subject: RE: Call for Adoption: Invariants
>  
> +1 for the adoption.
>  
> The adoption does not mean that the draft will be published exactly like it is right now.  But, as Jana said, I really hope we can settle this one before we settle v1 drafts.
>  
> From: Jana Iyengar [mailto:jri@google.com <mailto:jri@google.com>] 
> Sent: Monday, February 05, 2018 3:16 PM
> To: Mikkel Fahnøe Jørgensen <mikkelfj@gmail.com <mailto:mikkelfj@gmail.com>>
> Cc: Brian Trammell (IETF) <ietf@trammell.ch <mailto:ietf@trammell.ch>>; Mark Nottingham <mnot@mnot.net <mailto:mnot@mnot.net>>; QUIC WG <quic@ietf.org <mailto:quic@ietf.org>>; Mike Bishop <mbishop@evequefou.be <mailto:mbishop@evequefou.be>>; Lars Eggert <lars@eggert.org <mailto:lars@eggert.org>>
> Subject: Re: Call for Adoption: Invariants
>  
> +1 for adoption.
>  
> As Ian pointed out, once published, any changes to the invariants will be a significant uphill task for active deployments. That's the entire point of having these invariants. I would very much like to publish the invariants ahead of the rest of the documents, so that active deployment of IETF-QUIC can start, but that's a matter for a different thread, not this one.
>  
> On Mon, Feb 5, 2018 at 11:05 AM, Mikkel Fahnøe Jørgensen <mikkelfj@gmail.com <mailto:mikkelfj@gmail.com>> wrote:
> It could be called QUID ...
>  
> From: Mike Bishop <mbishop@evequefou.be <mailto:mbishop@evequefou.be>>
> Sent: Monday, February 5, 2018 8:00:53 PM
> To: Brian Trammell (IETF); Mikkel Fahnøe Jørgensen
> Cc: Lars Eggert; Mark Nottingham; QUIC WG
> Subject: RE: Call for Adoption: Invariants
>  
> I support adoption.  The way to change the invariants will be to mint a new protocol, and not claim that your new protocol is a version of QUIC.  If it happens to be startlingly similar, all well and good.
> 
> -----Original Message-----
> From: QUIC [mailto:quic-bounces@ietf.org <mailto:quic-bounces@ietf.org>] On Behalf Of Brian Trammell (IETF)
> Sent: Monday, February 5, 2018 12:34 AM
> To: Mikkel Fahnøe Jørgensen <mikkelfj@gmail.com <mailto:mikkelfj@gmail.com>>
> Cc: Lars Eggert <lars@eggert.org <mailto:lars@eggert.org>>; Mark Nottingham <mnot@mnot.net <mailto:mnot@mnot.net>>; QUIC WG <quic@ietf.org <mailto:quic@ietf.org>>
> Subject: Re: Call for Adoption: Invariants
> 
> Hi, all,
> 
> I support adoption of the invariants draft.
> 
> > On 5 Feb 2018, at 08:51, Mikkel Fahnøe Jørgensen <mikkelfj@gmail.com <mailto: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 <mailto:quic-bounces@ietf.org>> on behalf of Mark Nottingham <mnot@mnot.net <mailto: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 <https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Furldefense.proofpoint.com%2Fv2%2Furl%3Fu%3Dhttps-3A__tools.ietf.org_html_draft-2Dthomson-2Dquic-2Dinvariants-2D00%26d%3DDwMFaQ%26c%3D96ZbZZcaMF4w0F4jpN6LZg%26r%3DDjn3bQ5uNJDPM_2skfL3rW1tzcIxyjUZdn_m55KPmlo%26m%3DKX7z_74_SmfCNCCfwbvGUrj14akhnYWFa_jYUsJ9b4s%26s%3DbwNKnbE0d5ngNnELVEa6-RApXxOsA3r9ZZJ9OF448lk%26e%3D&data=02%7C01%7Cpravb%40microsoft.com%7Ce96f6ed5ccf8441255f808d56cd961b8%7Cee3303d7fb734b0c8589bcd847f1c277%7C1%7C0%7C636534603270020761&sdata=u3ud%2BPLfNMYQAh3bb2aAWKFbDBQlYuX9xFDwIGJHtaw%3D&reserved=0>
> > 
> > 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/ <https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Furldefense.proofpoint.com%2Fv2%2Furl%3Fu%3Dhttps-3A__www.mnot.net_%26d%3DDwMFaQ%26c%3D96ZbZZcaMF4w0F4jpN6LZg%26r%3DDjn3bQ5uNJDPM_2skfL3rW1tzcIxyjUZdn_m55KPmlo%26m%3DKX7z_74_SmfCNCCfwbvGUrj14akhnYWFa_jYUsJ9b4s%26s%3DWabB1dQco52dWkhJg2dixu9nSahr_7BJChphDgHF-Cs%26e%3D&data=02%7C01%7Cpravb%40microsoft.com%7Ce96f6ed5ccf8441255f808d56cd961b8%7Cee3303d7fb734b0c8589bcd847f1c277%7C1%7C0%7C636534603270020761&sdata=atLCZwPjicaw%2BuHfeJg5facYPLAW7jK7cYWsbRIhRa0%3D&reserved=0>