Re: [quicwg/base-drafts] Don't call two different things "blocking" (#3172)

Dmitri Tikhonov <notifications@github.com> Wed, 30 October 2019 17:56 UTC

Return-Path: <bounces+848413-a050-quic-issues=ietf.org@sgmail.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 7E8C812080B for <quic-issues@ietfa.amsl.com>; Wed, 30 Oct 2019 10:56:20 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -3
X-Spam-Level:
X-Spam-Status: No, score=-3 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_MESSAGE=0.001, MAILING_LIST_MULTI=-1, RCVD_IN_DNSWL_NONE=-0.0001, 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 L7x3Z5No3cbh for <quic-issues@ietfa.amsl.com>; Wed, 30 Oct 2019 10:56:18 -0700 (PDT)
Received: from o4.sgmail.github.com (o4.sgmail.github.com [192.254.112.99]) (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 75FA512000F for <quic-issues@ietf.org>; Wed, 30 Oct 2019 10:56:18 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d=github.com; h=from:reply-to:to:cc:in-reply-to:references:subject:mime-version:content-type:content-transfer-encoding:list-id:list-archive:list-post:list-unsubscribe; s=s20150108; bh=xVieCRs/+SnooYH5Vxs8/tsBrr4=; b=jOW0X6q/Die+dCx3 iacS/ezp8UG8frcLuCTHb/PNGsXe21DKi6IpRlo8cGAJkrYgrycXUQ6k5UDdIdt8 TaW5okYjwKz0zoy/aV5Sp/ev6mkl0lM4Eg16xk3D6lbaU19AfyePQHQ7Bxw7MXBS d9mDOkMUpwoGROUzGXN7NJa33+k=
Received: by filter0673p1iad2.sendgrid.net with SMTP id filter0673p1iad2-26706-5DB9CEC1-5 2019-10-30 17:56:17.503640006 +0000 UTC m=+431795.760094055
Received: from github-lowworker-61c4d48.cp1-iad.github.net (unknown [140.82.115.7]) by ismtpd0069p1iad1.sendgrid.net (SG) with ESMTP id aTwx6zMuTFSWB3lTBzlfVw for <quic-issues@ietf.org>; Wed, 30 Oct 2019 17:56:17.411 +0000 (UTC)
Received: from github.com (localhost [127.0.0.1]) by github-lowworker-61c4d48.cp1-iad.github.net (Postfix) with ESMTP id 56E981A0346 for <quic-issues@ietf.org>; Wed, 30 Oct 2019 10:56:17 -0700 (PDT)
Date: Wed, 30 Oct 2019 17:56:17 +0000
From: Dmitri Tikhonov <notifications@github.com>
Reply-To: quicwg/base-drafts <reply+AFTOJK2XTLIJRJJ34HMMJTN3Y4HVDEVBNHHB5L2DQ4@reply.github.com>
To: quicwg/base-drafts <base-drafts@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <quicwg/base-drafts/pull/3172/review/309404880@github.com>
In-Reply-To: <quicwg/base-drafts/pull/3172@github.com>
References: <quicwg/base-drafts/pull/3172@github.com>
Subject: Re: [quicwg/base-drafts] Don't call two different things "blocking" (#3172)
Mime-Version: 1.0
Content-Type: multipart/alternative; boundary="--==_mimepart_5db9cec154720_76cc3fb1504cd95c153554"; charset="UTF-8"
Content-Transfer-Encoding: 7bit
Precedence: list
X-GitHub-Sender: dtikhonov
X-GitHub-Recipient: quic-issues
X-GitHub-Reason: subscribed
X-Auto-Response-Suppress: All
X-GitHub-Recipient-Address: quic-issues@ietf.org
X-SG-EID: l64QuQ2uJCcEyUykJbxN122A6QRmEpucztpreh3Pak3u/i1pfM+kmiNdsy95zK+9pgO8xz8gQEBRxT PLCnYwRi4s0LqaaZJxUWB5YvNpJ9tycKjiUopCchJPy32jCXDjwSBENIBldNB9vO2DmiZQA8EzVehd jqQtg7/yjRKgJ6y51JlgeqqZSRshDyyzfzVxFJjCDpEMVCiPaI06vacnR+pBr9JTl6Vi5rCOnMWXCw 4=
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic-issues/SwUgNmMw62AOeDtLrrwWl2CQiYk>
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: Wed, 30 Oct 2019 17:56:20 -0000

dtikhonov requested changes on this pull request.

This review _suggests_ changes, not "requires" them.

>  
 An encoder MUST NOT insert an entry into the dynamic table (or duplicate an
-existing entry) if doing so would evict a blocking entry.  In order to avoid
-this, an encoder that uses the dynamic table has to keep track of blocking
-entries.
+existing entry) unless all entries that would be evicted are evictable.  In

That a bit of a roundabout way of stating that encoder might not be able to free up enough room due to non-evictable entries.

Perhaps instead of ".. unless..."

> ...if the dynamic table does not have enough room and one or more entries that would need to be evicted to make room are not evictable.

>  
-A dynamic table entry is considered blocking and cannot be evicted until its
-insertion has been acknowledged and there are no outstanding unacknowledged
-references to the entry.  In particular, a dynamic table entry that has never
-been referenced can still be blocking.
+A dynamic table entry cannot be evicted immediately after insertion, even if it

The heading says this section is about limits on insertions, yet it begins with limits on evictions.  It would be better to start with something like

> Insertion of the dynamic table entry may not be possible if the table contains entries that cannot be evicted.  [Explanation follows.]

-- 
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/3172#pullrequestreview-309404880