Re: Deadlocking in the transport

Mikkel Fahnøe Jørgensen <mikkelfj@gmail.com> Thu, 11 January 2018 00:09 UTC

Return-Path: <mikkelfj@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 A9EA812D7E8 for <quic@ietfa.amsl.com>; Wed, 10 Jan 2018 16:09:00 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.698
X-Spam-Level:
X-Spam-Status: No, score=-1.698 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, FREEMAIL_FROM=0.001, FREEMAIL_REPLY=1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_LOW=-0.7, SPF_PASS=-0.001, UNPARSEABLE_RELAY=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 4BtEGiOTvSy9 for <quic@ietfa.amsl.com>; Wed, 10 Jan 2018 16:08:59 -0800 (PST)
Received: from mail-io0-x232.google.com (mail-io0-x232.google.com [IPv6:2607:f8b0:4001:c06::232]) (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 CB6C1127058 for <quic@ietf.org>; Wed, 10 Jan 2018 16:08:58 -0800 (PST)
Received: by mail-io0-x232.google.com with SMTP id c17so1380130iod.1 for <quic@ietf.org>; Wed, 10 Jan 2018 16:08:58 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:in-reply-to:references:mime-version:date:message-id:subject:to :cc; bh=F95DPAs8J6cpqpibOJF5dCPWd1CSWvFawuxgmYffezM=; b=hYrtjjt+Fay8/DNHAdFLyfLHV+sfZ6d+CzqKAxrtJru0fS4ZpvsubufTMH5mIiDh4O cgzQLddnr2vKD2fwVhxNxu5dClLAT5MKwfqN3TjF/adZ2KYqjv1JcX7yffwki52el6ue BaAWExMBxPro319BGc9YeqPHb5vi+rxOyk8FJm+KuQqTjpfLbGLWb3oVNZgMVYlGEhiQ SYPv20geVanMPQWTYOOALN3sbT9NiWIcDmFvHwU6chxpN1D8cu6a4uy1er/9IJEuSvHt WmRO4RrpG3gBYNzlMbdVhuAGeT976LXTgPlppkrZF2ONXAfHOB+DWtMumvL4hNTPKBvC uaNg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:in-reply-to:references:mime-version:date :message-id:subject:to:cc; bh=F95DPAs8J6cpqpibOJF5dCPWd1CSWvFawuxgmYffezM=; b=arXFur1BdaF6a6YRldQVOHBRDwXzXMgQzThcATPaC9keKsNsXV289IBzbfazH8meRk PdnygGXomjUtaUFwrmRAOurTkZwuRQV+R/DbWjs0Ap2gVF0RcyuuQApC0JaGRF1y/6xw OgTG5HKfDdspjQhmwDsxPYgw8yZbo0nbcOj+mMf5wV0vnHFsiebQzs7PUV0MQ9A/A+rX R46vNAn/wwdw5no28H3DW4zzA3+30VfaU0oHirVlGJGvXhldDNax1y0W3Mj+5/oBbCDl XNnCBz4tzhZuyoin4/PTWenTuWPNfSnaJwwhlMXnsNhdqxGrLqR/8bBbvHNdwOuzuvr3 oeaQ==
X-Gm-Message-State: AKGB3mI0qAPeLZ93Jm04IzT13S/GCtt7UTpJb/KrVtnK8WZxzfIQ3eDw g35c9oe1RkdMMV6Y/xIxsWWPM6/vFSQWOV63Uw4=
X-Google-Smtp-Source: ACJfBoutzOu2yd+HSOBgwOMKvLB1Gyab4zu4GLf02ts0W7Kn4Jmh21pIZieCW5oMWLCSCXtR98SZC4Xd0vK8M7j0BaI=
X-Received: by 10.107.168.73 with SMTP id r70mr19094312ioe.16.1515629338106; Wed, 10 Jan 2018 16:08:58 -0800 (PST)
Received: from 1058052472880 named unknown by gmailapi.google.com with HTTPREST; Wed, 10 Jan 2018 19:08:57 -0500
From: Mikkel Fahnøe Jørgensen <mikkelfj@gmail.com>
In-Reply-To: <CABkgnnXprsWX-u2-yA9Pt9-ScddH0vmuAU889A+YWy2NzLeQvw@mail.gmail.com>
References: <CABkgnnUSMYRvYNUwzuJk4TQ28qb-sEHmgXhxpjKOBON43_rWCg@mail.gmail.com> <CAGD1bZYV7iHg_YarUMqUSnpbAB2q8dwEWO=dHE2wbw8Oea_zfA@mail.gmail.com> <CAD-iZUY-Y-MO_T74JmP6B9XVj=91eVovfcWnE=9s9kd0Ji+CnA@mail.gmail.com> <CAGD1bZa7ugOTT11qOKfCm4NFdi+t-pdrXnscWHgg0bO5tgUqmg@mail.gmail.com> <20180110194716.GA30573@ubuntu-dmitri> <CAGD1bZYiDOakLYNppMBr=99JreX3Xr2zkS7O2DRNfvr_o0NUbg@mail.gmail.com> <20180110200646.GB30573@ubuntu-dmitri> <CAGD1bZa-ZOw5J6oSWBYdk3uYHOpGvak+vwGp0XsZB44zbLvRrw@mail.gmail.com> <20180110202357.GC30573@ubuntu-dmitri> <CAGD1bZbPM3wnatLLN5938wGPo3e1qmxnGzobSTym6XX3W8FNJQ@mail.gmail.com> <CABkgnnU3CQkvd7m+G80sCOPJfzb_=HonbRDSQJC8wqD_uWoj0w@mail.gmail.com> <CAGD1bZbrtMEJE-OOXqG02yWmHy_2baEvaZu=rFCBTtcq94JrOg@mail.gmail.com> <CABkgnnWtmprf291pBgTOrfi6yU9tXSfKi5J5uQpm7Z4JHuiGWg@mail.gmail.com> <CAN1APddrGuGyBYXmX5yi+Jjc5oTc=OXZBWo4Pg00VkWJWu9y_g@mail.gmail.com> <CABkgnnXprsWX-u2-yA9Pt9-ScddH0vmuAU889A+YWy2NzLeQvw@mail.gmail.com>
X-Mailer: Airmail (420)
MIME-Version: 1.0
Date: Wed, 10 Jan 2018 19:08:57 -0500
Message-ID: <CAN1APdduxT9L7EZnr7O4P6+58yz-dHA4tvajJEFe7NmJ6RaFUg@mail.gmail.com>
Subject: Re: Deadlocking in the transport
To: Martin Thomson <martin.thomson@gmail.com>
Cc: Charles 'Buck' Krasic <ckrasic@google.com>, Jana Iyengar <jri@google.com>, QUIC WG <quic@ietf.org>
Content-Type: multipart/alternative; boundary="001a11426b784f20ea056274f450"
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic/cTnpJo306YsEstrA0k5urSGprk4>
X-BeenThere: quic@ietf.org
X-Mailman-Version: 2.1.22
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: Thu, 11 Jan 2018 00:09:01 -0000

I’m not sure we disagree, but it is hard to formulate exact.

An example is a bus and 2 car lanes, and a bicycle lane. You don’t stop all
traffic to ensure a bus can get through, but you reserve some capacity for
priority.

My concern is that you create a presidential cortege where you close the
highway for all other traffic for some hard to predict interval. It might
solve the primary deadlock but could generate others, and have other
unintended side effects.


Kind Regards,
Mikkel Fahnøe Jørgensen


On 11 January 2018 at 00.59.48, Martin Thomson (martin.thomson@gmail.com)
wrote:

On Thu, Jan 11, 2018 at 9:56 AM, Mikkel Fahnøe Jørgensen
<mikkelfj@gmail.com> wrote:
> I think that this needs to be in the main spec. Failing to document
> this sort of pitfall could be fatal. Does anyone disagree?
>
> I agree with the idea which I find it important. But I disagree with
strict
> priorities. It should be possible to for lower priorities to communicate
> with reduced throughput which is readily handled by a pacing algorithm.
> There need to be some guarantees for priority 0 though.

See what I mean when I said that talking about this in terms of
priorities is hazard? If you have a concrete dependency, then
reducing throughput doesn't solve the issue. At best, it might hide
the issue by reducing probability.

The language problem is that we can sometimes express a dependency in
a priority scheme, such as the one in h2. This is fundamentally
different to that particular scheme in that it isn't something that
can be fudged or ignored.