RE: Call for Adoption: Invariants
Praveen Balasubramanian <pravb@microsoft.com> Mon, 05 February 2018 21:05 UTC
Return-Path: <pravb@microsoft.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 E28F412D953 for <quic@ietfa.amsl.com>; Mon, 5 Feb 2018 13:05:30 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -0.012
X-Spam-Level:
X-Spam-Status: No, score=-0.012 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_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=microsoft.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 5VHxhqZ8bLus for <quic@ietfa.amsl.com>; Mon, 5 Feb 2018 13:05:27 -0800 (PST)
Received: from NAM02-SN1-obe.outbound.protection.outlook.com (mail-sn1nam02on0135.outbound.protection.outlook.com [104.47.36.135]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 39138128954 for <quic@ietf.org>; Mon, 5 Feb 2018 13:05:27 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version; bh=DA86FZtILMNtQqPCWzJU3dqPevmcZJDNWR4H6rdRqF0=; b=iqPjV6pyIY3eLT9Sq/KDtjlkaM1iK5/astRdPgrD/kpjDrRx4UxzMy6W+f+/nOaywtxvURii4HjkSfbmCITvq4LZTclOAZ2AWqSheEed/TawG9RcdKkJU+mgSvdAOK10NAHew9mfcy1SqKqg+lcPqW+ctXTD7t8Eo0kUcZ5AHmQ=
Received: from CY4PR21MB0133.namprd21.prod.outlook.com (10.173.189.15) by CY4PR21MB0838.namprd21.prod.outlook.com (10.173.192.139) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.506.1; Mon, 5 Feb 2018 21:05:25 +0000
Received: from CY4PR21MB0133.namprd21.prod.outlook.com ([10.173.189.15]) by CY4PR21MB0133.namprd21.prod.outlook.com ([10.173.189.15]) with mapi id 15.20.0485.000; Mon, 5 Feb 2018 21:05:25 +0000
From: Praveen Balasubramanian <pravb@microsoft.com>
To: "Lubashev, Igor" <ilubashe@akamai.com>, 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
Thread-Topic: Call for Adoption: Invariants
Thread-Index: AQHTnketpPPeU/jidk6aOHbvjAdkY6OVb7kAgAALu4CAAK9GgIAAAUEAgAATswCAAAgpgIAABZ8g
Date: Mon, 05 Feb 2018 21:05:24 +0000
Message-ID: <CY4PR21MB013319562763F0DADC138466B6FE0@CY4PR21MB0133.namprd21.prod.outlook.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>
In-Reply-To: <869dbe08975540c98d0984c01f5942dc@usma1ex-dag1mb5.msg.corp.akamai.com>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
x-originating-ip: [2001:4898:80e8:5::712]
x-ms-publictraffictype: Email
x-microsoft-exchange-diagnostics: 1; CY4PR21MB0838; 6:7xjJ3LxR3GDdPMDPttMjzQgiKldaonOMBSSb95/lVnF7pKHzUjO40mvguBCV5wMFcTcSjGrjsR4b2oajiG3BC1DxnXJKcFWrYuFSU6G7kdaqcWzAiHSIVJ3ZDglzzYt9nL7sHPsDFweT9ge+dlS0ufSQtTZSsJfac7pV/YxnBeBKC7QGUQJpyJVoqaKb4mnCRGGoeXaizm/J8InDmEsAoeY7ByMOJZ8cl0TXfl2ZJsy3TWfGyqXhi2NOePMrtzfXbpNMsYRaINGJoihwiEsVeo3gf/l0EOIcCluPpSOvcDwohKSe3Sedkpbi/2/pcUgRGAeIkIHv/jJi22bmTL1piBRHSUgoSgVLnZ/3/+4xb0O8fGREXGL9N6PipvlcG9IT; 5:Uk8xoVY1yZJ5g1Po1mA5zv9jLLT/a+haJXf/3471jBvhckRtZJK1gwkKsWDkWz/jnRzd3td6anDGWxHhQ8OkXuqVy/TtKU0S/YrC+HimYCJGuFjECfpP0JW/b3VUEoorJd7CZEkcVKhltqE6S/8G9GJ8WpZj7GWiZYFN+MFjmE8=; 24:x6iKFc/yZGA/8hNb1wvN7boVBO6i7/pOuo2T2z7X5VMDsuRJq4EyeNJP9oo3rfNbpuxq8QnDNHX75Xtsk08l4frFQ/adm53VtN52T3hXyUA=; 7:CJzEt7w9ZOg0IQrbGYqdtEwzQAuGZNOBW6oKqCOkjET9SFD1ZnXW2Woo0nkx/gtpXBHgwFNEESAOlKRef8rcCMdmMH5UUJoY7j3jS4h4zzq7nWcJIbu2jWNUF8MGtgEm736+qPxk/CcTAoVCNuPHqUvZLwkg+uY/xdpuy48/NicxN+EKWYAFLTZwwxSTOQgbi6LMtdnrfRREMdTrHMvFrOSebwVz39mAH7hmjPdzcfYUP7xzjhrS0uZdmoX7dRj1
x-ms-exchange-antispam-srfa-diagnostics: SSOS;
x-ms-office365-filtering-ht: Tenant
x-ms-office365-filtering-correlation-id: 524ce1b2-f93e-4fb3-c0ef-08d56cdc2d58
x-microsoft-antispam: UriScan:; BCL:0; PCL:0; RULEID:(7020095)(4652020)(48565401081)(4534165)(4627221)(201703031133081)(201702281549075)(5600026)(4604075)(3008032)(2017052603307)(7193020); SRVR:CY4PR21MB0838;
x-ms-traffictypediagnostic: CY4PR21MB0838:
x-microsoft-antispam-prvs: <CY4PR21MB08382884E3952FF00BD9E906B6FE0@CY4PR21MB0838.namprd21.prod.outlook.com>
x-exchange-antispam-report-test: UriScan:(28532068793085)(189930954265078)(85827821059158)(211936372134217)(153496737603132)(219752817060721)(21748063052155);
x-exchange-antispam-report-cfa-test: BCL:0; PCL:0; RULEID:(61425038)(6040501)(2401047)(8121501046)(5005006)(3002001)(93006095)(93001095)(10201501046)(3231101)(2400082)(944501161)(6055026)(61426038)(61427038)(6041288)(20161123560045)(20161123558120)(201703131423095)(201702281528075)(20161123555045)(201703061421075)(201703061406153)(20161123564045)(20161123562045)(6072148)(201708071742011); SRVR:CY4PR21MB0838; BCL:0; PCL:0; RULEID:; SRVR:CY4PR21MB0838;
x-forefront-prvs: 0574D4712B
x-forefront-antispam-report: SFV:NSPM; SFS:(10019020)(39860400002)(39380400002)(396003)(346002)(376002)(366004)(199004)(189003)(13464003)(316002)(86362001)(53936002)(33656002)(7736002)(6506007)(102836004)(25786009)(6246003)(478600001)(790700001)(6116002)(10090500001)(3660700001)(77096007)(4326008)(76176011)(53546011)(10290500003)(2906002)(39060400002)(6346003)(3280700002)(7696005)(2900100001)(97736004)(74316002)(186003)(86612001)(22452003)(5660300001)(229853002)(6436002)(99286004)(106356001)(81156014)(81166006)(966005)(2950100002)(8936002)(14454004)(8676002)(68736007)(55016002)(606006)(8990500004)(9686003)(105586002)(236005)(19609705001)(54906003)(6306002)(54896002)(110136005)(93886005); DIR:OUT; SFP:1102; SCL:1; SRVR:CY4PR21MB0838; H:CY4PR21MB0133.namprd21.prod.outlook.com; FPR:; SPF:None; PTR:InfoNoRecords; A:1; MX:1; LANG:en;
received-spf: None (protection.outlook.com: microsoft.com does not designate permitted sender hosts)
authentication-results: spf=none (sender IP is ) smtp.mailfrom=pravb@microsoft.com;
x-microsoft-antispam-message-info: OK+IEtUDtvfDVnn/Zir1gFpwM1HxjSB4H/AJLaLCtdmFOYzpz5+VxQdyYW1ReWD5NAOKJ+VbR3dpuR59KygEEw==
spamdiagnosticoutput: 1:99
spamdiagnosticmetadata: NSPM
Content-Type: multipart/alternative; boundary="_000_CY4PR21MB013319562763F0DADC138466B6FE0CY4PR21MB0133namp_"
MIME-Version: 1.0
X-OriginatorOrg: microsoft.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 524ce1b2-f93e-4fb3-c0ef-08d56cdc2d58
X-MS-Exchange-CrossTenant-originalarrivaltime: 05 Feb 2018 21:05:25.0397 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: 72f988bf-86f1-41af-91ab-2d7cd011db47
X-MS-Exchange-Transport-CrossTenantHeadersStamped: CY4PR21MB0838
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic/Xi5op5_-qDSsqn9G_Dyj8wlUbdY>
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 21:05:31 -0000
+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] 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] 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>
- 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