Re: Invariants draft
Mikkel Fahnøe Jørgensen <mikkelfj@gmail.com> Fri, 01 December 2017 06:26 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 703BA128990 for <quic@ietfa.amsl.com>; Thu, 30 Nov 2017 22:26:39 -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 nugnF6tBHfdq for <quic@ietfa.amsl.com>; Thu, 30 Nov 2017 22:26:37 -0800 (PST)
Received: from mail-pl0-x22b.google.com (mail-pl0-x22b.google.com [IPv6:2607:f8b0:400e:c01::22b]) (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 69B551243F3 for <quic@ietf.org>; Thu, 30 Nov 2017 22:26:37 -0800 (PST)
Received: by mail-pl0-x22b.google.com with SMTP id f6so5766106pln.12 for <quic@ietf.org>; Thu, 30 Nov 2017 22:26:37 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:thread-topic:thread-index:date:message-id :references:in-reply-to:content-language:mime-version; bh=83rt2C6O/mDZglwM7lFTJIihz1TCcF8ggf9hiGecOrQ=; b=gVtJ4TvjIOOFaytAh93dhSekSSbfKwuHbTCvHMKQcBmNLDZH1IlhUTZiNLZydlC6Y5 uSaqfHARu/pFJI6OGzLiQ0LSz24aohs25e662C32aT2asmh5IY2oYkXr/632BYMLHMMN iSRD/Dw30lrJuZhe+v45dBmRztoG4TgldXaHH/6Tv/H5AJRcMAAhdFONDMm0BRe6fFMH mWNIM8W2qX/xfhciJeD8dLhVxz2HrSO1zFAIGCBAq9eVmhrrJDxjpl4CLaqTcRf7wb+c 9UTZkMFWNXRK7aWb3OSjsJl04mYN97OSPW67kJijeGSOSulg2zzKT1GsyDoWwHOVhjQW XrSQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:thread-topic:thread-index:date :message-id:references:in-reply-to:content-language:mime-version; bh=83rt2C6O/mDZglwM7lFTJIihz1TCcF8ggf9hiGecOrQ=; b=PiA4/u8cC4UhZMwKRLRx7qCMkdYxUw08Pw8uxw48gTM1/AZ+cV5vr5SmkiYQGJwA0G wxl2HlomO20QlEH0WotDQk/TJ0Q2ryqBb5tw1LFgCE7W4FpF2khc9x6JTEgKpF/TU6od 6CjvQGYgaZ0b1PYEdm9mn7u6qOPiOkn+5gY3pe4T/46o5y9QRADmaGB4xEWKpAfJZ+rB swm6Brq3Q0B+Omfm3FVhQhKOgLNkRv+2nJCmPcfHhq/A2ursYnLpB2p00HMGq6MPjhwj RKpAI0HlCZawiXb4ZjA7x2JSYLsaoZx+m2uMlXnOseoSCr9UOG0F0EUhHYtYMeITzpur LyTg==
X-Gm-Message-State: AJaThX5oJBbB8d/ceJGOZQ/PKegZ78KaOmxqmyYQs+TxrParMPpQNU8V um8OPN2FfAhDOWmGO/mjIyAYCGjB
X-Google-Smtp-Source: AGs4zMbzw5s76IBEQ9VrwixfH+zGufRVIcsIippUBP9m986tihtKueoq5G56lQhVv41WdsA7932oTA==
X-Received: by 10.84.128.227 with SMTP id a90mr5260165pla.224.1512109596880; Thu, 30 Nov 2017 22:26:36 -0800 (PST)
Received: from DB6PR10MB1766.EURPRD10.PROD.OUTLOOK.COM ([40.101.73.69]) by smtp.gmail.com with ESMTPSA id l73sm11673921pfi.82.2017.11.30.22.26.35 (version=TLS1_2 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Thu, 30 Nov 2017 22:26:36 -0800 (PST)
From: Mikkel Fahnøe Jørgensen <mikkelfj@gmail.com>
To: Christian Huitema <huitema@huitema.net>, "quic@ietf.org" <quic@ietf.org>
Subject: Re: Invariants draft
Thread-Topic: Invariants draft
Thread-Index: AVEtOGdqrg3L1y5zbGtj4Yq/knkCvWMyN2FjgWDYHnY=
X-MS-Exchange-MessageSentRepresentingType: 1
Date: Fri, 01 Dec 2017 06:26:31 +0000
Message-ID: <DB6PR10MB17668967F2AA27987B47F437AC390@DB6PR10MB1766.EURPRD10.PROD.OUTLOOK.COM>
References: <CABkgnnVr7jQ2=fFM+OOgk0-=Fseze8fT3xwWBOj-4CWTOtbq1Q@mail.gmail.com>, <440a603c-2924-a260-c477-ecb42a84ec5c@huitema.net>
In-Reply-To: <440a603c-2924-a260-c477-ecb42a84ec5c@huitema.net>
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
X-MS-Exchange-Organization-RecordReviewCfmType: 0
Content-Type: multipart/alternative; boundary="_000_DB6PR10MB17668967F2AA27987B47F437AC390DB6PR10MB1766EURP_"
MIME-Version: 1.0
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic/TWl_5CM-zNVt1U8suOIIzzcprNo>
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 06:26:39 -0000
Thanks for writing up. Some input: Appendix A, incorrect assumptions: - A 5-tuple is unique to a single connection. - A client uses ephemeral ports. More generally: I find it unfortunate that UDP is made an invariant, anf possibly even IP. The routability of packets could also be questioned, e. g. for some embedded device busses. ________________________________ From: QUIC <quic-bounces@ietf.org> on behalf of Christian Huitema <huitema@huitema.net> Sent: Friday, December 1, 2017 5:46:49 AM To: quic@ietf.org Subject: Re: Invariants draft On 11/30/2017 8:09 PM, Martin Thomson wrote: > 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. Thanks for writing that, Martin. It provides a very clear description of the "invariant" approach, and helps me understand the motivation behind several changes that were proposed recently. > 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. As far as the general approach is concerned, your draft leaves me somewhat uneasy. I understand the concern to beat ossification, and to ensure that future developers can easily define and use extended versions of QUIC. But at the same time, I am concerned with the tension between "focusing on extensibility" and "ensuring interoperability". At one end of the spectrum, we could define nothing but extensibility mechanisms, and let application developers define an application specific transport protocol. At an other end of the spectrum, we could rigidly specify a protocol, its formats, and its state machine. I do think that the working group has to strike somewhere in the middle, a well specified protocol that can be easily extended, but maybe not infinitely extensible. Developers have spent a lot of time testing features, and testing whether these features can be implemented in compatible ways between implementations. This is valuable, and I wish that we progressively converge on a "version 1" of QUIC that benefits from these tests. I think of that as some kind of simulated annealing process. At some point, part of the crystal is deemed pure enough, and we move the annealing ring up to check the next part. That may not be the best analogy, but the high level summary is that interoperability is important, that is requires some stability, and that the better is the enemy of the good. -- Christian Huitema
- Invariants draft Martin Thomson
- Re: Invariants draft Christian Huitema
- Re: Invariants draft Willy Tarreau
- Re: Invariants draft Mikkel Fahnøe Jørgensen
- Re: Invariants draft Martin Thomson
- Re: Invariants draft Martin Thomson
- Re: Invariants draft Mikkel Fahnøe Jørgensen
- RE: Invariants draft Lucas Pardue
- Re: Invariants draft Brian Trammell (IETF)
- Re: Invariants draft Philipp S. Tiesel
- Re: Invariants draft Mikkel Fahnøe Jørgensen
- Re: Invariants draft Martin Thomson
- Re: Invariants draft Ted Hardie
- Re: Invariants draft Martin Thomson
- RE: Invariants draft Roni Even
- Re: Invariants draft Spencer Dawkins at IETF
- Re: Invariants draft Martin Thomson