<?xml version="1.0" encoding="US-ASCII"?>

<!DOCTYPE rfc SYSTEM "rfc2629.dtd" [
<!ENTITY SRH PUBLIC "" "http://xml2rfc.tools.ietf.org/public/rfc/bibxml-ids/reference.I-D.ietf-6man-segment-routing-header.xml">
<!ENTITY SPRING_SR PUBLIC "" "http://xml2rfc.tools.ietf.org/public/rfc/bibxml-ids/reference.I-D.ietf-spring-segment-routing.xml">
<!ENTITY SR_TE_PL PUBLIC "" "http://xml2rfc.tools.ietf.org/public/rfc/bibxml-ids/reference.I-D.filsfils-spring-segment-routing-policy.xml">
<!ENTITY SR_VPN_BGP PUBLIC "" "http://xml2rfc.tools.ietf.org/public/rfc/bibxml-ids/reference.I-D.dawra-idr-srv6-vpn.xml">
<!ENTITY SR_ISIS PUBLIC "" "http://xml2rfc.tools.ietf.org/public/rfc/bibxml-ids/reference.I-D.bashandy-isis-srv6-extensions.xml">
<!ENTITY SRV6_OAM PUBLIC "" "http://xml2rfc.tools.ietf.org/public/rfc/bibxml-ids/reference.I-D.ali-spring-srv6-oam.xml">
<!ENTITY ISIS_L2_BUNDLE PUBLIC "" "http://xml2rfc.tools.ietf.org/public/rfc/bibxml-ids/reference.I-D.ietf-isis-l2bundles.xml">
<!ENTITY SR_BGP_LS PUBLIC "" "http://xml2rfc.tools.ietf.org/public/rfc/bibxml-ids/reference.I-D.ietf-idr-bgp-ls-segment-routing-ext.xml">
<!ENTITY TE_LSP_DIST PUBLIC "" "http://xml2rfc.tools.ietf.org/public/rfc/bibxml-ids/reference.I-D.ietf-idr-te-lsp-distribution.xml">
<!ENTITY SRV6_YANG PUBLIC "" "http://xml2rfc.tools.ietf.org/public/rfc/bibxml-ids/reference.I-D.raza-spring-srv6-yang.xml">
<!ENTITY SR_SFC PUBLIC "" "http://xml2rfc.tools.ietf.org/public/rfc/bibxml-ids/reference.I-D.xuclad-spring-sr-service-programming.xml">
<!ENTITY SRV6_BGPLS PUBLIC "" "http://xml2rfc.tools.ietf.org/public/rfc/bibxml-ids/reference.I-D.dawra-idr-bgpls-srv6-ext.xml">
<!ENTITY RFC2119 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.2119.xml">
<!ENTITY RFC8174 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.8174.xml">
<!ENTITY RFC8200 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.8200.xml">
<!ENTITY RFC4364 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.4364.xml">
<!ENTITY RFC6437 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.6437.xml">
<!ENTITY RFC2473 SYSTEM "http://xml.resource.org/public/rfc/bibxml/reference.RFC.2473.xml">
]>

<?xml-stylesheet type='text/xsl' href='rfc2629.xslt' ?>
<?rfc strict="yes" ?>
<?rfc toc="yes"?>
<?rfc tocompact="yes"?>
<?rfc tocdepth="3"?>
<?rfc tocindent="yes"?>
<?rfc symrefs="yes"?> <!-- use symbolic references tags, i.e, [RFC2119] instead of [1] -->
<?rfc sortrefs="yes"?> <!-- sort the reference entries alphabetically -->
<?rfc comments="yes"?>
<?rfc inline="yes"?>
<?rfc compact="yes"?> <!-- control vertical white space -->
<?rfc subcompact="no"?> <!-- keep one blank line between list items -->
<?rfc autobreaks="yes"?>
<rfc category="std" docName="draft-filsfils-spring-srv6-network-programming-07" ipr="trust200902">
 <!-- category values: std, bcp, info, exp, and historic
    ipr values: trust200902, noModificationTrust200902, noDerivativesTrust200902,
         or pre5378Trust200902  -->

    <front>

     <!--title abbrev="Abbreviated Title">SRv6 Network Programming</title> -->
     <title>SRv6 Network Programming</title>

     <author fullname="Clarence Filsfils" initials="C." surname="Filsfils">
        <organization>Cisco Systems, Inc.</organization>
        <address>
            <postal>
                <street></street>
                <city></city>
                <region></region>
                <code></code>
                <country>Belgium</country>
            </postal>
            <phone></phone>
            <email>cf@cisco.com</email>
        </address>
     </author>

     <author fullname="Pablo Camarillo Garvia" initials="P." surname="Camarillo" role="editor" >
        <organization>Cisco Systems, Inc.</organization>
        <address>
            <postal>
                <street></street>
                <city></city>
                <region></region>
                <code></code>
                <country>Spain</country>
            </postal>
            <email>pcamaril@cisco.com</email>
        </address>
     </author>

     <author fullname="John Leddy" initials="J." surname="Leddy">
        <organization>Comcast</organization>
        <address>
            <postal>
                <street></street>
                <city></city>
                <region></region>
                <code></code>
                <country>United States of America</country>
            </postal>
            <email>john_leddy@cable.comcast.com</email>
        </address>
     </author>

     <author fullname="Daniel Voyer" initials="D." surname="Voyer">
        <organization>Bell Canada</organization>
        <address>
            <postal>
                <street></street>
                <city></city>
                <region></region>
                <code></code>
                <country>Canada</country>
            </postal>
            <email>daniel.voyer@bell.ca</email>
        </address>
     </author>

     <author fullname="Satoru Matsushima" initials="S." surname="Matsushima">
         <organization abbrev="SoftBank">SoftBank</organization>
         <address>
             <postal>
                 <street>1-9-1,Higashi-Shimbashi,Minato-Ku</street>
                 <city>Tokyo  105-7322</city>
                 <region></region>
                 <code></code>
                 <country>Japan</country>
             </postal>
             <phone></phone>
             <email>satoru.matsushima@g.softbank.co.jp</email>
         </address>
     </author>

     <author fullname="Zhenbin Li" initials="Z." surname="Li">
        <organization>Huawei Technologies</organization>
        <address>
            <postal>
                <street></street>
                <city></city>
                <region></region>
                <code></code>
                <country>China</country>
            </postal>
            <phone></phone>
            <email>lizhenbin@huawei.com</email>
        </address>
     </author>


     <date />

     <area>General</area>
     <workgroup>SPRING</workgroup>

     <keyword>SRv6</keyword>
     <keyword>Segment Routing</keyword>
     <keyword>IPv6 Segment Routing</keyword>

     <!-- Keywords will be incorporated into HTML output
        files in a meta tag but they have no effect on text or nroff
        output. If you submit your draft to the RFC Editor, the
        keywords will be used for the search engine. -->

        <abstract>
            <t>This document describes the SRv6 network programming concept and its most basic functions.</t>
        </abstract>
        <note title="Requirements Language">
            <t>The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "NOT RECOMMENDED", "MAY", and "OPTIONAL" in this document are to be interpreted as described in BCP 14 <xref target="RFC2119" /> <xref target="RFC8174"/> when, and only when, they appear in all capitals, as shown here.</t>
        </note>
    </front>

    <middle>
        <section title="Introduction">
            <t>Segment Routing leverages the source routing paradigm. An ingress node steers a packet through a ordered list of instructions, called segments. Each one of these instructions represents a function to be called at a specific location in the network. A function is locally defined on the node where it is executed and may range from simply moving forward in the segment list to any complex user-defined behavior. The network programming consists in combining segment routing functions, both simple and complex, to achieve a networking objective that goes beyond mere packet routing.</t>
            <t>This document defines the SRv6 Network Programming concept and aims at standardizing the main segment routing functions to enable the creation of interoperable overlays with underlay optimization and service programming.</t>
            <t>The companion document <xref target="I-D.filsfils-spring-srv6-net-pgm-illustration" /> illustrates the concepts defined in this document.</t>
            <t>Familiarity with the <xref target="I-D.ietf-6man-segment-routing-header">Segment Routing Header</xref> is assumed.</t>
        </section>

        <section title="Terminology">
            <t>SRH is the abbreviation for the Segment Routing Header. We assume that the SRH may be present multiple times inside each packet.</t>
            <t>NH is the abbreviation of the IPv6 next-header field.</t>
            <t>NH=SRH means that the next-header field is 43 with routing type 4.</t> 
            <t>When there are multiple SRHs, they must follow each other: the next-header field of all SRH, except the last one, must be SRH.</t>
            <t>The effective next-header (ENH) is the next-header field of the IP header when no SRH is present, or is the next-header field of the last SRH.</t>
            <t>In this version of the document, we assume that there are no other extension headers than the SRH. These will be lifted in future versions of the document.</t>
            <t>SID: A Segment Identifier which represents a specific segment in segment routing domain. The SID type used in this document is IPv6 address (also referenced as SRv6 Segment or SRv6 SID).</t>
            <t>A SID list is represented as &lt;S1, S2, S3&gt; where S1 is the first SID to visit, S2 is the second SID to visit and S3 is the last SID to visit along the SR path.</t>
            <t>(SA,DA) (S3, S2, S1; SL) represents an IPv6 packet with:<list style="format - ">
                <t>IPv6 header with source address SA, destination addresses DA and SRH as next-header</t>
                <t>SRH with SID list &lt;S1, S2, S3&gt; with SegmentsLeft = SL</t>
                <t>Note the difference between the &lt;&gt; and () symbols: &lt;S1, S2, S3&gt; represents a SID list where S1 is the first SID and S3 is the last SID to traverse. (S3, S2, S1; SL) represents the same SID list but encoded in the SRH format where the rightmost SID in the SRH is the first SID and the leftmost SID in the SRH is the last SID. When referring to an SR policy in a high-level use-case, it is simpler to use the &lt;S1, S2, S3&gt; notation. When referring to an illustration of the detailed packet behavior, the (S3, S2, S1; SL) notation is more convenient.</t>
                <t>The payload of the packet is omitted.</t>
            </list></t>
            <t>SRH[SL] represents the SID pointed by the SL field in the first SRH. In our example, SRH[2] represents S1, SRH[1] represents S2 and SRH[0] represents S3.</t>
            <t>FIB is the abbreviation for the forwarding table. A FIB lookup is a lookup in the forwarding table.</t>
            <t>When a packet is intercepted on a wire, it is possible that SRH[SL] is different from the DA.</t>
        </section>

        <section title="SRv6 Segment">
            <t>An SRv6 Segment is a 128-bit value. &quot;SID&quot; (abbreviation for Segment Identifier) is often used as a shorter reference for &quot;SRv6 Segment&quot;.</t>
            <t>An SRv6-capable node N maintains a &quot;My SID Table&quot;. This table contains all the SRv6 segments explicitly instantiated at node N. N is the parent node for these SIDs.</t>
            <t>A local SID of N can be an IPv6 address associated to a local interface of N but it is not mandatory. Nor is the &quot;My SID table&quot; populated by default with all IPv6 addresses defined on node N.</t>
            <t>In most use-cases, a local SID will NOT be an address associated to a local interface of N.</t>
            <t>A local SID of N could be routed to N but it does not have to be. Most often, it is routed to N via a shorter-mask prefix.</t>
            <t><vspace blankLines="1" /></t>
            <t>Let's provide a classic illustration.</t>
            <t>Node N is configured with a loopback0 interface address of A:1::/32 originated in its IGP. Node N is configured with two SIDs: B:1:100:: and B:2:101::.</t>
            <t>The entry A:1:: is not defined explicitly as an SRv6 SID and hence does not appear in the &quot;My SID Table&quot;. The entries B:1:100:: and B:2:101:: are defined explicitly as SRv6 SIDs and hence appear in the &quot;My SID Table&quot;.</t>
            <t>The network learns about a path to B:1::/32 via the IGP and hence a packet destined to B:1:100:: would be routed up to N. The network does not learn about a path to B:2::/32 via the IGP and hence a packet destined to B:2:101:: would not be routed up to N.</t>
            <t>A packet could be steered to a non-routed SID B:2:101:: by using a SID list &lt;...,B:1:100::,B:2:101::,...&gt; where the non-routed SID is preceded by a routed SID to the same node. This is similar to the local vs global segments in SR-MPLS.</t>
            <t><vspace blankLines="1" /></t>
            <t>Every SRv6 SID instantiated has a specific instruction bound to it. This information is stored in the &quot;My SID Table&quot;. The &quot;My SID Table&quot; has three main purposes:
                <list style="format - ">
                    <t>Define which SIDs are explicitly instantiated on that node</t>
                    <t>Specify which instruction is bound to each of the instantiated SIDs</t>
                    <t>Store the parameters associated with such instruction (i.e. OIF, NextHop, VRF,...)</t>
                </list></t>
            <t>We represent an SRv6 SID as LOC:FUNCT where LOC is the L most significant bits and FUNCT is the 128-L least significant bits. L is called the locator length and is flexible. Each operator is free to use the locator length it chooses. Most often the LOC part of the SID is routable and leads to the node which instantiates that SID.</t>
            <t>The FUNCT part of the SID is an opaque identification of a local function bound to the SID. The FUNCT value zero is invalid.</t>
            <t>Often, for simplicity of illustration, we will use a locator length of 32 bits. This is just an example. Implementations must not assume any a priori prefix length.</t>
            <t>A function may require additional arguments that would be placed immediately after the FUNCT. In such case, the SRv6 SID will have the form LOC:FUNCT:ARGS::. For this reason, the &quot;My SID Table&quot; matches on a per longest-prefix-match basis.</t>
            <t>These arguments may vary on a per-packet basis and may contain information related to the flow, service, or any other information required by the function associated to the SRv6 SID.</t>
            <t>A node may receive a packet with an SRv6 SID in the DA without an SRH. In such case the packet should still be processed by the Segment Routing engine.</t>
            <t><vspace blankLines="20" /></t>
        </section>

        <section title="Functions associated with a SID">
            <t>Each entry of the &quot;My SID Table&quot; indicates the function associated with the local SID and its parameters.</t>
            <t>We define hereafter a set of well-known functions that can be associated with a SID.</t>
                <figure>
                    <artwork><![CDATA[
 End                Endpoint function
                    The SRv6 instantiation of a prefix SID
 End.X              Endpoint with Layer-3 cross-connect
                    The SRv6 instantiation of a Adj SID
 End.T              Endpoint with specific IPv6 table lookup
 End.DX2            Endpoint with decaps and L2 cross-connect
                    e.g. L2VPN use-case
 End.DX2V           Endpoint with decaps and VLAN L2 table lookup
                    EVPN Flexible cross-connect use-cases
 End.DT2U           Endpoint with decaps and unicast MAC L2table lookup
                    EVPN Bridging unicast use-cases
 End.DT2M           Endpoint with decaps and L2 table flooding
                    EVPN Bridging BUM use-cases with ESI filtering
 End.DX6            Endpoint with decaps and IPv6 cross-connect
                    e.g. IPv6-L3VPN (equivalent to per-CE VPN label)
 End.DX4            Endpoint with decaps and IPv4 cross-connect
                    e.g. IPv4-L3VPN (equivalent to per-CE VPN label)
 End.DT6            Endpoint with decaps and IPv6 table lookup
                    e.g. IPv6-L3VPN (equivalent to per-VRF VPN label)
 End.DT4            Endpoint with decaps and IPv4 table lookup
                    e.g. IPv4-L3VPN (equivalent to per-VRF VPN label)
 End.DT46           Endpoint with decaps and IP table lookup
                    e.g. IP-L3VPN (equivalent to per-VRF VPN label)
 End.B6.Insert      Endpoint bound to an SRv6 policy
                    SRv6 instantiation of a Binding SID
 End.B6.Insert.RED  [...] with reduced SRH insertion
                    SRv6 instantiation of a Binding SID
 End.B6.Encaps      Endpoint bound to an SRv6 policy with encaps
                    SRv6 instantiation of a Binding SID
 End.B6.Encaps.RED  [...] with reduced SRH insertion
                    SRv6 instantiation of a Binding SID                
 End.BM             Endpoint bound to an SR-MPLS Policy
                    SRv6 instantiation of an SR-MPLS Binding SID
 End.S              Endpoint in search of a target in table T
                    ]]></artwork>
                </figure>
            
            <t>The list is not exhaustive. In practice, any function can be attached to a local SID: e.g. a node N can bind a SID to a local VM or container which can apply any complex function on the packet.</t>
            <t>We call N the node who has an explicitly instantiated SID S and we detail the function that N binds to S.</t>
            <t>At the end of this section we also present some flavours of these well-known functions.</t>

            <?rfc needLines="30" ?>
            <section title="End: Endpoint">
                <t>The Endpoint function (&quot;End&quot; for short) is the most basic function.</t>
                <t>When N receives a packet whose IPv6 DA is S and S is a local End SID, N does:</t>
                <figure>
                    <artwork><![CDATA[
1.   IF NH=SRH and SL > 0
2.      decrement SL
3.      update the IPv6 DA with SRH[SL]
4.      FIB lookup on the updated DA                            ;; Ref1
5.      forward accordingly to the matched entry                ;; Ref2
6.   ELSE IF NH!=SRH
7.      Send an ICMP parameter problem message; drop the packet ;; Ref3
8.   ELSE
9.      drop the packet
                    ]]></artwork>
                </figure>
                <t>Ref1: The End function performs the FIB lookup in the forwarding table associated to the ingress interface</t>
                <t>Ref2: If the FIB lookup matches a multicast state, then the related RPF check must be considered successful</t>
                <t>Ref3: ICMP error is sent to the source address with error code (TBD by IANA) "SR Upper-layer Header Error" and pointer set to the NH.</t>
                <t>A local SID could be bound to a function which authorizes the decapsulation of an outer header (e.g. IPinIP) or the punting of the packet to TCP, UDP or any other protocol. This however needs to be explicitly defined in the function bound to the local SID. By default, a local SID bound to the well-known function &quot;End&quot;neither allows the decapsulation of an outer header nor the cleanup of an SRH. As a consequence, an End SID cannot be the last SID of an SRH and cannot be the DA of a packet without SRH.</t>
                <t>This is the SRv6 instantiation of a <xref target="I-D.ietf-spring-segment-routing">Prefix SID</xref>.</t>
            </section>

            <?rfc needLines="20" ?>

            <section title="End.X: Layer-3 cross-connect">
                <t>The &quot;Endpoint with cross-connect to an array of layer-3 adjacencies&quot; function (End.X for short) is a variant of the End function.</t>
                <t>When N receives a packet destined to S and S is a local End.X SID, N does:</t>
                <figure> <artwork><![CDATA[
1.   IF NH=SRH and SL > 0 
2.      decrement SL
3.      update the IPv6 DA with SRH[SL]
4.      forward to layer-3 adjacency bound to the SID S         ;; Ref1
6.   ELSE IF NH!=SRH
7.      Send an ICMP parameter problem message; drop the packet ;; Ref2
8.   ELSE
9.      drop the packet
                    ]]></artwork>
                </figure>
                <t>Ref1: If an array of adjacencies is bound to the End.X SID, then one entry of the array is selected based on a hash of the packet's header.</t>
                <t>Ref2: ICMP error is sent to the source address with error code (TBD by IANA) "SR Upper-layer Header Error" and pointer set to the NH.</t>
                <t>The End.X function is required to express any traffic-engineering policy.</t>
                <t>This is the SRv6 instantiation of an <xref target="I-D.ietf-spring-segment-routing">Adjacency SID</xref>.</t>
                <t>If a node N has 30 outgoing interfaces to 30 neighbors, usually the operator would explicitly instantiate 30 End.X SIDs at N: one per layer-3 adjacency to a neighbor. Potentially, more End.X could be explicitly defined (groups of layer-3 adjacencies to the same neighbor or to different neighbors).</t>
                <t>Note that with SR-MPLS, an AdjSID is typically preceded by a PrefixSID. This is unlikely in SRv6 as most likely an End.X SID is globally routed to N.</t>
                <t>Note that if N has an outgoing interface bundle I to a neighbor Q made of 10 member links, N may allocate up to 11 End.X local SIDs for that bundle: one for the bundle itself and then up to one for each member link. This is the equivalent of the L2-Link Adj SID in SR-MPLS <xref target="I-D.ietf-isis-l2bundles"/>.</t>
            </section>

            <?rfc needLines="20" ?>
            <section title="End.T: Specific IPv6 table lookup">
                <t>The &quot;Endpoint with specific IPv6 table lookup&quot; function (End.T for short) is a variant of the End function.</t>
                <t>When N receives a packet destined to S and S is a local End.T SID, N does:</t>
                <figure> <artwork><![CDATA[
1.   IF NH=SRH and SL > 0                                       ;; Ref1
2.      decrement SL
3.      update the IPv6 DA with SRH[SL]
4.      lookup the next segment in IPv6 table T associated with the SID
5.      forward via the matched table entry
6.   ELSE IF NH!=SRH
7.      Send an ICMP parameter problem message; drop the packet ;; Ref2
8.   ELSE
9.      drop the packet
                ]]></artwork> </figure>
                <t>Ref1: The End.T SID must not be the last SID</t>
                <t>Ref2: ICMP error is sent to the source address with error code (TBD by IANA) "SR Upper-layer Header Error" and pointer set to the NH.</t>
                <t>The End.T is used for multi-table operation in the core.</t>
            </section>

            <section title="End.DX2: Decapsulation and L2 cross-connect">
                <t>The &quot;Endpoint with decapsulation and Layer-2 cross-connect to OIF&quot; function (End.DX2 for short) is a variant of the endpoint function.</t>
                <t>When N receives a packet destined to S and S is a local End.DX2 SID, N does:</t>
                <figure><artwork><![CDATA[
1.   IF NH=SRH and SL > 0
2.      drop the packet                                         ;; Ref1
3.   ELSE IF ENH=59                                             ;; Ref2
4.      pop the (outer) IPv6 header and its extension headers
5.      forward the resulting frame to OIF bound to the SID S
6.   ELSE
7.      Send an ICMP parameter problem message                  ;; Ref3
8.      drop the packet
                ]]></artwork></figure>
                <t>Ref1: An End.DX2 SID must always be the last SID, or it can be the Destination Address of an IPv6 packet with no SRH header.</t>
                <t>Ref2: We conveniently reuse the next-header value 59 allocated to IPv6 No Next Header <xref target="RFC8200"/>. When the SID corresponds to function End.DX2 and the Next-Header value is 59, we know that an Ethernet frame is in the payload without any further header.</t>
                <t>Ref3: ICMP error is sent to the source address with error code (TBD by IANA) "SR Upper-layer Header Error" and pointer set to the NH.</t>
                <t>An End.DX2 function could be customized to expect a specific VLAN format and rewrite the egress VLAN header before forwarding on the outgoing interface.</t>
                <t>One of the applications of the End.DX2 function is the L2VPN/EVPN VPWS use-case.</t>
            </section>

            <section title="End.DX2V: Decapsulation and VLAN L2 table lookup">
                <t>The &quot;Endpoint with decapsulation and specific VLAN table lookup&quot; function (End.DX2V for short) is a variant of the endpoint function.</t>
                <t>When N receives a packet destined to S and S is a local End.DX2V SID, N does:</t>
                <figure><artwork><![CDATA[
1.   IF NH=SRH and SL > 0
2.      drop the packet                                         ;; Ref1
3.   ELSE IF ENH  = 59                                          ;; Ref2
4.      pop the (outer) IPv6 header and its extension headers
5.      lookup the exposed inner VLANs in L2 table T
6.      forward via the matched table entry
7.   ELSE
8.      Send an ICMP parameter problem message                  ;; Ref3
9.      drop the packet
                ]]></artwork></figure>
                <t>Ref1: An End.DX2V SID must always be the last SID, or it can be the Destination Address of an IPv6 packet with no SRH header.</t>
                <t>Ref2: We conveniently reuse the next-header value 59 allocated to IPv6 No Next Header <xref target="RFC8200"/>. When the SID corresponds to function End.DX2V and the Next-Header value is 59, we know that an Ethernet frame is in the payload without any further header.</t>
                <t>Ref3: ICMP error is sent to the source address with error code (TBD by IANA) "SR Upper-layer Header Error" and pointer set to the NH.</t>
                <t>An End.DX2V function could be customized to expect a specific VLAN format and rewrite the egress VLAN header before forwarding on the outgoing interface.</t>
                <t>The End.DX2V is used for EVPN Flexible cross-connect use-cases.</t>
            </section>

            <section title="End.DT2U: Decapsulation and unicast MAC L2 table lookup">
                <t>The &quot;Endpoint with decapsulation and specific unicast MAC L2 table lookup&quot; function (End.DT2U for short) is a variant of the endpoint function.</t>
                <t>When N receives a packet destined to S and S is a local End.DT2U SID, N does:</t>
                <figure><artwork><![CDATA[
 1.   IF NH=SRH and SL > 0
 2.      drop the packet                                         ;; Ref1
 3.   ELSE IF ENH  = 59                                          ;; Ref2
 4.      pop the (outer) IPv6 header and its extension headers
 5.      learn the exposed inner MAC SA in L2 table T            ;; Ref3
 6.      lookup the exposed inner MAC DA in L2 table T
 7.      IF matched entry in table T
 8.         forward via the matched table T entry
 9.      ELSE
10.         forward via all L2OIF entries in table T
11.   ELSE
12.      Send an ICMP parameter problem message                  ;; Ref4
13.      drop the packet
                ]]></artwork></figure>
                <t>Ref1: An End.DT2U SID must always be the last SID, or it can be the Destination Address of an IPv6 packet with no SRH header.</t>
                <t>Ref2: We conveniently reuse the next-header value 59 allocated to IPv6 No Next Header <xref target="RFC8200"/>. When the SID corresponds to function End.DT2U and the Next-Header value is 59, we know that an Ethernet frame is in the payload without any further header.</t>
                <t>Ref3: In EVPN, the learning of the exposed inner MAC SA is done via control plane.</t>
                <t>Ref4: ICMP error is sent to the source address with error code (TBD by IANA) "SR Upper-layer Header Error" and pointer set to the NH.</t>
                <t>The End.DT2U is used for EVPN Bridging unicast use cases.</t>
            </section>

            <section title="End.DT2M: Decapsulation and L2 table flooding">
                <t>The &quot;Endpoint with decapsulation and specific L2 table flooding&quot; function (End.DT2M for short) is a variant of the endpoint function.</t>
                <t>This function may take an argument: &quot;Arg.FE2&quot;. It is an argument specific to EVPN ESI filtering. It is used to exclude a specific OIF (or set of OIFs) from L2 table T flooding.</t>
                <t>When N receives a packet destined to S and S is a local End.DT2M SID, N does:</t>
                <figure><artwork><![CDATA[
1.   IF NH=SRH and SL > 0
2.      drop the packet                                         ;; Ref1
3.   ELSE IF ENH  = 59                                          ;; Ref2
4.      pop the (outer) IPv6 header and its extension headers
3.      learn the exposed inner MAC SA in L2 table T            ;; Ref3
4.      forward on all L2OIF excluding the one specified in Arg.FE2
5.   ELSE
6.      Send an ICMP parameter problem message                  ;; Ref4
7.      drop the packet
                ]]></artwork></figure>
                <t>Ref1: An End.DT2M SID must always be the last SID, or it can be the Destination Address of an IPv6 packet with no SRH header.</t>
                <t>Ref2: We conveniently reuse the next-header value 59 allocated to IPv6 No Next Header <xref target="RFC8200"/>. When the SID corresponds to function End.DT2M and the Next-Header value is 59, we know that an Ethernet frame is in the payload without any further header.</t>
                <t>Ref3: In EVPN, the learning of the exposed inner MAC SA is done via control plane</t>
                <t>Ref4: ICMP error is sent to the source address with error code (TBD by IANA) "SR Upper-layer Header Error" and pointer set to the NH.</t>
                <t>The End.DT2M is used for EVPN Bridging BUM use-case with ESI filtering capability.</t>
            </section>

            <section title="End.DX6: Decapsulation and IPv6 cross-connect">
                <t>The &quot;Endpoint with decapsulation and cross-connect to an array of IPv6 adjacencies&quot; function (End.DX6 for short) is a variant of the End.X function.</t>
                <t>When N receives a packet destined to S and S is a local End.DX6 SID, N does:</t>
                <figure><artwork><![CDATA[
1.   IF NH=SRH and SL > 0
2.      drop the packet                                         ;; Ref1
3.   ELSE IF ENH = 41                                           ;; Ref2
4.      pop the (outer) IPv6 header and its extension headers
5.      forward to layer-3 adjacency bound to the SID S         ;; Ref3
6.   ELSE
7.      Send an ICMP parameter problem message                  ;; Ref4
8.      drop the packet
                ]]></artwork></figure>
                <t>Ref1: The End.DX6 SID must always be the last SID, or it can be the Destination Address of an IPv6 packet with no SRH header.</t>
                <t>Ref2: 41 refers to IPv6 encapsulation as defined by IANA allocation for Internet Protocol Numbers</t>
                <t>Ref3: Selected based on a hash of the packet's header (at least SA, DA, Flow Label)</t>
                <t>Ref4: ICMP error is sent to the source address with error code (TBD by IANA) "SR Upper-layer Header Error" and pointer set to the NH.</t>
                <t>One of the applications of the End.DX6 function is the L3VPNv6 use-case where a FIB lookup in a specific tenant table at the egress PE is not required. This would be equivalent to the per-CE VPN label in MPLS <xref target="RFC4364"/>.</t>
            </section>

            <section title="End.DX4: Decapsulation and IPv4 cross-connect">
                <t>The &quot;Endpoint with decapsulation and cross-connect to an array of IPv4 adjacencies&quot; function (End.DX4 for short) is a variant of the End.X functions.</t>
                <t>When N receives a packet destined to S and S is a local End.DX4 SID, N does:</t>
                <figure><artwork><![CDATA[
1.   IF NH=SRH and SL > 0
2.      drop the packet                                         ;; Ref1
3.   ELSE IF ENH  =  4                                          ;; Ref2
4.      pop the (outer) IPv6 header and its extension headers
5.      forward to layer-3 adjacency bound to the SID S         ;; Ref3
6.   ELSE
7.      Send an ICMP parameter problem message                  ;; Ref4
8.      drop the packet
                ]]></artwork></figure>
                <t>Ref1: The End.DX4 SID must always be the last SID, or it can be the Destination Address of an IPv6 packet with no SRH header.</t>
                <t>Ref2: 4 refers to IPv4 encapsulation as defined by IANA allocation for Internet Protocol Numbers</t>
                <t>Ref3: Selected based on a hash of the packet's header (at least SA, DA, Flow Label)</t>
                <t>Ref4: ICMP error is sent to the source address with error code (TBD by IANA) "SR Upper-layer Header Error" and pointer set to the NH.</t>
                <t>One of the applications of the End.DX4 function is the L3VPNv4 use-case where a FIB lookup in a specific tenant table at the egress PE is not required. This would be equivalent to the per-CE VPN label in MPLS <xref target="RFC4364"/>.</t>
            </section>

            <section title="End.DT6: Decapsulation and specific IPv6 table lookup">
                <t>The &quot;Endpoint with decapsulation and specific IPv6 table lookup&quot; function (End.DT6 for short) is a variant of the End function.</t>
                <t>When N receives a packet destined to S and S is a local End.DT6 SID, N does:</t>
                <figure><artwork><![CDATA[
1.   IF NH=SRH and SL > 0 
2.      drop the packet                                         ;; Ref1
3.   ELSE IF ENH = 41                                           ;; Ref2
4.      pop the (outer) IPv6 header and its extension headers
5.      lookup the exposed inner IPv6 DA in IPv6 table T
6.      forward via the matched table entry
7.   ELSE 
8.      Send an ICMP parameter problem message                  ;; Ref3
9.      drop the packet
                ]]></artwork></figure>
                <t>Ref1: the End.DT6 SID must always be the last SID, or it can be the Destination Address of an IPv6 packet with no SRH header.</t>
                <t>Ref2: 41 refers to IPv6 encapsulation as defined by IANA allocation for Internet Protocol Numbers</t>
                <t>Ref3: ICMP error is sent to the source address with error code (TBD by IANA) "SR Upper-layer Header Error" and pointer set to the NH.</t>
                <t>One of the applications of the End.DT6 function is the L3VPNv6 use-case where a FIB lookup in a specific tenant table at the egress PE is required. This would be equivalent to the per-VRF VPN label in MPLS<xref target="RFC4364"/>.</t>
                <t>Note that an End.DT6 may be defined for the main IPv6 table in which case and End.DT6 supports the equivalent of an IPv6inIPv6 decaps (without VPN/tenant implication).</t>
            </section>

            <section title="End.DT4: Decapsulation and specific IPv4 table lookup">
                <t>The &quot;Endpoint with decapsulation and specific IPv4 table lookup&quot; function (End.DT4 for short) is a variant of the End function.</t>
                <t>When N receives a packet destined to S and S is a local End.DT4 SID, N does:</t>
                <figure><artwork><![CDATA[
1.   IF NH=SRH and SL > 0 
2.      drop the packet                                         ;; Ref1
3.   ELSE IF ENH = 4                                            ;; Ref2
4.      pop the (outer) IPv6 header and its extension headers
5.      lookup the exposed inner IPv4 DA in IPv4 table T
6.      forward via the matched table entry
7.   ELSE
8.      Send an ICMP parameter problem message                  ;; Ref3
9.      drop the packet
                ]]></artwork></figure>
                <t>Ref1: the End.DT4 SID must always be the last SID, or it can be the Destination Address of an IPv6 packet with no SRH header.</t>
                <t>Ref2: 4 refers to IPv4 encapsulation as defined by IANA allocation for Internet Protocol Numbers</t>
                <t>Ref3: ICMP error is sent to the source address with error code (TBD by IANA) "SR Upper-layer Header Error" and pointer set to the NH.</t>
                <t>One of the applications of the End.DT4 is the L3VPNv4 use-case where a FIB lookup in a specific tenant table at the egress PE is required. This would be equivalent to the per-VRF VPN label in MPLS<xref target="RFC4364"/>.</t>
                <t>Note that an End.DT4 may be defined for the main IPv4 table in which case and End.DT4 supports the equivalent of an IPv4inIPv6 decaps (without VPN/tenant implication).</t>
            </section>

            <section title="End.DT46: Decapsulation and specific IP table lookup">
                <t>The &quot;Endpoint with decapsulation and specific IP table lookup&quot; function (End.DT46 for short) is a variant of the End.DT4 and End.DT6 functions.</t>
                <t>When N receives a packet destined to S and S is a local End.DT46 SID, N does:</t>
                <figure><artwork><![CDATA[
 1.   IF NH=SRH and SL > 0 
 2.      drop the packet                                        ;; Ref1
 3.   ELSE IF ENH  =  4                                         ;; Ref2
 4.      pop the (outer) IPv6 header and its extension headers
 5.      lookup the exposed inner IPv4 DA in IPv4 table T
 6.      forward via the matched table entry
 7.   ELSE IF ENH = 41                                          ;; Ref2
 8.      pop the (outer) IPv6 header and its extension headers
 9.      lookup the exposed inner IPv6 DA in IPv6 table T
10.      forward via the matched table entry
11.   ELSE
12.      Send an ICMP parameter problem message                 ;; Ref3
13.      drop the packet
                ]]></artwork></figure>
                <t>Ref1: the End.DT46 SID must always be the last SID, or it can be the Destination Address of an IPv6 packet with no SRH header.</t>
                <t>Ref2: 4 and 41 refer to IPv4 and IPv6 encapsulation respectively as defined by IANA allocation for Internet Protocol Numbers</t>
                <t>Ref3: ICMP error is sent to the source address with error code (TBD by IANA) "SR Upper-layer Header Error" and pointer set to the NH.</t>
                <t>One of the applications of the End.DT46 is the L3VPN use-case where a FIB lookup in a specific IP tenant table at the egress PE is required. This would be equivalent to the per-VRF VPN label in MPLS <xref target="RFC4364"/>.</t>
                <t>Note that an End.DT46 may be defined for the main IP table in which case and End.DT46 supports the equivalent of an IPinIPv6 decaps (without VPN/tenant implication).</t>
            </section>

            <section title="End.B6.Insert: Endpoint bound to an SRv6 policy">
                <t>The &quot;Endpoint bound to an SRv6 Policy&quot; is a variant of the End function.</t>
                <t>When N receives a packet destined to S and S is a local End.B6.Insert SID, N does:</t>
                <figure><artwork><![CDATA[
1.   IF NH=SRH and SL > 0                                       ;; Ref1
2.      do not decrement SL nor update the IPv6 DA with SRH[SL] 
3.      insert a new SRH, in between the IPv6 header and the 
           received SRH
4.      set the IPv6 DA to the first segment of the SRv6 Policy
5.      forward according to the first segment of the SRv6 Policy 
6.   ELSE
7.      Send an ICMP parameter problem message                  ;; Ref2
8.      drop the packet    
                ]]></artwork></figure>
                <t>Ref1: An End.B6.Insert SID, by definition, is never the last SID.</t>
                <t>Ref2: ICMP error is sent to the source address with error code (TBD by IANA) "SR Upper-layer Header Error" and pointer set to the NH.</t>
                <t>Note: Instead of the term &quot;insert&quot;, &quot;push&quot; may also be used.</t>
                <t>The End.B6.Insert function is required to express scalable traffic-engineering policies across multiple domains. This is the SRv6 instantiation of a <xref target="I-D.ietf-spring-segment-routing">Binding SID</xref>.</t>
            </section>

            <section title="End.B6.Insert.Red: [...] with reduced SRH insertion">
                <t>This is an optimization of the End.B6.Insert function.</t>
                <t>End.B6.Insert.Red will reduce the size of the SRH by one segment by avoiding the insertion of the first SID in the pushed SRH. In this way, the first segment is only introduced in the DA and the packet is forwarded according to it.</t>
                <t>Note that SL value is initially pointing to a non-existing segment in the SRH.</t>
            </section>

            <section title="End.B6.Encaps: Endpoint bound to an SRv6 policy w/ encaps">
                <t>This is a variation of the End.B6.Insert behavior where the SRv6 Policy also includes an IPv6 Source Address A.</t>
                <t>When N receives a packet destined to S and S is a local End.B6.Encaps SID, N does:</t>
                <figure><artwork><![CDATA[
 1.  IF NH=SRH and SL > 0                                              
 2.    decrement SL and update the IPv6 DA with SRH[SL] 
 3.    push an outer IPv6 header with its own SRH
 4.    set the outer IPv6 SA to A
 5.    set the outer IPv6 DA to the first segment of the SRv6 Policy
 6.    set outer payload length, trafic class and flow label   ;; Ref1,2
 7.    update the Next-Header value                            ;; Ref1
 8.    decrement inner Hop Limit or TTL                        ;; Ref1
 9.    forward according to the first segment of the SRv6 Policy 
10.  ELSE
11.    Send an ICMP parameter problem message                  ;; Ref3
12.    drop the packet    
                ]]></artwork></figure>
                <t>Ref 1: As described in <xref target="RFC2473"/> (Generic Packet Tunneling in IPv6 Specification)</t>
                <t>Ref 2: As described in <xref target="RFC6437"/> (IPv6 Flow Label Specification)</t>
                <t>Ref3: ICMP error is sent to the source address with error code (TBD by IANA) "SR Upper-layer Header Error" and pointer set to the NH.</t>
                <t>Instead of simply inserting an SRH with the policy (End.B6), this behavior also adds an outer IPv6 header. The source address defined for the outer header does not have to be a local SID of the node.</t>
                <t>The SRH MAY be omitted when the SRv6 Policy only contains one segment and there is no need to use any flag, tag or TLV.</t>
            </section>

            <section title="End.B6.Encaps.Red: [...] with reduced SRH insertion">
                <t>This is an optimization of the End.B6.Encaps function.</t>
                <t>End.B6.Encaps.Red will reduce the size of the SRH by one segment by avoiding the insertion of the first SID in the outer SRH. In this way, the first segment is only introduced in the DA and the packet is forwarded according to it.</t>
                <t>Note that SL value is initially pointing to a non-existing segment in the SRH.</t>
                <t>The SRH MAY be omitted when the SRv6 Policy only contains one segment and there is no need to use any flag, tag or TLV.</t>
            </section>

            <section title="End.BM: Endpoint bound to an SR-MPLS policy">
                <t>The &quot;Endpoint bound to an SR-MPLS Policy&quot; is a variant of the End.B6 function.</t>
                <t>When N receives a packet destined to S and S is a local End.BM SID, N does:</t>
                <figure><artwork><![CDATA[
1.   IF NH=SRH and SL > 0                                       ;; Ref1
2.      decrement SL and update the IPv6 DA with SRH[SL] 
3.      push an MPLS label stack <L1, L2, L3> on the received packet 
4.      forward according to L1 
5.   ELSE
6.      Send an ICMP parameter problem message                  ;; Ref2
7.      drop the packet 
                ]]></artwork></figure>
                <t>Ref1: an End.BM SID, by definition, is never the last SID.</t>
                <t>Ref2: ICMP error is sent to the source address with error code (TBD by IANA) "SR Upper-layer Header Error" and pointer set to the NH.</t>
                <t>The End.BM function is required to express scalable traffic-engineering policies across multiple domains where some domains support the MPLS instantiation of Segment Routing.</t>
                <t>This is an SRv6 instantiation of an SR-MPLS <xref target="I-D.ietf-spring-segment-routing">Binding SID</xref>.</t>
            </section>

            <section title="End.S: Endpoint in search of a target in table T">
                <t>The &quot;Endpoint in search of a target in Table T&quot; function (End.S for short) is a variant of the End function.</t>
                <t>When N receives a packet destined to S and S is a local End.S SID, N does:</t>
                <figure><artwork><![CDATA[
1.   IF NH=SRH and SL = 0                                       ;; Ref1
2.      Send an ICMP parameter problem message                  ;; Ref2
3.      drop the packet 
4.   ELSE IF match(last SID) in specified table T
5.      forward accordingly
6.   ELSE 
7.      apply the End behavior
                ]]></artwork></figure>
                <t>Ref1: By definition, an End.S SID cannot be the last SID, as the last SID is the targeted object.</t>
                <t>Ref2: ICMP error is sent to the source address with error code (TBD by IANA) "SR Upper-layer Header Error" and pointer set to the NH.</t>
                <t>The End.S function is required in information-centric networking (ICN) use-cases where the last SID in the SRv6 SID list represents a targeted object. If the identification of the object would require more than 128 bits, then obvious customization of the End.S function may either use multiple SIDs or a TLV of the SR header to encode the searched object ID.</t>
            </section>

            <section title="SR-aware application">
                <t>Generally, any SR-aware application can be bound to an SRv6 SID. This application could represent anything from a small piece of code focused on topological/tenant function to a larger process focusing on higher-level applications (e.g. video compression, transcoding etc.).</t>
                <t>The ways in which an SR-aware application binds itself on a local SID depends on the operating system. Let us consider an SR-aware application running on a Linux operating system. A possible approach is to associate an SRv6 SID to a target (virtual) interface, so that packets with IP DA corresponding to the SID will be sent to the target interface. In this approach, the SR-aware application can simply listen to all packets received on the interface.</t>
                <t>A different approach for the SR-aware app is to listen to packets received with a specific SRv6 SID as IPv6 DA on a given transport port (i.e. corresponding to a TCP or UDP socket). In this case, the app can read the SRH information with a getsockopt Linux system call and can set the SRH information to be added to the outgoing packets with a setsocksopt system call.</t>
            </section>

            <section title="Non SR-aware application">
                <t><xref target="I-D.xuclad-spring-sr-service-programming"/> defines a set of additional functions in order to enable non SR-aware applications to be associated with an SRv6 SID.</t>
            </section>

            <section title="Flavours">
                <t>We present the PSP and USP variants of the functions End, End.X and End.T. For each of these functions these variants can be enabled or disabled either individually or together.</t>

                <section title="PSP: Penultimate Segment Pop of the SRH">
                    <t>After the instruction 'update the IPv6 DA with SRH[SL]' is executed, the following instructions must be added:</t>
                <figure><artwork><![CDATA[
1.   IF updated SL = 0 & PSP is TRUE
2.      pop the top SRH                                         ;; Ref1
                ]]></artwork></figure>
                    <t>Ref1: The received SRH had SL=1. When the last SID is written in the DA, the End, End.X and End.T functions with the PSP flavour pop the first (top-most) SRH. Subsequent stacked SRH's may be present but are not processed as part of the function.</t>
                </section>

                <section title="USP: Ultimate Segment Pop of the SRH">
                    <t>We insert at the beginning of the pseudo-code the following instructions:</t>
                <figure><artwork><![CDATA[
1.   IF NH=SRH & SL = 0 & USP=TRUE                              ;; Ref1
2.      pop the top SRH
3.      restart the function processing on the modified packet  ;; Ref2
                ]]></artwork></figure>
                    <t>Ref1: The next header is an SRH header</t>
                    <t>Ref2: Typically SL of the exposed SRH is &gt; 0 and hence the restarting of the complete function would lead to decrement SL, update the IPv6 DA with SRH[SL], FIB lookup on updated DA and forward accordingly to the matched entry.</t>
                    <t><vspace blankLines="30" /></t>
                </section>

                <section title="USD: Ultimate Segment Decapsulation">
                    <t>We insert at the beginning of the pseudo-code the following instructions:</t>
                <figure><artwork><![CDATA[
1.   IF (NH=41) or (NH = SRH and SL = 0 and NNH = 41)
2.      pop the (outer) IPv6 header and its extension headers
3.      lookup the exposed inner IP DA and forward              ;; Ref1
4.      forward via the matched table entry
          ]]></artwork></figure>
                    <t>Ref1: In case that the USD flavor is applied on an End.X function, the packet is forwarded to the layer-3 adjancency bound to SID S without any lookup.</t>
                    <t><vspace blankLines="30" /></t>
                </section>
            </section>
        </section>

        <section title="Transit behaviors">
            <t>We define hereafter the set of basic transit behaviors. These behaviors are not bound to a SID and they correspond to source SR nodes or transit nodes <xref target="I-D.ietf-6man-segment-routing-header"/>.</t>
            <figure>
                <artwork><![CDATA[
T                Transit behavior
T.Insert         Transit behavior with insertion of an SRv6 policy
T.Insert.Red     Transit behavior with reduced insert of an SRv6 policy
T.Encaps         Transit behavior with encapsulation in an SRv6 policy
T.Encaps.Red     Transit behavior with reduced encaps in an SRv6 policy
T.Encaps.L2      T.Encaps applied to received L2 frames
T.Encaps.L2.Red  T.Encaps.Red applied to received L2 frames
            ]]></artwork>
            </figure>
            <t>This list can be expanded in case any new functionality requires it.</t>

            <?rfc needLines="10" ?>
            <section title="T: Transit behavior">
                <t>As per <xref target="RFC8200"/>, if a node N receives a packet (A, S2)(S3, S2, S1; SL=2) and S2 is neither a local address nor a local SID of N then N forwards the packet without inspecting the SRH.</t>
                <t>This means that N treats the following two packets with the same performance:
                    <list style="format - ">
                    <t>(A, S2)</t>
                    <t>(A, S2)(S3, S2, S1; SL=2)</t>
                </list></t>
                <t>A transit node does not need to count by default the amount of transit traffic with an SRH extension header. This accounting might be enabled as an optional behavior.</t>
                <t>A transit node MUST include the outer flow label in its ECMP load-balancing hash <xref target="RFC6437"/>.</t>
            </section>

            <?rfc needLines="10" ?>
            <section title="T.Insert: Transit with insertion of an SRv6 Policy">
                <t>Node N receives two packets P1=(A, B2) and P2=(A,B2)(B3, B2, B1; SL=1). B2 is neither a local address nor SID of N.</t>
                <t>N steers the transit packets P1 and P2 into an SRv6 Policy with one SID list &lt;S1, S2, S3&gt;.</t>
                <t>The "T.Insert" transit insertion behavior is defined as follows:</t>
                <figure><artwork><![CDATA[
1.   insert the SRH (B2, S3, S2, S1; SL=3)             ;; Ref1, Ref1bis
2.   set the IPv6 DA = S1
3.   forward along the shortest path to S1
                ]]></artwork></figure>
                <t>Ref1: The received IPv6 DA is placed as last SID of the inserted SRH.</t>
                <t>Ref1bis: The SRH is inserted before any other IPv6 Routing Extension Header. </t>
                <t>After the T.Insert behavior, P1 and P2 respectively look like:
                    <list style="format - ">
                        <t>(A, S1) (B2, S3, S2, S1; SL=3)</t>
                        <t>(A, S1) (B2, S3, S2, S1; SL=3) (B3, B2, B1; SL=1)</t>
                    </list></t>
            </section>

            <?rfc needLines="10" ?>
            <section title="T.Insert.Red: Transit with reduced insertion">
                <t>The T.Insert.Red behavior is an optimization of the T.Insert behavior. It is defined as follows:</t>
                <figure><artwork><![CDATA[
1.   insert the SRH (B2, S3, S2; SL=3)
2.   set the IPv6 DA = S1
3.   forward along the shortest path to S1
                ]]></artwork></figure>
                <t>T.Insert.Red will reduce the size of the SRH by one segment by avoiding the insertion of the first SID in the pushed SRH. In this way, the first segment is only introduced in the DA and the packet is forwarded according to it.</t>
                <t>Note that SL value is initially pointing to a non-existing segment in the SRH.</t>
                <t>After the T.Insert.Red behavior, P1 and P2 respectively look like:
                    <list style="format - ">
                        <t>(A, S1) (B2, S3, S2; SL=3)</t>
                        <t>(A, S1) (B2, S3, S2; SL=3) (B3, B2, B1; SL=1)</t>
                    </list></t>
            </section>

            <?rfc needLines="10" ?>
            <section title="T.Encaps: Transit with encapsulation in an SRv6 Policy">
                <t>Node N receives two packets P1=(A, B2) and P2=(A,B2)(B3, B2, B1; SL=1). B2 is neither a local address nor SID of N.</t>
                <t>N steers the transit packets P1 and P2 into an SR Encapsulation Policy with a Source Address T and a Segment list &lt;S1, S2, S3&gt;.</t>
                <t>The T.Encaps transit encapsulation behavior is defined as follows:</t>
                <figure><artwork><![CDATA[
1.   push an IPv6 header with its own SRH (S3, S2, S1; SL=2)
2.   set outer IPv6 SA = T and outer IPv6 DA = S1
3.   set outer payload length, traffic class and flow label    ;; Ref1,2
4.   update the Next-Header value                              ;; Ref1
5.   decrement inner Hop Limit or TTL                          ;; Ref1
6.   forward along the shortest path to S1
                ]]></artwork></figure>
                <t>After the T.Encaps behavior, P1 and P2 respectively look like:
                    <list style="format - ">
                        <t>(T, S1) (S3, S2, S1; SL=2) (A, B2)</t>
                        <t>(T, S1) (S3, S2, S1; SL=2) (A, B2) (B3, B2, B1; SL=1)</t>
                    </list></t>
                <t>The T.Encaps behavior is valid for any kind of Layer-3 traffic. This behavior is commonly used for L3VPN with IPv4 and IPv6 deployments.</t>
                <t>The SRH MAY be omitted when the SRv6 Policy only contains one segment and there is no need to use any flag, tag or TLV.</t>
                <t>Ref 1: As described in <xref target="RFC2473"/> (Generic Packet Tunneling in IPv6 Specification)</t>
                <t>Ref 2: As described in <xref target="RFC6437"/> (IPv6 Flow Label Specification)</t>
            </section>

            <?rfc needLines="10" ?>
            <section title="T.Encaps.Red: Transit with reduced encapsulation">
                <t>The T.Encaps.Red behavior is an optimization of the T.Encaps behavior. It is defined as follows:</t>
                <figure><artwork><![CDATA[
1.   push an IPv6 header with its own SRH (S3, S2; SL=2)
2.   set outer IPv6 SA = T and outer IPv6 DA = S1
3.   set outer payload length, traffic class and flow label   ;; Ref1,2
4.   update the Next-Header value                             ;; Ref1
5.   decrement inner Hop Limit or TTL                         ;; Ref1
6.   forward along the shortest path to S1
                ]]></artwork></figure>
                <t>Ref 1: As described in <xref target="RFC2473"/> (Generic Packet Tunneling in IPv6 Specification)</t>
                <t>Ref 2: As described in <xref target="RFC6437"/> (IPv6 Flow Label Specification)</t>
                <t>T.Encaps.Red will reduce the size of the SRH by one segment by avoiding the insertion of the first SID in the SRH of the pushed IPv6 packet. In this way, the first segment is only introduced in the DA and the packet is forwarded according to it.</t>
                <t>Note that SL value is initially pointing to a non-existing segment in the SRH.</t>
                <t>After the T.Encaps.Red behavior, P1 and P2 respectively look like:
                    <list style="format - ">
                        <t>(T, S1) (S3, S2; SL=2) (A, B2)</t>
                        <t>(T, S1) (S3, S2; SL=2) (A, B2) (B3, B2, B1; SL=1)</t>
                    </list></t>
                <t>The SRH MAY be omitted when the SRv6 Policy only contains one segment and there is no need to use any flag, tag or TLV.</t>
            </section>

            <?rfc needLines="10" ?>
            <section title="T.Encaps.L2: Transit with encapsulation of L2 frames">
                <t>While T.Encaps encapsulates the received IP packet, T.Encaps.L2 encapsulates the received L2 frame (i.e. the received ethernet header and its optional VLAN header is in the payload of the outer packet).</t>
                <t>If the outer header is pushed without SRH, then the DA must be a SID of type End.DX2, End.DX2V, End.DT2U or End.DT2M and the next-header must be 59 (IPv6 NoNextHeader). The received Ethernet frame follows the IPv6 header and its extension headers.</t>
                <t>Else, if the outer header is pushed with an SRH, then the last SID of the SRH must be of type End.DX2, End.DX2V, End.DT2U or End.DT2M and the next-header of the SRH must be 59 (IPv6 NoNextHeader). The received Ethernet frame follows the IPv6 header and its extension headers.</t>
                <t>The SRH MAY be omitted when the SRv6 Policy only contains one segment and there is no need to use any flag, tag or TLV.</t>
            </section>

            <?rfc needLines="10" ?>
            <section title="T.Encaps.L2.Red: Transit with reduced encaps of L2 frames">
                <t>The T.Encaps.L2.Red behavior is an optimization of the T.Encaps.L2 behavior.</t>
                <t>T.Encaps.L2.Red will reduce the size of the SRH by one segment by avoiding the insertion of the first SID in the SRH of the pushed IPv6 packet. In this way, the first segment is only introduced in the DA and the packet is forwarded according to it.</t>
                <t>Note that SL value is initially pointing to a non-existing segment in the SRH.</t>
                <t>The SRH MAY be omitted when the SRv6 Policy only contains one segment and there is no need to use any flag, tag or TLV.</t>
                <t><vspace blankLines="2" /></t>
            </section>
        </section>

        <?rfc needLines="10" ?>
        <section title="Operation">
            <section title="Counters">
                <t>Any SRv6 capable node SHOULD implement the following set of combined counters (packets and bytes):
                    <list style="format - ">
                        <t>CNT-1: Per entry of the &quot;My SID Table&quot;, traffic that matched that SID and was processed correctly.</t>
                        <t>CNT-2: Per SRv6 Policy, traffic steered into it and processed correctly.</t>
                    </list>
                </t>
                <t>Furthermore, an SRv6 capable node maintains an aggregate counter CNT-3 tracking the IPv6 traffic that was received with a destination address matching a local interface address that is not a locally instantiated SID and the next-header is SRH with SL&gt;0. We remind that this traffic is dropped as an interface address is not a local SID by default. A SID must be explicitly instantiated.</t>
            </section>

            <?rfc needLines="5" ?>
            <section title="Flow-based hash computation">
                <t>When a flow-based selection within a set needs to be performed, the source address, the destination address and the flow-label MUST be included in the flow-based hash.</t> 
                <t>This occurs when the destination address is updated, a FIB lookup is performed and multiple ECMP paths exist to the updated destination address.</t>
                <t>This occurs when End.X, End.DX4, or End.DX6 are bound to an array of adjacencies.</t>
                <t>This occurs when the packet is steered in an SR policy whose selected path has multiple SID lists <xref target="I-D.filsfils-spring-segment-routing-policy"/>.</t>
            </section>

            <?rfc needLines="3" ?>
            <section title="OAM">
                <t><xref target="I-D.ali-spring-srv6-oam"/> defines the OAM behavior for SRv6. This includes the definition of the SRH Flag 'O-bit', as well as additional OAM Endpoint functions.</t>
                <t><vspace blankLines="5" /></t>
            </section>
        </section>

        <?rfc needLines="10" ?>
        <section title="Basic security for intra-domain deployment">
            <t>We use the following terminology:
                <list style="empty">
                    <t>An internal node is a node part of the domain of trust.</t>
                    <t>A border router is an internal node at the edge of the domain of trust.</t>
                    <t>An external interface is an interface of a border router towards another domain.</t>
                    <t>An internal interface is an interface entirely within the domain of trust.</t>
                    <t>The internal address space is the IP address block dedicated to internal interfaces.</t>
                    <t>An internal SID is a SID instantiated on an internal node.</t>
                    <t>The internal SID space is the IP address block dedicated to internal SIDs.</t>
                    <t>External traffic is traffic received from an external interface to the domain of trust.</t>
                    <t>Internal traffic is traffic that originates and ends within the domain of trust.</t>
                </list>
            </t>
            <t>The purpose of this section is to document how a domain of trust can operate SRv6-based services for internal traffic while preventing any external traffic from accessing the internal SRv6-based services.</t>
            <t>It is expected that future documents will detail enhanced security mechanisms for SRv6 (e.g. how to allow external traffic to leverage internal SRv6 services).</t>

            <?rfc needLines="3" ?>
            <section anchor="SEC1" title="SEC-1">
                <t>An SRv6 router MUST support an ACL on the external interface that drops any traffic with SA or DA in the internal SID space.</t>
                <t>A provider would generally do this for its internal address space to prevent access to internal addresses and in order to prevent spoofing. The technique is extended to the local SID space.</t>
                <t>The typical counters of an ACL are expected.</t>
            </section>

            <?rfc needLines="6" ?>
            <section anchor="SEC2" title="SEC-2">
                <t>An SRv6 router MUST support an ACL with the following behavior:</t>
                <figure><artwork><![CDATA[
1.   IF (DA == LocalSID) && (SA != internal address or SID space)
2.      drop
                ]]></artwork></figure>
                <t>This prevents access to locally instantiated SIDs from outside the operator's infrastructure. Note that this ACL may not be enabled in all cases. For example, specific SIDs can be used to provide resources to devices that are outside of the operator's infrastructure.</t>
                <t>The typical counters of an ACL are expected.</t>
            </section>

            <?rfc needLines="2" ?>
            <section anchor="SEC3" title="SEC-3">
                <t>As per the End definition, an SRv6 router MUST only implement the End behavior on a local IPv6 address if that address has been explicitly enabled as an SRv6 SID.</t>
                <t>This address may or may not be associated with an interface. This address may or may not be routed. The only thing that matters is that the local SID must be explicitly instantiated and explicitly bound to a function.</t>
                <t>Packets received with destination address representing a local interface that has not been enabled as an SRv6 SID MUST be dropped.</t>
                <t><vspace blankLines="15" /></t>
            </section>
        </section>

        <?rfc needLines="8" ?>
        <section title="Control Plane">
            <t>In an SDN environment, one expects the controller to explicitly provision the SIDs and/or discover them as part of a service discovery function. Applications residing on top of the controller could then discover the required SIDs and combine them to form a distributed network program.</t>
            <t>The concept of &quot;SRv6 network programming&quot; refers to the capability for an application to encode any complex program as a set of individual functions distributed through the network. Some functions relate to underlay SLA, others to overlay/tenant, others to complex applications residing in VM and containers.</t>
            <t>The specification of the SRv6 control-plane is outside the scope of this document. </t>
            <t>We limit ourselves to a few important observations.</t>

            <section title="IGP">
                <t>The End, End.T and End.X SIDs express topological functions and hence are expected to be signaled in the IGP together with the flavours PSP, USP and USD<xref target="I-D.bashandy-isis-srv6-extensions"/>.</t>
                <t>The presence of SIDs in the IGP do not imply any routing semantics to the addresses represented by these SIDs. The routing reachability to an IPv6 address is solely governed by the classic, non-SID-related, IGP information. Routing is not governed neither influenced in any way by a SID advertisement in the IGP.</t>
                <t>These three SIDs provide important topological functions for the IGP to build FRR/TI-LFA solution and for TE processes relying on IGP LSDB to build SR policies.</t>
            </section>

            <section title="BGP-LS">
                <t>BGP-LS is expected to be the key service discovery protocol. Every node is expected to advertise via BGP-LS its SRv6 capabilities (e.g. how many SIDs in can insert as part of an T.Insert behavior) and any locally instantiated SID <xref target="I-D.dawra-idr-bgpls-srv6-ext"/>.</t>
            </section>

            <section title="BGP IP/VPN/EVPN">
                <t>The End.DX4, End.DX6, End.DT4, End.DT6, End.DT46, End.DX2, End.DX2V, End.DT2U and End.DT2M SIDs are expected to be signaled in BGP <xref target="I-D.dawra-idr-srv6-vpn"/>.</t>
            </section>

            <section title="Summary">
                <t>The following table summarizes which SIDs are signaled in which signaling protocol.</t>

                <texttable anchor="localsid_signaling" title="SRv6 locally instanted SIDs signaling">
                    <ttcol align="left"></ttcol>
                    <ttcol align="center">IGP</ttcol>
                    <ttcol align="center">BGP-LS</ttcol>
                    <ttcol align="center">BGP IP/VPN/EVPN</ttcol>
                        
                    <c>End   (PSP, USP, USD)</c>
                    <c>X</c>
                    <c>X</c>
                    <c></c>
                    <c>End.X (PSP, USP, USD)</c>
                    <c>X</c>
                    <c>X</c>
                    <c></c>
                    <c>End.T (PSP, USP, USD)</c>
                    <c>X</c>
                    <c>X</c>
                    <c></c>
                    <c>End.DX2</c>
                    <c></c>
                    <c>X</c>
                    <c>X</c>
                    <c>End.DX2V</c>
                    <c></c>
                    <c>X</c>
                    <c>X</c>
                    <c>End.DT2U</c>
                    <c></c>
                    <c>X</c>
                    <c>X</c>
                    <c>End.DT2M</c>
                    <c></c>
                    <c>X</c>
                    <c>X</c>
                    <c>End.DX6</c>
                    <c>X</c>
                    <c>X</c>
                    <c>X</c>
                    <c>End.DX4</c>
                    <c>X</c>
                    <c>X</c>
                    <c>X</c>
                    <c>End.DT6</c>
                    <c>X</c>
                    <c>X</c>
                    <c>X</c>
                    <c>End.DT4</c>
                    <c>X</c>
                    <c>X</c>
                    <c>X</c>
                    <c>End.DT46</c>
                    <c>X</c>
                    <c>X</c>
                    <c>X</c>
                    <c>End.B6.Insert</c>
                    <c></c>
                    <c>X</c>
                    <c></c>
                    <c>End.B6.Insert.Red</c>
                    <c></c>
                    <c>X</c>
                    <c></c>
                    <c>End.B6.Encaps</c>
                    <c></c>
                    <c>X</c>
                    <c></c>
                    <c>End.B6.Encaps.Red</c>
                    <c></c>
                    <c>X</c>
                    <c></c>
                    <c>End.B6.BM</c>
                    <c></c>
                    <c>X</c>
                    <c></c>
                    <c>End.S</c>
                    <c></c>
                    <c>X</c>
                    <c></c>
                </texttable>

                <t>The following table summarizes which transit capabilities are signaled in which signaling protocol.</t>

                <texttable anchor="transit_signaling" title="SRv6 transit behaviors signaling">
                    <ttcol align="left"></ttcol>
                    <ttcol align="center">IGP</ttcol>
                    <ttcol align="center">BGP-LS</ttcol>
                    <ttcol align="center">BGP IP/VPN/EVPN</ttcol>
                        
                    <c>T</c>
                    <c></c>
                    <c>X</c>
                    <c></c>
                    <c>T.Insert</c>
                    <c>X</c>
                    <c>X</c>
                    <c></c>
                    <c>T.Insert.Red</c>
                    <c>X</c>
                    <c>X</c>
                    <c></c>
                    <c>T.Encaps</c>
                    <c>X</c>
                    <c>X</c>
                    <c></c>
                    <c>T.Encaps.Red</c>
                    <c>X</c>
                    <c>X</c>
                    <c></c>
                    <c>T.Encaps.L2</c>
                    <c></c>
                    <c>X</c>
                    <c></c>
                    <c>T.Encaps.L2.Red</c>
                    <c></c>
                    <c>X</c>
                    <c></c>
                </texttable>

                <t>The previous table describes generic capabilities. It does not describe specific instantiated SR policies.</t>
                <t>For example, a BGP-LS advertisement of the T capability of node N would indicate that node N supports the basic transit behavior. The T.Insert behavior would describe the capability of node N to perform a T.Insert behavior, specifically it would describe how many SIDs could be inserted by N without significant performance degradation. Same for T.Encaps (the number is potentially lower as the overhead of the additional outer IP header is accounted).</t>
                <t><vspace blankLines="1" /></t>
                <t>The reader should also remember that any specific instantiated SR policy is always assigned a Binding SID. They should remember that BSIDs are advertised in BGP-LS as shown in <xref target="localsid_signaling" />. Hence, it is normal that <xref target="transit_signaling" /> only focuses on the generic capabilities related to T.Insert and T.Encaps as <xref target="localsid_signaling" /> advertises the specific instantiated BSID properties.</t>
            </section>
        </section>


        <section title="IANA Considerations">
            <t>This document requests the following new IANA registries:<list style="format - ">
                    <t>A new top-level registry &quot;Segment-routing with IPv6 dataplane (SRv6) Parameters&quot; to be created under IANA Protocol registries. This registry is being defined to serve as a top-level registry for keeping all other SRv6 sub-registries.</t>
                    <t>A sub-registry &quot;SRv6 Endpoint Behaviors&quot; to be defined under top-level &quot;Segment-routing with IPv6 dataplane (SRv6) Parameters&quot; registry. This sub-registry maintains 16-bit identifiers for the SRv6 Endpoint behaviors. The range of the registry is 0-65535 (0x0000 - 0xFFFF) and has the following registration rules and allocation policies:</t>
                </list>
            </t>

            <texttable anchor="endpoint_cp_codepoint_ranges" title="SRv6 Endpoint Behaviors Registry">
                    <ttcol align="left">Range</ttcol>
                    <ttcol align="center">Hex</ttcol>
                    <ttcol align="center">Registration proceadure</ttcol>
                    <ttcol align="center">Notes</ttcol>
                    
                    <c>0</c>
                    <c>0x0000</c>
                    <c>Reserved</c>
                    <c>Invalid</c>  
                    
                    <c>1-32767</c>
                    <c>0x0001-0x7FFF</c>
                    <c>IETF review</c>
                    <c>Draft Specifications</c>

                    <c>32768-49151</c>
                    <c>0x8000-0xBFFF</c>
                    <c>Reserved for experimental use</c>
                    <c></c>

                    <c>49152-65534</c>
                    <c>0xC000-0xFFFE</c>
                    <c>Reserved for private use</c>
                    <c></c>

                    <c>65535</c>
                    <c>0xFFFF</c>
                    <c>Reserved</c>
                    <c>Opaque</c>
                </texttable>

            <t>The initial registrations for the "Draft Specifications" portion of the sub-registry are as follows:</t> 
            <texttable anchor="endpoint_cp_types" title="IETF - SRv6 Endpoint Behaviors">
                    <ttcol align="left">Value</ttcol>
                    <ttcol align="center">Hex</ttcol>
                    <ttcol align="center">Endpoint function</ttcol>
                    <ttcol align="center">Reference</ttcol>
                    
                    <c>1</c>
                    <c>0x0001</c>
                    <c>End (no PSP, no USP)</c>
                    <c>[This.ID]</c>
                    <c>2</c>
                    <c>0x0002</c>
                    <c>End with PSP</c>
                    <c>[This.ID]</c>
                    <c>3</c>
                    <c>0x0003</c>
                    <c>End with USP</c>
                    <c>[This.ID]</c>
                    <c>4</c>
                    <c>0x0004</c>
                    <c>End with PSP&amp;USP</c>
                    <c>[This.ID]</c>
                    <c>5</c>
                    <c>0x0005</c>
                    <c>End.X (no PSP, no USP)</c>
                    <c>[This.ID]</c>
                    <c>6</c>
                    <c>0x0006</c>
                    <c>End.X with PSP</c>
                    <c>[This.ID]</c>
                    <c>7</c>
                    <c>0x0007</c>
                    <c>End.X with USP</c>
                    <c>[This.ID]</c>
                    <c>8</c>
                    <c>0x0008</c>
                    <c>End.X with PSP&amp;USP</c>
                    <c>[This.ID]</c>
                    <c>9</c>
                    <c>0x0009</c>
                    <c>End.T (no PSP, no USP)</c>
                    <c>[This.ID]</c>
                    <c>10</c>
                    <c>0x000A</c>
                    <c>End.T with PSP</c>
                    <c>[This.ID]</c>
                    <c>11</c>
                    <c>0x000B</c>
                    <c>End.T with USP</c>
                    <c>[This.ID]</c>
                    <c>12</c>
                    <c>0x000C</c>
                    <c>End.T with PSP&amp;USP</c>
                    <c>[This.ID]</c>
                    <c>13</c>
                    <c>0x000D</c>
                    <c>End.B6</c>
                    <c>[This.ID]</c>
                    <c>14</c>
                    <c>0x000E</c>
                    <c>End.B6.Encaps</c>
                    <c>[This.ID]</c>
                    <c>15</c>
                    <c>0x000F</c>
                    <c>End.BM</c>
                    <c>[This.ID]</c>
                    <c>16</c>
                    <c>0x0010</c>
                    <c>End.DX6</c>
                    <c>[This.ID]</c>
                    <c>17</c>
                    <c>0x0011</c>
                    <c>End.DX4</c>
                    <c>[This.ID]</c>
                    <c>18</c>
                    <c>0x0012</c>
                    <c>End.DT6</c>
                    <c>[This.ID]</c>
                    <c>19</c>
                    <c>0x0013</c>
                    <c>End.DT4</c>
                    <c>[This.ID]</c>
                    <c>20</c>
                    <c>0x0014</c>
                    <c>End.DT46</c>
                    <c>[This.ID]</c>
                    <c>21</c>
                    <c>0x0015</c>
                    <c>End.DX2</c>
                    <c>[This.ID]</c>
                    <c>22</c>
                    <c>0x0016</c>
                    <c>End.DX2V</c>
                    <c>[This.ID]</c>
                    <c>23</c>
                    <c>0x0017</c>
                    <c>End.DT2U</c>
                    <c>[This.ID]</c>
                    <c>24</c>
                    <c>0x0018</c>
                    <c>End.DT2M</c>
                    <c>[This.ID]</c>
                    <c>25</c>
                    <c>0x0019</c>
                    <c>End.S</c>
                    <c>[This.ID]</c>
                    <c>26</c>
                    <c>0x001A</c>
                    <c>End.B6.Red</c>
                    <c>[This.ID]</c>
                    <c>27</c>
                    <c>0x001B</c>
                    <c>End.B6.Encaps.Red</c>
                    <c>[This.ID]</c>
                    <c>28</c>
                    <c>0x001C</c>
                    <c>End with USD</c>
                    <c>[This.ID]</c>
                    <c>29</c>
                    <c>0x001D</c>
                    <c>End with PSP&amp;USD</c>
                    <c>[This.ID]</c>
                    <c>30</c>
                    <c>0x001E</c>
                    <c>End with USP&amp;USD</c>
                    <c>[This.ID]</c>
                    <c>31</c>
                    <c>0x001F</c>
                    <c>End with PSP, USP &amp; USD</c>
                    <c>[This.ID]</c>
                    <c>32</c>
                    <c>0x0020</c>
                    <c>End.X with USD</c>
                    <c>[This.ID]</c>
                    <c>33</c>
                    <c>0x0021</c>
                    <c>End.X with PSP&amp;USD</c>
                    <c>[This.ID]</c>
                    <c>34</c>
                    <c>0x0022</c>
                    <c>End.X with USP&amp;USD</c>
                    <c>[This.ID]</c>
                    <c>35</c>
                    <c>0x0023</c>
                    <c>End.X with PSP, USP &amp; USD</c>
                    <c>[This.ID]</c>
                    <c>36</c>
                    <c>0x0024</c>
                    <c>End.T with USD</c>
                    <c>[This.ID]</c>
                    <c>37</c>
                    <c>0x0025</c>
                    <c>End.T with PSP&amp;USD</c>
                    <c>[This.ID]</c>
                    <c>38</c>
                    <c>0x0026</c>
                    <c>End.T with USP&amp;USD</c>
                    <c>[This.ID]</c>
                    <c>39</c>
                    <c>0x0027</c>
                    <c>End.T with PSP, USP &amp; USD</c>
                    <c>[This.ID]</c>
                </texttable>
        </section>

        <section title="Work in progress">
            <t>We are working on a extension of this document to provide Yang modelling for all the functionality described in this document. This work is ongoing in <xref target="I-D.raza-spring-srv6-yang"/>.</t>
        </section>

        <?rfc needLines="1" ?>
        <section anchor="Acknowledgements" title="Acknowledgements">
            <t>The authors would like to acknowledge Stefano Previdi, Dave Barach, Mark Townsley, Peter Psenak, Thierry Couture, Kris Michielsen, Paul Wells, Robert Hanzl, Dan Ye, Gaurav Dawra, Faisal Iqbal, Jaganbabu Rajamanickam, David Toscano, Asif Islam, Jianda Liu, Yunpeng Zhang, Jiaoming Li, Narendra A.K, Mike Mc Gourty, Bhupendra Yadav, Sherif Toulan, Satish Damodaran, John Bettink, Kishore Nandyala Veera Venk, Jisu Bhattacharya and Saleem Hafeez.</t>
        </section>

        <?rfc needLines="1" ?>
        <section title="Contributors">

            <t>Daniel Bernier<vspace blankLines="0" />
            Bell Canada<vspace blankLines="0" />
            Canada</t>
            <t>Email: daniel.bernier@bell.ca<vspace blankLines="0" /></t>

            <t>Dirk Steinberg<vspace blankLines="0" />
            Steinberg Consulting<vspace blankLines="0" />
            Germany</t>
            <t>Email: dws@dirksteinberg.de<vspace blankLines="0" /></t>

            <t>Robert Raszuk<vspace blankLines="0" />
            Bloomberg LP<vspace blankLines="0" />
            United States of America</t>
            <t>Email: robert@raszuk.net<vspace blankLines="0" /></t>

            <t>Bruno Decraene<vspace blankLines="0" />
            Orange<vspace blankLines="0" />
            Frence</t>
            <t>Email: bruno.decraene@orange.com<vspace blankLines="0" /></t>

            <t>Bart Peirens<vspace blankLines="0" />
            Proximus<vspace blankLines="0" />
            Belgium</t>
            <t>Email: bart.peirens@proximus.com<vspace blankLines="0" /></t>

            <t>Hani Elmalky<vspace blankLines="0" />
            Ericsson<vspace blankLines="0" />
            United States of America</t>
            <t>Email: hani.elmalky@gmail.com<vspace blankLines="0" /></t>
            
            <t>Prem Jonnalagadda<vspace blankLines="0" />
            Barefoot Networks<vspace blankLines="0" />
            United States of America</t>
            <t>Email: prem@barefootnetworks.com<vspace blankLines="0" /></t>

            <t>Milad Sharif<vspace blankLines="0" />
            Barefoot Networks<vspace blankLines="0" />
            United States of America</t>
            <t>Email: msharif@barefootnetworks.com<vspace blankLines="0" /></t>

            <t>David Lebrun<vspace blankLines="0" />
            Google<vspace blankLines="0" />
            Belgium</t>
            <t>Email: dlebrun@google.com<vspace blankLines="0" /></t>

            <t>Stefano Salsano<vspace blankLines="0" />
            Universita di Roma "Tor Vergata"<vspace blankLines="0" />
            Italy</t>
            <t>Email: stefano.salsano@uniroma2.it<vspace blankLines="0" /></t>

            <t>Ahmed AbdelSalam<vspace blankLines="0" />
            Gran Sasso Science Institute<vspace blankLines="0" />
            Italy</t>
            <t>Email: ahmed.abdelsalam@gssi.it</t>

            <t>Gaurav Naik<vspace blankLines="0" />
            Drexel University<vspace blankLines="0" />
            United States of America</t>
            <t>Email: gn@drexel.edu<vspace blankLines="0" /></t>

            <t>Arthi Ayyangar<vspace blankLines="0" />
            Arista<vspace blankLines="0" />
            United States of America</t>
            <t>Email: arthi@arista.com<vspace blankLines="0" /></t>

            <t>Satish Mynam<vspace blankLines="0" />
            Innovium Inc.<vspace blankLines="0" />
            United States of America</t>
            <t>Email: smynam@innovium.com<vspace blankLines="0" /></t>

            <t>Wim Henderickx<vspace blankLines="0" />
            Nokia<vspace blankLines="0" />
            Belgium</t>
            <t>Email: wim.henderickx@nokia.com<vspace blankLines="0" /></t>

            <t>Shaowen Ma<vspace blankLines="0" />
            Juniper<vspace blankLines="0" />
            Singapore</t>
            <t>Email: mashao@juniper.net<vspace blankLines="0" /></t>

            <t>Ahmed Bashandy<vspace blankLines="0" />
            Individual<vspace blankLines="0" />
            United States of America</t>
            <t>Email: abashandy.ietf@gmail.com<vspace blankLines="0" /></t>

            <t>Francois Clad<vspace blankLines="0" />
            Cisco Systems, Inc.<vspace blankLines="0" />
            France</t>
            <t>Email: fclad@cisco.com<vspace blankLines="0" /></t>

            <t>Kamran Raza<vspace blankLines="0" />
            Cisco Systems, Inc.<vspace blankLines="0" />
            Canada</t>
            <t>Email: skraza@cisco.com<vspace blankLines="0" /></t>

            <t>Darren Dukes<vspace blankLines="0" />
            Cisco Systems, Inc.<vspace blankLines="0" />
            Canada</t>
            <t>Email: ddukes@cisco.com<vspace blankLines="0" /></t>

            <t>Patrice Brissete <vspace blankLines="0" />
            Cisco Systems, Inc.<vspace blankLines="0" />
            Canada</t>
            <t>Email: pbrisset@cisco.com<vspace blankLines="0" /></t>

            <t>Zafar Ali<vspace blankLines="0" />
            Cisco Systems, Inc.<vspace blankLines="0" />
            United States of America</t>
            <t>Email: zali@cisco.com</t>
        </section>
    </middle>
    <back>
        <references title="Normative References">
            <!--?rfc include="http://xml.resource.org/public/rfc/bibxml/reference.RFC.2119.xml"?-->
            &RFC2119;
            &RFC8174;
            &SRH;
        </references>
        <references title="Informative References">
            &SRV6_OAM;
            &SPRING_SR;
            &SR_VPN_BGP;
            &SR_ISIS;
            &ISIS_L2_BUNDLE;
            &SR_BGP_LS;
            &SR_TE_PL;
            &SRV6_YANG;
            &TE_LSP_DIST;
            &RFC4364;
            &RFC8200;
            &RFC6437;
            &RFC2473;
            &SR_SFC;
            &SRV6_BGPLS;
            <reference anchor="I-D.filsfils-spring-srv6-net-pgm-illustration">
                <front>
                    <title>Illustrations for SRv6 Network Programming</title>
                    <author initials="C" surname="Filsfils" fullname="Clarence Filsfils">
                        <organization/>
                    </author>
                    <author initials="P" surname="Camarillo" fullname="Pablo Camarillo">
                        <organization/>
                    </author>
                    <author initials="Z" surname="Li" fullname="Zhenbin Li">
                        <organization/>
                    </author>
                    <author initials="S" surname="Matsushima" fullname="Satoru Matsushima">
                        <organization/>
                    </author>
                    <author initials="B" surname="Decraene" fullname="Bruno Decraene">
                        <organization/>
                    </author>
                    <author initials="D" surname="Steinberg" fullname="Dirk Steinberg">
                        <organization/>
                    </author>
                    <author initials="D" surname="Lebrun" fullname="David Lebrun">
                        <organization/>
                    </author>
                    <author initials="R" surname="Raszuk" fullname="Robert Raszuk">
                        <organization/>
                    </author>
                    <author initials="J" surname="Leddy" fullname="John Leddy">
                        <organization/>
                    </author>
                    <date month="February" day="10" year="2019"/>
                </front>
                <seriesInfo name="Internet-Draft" value="draft-filsfils-spring-srv6-net-pgm-illustration-00"/>
                <format type="TXT" target="http://www.ietf.org/internet-drafts/draft-filsfils-spring-srv6-net-pgm-illustration-00.txt"/>
            </reference>
        </references>
    </back>
</rfc>
