<?xml version="1.0" encoding="US-ASCII"?>
<!DOCTYPE rfc SYSTEM "rfc2629.dtd" [
]>
<?xml-stylesheet type='text/xsl' href='rfc2629.xslt' ?>
<?rfc toc="yes"?>
<?rfc symrefs="yes"?>
<?rfc sortrefs="yes"?>
<?rfc iprnotified="no"?>
<?rfc strict="yes"?>
<?rfc compact="yes"?>
<?rfc subcompact="no"?>
<rfc category="std"
     docName="draft-varga-spring-preof-sid-00"
         ipr="trust200902"
         submissionType="IETF">
  <front>
    <title abbrev="PREOF SID">
    Deterministic Networking specific SID</title>

  <author role="editor" fullname="Balazs Varga" initials="B." surname="Varga">
        <organization>Ericsson</organization>
        <address>
         <postal>
          <street>Magyar Tudosok krt. 11.</street>
          <city>Budapest</city>
          <country>Hungary</country>
          <code>1117</code>
         </postal>
         <email>balazs.a.varga@ericsson.com</email>
        </address>
        </author>

    <author fullname="Ferenc Fejes" initials="F." surname="Fejes">
      <organization>Ericsson</organization>
      <address>
        <postal>
          <street>Magyar Tudosok krt. 11.</street>
          <city>Budapest</city>
          <country>Hungary</country>
          <code>1117</code>
        </postal>
        <email>ferenc.fejes@ericsson.com</email>
      </address>
    </author>

<!--
    <author fullname="James Bond" initials="J." surname="Bond">
      <organization>MI6</organization>
      <address>
        <email>james@bond.com</email>
      </address>
    </author>
-->

  <date />
  <workgroup>SPRING</workgroup>
     <keyword>SRv6</keyword>
     <keyword>Segment Routing</keyword>
     <keyword>IPv6 Segment Routing</keyword>
     <keyword>PREOF</keyword>
     <keyword>DetNet</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>
     Replication, Elimination and Ordering functions of the DetNet Architecture 
	 require packet sequence information (i.e., sequence number) to provide 
	 service protection by the DetNet service sub-layer. This document 
	 extends SRv6 Network Programming <xref target="RFC8986"/> with new 
	 SR endpoint and transit behaviors to be performed on packets of DetNet 
	 flows to support the specific service protection treatment.
   </t>
  </abstract>
  </front>

 <middle>
 <section title="Introduction" anchor="sec_intro">
  <t>
     The DetNet Working Group has defined Packet Replication (PRF), Packet 
	 Elimination (PEF), and Packet Ordering (POF) Functions (represented as 
	 PREOF) to provide service protection by the DetNet service sub-layer 
	 <xref target="RFC8655"/>. This service protection method relies on copies 
	 of the same packet sent over multiple maximally disjoint paths and uses 
	 sequencing information to eliminate duplicates. 
  </t>
  <t>
     DetNet over an SRv6 data plane can provide a solution to transport 
	 sequencing information within a SID. This document describes a 
	 DetNet-specific SID (SID = Segment Identifier, <xref target="RFC8402"/>) 
	 and a set of related packet processing rules inside an SRv6 domain. 
	 The DetNet-specific SID provides Flow-ID and Sequence-Number information 
	 for the DetNet service sub-layer functions (i.e., PREOF). 
  </t>
  <t>
     The usage of DetNet-specific SID provides a native IPv6 data plane for 
	 DetNet networks and supports the implementation of PREOF functionalities 
	 on IPv6-only DetNet nodes. It is using native SRv6 technology and does 
	 not require additional tunneling or implementation of other protocol 
	 stack(s) (e.g., MPLS).
  </t>
 </section> <!-- end of introduction -->

<section title="Terminology">
 <section title="Terms Used in This Document">
  <t>
   This document uses the terminology established in the DetNet architecture
   <xref target="RFC8655"/> and in the SRv6 Network Programming
   <xref target="RFC8986"/>. The reader is assumed
   to be familiar with that document and its terminology.
  </t>
 </section>

 <section title="Abbreviations">
  <t>
   The following abbreviations are used in this document:
   <list style="hanging" hangIndent="14">
    <t hangText="ARG">Arguments.</t>
    <t hangText="DetNet">Deterministic Networking.</t>
    <t hangText="FUNCT">Function.</t>
    <t hangText="LOC">Locator.</t>
    <t hangText="PEF">Packet Elimination Function.</t>
    <t hangText="POF">Packet Ordering Function.</t>
	<t hangText="PREOF">Packet Replication, Elimination and Ordering Functions.</t>
    <t hangText="PRF">Packet Replication Function.</t>
    <t hangText="SeqNum">Sequence Number.</t>   </list>
  </t>
 </section>

 <section 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>
 </section>
 
</section>  <!-- end of terminology -->

<!-- ===================================================================== -->

<section anchor="detnet-sid" title="DetNet-specific SID">
  <t>
     In SRv6, a SID represents a 128-bit value containing the following 
	 three parts <xref target="RFC8986"/>: 
	 <list style="symbols">
         <t>Locator (LOC): first part of the SID with most significant bits 
		 and represents a specific SRv6 node. </t>
         <t>Function (FUNCT): the portion of the SID that is local to the 
		 owner node and designates a specific SRv6 function (network 
		 instruction) that is executed locally on a particular node 
		 (specified by Locator). </t>
         <t>Arguments (ARG): optional field and represents optional argument(s) 
		 to the function. </t>
     </list>
  </t>
  <t>
     For PREOF processing, two arguments are needed:
	 <list style="numbers">
         <t>Flow-ID: defines which DetNet flow the packet belongs to (what is 
		 used to determine which PREOF instance has to be used on a node). 
		 Its size is 20 bits for the DetNet MPLS data plane 
		 <xref target="RFC8986"/> and same size is appropriate for 
		 DetNet IP data plane as well.</t>
		 <t>Sequence Number: defines the sequencing information, it is created 
		 at the DetNet edge node (or by the first PRF node) and used by PEF/POF 
		 functionalities. For DetNet MPLS data plane the following sizes are 
		 defined: 0/16/28 bits <xref target="RFC8964"/>.</t>
     </list>
  </t>
  <t>
     The required size for these two arguments are maximum 48 bits.
  </t>
  <t>
     The explicit format of DetNet-specific SID is network addressing design 
	 specific. PREOF specific parameters are encoded as follows:
	 <list style="symbols">
         <t>LOC: specifies the DetNet Relay node (same allocation rule 
		 applies as for any SRv6-enabled node).</t>
         <t>FUNCT: a single value represents all PREOF instances of a 
		 DetNet Relay node. </t>
         <t>ARG: Contains the Flow-ID and the Sequence Number parameters. </t>
     </list>
  </t>
  <t>
     Note: if Function=PREOF, Arg=0 is also a meaningful value and does 
	 not refer to the lack of arguments.
  </t>
  <t>
     The DetNet-specific SID must be the last segment in an SR Policy!
  </t>
  <t>
     The following packet processing rules are defined as a new set of 
	 SRv6 SID behaviors regarding the DetNet-specific SID: (i) End.PREOF, 
	 (ii) H.Encaps.PREOF, (iii) H.Encaps.PREOF.Red, (iv) 
	 H.Encaps.PREOF.L2, and (v) H.Encaps.PREOF.L2.Red.
  </t>
</section>  <!-- DetNet-specific SID -->

<section anchor="SRv6-Endpoint" title="SRv6 endpoint behaviors">
 <section anchor="End-PREOF" title="End.PREOF: Endpoint with PREOF"> 
    <t>

        When a node "N" receives a packet whose IPv6 DA is "S" and "S" is a 
		local End.PREOF SID, "N" does the following:
    </t>

        <artwork name="" type="" align="left" alt=""><![CDATA[
S01. When an SRH is processed {
S02.   If (Segments Left == 0) {
S03.    Send an ICMP Parameter Problem message to the Source Address
             Code TBD-SRH (SR Upper-layer Header Error),
             Pointer set to the offset of the upper-layer header,
             interrupt packet processing and discard the packet
S04.   }
S05.   Extract the ARG part of the SID
S06.   Remove the outer IPv6 header with all its extension headers
S07.   Forward the exposed payload and the ARG part to 
	   the PREOF functionality
S08. }
       ]]></artwork>

 </section>  <!-- end of End.PREOF -->
</section>  <!-- end of SRv6 Endpoint behaviors -->


<section anchor="SRv6-Headend" title="SR Policy Headend Behaviors">

 <section anchor="H-Encaps-PREOF" title="H.Encaps.PREOF: SR Headend with PREOF"> 
    <t> 
        When a node "N" receives a packet P=(A, B) identified as a DetNet Flow. 
		B is neither a local address nor SID of "N". It executes the DetNet 
		Flow related PREOF functions, resulting in one or more member flow 
		(P1=(A, B), P2=(A, B), ...) with related parameters ([Flow-ID1, SeqNum], 
		[Flow-ID2, SeqNum], ...).
    </t>
    <t>
        Node "N" is configured with an IPv6 address "T" (e.g., assigned to its 
		loopback). "N" steers the egress packet P1 into an SRv6 Policy with a 
		Source Address T and a segment list SP1=&lt;S11, S12, S13&gt;, where S13 is 
		a DetNet-specific SID (LOC+FUNCT) with 0 as ARG.
    </t>
    <t>
        The H.Encaps.PREOF encapsulation behavior is defined as follows 
		(SA: source address, DA: destination address):
    </t>
        <artwork name="" type="" align="left" alt=""><![CDATA[
S01. Push an IPv6 header with its own SRH
     Set the ARG part of the LAST SID in the segment list
S02. Set outer IPv6 SA = T and outer IPv6 DA to the first SID
     in the segment list
S03. Set outer Payload Length, Traffic Class, Hop Limit, and
     Flow Label fields
S04. Set the outer Next Header value
S05. Decrement inner IPv6 Hop Limit or IPv4 TTL
S06. Submit the packet to the IPv6 module for transmission to S11
       ]]></artwork>
    <t>
        After the H.Encaps.PREOF behavior, P1, and P2 respectively look like:
	 <list style="symbols">
         <t>(T, S11) (S13, S12, S11; SL=2) (A, B), note: S13.ARG=Flow-ID1, 
		 SeqNum </t>
         <t>(T, S21) (S23, S22, S21; SL=2) (A, B), note: S23.ARG=Flow-ID2, 
		 SeqNum </t>
     </list>
    </t>
    <t>
        The member flow packet is encapsulated unmodified (with the exception 
		of the IPv4 TTL or IPv6 Hop Limit that is decremented).
    </t>	
    <t>
        The push of 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. In such 
		cases the outer destination address is the DetNet-specific SID.
    </t>	
 </section>  <!-- end of H.Encaps.PREOF -->

 <section anchor="H.Encaps.PREOF.Red" title="H.Encaps.PREOF.Red: H.Encaps.PREOF with Reduced Encapsulation"> 
    <t>
        The H.Encaps.PREOF.Red behavior is an optimization of the 
		H.Encaps.PREOF behavior. 
    </t>
    <t>
        H.Encaps.PREOF.Red reduces the length of the SRH by excluding the 
		first SID in the SRH of the pushed IPv6 header. The first SID is only 
		placed in the Destination Address field of the pushed IPv6 header.
    </t>
    <t>
        After the H.Encaps.PREOF.Red behavior, P1, and P2 respectively look like:
	 <list style="symbols">
         <t>(T, S11) (S13, S12; SL=2) (A, B), note: S13.ARG=Flow-ID1, SeqNum </t>
         <t>(T, S21) (S23, S22; SL=2) (A, B), note: S23.ARG=Flow-ID2, SeqNum </t>
     </list>
    </t>
 </section>  <!-- end of H.Encaps.PREOF.Red -->

 <section anchor="H.Encaps.PREOF.L2" title="H.Encaps.PREOF.L2: H.Encaps.PREOF Applied to Received L2 Frames"> 
    <t>
        The H.Encaps.PREOF.L2 behavior encapsulates a received Ethernet frame 
		and its attached VLAN header, if present, in an IPv6 packet with an 
		SRH. The Ethernet frame becomes the payload of the new IPv6 packet.
    </t>
    <t>
        The H.Encaps.PREOF.L2 encapsulation behavior is similar to 
		H.Encaps.PREOF but sets an Ethernet specific outer Next Header and 
		lacks the TTL/Hop Limit related action. H.Encaps.PREOF.L2 is defined 
		as follows:
    </t>

        <artwork name="" type="" align="left" alt=""><![CDATA[
S01. Push an IPv6 header with its own SRH
     Set the ARG part of the LAST SID in the segment list
S02. Set outer IPv6 SA = T and outer IPv6 DA to the first SID
     in the segment list
S03. Set outer Payload Length, Traffic Class, Hop Limit, and
     Flow Label fields
S04. Set the outer Next Header value
S05. <N/A>
S06. Submit the packet to the IPv6 module for transmission to S11
       ]]></artwork>

    <t>
        The Next Header field of the SRH MUST be set to 143.
    </t>	
    <t>
        The push of 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>
        The encapsulating node MUST remove the preamble (if any) and frame 
		check sequence (FCS) from the Ethernet frame upon encapsulation, and 
		the decapsulating node MUST regenerate, as required, the preamble and 
		FCS before forwarding the Ethernet frame.
    </t>	  
 </section>  <!-- end of H.Encaps.PREOF.L2 -->

 <section anchor="H.Encaps.PREOF.L2.Red" title="H.Encaps.PREOF.L2.Red: H.Encaps.PREOF.L2 with Reduced Encapsulation"> 
    <t>
        The H.Encaps.PREOF.L2.Red behavior is an optimization of the 
		H.Encaps.PREOF.L2 behavior. 
    </t>
    <t>
        H.Encaps.PREOF.L2.Red reduces the length of the SRH by excluding the 
		first SID in the SRH of the pushed IPv6 header. The first SID is only 
		placed in the Destination Address field of the pushed IPv6 header.
    </t>
    <t>
        The push of 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>  <!-- end of H.Encaps.PREOF.L2.Red -->

</section>  <!-- end of SR Policy Headend Behaviors -->

<section title="DetNet-specific SID related counters">
  <t>
     PREOF implementation may provide counters per DetNet flow. However, in 
	 order to be inline with the intention of RFC8986 (section 6. Counters), 
	 its recommendation may apply on the DetNet-specific SID and the above 
	 described set of SR Behaviors. It means, a node supporting DetNet-specific 
	 SID should implement a pair of traffic counters (one for packets and one 
	 for bytes) per local SID entry, for traffic that matched that SID and was 
	 processed successfully (i.e., packets that generate ICMP Error Messages 
	 or are dropped are not counted). The retrieval of these counters from 
	 MIB, NETCONF/YANG, or any other data structure is outside the scope of 
	 this document. 
  </t>
</section>  <!-- end of Counters -->

<!-- ===================================================================== -->


<section title="Security Considerations">
  <t>
     DetNet PREOF related security considerations are described in 
	 section 3.3 of <xref target="RFC9055"/>. There are no additional 
	 related security considerations originating from this document.
  </t>
  <t>
     SRv6 Network Programming related security considerations are described in 
	 section 9 of <xref target="RFC8986"/>. There are no additional 
	 related security considerations originating from this document.
  </t>
</section>


<section anchor="iana" title="IANA Considerations">
  <t>
   This document makes no IANA requests.
  </t>
</section>

<section anchor="acks" title="Acknowledgements">
 <t>
   Authors extend their appreciation to Janos Farkas, Istvan Moldovan and 
   Miklos Mate for their insightful comments and productive discussion that 
   helped to improve the document.
  </t>
</section>

</middle>

<back>
  <references title="Normative References">
   <?rfc include="reference.RFC.2119"?>
   <?rfc include="reference.RFC.8174"?> 
   <?rfc include="reference.RFC.8655"?>
   <?rfc include="reference.RFC.9055"?>
   <?rfc include="reference.RFC.8986"?>
   <?rfc include="reference.RFC.8964"?>
   <?rfc include="reference.RFC.8402"?>
  </references>
 </back>
</rfc>
