IETF Logo Mail Archive

Re: Call for Adoption: Invariants

Ian Swett <ianswett@google.com> Mon, 05 February 2018 14:04 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 D3FCC12D7FB for <quic@ietfa.amsl.com>; Mon, 5 Feb 2018 06:04:59 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.71
X-Spam-Level:
X-Spam-Status: No, score=-2.71 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, RCVD_IN_DNSWL_LOW=-0.7, 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=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 XO6kGF9JoxtM for <quic@ietfa.amsl.com>; Mon, 5 Feb 2018 06:04:57 -0800 (PST)
Received: from mail-it0-x235.google.com (mail-it0-x235.google.com [IPv6:2607:f8b0:4001:c0b::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 6B1E91252BA for <quic@ietf.org>; Mon, 5 Feb 2018 06:04:57 -0800 (PST)
Received: by mail-it0-x235.google.com with SMTP id u62so16755850ita.2 for <quic@ietf.org>; Mon, 05 Feb 2018 06:04:57 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=LQsUQTf69iJ+0NQfwGeRjbRjaq9CWyOizkAzgeSkUGw=; b=VN4Q7o15KmSXGsS6uRkcYQTHFeM8VMD4mhx0Rt33Fap2XuoYwG0TXOvHtG3OikFYou gO5maye4PyQGoGxgG29jVb1birskHDuovthRlYyW/G+Sk/sKb+QhOTvguxGqyuLe33YD UWtmrs6BN3+etX6Wk/haz4h+x/FTRxKH/uNLj2GneDm5AY2nybvJe4okSg9IgZxjfG3g QNW02euFddObeWy+T9aff6WunYCF9RepaUVRG8P44WzYdYzexTEg3CRPwObj6mjFO2di xu1slhkAQPTe283TR9KlgZKW3Sf6iLQydA5HBcJfutvjhbLtfX431paQ/CJP2rdY19uO cQYw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=LQsUQTf69iJ+0NQfwGeRjbRjaq9CWyOizkAzgeSkUGw=; b=lVecaqJpusjfHbqLt7SE1jNT/4LrwEmL+fGrNm2GrG3qww/kdprld/ykryfKv/fqs6 NMInXPRRC+RMPm7C2H/ZQybU2clbW2Se87aoHaXIj+06NVRsrVVLVo0D2DB6zXtFfA/o rz00jA/HVWvKMwWOuuoqdTEYM4DeZpb3VQosQUZPCJakgvN/ug7yBB+nJm3FpEnZS9HY rMgdu3PHOWc4/MYlqRnGQTkB37W2hKUuVEIX9awh0GIlOcg8B0L90JWXR6IFQ8QL3eOf djaERLsS2YI8qdUmx5BjRn9u/z8XcmwWEUhvvdPLlGlulULqdvcTEtwugiMlq9HQnOLS 8uXA==
X-Gm-Message-State: AKwxytdmX4j7p6c8awOwIaH8c9rPSVnR9vRmtvx93S4vsorDI+EQEaFj eZM10uOHMdnQjG/ycp5HbCZK+XgBoRube+2FtWo55g==
X-Google-Smtp-Source: AH8x226RHtNmS5PCblAQlhiZiWlYphS5Xp/P8NJ/RF+dDM1aMRgJl+syUi9nXYHq7bquLOcFv6AkdwHJfCpXOfmaDSc=
X-Received: by 10.36.73.102 with SMTP id z99mr61281125ita.72.1517839496353; Mon, 05 Feb 2018 06:04:56 -0800 (PST)
MIME-Version: 1.0
Received: by 10.107.222.4 with HTTP; Mon, 5 Feb 2018 06:04:35 -0800 (PST)
In-Reply-To: <FDFA0988-1FB4-4AFC-8958-1A6B16068FE5@trammell.ch>
References: <C35C3AB6-F0FC-4D83-9C97-DD0B605A863F@mnot.net> <DB6PR10MB17667AAB19D4A9288FD5BAF3ACFE0@DB6PR10MB1766.EURPRD10.PROD.OUTLOOK.COM> <FDFA0988-1FB4-4AFC-8958-1A6B16068FE5@trammell.ch>
From: Ian Swett <ianswett@google.com>
Date: Mon, 05 Feb 2018 09:04:35 -0500
Message-ID: <CAKcm_gM4tv8=9UaWVV0B251w_Jbi+ANSpoSZsSkTk3cMF4LsMA@mail.gmail.com>
Subject: Re: Call for Adoption: Invariants
To: "Brian Trammell (IETF)" <ietf@trammell.ch>
Cc: Mikkel Fahnøe Jørgensen <mikkelfj@gmail.com>, Lars Eggert <lars@eggert.org>, Mark Nottingham <mnot@mnot.net>, QUIC WG <quic@ietf.org>
Content-Type: multipart/alternative; boundary="001a11c14e5e0218a00564778c13"
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic/OumhmFHFT4lxCtRyKWcpcb2yutE>
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 14:05:00 -0000

I support adoption of the invariants draft.

On Mon, Feb 5, 2018 at 3:33 AM, Brian Trammell (IETF) <ietf@trammell.ch>
wrote:

> 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.
>

>From the perspective of someone intending to deploy draft versions, the
invariants need to be stable, ideally at least in a last call state, sooner
than the version 1 spec, otherwise there's no guarantee a server can
migrate from one version to another.


> > 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