Re: [spring] Request to close the LC and move forward//RE: WGLC - draft-ietf-spring-srv6-network-programming
Stefano Salsano <stefano.salsano@uniroma2.it> Thu, 27 February 2020 11:42 UTC
Return-Path: <stefano.salsano@uniroma2.it>
X-Original-To: ipv6@ietfa.amsl.com
Delivered-To: ipv6@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 38E5F3A09D3; Thu, 27 Feb 2020 03:42:58 -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, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=unavailable autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=neutral reason="invalid (unsupported algorithm ed25519-sha256)" header.d=uniroma2.it header.b=NfLYBQDd; dkim=pass (2048-bit key) header.d=uniroma2.it header.b=unNAarzW
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 L_Wg9AEOW8ld; Thu, 27 Feb 2020 03:42:56 -0800 (PST)
Received: from smtp.uniroma2.it (smtp.uniroma2.it [160.80.6.16]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 2DB183A09C9; Thu, 27 Feb 2020 03:42:55 -0800 (PST)
Received: from smtpauth-2019-1.uniroma2.it (smtpauth-2019-1.uniroma2.it [160.80.5.46]) by smtp-2015.uniroma2.it (8.14.4/8.14.4/Debian-8) with ESMTP id 01RBgdN4021109; Thu, 27 Feb 2020 12:42:45 +0100
Received: from [192.168.100.176] (unknown [160.80.103.191]) by smtpauth-2019-1.uniroma2.it (Postfix) with ESMTPSA id EB9A1122901; Thu, 27 Feb 2020 12:42:34 +0100 (CET)
DKIM-Signature: v=1; a=ed25519-sha256; c=relaxed/relaxed; d=uniroma2.it; s=ed201904; t=1582803755; h=from:from:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=EZbJm9fT2LyvUv58zi2A7iiqIdUAqYZP7hrgm8GXDgc=; b=NfLYBQDdKA5jbC024ojZflEmduYAqSvC6kivKmLYINdw9Ou9/V8DC4tdJJF3aZmv8+/lpH OIEms+/Lchu4OOCg==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uniroma2.it; s=rsa201904; t=1582803755; h=from:from:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=EZbJm9fT2LyvUv58zi2A7iiqIdUAqYZP7hrgm8GXDgc=; b=unNAarzWrn0varhPoKYynfqsfKcKEt5vnzcxLTCrgcJeU0n3YCvcG+I2NaXJJ1CAfgtMDA ojx1jMYXHTxmQ0Xe27sSnJZQCcSn08J4Zb34I0TZ3VI41kIs+++240hkEw00K0IhZI+e82 JcKGqD5j6wBnwlC7r+czAAlqd7UAetAt+MwWTGwLkG7U5LQi7y/Nj2U0MekznunWlCaYqw p84qUvqMWyuNdgI1TSGFqj5SJzZDoUCBlyKf1T9HhL/2WEX/77uRBCW6RUX+TksRzHWm2f 4H4OL/YGQUKD/TOG1H7T0uzeJQpfy8XkKt2zSlYqXkOPTeLIjalvLXdv9bGQUw==
Subject: Re: [spring] Request to close the LC and move forward//RE: WGLC - draft-ietf-spring-srv6-network-programming
To: Brian E Carpenter <brian.e.carpenter@gmail.com>, "Eric Vyncke (evyncke)" <evyncke=40cisco.com@dmarc.ietf.org>, Warren Kumari <warren@kumari.net>, John Leddy <john@leddy.net>
Cc: SPRING WG List <spring@ietf.org>, "6man@ietf.org" <6man@ietf.org>, Bob Hinden <bob.hinden@gmail.com>, "Zafar Ali (zali)" <zali=40cisco.com@dmarc.ietf.org>
References: <F88E3F76-DD4B-4807-A458-85FABFF20D96@gmail.com> <5D218BFB-0D6F-4F7D-858F-B571A67DC47F@leddy.net> <CAHw9_iJ_ipEvU0NUx44XbK0_DrLe_GRw6G=m+chK4wZcRP8BMg@mail.gmail.com> <ACA082A4-BC78-4C63-9F91-5C9A44F47642@cisco.com> <b693c244-95f9-473e-de21-166393280d18@gmail.com> <8a20c0e2-e651-0294-03c2-4b89c44549cc@uniroma2.it> <53226b1c-6ac5-24b0-4787-a7ccfd9723af@gmail.com>
From: Stefano Salsano <stefano.salsano@uniroma2.it>
Message-ID: <ca499b84-70fa-febf-df99-b5d6cadbd493@uniroma2.it>
Date: Thu, 27 Feb 2020 12:42:34 +0100
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101 Thunderbird/68.5.0
MIME-Version: 1.0
In-Reply-To: <53226b1c-6ac5-24b0-4787-a7ccfd9723af@gmail.com>
Content-Type: text/plain; charset="utf-8"; format="flowed"
Content-Language: it-IT
Content-Transfer-Encoding: 8bit
X-Virus-Scanned: clamav-milter 0.100.0 at smtp-2015
X-Virus-Status: Clean
Archived-At: <https://mailarchive.ietf.org/arch/msg/ipv6/MqXaxSAzbdv9s4xMMby3ZhknI48>
X-BeenThere: ipv6@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "IPv6 Maintenance Working Group \(6man\)" <ipv6.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/ipv6>, <mailto:ipv6-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/ipv6/>
List-Post: <mailto:ipv6@ietf.org>
List-Help: <mailto:ipv6-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/ipv6>, <mailto:ipv6-request@ietf.org?subject=subscribe>
X-List-Received-Date: Thu, 27 Feb 2020 11:42:58 -0000
Brian, Il 2020-02-27 03:29, Brian E Carpenter ha scritto: > Stefano, > On 27-Feb-20 14:42, Stefano Salsano wrote: >> Il 2020-02-27 02:14, Brian E Carpenter ha scritto: >>> Eric, >>> >>> On 27-Feb-20 12:18, Eric Vyncke (evyncke) wrote: >>>> Writing this without any hat, >>>> >>>> Please note that on the logical side, it still have to be "proven" that this idea is strictly forbidden by RFC 8200. >>> >>> The draft uses an undefined term ("pop") but it does *explicitly* state in a section called "Penultimate Segment Pop of the SRH": >>> >>>>> S14.4. Remove the SRH from the IPv6 extension header chain >>> >>> If the word "penultimate" means what it means in every dictionary, this is in-flight removal of a header, and that is explicitly against RFC 8200, section 4, first paragraph below the diagram. >> >> Brian, >> >> "penultimate segment" means what it means in every dictionary, but this >> is not in-fligth removal of a header. >> >> When the packet has reached the "penultimate segment", it has reached a >> node "identified in the Destination Address field of the IPv6 header" as >> stated in RFC 8200, section 4, first paragraph below the diagram > > So in what sense is it penultimate (i.e. next to last)? If it has reached > the destination address, if the segment list is [S1, S2, S3] (where S1 is the first segment and S3 the final destination) S2 is the penultimate segment and the packet is received by S2 with Destination Address = S2, I repeat that at the very end of section 3 of RFC 8200 the "Destination address" is defined as "address of the intended recipient of the packet (possibly not the ultimate recipient, if a Routing header is present)" > what happens next? next the packet needs to be forwarded to S3 > I understand this for the following case, Ultimate Segment Pop, where the > text refers to processing the packet inside the receiving node. But the > text is completely lacking an explanation of the "penultimate" case, > and I found nothing about it in other SRH documents either. > > If I was writing code for this, I would have no idea how to generate a > test case. > > It's also obscure in the text how the node receiving a packet knows > which of "PSP, USP and USD flavors" applies. They don't seem to be marked > in the packet in any way. it is not marked in the packet, likewise it is not marked in the packet which SRv6 behavior is associated with a SID Stefano > > It seems to me that there is something blindingly obvious to SRH specialists > that is not stated at all in the draft, so the rest of us simply can't make > sense of it. It may or may not be a gap in the protocol, but there is > definitely a gap in the description. > > Brian > >> >> Please note that at the very end of section 3 the "Destination address" >> is defined as "address of the intended recipient of the packet (possibly >> not the ultimate recipient, if a Routing header is present)" >> >> Stefano >> >>> >>> It's possible that "penultimate" means something else, e.g. "ultimate". I don't know. I've been puzzling over this language for months and it doesn't change. Maybe someone can finally post an explanation, but until they do, I don't see how any WG Chair could assert rough consensus. An obviously organised +1+1+1+1 campaign is not consensus. I don't know about you, but when I see a message whose only content is "+1" I just delete it. >>> >>> Brian >>> >>>> Moreover, this 'proof' can technically wait until the IETF last call or even until the IESG ballot. I see little point in postponing the closing of the WGLC and advancing the document (of course, the document shepherd will need to carefully write the section about the rough WG consensus). >>>> >>>> Finally, as far as I know, at the IETF we have no religion... else we would still be running NCP or IPv4 :-) >>>> >>>> -éric >>>> >>>> -----Original Message----- >>>> From: ipv6 <ipv6-bounces@ietf.org> on behalf of Warren Kumari <warren@kumari.net> >>>> >>>> ...%<...%<.... >>>> >>>> It doesn't really matter how many people say +1 for moving it forwards >>>> -- if there are valid technical objections these have to be dealt with >>>> - and I think that the relationship with RFC8200 falling into this >>>> category... >>>> >>>> >>>> >>>> -------------------------------------------------------------------- >>>> IETF IPv6 working group mailing list >>>> ipv6@ietf.org >>>> Administrative Requests: https://www.ietf.org/mailman/listinfo/ipv6 >>>> -------------------------------------------------------------------- >>>> >>> >>> -------------------------------------------------------------------- >>> IETF IPv6 working group mailing list >>> ipv6@ietf.org >>> Administrative Requests: https://www.ietf.org/mailman/listinfo/ipv6 >>> -------------------------------------------------------------------- >>> >> >> > -- ******************************************************************* Stefano Salsano Professore Associato Dipartimento Ingegneria Elettronica Universita' di Roma Tor Vergata Viale Politecnico, 1 - 00133 Roma - ITALY http://netgroup.uniroma2.it/Stefano_Salsano/ E-mail : stefano.salsano@uniroma2.it Cell. : +39 320 4307310 Office : (Tel.) +39 06 72597770 (Fax.) +39 06 72597435 *******************************************************************
- Request to close the LC and move forward//RE: WGL… Lizhenbin
- RE: Request to close the LC and move forward//RE:… Dongjie (Jimmy)
- RE: Request to close the LC and move forward//RE:… Huzhibo
- Re: [spring] Request to close the LC and move for… xiechf@chinatelecom.cn
- RE: Request to close the LC and move forward//RE:… Gengxuesong (Geng Xuesong)
- RE: Request to close the LC and move forward//RE:… Chengli (Cheng Li)
- Re: Re: [spring] Request to close the LC and move… liupengyjy@outlook.com
- RE: Request to close the LC and move forward//RE:… bruno.decraene
- Re: Request to close the LC and move forward//RE:… Fernando Gont
- RE: Request to close the LC and move forward//RE:… bruno.decraene
- Re: [spring] Request to close the LC and move for… Zafar Ali (zali)
- Re: [spring] Request to close the LC and move for… Dirk Steinberg
- Re: [spring] Request to close the LC and move for… Fernando Gont
- Re: [spring] Request to close the LC and move for… Bob Hinden
- Re: [spring] Request to close the LC and move for… John Leddy
- Re: [spring] Request to close the LC and move for… Warren Kumari
- Re: [spring] Request to close the LC and move for… Mike Simpson
- Re: Request to close the LC and move forward//RE:… 神明達哉
- Re: [spring] Request to close the LC and move for… john leddy.net
- Re: [spring] Request to close the LC and move for… Fernando Gont
- Re: Request to close the LC and move forward//RE:… Brian E Carpenter
- Re: [spring] Request to close the LC and move for… Mark Smith
- RE: [spring] Request to close the LC and move for… Voyer, Daniel
- Re: [spring] Request to close the LC and move for… Bob Hinden
- Re: [spring] Request to close the LC and move for… Satoru Matsushima
- Re: [spring] Request to close the LC and move for… Eric Vyncke (evyncke)
- Re: [spring] Request to close the LC and move for… Gaurav Dawra
- Re: [spring] Request to close the LC and move for… Fernando Gont
- Re: [spring] Request to close the LC and move for… Fernando Gont
- Re: [spring] Request to close the LC and move for… Stefano Salsano
- RE: [spring] Request to close the LC and move for… Weiqiang Cheng
- Re: [spring] Request to close the LC and move for… Brian E Carpenter
- Re: [spring] Request to close the LC and move for… =?utf-8?B?WWlzb25nIExpdQ==?=
- Re: [spring] Request to close the LC and move for… Stefano Salsano
- Re: [spring] Request to close the LC and move for… Brian E Carpenter
- Re: Re: [spring] Request to close the LC and move… li_zhenqiang@hotmail.com
- Re: [spring] Request to close the LC and move for… Bernier, Daniel
- Re: [spring] Request to close the LC and move for… Ahmed Bashandy
- RE: Re: [spring] Request to close the LC and move… Ketan Talaulikar (ketant)
- Re: [spring] Request to close the LC and move for… Dirk Steinberg
- Re: [spring] Request to close the LC and move for… Fernando Gont
- Re: [spring] Request to close the LC and move for… Fernando Gont
- Re: [spring] Request to close the LC and move for… Mark Smith
- RE: [spring] Request to close the LC and move for… bruno.decraene
- Re: [spring] Request to close the LC and move for… Fernando Gont
- RE: Request to close the LC and move forward//RE:… Maojianwei (Mao)
- Re: Request to close the LC and move forward//RE:… Ted Lemon
- RE: Request to close the LC and move forward//RE:… Andrew Alston
- Re: Request to close the LC and move forward//RE:… Fernando Gont
- Re: [spring] Request to close the LC and move for… Stefano Salsano
- RE: [spring] Request to close the LC and move for… bruno.decraene
- RE: Request to close the LC and move forward//RE:… Xiejingrong (Jingrong)
- RE: Request to close the LC and move forward//RE:… Voyer, Daniel
- RE: Request to close the LC and move forward//RE:… Voyer, Daniel
- Re: Request to close the LC and move forward//RE:… Ted Lemon
- Re: Request to close the LC and move forward//RE:… Ted Lemon
- Re: [spring] Request to close the LC and move for… Stefano Salsano
- RE: [spring] Request to close the LC and move for… Alexander Vainshtein
- RE: [spring] Request to close the LC and move for… Andrew Alston
- Re: [spring] Request to close the LC and move for… Joel M. Halpern
- Re: Request to close the LC and move forward//RE:… Nick Hilliard
- Re: [spring] Request to close the LC and move for… John Scudder
- Re: Request to close the LC and move forward//RE:… Stefano Salsano
- RE: [spring] Request to close the LC and move for… James Guichard
- Re: [spring] Request to close the LC and move for… Warren Kumari
- Re: [spring] Request to close the LC and move for… Robert Raszuk
- Re: [spring] Request to close the LC and move for… Ted Lemon
- Re: [spring] Request to close the LC and move for… Joel M. Halpern
- Re: [spring] Request to close the LC and move for… Ted Lemon
- Re: [spring] Request to close the LC and move for… Joel M. Halpern
- Re: [spring] Request to close the LC and move for… Warren Kumari
- Re: Request to close the LC and move forward//RE:… 神明達哉
- Re: Request to close the LC and move forward//RE:… Pablo Camarillo (pcamaril)
- Re: Request to close the LC and move forward//RE:… Pablo Camarillo (pcamaril)
- Re: Request to close the LC and move forward//RE:… Ted Lemon
- Re: [spring] Request to close the LC and move for… Pablo Camarillo (pcamaril)
- Re: Request to close the LC and move forward//RE:… Pablo Camarillo (pcamaril)
- RE: [spring] Request to close the LC and move for… Ron Bonica
- Re: [spring] Request to close the LC and move for… Sander Steffann
- Re: [spring] Request to close the LC and move for… Fernando Gont
- Re: [spring] Request to close the LC and move for… 神明達哉
- Re: [spring] Request to close the LC and move for… Suresh Krishnan
- Re: [spring] Request to close the LC and move for… Fernando Gont
- Re: [spring] Request to close the LC and move for… Mark Smith
- RE: [spring] Request to close the LC and move for… Ron Bonica
- Re: Request to close the LC and move forward//RE:… Darren Dukes (ddukes)
- RE: [spring] Request to close the LC and move for… Ron Bonica
- Re: [spring] Request to close the LC and move for… Keyur Patel
- Re: Request to close the LC and move forward//RE:… 神明達哉
- "penultimate segment" [Re: [spring] Request to cl… Brian E Carpenter
- Re: Request to close the LC and move forward//RE:… Brian E Carpenter
- Re: "penultimate segment" [Re: [spring] Request t… Stefano Salsano
- Re: "penultimate segment" [Re: [spring] Request t… Brian E Carpenter
- RE: "penultimate segment" [Re: [spring] Request t… Ketan Talaulikar (ketant)
- RE: Request to close the LC and move forward//RE:… Ketan Talaulikar (ketant)
- 答复: Request to close the LC and move forward//RE:… huruizhao
- Re: Request to close the LC and move forward//RE:… Tim Chown
- 答复: [spring] Request to close the LC and move for… Chenxia (D)
- Re: [spring] Request to close the LC and move for… Darren Dukes (ddukes)
- RE: [spring] Request to close the LC and move for… Alexander Vainshtein
- Re: [spring] Request to close the LC and move for… Brian E Carpenter
- RE: [spring] Request to close the LC and move for… Alexander Vainshtein
- Re: [spring] Request to close the LC and move for… Darren Dukes (ddukes)
- Re: [spring] Request to close the LC and move for… Alexander Vainshtein