Re: [Int-area] PSP and a logical application of RFC8200

Fernando Gont <fernando@gont.com.ar> Tue, 03 March 2020 00:58 UTC

Return-Path: <fernando@gont.com.ar>
X-Original-To: int-area@ietfa.amsl.com
Delivered-To: int-area@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id A01C93A150D; Mon, 2 Mar 2020 16:58:41 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.899
X-Spam-Level:
X-Spam-Status: No, score=-1.899 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=unavailable autolearn_force=no
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 i4v4AsQ9ZDah; Mon, 2 Mar 2020 16:58:40 -0800 (PST)
Received: from fgont.go6lab.si (fgont.go6lab.si [91.239.96.14]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id CCF0D3A150C; Mon, 2 Mar 2020 16:58:39 -0800 (PST)
Received: from [192.168.0.10] (unknown [181.45.84.85]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by fgont.go6lab.si (Postfix) with ESMTPSA id 3DD8A80C7C; Tue, 3 Mar 2020 01:58:36 +0100 (CET)
From: Fernando Gont <fernando@gont.com.ar>
To: Brian E Carpenter <brian.e.carpenter@gmail.com>, "Pablo Camarillo (pcamaril)" <pcamaril@cisco.com>, "Darren Dukes (ddukes)" <ddukes=40cisco.com@dmarc.ietf.org>, 6man WG <ipv6@ietf.org>, SPRING WG List <spring@ietf.org>
References: <39544C17-1AD0-412E-A8BD-E17376537FCF@cisco.com> <bf9d68e6-cbae-2b19-11e0-1e452f0bf654@gmail.com> <FD806998-8218-4C70-B383-332C5F934A73@cisco.com> <176e9bbf-41c8-8e8a-f26e-e0de5d89735f@gmail.com>
Cc: Internet Area <int-area@ietf.org>
Message-ID: <9bdb3fdb-3f18-f389-0f45-56c238480ff3@gont.com.ar>
Date: Mon, 2 Mar 2020 21:58:28 -0300
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.1
MIME-Version: 1.0
In-Reply-To: <176e9bbf-41c8-8e8a-f26e-e0de5d89735f@gmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Archived-At: <https://mailarchive.ietf.org/arch/msg/int-area/xt1_XnLkWawsDMw1j6B7VtMwPSY>
Subject: Re: [Int-area] PSP and a logical application of RFC8200
X-BeenThere: int-area@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: IETF Internet Area Mailing List <int-area.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/int-area>, <mailto:int-area-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/int-area/>
List-Post: <mailto:int-area@ietf.org>
List-Help: <mailto:int-area-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/int-area>, <mailto:int-area-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 03 Mar 2020 00:58:42 -0000

On 2/3/20 20:21, Brian E Carpenter wrote:
> On 03-Mar-20 09:02, Pablo Camarillo (pcamaril) wrote:
>> Brian,
>>
>> The PSP pseudocode is presented as a modification to the End pseudocode starting at line S14 of such.
>> Please go through the PSP pseudocode in conjunction with the End pseudocode (Section 4.1).
>> You will see that the ingress state of the packet is (Segments Left == 1 and Destination Address == the PSP node's address).
> 
> Exactly my point. With SL == 1, you are not at the ultimate destination, so according to what I'll call "Fernando's reading" of RFC8200, you are not entitled to delete the header. That is the point that IMHO needs to be stated explicitly in the draft. You are using "Darren's reading" of RFC8200.

FWIW, I don't think there are two ways to read the spec.

Either en-route insertion/deletion is supported, or it isn't.

If it is, RFC8200 should have an explanation of how PMTUD and error 
reporting works. And it doesn't have one.

In that light, I'm curious how folks can state that eh insertion/removal 
is allowed.

Thanks,
-- 
Fernando Gont
e-mail: fernando@gont.com.ar || fgont@si6networks.com
PGP Fingerprint: 7809 84F5 322E 45C7 F1C9 3945 96EE A9EF D076 FFF1