Re: Deadlocking in the transport

Ian Swett <ianswett@google.com> Wed, 10 January 2018 13:46 UTC

Return-Path: <ianswett@google.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 80550127419 for <quic@ietfa.amsl.com>; Wed, 10 Jan 2018 05:46:30 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.01
X-Spam-Level:
X-Spam-Status: No, score=-2.01 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001, T_RP_MATCHES_RCVD=-0.01] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=google.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 aVokSJQHYdQp for <quic@ietfa.amsl.com>; Wed, 10 Jan 2018 05:46:28 -0800 (PST)
Received: from mail-io0-x230.google.com (mail-io0-x230.google.com [IPv6:2607:f8b0:4001:c06::230]) (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 577DB12420B for <quic@ietf.org>; Wed, 10 Jan 2018 05:46:28 -0800 (PST)
Received: by mail-io0-x230.google.com with SMTP id f6so22475254ioh.8 for <quic@ietf.org>; Wed, 10 Jan 2018 05:46:28 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to; bh=gxh9CNWPv2wiippUriu4/b8htj8+mrwo/YOrF8H9bCo=; b=iJiYsYemUvn05mvnnK3vYa8tInMRslJuJOdwfEu5ra7CsVrmw9sPYrWL4SVGuiZHfQ uwbpQGLs6XHdPC3T3xYPq+j6ZnpuFxMMa90iqt1XEBJ5MAf/jQvjeyDkJleNcir7Jzrr El+YCEYgAxtMs3byuXbORGkatoo2xLr7ap0IbAUACrKsh+o4W4/u9pA+XU1NQ7sjC36Y +IGqY8qCBGRvkjNlZK42wtvxxUUNoXKXjJMB2luFB9n3tdE6dRAgp5RHsvZ9TZeZuYfS /83+XMvi2MLHW26tvu+mkgzPz59F7+rCKsj1CU3xt9n2LsdH5TpHTL9bb06BPlcZA9rz gZ4Q==
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; bh=gxh9CNWPv2wiippUriu4/b8htj8+mrwo/YOrF8H9bCo=; b=IUyEjaVBpIe3SxPiDOdOJe0q5v64Nu/wjp6FjEqy6iNI9mn8+6205OX0p7D2156/3+ eTWMoDWEOoc6eSWp2Ud+szenaBTeiqYt/IWd5rdjdF69rXnxSuL/6WYxLCTGNq9UBQ9X YiELiiKfKlVReME8wCWecmN6Q/AyJQ1BZwogzeFMKzqGytMg7JwcYuuwe0uuWD3CUSen xsKxs46GK9uaZJLuxp2bSiC20QKbJks/vlEW7FZB5Wu08SXIENFf/ftg5lDxgA9HPdp4 fn5wl2VMh0d1z4z/VA2BFfP1c4OXztqv8egIvQLGjL7v2UJ0VCRGeULZOGsWajocqFL+ txrw==
X-Gm-Message-State: AKwxytenCVg7x1AELVXpCk57MEtAd4ExWJfK41Sg7CmtPwR8SEOSRWJv bPQL9G9PDkxBRuRgPfvs/gASKZc2G/FQ7X4CF14alA==
X-Google-Smtp-Source: ACJfBovrAtcplx3XmRZt6tWgFHqolzrYY3X7nZwXv3Np3VG2c76osQyypxExHWG4/8B570nC63vhl4VvD01LksMtLBA=
X-Received: by 10.107.132.24 with SMTP id g24mr18599473iod.283.1515591987350; Wed, 10 Jan 2018 05:46:27 -0800 (PST)
MIME-Version: 1.0
Received: by 10.107.82.17 with HTTP; Wed, 10 Jan 2018 05:46:06 -0800 (PST)
In-Reply-To: <20180110070542.GA27331@ubuntu-dmitri>
References: <CABkgnnUSMYRvYNUwzuJk4TQ28qb-sEHmgXhxpjKOBON43_rWCg@mail.gmail.com> <CAGD1bZYV7iHg_YarUMqUSnpbAB2q8dwEWO=dHE2wbw8Oea_zfA@mail.gmail.com> <20180110070542.GA27331@ubuntu-dmitri>
From: Ian Swett <ianswett@google.com>
Date: Wed, 10 Jan 2018 08:46:06 -0500
Message-ID: <CAKcm_gNR30tNVR6hBH7T46+AXsu42e7-Mo6m8ye1sPwkt_WLEQ@mail.gmail.com>
Subject: Re: Deadlocking in the transport
To: Jana Iyengar <jri@google.com>, Martin Thomson <martin.thomson@gmail.com>, QUIC WG <quic@ietf.org>
Content-Type: multipart/alternative; boundary="001a113f28a008772b05626c42b3"
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic/xm9HjiZfCVq299FO-v6ee2ISeb0>
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: Wed, 10 Jan 2018 13:46:30 -0000

I would agree that #4 is the right direction.  GQUIC also does #4, because
it forces all headers to be written before any requests that may depend
upon them are written.

If the application knows there is a dependency, it should be the
application's responsibility to deal with it, not the transport's, which
also points to #4(or maybe #1).

I also think there are use cases for data transfer that is not a stream and
does not consume flow control, but I don't think they solve every problem
and I don't think they should be necessary here.

On Wed, Jan 10, 2018 at 2:05 AM, Dmitri Tikhonov <
dtikhonov@litespeedtech.com> wrote:

> On Tue, Jan 09, 2018 at 10:49:28PM -0800, Jana Iyengar wrote:
> > Protocols that create inter-stream dependency should be able to express
> > that in priorities down to the transport, which I believe is expected to
> be
> > part of the API. I believe that handles this issue, doesn't it?
>
> When it comes to priorities, the QUIC I-D gives implementations
> some leeway [1].  One cannot guarantee that a conforming
> implementation will not deadlock.
>
>   - Dmitri.
>
> 1. https://tools.ietf.org/html/draft-ietf-quic-transport-08#section-10.6
>
>