]> Huawei

China c.l@huawei.com

China Mobile

China chengweiqiang@chinamobile.com

Huawei

China hongyi.huang@huawei.com

Routing Area SPRING Working Group Service programming Compression In SRv6, an SRv6 SID is a 128-bit value. When too many 128-bit SRv6 SIDs are included in an SRH, the introduced overhead will affect the transmission efficiency of payload. In order to address this problem, Compressed SID(CSID) is proposed. This document defines new behaviors for service segments with REPLACE-CSID and NEXT-CSID flavors to enable compressed SRv6 service programming.

Introduction Segment Routing is a source routing paradigm to support steering packets through a programmed path at the ingress node. Currently, two data planes are defined for Segment Routing: MPLS and IPv6. When IPv6 data plane is used in Segment Routing, it is called SRv6 . defines a new extension header in IPv6, called Segment Routing Header (SRH), to support SRv6. To support SRv6 network programming, defines a framework to build a network program with topological and service segments carried in a Segment Routing header (SRH) . A Service Function Chain (SFC) defines an ordered set of abstract service functions and ordering constraints that must be applied to packets and/or frames and/or flows. A service function chain can be implemented by SRv6 by using a sequence of SRv6 SIDs including service segments defined in . However, when too many 128-bit SRv6 SIDs are included in an SRH, the overhead of the SRH will affect the transmission efficiency of the payload. points out the problem of long SRv6 SID lists reduce payload efficiency. To mitigate such overhead, defines new flavors for basic SR endpoint behaviors defined in . Using the new flavored behavior SID, a 128-bit SRv6 SID can be compressed to be an 32-bit or 16-bit Compressed SID (CSID), which reduces a lot of size of the SRv6 header. To enable SRv6 SID lists compression for service function chaining (SFC), this document defines new behaviors of service segments with flavors defined in .

Requirements Language 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 when, and only when, they appear in all capitals, as shown here.

Terminology This document leverages the terms defined in , , , and . The reader is assumed to be familiar with this terminology. This document does not introduce any new terms.

SR Proxy Behaviors defines several SRv6 endpoint behaviors for service proxy segments. A service proxy segment ID is represented as an 128-bit value just like other SIDs defined in . This section defines some new behaviors of those service proxy segments by combining the existing service proxy segment behaviors with CSID flavors, such as REPLACE-CSID flavor and NEXT-CSID flavor. The main difference between behaviors are the forwarding instructions. Therefore, when CSID compression mechanism applies to SR Proxy behaviors, the pseudo code of the new behaviors can be generated by updating the forwarding instructions of CSID to SR proxy forwarding instructions. The following sections define the details of the pseudo code of new behaviors.

Static SR Proxy In , an End.AS - Static proxy endpoint behavior is defined for the static SR proxy. According to the traffic type encapsulated in the SRv6 payload, the pseudo code of Ethernet, IPv4 and IPv6 is described as well in . This section defines the new behaviors of associate the NEXT-CSID and REPLACE-CSID Flavor to END.AS.

Static Proxy for Inner Type Ethernet

REPLACE-CSID Flavor When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 static proxy SID with the REPLACE-CSID flavor (a.k.a End.AS with REPLACE-CSID) for Ethernet traffic, the procedure described in is executed except for line R10 and R21 that are both replaced as follows. A rendering of the complete pseudocode is provided in . The upper-layer header processing is unchanged as per . When processing an Ethernet frame received on the interface IFACE-IN and with a destination MAC address that is neither a broadcast address nor matches the address of IFACE-IN, as per .

NEXT-CSID Flavor When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 static proxy SID with the NEXT-CSID flavor (a.k.a End.AS with NEXT-CSID) for Ethernet traffic, the procedure described in is executed except for line N08 of that and line S15 of that are both replaced as follows. A rendering of the complete pseudocode is provided in . The upper-layer header processing is unchanged as per . When processing an Ethernet frame received on the interface IFACE-IN and with a destination MAC address that is neither a broadcast address nor matches the address of IFACE-IN, as per .

Static Proxy for Inner Type IPv4

REPLACE-CSID Flavor When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 static proxy SID with the REPLACE-CSID flavor (a.k.a End.AS with REPLACE-CSID) for IPv4 traffic, the procedure described in is executed except for line R10 and R21 that are both replaced as follows. A rendering of the complete pseudocode is provided in . The upper-layer header processing is unchanged as per . When processing an IPv4 packet received on the interface IFACE-IN and with a destination address that does not match any address of IFACE-IN, as per .

NEXT-CSID Flavor When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 static proxy SID with the NEXT-CSID flavor (a.k.a End.AS with NEXT-CSID) for IPv4 traffic, the procedure described in is executed except for line N08 of that and line S15 of that are both replaced as follows. A rendering of the complete pseudocode is provided in . The upper-layer header processing is unchanged as per . When processing an IPv4 packet received on the interface IFACE-IN and with a destination address that does not match any address of IFACE-IN, as per .

Static Proxy for Inner Type IPv6

REPLACE-CSID Flavor When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 static proxy SID with the REPLACE-CSID flavor (a.k.a End.AS with REPLACE-CSID) for IPv6 traffic, the procedure described in is executed except for line R10 and R21 that are both replaced as follows. A rendering of the complete pseudocode is provided in . The upper-layer header processing is unchanged as per . When processing an IPv6 packet received on the interface IFACE-IN and with a destination address that does not match any address of IFACE-IN, as per .

NEXT-CSID Flavor When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 static proxy SID with the NEXT-CSID flavor (a.k.a End.AS with NEXT-CSID) for IPv6 traffic, the procedure described in is executed except for line N08 of that and line S15 of that are both replaced as follows. A rendering of the complete pseudocode is provided in . The upper-layer header processing is unchanged as per . When processing an IPv6 packet received on the interface IFACE-IN and with a destination address that does not match any address of IFACE-IN, as per .

Dynamic SR Proxy In , an End.AD - Dynamic proxy endpoint behavior is defined for the dynamic SR proxy. According to the traffic type encapsulated in the SRv6 payload, the pseudo code of Ethernet, IPv4 and IPv6 is described as well in . This section defines the new behaviors of associate the NEXT-CSID and REPLACE-CSID Flavor to END.AD.

Dynamic Proxy for Inner Type Ethernet

REPLACE-CSID Flavor When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 dynamic proxy SID with the REPLACE-CSID flavor (a.k.a End.AD with REPLACE-CSID) for Ethernet traffic, the procedure described in is executed except for line R10 and R21 that are both replaced as follows. A rendering of the complete pseudocode is provided in . The upper-layer header processing is unchanged as per . When processing an Ethernet frame received on the interface IFACE-IN and with a destination MAC address that is neither a broadcast address nor matches the address of IFACE-IN, as per .

NEXT-CSID Flavor When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 dynamic proxy SID with the NEXT-CSID flavor (a.k.a End.AD with NEXT-CSID) for Ethernet traffic, the procedure described in is executed except for line N08 of that and line S15 of that are both replaced as follows. A rendering of the complete pseudocode is provided in . The upper-layer header processing is unchanged as per . When processing an Ethernet frame received on the interface IFACE-IN and with a destination MAC address that is neither a broadcast address nor matches the address of IFACE-IN, as per .

Dynamic Proxy for Inner Type IPv4

REPLACE-CSID Flavor When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 dynamic proxy SID with the REPLACE-CSID flavor (a.k.a End.AD with REPLACE-CSID) for IPv4 traffic, the procedure described in is executed except for line R10 and R21 that are both replaced as follows. A rendering of the complete pseudocode is provided in . The upper-layer header processing is unchanged as per . When processing an IPv4 packet received on the interface IFACE-IN and with a destination address that does not match any address of IFACE-IN, as per .

NEXT-CSID Flavor When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 dynamic proxy SID with the NEXT-CSID flavor (a.k.a End.AD with NEXT-CSID) for IPv4 traffic, the procedure described in is executed except for line N08 of that and line S15 of that are both replaced as follows. A rendering of the complete pseudocode is provided in . The upper-layer header processing is unchanged as per . When processing an IPv4 packet received on the interface IFACE-IN and with a destination address that does not match any address of IFACE-IN, as per .

Dynamic Proxy for Inner Type IPv6

REPLACE-CSID Flavor When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 dynamic proxy SID with the REPLACE-CSID flavor (a.k.a End.AD with REPLACE-CSID) for IPv6 traffic, the procedure described in is executed except for line R10 and R21 that are both replaced as follows. A rendering of the complete pseudocode is provided in . The upper-layer header processing is unchanged as per . When processing an IPv6 packet received on the interface IFACE-IN and with a destination address that does not match any address of IFACE-IN, as per .

NEXT-CSID Flavor When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 dynamic proxy SID with the NEXT-CSID flavor (a.k.a End.AD with NEXT-CSID) for IPv6 traffic, the procedure described in is executed except for line N08 of that and line S15 of that are both replaced as follows. A rendering of the complete pseudocode is provided in . The upper-layer header processing is unchanged as per . When processing an IPv6 packet received on the interface IFACE-IN and with a destination address that does not match any address of IFACE-IN, as per .

Shared Memory SR Proxy This document does not need to define new flavors for shared proxy behavior as the processing will be executed by using the shared memory .

Masquerading SR Proxy As per , when forwarding packets to SR-unaware SFs, masquerading SR proxy sets the destination address of the IPv6 header as segment list[0] which is the original final destination address. When receiving the traffic returning from the service, de-masquerading sets the destination address as segment list[Segment Left]. To be consistent with the behavior of masquerading proxy, it's required that any segment list containing one or more masquerading proxy CSID MUST NOT apply any compression encoding to the last segment (segment list[0]). Note: The service receiving an IPv6 packet from the proxy uses the destination address (copied from last segment) as final destination and could apply certain actions based on that. In order to process and forward packets correctly, it is required that the last segment not be compressed. To be consistent with the behavior of masquerading proxy, when processing an IPv6 packet matching a FIB entry locally instantiated as an SRv6 masquerading CSID, it's required that the updated destination address MUST be cached in the proxy by adding a dynamic caching mechanism similar to the one described in in case that segment list[Segment Left] is a compressed SID. When processing an IPv6 packet received on the interface IFACE-IN and with a destination address that does not match any address of IFACE-IN, the destination address MUST be recovered from CACHE in case that segment list[Segment Left] could be a CSID container.

SRv6 Masquerading Proxy Pseudocode In , an End.AM - Masquerading proxy endpoint behavior is defined for the Masquerading SR proxy. According to the traffic type encapsulated in the SRv6 payload, the pseudo code of Ethernet, IPv4 and IPv6 is described as well in . This section defines the new behaviors of associate the NEXT-CSID and REPLACE-CSID Flavor to END.AM.

REPLACE-CSID Flavor When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 masquerading proxy SID with the REPLACE-CSID flavor (a.k.a End.AM with REPLACE-CSID), the procedure described in Figure 23 from is executed except for line R10 and R21 that are both replaced as follows. A rendering of the complete pseudocode is provided in . De-masquerading: When processing an IPv6 packet received on the interface IFACE-IN and with a destination address that does not match any address of IFACE-IN, the procedure described in Figure 24 from is executed except for line S10 that is replaced as follows. A rendering of the complete pseudocode is provided in .

NEXT-CSID Flavor When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 masquerading proxy SID with the NEXT-CSID flavor (a.k.a End.AM with NEXT-CSID), the procedure described in is executed except for line N08 of that and line S15 of that are both replaced as follows. A rendering of the complete pseudocode is provided in }. De-masquerading: When processing an IPv6 packet received on the interface IFACE-IN and with a destination address that does not match any address of IFACE-IN, the procedure described in is executed except for line S10 that is replaced as follows. A rendering of the complete pseudocode is provided in .

Destination NAT Flavor

REPLACE-CSID Flavor The Destination NAT flavor of the SRv6 masquerading proxy with the REPLACE-CSID (a.k.a End.AM- Masquerading proxy with NAT with REPLACE-CSID, End.AMN with REPLACE-CSID for short) is executed except for line S09.1 and S10 in replaced as follows. A rendering of the complete pseudocode is provided in .

NEXT-CSID Flavor The Destination NAT flavor of the SRv6 masquerading proxy with the NEXT-CSID (a.k.a End.AM- Masquerading proxy with NAT with NEXT-CSID, End.AMN with NEXT-CSID for short) is executed except for line S09.1 and S10 in replaced as follows. A rendering of the complete pseudocode is provided in .

Cache Flavor The caching flavor of the SRv6 masquerading proxy with CSID is enabled as per without any modification.

Security Considerations The security requirements and mechanisms described in and also apply to this document. This document does not introduce any new security considerations.

IANA Considerations

SRv6 Endpoint Behaviors This document requests the IANA to allocate, within the "SRv6 Endpoint Behaviors" sub-registry belonging to the top-level "Segment-routing with IPv6 dataplane (SRv6) Parameters" registry, the following allocations:

References Normative References In many standards track documents several words are used to signify the requirements in the specification. These words are often capitalized. This document defines these words as they should be interpreted in IETF documents. This document specifies an Internet Best Current Practices for the Internet Community, and requests discussion and suggestions for improvements. RFC 2119 specifies common key words that may be used in protocol specifications. This document aims to reduce the ambiguity by clarifying that only UPPERCASE usage of the key words have the defined special meanings. Segment Routing (SR) leverages the source routing paradigm. A node steers a packet through an ordered list of instructions, called "segments". A segment can represent any instruction, topological or service based. A segment can have a semantic local to an SR node or global within an SR domain. SR provides a mechanism that allows a flow to be restricted to a specific topological path, while maintaining per-flow state only at the ingress node(s) to the SR domain. SR can be directly applied to the MPLS architecture with no change to the forwarding plane. A segment is encoded as an MPLS label. An ordered list of segments is encoded as a stack of labels. The segment to process is on the top of the stack. Upon completion of a segment, the related label is popped from the stack. SR can be applied to the IPv6 architecture, with a new type of routing header. A segment is encoded as an IPv6 address. An ordered list of segments is encoded as an ordered list of IPv6 addresses in the routing header. The active segment is indicated by the Destination Address (DA) of the packet. The next active segment is indicated by a pointer in the new routing header. Segment Routing can be applied to the IPv6 data plane using a new type of Routing Extension Header called the Segment Routing Header (SRH). This document describes the SRH and how it is used by nodes that are Segment Routing (SR) capable. The Segment Routing over IPv6 (SRv6) Network Programming framework enables a network operator or an application to specify a packet processing program by encoding a sequence of instructions in the IPv6 packet header. Each instruction is implemented on one or several nodes in the network and identified by an SRv6 Segment Identifier in the packet. This document defines the SRv6 Network Programming concept and specifies the base set of SRv6 behaviors that enables the creation of interoperable overlays with underlay optimization. China Mobile Cisco Systems, Inc. Huawei Technologies Orange Cisco Systems, Inc. Segment Routing over IPv6 (SRv6) is the instantiation of Segment Routing (SR) on the IPv6 dataplane. This document specifies new flavors for the SRv6 endpoint behaviors defined in RFC 8986, which enable the compression of an SRv6 segment list. Such compression significantly reduces the size of the SRv6 encapsulation needed to steer packets over long segment lists. This document updates RFC 8754 by allowing a Segment List entry in the Segment Routing Header (SRH) to be either an IPv6 address, as specified in RFC 8754, or a REPLACE-CSID container in packed format, as specified in this document. Cisco Systems, Inc. China Mobile Cisco Systems, Inc. Bell Canada Huawei Orange Mellanox AT&T Nokia Universita di Roma "Tor Vergata" This document defines data plane functionality required to implement service segments and achieve service programming in SR-enabled MPLS and IPv6 networks, as described in the Segment Routing architecture. Informative References This document describes an architecture for the specification, creation, and ongoing maintenance of Service Function Chains (SFCs) in a network. It includes architectural concepts, principles, and components used in the construction of composite services through deployment of SFCs, with a focus on those to be standardized in the IETF. This document does not propose solutions, protocols, or extensions to existing protocols. China Mobile China Telecom Juniper Cisco Systems Huawei ZTE Nokia This document specifies requirements for solutions to compress SRv6 SID lists.

Complete Pseudocodes

REPLACE-CSID Flavor for Static Proxy for Inner Type Ethernet When processing the SRH of a packet matching a FIB entry locally instantiated as an SRv6 static proxy SID with the REPLACE-CSID flavor for Ethernet traffic: max_LE) or (Segments Left > Last Entry)) { R03. Send an ICMP Parameter Problem to the Source Address, Code 0 (Erroneous header field encountered), Pointer set to the Segments Left field, interrupt packet processing and discard the packet. R04. } R05. Decrement DA.Arg.Index by 1. R06. If (Segment List[Segments Left][DA.Arg.Index] == 0) { R07. Decrement Segments Left by 1. R08. Decrement IPv6 Hop Limit by 1. R09. Update IPv6 DA with Segment List[Segments Left] P01. If (Upper-layer header type != 143 (Ethernet)) { P02. Resubmit the packet to the IPv6 module for transmission to the new destination. P03. } P04. Perform IPv6 decapsulation. P05. Submit the frame to the Ethernet module for transmission via interface IFACE-OUT. R11. } R12. } Else { R13. If((Last Entry > max_LE) or (Segments Left > Last Entry+1)){ R14. Send an ICMP Parameter Problem to the Source Address, Code 0 (Erroneous header field encountered), Pointer set to the Segments Left field, interrupt packet processing and discard the packet. R15. } R16. Decrement Segments Left by 1. R17. Set DA.Arg.Index to (128/LNFL - 1). R18. } R19. Decrement IPv6 Hop Limit by 1. R20. Write Segment List[Segments Left][DA.Arg.Index] into the bits [LBL..LBL+LNFL-1] of the Destination Address of the IPv6 header. P01. If (Upper-layer header type != 143 (Ethernet)) { P02. Resubmit the packet to the IPv6 module for transmission to the new destination. P03. } P04. Perform IPv6 decapsulation. P05. Submit the frame to the Ethernet module for transmission via interface IFACE-OUT. S16. } ]]>

NEXT-CSID Flavor for Static Proxy for Inner Type Ethernet When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 static proxy SID with the NEXT-CSID flavor for Ethernet traffic: max_LE) or (Segments Left > Last Entry+1)) { S10. Send an ICMP Parameter Problem to the Source Address with Code 0 (Erroneous header field encountered) and Pointer set to the Segments Left field, interrupt packet processing, and discard the packet. S11. } S12. Decrement IPv6 Hop Limit by 1. S13. Decrement Segments Left by 1. S14. Update IPv6 DA with Segment List[Segments Left]. Q01. If (Upper-layer header type != 143 (Ethernet)) { Q02. Resubmit the packet to the IPv6 module for transmission to the new destination. Q03. } Q04. Perform IPv6 decapsulation. Q05. Submit the frame to the Ethernet module for transmission via interface IFACE-OUT. ]]>

REPLACE-CSID Flavor for Static Proxy for Inner Type IPv4 When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 static proxy SID with the REPLACE-CSID flavor for IPv4 traffic: max_LE) or (Segments Left > Last Entry)) { R03. Send an ICMP Parameter Problem to the Source Address, Code 0 (Erroneous header field encountered), Pointer set to the Segments Left field, interrupt packet processing and discard the packet. R04. } R05. Decrement DA.Arg.Index by 1. R06. If (Segment List[Segments Left][DA.Arg.Index] == 0) { R07. Decrement Segments Left by 1. R08. Decrement IPv6 Hop Limit by 1. R09. Update IPv6 DA with Segment List[Segments Left] P01. If (Upper-layer header type != 4 (IPv4)) { P02. Resubmit the packet to the IPv6 module for transmission to the new destination. P03. } P04. Perform IPv6 decapsulation. P05. Submit the packet to the IPv4 module for transmission on interface IFACE-OUT via NH-ADDR. R11. } R12. } Else { R13. If((Last Entry > max_LE) or (Segments Left > Last Entry+1)){ R14. Send an ICMP Parameter Problem to the Source Address, Code 0 (Erroneous header field encountered), Pointer set to the Segments Left field, interrupt packet processing and discard the packet. R15. } R16. Decrement Segments Left by 1. R17. Set DA.Arg.Index to (128/LNFL - 1). R18. } R19. Decrement IPv6 Hop Limit by 1. R20. Write Segment List[Segments Left][DA.Arg.Index] into the bits [LBL..LBL+LNFL-1] of the Destination Address of the IPv6 header. P01. If (Upper-layer header type != 4 (IPv4)) { P02. Resubmit the packet to the IPv6 module for transmission to the new destination. P03. } P04. Perform IPv6 decapsulation. P05. Submit the packet to the IPv4 module for transmission on interface IFACE-OUT via NH-ADDR. S16. } ]]>

NEXT-CSID Flavor for Static Proxy for Inner Type IPv4 When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 static proxy SID with the NEXT-CSID flavor for IPv4 traffic: max_LE) or (Segments Left > Last Entry+1)) { S10. Send an ICMP Parameter Problem to the Source Address with Code 0 (Erroneous header field encountered) and Pointer set to the Segments Left field, interrupt packet processing, and discard the packet. S11. } S12. Decrement IPv6 Hop Limit by 1. S13. Decrement Segments Left by 1. S14. Update IPv6 DA with Segment List[Segments Left]. Q01. If (Upper-layer header type != 4 (IPv4)) { Q02. Resubmit the packet to the IPv6 module for transmission to the new destination. Q03. } Q04. Perform IPv6 decapsulation. Q05. Submit the packet to the IPv4 module for transmission on interface IFACE-OUT via NH-ADDR. ]]>

REPLACE-CSID Flavor for Static Proxy for Inner Type IPv6 When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 static proxy SID with the REPLACE-CSID flavor for IPv6 traffic: max_LE) or (Segments Left > Last Entry)) { R03. Send an ICMP Parameter Problem to the Source Address, Code 0 (Erroneous header field encountered), Pointer set to the Segments Left field, interrupt packet processing and discard the packet. R04. } R05. Decrement DA.Arg.Index by 1. R06. If (Segment List[Segments Left][DA.Arg.Index] == 0) { R07. Decrement Segments Left by 1. R08. Decrement IPv6 Hop Limit by 1. R09. Update IPv6 DA with Segment List[Segments Left] P01. If (Upper-layer header type != 41 (IPv6)) { P02. Resubmit the packet to the IPv6 module for transmission to the new destination. P03. } P04. Perform IPv6 decapsulation. P05. Submit the packet to the IPv6 module for transmission on interface IFACE-OUT via NH-ADDR. R11. } R12. } Else { R13. If((Last Entry > max_LE) or (Segments Left > Last Entry+1)){ R14. Send an ICMP Parameter Problem to the Source Address, Code 0 (Erroneous header field encountered), Pointer set to the Segments Left field, interrupt packet processing and discard the packet. R15. } R16. Decrement Segments Left by 1. R17. Set DA.Arg.Index to (128/LNFL - 1). R18. } R19. Decrement IPv6 Hop Limit by 1. R20. Write Segment List[Segments Left][DA.Arg.Index] into the bits [LBL..LBL+LNFL-1] of the Destination Address of the IPv6 header. P01. If (Upper-layer header type != 41 (IPv6)) { P02. Resubmit the packet to the IPv6 module for transmission to the new destination. P03. } P04. Perform IPv6 decapsulation. P05. Submit the packet to the IPv6 module for transmission on interface IFACE-OUT via NH-ADDR. S16. } ]]>

NEXT-CSID Flavor for Static Proxy for Inner Type IPv6 When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 static proxy SID with the NEXT-CSID flavor for IPv6 traffic: max_LE) or (Segments Left > Last Entry+1)) { S10. Send an ICMP Parameter Problem to the Source Address with Code 0 (Erroneous header field encountered) and Pointer set to the Segments Left field, interrupt packet processing, and discard the packet. S11. } S12. Decrement IPv6 Hop Limit by 1. S13. Decrement Segments Left by 1. S14. Update IPv6 DA with Segment List[Segments Left]. Q01. If (Upper-layer header type != 41 (IPv6)) { Q02. Resubmit the packet to the IPv6 module for transmission to the new destination. Q03. } Q04. Perform IPv6 decapsulation. Q05. Submit the packet to the IPv6 module for transmission on interface IFACE-OUT via NH-ADDR. ]]>

REPLACE-CSID Flavor for Dynamic Proxy for Inner Type Ethernet When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 dynamic proxy SID with the REPLACE-CSID flavor for Ethernet traffic: max_LE) or (Segments Left > Last Entry)) { R03. Send an ICMP Parameter Problem to the Source Address, Code 0 (Erroneous header field encountered), Pointer set to the Segments Left field, interrupt packet processing and discard the packet. R04. } R05. Decrement DA.Arg.Index by 1. R06. If (Segment List[Segments Left][DA.Arg.Index] == 0) { R07. Decrement Segments Left by 1. R08. Decrement IPv6 Hop Limit by 1. R09. Update IPv6 DA with Segment List[Segments Left] P01. If (Upper-layer header type != 143 (Ethernet)) { P02. Resubmit the packet to the IPv6 module for transmission to the new destination. P03. } P04. Copy the IPv6 encapsulation in a CACHE entry associated with the interface IFACE-IN. P05. Perform IPv6 decapsulation. P06. Submit the frame to the Ethernet module for transmission via interface IFACE-OUT. R11. } R12. } Else { R13. If((Last Entry > max_LE) or (Segments Left > Last Entry+1)){ R14. Send an ICMP Parameter Problem to the Source Address, Code 0 (Erroneous header field encountered), Pointer set to the Segments Left field, interrupt packet processing and discard the packet. R15. } R16. Decrement Segments Left by 1. R17. Set DA.Arg.Index to (128/LNFL - 1). R18. } R19. Decrement IPv6 Hop Limit by 1. R20. Write Segment List[Segments Left][DA.Arg.Index] into the bits [LBL..LBL+LNFL-1] of the Destination Address of the IPv6 header. P01. If (Upper-layer header type != 143 (Ethernet)) { P02. Resubmit the packet to the IPv6 module for transmission to the new destination. P03. } P04. Copy the IPv6 encapsulation in a CACHE entry associated with the interface IFACE-IN. P05. Perform IPv6 decapsulation. P06. Submit the frame to the Ethernet module for transmission via interface IFACE-OUT. S16. } ]]>

NEXT-CSID Flavor for Dynamic Proxy for Inner Type Ethernet When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 dynamic proxy SID with the NEXT-CSID flavor for Ethernet traffic: max_LE) or (Segments Left > Last Entry+1)) { S10. Send an ICMP Parameter Problem to the Source Address with Code 0 (Erroneous header field encountered) and Pointer set to the Segments Left field, interrupt packet processing, and discard the packet. S11. } S12. Decrement IPv6 Hop Limit by 1. S13. Decrement Segments Left by 1. S14. Update IPv6 DA with Segment List[Segments Left]. Q01. If (Upper-layer header type != 143 (Ethernet)) { Q02. Resubmit the packet to the IPv6 module for transmission to the new destination. Q03. } Q04. Copy the IPv6 encapsulation in a CACHE entry associated with the interface IFACE-IN. Q05. Perform IPv6 decapsulation. Q06. Submit the frame to the Ethernet module for transmission via interface IFACE-OUT. ]]>

REPLACE-CSID Flavor for Dynamic Proxy for Inner Type IPv4 When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 dynamic proxy SID with the REPLACE-CSID flavor for IPv4 traffic: max_LE) or (Segments Left > Last Entry)) { R03. Send an ICMP Parameter Problem to the Source Address, Code 0 (Erroneous header field encountered), Pointer set to the Segments Left field, interrupt packet processing and discard the packet. R04. } R05. Decrement DA.Arg.Index by 1. R06. If (Segment List[Segments Left][DA.Arg.Index] == 0) { R07. Decrement Segments Left by 1. R08. Decrement IPv6 Hop Limit by 1. R09. Update IPv6 DA with Segment List[Segments Left] P01. If (Upper-layer header type != 4 (IPv4)) { P02. Resubmit the packet to the IPv6 module for transmission to the new destination. P03. } P04. Copy the IPv6 encapsulation in a CACHE entry associated with the interface IFACE-IN. P05. Perform IPv6 decapsulation. P06. Submit the frame to the IPv4 module for transmission via interface IFACE-OUT via NH-ADDR. R11. } R12. } Else { R13. If((Last Entry > max_LE) or (Segments Left > Last Entry+1)){ R14. Send an ICMP Parameter Problem to the Source Address, Code 0 (Erroneous header field encountered), Pointer set to the Segments Left field, interrupt packet processing and discard the packet. R15. } R16. Decrement Segments Left by 1. R17. Set DA.Arg.Index to (128/LNFL - 1). R18. } R19. Decrement IPv6 Hop Limit by 1. R20. Write Segment List[Segments Left][DA.Arg.Index] into the bits [LBL..LBL+LNFL-1] of the Destination Address of the IPv6 header. P01. If (Upper-layer header type != 4 (IPv4)) { P02. Resubmit the packet to the IPv6 module for transmission to the new destination. P03. } P04. Copy the IPv6 encapsulation in a CACHE entry associated with the interface IFACE-IN. P05. Perform IPv6 decapsulation. P06. Submit the frame to the IPv4 module for transmission via interface IFACE-OUT via NH-ADDR. S16. } ]]>

NEXT-CSID Flavor for Dynamic Proxy for Inner Type IPv4 When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 dynamic proxy SID with the NEXT-CSID flavor for IPv4 traffic: max_LE) or (Segments Left > Last Entry+1)) { S10. Send an ICMP Parameter Problem to the Source Address with Code 0 (Erroneous header field encountered) and Pointer set to the Segments Left field, interrupt packet processing, and discard the packet. S11. } S12. Decrement IPv6 Hop Limit by 1. S13. Decrement Segments Left by 1. S14. Update IPv6 DA with Segment List[Segments Left]. Q01. If (Upper-layer header type != 4 (IPv4)) { Q02. Resubmit the packet to the IPv6 module for transmission to the new destination. Q03. } Q04. Copy the IPv6 encapsulation in a CACHE entry associated with the interface IFACE-IN. Q05. Perform IPv6 decapsulation. Q06. Submit the frame to the IPv4 module for transmission via interface IFACE-OUT via NH-ADDR. ]]>

REPLACE-CSID Flavor for Dynamic Proxy for Inner Type IPv6 When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 dynamic proxy SID with the REPLACE-CSID flavor for IPv6 traffic: max_LE) or (Segments Left > Last Entry)) { R03. Send an ICMP Parameter Problem to the Source Address, Code 0 (Erroneous header field encountered), Pointer set to the Segments Left field, interrupt packet processing and discard the packet. R04. } R05. Decrement DA.Arg.Index by 1. R06. If (Segment List[Segments Left][DA.Arg.Index] == 0) { R07. Decrement Segments Left by 1. R08. Decrement IPv6 Hop Limit by 1. R09. Update IPv6 DA with Segment List[Segments Left] P01. If (Upper-layer header type != 41 (IPv6)) { P02. Resubmit the packet to the IPv6 module for transmission to the new destination. P03. } P04. Copy the IPv6 encapsulation in a CACHE entry associated with the interface IFACE-IN. P05. Perform IPv6 decapsulation. P06. Submit the frame to the IPv6 module for transmission via interface IFACE-OUT via NH-ADDR. R11. } R12. } Else { R13. If((Last Entry > max_LE) or (Segments Left > Last Entry+1)){ R14. Send an ICMP Parameter Problem to the Source Address, Code 0 (Erroneous header field encountered), Pointer set to the Segments Left field, interrupt packet processing and discard the packet. R15. } R16. Decrement Segments Left by 1. R17. Set DA.Arg.Index to (128/LNFL - 1). R18. } R19. Decrement IPv6 Hop Limit by 1. R20. Write Segment List[Segments Left][DA.Arg.Index] into the bits [LBL..LBL+LNFL-1] of the Destination Address of the IPv6 header. P01. If (Upper-layer header type != 41 (IPv6)) { P02. Resubmit the packet to the IPv6 module for transmission to the new destination. P03. } P04. Copy the IPv6 encapsulation in a CACHE entry associated with the interface IFACE-IN. P05. Perform IPv6 decapsulation. P06. Submit the frame to the IPv6 module for transmission via interface IFACE-OUT via NH-ADDR. S16. } ]]>

NEXT-CSID Flavor for Dynamic Proxy for Inner Type IPv6 When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 dynamic proxy SID with the NEXT-CSID flavor for IPv6 traffic: max_LE) or (Segments Left > Last Entry+1)) { S10. Send an ICMP Parameter Problem to the Source Address with Code 0 (Erroneous header field encountered) and Pointer set to the Segments Left field, interrupt packet processing, and discard the packet. S11. } S12. Decrement IPv6 Hop Limit by 1. S13. Decrement Segments Left by 1. S14. Update IPv6 DA with Segment List[Segments Left]. Q01. If (Upper-layer header type != 41 (IPv6)) { Q02. Resubmit the packet to the IPv6 module for transmission to the new destination. Q03. } Q04. Copy the IPv6 encapsulation in a CACHE entry associated with the interface IFACE-IN. Q05. Perform IPv6 decapsulation. Q06. Submit the frame to the IPv6 module for transmission via interface IFACE-OUT via NH-ADDR. ]]>

REPLACE-CSID Flavor for SRv6 Masquerading Proxy When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 masquerading proxy SID with the REPLACE-CSID flavor: max_LE) or (Segments Left > Last Entry)) { R03. Send an ICMP Parameter Problem to the Source Address, Code 0 (Erroneous header field encountered), Pointer set to the Segments Left field, interrupt packet processing and discard the packet. R04. } R05. Decrement DA.Arg.Index by 1. R06. If (Segment List[Segments Left][DA.Arg.Index] == 0) { R07. Decrement Segments Left by 1. R08. Decrement IPv6 Hop Limit by 1. R09. Update IPv6 DA with Segment List[Segments Left] P01. Copy the IPv6 Destination Address in a CACHE entry associated with the interface IFACE-IN. P02. Copy Segment List[0] from the SRH to the Destination Address of the IPv6 header. P03. Submit the packet to the IPv6 module for transmission on interface IFACE-OUT via NH-ADDR. R11. } R12. } Else { R13. If((Last Entry > max_LE) or (Segments Left > Last Entry+1)){ R14. Send an ICMP Parameter Problem to the Source Address, Code 0 (Erroneous header field encountered), Pointer set to the Segments Left field, interrupt packet processing and discard the packet. R15. } R16. Decrement Segments Left by 1. R17. Set DA.Arg.Index to (128/LNFL - 1). R18. } R19. Decrement IPv6 Hop Limit by 1. R20. Write Segment List[Segments Left][DA.Arg.Index] into the bits [LBL..LBL+LNFL-1] of the Destination Address of the IPv6 header. P01. Copy the IPv6 Destination Address in a CACHE entry associated with the interface IFACE-IN. P02. Copy Segment List[0] from the SRH to the Destination Address of the IPv6 header. P03. Submit the packet to the IPv6 module for transmission on interface IFACE-OUT via NH-ADDR. S16. } ]]>

REPLACE-CSID Flavor for SRv6 De-masquerading Proxy When processing an IPv6 packet received on the interface IFACE-IN and with a destination address that does not match any address of IFACE-IN: max_last_entry) or (Segments Left > Last Entry)) { S08. Send an ICMP Parameter Problem message to the Source Address, Code 0 (Erroneous header field encountered), Pointer set to the Segments Left field, Interrupt packet processing and discard the packet. S09. } D01. Retrieve the CACHE entry associated with IFACE-IN. D02. If the CACHE entry is not empty { D03. Destination Address of the IPv6 header is set to CACHE. D04. } S11. } S12. Decrement Hop Limit by 1. S13. Submit the packet to the IPv6 module for transmission to the next destination. S14. } ]]>

NEXT-CSID Flavor for SRv6 Masquerading Proxy When processing an IPv6 packet that matches a FIB entry locally instantiated as an SRv6 masquerading proxy SID with the NEXT-CSID flavor: max_LE) or (Segments Left > Last Entry+1)) { S10. Send an ICMP Parameter Problem to the Source Address with Code 0 (Erroneous header field encountered) and Pointer set to the Segments Left field, interrupt packet processing, and discard the packet. S11. } S12. Decrement IPv6 Hop Limit by 1. S13. Decrement Segments Left by 1. S14. Update IPv6 DA with Segment List[Segments Left]. Q01. Copy the IPv6 Destination Address in a CACHE entry associated with the interface IFACE-IN. Q02. Copy Segment List[0] from the SRH to the Destination Address of the IPv6 header. Q03. Submit the packet to the IPv6 module for transmission on interface IFACE-OUT via NH-ADDR. ]]>

NEXT-CSID Flavor for SRv6 De-masquerading Proxy When processing an IPv6 packet received on the interface IFACE-IN and with a destination address that does not match any address of IFACE-IN: max_last_entry) or (Segments Left > Last Entry)) { S08. Send an ICMP Parameter Problem message to the Source Address, Code 0 (Erroneous header field encountered), Pointer set to the Segments Left field, Interrupt packet processing and discard the packet. S09. } E01. Retrieve the CACHE entry associated with IFACE-IN. E02. If the CACHE entry is not empty { E03. Destination Address of the IPv6 header is set to CACHE. E04. } S11. } S12. Decrement Hop Limit by 1. S13. Submit the packet to the IPv6 module for transmission to the next destination. S14. } ]]>

REPLACE-CSID Flavor for Destination NAT Flavor The Destination NAT flavor of the SRv6 masquerading proxy with the REPLACE-CSID is executed: max_last_entry) or (Segments Left > Last Entry)) { S08. Send an ICMP Parameter Problem message to the Source Address, Code 0 (Erroneous header field encountered), Pointer set to the Segments Left field, Interrupt packet processing and discard the packet. S09. } P01. Copy the Destination Address of the IPv6 header to the Segment List[0] entry of the SRH. P02. Retrieve the CACHE entry associated with IFACE-IN. P03. If the CACHE entry is not empty { P04. Destination Address of the IPv6 header is set to CACHE. P05. } S11. } S12. Decrement Hop Limit by 1. S13. Submit the packet to the IPv6 module for transmission to the next destination. S14. } ]]>

NEXT-CSID Flavor for Destination NAT Flavor The Destination NAT flavor of the SRv6 masquerading proxy with the NEXT-CSID is executed: max_last_entry) or (Segments Left > Last Entry)) { S08. Send an ICMP Parameter Problem message to the Source Address, Code 0 (Erroneous header field encountered), Pointer set to the Segments Left field, Interrupt packet processing and discard the packet. S09. } Q01. Copy the Destination Address of the IPv6 header to the Segment List[0] entry of the SRH. Q02. Retrieve the CACHE entry associated with IFACE-IN. Q03. If the CACHE entry is not empty { Q04. Destination Address of the IPv6 header is set to CACHE. Q05. } S11. } S12. Decrement Hop Limit by 1. S13. Submit the packet to the IPv6 module for transmission to the next destination. S14. } ]]>

Acknowledgements TBD.