Re: HTTP/2: Race between PUSH_PROMISE and exclusive PRIORITY

Kazuho Oku <kazuhooku@gmail.com> Tue, 20 September 2016 03:04 UTC

Return-Path: <ietf-http-wg-request+bounce-httpbisa-archive-bis2juki=lists.ie@listhub.w3.org>
X-Original-To: ietfarch-httpbisa-archive-bis2Juki@ietfa.amsl.com
Delivered-To: ietfarch-httpbisa-archive-bis2Juki@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 064C212B114 for <ietfarch-httpbisa-archive-bis2Juki@ietfa.amsl.com>; Mon, 19 Sep 2016 20:04:00 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -8.837
X-Spam-Level:
X-Spam-Status: No, score=-8.837 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HEADER_FROM_DIFFERENT_DOMAINS=0.001, RCVD_IN_DNSWL_HI=-5, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, RCVD_IN_SORBS_SPAM=0.5, RP_MATCHES_RCVD=-2.316, SPF_HELO_PASS=-0.001, SPF_PASS=-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 pMz1e4mvN0YG for <ietfarch-httpbisa-archive-bis2Juki@ietfa.amsl.com>; Mon, 19 Sep 2016 20:03:58 -0700 (PDT)
Received: from frink.w3.org (frink.w3.org [128.30.52.56]) (using TLSv1.2 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id C3150127071 for <httpbisa-archive-bis2Juki@lists.ietf.org>; Mon, 19 Sep 2016 20:03:58 -0700 (PDT)
Received: from lists by frink.w3.org with local (Exim 4.80) (envelope-from <ietf-http-wg-request@listhub.w3.org>) id 1bmBHr-0003dN-BB for ietf-http-wg-dist@listhub.w3.org; Tue, 20 Sep 2016 02:59:59 +0000
Resent-Date: Tue, 20 Sep 2016 02:59:59 +0000
Resent-Message-Id: <E1bmBHr-0003dN-BB@frink.w3.org>
Received: from lisa.w3.org ([128.30.52.41]) by frink.w3.org with esmtps (TLS1.2:DHE_RSA_AES_128_CBC_SHA1:128) (Exim 4.80) (envelope-from <kazuhooku@gmail.com>) id 1bmBHk-0003Xr-KU for ietf-http-wg@listhub.w3.org; Tue, 20 Sep 2016 02:59:52 +0000
Received: from mail-wm0-f42.google.com ([74.125.82.42]) by lisa.w3.org with esmtps (TLS1.2:RSA_AES_128_CBC_SHA1:128) (Exim 4.80) (envelope-from <kazuhooku@gmail.com>) id 1bmBHf-0000a3-VI for ietf-http-wg@w3.org; Tue, 20 Sep 2016 02:59:51 +0000
Received: by mail-wm0-f42.google.com with SMTP id d66so16867902wmf.0 for <ietf-http-wg@w3.org>; Mon, 19 Sep 2016 19:59:27 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=crXWjiVlUqQh9i4SZQmhUfjk1PT9dMxv1V+YUEc5dZg=; b=E7AOij9Tu4/GVC8EzkzoerejarL5Z8zGIOcPNuG5tRZ240JjL2vESw9iNi5strtU+d jM4czD8Tc6gU/U6icSUQLKC7EI00hS4lrEdPoRL/fpFbRIFpAQZCQHHSszKXEMPspIE8 fNCdPOt6bI7xV4RgeZfu8gP2yRj5T23TEAD3fkRRZyT0Zs5kWhsRJ5V/yY4YLYWOIs8N fuP8khBr6ajMvvKO4ZWE55PntKH2McovbZI8MJd5/hznVtPgxSjuyN/QpZT5eMOCiB09 fPP/BWUONDNUwnoYLCmObF/AgmEfLG5L4t+bCuPPymsiZZVGgEWGUSQxFZMHbDrFLLdO ILoA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=crXWjiVlUqQh9i4SZQmhUfjk1PT9dMxv1V+YUEc5dZg=; b=B7kVuxJRMZ9tCsUIUROGkT/5yTCjKLMtaSSK8w4SkoJHxsdvLlPjcgyx5/M5ev89Bd 1MpdtqtK/JrH+Xp1V/2xeaKofXkbkqaKpgOeBaFkadVqPqFe1Wmt4XlyxrvJZF2Moyl7 Po4+HwcrdFWBAJa2cpYSQsIpjbz2VrXyqA849oELRqCMb4R/s74stKrKl/TrUE+s2Kow rkkHsZ+Y388B/7/APi4FJWBXMjKcO0Hbzvcu6o8ZLdE00C23kZQk0QjOUdS+9dLo2eje wgKhwhF7z4/CYE2RlEUVgvMUOCQNs4dPsARUzp51XgFFpdYfsCnu9uqqxeALsaoUR4BV ddiw==
X-Gm-Message-State: AE9vXwO6/DC50K/fk78XGmP7N+iAZAery8nY2iLwecZVA0iYsNqSWqTocYiewXnwZDqDdErB+ZMajv7Y7YnlSA==
X-Received: by 10.194.68.8 with SMTP id r8mr25959797wjt.190.1474340361390; Mon, 19 Sep 2016 19:59:21 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.194.122.67 with HTTP; Mon, 19 Sep 2016 19:59:20 -0700 (PDT)
In-Reply-To: <CABkgnnWMErzNM4BcL9jZi=yTbDcyoM8KhvpCWDcGgKu0tZei+w@mail.gmail.com>
References: <CA+3+x5EG+PV-FEcy23xPU5iJgqh6u6aVRsTS-g=fQZnsMFTMHg@mail.gmail.com> <CABkgnnUVa-7KfidT6caEXQ-_WEMN-UHoBgBUC=MUDxzcB4RL=g@mail.gmail.com> <CANatvzwrCOt8oFeMcwo-B7kYYRhAw=J8ANNtuCSGrngF-zoK4Q@mail.gmail.com> <CABkgnnWMErzNM4BcL9jZi=yTbDcyoM8KhvpCWDcGgKu0tZei+w@mail.gmail.com>
From: Kazuho Oku <kazuhooku@gmail.com>
Date: Tue, 20 Sep 2016 11:59:20 +0900
Message-ID: <CANatvzx2nNXNh=aKXqWAsH4vP3ZuJ-Y_OsWX4z-bzG6VvdAHnw@mail.gmail.com>
To: Martin Thomson <martin.thomson@gmail.com>
Cc: Tom Bergan <tombergan@chromium.org>, HTTP Working Group <ietf-http-wg@w3.org>
Content-Type: text/plain; charset="UTF-8"
Received-SPF: pass client-ip=74.125.82.42; envelope-from=kazuhooku@gmail.com; helo=mail-wm0-f42.google.com
X-W3C-Hub-Spam-Status: No, score=-5.2
X-W3C-Hub-Spam-Report: AWL=-1.030, BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_SORBS_SPAM=0.5, SPF_PASS=-0.001, W3C_AA=-1, W3C_WL=-1
X-W3C-Scan-Sig: lisa.w3.org 1bmBHf-0000a3-VI e7314920057a1d42fdafa5b8456612c6
X-Original-To: ietf-http-wg@w3.org
Subject: Re: HTTP/2: Race between PUSH_PROMISE and exclusive PRIORITY
Archived-At: <http://www.w3.org/mid/CANatvzx2nNXNh=aKXqWAsH4vP3ZuJ-Y_OsWX4z-bzG6VvdAHnw@mail.gmail.com>
Resent-From: ietf-http-wg@w3.org
X-Mailing-List: <ietf-http-wg@w3.org> archive/latest/32415
X-Loop: ietf-http-wg@w3.org
Resent-Sender: ietf-http-wg-request@w3.org
Precedence: list
List-Id: <ietf-http-wg.w3.org>
List-Help: <http://www.w3.org/Mail/>
List-Post: <mailto:ietf-http-wg@w3.org>
List-Unsubscribe: <mailto:ietf-http-wg-request@w3.org?subject=unsubscribe>

2016-09-20 10:56 GMT+09:00 Martin Thomson <martin.thomson@gmail.com>:
> On 20 September 2016 at 11:34, Kazuho Oku <kazuhooku@gmail.com> wrote:
>> Therefore, a cautious server implementation would try to retain the
>> prioritization states of most-recently-used streams up to
>> MAX_CONCURRENT_STREAMS. By doing so, one can get rid of the risk to
>> receive a PRIORITY stream relative to the state of a closed stream,
>> since a client would never try to open more streams at once than
>> MAX_CONCURRENT_STREAMS.
>
> That's not going to work, since the stream limit is unidirectional,
> whereas priority applies to both.

Thank you for the correction. I agree.

If a server is going to push streams, the number of prioritization
states that needs to be tracked becomes the maximum number of
concurrent streams opened by the client _plus_ the maximum opened by
the server needs to be tracked.

Anyways, tracking such large amount of states is inefficient, and I
think we should better fix the issue together with the race pointed
out by Tom.

-- 
Kazuho Oku