Re: [quicwg/base-drafts] Fix for #3835 (#4014)

Jana Iyengar <notifications@github.com> Thu, 20 August 2020 03:41 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 8219D3A10CA for <quic-issues@ietfa.amsl.com>; Wed, 19 Aug 2020 20:41:26 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.009
X-Spam-Level:
X-Spam-Status: No, score=-2.009 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, DKIM_VALID_EF=-0.1, HTML_IMAGE_ONLY_16=1.092, HTML_MESSAGE=0.001, MAILING_LIST_MULTI=-1, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, 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 V8JwQGwTLuNx for <quic-issues@ietfa.amsl.com>; Wed, 19 Aug 2020 20:41:25 -0700 (PDT)
Received: from out-18.smtp.github.com (out-18.smtp.github.com [192.30.252.201]) (using TLSv1.2 with cipher ADH-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 6D8203A10C2 for <quic-issues@ietf.org>; Wed, 19 Aug 2020 20:41:25 -0700 (PDT)
Received: from github-lowworker-f144ac1.va3-iad.github.net (github-lowworker-f144ac1.va3-iad.github.net [10.48.16.59]) by smtp.github.com (Postfix) with ESMTP id 3C5E9340E18 for <quic-issues@ietf.org>; Wed, 19 Aug 2020 20:41:24 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=github.com; s=pf2014; t=1597894884; bh=ZGwwh7+EcP4R+D9LWcbGE9sr0wSuWC3J1Cp+Vz5oUug=; h=Date:From:Reply-To:To:Cc:In-Reply-To:References:Subject:List-ID: List-Archive:List-Post:List-Unsubscribe:From; b=1eYWKqHPbci4BFleu7bj16QXhdnScEMaLIaU60sWoRWmB24WITwqIGjYg0GLJ3OMr VOcfWnL1Q8rldGmsRXfi2hh8YvNU/F3C8ciTFrySDr89myBtuo2OVvb5x7tUHOeai/ mNcO8I7DkVAx4xAsgP81Bo02GZkOJ8P8Z4ZHYwE0=
Date: Wed, 19 Aug 2020 20:41:24 -0700
From: Jana Iyengar <notifications@github.com>
Reply-To: quicwg/base-drafts <reply+AFTOJK34DR554CG4P723FWF5JHI6JEVBNHHCRI7QOY@reply.github.com>
To: quicwg/base-drafts <base-drafts@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <quicwg/base-drafts/pull/4014/c676959260@github.com>
In-Reply-To: <quicwg/base-drafts/pull/4014@github.com>
References: <quicwg/base-drafts/pull/4014@github.com>
Subject: Re: [quicwg/base-drafts] Fix for #3835 (#4014)
Mime-Version: 1.0
Content-Type: multipart/alternative; boundary="--==_mimepart_5f3df0e42d1b7_85919642835bb"; charset="UTF-8"
Content-Transfer-Encoding: 7bit
Precedence: list
X-GitHub-Sender: janaiyengar
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/hfJRRVxsvht1CGUlaHbuBy6Tc_c>
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, 20 Aug 2020 03:41:27 -0000

Right, the problem is that this PR doesn't exhaustively list all loops, but doing so will make this state machine unreadable and useless. The existing FSM shows transitions out of a state, not all the ones that keep the endpoint within that state.

-- 
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/4014#issuecomment-676959260