Re: Deadlocking in the transport

Martin Thomson <martin.thomson@gmail.com> Thu, 18 January 2018 07:21 UTC

Return-Path: <martin.thomson@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 B204A12AF6E for <quic@ietfa.amsl.com>; Wed, 17 Jan 2018 23:21:38 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2
X-Spam-Level:
X-Spam-Status: No, score=-2 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, RCVD_IN_DNSWL_NONE=-0.0001, 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 B67EOuIvDeST for <quic@ietfa.amsl.com>; Wed, 17 Jan 2018 23:21:37 -0800 (PST)
Received: from mail-oi0-x22e.google.com (mail-oi0-x22e.google.com [IPv6:2607:f8b0:4003:c06::22e]) (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 534DE126D0C for <quic@ietf.org>; Wed, 17 Jan 2018 23:21:37 -0800 (PST)
Received: by mail-oi0-x22e.google.com with SMTP id a70so15027247oib.1 for <quic@ietf.org>; Wed, 17 Jan 2018 23:21:37 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=lTL3i5z7K8ZgAx2y1LCgmmap2DbY62EywSrRZVAUKjM=; b=Cse74eDNSm1Nr9ZGERD4dVJf7IqpZypl806wJW8Oc813Ty1zRyS14HAJDbrT5AkOeH C7b9V55MuKfSHAomg79HfxmDdU8a88Axx0EerdgbDvCi58fwxE8KajtIU9DKSpG1/44U mWUhvv8e2rBH0n1VaGVu2Mp8hvzeJaiCmQHTqCnbwkzPxg43SLnripia7t3CfMptktuS gRbq7pktNf9gWZRWnS+FMkjX2obSZ7sz5dem0cT63UmXJEMGOyM5pwa0VG/cJxJqvAnv YE7cp3XxAf5Cue/ZPD0FYmrReenD1dSvWMWKmNfRPgTThEXQ5xookj+HWl1CJaB0Vf0n VSoA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=lTL3i5z7K8ZgAx2y1LCgmmap2DbY62EywSrRZVAUKjM=; b=Kx8gzTSVAFu3s+hN10sHsDpNwzDGZya7oK2DKSrPAQEQVpT8zm226F/g3PqCn+TR9+ X5bGua199LXuqHEYGaTCs+J6mHXADphDMnSi+ji9oHktZjc9MInX1IR/JuJ3uAVz1/Kn ZWY4Z8/vwGu/gA3vGl2fuODeXVIBNl2ZdMQD8CUtbP9Vu4hXEmPuCmJICZgTxssCzmBm iD3aP+MiIEHiUNOawp1E5qUblIMbGQQzDBbdF/jV+nbOJnCVu8Z3n8tTJEP88WOlzH65 NZ7Cej/Tv8341jod6f1bNUHEOUWkiPRHRQV1DZaJ6HoAJucyMvb1BIzvSQ4n8VDQ9orz iVEg==
X-Gm-Message-State: AKwxytfLT+iq880UCIyXi9L3gsryZnuAZilXKsnGVQN6QICbETvzdMmo 9IEr1CxkMDtI7xnMLI5K08KrOpyRLKigxOKS5ko=
X-Google-Smtp-Source: ACJfBoshtHB9JyJ8mgLRbQERzcaBoX5ayy5nczXm8c6xPzazaKZAqZhjOBdSaG8UcAlLl6OdimynRx9GHVcMODkxg1w=
X-Received: by 10.202.243.131 with SMTP id r125mr2492569oih.50.1516260096572; Wed, 17 Jan 2018 23:21:36 -0800 (PST)
MIME-Version: 1.0
Received: by 10.157.39.16 with HTTP; Wed, 17 Jan 2018 23:21:35 -0800 (PST)
In-Reply-To: <CAKcm_gN2s2c9Uw86Ppb0yGLHXnahSfLBaWG7VoX31Nvut_hBAA@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> <EDF23BB9-DA04-44A5-8682-3D22C1DD7380@tik.ee.ethz.ch> <51C80222-9513-4CF6-82FD-5692C1DAB058@fb.com> <CABkgnnU+9u3pqzN7QbowAktxwFwj2XqJDhVyB5h5XOszF1CuXg@mail.gmail.com> <CAGD1bZa7L2OzDjf_FUTsQuxpfkRTjs97tCjZkBg9xVcAKqNfhw@mail.gmail.com> <CAKcm_gN2s2c9Uw86Ppb0yGLHXnahSfLBaWG7VoX31Nvut_hBAA@mail.gmail.com>
From: Martin Thomson <martin.thomson@gmail.com>
Date: Thu, 18 Jan 2018 18:21:35 +1100
Message-ID: <CABkgnnW=75JxULpKgjO3K8Ry1E2umDq4icYJS3SqetRSMjamAw@mail.gmail.com>
Subject: Re: Deadlocking in the transport
To: Ian Swett <ianswett@google.com>
Cc: Jana Iyengar <jri@google.com>, QUIC WG <quic@ietf.org>, Roberto Peon <fenix@fb.com>
Content-Type: text/plain; charset="UTF-8"
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic/iftIzwC_4-sr4Ug9TFI20Omr6Go>
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, 18 Jan 2018 07:21:39 -0000

Yes, what Ian said (and more to what Jana said).  I think that we've
some proportion of the working group who are operating on one set of
assumptions and another on a different set of assumptions on this
subject.  Until now, that didn't bother me much.  After all, that's
normal for a whole range of issues.

Now there's a concrete problem, so let's dig into this properly.

FWIW, I don't think that we'll resolve this particular issue in
Melbourne, but I hope that we can at least start that process.  This
promises to be interesting.

On Thu, Jan 18, 2018 at 9:36 AM, Ian Swett <ianswett@google.com> wrote:
> +1 million
>
> On Wed, Jan 17, 2018 at 4:43 PM, Jana Iyengar <jri@google.com> wrote:
>>
>> We will discuss this at the interim, but one comment, inline.
>>
>>>
>>> In part, it's the ignorance of the intermediary that causes this
>>> particular problem.  If the intermediary was aware of the protocol
>>> details then it might be able to recognize and avoid these situations,
>>> but that seems a little too much to expect of intermediaries. Ruling
>>> out the entire class of intermediary that operates purely at the
>>> transport layer is extremely harsh.
>>>
>>> What is more likely here is that we describe this situation, explain
>>> that it is impossible to prevent in the presence of intermediation,
>>> and explain how to kill the right streams in order to ensure forward
>>> progress doesn't stall indefinitely.
>>
>>
>> Exactly because intermediaries make things difficult, it's important to be
>> certain that the intermediary behavior we are discussing is one that there's
>> a strong argument for supporting. We have spent countless cycles on
>> designing around uncertain and unknown intermediary behaviors in various
>> parts of the IETF, and I don't want us to recreate these boogeymen. I think
>> it's reasonable to rule out classes of middleboxes if we don't have strong
>> arguments for supporting them.
>>
>
>