Re: Packet number spaces in multipath (was Re: What to do about multipath in QUIC)

Kazuho Oku <kazuhooku@gmail.com> Fri, 04 December 2020 18:52 UTC

Return-Path: <kazuhooku@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 09ADD3A0EAD for <quic@ietfa.amsl.com>; Fri, 4 Dec 2020 10:52:42 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.097
X-Spam-Level:
X-Spam-Status: No, score=-2.097 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=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 e7OCY7Ckvtaj for <quic@ietfa.amsl.com>; Fri, 4 Dec 2020 10:52:40 -0800 (PST)
Received: from mail-il1-x12d.google.com (mail-il1-x12d.google.com [IPv6:2607:f8b0:4864:20::12d]) (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 032083A0C1E for <quic@ietf.org>; Fri, 4 Dec 2020 10:52:39 -0800 (PST)
Received: by mail-il1-x12d.google.com with SMTP id v3so6135340ilo.5 for <quic@ietf.org>; Fri, 04 Dec 2020 10:52:39 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=UPYDUFaROGtBTvB4WaxdxKbhzaP0igUihTFstL4PPiI=; b=rNtMbbDG3r24umaKPqWzEAjstcpyk6ry2OpQwSqlve8SLfdmOyq/vMGLAHhxnnJyvp HG/UHoz2guJ9+B4Aj0BOeulPtTN+98QSDRjM8XBL+peCYgzC9eS3AD+Vob+ZmQxB8NFZ 91PchxF7bq9ydKHZuFJqv8Ij03IrPgluCZQRkI6YkJF25hLIH6/lhatLA0YNlP/AS/VF vT5Kdz3VnXguhbO94SyH4pWHEmFXgaFzp26el4UfNYqJhuvDxvSWxkku95dTJqNAE80K dM48k5GYCyNsAGM4rhyzL3kA501Jb+b11qCdSTXgvs2GHy+MruTm8a5xOj8ZcqCilU0p 51Jw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=UPYDUFaROGtBTvB4WaxdxKbhzaP0igUihTFstL4PPiI=; b=Twhp7DrEWsYk/HByUVvzHdJWin/YZlLy5KmlkBweKzbjvXxP887W5bDFr+iufujqGZ uoR/0OumZaNjn4XKRjaR/h7GcN7hC+8+Ul55cEJAbOdQ3loEFxl7qTn6cIp/8zobpzFG yNVhylephmAr5T1jdZJk5IbYGfkTSFlY5K7EFEowi+cXE1qfPx33SW9BHdcXisTzQagc v8nbLUiFXUIfAaO4V6fNLA6Vt6YXSw1ptMUg2KdUuDOD4DzSN0XdaDvFuANkqvOMPOUB RQyAB+190WTCMTXJl5QginXBSg9Q62r6mfjdkANDGNjkXDAPpueuOxAFsXzNo3wurciT XUJw==
X-Gm-Message-State: AOAM533I8UVoDZs0lmb8YbXWk2Llcg7TEhMkeGFi4OLAC//5Zf1uJFNR aNaUzSSxo6ASyeXUrhpAC3gcXRevytJVY37YmW4=
X-Google-Smtp-Source: ABdhPJxckSMx4Cz8cMin/9eOEYGgyuSNwvBzqPd7YL8kQpvyS9D930oq/M0RAyPWyDOPQLbPsDFTOi/nJ9QShjkBJ/s=
X-Received: by 2002:a92:7105:: with SMTP id m5mr7768436ilc.145.1607107959189; Fri, 04 Dec 2020 10:52:39 -0800 (PST)
MIME-Version: 1.0
References: <538215d1-3b9e-4784-920d-03be4c3a503a.miaoji.lym@alibaba-inc.com> <CAHgerOGGyAkE=TbCSuTO=T6HK9EM_+m+ASwPRm=o33HBrx7p3Q@mail.gmail.com> <CANatvzz_KSBws_upnx00P7JK=MbgyDRrR5n2VJcr1_=y=P6dfQ@mail.gmail.com> <062fe812-8afb-d946-8336-1f4dc5ebeaaf@uclouvain.be> <7540ef46-9948-c76c-3617-5755be3cdf37@huitema.net> <CANatvzymE+XRXUMBH2quGi=VEUNXDR_Eoer+o6p9+nkD-KFisQ@mail.gmail.com> <3bb7f359-ebe5-7a54-0224-bb1f5f1754af@huitema.net> <CANatvzxyj3nXP+GrnMkexWV-VN7Og4EGXysq1o0W2e2JGWzDrw@mail.gmail.com> <651e0ae1-0a5e-89e9-55c0-c33439599da6@huitema.net> <CANatvzw4Yg9aX2qyaGfc9sS=oEFOHxp-ZLSLF0EYNa8t6uN-iA@mail.gmail.com> <4b96dbb8-e72c-7f99-0bb3-9ee27b7bda78@huitema.net> <CANatvzz_H205MPP67Vnuqp0mwhM0TUbHvA5CfVGeoivCLcUdgw@mail.gmail.com> <850c5bdd-948e-269a-1488-77a77843d5e6@huitema.net> <CACpbDccY3f2wMd5vFzK=NC=Me=EhgmFWMDS7TTBZFtG2bm=JSg@mail.gmail.com> <3A1F078F-6F88-47E8-AEB0-5E8C889AC28C@ericsson.com> <CACpbDcdwBVkN84vw3eVFishMnKWwKOTw+HpGA_-VooY6TiwxQQ@mail.gmail.com> <8dcdb29c-bb94-8eda-32c9-9d147ca4fa6e@uclouvain.be>
In-Reply-To: <8dcdb29c-bb94-8eda-32c9-9d147ca4fa6e@uclouvain.be>
From: Kazuho Oku <kazuhooku@gmail.com>
Date: Sat, 05 Dec 2020 03:52:27 +0900
Message-ID: <CANatvzz5=0ornmcbU43iLY+S3tFMYySqvrGbwnyJfmugkXWgOA@mail.gmail.com>
Subject: Re: Packet number spaces in multipath (was Re: What to do about multipath in QUIC)
To: Quentin De Coninck <quentin.deconinck@uclouvain.be>
Cc: Jana Iyengar <jri.ietf@gmail.com>, Mirja Kuehlewind <mirja.kuehlewind@ericsson.com>, IETF QUIC WG <quic@ietf.org>, Christian Huitema <huitema@huitema.net>
Content-Type: multipart/alternative; boundary="00000000000005f99c05b5a7fb43"
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic/z4h69usLZ6RrlIUEzlo2BLn-VG8>
X-BeenThere: quic@ietf.org
X-Mailman-Version: 2.1.29
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: Fri, 04 Dec 2020 18:52:42 -0000

2020年12月4日(金) 18:21 Quentin De Coninck <quentin.deconinck@uclouvain.be>:

> Jana and all,
>
> I just have a concern about such a design using sequence number of the
> connection ID as the path ID.
>
> Assume that the server is willing to offer two available connection IDs at
> any time, and that the client is using both at the same time for multipath
> transfer. It uses the CID with seq num 0 on path A and the CID with seq num
> 1 on path B. Then, for any reason (like privacy), the client wants to
> change the connection ID used on path B (using seq num 1). However, the
> host cannot retire the CID with seq num 1 without retiring the CID with seq
> num 0 too.
>

I'm not sure if that is the case.

The consumer of a connection ID (in this case the client) can retire
connection IDs supplied by the issuer (the server) in any given order.
Separately, the issuer might ask the consumer to retire all connection IDs
with sequence numbers below a certain threshold by using the Retire Prior
To field, but in such case, the issuer can (and is expected to) supply
enough number of new connection IDs.

> If the server does not want to provide additional connection IDs and the
> client is not willing to reuse CID with seq num 1 on path A, the client is
> stuck with the CID with seq num 0 on path A and cannot use the path B
> anymore.
>
> This is why I believe we should not link the path ID to the sequence
> number of the Connection ID (because it is a monotonically increasing
> sequence number), and rather have a separate space for them.
>
> Best regards,
>
> Quentin
>
> Mirja,
>
> I'm referring to what Christian was summarizing below. Separate PN spaces
> but path ID is implicit as the sequence number of the connection ID, and
> ACKs reflect this sequence number.
>
> - jana
>
> On Wed, Dec 2, 2020 at 3:02 AM Mirja Kuehlewind <
> mirja.kuehlewind@ericsson.com> wrote:
>
>> Hi Jana,
>>
>>
>>
>> can you maybe confirm what you mean by “the design” below just to make
>> sure we are all on the same page: Is that different PN spaces per path, but
>> using the same key on all paths with CIDs as part of the nonce?
>>
>>
>>
>> Thanks!
>>
>> Mirja
>>
>>
>>
>>
>>
>> *From: *QUIC <quic-bounces@ietf.org> on behalf of Jana Iyengar <
>> jri.ietf@gmail.com>
>> *Date: *Wednesday, 25. November 2020 at 04:35
>> *To: *Christian Huitema <huitema@huitema.net>
>> *Cc: *IETF QUIC WG <quic@ietf.org>, Kazuho Oku <kazuhooku@gmail.com>
>> *Subject: *Packet number spaces in multipath (was Re: What to do about
>> multipath in QUIC)
>>
>>
>>
>> (I'm taking Spencer's suggestion to spin off a new thread.)
>>
>>
>>
>> Christian, Kazuho,
>>
>>
>>
>> Slowly catching up on this, and apologies if I'm missing anything that
>> was previously discussed in the centi-thread earlier.
>>
>>
>>
>> If I understand the design correctly, it makes sense to me, and is very
>> close to what we had implemented in Chromium a while ago.
>>
>>
>>
>> Having thought about this problem several times in the past, I'd like to
>> share a few points that come to mind.
>>
>>
>>
>> First though, a point on terminology: the receiver maintains a separate
>> "ReceivedPackets" for each CID, probably for each CID sequence number
>> (CSN). Let's please not call this a SACK Dashboard, to avoid confusion.
>>
>>
>>
>> On the question of sending more than 2^32 packets, I think that resetting
>> the packet number (PN) is ok on new CIDs. I don't see why a sender would
>> need to maintain continuity across multiple paths anyways, since the CC and
>> loss recovery contexts are going to be different across paths. A sender
>> _could_ still maintain these packets in the same "SentPackets" structure if
>> it wants to, it would need an internal representation of CSN+PN to key off.
>>
>>
>>
>> ACK Frames:
>>
>> ------------------
>>
>> Kazuho pointed out that when acknowledging, the ACK frame format should
>> include CSN. I agree. I would argue for a design where a receiver uses an
>> ACK frame per CSN (and encodes the CSN explicitly). There are multiple
>> values for doing this, the primary being that you benefit from compression
>> when PNs are contiguous within a CSN.
>>
>>
>>
>> Return Path:
>>
>> -----------------
>>
>> There are other ways to decide which return path to send an ACK on this,
>> but I would propose that a receiver respond on the most recently active
>> forward path. That is, the path on which a packet was most recently
>> received. This has the natural effect that a sender that wants to
>> distribute traffic in a particular way also causes ACKs to be distributed
>> similarly across the corresponding reverse paths.
>>
>>
>>
>> RTT measurements:
>>
>> ---------------------------
>>
>> The return path for ACK frames will impact RTT measurements. That is
>> fine. It is more important that information reach the sender as soon as
>> possible than that it should not affect RTT measurements; we can fix the
>> sender to measure and compensate as necessary. The estimated RTT statistics
>> reflect the distribution of samples, and if both paths are being used, then
>> the SmoothedRTT will reflect the expected value based on the traffic
>> distribution across paths.
>>
>>
>>
>> That said, it might be useful to track some new stats, especially about
>> how much later is a "late ack" -- an ACK frame that contains no useful
>> information -- is received. I'd have to think a bit more about this, but I
>> think we can devise a stat here. This gives us useful information on the
>> longest return path, which we can then explicitly use as part of the PTO
>> computations, to compensate for the fact that the RTT is based on the
>> shortest return path. (I would _not_ use this stat in the time-based loss
>> detection timer,  but PTO ought to be fine.)
>>
>>
>>
>> - jana
>>
>>
>>
>> On Tue, Nov 17, 2020 at 9:42 AM Christian Huitema <huitema@huitema.net>
>> wrote:
>>
>> I have been thinking about variations of that. I think we are making
>> progress here.
>>
>> If we follow your design, we get two constraints:
>>
>> 1) That the receive maintains an acknowledgement list based on the CID
>> through which the packets are received.
>>
>> 2) That the senders guarantee that the same sequence number will not be
>> used more than once with a specific CID.
>>
>> The main implementation cost is for receivers. They have to allocate and
>> maintain a "SACK Dashboard" in the context of each CID that they issue.
>>
>> Senders have lots of control. For example, the "only once" condition is
>> also met if a simple sender uses a single number space, as long as it does
>> not send more than 2^32 packets. That makes the design reasonably easy to
>> implement for constrained implementations.
>>
>> Zero length CID are still possible, but that means the receiver supports
>> only one PN space per sender. Multipath is not impossible, but you end up
>> managing a single RTT and a single recovery structure. Not very good, but
>> similar to what happens if multipath is implemented at the IP level.
>>
>> There is still an issue for coordinating the take down of a path. Suppose
>> that a client was using both Wi-Fi and LTE, and moves out of Wi-Fi range.
>> The server will find out eventually that the packets sent to the Wi-Fi path
>> are never acknowledged, but that may take some time. It would be better if
>> the client could send a message saying something like "Abandon this path".
>> That's not the same semantic as "retire this CID". We need a new frame for
>> that.
>>
>> "Abandon this path" is an extreme case. There are half-way steps, like
>> manage the relative priority of a path.
>>
>>

-- 
Kazuho Oku