Re: How will we test version-negotiation?

Marten Seemann <martenseemann@gmail.com> Mon, 27 April 2020 13:27 UTC

Return-Path: <martenseemann@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 A1BE03A0A64 for <quic@ietfa.amsl.com>; Mon, 27 Apr 2020 06:27:34 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.097
X-Spam-Level:
X-Spam-Status: No, score=-2.097 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=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 ndzK1pM1NQ41 for <quic@ietfa.amsl.com>; Mon, 27 Apr 2020 06:27:33 -0700 (PDT)
Received: from mail-lj1-x235.google.com (mail-lj1-x235.google.com [IPv6:2a00:1450:4864:20::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 C92613A0A63 for <quic@ietf.org>; Mon, 27 Apr 2020 06:27:32 -0700 (PDT)
Received: by mail-lj1-x235.google.com with SMTP id u15so17572147ljd.3 for <quic@ietf.org>; Mon, 27 Apr 2020 06:27:32 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=mjzeWJTjOvFjN1Sttz3y/GuJK6nTbu6gxLET6F0iJ4g=; b=jq7ylE5rHCpII7vokD68i6q2txJWiVOsP31zI2h0GvGx6eb32+MnaJaAsPuG8ZlDx3 t4s7YGl/5axylEP5qQ+ig5b5KgomqXBy0C3LaLDP4pwkXDl2kNIqIbnnaBmAWUdSgC1l p6riqzt+AkukOBnbSa+nh+pjAsuloAep0NY7T1i35TOYKBNIBz7X2khjm+dv6a2dxD4e trwcP0wvzbebr5dcj42WsgSE4+XyfjC8e50Wsppj9gTjgt7HfvQbrhI292S6/n+k5jPA iX0F1TYPr8NbdZyIS09HjLeMUqmmAO2S4jRh0K1F+D5m44rRcVDyV3TMCoioQOcH/8Rk klgA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=mjzeWJTjOvFjN1Sttz3y/GuJK6nTbu6gxLET6F0iJ4g=; b=IqfNuIecl5rfo54OEwwpouU7JkQ9t+cC2zqNs8/qpxnTNnfjALWXUdpyom6Y/wJcUf H+1gDLYaUWJgDdel8kxiUqiwWm+Cl0735XMNZrTrGa7V9jFwNNOAxhtn9dtH2wLaJq1+ D+iN3VH5YoPSL6g8WieK3tZmB8XFO6O7OjCy1huSYze4Pc0meGUhY1TT2r9RWx7q94lX eAF2deuXnns2fZHvsWP7zvI6AYDANWdfRNLeIsk81BBuT2g4lhWxXQepcoSPHbQEEon+ bpUweL7oBcdw2Bwsm3fVZUvBwzjHiIYEf9ye+jklQciO0LpyKYn+97CqaQ6Xe/r4KAZf e6wA==
X-Gm-Message-State: AGi0Pubn0hGOIWtnvTslgDT3pey6NPZtigWK0318rOkaUAXiv/xcKvX/ Pvq3x81/mPiQ7hzJ0qsjmmj7IJXS59XqQYvA56c=
X-Google-Smtp-Source: APiQypK7V4Qb9QoC2iJipX4t2kM6uqvajojmB2KEb7T2AfKYWFUSf6usHGNxyODcMNviJ5EyxtFZKVEO94UHyMtDaag=
X-Received: by 2002:a2e:9f13:: with SMTP id u19mr14336541ljk.42.1587994050613; Mon, 27 Apr 2020 06:27:30 -0700 (PDT)
MIME-Version: 1.0
References: <eb71f53a-fa99-e80f-12ba-318ed9ef6b27@huitema.net>
In-Reply-To: <eb71f53a-fa99-e80f-12ba-318ed9ef6b27@huitema.net>
From: Marten Seemann <martenseemann@gmail.com>
Date: Mon, 27 Apr 2020 20:27:19 +0700
Message-ID: <CAOYVs2rZJvRvQ4EMc0_G_F6d-d0DbnqkUCFpEi8ubFzJOKUhOA@mail.gmail.com>
Subject: Re: How will we test version-negotiation?
To: Christian Huitema <huitema@huitema.net>
Cc: David Schinazi <dschinazi.ietf@gmail.com>, Eric Rescorla <ekr@rtfm.com>, IETF QUIC WG <quic@ietf.org>
Content-Type: multipart/alternative; boundary="0000000000004ad50505a445ad07"
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic/qfQFGae4IxSdhXit-v8-fk_QhEk>
X-BeenThere: quic@ietf.org
X-Mailman-Version: 2.1.29
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, 27 Apr 2020 13:27:35 -0000

This seems like a reasonable proposal. Using a virtual version that is
identical to the current draft version make sense to me.
It would also make it easy to add a test case for this to the interop
runner.

On Fri, Apr 24, 2020 at 11:58 PM Christian Huitema <huitema@huitema.net>
wrote:

> I am reading draft-ietf-quic-version-negotiation-00 with an eye on
> implementing the version negotiation, and I wonder how we are going to
> test interoperability of different implementations.
>
> The proposed version negotiation only kicks in if the client sets the
> version number that the server also supports. Then, the server checks
> whether a "better" version is also available and supported by the
> client, and negotiates that. This does not mesh very well with our
> current interoperability tests, which require support for the latest
> draft. In the current tests, every implementation supports draft 27 and
> proposes version 0xFF00001B. There is no version to upgrade to.
>
> Some implementations also support earlier drafts, and could test
> upgrades from draft-25 to draft-27, and we could define a test that way.
> But many don't, and it seems weird to require support of old versions
> just for the sake of testing version upgrade. I don't think that's a
> good idea. I think we need a better proposal, and here is one: let's
> define a "virtual" version that is only used for testing upgrades.
> Better yet, let's define a virtual version that just matches the latest
> draft -- say 0xFFFF001B for draft 27. The interop test could work this way:
>
> 1) Client sets the version number to the latest draft (0xFF00001B) in
> the Initial packet header, and mentions support of 0xFFFF001B in the
> Version Negotiation Transport Parameter.
>
> 2) Server accepts the Initial packet, parses the transport parameters,
> discovers the proposed support for the "better" version.
>
> 3) test succeeds if the server negotiates version 0xFFFF001B and the
> data exchanges succeed.
>
> What do you think? Should we add this test mechanism to the draft, or
> would it be enough to describe that in the interop wiki pages?
>
> -- Christian Huitema
>
>
>
>
>