IETF Logo Mail Archive

Invariants draft

Martin Thomson <martin.thomson@gmail.com> Fri, 01 December 2017 04:09 UTC

Return-Path: <martin.thomson@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 BBDD11270B4 for <quic@ietfa.amsl.com>; Thu, 30 Nov 2017 20:09:40 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.7
X-Spam-Level:
X-Spam-Status: No, score=-2.7 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, RCVD_IN_DNSWL_LOW=-0.7, 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 vsriwDQIQ-7E for <quic@ietfa.amsl.com>; Thu, 30 Nov 2017 20:09:39 -0800 (PST)
Received: from mail-oi0-x231.google.com (mail-oi0-x231.google.com [IPv6:2607:f8b0:4003:c06::231]) (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 65EA21241F5 for <quic@ietf.org>; Thu, 30 Nov 2017 20:09:39 -0800 (PST)
Received: by mail-oi0-x231.google.com with SMTP id 184so6383699oii.2 for <quic@ietf.org>; Thu, 30 Nov 2017 20:09:39 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=tcCr3A8fqNOinGwrfLNG9yemPXVVpEY3OQC4wqmVvmw=; b=C8z39H2Op04q7KkqtyTTidUkfqyuYJY01NtGL/GW1EPKYOGk/Xj+XyhCn9RRFp53By oFxfpFNxpFtXOIq/HTlBNPfAZUtSZGCNbtX9UU0Vm75pV5GJE99RhvZQrGZNfT3HrF2Z ElHgnvxfhhXvzHD2ipw4HhSnfS7VsAMgvgN1JXWk4pQ6zhQ/CEjTlykIEHWwzuxkcvvq w2qcLiIB3W+yHiUjkNXJQYmA/67tFleIsAjDJgoWbQimbSiUDmTDHwnvfDzh4SxytFv4 n4oVECYJWWMQi3LgWAyki3hNnEaUfMk1vv/j89MoOycrcHLjZ01qEfYqJ9b+juw7trEs qzfg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=tcCr3A8fqNOinGwrfLNG9yemPXVVpEY3OQC4wqmVvmw=; b=Kmp92LJlOyRrk3uoTnDVCNOCQUVJnS8IL2gG/qz3SHPJjlYnyqbMzOIFETfIIQ4wXW 5Pzos4zpksaYnRu858j8BcBa8dpUWUUObDMfSZ+q91vnlyo1ss5Fytxbtt8h8A2kMl93 p1uKeZy6RRVldVI+S7uJACW0hEGo/Qwx3Xmkf9s1Ykw/u7cBYP9w3G09HPf1HS/DZm+V jboPSEBY+9KMM6FbBi82r88kQs7i5ejZjQXvQ641graNj4wm38SXiLJFqyu40t7Nqder Pzqyq9NM7YgbJR65RA+LHYxda0e5vt8tBFGa8ybOUdquAdmrNvTd3zt5WsyyTrlyyDIC NAcw==
X-Gm-Message-State: AJaThX4S1VZBVVXhtska42Dr+sWGzUJd8Qm3gzQSheckKUc88moyoqil ZNdgqw50V7ieZzY89LoCoAigGi8pzIijZWG13Jiswqsc
X-Google-Smtp-Source: AGs4zMaz99gcrK2LJEK7naBLbLTitepBJ3rb5RiW/BEMUEb6I5kIu2xsF0ub78ClsHNxXq1Ydi6nSvVZ681Z1ox5G54=
X-Received: by 10.202.48.8 with SMTP id w8mr6067154oiw.284.1512101378515; Thu, 30 Nov 2017 20:09:38 -0800 (PST)
MIME-Version: 1.0
Received: by 10.157.8.11 with HTTP; Thu, 30 Nov 2017 20:09:38 -0800 (PST)
From: Martin Thomson <martin.thomson@gmail.com>
Date: Fri, 01 Dec 2017 15:09:38 +1100
Message-ID: <CABkgnnVr7jQ2=fFM+OOgk0-=Fseze8fT3xwWBOj-4CWTOtbq1Q@mail.gmail.com>
Subject: Invariants draft
To: QUIC WG <quic@ietf.org>
Content-Type: text/plain; charset="UTF-8"
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic/MlTOvL3ZBjkKO9V8V7V0GxNdva4>
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: Fri, 01 Dec 2017 04:09:41 -0000

I've just submitted a personal draft that describes the invariants
that I think we agreed to in Singapore.

https://datatracker.ietf.org/doc/html/draft-thomson-quic-invariants

This is just me for the moment (though Jana and Mike were very helpful
in reviewing an even draftier draft).  It also assumes a few things
about the current drafts that aren't yet true, and may not even become
true.  Don't focus too much on the specific content of what is in or
out, because that sort of detail is easy to fix.

More than content, I'd like to concentrate on the general approach and
scope.  My hope is that we can agree that those are more or less
correct.  And then adopt the draft.  A draft like this should help
address questions people have been asking about what can and cannot
change between QUIC versions.

v2.23.0 | Report a Bug | By Email