<?xml version="1.0" encoding="UTF-8"?>

<!-- [CS] updated by Chris 05/04/22 -->

<!DOCTYPE rfc [
  <!ENTITY nbsp    "&#160;">
  <!ENTITY zwsp   "&#8203;">
  <!ENTITY nbhy   "&#8209;">
  <!ENTITY wj     "&#8288;">
]>

<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-ietf-bier-te-arch-13" number="0000" submissionType="IETF" category="std" consensus="true" obsoletes="" updates="" xml:lang="en" tocInclude="true" tocDepth="4" symRefs="true" sortRefs="true" version="3">

  <!-- xml2rfc v2v3 conversion 3.12.2 -->
  <front>
    <title abbrev="BIER-TE ARCH">Tree Engineering for Bit Index Explicit Replication (BIER-TE)</title>
    <seriesInfo name="RFC" value="0000"/>
    <author role="editor" fullname="Toerless Eckert" initials="T.T.E." surname="Eckert">
      <organization abbrev="Futurewei">Futurewei Technologies Inc.</organization>
      <address>
        <postal>
          <street>2330 Central Expy</street>
          <city>Santa Clara</city>
          <code>95050</code>
          <region>CA</region>
          <country>United States of America</country>
        </postal>
        <email>tte+ietf@cs.fau.de</email>
      </address>
    </author>
    <author fullname="Michael Menth" initials="M.M." surname="Menth">
      <organization>University of Tuebingen</organization>
      <address>
        <email>menth@uni-tuebingen.de</email>
      </address>
    </author>
    <author fullname="Gregory Cauchie" initials="G.C." surname="Cauchie">
      <organization>KOEVOO</organization>
      <address>
        <email>gregory@koevoo.tech</email>
      </address>
    </author>

<!-- [rfced] First-page header:  We do not see multiple initials used
for the authors of this document in any published RFC or in the draft
references where the same authors are listed (e.g.,
draft-eckert-bier-te-frr).  Are the multiple initials intended as a
precedent for future RFCs, or should we use single initials per past
and current documents?

Original:
 T.T.E. Eckert, Ed.
 M.M. Menth
 G.C. Cauchie

Possibly (per past and current documents)
 T. Eckert, Ed.
 M. Menth
 G. Cauchie -->

    <date month="June" year="2022"/>
    <area>rtg</area>
    <workgroup>bier</workgroup>

<!-- [rfced] We found a comment called "Removed for now by review
with Lou Berger" in the original XML file.  Please confirm that the
removal of this section is correct.  (If you need to restore the
section, we will do so via the pre-edited draft version.) -->

    <abstract>
      <t> This memo describes per-packet stateless strict and loose path
steered replication and forwarding for "Bit Index Explicit Replication" (BIER)  packets (RFC 8279).  It is called "BIER Tree Engineering" (BIER-TE) and is intended to be used as the path steering mechanism for Traffic Engineering
with BIER.</t>
      <t>BIER-TE introduces a new semantic for "bit positions" (BPs). These BPs indicate adjacencies
of the network topology, as opposed to (non-TE) BIER in which BPs indicate
 "Bit-Forwarding Egress Routers" (BFERs).  A BIER-TE "packets BitString" therefore indicates the
edges of the (loop-free) tree across which the packets are forwarded by BIER-TE.
BIER-TE can leverage BIER forwarding engines with little changes.
Co-existence of BIER and BIER-TE forwarding in the same domain is possible -- for example, by using
separate BIER "subdomains" (SDs). Except for the optional routed adjacencies, BIER-TE does not
require a BIER routing underlay and can therefore operate without depending
on an "Interior Gateway Routing protocol" (IGP).</t>
    </abstract>
  </front>
  <middle>
    <section anchor="overview" numbered="true" toc="default">
      <name>Overview</name>
      <t>Tree Engineering for Bit Index Explicit Replication (BIER-TE) is based on the (non-TE) BIER architecture, terminology and packet formats as described
in <xref target="RFC8279" format="default"/> and <xref target="RFC8296" format="default"/>.
This document describes BIER-TE, with the expectation that the reader is familiar
with these two documents.</t>
      <t>BIER-TE introduces a new semantic for "bit positions" (BPs). These BPs indicate adjacencies
of the network topology, as opposed to (non-TE) BIER in which BPs indicate
 "Bit-Forwarding Egress Routers" (BFERs).  A BIER-TE "packets BitString" therefore indicates the 
edges of the (loop-free) tree across which the packets are forwarded by BIER-TE.
With BIER-TE, the "Bit Index Forwarding Table" (BIFT) of each "Bit-Forwarding Router" (BFR)
is only populated with BPs that are adjacent to the BFR
in the BIER-TE Topology. Other BPs are empty in the BIFT. The BFR replicates
and forwards BIER packets to adjacent BPs that are set in the packets.
BPs are normally also cleared upon forwarding to avoid duplicates and loops.
</t>
      <t>BIER-TE can leverage BIER forwarding engines with little or no changes.
It can also co-exist with BIER forwarding in the same domain, for example, by using
separate BIER subdomains. Except for the optional routed adjacencies, BIER-TE does not
require a BIER routing underlay and can therefore operate without depending
on an "Interior Gateway Routing protocol" (IGP).</t>
      <t>This document is structured as follows:
</t>
      <ul spacing="normal">
        <li>
          <xref target="introduction" format="default"/> introduces BIER-TE with two 
    forwarding examples, followed by an introduction to the new concepts of the BIER-TE
    (overlay) topology, and finally a summary of the relationship between BIER and BIER-TE and a discussion of accelerated hardware forwarding.</li>
        <li>
          <xref target="components" format="default"/> describes the components of the BIER-TE architecture,
     Flow overlay, the BIER-TE layer with the BIER-TE control plane (including the BIER-TE controller) and BIER-TE forwarding plane, and the routing underlay.</li>
        <li>
          <xref target="forwarding" format="default"/> specifies the behavior of the BIER-TE forwarding plane with the different types of adjacencies and possible variations of BIER-TE forwarding pseudocode, and finally the mandatory and optional procedures.</li>
        <li>
          <xref target="controller-ops" format="default"/> describes operational considerations for the BIER-TE controller, primarily how the BIER-TE controller can optimize the use of BPs by using specific types of BIER-TE adjacencies for different types of topological situations.  It also describes how to assign bits to avoid loops and duplicates (which, in BIER-TE, does not come for free).  Finally, it discusses how "Set Identifiers" (SIs), "subdomains" (SDs), and BFR-ids can be managed by a BIER-TE controller; examples and a summary are provided.</li>
        <li>
          <xref target="SR" format="default"/> concludes the technology-specific sections of this document by further relating BIER-TE to Segment Routing (SR).</li>
      </ul>
      <t>Note that related work <xref target="I-D.ietf-roll-ccast" format="default"/>
uses Bloom filters <xref target="Bloom70" format="default"/> to represent leaves or edges of the intended delivery tree.  Bloom filters
in general can support larger trees/topologies with fewer addressing bits than explicit BitStrings,
but they introduce the heuristic risk of false positives and cannot clear bits in
the BitStrings during forwarding to avoid loops. For these reasons, BIER-TE 
uses explicit BitStrings like BIER. The explicit BitStrings of BIER-TE can also
be seen as a special type of Bloom filter, and this is how other related work <xref target="ICC" format="default"/>
describes it.</t>
    </section>
    <section anchor="introduction" numbered="true" toc="default">
      <name>Introduction</name>
    <section anchor="boilerplate" numbered="true" toc="default">
        <name>Requirements Language</name>
        <t>The key words "<bcp14>MUST</bcp14>", "<bcp14>MUST NOT</bcp14>",
        "<bcp14>REQUIRED</bcp14>", "<bcp14>SHALL</bcp14>",
        "<bcp14>SHALL NOT</bcp14>", "<bcp14>SHOULD</bcp14>",
        "<bcp14>SHOULD NOT</bcp14>",
        "<bcp14>RECOMMENDED</bcp14>", "<bcp14>NOT RECOMMENDED</bcp14>",
        "<bcp14>MAY</bcp14>", and "<bcp14>OPTIONAL</bcp14>" in this document
        are to be interpreted as described in BCP&nbsp;14
        <xref target="RFC2119"/> <xref target="RFC8174"/> when, and only
        when, they appear in all capitals, as shown here.</t>
      </section>
      <section anchor="examples" numbered="true" toc="default">
        <name>Basic Examples</name>
        <t>BIER-TE forwarding is best introduced with simple examples. These examples
use formal terms defined later in this document (<xref target="adjacencies" format="default"/> in <xref target="btft"/>),
including forward_connected(), forward_routed(), and local_decap().
</t>
<!-- Moved citation so that it appears before Figure 1 instead of after. -->
        <t>Consider the simple network in the BIER-TE overview example shown in
<xref target="basic-example"/>, with 6 BFRs. &nbsp;p1...p15 are the bit positions used. All BFRs can act as
a Bit-Forwarding Ingress Router (BFIR); BFR1, BFR3, BFR4, and
BFR6 can also be BFERs. "Forward_connected()" is the name used for
adjacencies that represent subnet adjacencies of the network.
"Local_decap()" is the name used for the adjacency that decapsulates BIER-TE packets and
passes their payload to higher-layer processing.
</t>

<!-- [rfced] Section 2.1:  We defined "BFIR" as "Bit-Forwarding
Ingress Router" per RFC 8556 and per the definition of "BFER(s)".
Please let us know any objections.

Original:
 All BFRs
 can act as an ingress BFR (BFIR), BFR1, BFR3, BFR4 and BFR6 can also
 be BFERs.

Currently:
 All
 BFRs can act as a Bit-Forwarding Ingress Router (BFIR); BFR1, BFR3,
 BFR4, and BFR6 can also be BFERs. -->

        <figure anchor="basic-example">
          <name>BIER-TE Basic Example</name>
          <artwork align="left" name="" type="" alt=""><![CDATA[
BIER-TE Topology:

   Diagram:

                    p5    p6
                  --- BFR3 ---
               p3/    p13     \p7          p15
   BFR1 ---- BFR2              BFR5 ----- BFR6
      p1   p2  p4\    p14     /p10 p11   p12
                  --- BFR4 ---
                    p8    p9

   (simplified) BIER-TE Bit Index Forwarding Tables (BIFTs):

   BFR1:   p1  -> local_decap()
           p2  -> forward_connected() to BFR2

   BFR2:   p1  -> forward_connected() to BFR1
           p5  -> forward_connected() to BFR3
           p8  -> forward_connected() to BFR4

   BFR3:   p3  -> forward_connected() to BFR2
           p7  -> forward_connected() to BFR5
           p13 -> local_decap()

   BFR4:   p4  -> forward_connected() to BFR2
           p10 -> forward_connected() to BFR5
           p14 -> local_decap()

   BFR5:   p6  -> forward_connected() to BFR3
           p9  -> forward_connected() to BFR4
           p12 -> forward_connected() to BFR6

   BFR6:   p11 -> forward_connected() to BFR5
           p15 -> local_decap()
]]></artwork>
        </figure>
        <t>
Assume that a packet from BFR1 should be sent via BFR4 to BFR6. This requires
a BitString (p2,p8,p10,p12,p15). When this packet is examined by BIER-TE
on BFR1, the only bit position from the BitString that is also set in
the BIFT is p2. This will cause BFR1 to send the only copy of the packet
to BFR2. Similarly, BFR2 will forward to BFR4 because of p8, BFR4 to BFR5
because of p10, and BFR5 to BFR6 because of p12. &nbsp;p15 finally makes BFR6 receive
and decapsulate the packet.
</t>
        <t>To send a copy to BFR6 via BFR4 and also a copy to BFR3, the BitString needs
to be (p2,p5,p8,p10,p12,p13,p15). When this packet is examined by 
BFR2, p5 causes one copy to be sent to BFR3 and p8 one copy to BFR4.
When BFR3 receives the packet, p13 will cause it to receive and decapsulate
the packet.
</t>
        <t>If instead the BitString was (p2,p6,p8,p10,p12,p13,p15), the packet
would be copied by BFR5 towards BFR3 because of p6 instead of being copied by 
BFR2 to BFR3 because of p5 in the prior case. This demonstrates the ability of the
BIER-TE Topology, as shown in <xref target="basic-example"/>, to make the traffic pass across any possible path and be
replicated where desired.
</t>

<!-- [rfced] Section 2.1:  We found "This is showing the ability of
the shown BIER-TE Topology" difficult to follow.  We updated this
sentence as noted below.  Please let us know if this is incorrect.

Original:
 This is
 showing the ability of the shown BIER-TE Topology to make the traffic
 pass across any possible path and be replicated where desired.

Currently:
 This
 demonstrates the ability of the BIER-TE Topology, as shown in
 Figure 1, to make the traffic pass across any possible path and be
 replicated where desired. -->

        <t>BIER-TE has various options to minimize BP assignments,
many of which are based on out-of-band knowledge about the required multicast traffic
paths and bandwidth consumption in the network, e.g., from predeployment planning.</t>
        <t><xref target="basic-overlay" format="default"/> shows a modified example, in which Rtr2 and Rtr5 are
assumed not to support BIER-TE, so traffic has to be unicast encapsulated across
them.  To emphasize non-L2, but routed/tunneled forwarding of BIER-TE packets,
these adjacencies are called "forward_routed". Otherwise, there is no difference
in their processing over the aforementioned forward_connected() adjacencies.</t>

<!-- [rfced] Section 2.1:  We had trouble with this sentence.
If the suggested text is not correct, please clarify "non-L2, but
routed/tunneled forwarding of BIER-TE packets".

Original:
 To emphasize non-L2, but routed/tunneled forwarding of
 BIER-TE packets, these adjacencies are called "forward_routed".

Suggested:
 To specify routed/tunneled forwarding of BIER-TE packets
 (i.e., not Layer 2), these adjacencies are called "forward_routed". -->

        <t>In addition, bits are saved in the following example by assuming that BFR1 only
needs to be a BFIR -- not a BFER or a transit BFR.</t>
        <figure anchor="basic-overlay">
          <name>BIER-TE Basic Overlay Example</name>
          <artwork align="left" name="" type="" alt=""><![CDATA[
BIER-TE Topology:

   Diagram:

                   p1  p3  p7
                ....> BFR3 <....       p5
        ........                ........>  
   BFR1       (Rtr2)          (Rtr5)      BFR6
        ........                ........> p9
                ....> BFR4 <....       p6
                   p2  p4  p8

   (simplified) BIER-TE Bit Index Forwarding Tables (BIFTs):

   BFR1:   p1  -> forward_routed() to BFR3
           p2  -> forward_routed() to BFR4

   BFR3:   p3  -> local_decap()
           p5  -> forward_routed() to BFR6

   BFR4:   p4  -> local_decap()
           p6  -> forward_routed() to BFR6

   BFR6:   p7  -> forward_routed() to BFR3
           p8  -> forward_routed() to BFR4
           p9  -> local_decap()
]]></artwork>
        </figure>
        <t>To send a BIER-TE packet from BFR1 via BFR3 to be received by BFR6,
the BitString is (p1,p5,p9). A packet from BFR1 via BFR4 to be received by BFR6 uses the BitString (p2,p6,p9). A packet from BFR1 to be received by BFR3,BFR4
and from BFR3 to be received by BFR6 uses (p1,p2,p3,p4,p5,p9). A packet
from BFR1 to be received by BFR3,BFR4 and from BFR4 to be received by BFR6
uses (p1,p2,p3,p4,p6,p9). A packet from BFR1 to be received by BFR4, 
and from BFR4 to be received by BFR6 and from there to be received by BFR3 uses (p2,p3,p4,p6,p7,p9).
A packet from BFR1 to be received by BFR3, and from BFR3 to be received by BFR6
 there to be received by BFR4 uses (p1,p3,p4,p5,p8,p9).</t>

<!-- [rfced] Section 2.1:  We had trouble following the "and"
relationships in these two sentences.  If the suggested text does not
preserve your intended meaning, please clarify.

Original:
 A
 packet from BFR1 to be received by BFR4, and from BFR4 to be received
 by BFR6 and from there to be received by BFR3 uses
 (p2,p3,p4,p6,p7,p9).  A packet from BFR1 to be received by BFR3, and
 from BFR3 to be received by BFR6 there to be received by BFR4 uses
 (p1,p3,p4,p5,p8,p9).

Suggested:
 A
 packet from BFR1 to be received by BFR4, then from BFR4 to be
 received by BFR6, and finally from BFR6 to be received by BFR3, uses
 (p2,p3,p4,p6,p7,p9).  A packet from BFR1 to be received by BFR3,
 then from BFR3 to be received by BFR6, and finally from BFR6 to be
 received by BFR4, uses (p1,p3,p4,p5,p8,p9). -->

      </section>
      <section anchor="topology" numbered="true" toc="default">
        <name>BIER-TE Topology and Adjacencies</name>
        <t>The key new component in BIER-TE compared to (non-TE) BIER is the BIER-TE topology
as introduced through the two examples in <xref target="examples" format="default"/>.
It is used to control where replication can or should happen and how to
minimize the required number of BPs for adjacencies.
</t>
        <t>
The BIER-TE Topology consists of the BIFTs of all the BFRs and
can also be expressed as a directed graph where the edges are the adjacencies 
between the BFRs labeled with the BP used for the adjacency. Adjacencies are
naturally unidirectional.  A BP can be reused across multiple adjacencies as long as this does not
lead to undesired duplicates or loops as explained in <xref target="avoiding" format="default"/>.
</t>
        <t>If the BIER-TE topology represents (a subset of) the underlying (Layer 2)
topology of the network as shown in the first example, this may be called a "native"
BIER-TE topology. A topology consisting only of "forward_routed" adjacencies as
shown in the second example may be called an "overlay" BIER-TE topology.
A BIER-TE topology with both forward_connected() and forward_routed() adjacencies
may be called a "hybrid" BIER-TE topology.</t>
      </section>

<section anchor="comparison" numbered="true" toc="default">
        <name>Relationship to BIER</name>
        <t>BIER-TE is designed so that its forwarding plane is a simple extension to the (non-TE) BIER forwarding plane, hence allowing it to be added to BIER deployments where it can be beneficial.</t>
        <t>BIER-TE is also intended as an option to expand the BIER architecture into deployments where (non-TE) BIER  may not be the best fit, such as statically provisioned networks that need path steering but do not want distributed routing protocols.</t>
        <ol spacing="normal" type="1"><li>
            <t>BIER-TE inherits the following aspects from BIER unchanged:
</t>
            <ol spacing="normal" type="a"><li>The fundamental purpose of per-packet signaled replication and delivery via a BitString.</li>
              <li>The overall architecture consisting of three layers: flow overlay, BIER(-TE) layer, and routing underlay.</li>
              <li>The supported encapsulations <xref target="RFC8296" format="default"/>.</li>
              <li>The semantic of all BIER header elements <xref target="RFC8296" format="default"/> used by the BIER-TE forwarding plane other than the semantic of the BP in the BitString.</li>
              <li>The BIER forwarding plane, except for how bits have to be cleared during replication.</li>
            </ol>
          </li>
          <li>
            <t>BIER-TE has the following key changes with respect to BIER:
</t>
            <ol spacing="normal" type="a"><li>In BIER, bits in the BitString of a BIER packet header indicate a BFER
        and bits in the BIFT indicate the BIER control plane's calculated next hop
        toward that BFER. In BIER-TE, a bit in the BitString of a BIER packet
        header indicates an adjacency in the BIER-TE topology, and only the
        BFR that is the upstream of that adjacency has its BP populated with
        the adjacency in its BIFT.</li>
              <li>In BIER, the implied reference options for the core part of the
 BIER layer
       control plane are the BIER extensions for distributed routing protocols.
       These include IS-IS and OSPF extensions for BIER, as specified in <xref target="RFC8401" format="default"/>
       and <xref target="RFC8444" format="default"/>, respectively.</li>
              <li>The reference option for the core part of the BIER-TE control plane is
       the BIER-TE controller. Nevertheless, both the BIER and BIER-TE BIFTs forwarding
       plane state could equally be populated by any mechanism.</li>
              <li>Assuming the reference options for the control plane, BIER-TE replaces in-network autonomous path calculations by explicit paths calculated by the BIER-TE controller.</li>

<!-- [rfced] Section 2.3:  We had trouble following the usage of
"replaces" in this sentence.  Does BIER-TE replace in-network
autonomous path calculations *with* explicit paths or *via* explicit
paths?

Original:
 4.  Assuming the reference options for the control plane, BIER-TE
     replaces in-network autonomous path calculation by explicit
     paths calculated by the BIER-TE controller. -->

            </ol>
          </li>
          <li>
            <t>The following elements/functions described in the BIER architecture are not required by the BIER-TE architecture:
</t>
            <ol spacing="normal" type="a"><li>"Bit Index Routing Tables" (BIRTs) are not required on BFRs for BIER-TE when using a BIER-TE controller because the controller can directly populate the BIFTs. In BIER, BIRTs are populated by the distributed routing protocol support for BIER, allowing BFRs to populate their BIFTs locally from their BIRTs. Other BIER-TE control plane  or management plane options may introduce requirements for BIRTs for BIER-TE BFRs.</li>
              <li>The BIER-TE layer forwarding plane does not require BFRs to have a unique BP and therefore also no unique BFR-id.  See <xref target="leaf-bfer" format="default"/>.</li>

<!-- [rfced] Section 2.3:  We had trouble following this sentence.
If the suggested text is not correct, please clarify "and therefore
also no unique BFR-id".

Original:
 2.  The BIER-TE layer forwarding plane does not require BFRs to
     have a unique BP and therefore also no unique BFR-id.

Suggested:
 2.  The BIER-TE layer forwarding plane does not require BFRs to
     have a unique BP; therefore, a unique BFR-id is also not
     needed. -->

              <li>Identification of BFRs by the BIER-TE control plane is outside the scope of this specification. Whereas the BIER control plane uses BFR-ids in its BFR-to-BFR signaling, a BIER-TE controller may choose any form of identification deemed appropriate.</li>
              <li>BIER-TE forwarding does not require the BFIR-id field of the BIER packet header.</li>
            </ol>
          </li>
          <li>
            <t>Co-existence of BIER and BIER-TE in the same network requires the following:
</t>
            <ol spacing="normal" type="a"><li>The BIER/BIER-TE packet header needs to allow the addressing of both BIER and BIER-TE BIFTs. Depending on the encapsulation option, the same SD may or may not be reusable across BIER and BIER-TE.  See <xref target="encapsulation" format="default"/>. 
In either case, a packet is always only forwarded end to end via BIER or via BIER-TE ("ships in the night" forwarding).</li>
              <li>BIER-TE deployments will have to assign BFR-ids to BFRs and insert them into the BFIR-id field of BIER packet headers, as does BIER, whenever the deployment uses (unchanged) components developed for BIER that use BFR-ids, such as multicast flow overlays or BIER layer control plane elements. See also <xref target="bfr-id" format="default"/>.</li>
            </ol>
          </li>
        </ol>
      </section>
      <section anchor="fwd-comparison" numbered="true" toc="default">
        <name>Accelerated/Hardware Forwarding Comparison</name>
        <t>BIER-TE forwarding rules, especially the parsing of BitStrings, are designed to be as close
as possible to those of BIER, with the expectation that this eases the programming of BIER-TE forwarding 
code and/or BIER-TE forwarding hardware on platforms supporting BIER. 
The pseudocode in <xref target="pseudocode" format="default"/> shows how existing 
(non-TE) BIER/BIFT forwarding can be modified to support the required BIER-TE forwarding
functionality (<xref target="requirements" format="default"/>), by using BIER BIFT's "Forwarding Bit Mask" (F-BM):
only the clearing of bits to avoid duplicate
packets to a BFR's neighbor is skipped in BIER-TE forwarding because it is not necessary
and could not be done when using BIER F-BM.</t>
        <t>Whether to use BIER or BIER-TE forwarding is simply a choice of the mode
of the BIFT indicated by the packet (BIER or BIER-TE BIFT). This is determined
by the BFR configuration for the encapsulation; see <xref target="encapsulation" format="default"/>.</t>
      </section>

</section>

  <section anchor="components" numbered="true" toc="default">
      <name>Components</name>
      <t>BIER-TE can be thought of as being composed of the same three
layers as BIER: The "multicast flow overlay", the "BIER layer", and
the "routing underlay".  <xref target="architecture"/> also shows how the "BIER layer"
is composed of the "BIER-TE forwarding plane" and the "BIER-TE control plane" as
represented by the "BIER-TE Controller".
</t>
      <figure anchor="architecture">
        <name>BIER-TE Architecture</name>
        <artwork align="left" name="" type="" alt=""><![CDATA[
                <------BGP/PIM----->
   |<-IGMP/PIM->  multicast flow   <-PIM/IGMP->|
                     overlay

       BIER-TE  [BIER-TE Controller] <=> [BIER-TE Topology]
       control     ^      ^     ^
       plane      /       |      \   BIER-TE control protocol
                 |        |       |  (e.g., YANG/NETCONF/RESTCONF
                 |        |       |       PCEP/...)
                 v        v       v
 Src -> Rtr1 -> BFIR-----BFR-----BFER -> Rtr2 -> Rcvr

                |<----------------->|
              BIER-TE forwarding plane

                |<- BIER-TE domain->|

              |<--------------------->|
                  Routing underlay
]]></artwork>
      </figure>
      <section anchor="flow-overlay" numbered="true" toc="default">
        <name>The Multicast Flow Overlay</name>
        <t>The Multicast Flow Overlay has the same role as that described for BIER
in <xref target="RFC8279" sectionFormat="comma" section="4.3"/>. See also <xref target="engineered-bitstrings" format="default"/>.</t>
        <t>When a BIER-TE controller is used, the signaling for the Multicast Flow Overlay may 
also be preferred to operate through a central point of control. For BGP-based
overlay flow services such as "<xref target="RFC8556" format="title"/>" <xref target="RFC8556" format="default"/>, this
can be achieved by making the BIER-TE controller operate as a BGP Route
Reflector <xref target="RFC4456" format="default"/> and combining it with signaling through BGP
or a different protocol for the BIER-TE controller's calculated BitStrings.
See Sections&nbsp;<xref target="engineered-bitstrings" format="counter"/> and <xref target="bitstring-mappings" format="counter"/>.</t>

<!-- [rfced] Section 3.1:  We had trouble following the use of "may
also be preferred" in this sentence.  If the suggested text is not
correct, please clarify.

Original:
 When a BIER-TE controller is used, then the signaling for the
 Multicast Flow Overlay may also be preferred to operate through a
 central point of control.

Suggested:
 When a BIER-TE controller is used, it might be preferable that
 the signaling for the Multicast Flow Overlay operate through a
 central point of control. -->

      </section>

    <section anchor="control-plane" numbered="true" toc="default">
        <name>The BIER-TE Control Plane</name>
        <t>In the (non-TE) BIER architecture <xref target="RFC8279" format="default"/>, the BIER control
plane is not explicitly separated from the BIER forwarding plane, but
instead their functions are summarized together in <xref target="atypes"/>.
Example standardized options for the BIER control plane include
IS-IS and OSPF extensions for BIER, as specified in <xref target="RFC8401" format="default"/> and <xref target="RFC8444" format="default"/>, respectively.</t>

<!-- [rfced] Section 3.2:  We could not follow this sentence.  If the
suggested text is not correct, please clarify "but instead their
functions are summarized together in Section 4.2" (i.e., what do
"instead", "their", and "summarized together" refer to?).

Original:
 In the (non-TE) BIER architecture [RFC8279], the BIER control plane
 is not explicitly separated from the BIER forwarding plane, but
 instead their functions are summarized together in Section 4.2.

Suggested:
 In the (non-TE) BIER architecture [RFC8279], the BIER control plane
 is not explicitly separated from the BIER forwarding plane.  See
 Section 4.2 for a description of relevant functions. -->

        <t>For BIER-TE, the control plane includes, at a minimum, the following functionality.</t>
        <dl newline="false" spacing="normal">
          <dt>BIER-TE topology control:</dt>
          <dd anchor="topology-control">
            <t>During initial provisioning of the network and/or during modifications of its topology and/or services, the protocols and/or procedures to establish BIER-TE BIFTs:
            </t>
            <ol spacing="normal" type="1">
              <li anchor="topology-control-1">Determine the desired BIER-TE topology for BIER-TE subdomains: the native and/or overlay adjacencies that are assigned to BPs. Topology discovery is discussed in <xref target="topology-discovery" format="default"/>, and the various aspects of the BIER-TE controller's determinations regarding the topology are discussed throughout <xref target="controller-ops" format="default"/>.</li>

<!-- [rfced] Section 3.2:  We changed "for a BIER-TE sub-domains" to
"for BIER-TE subdomains" in this sentence.  Please let us know if it
should be "for a BIER-TE subdomain" instead.

Original:
 1.  Determine the desired BIER-TE topology for a BIER-TE sub-
     domains: the native and/or overlay adjacencies that are
     assigned to BPs.

Currently:
 1.  Determine the desired BIER-TE topology for BIER-TE subdomains:
     the native and/or overlay adjacencies that are assigned to
     BPs. -->

              <li>Determine the per-BFR BIFT from the BIER-TE topology. This is achieved by simply extracting the adjacencies of the BFR from the BIER-TE topology and populating the BFRs BIFT with them.</li>
              <li>Optionally assign BFR-ids to BFIRs for later insertion into BIER headers on BFIRs as BFIR-ids. Alternatively, BFIR-ids in BIER packet headers may be managed solely by the flow overlay layer and/or be unused. This is discussed in <xref target="bfr-id" format="default"/>.</li>
              <li>Install/update the BIFTs into the BFRs and, optionally, BFR-ids into BFIRs. This is discussed in <xref target="topology-discovery" format="default"/>.</li>
            </ol>
          </dd>
          <dt>BIER-TE tree control:</dt>
          <dd anchor="tree-control">
            <t>During network operations, protocols and/or procedures to support creation/change/removal of overlay flows on BFIRs:
            </t>
            <ol spacing="normal" type="1"><li>Process the BIER-TE requirements for the multicast overlay flow: BFIRs and BFERs of the flow as well as policies for the path selection of the flow. This is discussed in <xref target="te-considerations" format="default"/>.</li>
              <li>Determine the BitStrings and, optionally, Entropy. This is discussed in Sections&nbsp;<xref target="engineered-bitstrings" format="counter"/>, <xref target="te-considerations" format="counter"/>, and <xref target="bitstring-mappings" format="counter"/>.</li>
              <li>Install state on the BFIR to impose the desired BIER packet header(s) for packets of the overlay flow. Different aspects of this, as well as the next point, are discussed throughout <xref target="bier-te-controller" format="default"/> and in <xref target="encapsulation" format="default"/>, but the main responsibility of these two points is with the Multicast Flow Overlay (<xref target="flow-overlay" format="default"/>), which is architecturally inherited from BIER.</li>

<!-- [rfced] Section 3.2:  To what does "the main responsibility"
refer - "these two points" or the Multicast Flow Overlay?  We do not
know how best to clarify this text while preserving your intended
meaning.  Please provide clarifying text.

Original:
 Different aspects
 of this and the next point are discussed throughout
 Section 3.2.1 and in Section 4.3, but the main responsibility
 of these two points is with the Multicast Flow Overlay
 (Section 3.1), which is architecturally inherited from BIER. -->

              <li>Install the necessary state on the BFERs to decapsulate the BIER packet header and properly dispatch its payload.</li>
            </ol>
          </dd>
        </dl>
        <section anchor="bier-te-controller" numbered="true" toc="default">
          <name>The BIER-TE Controller</name>
<!-- [rfced] Regarding this note from you:
[RFC-Editor: the following text has three references to anchors topology-control, topology-control-1 and tree-control. Unfortunately, XMLv2 does not offer any tagging that reasonable references are generated (i had this problem already in RFCs last year. Please make sure there are useful-to-read cross-references in the RFC in these three places after you convert to XMLv3.]

With v3, it appears to us that the "topology-control" and
"tree-control" tags, whose anchors are embedded in "top-level"
"<dd>" elements, are working properly in the .html and .pdf
outputs.  However, the "topology-control-1" link, whose anchor was
embedded in a nested "<li>" element, was translated in the text of
Section 3.2.1.1 by v3 (as it was in the submitted v2 copy) as
"(Section 3.2, Paragraph 3, Item 2.2.1)", which was inaccurate given
that the list is only two levels deep.

We applied 'format="none"' to the "topology-control-1" xref as
follows; this suppresses the section-number listing but still
steers to the correct point in the document:

<xref target="topology-control-1" format="none">

May we update this sentence as follows?

Original:
 The first item of BIER-TE topology control (Section 3.2, Paragraph 3,
 Item 2.2.1) includes network topology discovery and BIER-TE topology
 creation.

Currently:
 The first item of BIER-TE topology control includes network topology
 discovery and BIER-TE topology creation.

Perhaps:
 The first item of BIER-TE topology control (Section 3.2) includes
 network topology discovery and BIER-TE topology creation. -->

          <t>This architecture describes the
BIER-TE control plane, as shown in <xref target="architecture" format="default"/>, as consisting of:
          </t>
          <ul spacing="normal">
            <li>A BIER-TE controller.</li>
            <li>BFR data models and protocols to communicate between controllers and BFRs 
           in support of <xref target="topology-control" format="default">BIER-TE topology control</xref>,
           such as YANG/NETCONF/RESTCONF <xref target="RFC7950" format="default"/> <xref target="RFC6241" format="default"/> <xref target="RFC8040" format="default"/>.</li>
            <li>BFR data models and protocols to communicate between controllers and BFIRs in support of
           <xref target="tree-control" format="default">BIER-TE tree control</xref>, such as BIER-TE extensions
           for <xref target="RFC5440" format="default"/>.</li>
          </ul>
          <t>The single, centralized BIER-TE controller is used in this document as the reference option for the BIER-TE control plane, but other options are equally feasible. 

The BIER-TE control plane could equally be implemented without automated configuration/protocols,
by an operator via a CLI on the BFRs.

 In that case, operator-configured local policy on the BFIR would have to
determine how to set the appropriate BIER header fields.  The BIER-TE control plane could also be decentralized
and/or distributed, but this document does not consider any additional protocols and/or procedures
that would then be necessary to coordinate its (distributed/decentralized) entities to achieve the above-described functionality.</t>
          <section anchor="topology-discovery" numbered="true" toc="default">
            <name>BIER-TE Topology Discovery and Creation</name>
            <t>
<xref target="topology-control-1" format="none">The first item of BIER-TE topology               
control</xref>
includes network topology discovery and BIER-TE topology creation. The latter describes
the process by which a Controller determines which routers are to be configured as BFRs and the
adjacencies between them.</t>
            <t>In statically managed networks, e.g., industrial environments, both discovery and creation can be a manual/offline process.</t>
            <t>In other networks, topology discovery may rely on protocols including extending a "Link-State-Protocol" based IGP into the BIER-TE controller itself, <xref target="RFC7752" format="default"/> (BGP-LS) or <xref target="RFC8345" format="default"/> (YANG topology) as well as BIER-TE-specific methods -- for example, via <xref target="I-D.ietf-bier-te-yang" format="default"/>. These options are non-exhaustive.</t>

<!-- [rfced] Section 3.2.1.1:  We had trouble determining what is
listed in this sentence.  If the suggested text is not correct,
please clarify.

Original:
 In other networks, topology discovery may rely on protocols including
 extending a "Link-State-Protocol" based IGP into the BIER-TE
 controller itself, [RFC7752] (BGP-LS) or [RFC8345] (YANG topology) as
 well as BIER-TE specific methods, for example via
 [I-D.ietf-bier-te-yang].

Suggested:
 In other networks, topology discovery may rely on such protocols as
 those that include extending an IGP based on a link-state protocol
 into the BIER-TE controller itself, e.g., BGP-LS [RFC7752] or YANG
 topology [RFC8345], as well as methods specific to BIER-TE - for
 example, via [BIER-TE-YANG]. -->

            <t>Dynamic creation of the BIER-TE topology can be as easy as mapping the network topology 1:1 to the BIER-TE topology by assigning a BP for every network subnet adjacency. In larger networks, it likely involves more complex policy and optimization decisions, including how to minimize the number of BPs required and how to assign BPs across different BitStrings to minimize the number of duplicate packets across links when delivering an overlay flow to BFERs using different SIs/BitStrings. These topics are discussed in <xref target="controller-ops" format="default"/>.</t>
            <t>When the BIER-TE topology is determined, the BIER-TE Controller will push
the BitPositions/adjacencies to the BIFT of the BFRs. On each BFR, only those SI:BitPositions
that are adjacencies to other BFRs in the BIER-TE topology are populated.</t>

<!-- [rfced] Section 3.2.1.1:  Should "BitPositions/adjacencies" be
"BPs/adjacencies", and should "SI:BitPositions" be "SI:BPs"?
The only other instances of the form "BitPosition" that we see are
"GetFirstBitPosition" and "GetNextBitPosition" in the figures in
Section 4.4.

Original:
 When the BIER-TE topology is determined, the BIER-TE Controller then
 pushes the BitPositions/adjacencies to the BIFT of the BFRs.  On each
 BFR only those SI:BitPositions are populated that are adjacencies to
 other BFRs in the BIER-TE topology. -->

            <t>Communications between the BIER-TE Controller and BFRs for both BIER-TE topology
control and BIER-TE tree control are ideally via standardized protocols and data models such
as NETCONF/RESTCONF/YANG/PCEP.  A vendor-specific CLI on the BFRs is also an option (as in many other Software-Defined Network (SDN)
solutions lacking definitions of standardized data models).</t>

<!-- [rfced] Section 3.2.1.1:  For ease of the reader, we defined
"SDN" as "Software-Defined Network" per RFC 8279.  If this is
incorrect, please provide the correct definition.

Original:
 Vendor-specific CLI on the BFRs is also an option (as in many
 other SDN solutions lacking definition of standardized data models).

Currently:
 A vendor-specific CLI on the BFRs is also an option (as in
 many other Software-Defined Network (SDN) solutions lacking
 definitions of standardized data models). -->

          </section>
          <section anchor="engineered-bitstrings" numbered="true" toc="default">
            <name>Engineered Trees via BitStrings</name>
            <t>In BIER, the same set of BFERs in a single subdomain is always encoded as the same BitString.
In BIER-TE, the BitString used to reach the same set of BFERs in the same subdomain can be
different for different overlay flows because the BitString encodes the paths towards the BFERs,
so the BitStrings from different BFIRs to the same set of BFERs will often be different. 
Likewise, the BitString from the same BFIR to the same set of BFERs can be different for different overlay
flows for policy reasons such as shortest path trees, Steiner trees (minimum-cost trees),
diverse path trees for redundancy, and so on.</t>
            <t>See also <xref target="I-D.ietf-bier-multicast-http-response" format="default"/> for an application
leveraging BIER-TE engineered trees.</t>
          </section>
          <section anchor="changes-in-topo" numbered="true" toc="default">
            <name>Changes in the Network Topology</name>
            <t>If the network topology changes (not failure based) so that adjacencies
that are assigned to bit positions are no longer needed, the BIER-TE Controller can
reuse those bit positions for new adjacencies.  First, these bit positions
need to be removed from any BFIR flow state and BFR BIFT state. Then, they
can be repopulated, first into BIFT and then into the BFIR.</t>
          </section>

      <section anchor="failures" numbered="true" toc="default">
            <name>Link/Node Failures and Recovery</name>
            <t>When links or nodes fail or recover in the topology, BIER-TE could quickly
respond with Fast Reroute (FRR) procedures such as those described in <xref target="I-D.eckert-bier-te-frr" format="default"/>, the details of which are out of scope for this document. It can also more slowly react by
recalculating the BitStrings of affected multicast flows. This reaction is
slower than the FRR procedure because the BIER-TE Controller needs to receive
link/node up/down indications, recalculate the desired BitStrings, and push
them down into the BFIRs. With FRR, this is all performed locally on a BFR
receiving the adjacency up/down notification.</t>

<!-- [rfced] Section 3.2.1.4:  For ease of the reader, we expanded
"FRR" as "Fast Reroute".  Please let us know any objections.

Original:
 When link or nodes fail or recover in the topology, BIER-TE could
 quickly respond with FRR procedures such as [I-D.eckert-bier-te-frr],
 the details of which are out of scope for this document.

Currently:
 When links or nodes fail or recover in the topology, BIER-TE could
 quickly respond with Fast Reroute (FRR) procedures such as those
 described in [BIER-TE-PROTECTION], the details of which are out of
 scope for this document. -->

          </section>

    </section>
</section>

    <section anchor="forwarding-plane" numbered="true" toc="default">
        <name>The BIER-TE Forwarding Plane</name>
        <t>The BIER-TE forwarding plane consists of the following components:
        </t>
        <ol spacing="normal" type="1"><li>On a BFIR, imposition of the BIER header for packets from overlay flows. This is driven by state established by the BIER-TE control plane, the multicast flow overlay as explained in <xref target="flow-overlay" format="default"/>, or a combination of both.</li>

<!-- [rfced] Section 3.3:  Because the "or" in "and/or" would mean
that there would not be a combination, we updated this sentence as
follows.  If this update does not properly convey your intended
meaning, please provide clarifying text.

Original:
 This is driven by a combination of state established by
 the BIER-TE control plane and/or the multicast flow overlay as
 explained in Section 3.1.

Currently:
 This is driven by state established by the BIER-TE
 control plane, the multicast flow overlay as explained in
 Section 3.1, or a combination of both. -->

          <li>On BFRs (including BFIRs and BFERs), forwarding/replication of BIER packets according to their SD, SI, "BitStringLength" (BSL), BitString, and, optionally, Entropy fields as explained in <xref target="forwarding" format="default"/>. Processing of other BIER header fields, such as the Differentiated Services Code Point (DSCP) field, is outside the scope of this document.</li>

<!-- [rfced] Section 3.3:  For ease of the reader, we defined "DSCP"
as "Differentiated Services Code Point".  If this is incorrect,
please provide the correct definition.

Original:
 Processing of other BIER header fields such as DSCP
 is outside the scope of this document.

Currently:
 Processing of other BIER header fields, such as the
 Differentiated Services Code Point (DSCP) field, is outside the
 scope of this document. -->

          <li>On BFERs, removal of the BIER header and dispatching of the payload according to state created by the BIER-TE control plane and/or overlay layer.</li>
        </ol>
        <t>When the BIER-TE forwarding plane receives a packet, it simply looks
up the bit positions that are set in the BitString of the packet in the
BIFT that was populated by the BIER-TE Controller.
For every BP that is set in the BitString and has one or
more adjacencies in the BIFT, a copy is made according to the type
of adjacency for that BP in the BIFT. Before sending any copies, the
BFR clears all BPs in the BitString of the packet for which the
BFR has one or more adjacencies in the BIFT.  Clearing these bits inhibits
the looping of packets when the BitStrings erroneously include a forwarding loop.
When a forward_connected() adjacency has the "DoNotClear" (DNC) flag
set, this BP is reset for the packet copied to that adjacency.
See <xref target="forward-connected" format="default"/>.</t>
      </section>

    <section anchor="routing-underlay" numbered="true" toc="default">
        <name>The Routing Underlay</name>
        <t>For forward_connected() adjacencies, BIER-TE is sending BIER packets to directly connected
BIER-TE neighbors as L2 (unicast) BIER packets without requiring a
routing underlay. For forward_routed() adjacencies, BIER-TE forwarding encapsulates
a copy of the BIER packet so that it can be delivered by the forwarding plane
of the routing underlay to the routable destination address indicated in the adjacency.
See <xref target="forward-routed" format="default"/> for the adjacency definition.</t>
        <t>BIER relies on the routing underlay to calculate paths towards BFERs and derive
next-hop BFR adjacencies for those paths. This commonly relies on BIER-specific extensions
to the routing protocols of the routing underlay but may also be established
by a controller. In BIER-TE, the next hops for a packet are determined by the BitString
through the BIER-TE Controller-established adjacencies on the BFR for the BPs of the BitString.
There is thus no need for BFR-specific routing underlay extensions to forward BIER packets with
BIER-TE semantics.</t>

<!-- [rfced] Section 3.4:  Does "This" mean "This process", "This
calculation", or something else?  Please clarify.

Original (the previous sentence is included for context):
 BIER relies on the routing underlay to calculate paths towards BFERs
 and derive next-hop BFR adjacencies for those paths.  This commonly
 relies on BIER specific extensions to the routing protocols of the
 routing underlay but may also be established by a controller. -->

        <t>Encapsulation parameters can be provisioned by the BIER-TE controller into 
the forward_connected() or forward_routed() adjacencies directly without relying on a routing underlay.
</t>
        <t>If the BFR intends to support FRR for BIER-TE, then the BIER-TE
forwarding plane needs to receive fast adjacency up/down notifications:
link up/down or neighbor up/down, e.g., from Bidirectional Forwarding Detection (BFD). Providing these notifications
is considered to be part of the routing underlay in this document.</t>

<!-- [rfced] Section 3.4:  For ease of the reader, we expanded "BFD"
as "Bidirectional Forwarding Detection".  If this is incorrect,
please provide the correct definition.

Original:
 If the BFR intends to support FRR for BIER-TE, then the BIER-TE
 forwarding plane needs to receive fast adjacency up/down
 notifications: Link up/down or neighbor up/down, e.g. from BFD.

Currently:
 If the BFR intends to support FRR for BIER-TE, then the BIER-TE
 forwarding plane needs to receive fast adjacency up/down
 notifications: link up/down or neighbor up/down, e.g., from
 Bidirectional Forwarding Detection (BFD). -->

      </section>

    <section anchor="te-considerations" numbered="true" toc="default">
        <name>Traffic Engineering Considerations</name>
        <t>Traffic Engineering <xref target="TE-RFC3272bis" format="default"/>
provides performance optimization of operational IP networks while utilizing
 network resources economically and
reliably.  The key elements needed to effect TE are policy, path steering,
and resource management. These elements require support at the
control/controller level and within the forwarding plane.</t>

<!-- [rfced] Section 3.5:  Please confirm that "TE" stands for
"Traffic Engineering" and not "Tree Engineering" here.

Original (the previous sentence is included for context):
 Traffic Engineering ([I-D.ietf-teas-rfc3272bis]) provides performance
 optimization of operational IP networks while utilizing network
 resources economically and reliably.  The key elements needed to
 effect TE are policy, path steering and resource management.

Suggested:
 The key elements needed to effect Traffic Engineering are
 policy, path steering, and resource management. -->

        <t>Policy decisions are made within the BIER-TE control plane, i.e., within
BIER-TE Controllers.  Controllers use policy when composing BitStrings 
and BFR BIFT state. The mapping of user/IP traffic to specific
BitStrings/BIER-TE flows is made based on policy. The specific details of
BIER-TE policies and how a controller uses them are out of scope for this
document.</t>
        <t>Path steering is supported via the definition of a BitString.  BitStrings
used in BIER-TE are composed based on policy and resource management
considerations.  For example, when composing BIER-TE BitStrings, a Controller must take
into account the resources available at each BFR and for each BP
when it is providing congestion-loss-free services such as 
Rate-Controlled Service Disciplines <xref target="RCSD94" format="default"/>.  Resource availability 
could be provided for example via routing protocol information, but
may also be obtained via a BIER-TE control protocol such as NETCONF or
any other protocol commonly used by a Controller to understand the resources
of the network it operates on.  The
resource usage of the BIER-TE traffic admitted by the BIER-TE controller
can be solely tracked on the BIER-TE Controller based on local accounting
as long as no forward_routed() adjacencies are used (see <xref target="forward-connected" format="default"/> for the definition
of forward_routed() adjacencies).  When forward_routed() adjacencies are used,
the paths selected by the underlying routing protocol need to be tracked as well.</t>
        <t>Resource management has implications on the forwarding plane beyond
the BIER-TE defined steering of packets.  This includes allocation of
buffers to guarantee the worst-case requirements of admitted RCSD traffic
and potentially policing and/or rate-shaping mechanisms, typically done
via various forms of queuing.  This level of resource control,
while optional, is important in networks that wish to
support congestion management policies to control or regulate the offered
traffic to deliver different levels of service and alleviate congestion
problems, or those networks that wish to control latencies experienced by
specific traffic flows.</t>

<!-- [rfced] Section 3.5:  Does "This includes" mean "These
implications include" or something else?  Please clarify.

Original (the previous sentence is included for context):
 Resource management has implications on the forwarding plane beyond
 the BIER-TE defined steering of packets.  This includes allocation of
 buffers to guarantee the worst case requirements of admitted RCSD
 traffic and potentially policing and/or rate-shaping mechanisms,
 typically done via various forms of queuing. -->

      </section>

  </section>

  <section anchor="forwarding" numbered="true" toc="default">
      <name>BIER-TE Forwarding</name>
      <section anchor="btft" numbered="true" toc="default">
        <name>The BIER-TE Bit Index Forwarding Table (BIFT)</name>
        <t>The BIER-TE BIFT is the equivalent of the BIER BIFT for (non-TE) BIER. It
exists on every BFR running BIER-TE. For every BIER subdomain (SD) in use for BIER-TE,
it is a table, as shown in <xref target="adjacencies" format="default"/>. That example
BIFT assumes a BSL of 8 bit positions (BPs) in the packets BitString.
As in <xref target="RFC8279" format="default"/>, this BSL is purely used for the example and not a BIER/BIER-TE
supported BSL (minimum BSL is 64).</t>
        <t>A BIER-TE BIFT compares to a BIER BIFT as shown in <xref target="RFC8279" format="default"/> as
follows.</t>
        <t>In both BIER and BIER-TE, BIFT rows/entries are indexed in their respective BIER pseudocode
(<xref target="RFC8279" sectionFormat="comma" section="6.5"/>) and BIER-TE pseudocode (<xref target="pseudocode" format="default"/>)
by the BIFT-index derived from the packets SI, BSL and the one bit position of the
packets BitString (BP) addressing the BIFT row: BIFT-index = SI * BSL + BP - 1.
BP within a BitString are numbered from 1 to BSL, hence the - 1 offset when converting
to a BIFT-index. This document also uses the notion SI:BP to indicate BIFT rows,
<xref target="RFC8279" format="default"/> uses the equivalent notion SI:BitString, where the BitString is
filled with only the BP for the BIFT row.</t>
        <t>In BIER, each BIFT-index addresses one BFER by its BFR-id = BIFT-index + 1
and is populated on each BFR with the next-hop "BFR Neighbor" (BFR-NBR) towards that BFER.</t>
        <t>In BIER-TE, each BIFT-index, and therefore SI:BP, indicates one or more adjacencies
between BFRs in the topology and is only populated with those adjacencies  forwarding
entries on the BFR that is the upstream for these adjacencies. The BIFT entry are
empty on all other BFRs.</t>
        <t>In BIER, each BIFT row also requires a "Forwarding Bit Mask" (F-BM) entry 
for BIER forwarding rules. In BIER-TE forwarding, F-BM is not required, but can be used
when implementing BIER-TE on forwarding hardware derived from BIER forwarding, that
must use F-BM. This is discussed in the first BIER-TE forwarding pseudocode in
 <xref target="pseudocode" format="default"/>.</t>

<table anchor="adjacencies">
  <name>BIER-TE Bit Index Forwarding Table (BIFT) with Different Adjacencies</name>
  <thead>
    <tr>
      <th>BIFT-index (SI:BP)</th>
      <th>(F-BM)</th>
      <th>Adjacencies: &lt;empty&gt; or one or more per entry</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td colspan="3" align="center">BIFT indices for Packets with SI=0</td>
    </tr>
    <tr>
      <td>0 (0:1)</td>
      <td>...</td>
      <td>forward_connected(interface,neighbor{,DNC})</td>
    </tr>
    <tr>
      <td rowspan="2">1 (0:2)</td>
      <td>...</td>
      <td>forward_connected(interface,neighbor{,DNC})</td>
    </tr>
    <tr>
      <td>...</td>
      <td>forward_connected(interface,neighbor{,DNC})</td>
    </tr>
    <tr>
      <td>...</td>
      <td>...</td>
      <td>...</td>
    </tr>
    <tr>
      <td>4 (0:5)</td>
      <td>...</td>
      <td>local_decap({VRF})</td>
    </tr>
    <tr>
      <td>5 (0:6)</td>
      <td>...</td>
      <td>forward_routed({VRF,}l3-neighbor)</td>
    </tr>
    <tr>
      <td>6 (0:7)</td>
      <td>...</td>
      <td>&lt;empty&gt;</td>
    </tr>
    <tr>
      <td>7 (0:8)</td>
      <td>...</td>
      <td>ECMP((adjacency1,...adjacencyN){,seed})</td>
    </tr>
    <tr>
      <td colspan="3" align="center">BIFT indices for BitString/Packet with SI=1</td>
    </tr>
    <tr>
     <td>9 (1:1)<br/>...</td>
     <td><br/>...</td>
     <td>...<br/>...</td>
    </tr>
  </tbody>
</table>

<!-- Reviewer:  Colspans in Table 1 are messed up; they have built-in
carriage returns.  Since I struggled with this table for a long time,
I finally had to give up.  Here is the slightly edited original
Figure 4, in case you want to revert to that.  You'll have to restore
the brackets around "figure", "artwork", and "empty" within the figure,
or do a copy & yank from the original.  If you do the latter, please
(1) update the figure title and (2) change "FBM" to "F-BM".

figure anchor="adjacencies"
 title="BIER-TE Bit Index Forwarding Table (BIFT) with Different Adjacencies"
artwork align="left"![CDATA[
   - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -  
  | BIFT-index |      | Adjacencies:                                |
  | (SI:BP)    |(F-BM)| empty or one or more per entry            |
  ==================================================================
  |       BIFT indices for Packets with SI=0                        |
   - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  | 0 (0:1)    | ...  | forward_connected(interface,neighbor{,DNC}) |
   - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  | 1 (0:2)    | ...  | forward_connected(interface,neighbor{,DNC}) |
  |            | ...  | forward_connected(interface,neighbor{,DNC}) |
   - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  |  ...       | ...  | ...                                         |
   - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  | 4 (0:5)    | ...  | local_decap({VRF})                          |
   - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  | 5 (0:6)    | ...  | forward_routed({VRF,}l3-neighbor)           |
   - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  | 6 (0:7)    | ...  | empty                                     |
   - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  | 7 (0:8)    | ...  | ECMP((adjacency1,...adjacencyN){,seed})     |
   - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -  
  |       BIFT indices for BitString/Packet with SI=1               |
   - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  | 9 (1:1)    |      | ...                                         |
  |  ...       |...   | ...                                         |
   - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
               BIER-TE Bit Index Forwarding Table (BIFT)

]]/artwork/figure -->

<!-- [rfced] As part of our xml2rfc v3 formatting process, we
converted the original Figure 4 to a table.  Please note that we also
incorporated the "BIER-TE Bit Index Forwarding Table (BIFT)" text
that appeared at the bottom of Figure 4 into the table's title, as it
appears to say the same thing as the title (but provides the
expansion for "BIFT").  Please let us know if this is incorrect.

Original:
 Figure 4: BIER-TE BIFT with different adjacencies

Currently:
 Table 1: BIER-TE Bit Index Forwarding Table (BIFT) with
                  Different Adjacencies -->

        <t>The BIFT is configured for the BIER-TE data plane of a BFR by the BIER-TE
Controller through an appropriate protocol and data model. The BIFT is then 
used to forward packets, according to the rules
specified in the BIER-TE Forwarding Procedures.</t>
        <t>Note that a BIFT index (SI:BP) may be populated in the BIFT of more
than one BFR to save BPs. See <xref target="rings" format="default"/> for an example of how a BIER-TE controller
could assign BPs to (logical) adjacencies shared across multiple BFRs,
<xref target="leaf-bfer" format="default"/> for an example of assigning the same BP to different
adjacencies, and <xref target="reuse" format="default"/> for general guidelines regarding the reuse of BPs across different adjacencies.</t>
        <t>{VRF} indicates the Virtual Routing and Forwarding context into which
the BIER payload is to be delivered. This is optional and depends
on the multicast flow overlay.</t>
      </section>

    <section anchor="atypes" numbered="true" toc="default">
        <name>Adjacency Types</name>
        <section anchor="forward-connected" numbered="true" toc="default">
          <name>Forward Connected</name>
          <t>A "forward_connected()" adjacency is towards a directly connected
BFR neighbor using an interface address of that BFR on the connecting
interface. A forward_connected() adjacency does not route packets;
only L2 forwards them to the neighbor.</t>
          <t>Packets sent to an adjacency with "DoNotClear" (DNC) set in the
BIFT <bcp14>MUST NOT</bcp14> have the bit position for that adjacency cleared when the
BFR creates a copy for it. The bit position will still be cleared for
copies of a packet made towards other adjacencies. This can be
used for example in ring topologies as explained in <xref target="rings" format="default"/>.</t>
          <t>For protection against loops from misconfiguration (see <xref target="loops" format="default"/>),
DNC is only permissible for forward_connected() adjacencies. No need or benefit
of DNC for other types of adjacencies was identified and their risk was not analyzed.</t>
        </section>

      <section anchor="forward-routed" numbered="true" toc="default">
          <name>Forward Routed</name>
          <t>A "forward_routed()" adjacency is an adjacency towards a BFR that
uses a (tunneling) encapsulation that will cause a packet to be
forwarded by the routing underlay toward the adjacent BFR.  This can
leverage any feasible encapsulation, such as MPLS or tunneling over IP/IPv6,
as long as the BIER-TE packet can be identified as a payload. This identification
can either rely on the BIER/BIER-TE co-existence mechanisms described in
<xref target="encapsulation" format="default"/>, or by explicit support for a BIER-TE payload type
in the tunneling encapsulation.</t>

<!-- [rfced] Section 4.2.2:  We had trouble with the usage of
"either" and determining what "or by" refers to in this sentence.
If the suggested text is not correct, please clarify.

Original:
 This identification can either rely on the BIER/BIER-TE co-
 existence mechanisms described in Section 4.3, or by explicit support
 for a BIER-TE payload type in the tunneling encapsulation.

Suggested (assuming that this identification relies on either
  the mechanisms or explicit support):
 This identification can rely on either the BIER/BIER-TE co-
 existence mechanisms described in Section 4.3 or explicit support
 for a BIER-TE payload type in the tunneling encapsulation. -->

          <t>forward_routed() adjacencies are necessary to pass BIER-TE traffic across
routers that are not BIER-TE capable or to minimize the number of required BPs by
tunneling over (BIER-TE capable) routers on which neither replication nor
path steering is desired, or simply to leverage path redundancy and FRR of the
routing underlay towards the next BFR. They may also be useful to a 
multi-subnet adjacent BFR to leverage the routing underlay ECMP 
independently of BIER-TE ECMP (<xref target="forward-ecmp" format="default"/>).</t>
        </section>

      <section anchor="forward-ecmp" numbered="true" toc="default">
          <name>ECMP</name>
          <t>(non-TE) BIER ECMP is tied to the BIER BIFT processing semantic and is therefore
not directly usable with BIER-TE.</t>
          <t>A BIER-TE "Equal-Cost Multipath" (ECMP()) adjacency as shown in <xref target="adjacencies" format="default"/>
for BIFT-index 7 has a list of two or more non-ECMP adjacencies as parameters and an optional
seed parameter. When a BIER-TE packet is copied
onto such an ECMP() adjacency, an implementation-specific so-called hash function
will select one out of the list's adjacencies to which the packet is forwarded.
If the packet's encapsulation contains an entropy field, the entropy field <bcp14>SHOULD</bcp14>
be respected; two packets with the same value of the entropy field <bcp14>SHOULD</bcp14> be sent on
the same adjacency.  The seed parameter permits the design of
hash functions that are easy to implement at high speed without running into
polarization issues across multiple consecutive ECMP hops. See <xref target="ecmp" format="default"/>
for more explanations.</t>
        </section>

      <section anchor="forward-local" numbered="true" toc="default">
          <name>Local Decap(sulation)</name>
          <t>A "local_decap()" adjacency passes a copy of the payload of
the BIER-TE packet to the protocol ("NextProto") within the BFR (IPv4/IPv6, Ethernet,...) responsible for
that payload according to the packet header fields.
A local_decap() adjacency turns the BFR into a BFER for matching
packets. Local_decap() adjacencies require the BFER to support
routing or switching for NextProto to determine how to further
process the packets.</t>
        </section>

    </section>

    <section anchor="encapsulation" numbered="true" toc="default">
        <name>Encapsulation / Co-existence with BIER</name>
        <t>Specifications for BIER-TE encapsulation are outside the scope of this document.
This section gives explanations and guidelines.</t>
        <t>Like <xref target="RFC8279" format="default"/>, handling of "Maximum Transmission Unit" (MTU)
limitations is outside the scope of this document and instead part of the
BIER-TE packet encapsulation and/or flow overlay. See for example <xref target="RFC8296" sectionFormat="comma" section="3"/>.
It applies equally to BIER-TE as it does to BIER.</t>
        <t>Because a BFR needs to interpret the BitString of a BIER-TE packet differently
from a (non-TE) BIER packet, it is necessary to distinguish BIER packets from BIER-TE packets.
In the BIER encapsulation <xref target="RFC8296" format="default"/>, 
the BIFT-id field of the packet indicates the BIFT of the packet. BIER and BIER-TE can
therefore be run simultaneously, when the BIFT-id address space is shared across
a BIER BIFT and BIER-TE BIFT. Partitioning the BIFT-id address space is subject
to BIER-TE / BIER control plane procedures.</t>
        <t>When <xref target="RFC8296" format="default"/> is used for BIER with MPLS, BIFT-id address ranges
can be dynamically allocated from MPLS label space only for the set of actually
used SD:BSL BIFT.  This also permits the allocation of non-overlapping label ranges for BIFT-ids
that are to be used with BIER-TE BIFTs.</t>
        <t>With MPLS, it is also possible to reuse the
same SD space for both BIER-TE and BIER, so that the same SD has both a 
BIER BIFT with a corresponding range of BIFT-ids and disjoint BIER-TE BIFTs with a non-overlapping range of BIFT-ids.</t>
        <t>When a fixed mapping from BSL, SD, and SI to a BIFT-id is used, which does
not explicitly partition the BIFT-id space between BIER and BIER-TE -- for example,
as proposed for non-MPLS forwarding with BIER encapsulation <xref target="RFC8296" format="default"/> 
in <xref target="NON-MPLS-BIER-ENCODING" sectionFormat="comma" section="5"/> -- it is necessary to allocate disjoint SDs to BIER
and BIER-TE BIFTs so that both can be addressed by the BIFT-ids. The encoding
proposed in <xref target="NON-MPLS-BIER-ENCODING" sectionFormat="of" section="6"/> does not statically encode BSL
or SD into the BIFT-id, but the encoding permits a mapping and hence could provide 
the same freedom as when MPLS is being used (same or different SD for BIER/BIER-TE).</t>

<!-- [rfced] Section 4.3:  This sentence is difficult to follow.
Does "which" mean that the fixed mapping never explicitly partitions
the BIFT-id space, or can the fixed mapping sometimes explicitly
partition the the BIFT-id space, in which case "which" should be
"that"?  If the suggested text is not correct, please clarify.

Original:
 When a fixed mapping from BSL, SD and SI to BIFT-id is used which
 does not explicitly partition the BIFT-id space between BIER and
 BIER-TE, such as proposed for non-MPLS forwarding with [RFC8296]
 encapsulation in [I-D.ietf-bier-non-mpls-bift-encoding] revision 04,
 section 5, then it is necessary to allocate disjoint SDs to BIER and
 BIER-TE BIFTs so that both can be addressed by the BIFT-ids.

Suggested (assuming that the fixed mapping never explicitly
  partitions the BIFT-id space):
 When a fixed mapping from BSL, SD, and SI to a BIFT-id is used,
 which does not explicitly partition the BIFT-id space between BIER
 and BIER-TE - for example, as proposed for non-MPLS forwarding with
 BIER encapsulation [RFC8296] in [NON-MPLS-BIER-ENCODING], Section 5
 - it is necessary to allocate disjoint SDs to BIER and BIER-TE BIFTs
 so that both can be addressed by the BIFT-ids. -->

        <t>forward_routed() requires an encapsulation that permits directing unicast encapsulated BIER-TE packets to a specific interface address on a target BFR. With MPLS encapsulation, this can
simply be done via a label stack with that addresses label as the top label -- followed
by the label assigned to the (BSL,SD,SI) BitString.
With non-MPLS encapsulation, some form of IP encapsulation would be required (for example IP/GRE).
</t>
        <t>The encapsulation used for forward_routed() adjacencies can equally support
existing advanced adjacency information such as "loose source routes" via e.g. MPLS
label stacks or appropriate header extensions (e.g., for IPv6).</t>
      </section>

  <section anchor="pseudocode" numbered="true" toc="default">
        <name>BIER-TE Forwarding Pseudocode</name>
        <t>
The following pseudocode (<xref target="simple-pseudocode-picture" format="default"/>) for BIER-TE forwarding is based
on the (non-TE) BIER forwarding pseudocode of <xref target="RFC8279" sectionFormat="comma" section="6.5"/> with one modification.</t>

<!-- [rfced] Section 4.4:  Because Figures 4 and 5 are referred to as
"pseudocode", we changed "<artwork>" in the XML file to <sourcecode>
with type="pseudocode".  Please let us know any concerns. -->

        <figure anchor="simple-pseudocode-picture">
          <name>BIER-TE Forwarding Pseudocode for Required Functions, Based on BIER Pseudocode</name>
<sourcecode name="" type="pseudocode"><![CDATA[
   void ForwardBitMaskPacket_withTE (Packet)
   {
       SI=GetPacketSI(Packet);
       Offset=SI*BitStringLength;
       for (Index = GetFirstBitPosition(Packet->BitString); Index ;
            Index = GetNextBitPosition(Packet->BitString, Index)) {
           F-BM = BIFT[Index+Offset]->F-BM;
           if (!F-BM) continue;                            [3]
           BFR-NBR = BIFT[Index+Offset]->BFR-NBR;
           PacketCopy = Copy(Packet);
           PacketCopy->BitString &= F-BM;                  [2]
           PacketSend(PacketCopy, BFR-NBR);
           // The following must not be done for BIER-TE:
           // Packet->BitString &= ~F-BM;                  [1]
       }
   }
]]></sourcecode>
        </figure>
        <t>In step [2], the F-BM is used to clear bit(s) in PacketCopy.
This step exists in both BIER and BIER-TE, but the F-BMs need to be
populated differently for BIER-TE than for BIER for the desired clearing.</t>
        <t>In BIER, multiple bits of a BitString can have the same BFR-NBR.
When a received packets BitString has more than one of those bits set,
the BIER replication logic has to avoid that more than one PacketCopy is 
sent to that BFR-NBR ([1]). Likewise, the PacketCopy sent to a BFR-NBR
must clear all bits in its BitString that are not routed across a BFR-NBR.
This protects against BIER replication on any possible further
BFR to create duplicates ([2]).</t>
        <t>To solve both [1] and [2] for BIER, the F-BM of each bit index needs to have all
bits set that this BFR wants to route across a BFR-NBR. [2] clears
all other bits in PacketCopy-&gt;BitString, and [1] clears those bits from
Packet-&gt;BitString after the first PacketCopy.</t>
        <t>In BIER-TE, a BFR-NBR in this pseudocode is an adjacency, forward_connected(), forward_routed()
or local_decap(). There is no need for [2] to suppress duplicates in the way
BIER does because in general, different BP would never have the same
adjacency. If a BIER-TE controller actually finds some optimization in
which this would be desirable, then the controller is also responsible to
ensure that only one of those bits is set in any Packet-&gt;BitString, unless
 the controller explicitly wants for duplicates to be created.</t>
        <t>The following points describe how the forwarding bit mask (F-BM) for each BP is configured in the BIFT and how this impacts the BitString of the packet being processed with that BIFT:
</t>
        <ol spacing="normal" type="1"><li>The F-BMs of all BIFT BPs without an adjacency have all their bits clear.
  This will cause [3] to skip further processing of such a BP.</li>
          <li>All BIFT BPs with an adjacency (with DNC flag clear) have an F-BM
  that has only those BPs set for which this BFR does not have an adjacency.
  This causes [2] to clear all bits from PacketCopy-&gt;BitString for which this
  BFR does have an adjacency.</li>
          <li>[1] is not performed for BIER-TE. All bit clearing required by BIER-TE
  is performed by [2].</li>
        </ol>
        <t>This Forwarding Pseudocode can support the required BIER-TE forwarding
functions (see <xref target="requirements" format="default"/>), forward_connected(),
forward_routed() and local_decap(), but not the recommended functions DNC flag
and multiple adjacencies per bit nor the optional function, ECMP() adjacencies.
The DNC flag cannot be supported when using only [1] to mask bits.</t>

<!-- [rfced] Section 4.4:  This sentence does not parse.  If the
suggested text is not correct, please clarify.

Original:
 This Forwarding Pseudocode can support the required BIER-TE
 forwarding functions (see Section 4.5), forward_connected(),
 forward_routed() and local_decap(), but not the recommended functions
 DNC flag and multiple adjacencies per bit nor the optional function,
 ECMP() adjacencies.

Suggested:
 This Forwarding Pseudocode can support the required BIER-TE
 forwarding functions (see Section 4.5) - forward_connected(),
 forward_routed(), and local_decap() - but cannot support the
 recommended functions (DNC flag and multiple adjacencies per bit)
 or the optional function (i.e., ECMP() adjacencies). -->

        <t>The modified and expanded Forwarding Pseudocode in <xref target="pseudocode-picture" format="default"/> specifies how to
support all BIER-TE forwarding functions (required, recommended and optional):
</t>
        <ul spacing="normal">
          <li>
            <t>This pseudocode eliminates per-bit F-BM, therefore reducing the size of BIFT state by BSL^2*SI and eliminating the need for per-packet-copy BitString masking operations except for adjacencies with the DNC flag set:
            </t>

<!-- [rfced] Section 4.4:  xml2rfc v3 now permits subscripting and
superscripting.  Would you like to use superscripting in "BSL^2*SI"?
If yes, should "2*SI" be superscripted, or only the "2"?

Original:
 *  This pseudocode eliminates per-bit F-BM, therefore reducing the
    size of BIFT state by BSL^2*SI and eliminating the need for per-
    packet-copy BitString masking operations except for adjacencies
    with the DNC flag set: -->

            <ul spacing="normal">
              <li>AdjacentBits[SI] are bit positions with a non-empty list of adjacencies in this BFR BIFT. This can be computed whenever the BIER-TE Controller updates (adds/removes) adjacencies in the BIFT.</li>
              <li>The BFR needs to create packet copies for these adjacent bits when they are set in the packets BitString. This set of bits is calculated in PktAdjacentBits.</li>
              <li>All bit positions to which the BFR creates copies have to be cleared in packet copies to avoid loops. This is done by masking the BitString of the packet with ~AdjacentBits[SI]. When an adjacency has DNC set, this bit position is set again only for the packet copy towards that bit position.</li>
            </ul>
          </li>
          <li>BIFT entries may contain more than one adjacency in support of specific configurations such as a hub and multiple spokes (<xref target="hubnspoke" format="default"/>). The code therefore includes a loop over these adjacencies.</li>
          <li>The ECMP() adjacency is also shown in the figure. Its parameters are a seed and a ListOfAdjacencies from which one is picked.</li>
          <li>The forward_connected(), forward_routed(), local_decap() adjacencies are shown with their parameters.</li>
        </ul>
        <figure anchor="pseudocode-picture">
          <name>Complete BIER-TE Forwarding Pseudocode for Required, Recommended, and Optional Functions</name>
<sourcecode name="" type="pseudocode"><![CDATA[
 void ForwardBitMaskPacket_withTE (Packet)
 {
     SI = GetPacketSI(Packet);
     Offset = SI * BitStringLength;
     // Determine adjacent bits in the packets BitString
     PktAdjacentBits = Packet->BitString & AdjacentBits[SI];

     // Clear adjacent bits in Packet header to avoid loops
     Packet->BitString &= ~AdjacentBits[SI];

     // Loop over PktAdjacentBits to create packet copies 
     for (Index = GetFirstBitPosition(PktAdjacentBits); Index ;
          Index = GetNextBitPosition(PktAdjacentBits, Index)) {
         for adjacency in BIFT[Index+Offset]->Adjacencies { 
             if(adjacency.type == ECMP(ListOfAdjacencies,seed) ) {
                 I = ECMP_hash(sizeof(ListOfAdjacencies),
                               Packet->Entropy,seed);
                 adjacency = ListOfAdjacencies[I];
             }
             PacketCopy = Copy(Packet);
             switch(adjacency.type) {
                 case forward_connected(interface,neighbor,DNC):
                     if(DNC)
                         PacketCopy->BitString |= 1<<(Index-1);
                     SendToL2Unicast(PacketCopy,interface,neighbor);

                 case forward_routed({VRF,}l3-neighbor):
                     SendToL3(PacketCopy,{VRF,}l3-neighbor);

                 case local_decap({VRF},neighbor):
                     DecapBierHeader(PacketCopy);
                     PassTo(PacketCopy,{VRF,}Packet->NextProto);
             }
         }
     }
 }
]]></sourcecode>
        </figure>
      </section>

<section anchor="requirements" numbered="true" toc="default">
        <name>BFR Requirements for BIER-TE Forwarding</name>
        <t>BFRs that support BIER-TE and BIER <bcp14>MUST</bcp14> support configuration that enables
BIER-TE instead of (non-TE) BIER forwarding rules for all BIFTs of one or more
BIER subdomains. Every BP in a BIER-TE BIFT <bcp14>MUST</bcp14> support to have
zero or one adjacency. BIER-TE forwarding <bcp14>MUST</bcp14> support the adjacency types forward_connected() with the DNC flag not set, forward_routed() and local_decap().
As explained in <xref target="pseudocode" format="default"/>, these required BIER-TE forwarding functions
can be implemented via the same Forwarding Pseudocode as BIER forwarding except for
one modification (skipping one masking with F-BM).</t>
        <t>BIER-TE forwarding <bcp14>SHOULD</bcp14> support forward_connected() adjacencies with a set DNC flag,
as this is highly useful to save bits in rings (see <xref target="rings" format="default"/>).</t>
        <t>BIER-TE forwarding <bcp14>SHOULD</bcp14> support more than one adjacency on a bit.
This allows bits to be saved in hub-and-spoke scenarios (see <xref target="hubnspoke" format="default"/>).</t>
        <t>BIER-TE forwarding <bcp14>MAY</bcp14> support ECMP() adjacencies to save bits in ECMP
scenarios; see <xref target="ecmp" format="default"/> for an example.
This is an optional procedure, because for ECMP deployments using BIER-TE
one can also leverage ECMP of the routing underlay via forwarded_routed
adjacencies and/or might prefer to have more explicit control of the path
chosen via explicit BP/adjacencies for each ECMP path alternative.</t>

<!-- [rfced] Section 4.5:  Should "forwarded_routed" be
"forward_routed"?  We do not see "forwarded" followed by an
underscore anywhere else in this document.

Original:
 This is an
 optional requirement, because for ECMP deployments using BIER-TE one
 can also leverage ECMP of the routing underlay via forwarded_routed
 adjacencies and/or might prefer to have more explicit control of the
 path chosen via explicit BP/adjacencies for each ECMP path
 alternative. -->

      </section>
    </section>

<section anchor="controller-ops" numbered="true" toc="default">
      <name>BIER-TE Controller Operational Considerations</name>
      <section anchor="bitpositions" numbered="true" toc="default">
        <name>Bit Position Assignments</name>
        <t>This section describes how the BIER-TE Controller can use the
different BIER-TE adjacency types to define the bit positions of a BIER-TE domain.</t>
        <t>Because the size of the BitString limits the size of the
BIER-TE domain, many of the options described exist to support larger
topologies with fewer bit positions.</t>
        <section anchor="p2p-links" numbered="true" toc="default">
          <name>P2P Links</name>
          <t>On a P2P link that connects two BFRs, the same bit position can be used on
both BFRs for the adjacency to the neighboring BFR. A P2P link therefore requires 
only one bit position.</t>
        </section>

    <section anchor="bfer" numbered="true" toc="default">
          <name>BFERs</name>
          <t>Every non-leaf BFER is given a unique bit position with a local_decap() adjacency.</t>
        </section>

    <section anchor="leaf-bfer" numbered="true" toc="default">
          <name>Leaf BFERs</name>
          <t>A leaf BFER is one where incoming BIER-TE packets never need to
be forwarded to another BFR but are only sent to the BFER
to exit the BIER-TE domain. For example, in networks where Provider Edge (PE) router
are spokes connected to Provider (P) routers, those PEs are Leaf BFERs unless
there is a U-turn between two PEs.</t>
          <t>Consider how redundant disjoint
traffic can reach BFER1/BFER2 as shown in <xref target="leaf-bfer-picture" format="default"/>: when BFER1/BFER2
are non-leaf BFERs as shown on the right-hand side, one traffic
copy would be forwarded to BFER1 from BFR1, but the other one
could only reach BFER1 via BFER2, which makes BFER2 a non-leaf
BFER. Likewise, BFER1 is a non-leaf BFER when forwarding traffic to BFER2.
Note that the BFERs on the left-hand side of the figure are only guaranteed to
be leaf-BFERs by fitting routing configuration that prohibits transit
traffic to pass through the BFERs, which is commonly applied in these
topologies.</t>
          <figure anchor="leaf-bfer-picture">
            <name>Leaf vs. Non-Leaf BFER Example</name>
            <artwork align="left" name="" type="" alt=""><![CDATA[
        BFR1(P) BFR2(P)             BFR1(P)  BFR2(P)
          |  \ /  |                    |       |
          |   X   |                    |       |
          |  / \  |                    |       |
     BFER1(PE)  BFER2(PE)        BFER1(PE)----BFER2(PE)
                                        
                                           ^ U-turn link

         Leaf BFER /               Non-Leaf BFER /
          PE-router                  PE-router
]]></artwork>
          </figure>
          <t>In most situations, leaf-BFERs that are to be addressed via the same BitString can share a single bit position for their local_decap() adjacency in that BitString and therefore save bit positions. On a non-leaf BFER, a received BIER-TE packet may only need to transit the BFER or it may need to also be decapsulated. Whether or not to decapsulate the packet therefore needs to be indicated by a unique bit position populated only on the BIFT of this BFER with a local_decap() adjacency. On a leaf-BFER, packets never need to pass through; any packet received is therefore usually intended to be decapsulated. This can be expressed by a single, shared bit position that is populated with a local_decap() adjacency on all leaf-BFERs addressed by the BitString.</t>
          <t>The possible exception from this leaf-BFER bit position optimization can be cases where the bit position on the prior BIER-TE BFR (which created the packet copy for the leaf-BFER in question) is populated with multiple adjacencies as an optimization -- for example, as described in Sections&nbsp;<xref target="lans" format="counter"/> and <xref target="hubnspoke" format="counter"/>. With either of these two optimizations, the sender of the packet could only control explicitly whether the packet was to be decapsulated on the leaf-BFER in question, if the leaf-BFER has a unique bit position for its local_decap() adjacency.</t>
          <t>However, if the bit position is shared across a leaf-BFER and packets are therefore decapsulated potentially unnecessarily, this may still be appropriate if the decapsulated payload of the BIER-TE packet indicates whether or not the packets need to be further processed/received. This is typically true, for example, if the payload is IP multicast because IP multicast on a BFER would know the membership state of the IP multicast payload and be able to discard it if the packets were delivered unnecessarily by the BIER-TE layer. If the payload has no such membership indication and the BFIR wants to have explicit control about which BFERs are to receive and decapsulate a packet, then these two optimizations cannot be used together with shared bit positions optimization for a leaf-BFER.</t>
        </section>

    <section anchor="lans" numbered="true" toc="default">
          <name>LANs</name>
          <t>In a LAN, the adjacency to each neighboring BFR
is given a unique bit position. The adjacency of this bit position
is a forward_connected() adjacency towards the BFR and this bit position
is populated into the BIFT of all the other BFRs on that LAN.</t>
          <figure anchor="lan-picture">
            <name>LAN Example</name>
            <artwork align="left" name="" type="" alt=""><![CDATA[
                                 BFR1
                                  |p1
                           LAN1-+-+---+-----+
                               p3|  p4|   p2|
                               BFR3 BFR4  BFR7
]]></artwork>
          </figure>
          <t>If bandwidth on the LAN is not an issue and most BIER-TE traffic
should be copied to all neighbors on a LAN, then bit positions
can be saved by assigning just a single bit position to the LAN
and populating the bit position of the BIFTs of each BFR on
the LAN with a list of forward_connected() adjacencies to all other
neighbors on the LAN.</t>
          <t>This optimization does not work in the case of BFRs redundantly
connected to more than one LAN with this optimization because
these BFRs would receive duplicates and forward those duplicates into
the opposite LANs. Adjacencies of such BFRs into their LAN still
need a separate bit position.</t>
        </section>

    <section anchor="hubnspoke" numbered="true" toc="default">
          <name>Hub and Spoke</name>
          <t>In a setup with a hub and multiple spokes connected via separate
p2p links to the hub, all p2p adjacencies from the hub to the spoke's links can share the same bit position.
The bit position on the hub's BIFT is set up with a list of
forward_connected() adjacencies, one for each spoke.</t>
          <t>This option is similar to the bit position optimization in
LANs: redundantly connected spokes need their own bit positions,
unless they are themselves Leaf-BFER.</t>
          <t>This type of optimized BP could be used for example when all
traffic is "broadcast" traffic (very dense receiver set)
such as live-TV or many-to-many telemetry, including situation-awareness (SA).
This BP optimization can then be used to explicitly steer different traffic
flows across different ECMP paths in data-center or broadband-aggregation
networks with minimal use of BPs.</t>
        </section>

    <section anchor="rings" numbered="true" toc="default">
          <name>Rings</name>
          <t>In L3 rings, instead of assigning a single bit position for
every p2p link in the ring, it is possible to save bit positions by
setting the "DoNotClear" (DNC) flag on forward_connected() adjacencies.</t>
          <t>For the rings shown in <xref target="ring-picture" format="default"/>, a single bit position
will suffice to forward traffic entering the ring at BFRa or BFRb
all the way up to BFR1:</t>
          <t>On BFRa, BFRb, BFR30,... BFR3, the bit position is populated with
a forward_connected() adjacency pointing to the clockwise neighbor
on the ring and with DNC set. On BFR2, the adjacency also points
to the clockwise neighbor BFR1, but without DNC set.</t>
          <t>Handling DNC this way ensures that copies forwarded from any BFR in
the ring to a BFR outside the ring will not have the ring bit position set,
therefore minimizing the chance to create loops.</t>
          <figure anchor="ring-picture">
            <name>Ring Example</name>
            <artwork align="left" name="" type="" alt=""><![CDATA[
               v        v
               |        |
        L1     |   L2   |   L3
    /-------- BFRa ---- BFRb --------------------\
    |                                            |
    \- BFR1 - BFR2 - BFR3 - ... - BFR29 - BFR30 -/
        |      |    L4               |      |
     p33|                         p15|
        BFRd                       BFRc
]]></artwork>
          </figure>
          <t>Note that this example only permits packets intended to make it all
the way around the ring to enter it at
BFRa and BFRb.  Note also that packets will always travel clockwise. If
packets should be allowed to enter the ring at any ring BFR, then one
would have to use two ring bit positions, one for each direction:
clockwise and counterclockwise.</t>
          <t>Both would be set up to stop rotating on the same link, e.g., L1. When the
ring BFIR creates the clockwise copy, it will clear the counterclockwise
bit position because the DNC bit only applies to the bit for which the
replication is done (likewise for the clockwise
bit position for the counterclockwise copy). As a result, the ring
BFIR will send a copy in both directions, serving BFRs on either side of the
ring up to L1.</t>
        </section>

    <section anchor="ecmp" numbered="true" toc="default">
          <name>Equal-Cost Multipath (ECMP)</name>
<!-- [rfced] Section 5.1.7:  Regarding this question from you:
[RFC-Editor: A reviewer (Lars Eggert) noted that the infinite "to use" in the following sentence is not correct. The same was also noted for several other similar instances. The following URL seems to indicate though that this is a per-case decision, which seems undefined: https://writingcenter.gmu.edu/guides/choosing-between-infinitive-and-gerund-to-do-or-doing. What exactly should be done about this ?].

We reviewed all instances of "allow" (approx. 23 instances) in this
document and updated the text where needed.  Please review, and let
us know if anything is incorrect. -->

          <t>An ECMP() adjacency allows the use of just one BP to deliver packets
to one of N adjacencies instead of one BP for each adjacency. 
In the common example case (<xref target="ecmp-picture" format="default"/>),
a link-bundle of three links L1,L2,L3 connects BFR1 and BFR2, and
only one BP is used instead of three BPs to deliver packets from
BFR1 to BFR2.</t>
          <figure anchor="ecmp-picture">
            <name>ECMP Example</name>
            <artwork align="left" name="" type="" alt=""><![CDATA[
             --L1-----
        BFR1 --L2----- BFR2
             --L3-----

  BIFT entry in BFR1:
  ------------------------------------------------------------------
  | Index |  Adjacencies                                           |
  ==================================================================
  | 0:6   |  ECMP({forward_connected(L1, BFR2),                    |
  |       |        forward_connected(L2, BFR2),                    |
  |       |        forward_connected(L3, BFR2)}, seed)             |
  ------------------------------------------------------------------

  BIFT entry in BFR2:
  ------------------------------------------------------------------
  | Index |  Adjacencies                                           |
  ==================================================================
  | 0:6   |  ECMP({forward_connected(L1, BFR1),                    |
  |       |        forward_connected(L2, BFR1),                    |
  |       |        forward_connected(L3, BFR1)}, seed)             |
  ------------------------------------------------------------------
]]></artwork>
          </figure>
          <t>This document does not standardize any ECMP algorithm because it
is sufficient for implementations to document their freely chosen 
ECMP algorithm.
<xref target="ecmp-algo-picture" format="default"/> shows an example ECMP algorithm
and would double as its documentation: A BIER-TE controller could
determine which adjacency is chosen based on the seed and adjacencies parameters
and the packet entropy.</t>
          <figure anchor="ecmp-algo-picture">
            <name>ECMP Algorithm Example</name>
            <artwork align="left" name="" type="" alt=""><![CDATA[
   forward(packet, ECMP(adj(0), adj(1),... adj(N-1), seed)):
      i = (packet(bier-header-entropy) XOR seed) % N
      forward packet to adj(i)
]]></artwork>
          </figure>
          <t>In the example shown in <xref target="polarization-picture"/>, all traffic from BFR1 towards BFR10 is
intended to be ECMP load split equally across the topology. This
example is not meant as a likely setup; rather, it illustrates that ECMP can
be used to share BPs not only across link bundles but also across
alternative paths across different transit BFRs, and it explains
the use of the seed parameter.</t>
          <figure anchor="polarization-picture">
            <name>Polarization Example</name>
            <artwork align="left" name="" type="" alt=""><![CDATA[
                 BFR1         (BFIR)
               /L11  \L12
              /       \
          BFR2         BFR3
         /L21 \L22    /L31 \L32
        /      \     /      \
       BFR4  BFR5   BFR6  BFR7
        \      /     \      /
         \    /       \    /
          BFR8         BFR9
              \       /
               \     /
                BFR10         (BFER)

  BIFT entry in BFR1:
  ------------------------------------------------------------------
  | 0:6   |  ECMP({forward_connected(L11, BFR2),                   |
  |       |        forward_connected(L12, BFR3)}, seed1)           |
  ------------------------------------------------------------------

  BIFT entry in BFR2:
  ------------------------------------------------------------------
  | 0:7   |  ECMP({forward_connected(L21, BFR4),                   |
  |       |        forward_connected(L22, BFR5)}, seed1)           |
  ------------------------------------------------------------------

  BIFT entry in BFR3:
  ------------------------------------------------------------------
  | 0:7   |  ECMP({forward_connected(L31, BFR6),                   |
  |       |        forward_connected(L32, BFR7)}, seed1)           |
  ------------------------------------------------------------------

  BIFT entry in BFR4, BFR5:
  ------------------------------------------------------------------
  | 0:8   |  forward_connected(Lxx, BFR8)  |xx differs on BFR4/BFR5|
  ------------------------------------------------------------------

  BIFT entry in BFR6, BFR7:
  ------------------------------------------------------------------
  | 0:8   |  forward_connected(Lxx, BFR9)  |xx differs on BFR6/BFR7|
  ------------------------------------------------------------------

  BIFT entry in BFR8, BFR9:
  ------------------------------------------------------------------
  | 0:9   |  forward_connected(Lxx, BFR10) |xx differs on BFR8/BFR9|
  ------------------------------------------------------------------
]]></artwork>
          </figure>
          <t>Note that for the following discussion of ECMP, only the BIFT ECMP
adjacencies on BFR1, BFR2, and BFR3 are relevant. The reuse of BPs across
BFRs in this example is further explained in <xref target="reuse" format="default"/>
below.</t>
          <t> With the ECMP setup shown in the topology above, traffic would not be
equally load-split. Instead, links L22 and L31 would see no traffic
at all: BFR2 will only see traffic from BFR1 for which the ECMP
hash in BFR1 selected the first adjacency in the list of 2 adjacencies
given as parameters to the ECMP. It is link L11-to-BFR2. BFR2 again performs 
ECMP with two adjacencies on that subset of traffic using the same
seed1, and will therefore again select the first of its two adjacencies:
L21-to-BFR4; therefore, L22 and BFR5 see no traffic (likewise for
L31 and BFR6).</t>
          <t>This issue in BFR2/BFR3 is called "polarization". It results from the
reuse of the same hash function across multiple consecutive hops in
topologies like these.  To resolve this issue, the ECMP() adjacency on BFR1 
can be set up with a different seed2 than the ECMP() adjacencies on BFR2/BFR3.
BFR2/BFR3 can use the same hash because packets will not sequentially
pass across both of them. Therefore, they can also use the same BP 0:7.</t>
          <t>Note that ECMP solutions outside of BIER often hide the
seed by auto-selecting it from local entropy such as unique local or
next-hop identifiers. Allowing the BIER-TE Controller to explicitly set the seed gives
the ability for it to control same/different path selection across multiple
consecutive ECMP hops.</t>
        </section>
    <section anchor="routed" numbered="true" toc="default">
          <name>Forward Routed Adjacencies</name>
          <section anchor="reducing" numbered="true" toc="default">
            <name>Reducing Bit Positions</name>
            <t>Forward_routed() adjacencies can reduce the number of bit positions
required when the path steering requirement is not hop-by-hop
explicit path selection, but loose-hop selection. Forward_routed() adjacencies
can also permit BIER-TE operation across intermediate-hop routers
that do not support BIER-TE.</t>
            <t>Assume that the requirement in <xref target="routed-picture" format="default"/> is to explicitly steer 
traffic flows that have arrived at BFR1 or BFR4 via a path
in the routing underlay "Network Area 1" to one of the following next three 
segments: (1) BFR2 via link L1, (2) BFR2 via link L2, or (3) via BFR3 and then
not caring whether the packet is forwarded via L3 or L4.</t>

            <figure anchor="routed-picture">
              <name>Forward Routed Adjacencies Example</name>
              <artwork align="left" name="" type="" alt=""><![CDATA[
                   ...............             
         ...BFR1--...           ...--L1-- BFR2...
                  ... .Routers. ...--L2--/    
         ...BFR4--...           ...--L3-- BFR3...
                  ...           ...--L4--/ |
                   ...............         |        
                                          LO
                    Network Area 1
]]></artwork>
            </figure>

            <t>To enable this, both BFR1 and BFR4 are set up with a forward_routed
adjacency bit position towards an address of BFR2 on link L1, another
forward_routed() bit position towards an address of BFR2 on link L2 and a third
forward_routed() bit position towards a node address LO of BFR3.</t>
          </section>

      <section anchor="without" numbered="true" toc="default">
            <name>Supporting Nodes without BIER-TE</name>
            <t>Forward_routed() adjacencies also enable incremental deployment of BIER-TE.
Only the nodes through which BIER-TE traffic needs to be steered --
with or without replication -- need to support BIER-TE. Where
they are not directly connected to each other, forward_routed
adjacencies are used to pass over nodes that are not BIER-TE enabled.</t>
          </section>

    </section>

      <section anchor="reuse" numbered="true" toc="default">
          <name>Reuse of Bit Positions (without DNC)</name>
          <t>BPs can be reused across multiple BFRs to minimize the number
of BPs needed. This happens when adjacencies on multiple BFRs use the DNC
flag as described above, but it can also be done for non-DNC adjacencies.
This section only discusses this non-DNC case.</t>
          <t>Because a BP is cleared when passing a BFR with an adjacency for that
BP, reusing a BP across multiple BFRs does not introduce any problems
with duplicates or loops that do not also exist when every adjacency has
a unique BP. Instead, the challenge when reusing a BP is whether it still
allows the achievement of the desired Tree Engineering goals.</t>
          <t>A BP cannot be reused across two BFRs that would need to be passed
sequentially for some path: The first BFR will clear the BP, so those
paths cannot be built. A BP can be set across BFRs that would occur (A) only
across different paths or (B) across different branches of the same tree.</t>
          <t>An example of (A) was given in <xref target="polarization-picture" format="default"/>,
where BP 0:7, BP 0:8, and BP 0:9 are each reused across multiple BFRs because
a single packet/path would never be able to reach more than one BFR 
sharing the same BP.</t>
          <t>Assume that the example was changed: BFR1 has no ECMP() adjacency for BP 0:6,
but instead BP 0:5 with forward_connected() to BFR2 and BP 0:6 with
forward_connected() to BFR3.  Packets with both BP 0:5 and BP 0:6 would
now be able to reach both BFR2 and BFR3, and the still-existing reuse
of BP 0:7 between BFR2 and BFR3 is a case of (B) where the reuse of a BP
is perfect because it does not limit the set of useful path choices:</t>

<!-- [rfced] Section 5.1.9:  We had trouble following these
sentences.  The first sentence does not parse.  In the second
sentence, to what does the colon in "useful path choices:" refer?
If the suggested text is not correct, please clarify.

Original:
 Assume the example was changed: BFR1 has no ECMP() adjacency for BP
 0:6, but instead BP 0:5 with forward_connected() to BFR2 and BP 0:6
 with forward_connected() to BFR3.  Packets with both BP 0:5 and BP
 0:6 would now be able to reach both BFR2 and BFR3 and the still
 existing re-use of BP 0:7 between BFR2 and BFR3 is a case of (B)
 where reuse of BP is perfect because it does not limit the set of
 useful path choices:

Suggested:
 Assume that the example was changed: BFR1 has no ECMP() adjacency for
 BP 0:6 but instead would use BP 0:5 with forward_connected() to
 BFR2 and BP 0:6 with forward_connected() to BFR3.  Packets with
 both BP 0:5 and BP 0:6 would now be able to reach both BFR2 and
 BFR3, and the still-existing reuse of BP 0:7 between BFR2 and BFR3
 would be a case of (B), where the reuse of a BP is perfect because
 it does not limit the set of useful path choices, as noted below. -->

          <t>If instead of reusing BP 0:7 BFR3 used a separate BP 0:10 for its
ECMP() adjacency, no useful additional path steering options would be enabled.
If duplicates at BFR10 were undesirable, this would be done by not
setting BP 0:5 and BP 0:6 for the same packet. If the duplicates were
desirable (e.g., resilient transmission), the additional BP 0:10
would also not render additional value.</t>

<!-- [rfced] Section 5.1.9:  As it appears that the instances of
"where" in these sentences should be "were", we updated the text
accordingly.  Please let us know if anything is incorrect.

Original:
 If duplicates at BFR10 where undesirable, this would be
 done by not setting BP 0:5 and BP 0:6 for the same packet.  If the
 duplicates where desirable (e.g.: resilient transmission), the
 additional BP 0:10 would also not render additional value.

Currently:
 If duplicates at BFR10 were undesirable, this would be done
 by not setting BP 0:5 and BP 0:6 for the same packet.  If the
 duplicates were desirable (e.g., resilient transmission), the
 additional BP 0:10 would also not render additional value. -->

          <t>Reuse may also save BPs in larger topologies.  Consider the topology
shown in <xref target="scaling-picture2" format="default"/>:</t>

          <figure anchor="scaling-picture2">
            <name>Reuse of BPs</name>
            <artwork align="left" name="" type="" alt=""><![CDATA[
                       area1 
                   BFR1a BFR1b
                     /    \
        ....................................
        .                Core              .
        ....................................
        |    /       \    /           \  |
      BFR2a BFR2b  BFR3a BFR3b      BFR6a BFR6b
       /-------\   /---------\      /--------\
       | area2 |   |  area3  | ...  | area6  |
       | ring  |   |  ring   |      | ring   |
       \-------/   \---------/      \--------/
       more BFRs    more BFRs        more BFRs
]]></artwork>
          </figure>

<!-- [rfced]  Figure 14 (original) / Figure 13 (currently):
As it appears that "more BFR" means "more BFRs" (and not, for
example, "more of a BFR"), we changed "BFR" to "BFRs" here.
Please let us know if this does not convey your intended meaning.

Original:
 more BFR     more BFR        more BFR

                 Figure 14: Reuse of BP

Currently:
 more BFRs    more BFRs        more BFRs

                  Figure 13: Reuse of BPs -->

<t>A BFIR/sender (e.g., video headend) is attached to area 1,
and area 2...6 contain receivers/BFERs. Assume that each area had a distribution
ring, each with two BPs to indicate the direction (as explained before). 
These two BPs could be reused across the 5 areas.  Packets would be replicated
through other BPs for the Core to the desired subset of areas, and once a packet copy
reaches the ring of the area, the two ring BPs come into play. This reuse is 
a case of (B), but it limits the topology choices: Packets
can only flow around the same direction in the rings of all areas. This may or may not
be acceptable based on the desired path steering options: if resilient
transmission is the path engineering goal, then it is likely a good
optimization; if the bandwidth of each ring was to be optimized separately,
it would not be a good limitation.</t>
        </section>
        <section anchor="bits-summary" numbered="true" toc="default">
          <name>Summary of BP Optimizations</name>
          <t>This section reviewed a range of techniques by which a BIER-TE Controller can create
a BIER-TE topology in a way that minimizes the number of necessary BPs.</t>
          <t>Without any optimization, a BIER-TE Controller would attempt to map the network
subnet topology 1:1 into the BIER-TE topology and  every subnet adjacent
neighbor requires a forward_connected() BP and every BFER requires a local_decap() BP.</t>
          <t>The optimizations described are then as follows:</t>
          <ul spacing="normal">
            <li>P2P links require only one BP (<xref target="p2p-links" format="default"/>).</li>
            <li>All leaf-BFERs can share a single local_decap() BP (<xref target="leaf-bfer" format="default"/>).</li>
            <li>A LAN with N BFR needs at most N BP (one for each BFR). It only needs one BP for all those BFRs that are not redundantly connected to multiple LANs (<xref target="lans" format="default"/>).</li>
            <li>A hub with p2p connections to multiple non-leaf-BFER spokes can share one BP to all spokes if traffic can be flooded to all spokes, e.g., because of no bandwidth concerns or dense receiver sets (<xref target="hubnspoke" format="default"/>).</li>
            <li>Rings of BFRs can be built with just two BP (one for each direction) except for BFR with multiple ring connections -- similar to LANs (<xref target="rings" format="default"/>).</li>
            <li>ECMP() adjacencies to N neighbors can replace N BP with 1 BP. Multihop ECMP can avoid polarization through different seeds of the ECMP algorithm (<xref target="ecmp" format="default"/>).</li>
            <li>Forward_routed() adjacencies permit "tunneling" across routers that are either BIER-TE capable or not BIER-TE capable where no traffic steering or replications are required (<xref target="routed" format="default"/>).</li>
            <li>A BP can generally be reused across a set of nodes where it can be guaranteed that no path will
ever need to traverse more than one node of the set. Depending on the scenario, this may limit the feasible path steering options (<xref target="reuse" format="default"/>).</li>
          </ul>
          <t>Note that the described list of optimizations is not exhaustive. Further optimizations of BPs are possible, especially when both the set of required path steering choices and the set of possible subsets of BFERs that should be able to receive traffic are limited. The hub-and-spoke optimization is a simple example of such traffic-pattern-dependent optimizations.</t>
        </section>
      </section>

  <section anchor="avoiding" numbered="true" toc="default">
        <name>Avoiding Duplicates and Loops</name>
        <section anchor="loops" numbered="true" toc="default">
          <name>Loops</name>
          <t>Whenever BIER-TE creates a copy of a packet, the BitString of
that copy will have all bit positions cleared that are associated
with adjacencies on the BFR. This inhibits the looping of packets.
The only exceptions are adjacencies with DNC set.</t>

          <t>With DNC set, looping can happen.  Consider in <xref target="ring-picture2" format="default"/>
that link L4 from BFR3 is (inadvertently) plugged into the L1 interface of
BFRa (instead of BFR2). This creates a loop where the ring's clockwise bit position is
never cleared for copies of the packets traveling clockwise
around the ring.</t>
          <figure anchor="ring-picture2">
            <name>Miswired Ring Example</name>
            <artwork align="left" name="" type="" alt=""><![CDATA[
               v        v
               |        |
        L1     |   L2   |   L3
    /-------- BFRa ---- BFRb ---------------------\
    |        .                                    |
    |         ......  Wrong link wiring           |
    |               .                             |
    \- BFR1 - BFR2   BFR3 - ... - BFR29 - BFR30 -/
        |      |    L4               |      |
     p33|                         p15|
        BFRd                       BFRc
]]></artwork>
          </figure>
          <t>To inhibit looping in the face of such physical misconfiguration,
only forward_connected() adjacencies are permitted to have DNC set,
and the link layer port unique unicast destination address of the adjacency (e.g. MAC address)
protects against closing the loop. Link layers without port unique
link layer addresses should not be used with the DNC flag set.</t>
        </section>

      <section anchor="duplicates" numbered="true" toc="default">
          <name>Duplicates</name>

          <t>Duplicates happen when the graph expressed by a BitString is not a
tree but is redundantly connecting BFRs with each other. In <xref target="duplicates-picture" format="default"/>,
a BitString of p2,p3,p4,p5 would result in duplicate packets arriving on BFER4.
The BIER-TE Controller must therefore ensure that only BitStrings that are trees are created.</t>
          <figure anchor="duplicates-picture">
            <name>Duplicates Example</name>
            <artwork align="left" name="" type="" alt=""><![CDATA[
                 BFIR1
                /    \
               / p2   \ p3
              BFR2   BFR3
               \ p4   / p5
                \    /
                 BFER4
]]></artwork>
          </figure>
          <t>When links are incorrectly physically reconnected before the
BIER-TE Controller updates BitStrings in BFIRs, duplicates can happen.
Like loops, these can be inhibited by link layer addressing
in forward_connected() adjacencies.</t>
          <t>If interface or loopback addresses used in forward_routed() adjacencies
are moved from one BFR to another, duplicates can equally happen.
Such readdressing operations must be coordinated with the BIER-TE Controller.</t>
        </section>

  </section>

  <section anchor="mgmt-stuff" numbered="true" toc="default">
        <name>Managing SIs, Subdomains, and BFR-ids</name>
        <t>When the number of bits required to represent the necessary hops
in the topology and BFER exceeds the supported BitStringLength (BSL),
multiple SIs and/or subdomains must be used. This section discusses how this is accomplished.</t>
        <t>BIER-TE forwarding does not require the concept of BFR-ids, but routing
underlay, flow overlay, and BIER headers may. This section also discusses
how BFR-ids can be assigned to BFIRs/BFERs for BIER-TE.</t>
        <section anchor="why" numbered="true" toc="default">
          <name>Why SIs and Subdomains?</name>
          <t>For (non-TE) BIER and BIER-TE forwarding, the most important result of using multiple
SIs and/or subdomains is the same: packets that need to be sent to BFERs in
different SIs or subdomains require different BIER packets, each one with a
BitString for a different (SI,subdomain) combination. Each such BitString uses
one BSL sized SI block in the BIFT of the subdomain. We call this
a BIFT:SI (block).</t>
          <t>For BIER and BIER-TE forwarding, there is also no difference whether
different SIs and/or subdomains are chosen, but SIs and subdomains have
different purposes in the BIER architecture shared by BIER-TE.
This impacts how operators are managing them and how flow overlays in particular
will likely use them.</t>
          <t>By default, every possible BFIR/BFER in a BIER network would likely be given
a BFR-id in subdomain 0 (unless there are &gt; 64k BFIRs/BFERs). </t>
          <t>If there are different flow services (or service instances) requiring replication
to different subsets of BFERs, then it will likely not be possible to achieve
the best replication efficiency for all of these service instances via subdomain 0.

Ideal replication efficiency for N BFER exists in a subdomain if they are
split over not more than ceiling(N/BitStringLength) SI.</t>
          <t>If service instances justify additional BIER:SI state in the network, additional
subdomains will be used: BFIRs/BFERs are assigned BFR-ids in those subdomains
and each service instance is configured to use the most appropriate subdomain.
This results in improved replication efficiency for different services.</t>
          <t>Even if creation of subdomains and assignment of BFR-ids to BFIRs/BFERs in those
subdomains is automated, it is not expected that individual
service instances can deal with BFERs in different subdomains. A service
instance may only support configuration of a single subdomain it should rely on.</t>
          <t>To be able to easily reuse (and modify as little as possible) existing
BIER procedures, including flow overlay and routing underlay, when BIER-TE
forwarding is added, we therefore reuse SIs and subdomains logically in the
same way as they are used in BIER: all necessary BFIRs/BFERs for a service use
a single BIER-TE BIFT and are split across as many SIs as necessary (see <xref target="bit-requirements" format="default"/>).
Different services may use different subdomains that primarily exist to
provide more efficient replication (and, for BIER-TE, desirable path steering)
for different subsets of BFIRs/BFERs.</t>
        </section>

    <section anchor="bit-requirements" numbered="true" toc="default">
          <name>Assigning Bits for the BIER-TE Topology</name>
          <t>In BIER, BitStrings only need to carry bits for BFERs, which leads to the
model that BFR-ids map 1:1 to each bit in a BitString.</t>
          <t>In BIER-TE, BitStrings need to carry bits to indicate not only the receiving
BFER but also the intermediate hops/links across which the packet must be sent.
The maximum number of BFERs that can be supported in a single BitString or BIFT:SI
depends on the number of bits necessary to represent the desired topology between
them.</t>
          <t>"Desired" topology means that it depends on the physical topology and
the operator's desire to permit explicit path steering across
every single hop (which requires more bits), or reducing the number of required
bits by exploiting optimizations such as unicast (forward_routed()), ECMP(), or flood
(DNC) over "uninteresting" sub-parts of the topology, e.g., parts where different
trees do not need to take different paths due to path steering reasons.</t>
          <t>The total number of bits to describe the topology vs. the number of BFERs in a BIFT:SI can
range widely based on the size of the topology and the amount of alternative paths
in it. In a BIER-TE topology crafted by a BIER-TE expert, the higher the percentage of non-BFER bits, the higher the likelihood that those topology
bits are not just BIER-TE overhead without additional benefit but instead 
will allow the expression of desirable path steering alternatives.</t>
        </section>
        <section anchor="bfr-id" numbered="true" toc="default">
          <name>Assigning BFR-ids with BIER-TE</name>
          <t>BIER-TE forwarding does not use the BFR-id, nor does it require that
the BFIR-id field of the BIER header be set to a particular value.
However, other parts of a BIER-TE deployment may need a BFR-id, specifically
multicast flow overlay signaling and multicast flow overlay packet disposition,
and in that case BFRs need to also have BFR-ids for BIER-TE SDs.</t>
          <t>For example, for BIER overlay signaling, BFIRs need to have a BFR-id, because this
BFIR BFR-id is carried in the BFIR-id field of the BIER header to indicate
to the overlay signaling on the receiving BFER which BFIR originated the packet.</t>
          <t>In BIER, BFR-id = SI * BSL + BP, such that the SI and BP of a BFER
can be calculated from the BFR-id and vice versa. This also means
that every BFR with a BFR-id has a reserved BP in an SI, even if
that is not necessary for BIER forwarding, because the BFR may
never be a BFER but only a BFIR.</t>
          <t>In BIER-TE, for a non-leaf BFER, there is usually a single BP for that BFER with a
local_decap() adjacency on the BFER. The BFR-id for such a BFER can therefore
be determined using the same procedure as that used for (non-TE) BIER: BFR-id = SI * BSL + BP.</t>
          <t>As explained in <xref target="leaf-bfer" format="default"/>, leaf BFERs do not need such
a unique local_decap() adjacency. Likewise, BFIRs that are not also BFERs
may not have a unique local_decap() adjacency either. For all those BFIRs
and (leaf) BFERs, the controller needs to determine unique BFR-ids that
do not collide with the BFR-ids derived from the non-leaf BFER local_decap() BPs.</t>
          <t>While this document defines no requirements on how to allocate such BFR-id,
a simple option is to derive it from the (SI,BP) of an adjacency that is
unique to the BFR in question. For a BFIR, this can be the first adjacency
only populated on this BFIR, for a leaf-BFER, this could be the first BP
with an adjacency towards that BFER.</t>
        </section>
        <section anchor="bitstring-mappings" numbered="true" toc="default">
          <name>Mapping from BFRs to BitStrings with BIER-TE</name>
          <t>In BIER, applications of the flow overlay on a BFIR can calculate the (SI,BP) of a
BFER from the BFR-id of the BFER and can therefore easily determine the BitStrings
for a BIER packet to a set of BFERs with known BFR-ids.</t>
          <t>In BIER-TE, this mapping needs to be equally supported for flow overlays.
This section outlines two core options, based on what type of Tree Engineering
the BIER-TE controller needs to perform for a particular application.</t>
    <dl spacing="normal">
          <dt>"Independent branches":</dt><dd>For a given flow overlay instance, the branches
from a BFIR to every BFER are calculated by the BIER-TE controller to be
independent of the branches to any other BFER.  Shortest path trees are the most common
examples of trees with independent branches.</dd>
          <dt>"Interdependent branches":</dt><dd>When a BFER is added or deleted from a particular
distribution tree, the BIER-TE controller has to recalculate the branches to other BFER,
because they may need to change.  Steiner trees are examples of interdependent branch trees.</dd>
    </dl>
          <t>If "independent branches" are used, the BIER-TE Controller 
can signal to the BFIR flow overlay for every BFER an SI:BitString that
represents the branch to that BFER.  The flow overlay on the BIFR can then, independently
of the controller, calculate the SI:BitString for all desired BFERs by OR'ing their BitStrings.
This allows flow overlay applications to operate independently of the controller
whenever it needs to determine which subset of BFERs needs to receive a particular packet.</t>
          <t>If "interdependent branches" are required, the application would need to query
the SI:BitString for a given set of BFERs whenever the set changes.</t>
          <t>Note that in either case (unlike the scenario for BIER), the bits may need to
change upon link/node failure/recovery, network expansion and network resource consumption 
by other traffic as part of Traffic Engineering goals (e.g., reoptimization of
lower-priority traffic flows). Interactions between such BFIR applications and the BIER-TE Controller
do therefore need to support dynamic updates to the SI:BitStrings.</t>
          <t>Communications between the BFIR flow overlay and the BIER-TE controller
require some way to identify the BFER. If BFR-ids are used in the deployment, as
outlined in <xref target="bfr-id" format="default"/>, then those are the natural BFR identifiers. If
BFR-ids are not used, then any other unique identifier, such as the BFR-prefix
of the BFR <xref target="RFC8279" format="default"/>, could be used.</t>
        </section>

    <section anchor="assigning" numbered="true" toc="default">
          <name>Assigning BFR-ids for BIER-TE</name>
          <t>It is not currently determined if a single subdomain could or should be
allowed to forward both (non-TE) BIER and BIER-TE packets. If this should be
supported, there are two options:</t>
          <ol spacing="normal" type="A">
          <li>BIER and BIER-TE have different BFR-ids in the same subdomain. This allows
higher replication efficiency for BIER because their BFR-ids can be assigned
sequentially, while the BitStrings for BIER-TE will also have the additional
bits for the topology. There is no relationship between a BFR BIER BFR-id and its
BIER-TE BFR-id.</li>
          <li>BIER and BIER-TE share the same BFR-id. The BFR-ids are assigned as explained
above for BIER-TE and simply reused for BIER. The replication efficiency for BIER will
be as low as that for BIER-TE in this approach.</li>
	  </ol>
        </section>

    <section anchor="allocation-example" numbered="true" toc="default">
          <name>Example Bit Allocations</name>
          <section anchor="with-bier" numbered="true" toc="default">
            <name>With BIER</name>
            <t>Consider a network setup with a BSL of 256 for a network
topology as shown in <xref target="scaling-picture" format="default"/>. The network has 6 areas, each with
170 BFERs, connecting via a core with 4 (core) BFRs. To address all BFERs with BIER,
4 SIs are required. To send a BIER
packet to all BFERs in the network, 4 copies need to be sent by the BFIR. On the
BFIR, it does not matter how the BFR-ids are allocated to BFERs
in the network, but for efficiency further down in the network it does
matter.</t>
            <figure anchor="scaling-picture">
              <name>Scaling BIER-TE Bits by Reuse</name>
              <artwork align="left" name="" type="" alt=""><![CDATA[
             area1           area2        area3
            BFR1a BFR1b  BFR2a BFR2b   BFR3a BFR3b
              |  \         /    \        /  |
              ................................
              .                Core          .
              ................................
              |    /       \    /        \  |
            BFR4a BFR4b  BFR5a BFR5b   BFR6a BFR6b
             area4          area5        area6
]]></artwork>
            </figure>
            <t>With random allocation of BFR-ids to BFERs, each receiving area would (most likely)
have to receive all 4 copies of the BIER packet because there would be
BFR-ids for each of the 4 SIs in each of the areas. Only further towards each
BFER would this duplication subside -- when each of the 4 trees runs out of
branches.</t>
            <t>If BFR-ids are allocated intelligently, then all the BFERs in an area
would be given BFR-ids with as few different SIs as possible.
Each area would only have to forward one or two packets instead of four.</t>
            <t>Given how networks can grow over time, replication efficiency in an area
will then also go down over time when BFR-ids are only allocated sequentially, network wide.
An area that initially only has BFR-id in one SI
might end up with many SIs over a longer period of growth. Allocating SIs
to areas with initially sufficiently many spare bits for growths can help
to alleviate this issue. Or renumber BFERs after network expansion. In
this example one may consider to use 6 SIs and assign one to each area.</t>
            <t>This example shows that intelligent BFR-id allocation within at least
subdomain 0 can even be helpful or even necessary in BIER.</t>
          </section>

      <section anchor="with-bier-te" numbered="true" toc="default">
            <name>With BIER-TE</name>
            <t>In BIER-TE one needs to determine a subset of the physical topology
and attached BFERs so that the "desired" representation of this topology
and the BFER fit into a single BitString. This process needs to be
repeated until the whole topology is covered.</t>
            <t>Once bits/SIs are assigned to topology and BFERs, BFR-ids are just a derived
set of identifiers from the operator/BIER-TE Controller as explained above.</t>
            <t>Every time that different subtopologies have overlap, bits need to
be repeated across the BitStrings, increasing the overall amount of bits
required across all BitStrings/SIs. In the worst case, one assigns random subsets of BFERs 
to different SIs. This will result in an outcome much worse than in (non-TE) BIER: it 
maximizes the amount of unnecessary topology overlap across SIs and therefore
reduces the number of BFERs that can be reached across each individual SI.
Intelligent BFER-to-SI assignment and selecting specific "desired" subtopologies can
minimize this problem.</t>
            <t>To set up BIER-TE efficiently for the topology of <xref target="scaling-picture" format="default"/>, the following bit
allocation method can be used. This method can easily be expanded to
other, similarly structured larger topologies.</t>
            <t>Each area is allocated one or more SIs, depending on the number of future
expected BFERs and the number of bits required for the topology in the area.
In this example, 6 SIs are used, one per area.</t>
            <t>In addition, we use 4 bits in each SI:</t>
            <dl spacing="normal">
             <dt>bia:</dt><dd>(b)it (i)ngress (a)</dd>
             <dt>bib:</dt><dd>(b)it (i)ngress (b)</dd>
             <dt>bea:</dt><dd>(b)it (e)gress (a)</dd>
             <dt>beb:</dt><dd>(b)it (e)gress (b)</dd>
	    </dl>
<t>These bits will be used to pass BIER
packets from any BFIR via any combination of an ingress area a/b BFR and egress area
 a/b BFR into a specific target area. These bits are then set up with the right
 forward_routed() adjacencies on the BFIR and area edge BFR:</t>
            <t>On all BFIRs in an area, j|j=1...6, bia in each BIFT:SI is populated with the same
forward_routed(BFRja) and bib with forward_routed(BFRjb). On all area
edge BFRs, bea in BIFT:SI=k|k=1...6 is populated with forward_routed(BFRka) and
beb in BIFT:SI=k with forward_routed(BFRkb).</t>
            <t>For BIER-TE forwarding of a packet to a subset of BFERs across all areas,
a BFIR would create at most 6 copies, with SI=1...SI=6. In each packet,
the bits indicate bits for topology and BFER in that topology plus the four bits
to indicate whether to pass this packet via the ingress area a or b border BFR
and the egress area a or b border BFR, therefore allowing path steering
for those two "unicast" legs: 1) BFIR to ingress area edge and 2) core to egress
area edge. Replication only happens inside the egress areas. For BFERs in the
same area as in the BFIR, these four bits are not used.</t>

<!-- [rfced] Section 5.3.6.2:
a) To what does the colon in "area edge BFR:" refer - the next
paragraph, or the next two paragraphs?  We would like to indent the
text of the next paragraph or the next two paragraphs, as
appropriate.  Alternatively, could the colon be changed to a period?

b) We had trouble following the text in the second paragraph.  If the
suggested text is not correct, please clarify "the bits indicate bits
for topology and BFER", "1) BFIR to ingress area edge and 2) core to
egress area edge", and "For BFER in the same area as in the BFIR".

Original:
 These bits are then set up with the
 right forward_routed() adjacencies on the BFIR and area edge BFR:

 On all BFIRs in an area j|j=1...6, bia in each BIFT:SI is populated
 with the same forward_routed(BFRja), and bib with
 forward_routed(BFRjb).  On all area edge BFR, bea in
 BIFT:SI=k|k=1...6 is populated with forward_routed(BFRka) and beb in
 BIFT:SI=k with forward_routed(BFRkb).

 For BIER-TE forwarding of a packet to a subset of BFERs across all
 areas, a BFIR would create at most 6 copies, with SI=1...SI=6, In
 each packet, the bits indicate bits for topology and BFER in that
 topology plus the four bits to indicate whether to pass this packet
 via the ingress area a or b border BFR and the egress area a or b
 border BFR, therefore allowing path steering for those two "unicast"
 legs: 1) BFIR to ingress area edge and 2) core to egress area edge.
 Replication only happens inside the egress areas.  For BFER in the
 same area as in the BFIR, these four bits are not used.

Suggested (second paragraph):
 For BIER-TE forwarding of a packet to a subset of BFERs across all
 areas, a BFIR would create at most 6 copies, with SI=1...SI=6.  In
 each packet, these bits indicate bits for topology and BFERs in that
 topology plus the four bits to indicate whether to pass this packet
 via the ingress area a or b border BFR and the egress area a or b
 border BFR, therefore allowing path steering for those two "unicast"
 legs: 1) from the BFIR to the ingress area edge and 2) from the
 core to the egress area edge.  Replication only happens inside the
 egress areas.  For BFERs that are in the same area as the BFIR,
 these four bits are not used. -->

          </section>

    </section>

    <section anchor="summary" numbered="true" toc="default">
          <name>Summary</name>
          <t>BIER-TE can, like BIER, support multiple SIs within a subdomain. This allows
application of the mapping BFR-id = SI * BSL + BP. This also permits the reuse of
the BIER architecture concept of BFR-ids and, therefore, minimization of BIER-TE-specific functions in possible
BIER layer control plane mechanisms with BIER-TE, including flow overlay methods and BIER header fields.</t>
          <t>The number of BFIRs/BFERs possible in a subdomain is smaller than in BIER
because BIER-TE uses additional bits for topology.</t>
          <t>Subdomains (SDs) in BIER-TE can be used as they are in BIER to create more efficient
replication to known subsets of BFERs.</t>
          <t>Assigning bits for BFERs intelligently into the right SI is more important in
BIER-TE than in BIER because of replication efficiency and the overall amount of
bits required.</t>
        </section>

  </section>
</section>

  <section anchor="security" numbered="true" toc="default">
      <name>Security Considerations</name>
      <t>If <xref target="RFC8296" format="default"/> is used, BIER-TE shares its security considerations.</t>
      <t>BIER-TE shares the security considerations of BIER, <xref target="RFC8279" format="default"/>, with
the following overriding or additional considerations.</t>
      <t>BIER-TE forwarding explicitly supports unicast "tunneling" of BIER packets via forward_routed()
adjacencies. The BIER domain security model is based on a subset of interfaces on a BFR
that connect to other BFRs of the same BIER domain. For BIER-TE, this security model equally applies
to such unicast "tunneled" BIER packets. This does not only include the need to filter
received unicast "tunneled" BIER packets to prohibit the injection of such "tunneled" BIER
packets from outside the BIER domain, but also prohibiting forward_routed() adjacencies
to leak BIER packets from the BIER domain. It <bcp14>SHOULD</bcp14> be possible to configure
interfaces to be part of a BIER domain solely for sending and receiving of unicast
"tunneled" BIER packets even if the interface cannot send/receive BIER encapsulated packets.</t>

<!-- [rfced] Section 6:  This sentence does not parse.  If the
suggested text is not correct, please clarify "does not only include"
... "but also prohibiting".

Original:
 This does
 not only include the need to filter received unicast "tunneled" BIER
 packets to prohibit injection of such "tunneled" BIER packets from
 outside the BIER domain, but also prohibiting forward_routed()
 adjacencies to leak BIER packets from the BIER domain.

Suggested:
 This
 not only includes the need to filter received unicast "tunneled"
 BIER packets to prohibit the injection of such "tunneled" BIER
 packets from outside the BIER domain; it also prohibits
 forward_routed() adjacencies from leaking BIER packets from the BIER
 domain. -->

      <t>In BIER, the standardized methods for the routing underlays are IGPs
with extensions to distribute BFR-ids and BFR-prefixes. 
<xref target="RFC8401" format="default"/> specifies the extensions for IS-IS, and <xref target="RFC8444" format="default"/> specifies the extensions for OSPF.
Attacking the protocols for the BIER routing underlay or (non-TE) BIER layer control
plane, or impairment of any BFR in a domain may lead to successful attacks
against the results of the routing protocol, enabling DoS attacks against
paths or the addressing (BFR-id, BFR-prefixes) used by BIER.</t>
      <t>The reference model for the BIER-TE layer control plane is a BIER-TE controller.
When such a controller is used, impairment of an individual BFR in a domain causes
no impairment of the BIER-TE control plane on other BFRs. If a routing
protocol is used to support forward_routed() adjacencies, then this is still an
attack vector as in BIER, but only for BIER-TE forward_routed() adjacencies and
not other adjacencies.</t>
      <t>Whereas IGP routing protocols are most often not well secured through
cryptographic authentication and confidentiality, communications between controllers and routers such as those
to be considered for the BIER-TE controller / control plane can be, and are, much more commonly
secured with those security properties -- for example, by using Secure Shell (SSH) <xref target="RFC4253" format="default"/> for NETCONF <xref target="RFC6242" format="default"/>; or via Transport Layer Security (TLS), such as <xref target="RFC8253" format="default"/> for PCEP <xref target="RFC5440" format="default"/> or <xref target="RFC7589" format="default"/> for NETCONF. BIER-TE controllers <bcp14>SHOULD</bcp14> use security equal to or better than these mechanisms.</t>
      <t>When any of these security mechanisms/protocols are used for communications
between a BIER-TE controller and BFRs, their security considerations apply to BIER-TE.
In addition, the security considerations of PCE, <xref target="RFC4655" format="default"/> apply.</t>
      <t>The most important attack vector in BIER-TE is misconfiguration,
either on the BFRs themselves or via the BIER-TE controller.
Forwarding entries with DNC could be set up to create persistent loops, in which
packets only expire because of TTL. To minimize the impact of such attacks
(or, more likely, unintentional misconfiguration by operators and/or bad BIER-TE controller software),
the BIER-TE forwarding rules are defined to be as strict in clearing
bits as possible. The clearing of all bits with an adjacency on
a BFR prohibits a looping packet from creating additional packet amplification
through the misconfigured loop on the packet's second time or subsequent times around the
loop, because all relevant adjacency bits would have been cleared on the first round
through the loop.  As a result, BIER-TE has the same degree of looping packets
as possible with unintentional or malicious loops in the routing underlay
with BIER or even with unicast traffic.</t>

<!-- [rfced] Section 6:  This sentence does not parse.  Are some
words missing?  Please clarify "same degree of looping packets as
possible".

Original:
 In
 result, BIER-TE has the same degree of looping packets as possible
 with unintentional or malicious loops in the routing underlay with
 BIER or even with unicast traffic.

Perhaps:
As a result, looping packets may occur in BIER-TE to the same degree
as is possible with unintentional or malicious loops in the routing
underlay with BIER, or even with unicast traffic. -->

      <t>Deployments where BIER-TE would likely be beneficial 
may include operational models where actual configuration changes
from the controller are only required during non-production phases of
the network's life-cycle, e.g., in embedded networks or manufacturing
networks during, for example, plant reworking/repairs. In these
types of deployments, configuration changes could be locked out when the
network is in production state and could only be (re-)enabled through 
reverting the network/installation into non-production state. Such
security designs would not only allow a deployment to provide additional layers
of protection against configuration attacks but would, first and foremost,
protect the active production process from such configuration attacks.</t>
    </section>

  <section anchor="iana" numbered="true" toc="default">
      <name>IANA Considerations</name>
      <t>This document requests no action by IANA. </t>
    </section>
</middle>
  <back>

<displayreference target="I-D.ietf-bier-multicast-http-response" to="BIER-MCAST-OVERLAY"/>
<displayreference target="I-D.eckert-bier-te-frr" to="BIER-TE-PROTECTION"/>
<displayreference target="I-D.ietf-roll-ccast" to="CONSTRAINED-CAST"/>
<displayreference target="I-D.ietf-bier-te-yang" to="BIER-TE-YANG"/>

    <references>
      <name>References</name>
      <references>
        <name>Normative References</name>
        <xi:include href="https://xml2rfc.ietf.org/public/rfc/bibxml/reference.RFC.2119.xml"/>
        <xi:include href="https://xml2rfc.ietf.org/public/rfc/bibxml/reference.RFC.8279.xml"/>
        <xi:include href="https://xml2rfc.ietf.org/public/rfc/bibxml/reference.RFC.8174.xml"/>
        <xi:include href="https://xml2rfc.ietf.org/public/rfc/bibxml/reference.RFC.8296.xml"/>
      </references>
      <references>
        <name>Informative References</name>
        <xi:include href="https://xml2rfc.ietf.org/public/rfc/bibxml/reference.RFC.4253.xml"/>
        <xi:include href="https://xml2rfc.ietf.org/public/rfc/bibxml/reference.RFC.4456.xml"/>
        <xi:include href="https://xml2rfc.ietf.org/public/rfc/bibxml/reference.RFC.4655.xml"/>
        <xi:include href="https://xml2rfc.ietf.org/public/rfc/bibxml/reference.RFC.5440.xml"/>
        <xi:include href="https://xml2rfc.ietf.org/public/rfc/bibxml/reference.RFC.6241.xml"/>
        <xi:include href="https://xml2rfc.ietf.org/public/rfc/bibxml/reference.RFC.6242.xml"/>
        <xi:include href="https://xml2rfc.ietf.org/public/rfc/bibxml/reference.RFC.7589.xml"/>
        <xi:include href="https://xml2rfc.ietf.org/public/rfc/bibxml/reference.RFC.7752.xml"/>
        <xi:include href="https://xml2rfc.ietf.org/public/rfc/bibxml/reference.RFC.7950.xml"/>
        <xi:include href="https://xml2rfc.ietf.org/public/rfc/bibxml/reference.RFC.7988.xml"/>
        <xi:include href="https://xml2rfc.ietf.org/public/rfc/bibxml/reference.RFC.8040.xml"/>
        <xi:include href="https://xml2rfc.ietf.org/public/rfc/bibxml/reference.RFC.8253.xml"/>
        <xi:include href="https://xml2rfc.ietf.org/public/rfc/bibxml/reference.RFC.8345.xml"/>
        <xi:include href="https://xml2rfc.ietf.org/public/rfc/bibxml/reference.RFC.8401.xml"/>
        <xi:include href="https://xml2rfc.ietf.org/public/rfc/bibxml/reference.RFC.8402.xml"/>
        <xi:include href="https://xml2rfc.ietf.org/public/rfc/bibxml/reference.RFC.8444.xml"/>
        <xi:include href="https://xml2rfc.ietf.org/public/rfc/bibxml/reference.RFC.8556.xml"/>

<!-- draft-ietf-teas-rfc3272bis (I-D Exists)
     (have to do "long way" because Adrian Farrel is editor) -->
<reference anchor="TE-RFC3272bis">
   <front>
      <title>Overview and Principles of Internet Traffic Engineering</title>
      <author fullname="Adrian Farrel" surname="Farrel" initials="A" role="editor">
      </author>
      <date month="March" day="24" year="2022" />
   </front>
   <seriesInfo name="Internet-Draft" value="draft-ietf-teas-rfc3272bis-16" />
</reference>

<!-- draft-ietf-bier-multicast-http-response (Expired) -->
<xi:include href="https://datatracker.ietf.org/doc/bibxml3/reference.I-D.ietf-bier-multicast-http-response.xml"/>

<!-- draft-eckert-bier-te-frr (Expired) -->
<xi:include href="https://datatracker.ietf.org/doc/bibxml3/reference.I-D.eckert-bier-te-frr.xml"/>

<!-- draft-ietf-roll-ccast (Expired) -->
<xi:include href="https://datatracker.ietf.org/doc/bibxml3/reference.I-D.ietf-roll-ccast.xml"/>

<!-- draft-ietf-bier-te-yang (I-D Exists) -->
<xi:include href="https://datatracker.ietf.org/doc/bibxml3/reference.I-D.ietf-bier-te-yang.xml"/>

<!-- draft-ietf-bier-non-mpls-bift-encoding (Expired)
     (have to do "long way" to get "IJ. Wijnands") -->
<reference anchor="NON-MPLS-BIER-ENCODING">
   <front>
      <title>An Optional Encoding of the BIFT-id Field in the non-MPLS BIER Encapsulation</title>
     <author fullname="IJsbrand Wijnands" surname="Wijnands" initials="IJ"></author>
     <author fullname="Mankamana Mishra" surname="Mishra" initials="M"></author>
     <author fullname="Xiaohu Xu" surname="Xu" initials="X"></author>
     <author fullname="Hooman Bidgoli" surname="Bidgoli" initials="H"></author>
    <date month="May" day="30" year="2021" />
  </front>
 <seriesInfo name="Internet-Draft" value="draft-ietf-bier-non-mpls-bift-encoding-04" />
</reference>

        <reference anchor="ICC" target="https://ieeexplore.ieee.org/document/7511036">
          <front>
            <title>
            Stateless multicast switching in software defined networks
            </title>
            <author initials="M. J." surname="Reed"/>
            <author initials="M." surname="Al-Naday"/>
            <author initials="N." surname="Thomos"/>
            <author initials="D." surname="Trossen"/>
            <author initials="G." surname="Petropoulos"/>
            <author initials="S." surname="Spirou"/>
            <date month="May" year="2016"/>
          </front>
          <refcontent>IEEE International Conference on Communications (ICC), Kuala Lumpur, Malaysia</refcontent>
        </reference>

        <reference anchor="RCSD94" target="https://dl.acm.org/doi/10.5555/2692227.2692232">
          <front>
            <title>
            Rate-Controlled Service Disciplines
            </title>
            <author initials="H." surname="Zhang"/>
            <author initials="D." surname="Ferrari"/>
            <date month="October" year="1994"/>
          </front>
          <refcontent>Journal of High-Speed Networks, Volume 3, Issue 4, pp. 389-412</refcontent>
        </reference>

        <reference anchor="Bloom70" target="https://dl.acm.org/doi/10.1145/362686.362692">
          <front>
            <title>Space/time trade-offs in hash coding with allowable errors</title>
            <author initials="B. H." surname="Bloom" fullname="Burton H. Bloom">
              <organization/>
            </author>
            <date month="July" year="1970"/>
          </front>
          <refcontent>Comm. ACM 13(7):422-6</refcontent>
        </reference>
</references>
    </references>
    <section anchor="SR" numbered="true" toc="default">
      <name>BIER-TE and Segment Routing (SR)</name>
      <t>SR <xref target="RFC8402" format="default"/> aims to enable lightweight path steering
via loose source routing. For example, compared to its more heavyweight predecessor, RSVP-TE, SR does not require per-path signaling to each of these hops.</t>
      <t>BIER-TE supports the same design philosophy for multicast.
As is the case for SR, it relies on source routing --
via the definition of a BitString. Like SR, it only requires consideration of
the "hops" on which either replication has to happen, or across which the
traffic should be steered (even without replication).  Any other hops can
be skipped via the use of routed adjacencies.</t>

<!-- [rfced] Appendix A:  This sentence does not parse.  If the
suggested text is not correct, please clarify what "either" refers
to.

Original:
 Like SR, it only requires to consider the "hops" on which either
 replication has to happen, or across which the traffic should be
 steered (even without replication).

Suggested:
 Like SR, it only requires consideration of the "hops", either on
 which replication has to happen or across which the traffic should
 be steered (even without replication). -->

      <t>A BIER-TE bit position (BP) can be understood as the BIER-TE equivalent of
"forwarding segments" in SR, but they have a different scope than SR forwarding
segments. Whereas forwarding segments in SR are global or local, BPs in BIER-TE
have a scope that is the group of one or more BFRs that have adjacencies for this BP in
their BIFTs. These segments can be called "adjacency-scoped" forwarding segments.</t>

<!-- [rfced] Appendix A:  As it appears that "This" should be
"These segments" here, we updated this sentence accordingly.  If this
is incorrect, please provide text that explains what "This"
refers to.

Original (the previous sentence is included for context):
 Whereas forwarding segments in SR are global
 or local, BPs in BIER-TE have a scope that is the group of BFR(s)
 that have adjacencies for this BP in their BIFT.  This can be called
 "adjacency" scoped forwarding segments.

Currently:
 These segments can be called "adjacency-scoped" forwarding segments. -->

      <t>Adjacency scope could be global, but then every BFR would need an adjacency
for this BP, for example a forward_routed() adjacency with encapsulation to
the global SR SID of the destination. Such a BP would always result in ingress
replication, though (as in <xref target="RFC7988" format="default"/>). The first BFR encountering this BP would directly
replicate to it. Only by using non-global adjacency scope for BPs can 
traffic be steered and replicated on a non-BFIR.</t>
      <t>SR can naturally be combined with BIER-TE and help to optimize it. For example,
instead of defining bit positions for non-replicating hops, it is equally
possible to use segment routing encapsulations (e.g. SR-MPLS label stacks)
for the encapsulation of "forward_routed" adjacencies.</t>
      <t>Note that (non-TE) BIER itself can also be seen as being similar to SR. BIER BPs act
as global destination Node-SIDs, and the BIER BitString is simply a highly optimized
mechanism to indicate multiple such SIDs and let the network take care of effectively
replicating the packet hop by hop to each destination Node-SID.  However, BIER does not allow the 
indication of intermediate hops or, in terms of SR, the ability to indicate a sequence of SIDs
to reach the destination. This is what BIER-TE and its adjacency-scoped BP enable.</t>
    </section>
  <section anchor="ack" numbered="false" toc="default">
      <name>Acknowledgements</name>
      <t>The authors would like to thank <contact fullname="Greg Shepherd"/>, <contact fullname="IJsbrand Wijnands"/>, <contact fullname="Neale Ranns"/>,
<contact fullname="Dirk Trossen"/>, <contact fullname="Sandy Zheng"/>, <contact fullname="Lou Berger"/>, <contact fullname="Jeffrey Zhang"/>, <contact fullname="Carsten Bormann"/>, and <contact fullname="Wolfgang Braun"/> for their reviews and suggestions.</t>
      <t> Special thanks to <contact fullname="Xuesong Geng"/> for shepherding this document and for IESG review/suggestions by <contact fullname="Alvaro Retana"/> (responsible AD/RTG), <contact fullname="Benjamin Kaduk"/> (SEC), <contact fullname="Tommy Pauly"/> (TSV), <contact fullname="Zaheduzzaman Sarker"/> (TSV), <contact fullname="Éric Vyncke"/> (INT), <contact fullname="Martin Vigoureux"/> (RTG), <contact fullname="Robert Wilton"/> (OPS), <contact fullname="Erik Kline"/> (INT), <contact fullname="Lars Eggert"/> (GEN), <contact fullname="Roman Danyliw"/> (SEC), <contact fullname="Ines Robles"/> (RTGDIR), <contact fullname="Robert Sparks"/> (Gen-ART), <contact fullname="Yingzhen Qu"/> (RTGdir), and <contact fullname="Martin Duke"/> (TSV).</t>
    </section>
</back>

<!-- [rfced] Please let us know if any changes are needed for the
following:

a) The following terms were used inconsistently in this document.
We chose to use the latter forms.  Please let us know any objections.

 FBM (1 instance) / F-BM

 Non-Leaf BFER (1 instance in text) /
   non-Leaf BFER (3 instances in text) /
   non-leaf BFER (5 instances in text)

 traffic engineering / Traffic Engineering (in running text)
   (We see that "Tree Engineering" is consistently
    initial-capitalized in this document.)

b) The following terms appear to be used inconsistently in this
document.  Please let us know which form is preferred.

 accelerated hardware forwarding (text) /
   Accelerated/Hardware forwarding comparison (section title)
   (In other words, does the slash ("/") serve a specific purpose?)

 BIER-TE controller / BIER-TE Controller
   (We also see both "controller" and "Controller" where used more
    generally, e.g., "a controller", "a Controller".  Please advise
    regarding which form should be used for consistency.)

 BIER-TE Topology / BIER-TE topology (in running text)

 entropy / Entropy (for example, "entropy field", "Entropy fields",
   "and optionally Entropy", "the packet entropy")

 Flow overlay / flow overlay (in running text)
   (We see the lowercase form "routing underlay" used consistently
    in running text.)

 Forward_routed() adjacencies /  forward_routed() adjacencies
   (at the beginning of a sentence or paragraph -
    Sections 5.1.8.1, 5.1.8.2, and 5.1.10)
    However, please note that we also see "Forward_connected()"
    and "Local_decap()" at the beginning of sentences.

 leaf-BFER (noun) / leaf BFER (noun)
  (We do not see any instances of  "non-leaf-BFER" where used as
   a noun.)

 Multicast Flow Overlay / multicast flow overlay (in running text)

 traffic engineering / Traffic Engineering (in running text)

-->

</rfc>
