IETF Logo Mail Archive

Re: Call for Adoption: Invariants

Mikkel Fahnøe Jørgensen <mikkelfj@gmail.com> Mon, 05 February 2018 19:05 UTC

Return-Path: <mikkelfj@gmail.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 A6D6E12D942 for <quic@ietfa.amsl.com>; Mon, 5 Feb 2018 11:05:30 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.999
X-Spam-Level:
X-Spam-Status: No, score=-1.999 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.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 YBibqIEF05FC for <quic@ietfa.amsl.com>; Mon, 5 Feb 2018 11:05:28 -0800 (PST)
Received: from mail-pl0-x235.google.com (mail-pl0-x235.google.com [IPv6:2607:f8b0:400e:c01::235]) (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 15A2812D946 for <quic@ietf.org>; Mon, 5 Feb 2018 11:05:28 -0800 (PST)
Received: by mail-pl0-x235.google.com with SMTP id f8so12395812plk.11 for <quic@ietf.org>; Mon, 05 Feb 2018 11:05:28 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:thread-topic:thread-index:date:message-id :references:in-reply-to:accept-language:content-language :mime-version; bh=MlEFBr6VwSQtYh9HFUjBRUDwsLp3FRQj7CZex5Pk9cE=; b=slTrV0+QFlIt2KSv1ZYOpHccv2knWo+QQQgTPix/Ebpegi7mb5FwyFRsAO9yO6QJKt M91XEZfRk110VUV6kdjlc4X3SpHzzEnO+ixvlJXECcPZVwyKg8st0c7xLhOK5xFerzS6 pAdQT0ONrzLcUzSueWJ8mfpbs3ovGVwK8GLyBgdykPTfmvXypWWcFYd/qX/nrYJvc+B4 tSe5M/WXi37ABiBbZttdxS1PjP5lyY/VOfuJdAkxULPcw0QeFM8B6uaCcIF7bcZ4wxVg 8ftPTl4kCR3dq42KFfC9ZkYlC3bviVVpq+m6PQEL5FGsowSU7SzlpM0fKoW0HFWw70Y0 G/mA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:thread-topic:thread-index :date:message-id:references:in-reply-to:accept-language :content-language:mime-version; bh=MlEFBr6VwSQtYh9HFUjBRUDwsLp3FRQj7CZex5Pk9cE=; b=iaKecZKusW+jRF2bQJJQkFZd7ohJW5tyeeUsY+mgwslohyCRGFuFdHmh3GLoKzm++R pW++lNRFBootrLAA1CsM3h/ccpLRsZLYszuHnlL1i7GyynPjwPyiLGxij6IOqsJOy8p9 MqQQ8+1Kcbuztd377yd/DjdNGH5rtxiewjgCbF1bH8mEnlfHAJ54vBOuqV/8XGXmn7lh PUNPpgSfCf4W2rHk6o0JQfOGvt0rNj7JgumRjZGMFR92EeIfCErVuzztSPmuIScS7/Pf PXG3aq8sDa8ByuUgEn+b47cXYtpIbzOMtnbPAXEaWzMQXX5PPlmeT/wEHSF9FaA36cCB PpPA==
X-Gm-Message-State: AKwxyteBES0uSjgzWVu5dabh2OC5Y6gh99oZG2WkL6sRQQ+eQ9n22fOD GWDupD1k3NZV41XGnLo6D2728r2E91I=
X-Google-Smtp-Source: AH8x2240kUf8I2HOPVQ+PeYkuof3ZduftKSDtH+5eVbCx1+LZK24D/wRtoU6IZ+koD0R+eXs7W/M7Q==
X-Received: by 2002:a17:902:595d:: with SMTP id e29-v6mr45487992plj.436.1517857527659; Mon, 05 Feb 2018 11:05:27 -0800 (PST)
Received: from DB6PR10MB1766.EURPRD10.PROD.OUTLOOK.COM ([40.101.73.69]) by smtp.gmail.com with ESMTPSA id y13sm23193138pfj.96.2018.02.05.11.05.25 (version=TLS1_2 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Mon, 05 Feb 2018 11:05:27 -0800 (PST)
From: Mikkel Fahnøe Jørgensen <mikkelfj@gmail.com>
To: Mike Bishop <mbishop@evequefou.be>, "Brian Trammell (IETF)" <ietf@trammell.ch>
CC: Lars Eggert <lars@eggert.org>, Mark Nottingham <mnot@mnot.net>, QUIC WG <quic@ietf.org>
Subject: Re: Call for Adoption: Invariants
Thread-Topic: Call for Adoption: Invariants
Thread-Index: AUY2OTQ2mv+s5soMjSZWGIW+IBxM+DBBMkIxNTE1NDgwOUNCMpYjmM27
X-MS-Exchange-MessageSentRepresentingType: 2
Date: Mon, 05 Feb 2018 19:05:22 +0000
Message-ID: <DB6PR10MB176682C4EC84D225E08C5A6BACFE0@DB6PR10MB1766.EURPRD10.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>
In-Reply-To: <MWHPR08MB2432F1CB1FBAFACD611D3913DAFE0@MWHPR08MB2432.namprd08.prod.outlook.com>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-Exchange-Organization-SCL: -1
X-MS-TNEF-Correlator:
X-MS-Exchange-Organization-RecordReviewCfmType: 0
Content-Type: multipart/alternative; boundary="_000_DB6PR10MB176682C4EC84D225E08C5A6BACFE0DB6PR10MB1766EURP_"
MIME-Version: 1.0
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic/hqgm7d-wxJCNVnKXuR8C-N6y6UA>
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 19:05:31 -0000

It could be called QUID ...

________________________________
From: Mike Bishop <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>
Cc: Lars Eggert <lars@eggert.org>; Mark Nottingham <mnot@mnot.net>; QUIC WG <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> 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/

v2.23.0 | Report a Bug | By Email