Re: [quicwg/base-drafts] nonsensical MUST on frames fitting in packets (#2603)

Martin Thomson <notifications@github.com> Thu, 11 April 2019 01:20 UTC

Return-Path: <noreply@github.com>
X-Original-To: quic-issues@ietfa.amsl.com
Delivered-To: quic-issues@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 6BA151200DE for <quic-issues@ietfa.amsl.com>; Wed, 10 Apr 2019 18:20:53 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -6.597
X-Spam-Level:
X-Spam-Status: No, score=-6.597 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIMWL_WL_HIGH=-0.001, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HTML_IMAGE_ONLY_28=1.404, HTML_MESSAGE=0.001, MAILING_LIST_MULTI=-1, RCVD_IN_DNSWL_HI=-5, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=github.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 GviriIzBRO03 for <quic-issues@ietfa.amsl.com>; Wed, 10 Apr 2019 18:20:51 -0700 (PDT)
Received: from out-1.smtp.github.com (out-1.smtp.github.com [192.30.252.192]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id BE68C120075 for <quic-issues@ietf.org>; Wed, 10 Apr 2019 18:20:51 -0700 (PDT)
Date: Wed, 10 Apr 2019 18:20:50 -0700
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=github.com; s=pf2014; t=1554945650; bh=zPSmUg3JzQyTPHb7ittQgnC0Vn3kdA/k7elAyPjcjlk=; h=Date:From:Reply-To:To:Cc:In-Reply-To:References:Subject:List-ID: List-Archive:List-Post:List-Unsubscribe:From; b=FQLVhqKQOQfwrHtQzwAUIL5oQC3nlEWtiNuDoiIC4tToAMvetqCLCYyL9P4ozBJh+ zAaeXluMO95FPgROgfkajSMkanq5IHdIYP7Jdqw8n5+pZFFNNUeyEpNGD+HhTfqzLI E4NQRjfNEf1xX1Pu/fvh7DkDfcdBCCrkHsfVd3Kg=
From: Martin Thomson <notifications@github.com>
Reply-To: quicwg/base-drafts <reply+0166e4abdaeef6394c1f1f283e56b52c93a21cd40fe3370592cebabbc8f292a169ce19b4b084@reply.github.com>
To: quicwg/base-drafts <base-drafts@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <quicwg/base-drafts/pull/2603/c481929224@github.com>
In-Reply-To: <quicwg/base-drafts/pull/2603@github.com>
References: <quicwg/base-drafts/pull/2603@github.com>
Subject: Re: [quicwg/base-drafts] nonsensical MUST on frames fitting in packets (#2603)
Mime-Version: 1.0
Content-Type: multipart/alternative; boundary="--==_mimepart_5cae9672cdbbf_137a3fe2806d45b431117"; charset="UTF-8"
Content-Transfer-Encoding: 7bit
Precedence: list
X-GitHub-Sender: martinthomson
X-GitHub-Recipient: quic-issues
X-GitHub-Reason: subscribed
X-Auto-Response-Suppress: All
X-GitHub-Recipient-Address: quic-issues@ietf.org
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic-issues/3KOHAClksa3UDy_w-N9lwTyBYU0>
X-BeenThere: quic-issues@ietf.org
X-Mailman-Version: 2.1.29
List-Id: Notification list for GitHub issues related to the QUIC WG <quic-issues.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/quic-issues>, <mailto:quic-issues-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/quic-issues/>
List-Post: <mailto:quic-issues@ietf.org>
List-Help: <mailto:quic-issues-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/quic-issues>, <mailto:quic-issues-request@ietf.org?subject=subscribe>
X-List-Received-Date: Thu, 11 Apr 2019 01:20:54 -0000

@janaiyengar 
> The MUST is not implied anywhere.

It's implied everywhere.  It's implied by the fact that UDP is lossy.  It is implied in that there are rules for handling of malformed frames and mandates to generate a connection error in that case.

You would prefer that it be explicit, I get that, but this is better described as an axiom.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/quicwg/base-drafts/pull/2603#issuecomment-481929224