Re: [HTTP/3]Sending reserved frame before SETTINGS

Lucas Pardue <lucaspardue.24.7@gmail.com> Sun, 02 February 2020 11:34 UTC

Return-Path: <lucaspardue.24.7@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 93734120044 for <quic@ietfa.amsl.com>; Sun, 2 Feb 2020 03:34:42 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.747
X-Spam-Level:
X-Spam-Status: No, score=-1.747 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, FREEMAIL_ENVFROM_END_DIGIT=0.25, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=no 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 wUHLnh_53Hos for <quic@ietfa.amsl.com>; Sun, 2 Feb 2020 03:34:40 -0800 (PST)
Received: from mail-vk1-xa2d.google.com (mail-vk1-xa2d.google.com [IPv6:2607:f8b0:4864:20::a2d]) (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 B673312003E for <quic@ietf.org>; Sun, 2 Feb 2020 03:34:40 -0800 (PST)
Received: by mail-vk1-xa2d.google.com with SMTP id w67so3355784vkf.1 for <quic@ietf.org>; Sun, 02 Feb 2020 03:34:40 -0800 (PST)
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=ZIGIiv8TJ1ZBJ71jDIwJ6lmg+ZlVUII2viEz6MxVUUI=; b=s/QA/GPZ+CJd1AFKi+KRHW44D3v8GicNYUltU7g9i3N3wLJpLDb5jlCFAHPfURQHLB OSxk3X04NR8DMUFBeqZbDGeeYCLEnhrWwm40JDZXDQ/YE10hYkKzN0qLAv92Aae0Qs1M AtN9d12r1jexGFiW+5BiPB41tXkCspmCv+bEWFWk0qSyIqpWyhe3/8wQX3V8nHsApVkI 9pTQbPDFGntocp3w2RFhNO4s4LZzIhKQjudmr5rQ1kse/Jcu6t5neQWfED2U6oT0TStS vEblNhbzq18c7JQVBAKQ8GAIO6qYLREh48t6rmnbBsqf74TWYT8OmEEHf4n3qWkG6czE YdPQ==
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=ZIGIiv8TJ1ZBJ71jDIwJ6lmg+ZlVUII2viEz6MxVUUI=; b=MNQ9X6sPCRVmOVfYmlewOub6GhkDX16uMf7UzyKi6sGTQvvC4OxTZz2xoAUpA+Vx4h Z8GWGIlR8Qc6cD2B//QfIzgZ0fKpGUpNP9B7VZKPGodPisTA2iz8Gpr6L10zla0fEOV0 BAysO9reoFSk0jSFP79lFukdxRiQENJ00RLQQXVXN2/D78Dme0ilmWRpu9Pam7pW2wwF nSzQf+oiixVPw7AhfN07VspKOOelsHLeQa6vmysQms49bLFOpkiDh/rh3MvzKWhIrDZL faZkv/D7I9gMh/mYvFwi+yJuIb92bvel5X97HWuC7KnviEfm8Wt/wy/RZRrliSjBnws3 LSDQ==
X-Gm-Message-State: APjAAAUYLeIrF9Wk6KHvBZWphWzkKytPwNZ1tnQr8YABuTmU08tTALv3 OP3z6TtBWra0RUoLY5/g3GazqrodSAjUJi1iLb/vmQ==
X-Google-Smtp-Source: APXvYqyK+jbun9M5KJVMW0b2wXETc5x/0zAQNNWIBX1RY/vkW+ePUVTta3v8snZdOc1XEdNynTlvN3LH+UuKUqEej9k=
X-Received: by 2002:a1f:7d43:: with SMTP id y64mr11207325vkc.15.1580643279746; Sun, 02 Feb 2020 03:34:39 -0800 (PST)
MIME-Version: 1.0
References: <CAPOFeyhp5YE+Y2nSUfEwGUHamp19vL_XT1kJZ-krOm00i915Eg@mail.gmail.com> <CAKDhxQocLR9sotSRWFtM7Kup4zXk2dTP-bxehoYjxuJHFtXuRA@mail.gmail.com> <CAKcm_gNnsp1uWn5W7o5g_0ODfiqDk-1nAL7vPXUNHTf3wwN2DA@mail.gmail.com>
In-Reply-To: <CAKcm_gNnsp1uWn5W7o5g_0ODfiqDk-1nAL7vPXUNHTf3wwN2DA@mail.gmail.com>
From: Lucas Pardue <lucaspardue.24.7@gmail.com>
Date: Sun, 02 Feb 2020 11:34:27 +0000
Message-ID: <CALGR9oZjS0j8OcVaL7vSFKrJnC=iZyF=uhhY80S5GrhWpwzNiQ@mail.gmail.com>
Subject: Re: [HTTP/3]Sending reserved frame before SETTINGS
To: Ian Swett <ianswett=40google.com@dmarc.ietf.org>
Cc: Ryan Hamilton <ryan@optimism.cc>, IETF QUIC WG <quic@ietf.org>, Renjie Tang <renjietang=40google.com@dmarc.ietf.org>
Content-Type: multipart/alternative; boundary="00000000000034b93d059d9631e5"
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic/1xbN5TGdkSLT_DiDO-06b1s69ro>
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: Sun, 02 Feb 2020 11:34:43 -0000

I think the design of this is ok as is.

On Sat, 1 Feb 2020, 22:49 Ian Swett, <ianswett=40google.com@dmarc.ietf.org>
wrote:

> Thanks for bringing this up Renjie.  I agree the subsequent text seems to
> clarify the answer.
>
> However, is that the behavior we want, given it does limit extensibility
> in some small ways?
>
> On Sat, Feb 1, 2020 at 11:25 AM Ryan Hamilton <ryan@optimism.cc> wrote:
>
>> Wow, interesting question!
>>
>> 6.2.1 requires the SETTINGS frame to be first on the control frame:
>>
>>    If the first frame of the control stream is any other frame
>>    type, this MUST be treated as a connection error of type
>>    H3_MISSING_SETTINGS.
>>
>>
>> Whereas 7.2.9 says reserved frames have no semantic meaning:
>>
>>    Frame types of the format "0x1f * N + 0x21" for integer values of N
>>    are reserved to exercise the requirement that unknown types be
>>    ignored (Section 9 <https://tools.ietf.org/html/draft-ietf-quic-http-25#section-9>).  These frames have no semantics, and can be sent
>>    on any open stream when application-layer padding is desired.
>>
>>
>> This sounds like a conflict since something that has no semantics seems
>> like it should not cause errors! However, looking Section 9 I think we find
>> the resolution:
>>
>>    Implementations MUST ignore unknown or unsupported values in all
>>    extensible protocol elements.  Implementations MUST discard frames
>>    and unidirectional streams that have unknown or unsupported types.
>>    This means that any of these extension points can be safely used by
>>    extensions without prior arrangement or negotiation.  However, where
>>    a known frame type is required to be in a specific location, such as
>>    the SETTINGS frame as the first frame of the control stream (see
>>    Section 6.2.1 <https://tools.ietf.org/html/draft-ietf-quic-http-25#section-6...2.1>), an unknown frame type does not satisfy that
>>    requirement and SHOULD be treated as an error.
>>
>>
>> So it seems that it's illegal to send a GREASED frame before the SETTINGS frame. Does that sound right to you?
>>
>>
>> Cheers,
>>
>>
>> Ryan
>>
>>
>> On Fri, Jan 31, 2020 at 11:10 PM Renjie Tang <renjietang=
>> 40google.com@dmarc.ietf.org> wrote:
>>
>>> Hi all,
>>>
>>> When I was implementing greasing for HTTP/3 frames, I came across a
>>> potential confusion.
>>>
>>> Presumably, if a non-reserved unknown frame is received before SETTINGS
>>> on a control stream, the connection should be closed.
>>>
>>> But if a reserved frame is received before SETTINGS frame on a control
>>> stream, does it count as an error and close the connection? Or should
>>> it simply be ignored because it has no semantic meaning?
>>>
>>> Thanks!
>>> Renjie
>>>
>>