Re: [spring] Penultimate Segment Popping and RFC8200 (Was Re: We don't seem to be following our processes (Re: Network Programming - Penultimate Segment Popping))

["Pablo Camarillo (pcamaril)" <[e-mail]>]

Brian, 

I have updated draft-ietf-spring-srv6-network-programming-06 to clarify this. The new pseudocode is explicit. 

Also, merely informative, I would suggest reading the document draft-filsfils-spring-srv6-net-pgm-illustration-01 for a detailed example of PSP with a hop-by-hop packet examples. 
Particularly sections 2.1+2.2 (SID allocation and Reference Diagram) and Section 2.8.1 for the related example with PSP.
https://tools.ietf.org/html/draft-filsfils-spring-srv6-net-pgm-illustration-01#section-2.8.1

Thank you,
Pablo.

-----Original Message-----
From: spring <[e-mail]> on behalf of Brian E Carpenter <[e-mail]>
Date: Saturday, 7 December 2019 at 20:50
To: "Ketan Talaulikar (ketant)" <[e-mail]>, Suresh Krishnan <[e-mail]>, Fernando Gont <[e-mail]>, SPRING WG <[e-mail]>
Cc: Ron Bonica <rbonica=[e-mail]>, "[e-mail]" <[e-mail]>, Andrew Alston <[e-mail]>, rtg-ads <[e-mail]>, Bob Hinden <[e-mail]>, Ole Troan <[e-mail]>
Subject: Re: [spring] Penultimate Segment Popping and RFC8200 (Was Re: We don't seem to be following our processes (Re: Network Programming - Penultimate Segment Popping))

    Ketan,
    On 07-Dec-19 23:13, Ketan Talaulikar (ketant) wrote:
    > +1
    > 
    >  
    > 
    > For some strange reason the PSP behaviour is being mixed with EH insertion and likely there is some misunderstanding here.
    
    I found the language in draft-ietf-spring-srv6-network-programming very hard to understand, and your comment and those from Robert Raszuk really don't clear it up. No insult intended, but it seems that SRH exponents are so close to SRH that you don't understand why others find it hard to understand.
    
    So let me ask for clarification on three points in the draft. (Please keep me in CC as I'm not on the spring list.)
    
    (1) Where the draft uses the word "insert", does it refer *only* to the encapsulating node at the SR domain ingress?
    
    (2) What does the phrase ""Pop the SRH" mean? Does it mean "delete" a header inserted as in (1),
    at the same time as decapsulating the packet?
    
    (3) In *very* elementary language, what is "updated SL" in statement S14.2? It isn't defined elsewhere as far as I can see. It may just be sloppy writing, because if "Segments Left" is a variable, then perhaps "updated SL" just means the current value of "Segments Left" after executing S14.
    
    With specific answers to those questions, the text would be easier to interpret.
    
    Some diagrams of the encapsulation would be helpful, too.
    
    Regards
       Brian
    
    > 
    >  
    > 
    > Fernando says:
    > 
    > 
    > (pop when you are the destination but SL!=0 is essentially 'in the
    > network removal’)
    > 
    >  
    > 
    > This is NOT what PSP is (refer https://tools.ietf.org/html/draft-ietf-spring-srv6-network-programming-05#section-4.16.1) – the “pop” is done when the SL becomes 0.
    > 
    >  
    > 
    > FWIW, this has been stated in different ways and clarified on the mailing list previously by the authors as well as others involved in SRv6 development and deployments. There is no violation of RFC8200 here.
    > 
    >  
    > 
    > Thanks,
    > 
    > Ketan
    > 
    >  
    > 
    > *From:*spring <[e-mail]> *On Behalf Of *Suresh Krishnan
    > *Sent:* 07 December 2019 12:50
    > *To:* Fernando Gont <[e-mail]>; SPRING WG <[e-mail]>
    > *Cc:* Ron Bonica <rbonica=[e-mail]>; [e-mail]; Andrew Alston <[e-mail]>; rtg-ads <[e-mail]>; Bob Hinden <[e-mail]>; Ole Troan <[e-mail]>; Brian E Carpenter <[e-mail]>
    > *Subject:* [spring] Penultimate Segment Popping and RFC8200 (Was Re: We don't seem to be following our processes (Re: Network Programming - Penultimate Segment Popping))
    > 
    >  
    > 
    > (responding on spring mailing list)
    > 
    >  
    > 
    > Hi Fernando,
    > 
    > 
    > 
    >     On Dec 7, 2019, at 11:07 AM, Fernando Gont <[e-mail] <mailto:[e-mail]>> wrote:
    > 
    >      
    > 
    >     On 6/12/19 23:47, Brian E Carpenter wrote:
    > 
    >         Again, comment at the end...
    >         On 07-Dec-19 14:37, Fernando Gont wrote:
    > 
    >             On 6/12/19 22:15, Brian E Carpenter wrote:
    >             [...]
    > 
    > 
    > 
    >                     and if such a thing is required, an update to RFC8200 should be done.
    > 
    > 
    >                 Why does that follow? Alternatively, draft-ietf-spring-srv6-network-programming could acknowledge that it deviates from RFC8200.
    > 
    > 
    >             You can deviate from s "should", not from a "must". This is an outright
    >             violation of a spec, rather than a mere "deviation".
    > 
    > 
    > 
    >                 Whether that's acceptable would be a question for the IETF Last Call rather than any single WG.
    > 
    > 
    >             I would expect that a WG cannot ship a document that is violating an
    >             existing spec, where the wg shipping the document is not in a position
    >             of making decisions regarding the spec being violated.
    > 
    >             That would be like a waste of energy and time for all.
    > 
    > 
    > 
    > 
    >                 At the moment, the draft only mentions RFC8200 in a context that discusses neither insertion nor removal of extension headers, which is beside the point. Like draft-voyer, if it describes a violation of RFC8200, shouldn't that be explicit in the text?
    > 
    >                 There's a lot of jargon in draft-ietf-spring-srv6-network-programming. I can't tell from the jargon whether "insert" means "insert on the fly" and whether "Pop the SRH" means "delete on the fly". Should those terms be clarified before the draft advances?
    > 
    > 
    >             Well, if it's not clear to you, it would seem to me that the simple
    >             answer would be "yes".
    > 
    > 
    >         But if "insert" refers to the encapsulating node at the SR domain ingress, it's no problem, and if "pop" simply means doing normal routing header processing, it's no problem. It simply isn't clear in the text, at least not clear to me.
    > 
    > 
    >     The fact that a folk that has been deeply involved with IPv6 cannot
    >     unequivocally tell what they talking about should be an indication with
    >     respect to how ready the document is to be shipped.
    > 
    >     (pop when you are the destination but SL!=0 is essentially 'in the
    >     network removal’)
    > 
    >  
    > 
    > It is not obvious to me why you think this is a violation of RFC8200 though it is possible that I misread your comment. The relevant text I am looking at is
    > 
    >  
    > 
    > "  Extension headers (except for the Hop-by-Hop Options header) are not
    > 
    >    processed, inserted, or deleted by any node along a packet's delivery
    > 
    >    path, until the packet reaches the node (or each of the set of nodes,
    > 
    >    in the case of multicast) identified in the Destination Address field
    > 
    >    of the IPv6 header.”
    > 
    >  
    > 
    > which seems to permit it. Can you please clarify where there is a violation?
    > 
    >  
    > 
    > Regards
    > 
    > Suresh
    > 
    
    _______________________________________________
    spring mailing list
    [e-mail]
    https://www.ietf.org/mailman/listinfo/spring