Skip to main content

An Architecture for IP/LDP Fast Reroute Using Maximally Redundant Trees (MRT-FRR)
RFC 7812

Document Type RFC - Proposed Standard (June 2016)
Authors Alia Atlas , Chris Bowers , Gabor Sandor Envedi
Last updated 2016-06-16
RFC stream Internet Engineering Task Force (IETF)
Formats
Additional resources Mailing list discussion
IESG Responsible AD Alvaro Retana
Send notices to (None)
RFC 7812
Internet Engineering Task Force (IETF)                          A. Atlas
Request for Comments: 7812                                     C. Bowers
Category: Standards Track                               Juniper Networks
ISSN: 2070-1721                                                G. Enyedi
                                                                Ericsson
                                                               June 2016

                An Architecture for IP/LDP Fast Reroute
               Using Maximally Redundant Trees (MRT-FRR)

Abstract

   This document defines the architecture for IP and LDP Fast Reroute
   using Maximally Redundant Trees (MRT-FRR).  MRT-FRR is a technology
   that gives link-protection and node-protection with 100% coverage in
   any network topology that is still connected after the failure.

Status of This Memo

   This is an Internet Standards Track document.

   This document is a product of the Internet Engineering Task Force
   (IETF).  It represents the consensus of the IETF community.  It has
   received public review and has been approved for publication by the
   Internet Engineering Steering Group (IESG).  Further information on
   Internet Standards is available in Section 2 of RFC 7841.

   Information about the current status of this document, any errata,
   and how to provide feedback on it may be obtained at
   http://www.rfc-editor.org/info/rfc7812.

Copyright Notice

   Copyright (c) 2016 IETF Trust and the persons identified as the
   document authors.  All rights reserved.

   This document is subject to BCP 78 and the IETF Trust's Legal
   Provisions Relating to IETF Documents
   (http://trustee.ietf.org/license-info) in effect on the date of
   publication of this document.  Please review these documents
   carefully, as they describe your rights and restrictions with respect
   to this document.  Code Components extracted from this document must
   include Simplified BSD License text as described in Section 4.e of
   the Trust Legal Provisions and are provided without warranty as
   described in the Simplified BSD License.

Atlas, et al.                Standards Track                    [Page 1]
RFC 7812              MRT Unicast FRR Architecture             June 2016

Table of Contents

   1.  Introduction  . . . . . . . . . . . . . . . . . . . . . . . .   3
     1.1.  Importance of 100% Coverage . . . . . . . . . . . . . . .   4
     1.2.  Partial Deployment and Backwards Compatibility  . . . . .   5
   2.  Requirements Language . . . . . . . . . . . . . . . . . . . .   5
   3.  Terminology . . . . . . . . . . . . . . . . . . . . . . . . .   5
   4.  Maximally Redundant Trees (MRT) . . . . . . . . . . . . . . .   7
   5.  MRT and Fast Reroute  . . . . . . . . . . . . . . . . . . . .   9
   6.  Unicast Forwarding with MRT Fast Reroute  . . . . . . . . . .   9
     6.1.  Introduction to MRT Forwarding Options  . . . . . . . . .  10
       6.1.1.  MRT LDP Labels  . . . . . . . . . . . . . . . . . . .  10
         6.1.1.1.  Topology-Scoped FEC Encoded Using a Single Label
                   (Option 1A) . . . . . . . . . . . . . . . . . . .  10
         6.1.1.2.  Topology and FEC Encoded Using a Two-Label Stack
                   (Option 1B) . . . . . . . . . . . . . . . . . . .  11
         6.1.1.3.  Compatibility of MRT LDP Label Options 1A and 1B   12
         6.1.1.4.  Required Support for MRT LDP Label Options  . . .  12
       6.1.2.  MRT IP Tunnels (Options 2A and 2B)  . . . . . . . . .  12
     6.2.  Forwarding LDP Unicast Traffic over MRT Paths . . . . . .  13
       6.2.1.  Forwarding LDP Traffic Using MRT LDP Label Option 1A   13
       6.2.2.  Forwarding LDP Traffic Using MRT LDP Label Option 1B   14
       6.2.3.  Other Considerations for Forwarding LDP Traffic Using
               MRT LDP Labels  . . . . . . . . . . . . . . . . . . .  14
       6.2.4.  Required Support for LDP Traffic  . . . . . . . . . .  14
     6.3.  Forwarding IP Unicast Traffic over MRT Paths  . . . . . .  14
       6.3.1.  Tunneling IP Traffic Using MRT LDP Labels . . . . . .  15
         6.3.1.1.  Tunneling IP Traffic Using MRT LDP Label Option
                   1A  . . . . . . . . . . . . . . . . . . . . . . .  15
         6.3.1.2.  Tunneling IP Traffic Using MRT LDP Label Option
                   1B  . . . . . . . . . . . . . . . . . . . . . . .  15
       6.3.2.  Tunneling IP Traffic Using MRT IP Tunnels . . . . . .  16
       6.3.3.  Required Support for IP Traffic . . . . . . . . . . .  16
   7.  MRT Island Formation  . . . . . . . . . . . . . . . . . . . .  16
     7.1.  IGP Area or Level . . . . . . . . . . . . . . . . . . . .  17
     7.2.  Support for a Specific MRT Profile  . . . . . . . . . . .  17
     7.3.  Excluding Additional Routers and Interfaces from the MRT
           Island  . . . . . . . . . . . . . . . . . . . . . . . . .  18
       7.3.1.  Existing IGP Exclusion Mechanisms . . . . . . . . . .  18
       7.3.2.  MRT-Specific Exclusion Mechanism  . . . . . . . . . .  19
     7.4.  Connectivity  . . . . . . . . . . . . . . . . . . . . . .  19
     7.5.  Algorithm for MRT Island Identification . . . . . . . . .  19
   8.  MRT Profile . . . . . . . . . . . . . . . . . . . . . . . . .  19
     8.1.  MRT Profile Options . . . . . . . . . . . . . . . . . . .  19
     8.2.  Router-Specific MRT Parameters  . . . . . . . . . . . . .  21
     8.3.  Default MRT Profile . . . . . . . . . . . . . . . . . . .  21
   9.  LDP Signaling Extensions and Considerations . . . . . . . . .  22

Atlas, et al.                Standards Track                    [Page 2]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   10. Inter-area Forwarding Behavior  . . . . . . . . . . . . . . .  23
     10.1.  ABR Forwarding Behavior with MRT LDP Label Option 1A . .  23
       10.1.1.  Motivation for Creating the Rainbow-FEC  . . . . . .  24
     10.2.  ABR Forwarding Behavior with IP Tunneling (Option 2) . .  24
     10.3.  ABR Forwarding Behavior with MRT LDP Label Option 1B . .  25
   11. Prefixes Multiply Attached to the MRT Island  . . . . . . . .  26
     11.1.  Protecting Multihomed Prefixes Using Tunnel Endpoint
            Selection  . . . . . . . . . . . . . . . . . . . . . . .  28
     11.2.  Protecting Multihomed Prefixes Using Named Proxy-Nodes .  29
     11.3.  MRT Alternates for Destinations outside the MRT Island .  31
   12. Network Convergence and Preparing for the Next Failure  . . .  32
     12.1.  Micro-loop Prevention and MRTs . . . . . . . . . . . . .  32
     12.2.  MRT Recalculation for the Default MRT Profile  . . . . .  33
   13. Operational Considerations  . . . . . . . . . . . . . . . . .  34
     13.1.  Verifying Forwarding on MRT Paths  . . . . . . . . . . .  34
     13.2.  Traffic Capacity on Backup Paths . . . . . . . . . . . .  34
     13.3.  MRT IP Tunnel Loopback Address Management  . . . . . . .  36
     13.4.  MRT-FRR in a Network with Degraded Connectivity  . . . .  36
     13.5.  Partial Deployment of MRT-FRR in a Network . . . . . . .  37
   14. IANA Considerations . . . . . . . . . . . . . . . . . . . . .  37
   15. Security Considerations . . . . . . . . . . . . . . . . . . .  38
   16. References  . . . . . . . . . . . . . . . . . . . . . . . . .  38
     16.1.  Normative References . . . . . . . . . . . . . . . . . .  38
     16.2.  Informative References . . . . . . . . . . . . . . . . .  39
   Appendix A.  Inter-level Forwarding Behavior for IS-IS  . . . . .  41
   Appendix B.  General Issues with Area Abstraction . . . . . . . .  42
   Acknowledgements  . . . . . . . . . . . . . . . . . . . . . . . .  43
   Contributors  . . . . . . . . . . . . . . . . . . . . . . . . . .  43
   Authors' Addresses  . . . . . . . . . . . . . . . . . . . . . . .  44

1.  Introduction

   This document describes a solution for IP/LDP fast reroute [RFC5714].
   MRT-FRR creates two alternate forwarding trees that are distinct from
   the primary next-hop forwarding used during stable operation.  These
   two trees are maximally diverse from each other, providing link and
   node protection for 100% of paths and failures as long as the failure
   does not cut the network into multiple pieces.  This document defines
   the architecture for IP/LDP fast reroute with MRT.

   [RFC7811] describes how to compute maximally redundant trees using a
   specific algorithm: the MRT Lowpoint algorithm.  The MRT Lowpoint
   algorithm is used by a router that supports the Default MRT Profile,
   as specified in this document.

   IP/LDP Fast Reroute using Maximally Redundant Trees (MRT-FRR) uses
   two maximally diverse forwarding topologies to provide alternates.  A
   primary next hop should be on only one of the diverse forwarding

Atlas, et al.                Standards Track                    [Page 3]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   topologies; thus, the other can be used to provide an alternate.
   Once traffic has been moved to one of the MRTs by one Point of Local
   Repair (PLR), that traffic is not subject to further repair actions
   by another PLR, even in the event of multiple simultaneous failures.
   Therefore, traffic repaired by MRT-FRR will not loop between
   different PLRs responding to different simultaneous failures.

   While MRT provides 100% protection for a single link or node failure,
   it may not protect traffic in the event of multiple simultaneous
   failures, nor does it take into account Shared Risk Link Groups
   (SRLGs).  Also, while the MRT Lowpoint algorithm is computationally
   efficient, it is also new.  In order for MRT-FRR to function
   properly, all of the other nodes in the network that support MRT must
   correctly compute next hops based on the same algorithm and install
   the corresponding forwarding state.  This is in contrast to other FRR
   methods where the calculation of backup paths generally involves
   repeated application of the simpler and widely deployed Shortest Path
   First (SPF) algorithm, and backup paths themselves reuse the
   forwarding state used for shortest path forwarding of normal traffic.
   Section 13 provides operational guidance related to verification of
   MRT forwarding paths.

   In addition to supporting IP and LDP unicast fast reroute, the
   diverse forwarding topologies and guarantee of 100% coverage permit
   fast-reroute technology to be applied to multicast traffic as
   described in [MRT-ARCH].  However, the current document does not
   address the multicast applications of MRTs.

1.1.  Importance of 100% Coverage

   Fast reroute is based upon the single failure assumption: that the
   time between single failures is long enough for a network to
   reconverge and start forwarding on the new shortest paths.  That does
   not imply that the network will only experience one failure or
   change.

   It is straightforward to analyze a particular network topology for
   coverage.  However, a real network does not always have the same
   topology.  For instance, maintenance events will take links or nodes
   out of use.  Simply costing out a link can have a significant effect
   on what Loop-Free Alternates (LFAs) are available.  Similarly, after
   a single failure has happened, the topology is changed and its
   associated coverage has changed as well.  Finally, many networks have
   new routers or links added and removed; each of those changes can
   have an effect on the coverage for topology-sensitive methods such as
   LFA and Remote LFA.  If fast reroute is important for the network
   services provided, then a method that guarantees 100% coverage is
   important to accommodate natural network topology changes.

Atlas, et al.                Standards Track                    [Page 4]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   When a network needs to use Ordered FIB [RFC6976] or Nearside
   Tunneling [RFC5715] as a micro-loop prevention mechanism [RFC5715],
   then the whole IGP area needs to have alternates available.  This
   allows the micro-loop prevention mechanism, which requires slower
   network convergence, to take the necessary time without adversely
   impacting traffic.  Without complete coverage, traffic to the
   unprotected destinations will be dropped for significantly longer
   than with current convergence -- where routers individually converge
   as fast as possible.  See Section 12.1 for more discussion of micro-
   loop prevention and MRTs.

1.2.  Partial Deployment and Backwards Compatibility

   MRT-FRR supports partial deployment.  Routers advertise their ability
   to support MRT.  Inside the MRT-capable connected group of routers
   (referred to as an MRT Island), the MRTs are computed.  Alternates to
   destinations outside the MRT Island are computed and depend upon the
   existence of a loop-free neighbor of the MRT Island for that
   destination.  MRT Islands are discussed in detail in Section 7, and
   partial deployment is discussed in more detail in Section 13.5.

2.  Requirements Language

   The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT",
   "SHOULD", "SHOULD NOT", "RECOMMENDED", "MAY", and "OPTIONAL" in this
   document are to be interpreted as described in [RFC2119].

3.  Terminology

   network graph:   A graph that reflects the network topology where all
      links connect exactly two nodes and broadcast links have been
      transformed into the standard pseudonode representation.

   cut-link:   A link whose removal partitions the network.  A cut-link
      by definition must be connected between two cut-vertices.  If
      there are multiple parallel links, then they are referred to as
      cut-links in this document if removing the set of parallel links
      would partition the network graph.

   cut-vertex:   A vertex whose removal partitions the network graph.

   2-connected:   A graph that has no cut-vertices.  This is a graph
      that requires two nodes to be removed before the network is
      partitioned.

   2-connected cluster:   A maximal set of nodes that are 2-connected.

   block:   Either a 2-connected cluster, a cut-edge, or a cut-vertex.

Atlas, et al.                Standards Track                    [Page 5]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   Redundant Trees (RT):   A pair of trees where the path from any node
      X to the root R along the first tree is node-disjoint with the
      path from the same node X to the root along the second tree.
      Redundant trees can always be computed in 2-connected graphs.

   Maximally Redundant Trees (MRT):   A pair of trees where the path
      from any node X to the root R along the first tree and the path
      from the same node X to the root along the second tree share the
      minimum number of nodes and the minimum number of links.  Each
      such shared node is a cut-vertex.  Any shared links are cut-links.
      In graphs that are not 2-connected, it is not possible to compute
      RTs.  However, it is possible to compute MRTs.  MRTs are maximally
      redundant in the sense that they are as redundant as possible
      given the constraints of the network graph.

   Directed Acyclic Graph (DAG):   A graph where all links are directed
      and there are no cycles in it.

   Almost Directed Acyclic Graph (ADAG):   A graph with one node
      designated as the root.  The graph has the property that if all
      links incoming to the root were removed, then the resulting graph
      would be a DAG.

   Generalized ADAG (GADAG):   A graph that is the combination of the
      ADAGs of all blocks.

   MRT-Red:   MRT-Red is used to describe one of the two MRTs; it is
      used to describe the associated forwarding topology and MPLS
      Multi-Topology IDentifier (MT-ID).  Specifically, MRT-Red is the
      decreasing MRT where links in the GADAG are taken in the direction
      from a higher topologically ordered node to a lower one.

   MRT-Blue:   MRT-Blue is used to describe one of the two MRTs; it is
      used to described the associated forwarding topology and MPLS
      MT-ID.  Specifically, MRT-Blue is the increasing MRT where links
      in the GADAG are taken in the direction from a lower topologically
      ordered node to a higher one.

   Rainbow MRT:   It is useful to have an MPLS MT-ID that refers to the
      multiple MRT forwarding topologies and to the default forwarding
      topology.  This is referred to as the Rainbow MRT MPLS MT-ID and
      is used by LDP to reduce signaling and permit the same label to
      always be advertised to all peers for the same (MT-ID, Prefix).

   MRT Island:   The set of routers that support a particular MRT
      profile and the links connecting them that support MRT.

Atlas, et al.                Standards Track                    [Page 6]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   Island Border Router (IBR):   A router in the MRT Island that is
      connected to a router not in the MRT Island, both of which are in
      a common area or level.

   Island Neighbor (IN):   A router that is not in the MRT Island but is
      adjacent to an IBR and in the same area/level as the IBR.

   named proxy-node:   A proxy-node can represent a destination prefix
      that can be attached to the MRT Island via at least two routers.
      It is named if there is a way that traffic can be encapsulated to
      reach specifically that proxy node; this could be because there is
      an LDP FEC (Forwarding Equivalence Class) for the associated
      prefix or because MRT-Red and MRT-Blue IP addresses are advertised
      in an undefined fashion for that proxy-node.

4.  Maximally Redundant Trees (MRT)

   A pair of Maximally Redundant Trees is a pair of directed spanning
   trees that provides maximally disjoint paths towards their common
   root.  Only links or nodes whose failure would partition the network
   (i.e., cut-links and cut-vertices) are shared between the trees.  The
   MRT Lowpoint algorithm is given in [RFC7811].  This algorithm can be
   computed in O(e + n log n); it is less than three SPFs.  This
   document describes how the MRTs can be used and not how to compute
   them.

   MRT provides destination-based trees for each destination.  Each
   router stores its normal primary next hop(s) as well as MRT-Blue next
   hop(s) and MRT-Red next hop(s) toward each destination.  The
   alternate will be selected between the MRT-Blue and MRT-Red.

   The most important thing to understand about MRTs is that for each
   pair of destination-routed MRTs, there is a path from every node X to
   the destination D on the Blue MRT that is as disjoint as possible
   from the path on the Red MRT.

   For example, in Figure 1, there is a network graph that is
   2-connected in (a) and associated MRTs in (b) and (c).  One can
   consider the paths from B to R; on the Blue MRT, the paths are
   B->F->D->E->R or B->C->D->E->R.  On the Red MRT, the path is B->A->R.
   These are clearly link and node-disjoint.  These MRTs are redundant
   trees because the paths are disjoint.

Atlas, et al.                Standards Track                    [Page 7]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   [E]---[D]---|           [E]<--[D]<--|                [E]-->[D]---|
    |     |    |            |     ^    |                       |    |
    |     |    |            V     |    |                       V    V
   [R]   [F]  [C]          [R]   [F]  [C]               [R]   [F]  [C]
    |     |    |                  ^    ^                 ^     |    |
    |     |    |                  |    |                 |     V    |
   [A]---[B]---|           [A]-->[B]---|                [A]<--[B]<--|

         (a)                     (b)                         (c)
   a 2-connected graph     Blue MRT towards R          Red MRT towards R

                      Figure 1: A 2-Connected Network

   By contrast, in Figure 2, the network in (a) is not 2-connected.  If
   C, G, or the link C<->G failed, then the network would be
   partitioned.  It is clearly impossible to have two link-disjoint or
   node-disjoint paths from G, J, or H to R.  The MRTs given in (b) and
   (c) offer paths that are as disjoint as possible.  For instance, the
   paths from B to R are the same as in Figure 1 and the path from G to
   R on the Blue MRT is G->C->D->E->R and on the Red MRT is
   G->C->B->A->R.

                        [E]---[D]---|     |---[J]
                         |     |    |     |    |
                         |     |    |     |    |
                        [R]   [F]  [C]---[G]   |
                         |     |    |     |    |
                         |     |    |     |    |
                        [A]---[B]---|     |---[H]

                       (a) a graph that is not 2-connected

         [E]<--[D]<--|         [J]        [E]-->[D]---|     |---[J]
          |     ^    |          |                |    |     |    ^
          V     |    |          |                V    V     V    |
         [R]   [F]  [C]<--[G]   |         [R]   [F]  [C]<--[G]   |
                ^    ^     ^    |          ^     |    |          |
                |    |     |    V          |     V    |          |
         [A]-->[B]---|     |---[H]        [A]<--[B]<--|         [H]

          (b) Blue MRT towards R          (c) Red MRT towards R

                Figure 2: A Network That Is Not 2-Connected

Atlas, et al.                Standards Track                    [Page 8]
RFC 7812              MRT Unicast FRR Architecture             June 2016

5.  MRT and Fast Reroute

   In normal IGP routing, each router has its Shortest Path Tree (SPT)
   to all destinations.  From the perspective of a particular
   destination, D, this looks like a reverse SPT (rSPT).  To use MRT, in
   addition, each destination D has two MRTs associated with it; by
   convention these will be called the MRT-Blue and MRT-Red.  MRT-FRR is
   realized by using multi-topology forwarding.  There is a MRT-Blue
   forwarding topology and a MRT-Red forwarding topology.

   Any IP/LDP fast-reroute technique beyond LFA requires an additional
   dataplane procedure, such as an additional forwarding mechanism.  The
   well-known options are multi-topology forwarding (used by MRT-FRR),
   tunneling (e.g., [RFC6981] or [RFC7490]), and per-interface
   forwarding (e.g., Loop-Free Failure Insensitive Routing in
   [EnyediThesis]).

   When there is a link or node failure affecting, but not partitioning,
   the network, each node will still have at least one path via one of
   the MRTs to reach the destination D.  For example, in Figure 2, B
   would normally forward traffic to R across the path B->A->R.  If the
   B<->A link fails, then B could use the MRT-Blue path B->F->D->E->R.

   As is always the case with fast-reroute technologies, forwarding does
   not change until a local failure is detected.  Packets are forwarded
   along the shortest path.  The appropriate alternate to use is pre-
   computed.  [RFC7811] describes exactly how to determine whether the
   MRT-Blue next hops or the MRT-Red next hops should be the MRT
   alternate next hops for a particular primary next hop to a particular
   destination.

   MRT alternates are always available to use.  It is a local decision
   whether to use an MRT alternate, an LFA, or some other type of
   alternate.

   As described in [RFC5286], when a worse failure than is anticipated
   happens, using LFAs that are not downstream neighbors can cause
   looping among alternates.  Section 1.1 of [RFC5286] gives an example
   of link-protecting alternates causing a loop on node failure.  Even
   if a worse failure than anticipated happens, the use of MRT
   alternates will not cause looping.

6.  Unicast Forwarding with MRT Fast Reroute

   There are three possible types of routers involved in forwarding a
   packet along an MRT path.  At the MRT ingress router, the packet
   leaves the shortest path to the destination and follows an MRT path
   to the destination.  In an FRR application, the MRT ingress router is

Atlas, et al.                Standards Track                    [Page 9]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   the PLR.  An MRT transit router takes a packet that arrives already
   associated with the particular MRT, and forwards it on that same MRT.
   In some situations (to be discussed later), the packet will need to
   leave the MRT path and return to the shortest path.  This takes place
   at the MRT egress router.  The MRT ingress and egress functionality
   may depend on the underlying type of packet being forwarded (LDP or
   IP).  The MRT transit functionality is independent of the type of
   packet being forwarded.  We first consider several MRT transit
   forwarding mechanisms.  Then, we look at how these forwarding
   mechanisms can be applied to carrying LDP and IP traffic.

6.1.  Introduction to MRT Forwarding Options

   The following options for MRT forwarding mechanisms are considered.

   1.  MRT LDP Labels

       A.  Topology-scoped FEC encoded using a single label

       B.  Topology and FEC encoded using a two-label stack

   2.  MRT IP Tunnels

       A.  MRT IPv4 Tunnels

       B.  MRT IPv6 Tunnels

6.1.1.  MRT LDP Labels

   We consider two options for the MRT forwarding mechanisms using MRT
   LDP labels.

6.1.1.1.  Topology-Scoped FEC Encoded Using a Single Label (Option 1A)

   [RFC7307] provides a mechanism to distribute FEC-label bindings
   scoped to a given MPLS topology (represented by MPLS MT-ID).  To use
   multi-topology LDP to create MRT forwarding topologies, we associate
   two MPLS MT-IDs with the MRT-Red and MRT-Blue forwarding topologies,
   in addition to the default shortest path forwarding topology with
   MT-ID=0.

   With this forwarding mechanism, a single label is distributed for
   each topology-scoped FEC.  For a given FEC in the default topology
   (call it default-FEC-A), two additional topology-scoped FECs would be
   created, corresponding to the Red and Blue MRT forwarding topologies
   (call them red-FEC-A and blue-FEC-A).  A router supporting this MRT
   transit forwarding mechanism advertises a different FEC-label binding
   for each of the three topology-scoped FECs.  When a packet is

Atlas, et al.                Standards Track                   [Page 10]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   received with a label corresponding to red-FEC-A (for example), an
   MRT transit router will determine the next hop for the MRT-Red
   forwarding topology for that FEC, swap the incoming label with the
   outgoing label corresponding to red-FEC-A learned from the MRT-Red
   next-hop router, and forward the packet.

   This forwarding mechanism has the useful property that the FEC
   associated with the packet is maintained in the labels at each hop
   along the MRT.  We will take advantage of this property when
   specifying how to carry LDP traffic on MRT paths using multi-topology
   LDP labels.

   This approach is very simple for hardware to support.  However, it
   reduces the label space for other uses, and it increases the memory
   needed to store the labels and the communication required by LDP to
   distribute FEC-label bindings.  In general, this approach will also
   increase the time needed to install the FRR entries in the Forwarding
   Information Base (FIB) and, hence, the time needed before the next
   failure can be protected.

   This forwarding option uses the LDP signaling extensions described in
   [RFC7307].  The MRT-specific LDP extensions required to support this
   option will be described elsewhere.

6.1.1.2.  Topology and FEC Encoded Using a Two-Label Stack (Option 1B)

   With this forwarding mechanism, a two-label stack is used to encode
   the topology and the FEC of the packet.  The top label (topology-id
   label) identifies the MRT forwarding topology, while the second label
   (FEC label) identifies the FEC.  The top label would be a new FEC
   type with two values corresponding to MRT Red and Blue topologies.

   When an MRT transit router receives a packet with a topology-id
   label, the router pops the top label and uses that it to guide the
   next-hop selection in combination with the next label in the stack
   (the FEC label).  The router then swaps the FEC label, using the FEC-
   label bindings learned through normal LDP mechanisms.  The router
   then pushes the topology-id label for the next hop.

   As with Option 1A, this forwarding mechanism also has the useful
   property that the FEC associated with the packet is maintained in the
   labels at each hop along the MRT.

   This forwarding mechanism has minimal usage of additional labels,
   memory and LDP communication.  It does increase the size of packets
   and the complexity of the required label operations and lookups.

Atlas, et al.                Standards Track                   [Page 11]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   This forwarding option is consistent with context-specific label
   spaces, as described in [RFC5331].  However, the precise LDP behavior
   required to support this option for MRT has not been specified.

6.1.1.3.  Compatibility of MRT LDP Label Options 1A and 1B

   MRT transit forwarding based on MRT LDP Label options 1A and 1B can
   coexist in the same network, with a packet being forwarded along a
   single MRT path using the single label of Option 1A for some hops and
   the two-label stack of Option 1B for other hops.  However, to
   simplify the process of MRT Island formation, we require that all
   routers in the MRT Island support at least one common forwarding
   mechanism.  As an example, the Default MRT Profile requires support
   for the MRT LDP Label Option 1A forwarding mechanism.  This ensures
   that the routers in an MRT island supporting the Default MRT Profile
   will be able to establish MRT forwarding paths based on MRT LDP Label
   Option 1A.  However, an implementation supporting Option 1A may also
   support Option 1B.  If the scaling or performance characteristics for
   the two options differ in this implementation, then it may be
   desirable for a pair of adjacent routers to use Option 1B labels
   instead of the Option 1A labels.  If those routers successfully
   negotiate the use of Option 1B labels, they are free to use them.
   This can occur without any of the other routers in the MRT Island
   being made aware of it.

   Note that this document only defines the Default MRT Profile, which
   requires support for the MRT LDP Label Option 1A forwarding
   mechanism.

6.1.1.4.  Required Support for MRT LDP Label Options

   If a router supports a profile that includes the MRT LDP Label Option
   1A for the MRT transit forwarding mechanism, then it MUST support
   Option 1A, which encodes topology-scoped FECs using a single label.
   The router MAY also support Option 1B.

   If a router supports a profile that includes the MRT LDP Label Option
   1B for the MRT transit forwarding mechanism, then it MUST support
   Option 1B, which encodes the topology and FEC using a two-label
   stack.  The router MAY also support Option 1A.

6.1.2.  MRT IP Tunnels (Options 2A and 2B)

   IP tunneling can also be used as an MRT transit forwarding mechanism.
   Each router supporting this MRT transit forwarding mechanism
   announces two additional loopback addresses and their associated MRT
   color.  Those addresses are used as destination addresses for MRT-
   blue and MRT-red IP tunnels, respectively.  The special loopback

Atlas, et al.                Standards Track                   [Page 12]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   addresses allow the transit nodes to identify the traffic as being
   forwarded along either the MRT-blue or MRT-red topology to reach the
   tunnel destination.  For example, an MRT ingress router can cause a
   packet to be tunneled along the MRT-red path to router X by
   encapsulating the packet using the MRT-red loopback address
   advertised by router X.  Upon receiving the packet, router X would
   remove the encapsulation header and forward the packet based on the
   original destination address.

   Either IPv4 (Option 2A) or IPv6 (Option 2B) can be used as the
   tunneling mechanism.

   Note that the two forwarding mechanisms using LDP Label options do
   not require additional loopbacks per router, as is required by the IP
   tunneling mechanism.  This is because LDP labels are used on a hop-
   by-hop basis to identify MRT-blue and MRT-red forwarding topologies.

6.2.  Forwarding LDP Unicast Traffic over MRT Paths

   In the previous section, we examined several options for providing
   MRT transit forwarding functionality, which is independent of the
   type of traffic being carried.  We now look at the MRT ingress
   functionality, which will depend on the type of traffic being carried
   (IP or LDP).  We start by considering LDP traffic.

   We also simplify the initial discussion by assuming that the network
   consists of a single IGP area, and that all routers in the network
   participate in MRT.  Other deployment scenarios that require MRT
   egress functionality are considered later in this document.

   In principle, it is possible to carry LDP traffic in MRT IP tunnels.
   However, for LDP traffic, it is desirable to avoid tunneling.
   Tunneling LDP traffic to a remote node requires knowledge of remote
   FEC-label bindings so that the LDP traffic can continue to be
   forwarded properly when it leaves the tunnel.  This requires targeted
   LDP sessions, which can add management complexity.  As described
   below, the two MRT forwarding mechanisms that use LDP labels do not
   require targeted LDP sessions.

6.2.1.  Forwarding LDP Traffic Using MRT LDP Label Option 1A

   The MRT LDP Label Option 1A forwarding mechanism uses topology-scoped
   FECs encoded using a single label as described in Section 6.1.1.1.
   When a PLR receives an LDP packet that needs to be forwarded on the
   MRT-Red (for example), it does a label swap operation, replacing the
   usual LDP label for the FEC with the MRT-Red label for that FEC
   received from the next-hop router in the MRT-Red computed by the PLR.
   When the next-hop router in the MRT-Red receives the packet with the

Atlas, et al.                Standards Track                   [Page 13]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   MRT-Red label for the FEC, the MRT transit forwarding functionality
   continues as described in Section 6.1.1.1.  In this way, the original
   FEC associated with the packet is maintained at each hop along the
   MRT.

6.2.2.  Forwarding LDP Traffic Using MRT LDP Label Option 1B

   The MRT LDP Label Option 1B forwarding mechanism encodes the topology
   and the FEC using a two-label stack as described in Section 6.1.1.2.
   When a PLR receives an LDP packet that needs to be forwarded on the
   MRT-Red, it first does a normal LDP label swap operation, replacing
   the incoming normal LDP label associated with a given FEC with the
   outgoing normal LDP label for that FEC learned from the next hop on
   the MRT-Red.  In addition, the PLR pushes the topology-id label
   associated with the MRT-Red, and forward the packet to the
   appropriate next hop on the MRT-Red.  When the next-hop router in the
   MRT-Red receives the packet with the MRT-Red label for the FEC, the
   MRT transit forwarding functionality continues as described in
   Section 6.1.1.2.  As with Option 1A, the original FEC associated with
   the packet is maintained at each hop along the MRT.

6.2.3.  Other Considerations for Forwarding LDP Traffic Using MRT LDP
        Labels

   Note that forwarding LDP traffic using MRT LDP Labels can be done
   without the use of targeted LDP sessions when an MRT path to the
   destination FEC is used.  The alternates selected in [RFC7811] use
   the MRT path to the destination FEC, so targeted LDP sessions are not
   needed.  If instead one found it desirable to have the PLR use an MRT
   to reach the primary next-next-hop for the FEC, and then continue
   forwarding the LDP packet along the shortest path from the primary
   next-next-hop, this would require tunneling to the primary next-next-
   hop and a targeted LDP session for the PLR to learn the FEC-label
   binding for primary next-next-hop to correctly forward the packet.

6.2.4.  Required Support for LDP Traffic

   For greatest hardware compatibility, routers implementing MRT fast
   reroute of LDP traffic MUST support Option 1A of encoding the MT-ID
   in the labels (See Section 9).

6.3.  Forwarding IP Unicast Traffic over MRT Paths

   For IPv4 traffic, there is no currently practical alternative except
   tunneling to gain the bits needed to indicate the MRT-Blue or MRT-Red
   forwarding topology.  For IPv6 traffic, in principle, one could
   define bits in the IPv6 options header to indicate the MRT-Blue or
   MRT-Red forwarding topology.  However, in this document, we have

Atlas, et al.                Standards Track                   [Page 14]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   chosen not to define a solution that would work for IPv6 traffic but
   not for IPv4 traffic.

   The choice of tunnel egress is flexible since any router closer to
   the destination than the next hop can work.  This architecture
   assumes that the original destination in the area is selected (see
   Section 11 for handling of multihomed prefixes); another possible
   choice is the next-next-hop towards the destination.  As discussed in
   the previous section, for LDP traffic, using the MRT to the original
   destination simplifies MRT-FRR by avoiding the need for targeted LDP
   sessions to the next-next-hop.  For IP, that consideration doesn't
   apply.

   Some situations require tunneling IP traffic along an MRT to a tunnel
   endpoint that is not the destination of the IP traffic.  These
   situations will be discussed in detail later.  We note here that an
   IP packet with a destination in a different IGP area/level from the
   PLR should be tunneled on the MRT to the Area Border Router (ABR) or
   Level Border Router (LBR) on the shortest path to the destination.
   For a destination outside of the PLR's MRT Island, the packet should
   be tunneled on the MRT to a non-proxy-node immediately before the
   named proxy-node on that particular color MRT.

6.3.1.  Tunneling IP Traffic Using MRT LDP Labels

   An IP packet can be tunneled along an MRT path by pushing the
   appropriate MRT LDP label(s).  Tunneling using LDP labels, as opposed
   to IP headers, has the advantage that more installed routers can do
   line-rate encapsulation and decapsulation using LDP than using IP.
   Also, no additional IP addresses would need to be allocated or
   signaled.

6.3.1.1.  Tunneling IP Traffic Using MRT LDP Label Option 1A

   The MRT LDP Label Option 1A forwarding mechanism uses topology-scoped
   FECs encoded using a single label as described in Section 6.1.1.1.
   When a PLR receives an IP packet that needs to be forwarded on the
   MRT-Red to a particular tunnel endpoint, it does a label push
   operation.  The label pushed is the MRT-Red label for a FEC
   originated by the tunnel endpoint, learned from the next hop on the
   MRT-Red.

6.3.1.2.  Tunneling IP Traffic Using MRT LDP Label Option 1B

   The MRT LDP Label Option 1B forwarding mechanism encodes the topology
   and the FEC using a two-label stack as described in Section 6.1.1.2.
   When a PLR receives an IP packet that needs to be forwarded on the
   MRT-Red to a particular tunnel endpoint, the PLR pushes two labels on

Atlas, et al.                Standards Track                   [Page 15]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   the IP packet.  The first (inner) label is the normal LDP label
   learned from the next hop on the MRT-Red, associated with a FEC
   originated by the tunnel endpoint.  The second (outer) label is the
   topology-id label associated with the MRT-Red.

   For completeness, we note here a potential variation that uses a
   single label as opposed to two labels.  In order to tunnel an IP
   packet over an MRT to the destination of the IP packet as opposed to
   an arbitrary tunnel endpoint, one could just push a topology-id label
   directly onto the packet.  An MRT transit router would need to pop
   the topology-id label, do an IP route lookup in the context of that
   topology-id label, and push the topology-id label.

6.3.2.  Tunneling IP Traffic Using MRT IP Tunnels

   In order to tunnel over the MRT to a particular tunnel endpoint, the
   PLR encapsulates the original IP packet with an additional IP header
   using the MRT-Blue or MRT-Red loopback address of the tunnel
   endpoint.

6.3.3.  Required Support for IP Traffic

   For greatest hardware compatibility and ease in removing the MRT-
   topology marking at area/level boundaries, routers that support MPLS
   and implement IP MRT fast reroute MUST support tunneling of IP
   traffic using MRT LDP Label Option 1A (topology-scoped FEC encoded
   using a single label).

7.  MRT Island Formation

   The purpose of communicating support for MRT is to indicate that the
   MRT-Blue and MRT-Red forwarding topologies are created for transit
   traffic.  The MRT architecture allows for different, potentially
   incompatible options.  In order to create consistent MRT forwarding
   topologies, the routers participating in a particular MRT Island need
   to use the same set of options.  These options are grouped into MRT
   profiles.  In addition, the routers in an MRT Island all need to use
   the same set of nodes and links within the Island when computing the
   MRT forwarding topologies.  This section describes the information
   used by a router to determine the nodes and links to include in a
   particular MRT Island.  Some information already exists in the IGPs
   and can be used by MRT in Island formation, subject to the
   interpretation defined here.

   Other information needs to be communicated between routers for which
   there do not currently exist protocol extensions.  This new
   information needs to be shared among all routers in an IGP area, so

Atlas, et al.                Standards Track                   [Page 16]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   defining extensions to existing IGPs to carry this information makes
   sense.  These new protocol extensions will be defined elsewhere.

   Deployment scenarios using multi-topology OSPF or IS-IS, or running
   both IS-IS and OSPF on the same routers is out of scope for this
   specification.  As with LFA, MRT-FRR does not support OSPF Virtual
   Links.

   At a high level, an MRT Island is defined as the set of routers
   supporting the same MRT profile, in the same IGP area/level and with
   bidirectional links interconnecting those routers.  More detailed
   descriptions of these criteria are given below.

7.1.  IGP Area or Level

   All links in an MRT Island are bidirectional and belong to the same
   IGP area or level.  For IS-IS, a link belonging to both Level-1 and
   Level-2 would qualify to be in multiple MRT Islands.  A given ABR or
   LBR can belong to multiple MRT Islands, corresponding to the areas or
   levels in which it participates.  Inter-area forwarding behavior is
   discussed in Section 10.

7.2.  Support for a Specific MRT Profile

   All routers in an MRT Island support the same MRT profile.  A router
   advertises support for a given MRT profile using an 8-bit MRT Profile
   ID value.  The "MRT Profile Identifier Registry" is defined in this
   document.  The protocol extensions for advertising the MRT Profile ID
   value will be defined in a future specification.  A given router can
   support multiple MRT profiles and participate in multiple MRT
   Islands.  The options that make up an MRT Profile, as well as the
   Default MRT Profile, are defined in Section 8.

   The process of MRT Island formation takes place independently for
   each MRT profile advertised by a given router.  For example, consider
   a network with 40 connected routers in the same area advertising
   support for MRT Profile A and MRT Profile B.  Two distinct MRT
   Islands will be formed corresponding to Profile A and Profile B, with
   each island containing all 40 routers.  A complete set of maximally
   redundant trees will be computed for each island following the rules
   defined for each profile.  If we add a third MRT Profile to this
   example, with Profile C being advertised by a connected subset of 30
   routers, there will be a third MRT Island formed corresponding to
   those 30 routers, and a third set of maximally redundant trees will
   be computed.  In this example, 40 routers would compute and install
   two sets of MRT transit forwarding entries corresponding to Profiles
   A and B, while 30 routers would compute and install three sets of MRT
   transit forwarding entries corresponding to Profiles A, B, and C.

Atlas, et al.                Standards Track                   [Page 17]
RFC 7812              MRT Unicast FRR Architecture             June 2016

7.3.  Excluding Additional Routers and Interfaces from the MRT Island

   MRT takes into account existing IGP mechanisms for discouraging
   traffic from using particular links and routers, and it introduces an
   MRT-specific exclusion mechanism for links.

7.3.1.  Existing IGP Exclusion Mechanisms

   Mechanisms for discouraging traffic from using particular links
   already exist in IS-IS and OSPF.  In IS-IS, an interface configured
   with a metric of 2^24-2 (0xFFFFFE) will only be used as a last
   resort.  (An interface configured with a metric of 2^24-1 (0xFFFFFF)
   will not be advertised into the topology.)  In OSPF, an interface
   configured with a metric of 2^16-1 (0xFFFF) will only be used as a
   last resort.  These metrics can be configured manually to enforce
   administrative policy or they can be set in an automated manner as
   with LDP IGP synchronization [RFC5443].

   Mechanisms also already exist in IS-IS and OSPF to discourage or
   prevent transit traffic from using a particular router.  In IS-IS,
   the overload bit is prevents transit traffic from using a router.

   For OSPFv2 and OSPFv3, [RFC6987] specifies setting all outgoing
   interface metrics to 0xFFFF to discourage transit traffic from using
   a router.  ([RFC6987] defines the metric value 0xFFFF as
   MaxLinkMetric, a fixed architectural value for OSPF.)  For OSPFv3,
   [RFC5340] specifies that a router be excluded from the intra-area SPT
   computation if the V6-bit or R-bit of the Link State Advertisement
   (LSA) options is not set in the Router LSA.

   The following rules for MRT Island formation ensure that MRT FRR
   protection traffic does not use a link or router that is discouraged
   or prevented from carrying traffic by existing IGP mechanisms.

   1.  A bidirectional link MUST be excluded from an MRT Island if
       either the forward or reverse cost on the link is 0xFFFFFE (for
       IS-IS) or 0xFFFF for OSPF.

   2.  A router MUST be excluded from an MRT Island if it is advertised
       with the overload bit set (for IS-IS), or it is advertised with
       metric values of 0xFFFF on all of its outgoing interfaces (for
       OSPFv2 and OSPFv3).

   3.  A router MUST be excluded from an MRT Island if it is advertised
       with either the V6-bit or R-bit of the LSA options not set in the
       Router LSA.

Atlas, et al.                Standards Track                   [Page 18]
RFC 7812              MRT Unicast FRR Architecture             June 2016

7.3.2.  MRT-Specific Exclusion Mechanism

   This architecture also defines a means of excluding an otherwise
   usable link from MRT Islands.  The protocol extensions for
   advertising that a link is MRT-Ineligible will be defined elsewhere.
   A link with either interface advertised as MRT-Ineligible MUST be
   excluded from an MRT Island.  Note that an interface advertised as
   MRT-Ineligible by a router is ineligible with respect to all profiles
   advertised by that router.

7.4.  Connectivity

   All of the routers in an MRT Island MUST be connected by
   bidirectional links with other routers in the MRT Island.
   Disconnected MRT Islands will operate independently of one another.

7.5.  Algorithm for MRT Island Identification

   An algorithm that allows a computing router to identify the routers
   and links in the local MRT Island satisfying the above rules is given
   in Section 5.2 of [RFC7811].

8.  MRT Profile

   An MRT Profile is a set of values and options related to MRT
   behavior.  The complete set of options is designated by the
   corresponding 8-bit Profile ID value.

   This document specifies the values and options that correspond to the
   Default MRT Profile (Profile ID = 0).  Future documents may define
   other MRT Profiles by specifying the MRT Profile Options below.

8.1.  MRT Profile Options

   Below is a description of the values and options that define an MRT
   Profile.

   MRT Algorithm:  This identifies the particular algorithm for
      computing maximally redundant trees used by the router for this
      profile.

   MRT-Red MT-ID:  This specifies the MPLS MT-ID to be associated with
      the MRT-Red forwarding topology.  It is allocated from the MPLS
      Multi-Topology Identifiers Registry.

   MRT-Blue MT-ID:  This specifies the MPLS MT-ID to be associated with
      the MRT-Blue forwarding topology.  It is allocated from the MPLS
      Multi-Topology Identifiers Registry.

Atlas, et al.                Standards Track                   [Page 19]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   GADAG Root Selection Policy:  This specifies the manner in which the
      GADAG root is selected.  All routers in the MRT Island need to use
      the same GADAG root in the calculations used construct the MRTs.
      A valid GADAG Root Selection Policy MUST be such that each router
      in the MRT Island chooses the same GADAG root based on information
      available to all routers in the MRT Island.  GADAG Root Selection
      Priority values, advertised as router-specific MRT parameters, MAY
      be used in a GADAG Root Selection Policy.

   MRT Forwarding Mechanism:  This specifies which forwarding mechanism
      the router uses to carry transit traffic along MRT paths.  A
      router that supports a specific MRT forwarding mechanism must
      program appropriate next hops into the forwarding plane.  The
      current options are MRT LDP Label Option 1A, MRT LDP Label Option
      1B, IPv4 Tunneling, IPv6 Tunneling, and None.  If IPv4 is
      supported, then both MRT-Red and MRT-Blue IPv4 loopback addresses
      SHOULD be specified.  If IPv6 is supported, both MRT-Red and MRT-
      Blue IPv6 loopback addresses SHOULD be specified.

   Recalculation:  Recalculation specifies the process and timing by
      which new MRTs are computed after the topology has been modified.

   Area/Level Border Behavior:  This specifies how traffic traveling on
      the MRT-Blue or MRT-Red in one area should be treated when it
      passes into another area.

   Other Profile-Specific Behavior:  Depending upon the use-case for the
      profile, there may be additional profile-specific behavior.

   When a new MRT Profile is defined, new and unique values should be
   allocated from the "MPLS Multi-Topology Identifiers Registry",
   corresponding to the MRT-Red and MRT-Blue MT-ID values for the new
   MRT Profile.

   If a router advertises support for multiple MRT profiles, then it
   MUST create the transit forwarding topologies for each of those,
   unless the profile specifies the None option for the MRT Forwarding
   Mechanism.

   The ability of MRT-FRR to support transit forwarding entries for
   multiple profiles can be used to facilitate a smooth transition from
   an existing deployed MRT Profile to a new MRT Profile.  The new
   profile can be activated in parallel with the existing profile,
   installing the transit forwarding entries for the new profile without
   affecting the transit forwarding entries for the existing profile.
   Once the new transit forwarding state has been verified, the router
   can be configured to use the alternates computed by the new profile
   in the event of a failure.

Atlas, et al.                Standards Track                   [Page 20]
RFC 7812              MRT Unicast FRR Architecture             June 2016

8.2.  Router-Specific MRT Parameters

   For some profiles, additional router-specific MRT parameters may need
   to be advertised.  While the set of options indicated by the MRT
   Profile ID must be identical for all routers in an MRT Island, these
   router-specific MRT parameters may differ between routers in the same
   MRT Island.  Several such parameters are described below.

   GADAG Root Selection Priority:   A GADAG Root Selection Policy MAY
      rely on the GADAG Root Selection Priority values advertised by
      each router in the MRT Island.  A GADAG Root Selection Policy may
      use the GADAG Root Selection Priority to allow network operators
      to configure a parameter to ensure that the GADAG root is selected
      from a particular subset of routers.  An example of this use of
      the GADAG Root Selection Priority value by the GADAG Root
      Selection Policy is given in the Default MRT Profile below.

   MRT-Red Loopback Address:   This provides the router's loopback
      address to reach the router via the MRT-Red forwarding topology.
      It can be specified for either IPv4 or IPv6.  Note that this
      parameter is not needed to support the Default MRT Profile.

   MRT-Blue Loopback Address:   This provides the router's loopback
      address to reach the router via the MRT-Blue forwarding topology.
      It can be specified for either IPv4 and IPv6.  Note that this
      parameter is not needed to support the Default MRT Profile.

   Protocol extensions for advertising a router's GADAG Root Selection
   Priority value will be defined in other documents.  Protocol
   extensions for the advertising a router's MRT-Red and MRT-Blue
   loopback addresses will be defined elsewhere.

8.3.  Default MRT Profile

   The following set of options defines the Default MRT Profile.  The
   Default MRT Profile is indicated by the MRT Profile ID value of 0.

   MRT Algorithm:   MRT Lowpoint algorithm defined in [RFC7811].

   MRT-Red MPLS MT-ID:   This temporary registration has been allocated
      from the "MPLS Multi-Topology Identifiers" registry.  The
      registration request appears in [LDP-MRT].

   MRT-Blue MPLS MT-ID:   This temporary registration has been allocated
      from the "MPLS Multi-Topology Identifiers" registry.  The
      registration request appears in [LDP-MRT].

Atlas, et al.                Standards Track                   [Page 21]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   GADAG Root Selection Policy:   Among the routers in the MRT Island
      with the lowest numerical value advertised for GADAG Root
      Selection Priority, an implementation MUST pick the router with
      the highest Router ID to be the GADAG root.  Note that a lower
      numerical value for GADAG Root Selection Priority indicates a
      higher preference for selection.

   Forwarding Mechanisms:   MRT LDP Label Option 1A

   Recalculation:   Recalculation of MRTs SHOULD occur as described in
      Section 12.2.  This allows the MRT forwarding topologies to
      support IP/LDP fast-reroute traffic.

   Area/Level Border Behavior:   As described in Section 10, ABRs/LBRs
      SHOULD ensure that traffic leaving the area also exits the MRT-Red
      or MRT-Blue forwarding topology.

9.  LDP Signaling Extensions and Considerations

   The protocol extensions for LDP will be defined in another document.
   A router must indicate that it has the ability to support MRT; having
   this explicit allows the use of MRT-specific processing, such as
   special handling of FECs sent with the Rainbow MRT MT-ID.

   A FEC sent with the Rainbow MRT MT-ID indicates that the FEC applies
   to all the MRT-Blue and MRT-Red MT-IDs in supported MRT profiles.
   The FEC-label bindings for the default shortest-path-based MT-ID 0
   MUST still be sent (even though it could be inferred from the Rainbow
   FEC-label bindings) to ensure continuous operation of normal LDP
   forwarding.  The Rainbow MRT MT-ID is defined to provide an easy way
   to handle the special signaling that is needed at ABRs or LBRs.  It
   avoids the problem of needing to signal different MPLS labels to
   different LDP neighbors for the same FEC.  Because the Rainbow MRT
   MT-ID is used only by ABRs/LBRs or an LDP egress router, it is not
   MRT profile specific.

   The value of the Rainbow MRT MPLS MT-ID has been temporarily
   allocated from the "MPLS Multi-Topology Identifiers" registry.  The
   registration request appears in [LDP-MRT].

Atlas, et al.                Standards Track                   [Page 22]
RFC 7812              MRT Unicast FRR Architecture             June 2016

10.  Inter-area Forwarding Behavior

   An ABR/LBR has two forwarding roles.  First, it forwards traffic
   within areas.  Second, it forwards traffic from one area into
   another.  These same two roles apply for MRT transit traffic.
   Traffic on MRT-Red or MRT-Blue destined inside the area needs to stay
   on MRT-Red or MRT-Blue in that area.  However, it is desirable for
   traffic leaving the area to also exit MRT-Red or MRT-Blue and return
   to shortest path forwarding.

   For unicast MRT-FRR, the need to stay on an MRT forwarding topology
   terminates at the ABR/LBR whose best route is via a different area/
   level.  It is highly desirable to go back to the default forwarding
   topology when leaving an area/level.  There are three basic reasons
   for this.  First, the default topology uses shortest paths; the
   packet will thus take the shortest possible route to the destination.
   Second, this allows a single router failure that manifests itself in
   multiple areas (as would be the case with an ABR/LBR failure) to be
   separately identified and repaired around.  Third, the packet can be
   fast-rerouted again, if necessary, due to a second distinct failure
   in a different area.

   In OSPF, an ABR that receives a packet on MRT-Red or MRT-Blue towards
   destination Z should continue to forward the packet along MRT-Red or
   MRT-Blue only if the best route to Z is in the same OSPF area as the
   interface that the packet was received on.  Otherwise, the packet
   should be removed from MRT-Red or MRT-Blue and forwarded on the
   shortest-path default forwarding topology.

   The above description applies to OSPF.  The same essential behavior
   also applies to IS-IS if one substitutes IS-IS level for OSPF area.
   However, the analogy with OSPF is not exact.  An interface in OSPF
   can only be in one area, whereas an interface in IS-IS can be in both
   Level-1 and Level-2.  Therefore, to avoid confusion and address this
   difference, we explicitly describe the behavior for IS-IS in
   Appendix A.  In the following sections, only the OSPF terminology is
   used.

10.1.  ABR Forwarding Behavior with MRT LDP Label Option 1A

   For LDP forwarding where a single label specifies (MT-ID, FEC), the
   ABR is responsible for advertising the proper label to each neighbor.
   Assume that an ABR has allocated three labels for a particular
   destination: L_primary, L_blue, and L_red.  To those routers in the
   same area as the best route to the destination, the ABR advertises
   the following FEC-label bindings: L_primary for the default topology,
   L_blue for the MRT-Blue MT-ID, and L_red for the MRT-Red MT-ID, as
   expected.  However, to routers in other areas, the ABR advertises the

Atlas, et al.                Standards Track                   [Page 23]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   following FEC-label bindings: L_primary for the default topology and
   L_primary for the Rainbow MRT MT-ID.  Associating L_primary with the
   Rainbow MRT MT-ID causes the receiving routers to use L_primary for
   the MRT-Blue MT-ID and for the MRT-Red MT-ID.

   The ABR installs all next hops for the best area: primary next hops
   for L_primary, MRT-Blue next hops for L_blue, and MRT-Red next hops
   for L_red.  Because the ABR advertised (Rainbow MRT MT-ID, FEC) with
   L_primary to neighbors not in the best area, packets from those
   neighbors will arrive at the ABR with a label L_primary and will be
   forwarded into the best area along the default topology.  By
   controlling what labels are advertised, the ABR can thus enforce that
   packets exiting the area do so on the shortest-path default topology.

10.1.1.  Motivation for Creating the Rainbow-FEC

   The desired forwarding behavior could be achieved in the above
   example without using the Rainbow-FEC.  This could be done by having
   the ABR advertise the following FEC-label bindings to neighbors not
   in the best area: L1_primary for the default topology, L1_primary for
   the MRT-Blue MT-ID, and L1_primary for the MRT-Red MT-ID.  Doing this
   would require machinery to spoof the labels used in FEC-label binding
   advertisements on a per-neighbor basis.  Such label-spoofing
   machinery does not currently exist in most LDP implementations and
   doesn't have other obvious uses.

   Many existing LDP implementations do however have the ability to
   filter FEC-label binding advertisements on a per-neighbor basis.  The
   Rainbow-FEC allows us to reuse the existing per-neighbor FEC
   filtering machinery to achieve the desired result.  By introducing
   the Rainbow FEC, we can use per-neighbor FEC-filtering machinery to
   advertise the FEC-label binding for the Rainbow-FEC (and filter those
   for MRT-Blue and MRT-Red) to non-best-area neighbors of the ABR.

   An ABR may choose to either distribute the Rainbow-FEC or distribute
   separate MRT-Blue and MRT-Red advertisements.  This is a local
   choice.  A router that supports the MRT LDP Label Option 1A
   forwarding mechanism MUST be able to receive and correctly interpret
   the Rainbow-FEC.

10.2.  ABR Forwarding Behavior with IP Tunneling (Option 2)

   If IP tunneling is used, then the ABR behavior is dependent upon the
   outermost IP address.  If the outermost IP address is an MRT loopback
   address of the ABR, then the packet is decapsulated and forwarded
   based upon the inner IP address, which should go on the default SPT
   topology.  If the outermost IP address is not an MRT loopback address
   of the ABR, then the packet is simply forwarded along the associated

Atlas, et al.                Standards Track                   [Page 24]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   forwarding topology.  A PLR sending traffic to a destination outside
   its local area/level will pick the MRT and use the associated MRT
   loopback address of the selected ABR advertising the lowest cost to
   the external destination.

   Thus, for these two MRT forwarding mechanisms (MRT LDP Label Option
   1A and IP tunneling Option 2), there is no need for additional
   computation or per-area forwarding state.

10.3.  ABR Forwarding Behavior with MRT LDP Label Option 1B

   The other MRT forwarding mechanism described in Section 6 uses two
   labels: a topology-id label and a FEC-label.  This mechanism would
   require that any router whose MRT-Red or MRT-Blue next hop is an ABR
   would need to determine whether the ABR would forward the packet out
   of the area/level.  If so, then that router should pop off the
   topology-id label before forwarding the packet to the ABR.

   For example, in Figure 3, if node H fails, node E has to put traffic
   towards prefix p onto MRT-Red.  But since node D knows that ABR1 will
   use a best route from another area, it is safe for D to pop the
   topology-id label and just forward the packet to ABR1 along the MRT-
   Red next hop.  ABR1 will use the shortest path in Area 10.

   In all cases for IS-IS and most cases for OSPF, the penultimate
   router can determine what decision the adjacent ABR will make.  The
   one case where it can't be determined is when two ASBRs are in
   different non-backbone areas attached to the same ABR, then the
   ASBR's Area ID may be needed for tie-breaking (prefer the route with
   the largest OSPF area ID), and the Area ID isn't announced as part of
   the ASBR LSA.  In this one case, suboptimal forwarding along the MRT
   in the other area would happen.  If that becomes a realistic
   deployment scenario, protocol extensions could be developed to
   address this issue.

Atlas, et al.                Standards Track                   [Page 25]
RFC 7812              MRT Unicast FRR Architecture             June 2016

       +----[C]----     --[D]--[E]                --[D]--[E]
       |           \   /         \               /         \
   p--[A] Area 10 [ABR1]  Area 0 [H]--p   +-[ABR1]  Area 0 [H]-+
       |           /   \         /        |      \         /   |
       +----[B]----     --[F]--[G]        |       --[F]--[G]   |
                                          |                    |
                                          | other              |
                                          +----------[p]-------+
                                            area

         (a) Example topology        (b) Proxy node view in Area 0 nodes

                   +----[C]<---       [D]->[E]
                   V           \             \
                +-[A] Area 10 [ABR1]  Area 0 [H]-+
                |  ^           /             /   |
                |  +----[B]<---       [F]->[G]   V
                |                                |
                +------------->[p]<--------------+

                  (c) rSPT towards destination p

             ->[D]->[E]                         -<[D]<-[E]
            /          \                       /         \
       [ABR1]  Area 0 [H]-+             +-[ABR1]         [H]
                      /   |             |      \
               [F]->[G]   V             V       -<[F]<-[G]
                          |             |
                          |             |
                [p]<------+             +--------->[p]

     (d) MRT-Blue in Area 0           (e) MRT-Red in Area 0

                Figure 3: ABR Forwarding Behavior and MRTs

11.  Prefixes Multiply Attached to the MRT Island

   How a computing router S determines its local MRT Island for each
   supported MRT profile is already discussed in Section 7.

   There are two types of prefixes or FECs that may be multiply attached
   to an MRT Island.  The first type are multihomed prefixes that
   usually connect at a domain or protocol boundary.  The second type
   represent routers that do not support the profile for the MRT Island.

Atlas, et al.                Standards Track                   [Page 26]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   The key difference is whether the traffic, once out of the MRT
   Island, might re-enter the MRT Island if a loop-free exit point is
   not selected.

   FRR using LFA has the useful property that it is able to protect
   multihomed prefixes against ABR failure.  For instance, if a prefix
   from the backbone is available via both ABR A and ABR B, if A fails,
   then the traffic should be redirected to B.  This can be accomplished
   with MRT FRR as well.

   If ASBR protection is desired, this has additional complexities if
   the ASBRs are in different areas.  Similarly, protecting labeled BGP
   traffic in the event of an ASBR failure has additional complexities
   due to the per-ASBR label spaces involved.

   As discussed in [RFC5286], a multihomed prefix could be:

   o  An out-of-area prefix announced by more than one ABR,

   o  An AS-External route announced by two or more ASBRs,

   o  A prefix with iBGP multipath to different ASBRs,

   o  etc.

   See Appendix B for a discussion of a general issue with multihomed
   prefixes connected in two different areas.

   There are also two different approaches to protection.  The first is
   tunnel endpoint selection where the PLR picks a router to tunnel to
   where that router is loop-free with respect to the failure-point.
   Conceptually, the set of candidate routers to provide LFAs expands to
   all routers that can be reached via an MRT alternate, attached to the
   prefix.

   The second is to use a proxy-node, which can be named via MPLS label
   or IP address, and pick the appropriate label or IP address to reach
   it on either MRT-Blue or MRT-Red as appropriate to avoid the failure
   point.  A proxy-node can represent a destination prefix that can be
   attached to the MRT Island via at least two routers.  It is termed a
   named proxy-node if there is a way that traffic can be encapsulated
   to reach specifically that proxy-node; this could be because there is
   an LDP FEC for the associated prefix or because MRT-Red and MRT-Blue
   IP addresses are advertised (in an as-yet undefined fashion) for that
   proxy-node.  Traffic to a named proxy-node may take a different path
   than traffic to the attaching router; traffic is also explicitly
   forwarded from the attaching router along a predetermined interface
   towards the relevant prefixes.

Atlas, et al.                Standards Track                   [Page 27]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   For IP traffic, multihomed prefixes can use tunnel endpoint
   selection.  For IP traffic that is destined to a router outside the
   MRT Island, if that router is the egress for a FEC advertised into
   the MRT Island, then the named proxy-node approach can be used.

   For LDP traffic, there is always a FEC advertised into the MRT
   Island.  The named proxy-node approach should be used, unless the
   computing router S knows the label for the FEC at the selected tunnel
   endpoint.

   If a FEC is advertised from outside the MRT Island into the MRT
   Island and the forwarding mechanism specified in the profile includes
   LDP Label Option 1A, then the routers learning that FEC MUST also
   advertise labels for (MRT-Red, FEC) and (MRT-Blue, FEC) to neighbors
   inside the MRT Island.  Any router receiving a FEC corresponding to a
   router outside the MRT Island or to a multihomed prefix MUST compute
   and install the transit MRT-Blue and MRT-Red next hops for that FEC.
   The FEC-label bindings for the topology-scoped FECs ((MT-ID 0, FEC),
   (MRT-Red, FEC), and (MRT-Blue, FEC)) MUST also be provided via LDP to
   neighbors inside the MRT Island.

11.1.  Protecting Multihomed Prefixes Using Tunnel Endpoint Selection

   Tunnel endpoint selection is a local matter for a router in the MRT
   Island since it pertains to selecting and using an alternate and does
   not affect the transit MRT-Red and MRT-Blue forwarding topologies.

   Let the computing router be S and the next hop F be the node whose
   failure is to be avoided.  Let the destination be prefix p.  Have A
   be the router to which the prefix p is attached for S's shortest path
   to p.

   The candidates for tunnel endpoint selection are those to which the
   destination prefix is attached in the area/level.  For a particular
   candidate B, it is necessary to determine if B is loop-free to reach
   p with respect to S and F for node-protection or at least with
   respect to S and the link (S, F) for link-protection.  If B will
   always prefer to send traffic to p via a different area/level, then
   this is definitional.  Otherwise, distance-based computations are
   necessary and an SPF from B's perspective may be necessary.  The
   following equations give the checks needed; the rationale is similar
   to that given in [RFC5286].  In the inequalities below, D_opt(X,Y)
   means the shortest distance from node X to node Y, and D_opt(X,p)
   means the shortest distance from node X to prefix p.

   Loop-Free for S: D_opt(B, p) < D_opt(B, S) + D_opt(S, p)

   Loop-Free for F: D_opt(B, p) < D_opt(B, F) + D_opt(F, p)

Atlas, et al.                Standards Track                   [Page 28]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   The latter is equivalent to the following, which avoids the need to
   compute the shortest path from F to p.

  Loop-Free for F: D_opt(B, p) < D_opt(B, F) + D_opt(S, p) - D_opt(S, F)

   Finally, the rules for Endpoint selection are given below.  The basic
   idea is to repair to the prefix-advertising router selected for the
   shortest-path and only to select and tunnel to a different endpoint
   if necessary (e.g., A=F or F is a cut-vertex or the link (S,F) is a
   cut-link).

   1.  Does S have a node-protecting alternate to A?  If so, select
       that.  Tunnel the packet to A along that alternate.  For example,
       if LDP is the forwarding mechanism, then push the label (MRT-Red,
       A) or (MRT-Blue, A) onto the packet.

   2.  If not, then is there a router B that is loop-free to reach p
       while avoiding both F and S?  If so, select B as the endpoint.
       Determine the MRT alternate to reach B while avoiding F.  Tunnel
       the packet to B along that alternate.  For example, with LDP,
       push the label (MRT-Red, B) or (MRT-Blue, B) onto the packet.

   3.  If not, then does S have a link-protecting alternate to A?  If
       so, select that.

   4.  If not, then is there a router B that is loop-free to reach p
       while avoiding S and the link from S to F?  If so, select B as
       the endpoint and the MRT alternate for reaching B from S that
       avoid the link (S,F).

   The tunnel endpoint selected will receive a packet destined to itself
   and, being the egress, will pop that MPLS label (or have signaled
   Implicit Null) and forward based on what is underneath.  This
   suffices for IP traffic since the tunnel endpoint can use the IP
   header of the original packet to continue forwarding the packet.
   However, tunneling of LDP traffic requires targeted LDP sessions for
   learning the FEC-label binding at the tunnel endpoint.

11.2.  Protecting Multihomed Prefixes Using Named Proxy-Nodes

   Instead, the named proxy-node method works with LDP traffic without
   the need for targeted LDP sessions.  It also has a clear advantage
   over tunnel endpoint selection, in that it is possible to explicitly
   forward from the MRT Island along an interface to a loop-free island
   neighbor when that interface may not be a primary next hop.

Atlas, et al.                Standards Track                   [Page 29]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   A named proxy-node represents one or more destinations and, for LDP
   forwarding, has a FEC associated with it that is signaled into the
   MRT Island.  Therefore, it is possible to explicitly label packets to
   go to (MRT-Red, FEC) or (MRT-Blue, FEC); at the border of the MRT
   Island, the label will swap to meaning (MT-ID 0, FEC).  It would be
   possible to have named proxy-nodes for IP forwarding, but this would
   require extensions to signal two IP addresses to be associated with
   MRT-Red and MRT-Blue for the proxy-node.  A named proxy-node can be
   uniquely represented by the two routers in the MRT Island to which it
   is connected.  The extensions to signal such IP addresses will be
   defined elsewhere.  The details of what label-bindings must be
   originated will be described in another document.

   Computing the MRT next hops to a named proxy-node and the MRT
   alternate for the computing router S to avoid a particular failure
   node F is straightforward.  The details of the simple constant-time
   functions, Select_Proxy_Node_NHs() and
   Select_Alternates_Proxy_Node(), are given in [RFC7811].  A key point
   is that computing these MRT next hops and alternates can be done as
   new named proxy-nodes are added or removed without requiring a new
   MRT computation or impacting other existing MRT paths.  This maps
   very well to, for example, how OSPFv2 (see [RFC2328], Section 16.5)
   does incremental updates for new summary-LSAs.

   The remaining question is how to attach the named proxy-node to the
   MRT Island; all the routers in the MRT Island MUST do this
   consistently.  No more than two routers in the MRT Island can be
   selected; one should only be selected if there are no others that
   meet the necessary criteria.  The named proxy-node is logically part
   of the area/level.

   There are two sources for candidate routers in the MRT Island to
   connect to the named proxy-node.  The first set is made up of those
   routers in the MRT Island that are advertising the prefix; the named-
   proxy-cost assigned to each prefix-advertising router is the
   announced cost to the prefix.  The second set is made up of those
   routers in the MRT Island that are connected to routers not in the
   MRT Island but in the same area/level; such routers will be defined
   as Island Border Routers (IBRs).  The routers connected to the IBRs
   that are not in the MRT Island and are in the same area/level as the
   MRT Island are Island Neighbors (INs).

   Since packets sent to the named proxy-node along MRT-Red or MRT-Blue
   may come from any router inside the MRT Island, it is necessary that
   whatever router to which an IBR forwards the packet be loop-free with
   respect to the whole MRT Island for the destination.  Thus, an IBR is
   a candidate router only if it possesses at least one IN whose
   shortest path to the prefix does not enter the MRT Island.  A method

Atlas, et al.                Standards Track                   [Page 30]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   for identifying Loop-Free Island Neighbors (LFINs) is given in
   [RFC7811].  The named-proxy-cost assigned to each (IBR, IN) pair is
   cost(IBR, IN) + D_opt(IN, prefix).

   From the set of prefix-advertising routers and the set of IBRs with
   at least one LFIN, the two routers with the lowest named-proxy-cost
   are selected.  Ties are broken based upon the lowest Router ID.  For
   ease of discussion, the two selected routers will be referred to as
   proxy-node attachment routers.

   A proxy-node attachment router has a special forwarding role.  When a
   packet is received destined to (MRT-Red, prefix) or (MRT-Blue,
   prefix), if the proxy-node attachment router is an IBR, it MUST swap
   to the shortest path forwarding topology (e.g., swap to the label for
   (MT-ID 0, prefix) or remove the outer IP encapsulation) and forward
   the packet to the IN whose cost was used in the selection.  If the
   proxy-node attachment router is not an IBR, then the packet MUST be
   removed from the MRT forwarding topology and sent along the
   interface(s) that caused the router to advertise the prefix; this
   interface might be out of the area/level/AS.

11.3.  MRT Alternates for Destinations outside the MRT Island

   A natural concern with new functionality is how to have it be useful
   when it is not deployed across an entire IGP area.  In the case of
   MRT FRR, where it provides alternates when appropriate LFAs aren't
   available, there are also deployment scenarios where it may make
   sense to only enable some routers in an area with MRT FRR.  A simple
   example of such a scenario would be a ring of six or more routers
   that is connected via two routers to the rest of the area.

   Destinations inside the local island can obviously use MRT
   alternates.  Destinations outside the local island can be treated
   like a multihomed prefix and either endpoint selection or Named
   Proxy-Nodes can be used.  Named proxy-nodes MUST be supported when
   LDP forwarding is supported and a label-binding for the destination
   is sent to an IBR.

   Naturally, there are more-complicated options to improve coverage,
   such as connecting multiple MRT Islands across tunnels, but the need
   for the additional complexity has not been justified.

Atlas, et al.                Standards Track                   [Page 31]
RFC 7812              MRT Unicast FRR Architecture             June 2016

12.  Network Convergence and Preparing for the Next Failure

   After a failure, MRT detours ensure that packets reach their intended
   destination while the IGP has not reconverged onto the new topology.
   As link-state updates reach the routers, the IGP process calculates
   the new shortest paths.  Two things need attention: micro-loop
   prevention and MRT recalculation.

12.1.  Micro-loop Prevention and MRTs

   A micro-loop is a transient packet-forwarding loop among two or more
   routers that can occur during convergence of IGP forwarding state.
   [RFC5715] discusses several techniques for preventing micro-loops.
   This section discusses how MRT-FRR relates to two of the micro-loop
   prevention techniques discussed in [RFC5715]: Nearside and Farside
   Tunneling.

   In Nearside Tunneling, a router (PLR) adjacent to a failure performs
   local repair and informs remote routers of the failure.  The remote
   routers initially tunnel affected traffic to the nearest PLR, using
   tunnels that are unaffected by the failure.  Once the forwarding
   state for normal shortest path routing has converged, the remote
   routers return the traffic to shortest path forwarding.  MRT-FRR is
   relevant for Nearside Tunneling for the following reason.  The
   process of tunneling traffic to the PLRs and waiting a sufficient
   amount of time for IGP forwarding state convergence with Nearside
   Tunneling means that traffic will generally rely on the local repair
   at the PLR for longer than it would in the absence of Nearside
   Tunneling.  Since MRT-FRR provides 100% coverage for single link and
   node failure, it may be an attractive option to provide the local
   repair paths when Nearside Tunneling is deployed.

   MRT-FRR is also relevant for the Farside Tunneling micro-loop
   prevention technique.  In Farside Tunneling, remote routers tunnel
   traffic affected by a failure to a node downstream of the failure
   with respect to traffic destination.  This node can be viewed as
   being on the farside of the failure with respect to the node
   initiating the tunnel.  Note that the discussion of Farside Tunneling
   in [RFC5715] focuses on the case where the farside node is
   immediately adjacent to a failed link or node.  However, the farside
   node may be any node downstream of the failure with respect to
   traffic destination, including the destination itself.  The tunneling
   mechanism used to reach the farside node must be unaffected by the
   failure.  The alternative forwarding paths created by MRT-FRR have
   the potential to be used to forward traffic from the remote routers
   upstream of the failure all the way to the destination.  In the event
   of failure, either the MRT-Red or MRT-Blue path from the remote
   upstream router to the destination is guaranteed to avoid a link

Atlas, et al.                Standards Track                   [Page 32]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   failure or inferred node failure.  The MRT forwarding paths are also
   guaranteed to not be subject to micro-loops because they are locked
   to the topology before the failure.

   We note that the computations in [RFC7811] address the case of a PLR
   adjacent to a failure determining which choice of MRT-Red or MRT-Blue
   will avoid a failed link or node.  More computation may be required
   for an arbitrary remote upstream router to determine whether to
   choose MRT-Red or MRT-Blue for a given destination and failure.

12.2.  MRT Recalculation for the Default MRT Profile

   This section describes how the MRT recalculation SHOULD be performed
   for the Default MRT Profile.  This is intended to support FRR
   applications.  Other approaches are possible, but they are not
   specified in this document.

   When a failure event happens, traffic is put by the PLRs onto the MRT
   topologies.  After that, each router recomputes its SPT and moves
   traffic over to that.  Only after all the PLRs have switched to using
   their SPTs and traffic has drained from the MRT topologies should
   each router install the recomputed MRTs into the FIBs.

   At each router, therefore, the sequence is as follows:

   1.  Receive failure notification

   2.  Recompute SPT.

   3.  Install the new SPT in the FIB.

   4.  If the network was stable before the failure occurred, wait a
       configured (or advertised) period for all routers to be using
       their SPTs and traffic to drain from the MRTs.

   5.  Recompute MRTs.

   6.  Install new MRTs in the FIB.

   While the recomputed MRTs are not installed in the FIB, protection
   coverage is lowered.  Therefore, it is important to recalculate the
   MRTs and install them quickly.

   New protocol extensions for advertising the time needed to recompute
   shortest path routes and install them in the FIB will be defined
   elsewhere.

Atlas, et al.                Standards Track                   [Page 33]
RFC 7812              MRT Unicast FRR Architecture             June 2016

13.  Operational Considerations

   The following aspects of MRT-FRR are useful to consider when
   deploying the technology in different operational environments and
   network topologies.

13.1.  Verifying Forwarding on MRT Paths

   The forwarding paths created by MRT-FRR are not used by normal (non-
   FRR) traffic.  They are only used to carry FRR traffic for a short
   period of time after a failure has been detected.  It is RECOMMENDED
   that an operator proactively monitor the MRT forwarding paths in
   order to be certain that the paths will be able to carry FRR traffic
   when needed.  Therefore, an implementation SHOULD provide an operator
   with the ability to test MRT paths with Operations, Administration,
   and Maintenance (OAM) traffic.  For example, when MRT paths are
   realized using LDP labels distributed for topology-scoped FECs, an
   implementation can use the MPLS ping and traceroute as defined in
   [RFC4379] and extended in [RFC7307] for topology-scoped FECs.

13.2.  Traffic Capacity on Backup Paths

   During a fast-reroute event initiated by a PLR in response to a
   network failure, the flow of traffic in the network will generally
   not be identical to the flow of traffic after the IGP forwarding
   state has converged, taking the failure into account.  Therefore,
   even if a network has been engineered to have enough capacity on the
   appropriate links to carry all traffic after the IGP has converged
   after the failure, the network may still not have enough capacity on
   the appropriate links to carry the flow of traffic during a fast-
   reroute event.  This can result in more traffic loss during the fast-
   reroute event than might otherwise be expected.

   Note that there are two somewhat distinct aspects to this phenomenon.
   The first is that the path from the PLR to the destination during the
   fast-reroute event may be different from the path after the IGP
   converges.  In this case, any traffic for the destination that
   reaches the PLR during the fast-reroute event will follow a different
   path from the PLR to the destination than will be followed after IGP
   convergence.

   The second aspect is that the amount of traffic arriving at the PLR
   for affected destinations during the fast-reroute event may be larger
   than the amount of traffic arriving at the PLR for affected
   destinations after IGP convergence.  Immediately after a failure, any
   non-PLR routers that were sending traffic to the PLR before the
   failure will continue sending traffic to the PLR, and that traffic
   will be carried over backup paths from the PLR to the destinations.

Atlas, et al.                Standards Track                   [Page 34]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   After IGP convergence, upstream non-PLR routers may direct some
   traffic away from the PLR.

   In order to reduce or eliminate the potential for transient traffic
   loss due to inadequate capacity during fast-reroute events, an
   operator can model the amount of traffic taking different paths
   during a fast-reroute event.  If it is determined that there is not
   enough capacity to support a given fast-reroute event, the operator
   can address the issue either by augmenting capacity on certain links
   or modifying the backup paths themselves.

   The MRT Lowpoint algorithm produces a pair of diverse paths to each
   destination.  These paths are generated by following the directed
   links on a common GADAG.  The decision process for constructing the
   GADAG in the MRT Lowpoint algorithm takes into account individual IGP
   link metrics.  At any given node, links are explored in order from
   lowest IGP metric to highest IGP metric.  Additionally, the process
   for constructing the MRT-Red and Blue trees uses SPF traversals of
   the GADAG.  Therefore, the IGP link metric values affect the computed
   backup paths.  However, adjusting the IGP link metrics is not a
   generally applicable tool for modifying the MRT backup paths.
   Achieving a desired set of MRT backup paths by adjusting IGP metrics
   while at the same time maintaining the desired flow of traffic along
   the shortest paths is not possible in general.

   MRT-FRR allows an operator to exclude a link from the MRT Island, and
   thus the GADAG, by advertising it as MRT-Ineligible.  Such a link
   will not be used on the MRT forwarding path for any destination.
   Advertising links as MRT-Ineligible is the main tool provided by MRT-
   FRR for keeping backup traffic off of lower bandwidth links during
   fast-reroute events.

   Note that all of the backup paths produced by the MRT Lowpoint
   algorithm are closely tied to the common GADAG computed as part of
   that algorithm.  Therefore, it is generally not possible to modify a
   subset of paths without affecting other paths.  This precludes more
   fine-grained modification of individual backup paths when using only
   paths computed by the MRT Lowpoint algorithm.

   However, it may be desirable to allow an operator to use MRT-FRR
   alternates together with alternates provided by other FRR
   technologies.  A policy-based alternate selection process can allow
   an operator to select the best alternate from those provided by MRT
   and other FRR technologies.  As a concrete example, it may be
   desirable to implement a policy where a downstream LFA (if it exists
   for a given failure mode and destination) is preferred over a given
   MRT alternate.  This combination gives the operator the ability to
   affect where traffic flows during a fast-reroute event, while still

Atlas, et al.                Standards Track                   [Page 35]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   producing backup paths that use no additional labels for LDP traffic
   and will not loop under multiple failures.  This and other choices of
   alternate selection policy can be evaluated in the context of their
   effect on fast-reroute traffic flow and available capacity, as well
   as other deployment considerations.

   Note that future documents may define MRT profiles in addition to the
   default profile defined here.  Different MRT profiles will generally
   produce alternate paths with different properties.  An implementation
   may allow an operator to use different MRT profiles instead of or in
   addition to the default profile.

13.3.  MRT IP Tunnel Loopback Address Management

   As described in Section 6.1.2, if an implementation uses IP tunneling
   as the mechanism to realize MRT forwarding paths, each node must
   advertise an MRT-Red and an MRT-Blue loopback address.  These IP
   addresses must be unique within the routing domain to the extent that
   they do not overlap with each other or with any other routing table
   entries.  It is expected that operators will use existing tools and
   processes for managing infrastructure IP addresses to manage these
   additional MRT-related loopback addresses.

13.4.  MRT-FRR in a Network with Degraded Connectivity

   Ideally, routers in a service provider network using MRT-FRR will be
   initially deployed in a 2-connected topology, allowing MRT-FRR to
   find completely diverse paths to all destinations.  However, a
   network can differ from an ideal 2-connected topology for many
   possible reasons, including network failures and planned maintenance
   events.

   MRT-FRR is designed to continue to function properly when network
   connectivity is degraded.  When a network contains cut-vertices or
   cut-links dividing the network into different 2-connected blocks,
   MRT-FRR will continue to provide completely diverse paths for
   destinations within the same block as the PLR.  For a destination in
   a different block from the PLR, the redundant paths created by MRT-
   FRR will be link and node diverse within each block, and the paths
   will only share links and nodes that are cut-links or cut-vertices in
   the topology.

   If a network becomes partitioned with one set of routers having no
   connectivity to another set of routers, MRT-FRR will function
   independently in each set of connected routers, providing redundant
   paths to destinations in same set of connected routers as a given
   PLR.

Atlas, et al.                Standards Track                   [Page 36]
RFC 7812              MRT Unicast FRR Architecture             June 2016

13.5.  Partial Deployment of MRT-FRR in a Network

   A network operator may choose to deploy MRT-FRR only on a subset of
   routers in an IGP area.  MRT-FRR is designed to accommodate this
   partial deployment scenario.  Only routers that advertise support for
   a given MRT profile will be included in a given MRT Island.  For a
   PLR within the MRT Island, MRT-FRR will create redundant forwarding
   paths to all destinations with the MRT Island using maximally
   redundant trees all the way to those destinations.  For destinations
   outside of the MRT Island, MRT-FRR creates paths to the destination
   that use forwarding state created by MRT-FRR within the MRT Island
   and shortest path forwarding state outside of the MRT Island.  The
   paths created by MRT-FRR to non-Island destinations are guaranteed to
   be diverse within the MRT Island (if topologically possible).
   However, the part of the paths outside of the MRT Island may not be
   diverse.

14.  IANA Considerations

   IANA has created the "MRT Profile Identifier Registry".  The range is
   0 to 255.  The Default MRT Profile defined in this document has value
   0.  Values 1-200 are allocated by Standards Action.  Values 201-220
   are for Experimental Use.  Values 221-254 are for Private Use.  Value
   255 is reserved for future registry extension.  (The allocation and
   use policies are described in [RFC5226].)

   The initial registry is shown below.

      Value    Description                               Reference
      -------  ----------------------------------------  ------------
      0        Default MRT Profile                       RFC 7812
      1-200    Unassigned
      201-220  Experimental Use
      221-254  Private Use
      255      Reserved (for future registry extension)

   The "MRT Profile Identifier Registry" is a new registry in the IANA
   Matrix.  Following existing conventions, http://www.iana.org/
   protocols displays a new header: "Maximally Redundant Tree (MRT)
   Parameters".  Under that header, there is an entry for "MRT Profile
   Identifier Registry", which links to the registry itself at
   http://www.iana.org/assignments/mrt-parameters.

Atlas, et al.                Standards Track                   [Page 37]
RFC 7812              MRT Unicast FRR Architecture             June 2016

15.  Security Considerations

   In general, MRT forwarding paths do not follow shortest paths.  The
   transit forwarding state corresponding to the MRT paths is created
   during normal operations (before a failure occurs).  Therefore, a
   malicious packet with an appropriate header injected into the network
   from a compromised location would be forwarded to a destination along
   a non-shortest path.  When this technology is deployed, a network
   security design should not rely on assumptions about potentially
   malicious traffic only following shortest paths.

   It should be noted that the creation of non-shortest forwarding paths
   is not unique to MRT.

   MRT-FRR requires that routers advertise information used in the
   formation of MRT backup paths.  While this document does not specify
   the protocol extensions used to advertise this information, we
   discuss security considerations related to the information itself.
   Injecting false MRT-related information could be used to direct some
   MRT backup paths over compromised transmission links.  Combined with
   the ability to generate network failures, this could be used to send
   traffic over compromised transmission links during a fast-reroute
   event.  In order to prevent this potential exploit, a receiving
   router needs to be able to authenticate MRT-related information that
   claims to have been advertised by another router.

16.  References

16.1.  Normative References

   [RFC2119]  Bradner, S., "Key words for use in RFCs to Indicate
              Requirement Levels", BCP 14, RFC 2119,
              DOI 10.17487/RFC2119, March 1997,
              <http://www.rfc-editor.org/info/rfc2119>.

   [RFC5226]  Narten, T. and H. Alvestrand, "Guidelines for Writing an
              IANA Considerations Section in RFCs", BCP 26, RFC 5226,
              DOI 10.17487/RFC5226, May 2008,
              <http://www.rfc-editor.org/info/rfc5226>.

   [RFC7307]  Zhao, Q., Raza, K., Zhou, C., Fang, L., Li, L., and D.
              King, "LDP Extensions for Multi-Topology", RFC 7307,
              DOI 10.17487/RFC7307, July 2014,
              <http://www.rfc-editor.org/info/rfc7307>.

Atlas, et al.                Standards Track                   [Page 38]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   [RFC7811]  Enyedi, G., Ed., Csaszar, A., Atlas, A., Ed., Bowers, C.,
              and A. Gopalan, "An Algorithm for Computing IP/LDP Fast
              Reroute Using Maximally Redundant Trees (MRT-FRR)",
              RFC 7811, DOI 10.17487/RFC7811, June 2016,
              <http://www.rfc-editor.org/info/rfc7811>.

16.2.  Informative References

   [EnyediThesis]
              Enyedi, G., "Novel Algorithms for IP Fast Reroute",
              Department of Telecommunications and Media Informatics,
              Budapest University of Technology and Economics Ph.D.
              Thesis, February 2011,
              <https://repozitorium.omikk.bme.hu/bitstream/
              handle/10890/1040/ertekezes.pdf>.

   [LDP-MRT]  Atlas, A., Tiruveedhula, K., Bowers, C., Tantsura, J., and
              IJ. Wijnands, "LDP Extensions to Support Maximally
              Redundant Trees", Work in Progress, draft-ietf-mpls-ldp-
              mrt-03, May 2016.

   [MRT-ARCH]
              Atlas, A., Kebler, R., Wijnands, IJ., Csaszar, A., and G.
              Enyedi, "An Architecture for Multicast Protection Using
              Maximally Redundant Trees", Work in Progress, draft-atlas-
              rtgwg-mrt-mc-arch-02, July 2013.

   [RFC2328]  Moy, J., "OSPF Version 2", STD 54, RFC 2328,
              DOI 10.17487/RFC2328, April 1998,
              <http://www.rfc-editor.org/info/rfc2328>.

   [RFC4379]  Kompella, K. and G. Swallow, "Detecting Multi-Protocol
              Label Switched (MPLS) Data Plane Failures", RFC 4379,
              DOI 10.17487/RFC4379, February 2006,
              <http://www.rfc-editor.org/info/rfc4379>.

   [RFC5286]  Atlas, A., Ed. and A. Zinin, Ed., "Basic Specification for
              IP Fast Reroute: Loop-Free Alternates", RFC 5286,
              DOI 10.17487/RFC5286, September 2008,
              <http://www.rfc-editor.org/info/rfc5286>.

   [RFC5331]  Aggarwal, R., Rekhter, Y., and E. Rosen, "MPLS Upstream
              Label Assignment and Context-Specific Label Space",
              RFC 5331, DOI 10.17487/RFC5331, August 2008,
              <http://www.rfc-editor.org/info/rfc5331>.

Atlas, et al.                Standards Track                   [Page 39]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   [RFC5340]  Coltun, R., Ferguson, D., Moy, J., and A. Lindem, "OSPF
              for IPv6", RFC 5340, DOI 10.17487/RFC5340, July 2008,
              <http://www.rfc-editor.org/info/rfc5340>.

   [RFC5443]  Jork, M., Atlas, A., and L. Fang, "LDP IGP
              Synchronization", RFC 5443, DOI 10.17487/RFC5443, March
              2009, <http://www.rfc-editor.org/info/rfc5443>.

   [RFC5714]  Shand, M. and S. Bryant, "IP Fast Reroute Framework",
              RFC 5714, DOI 10.17487/RFC5714, January 2010,
              <http://www.rfc-editor.org/info/rfc5714>.

   [RFC5715]  Shand, M. and S. Bryant, "A Framework for Loop-Free
              Convergence", RFC 5715, DOI 10.17487/RFC5715, January
              2010, <http://www.rfc-editor.org/info/rfc5715>.

   [RFC6976]  Shand, M., Bryant, S., Previdi, S., Filsfils, C.,
              Francois, P., and O. Bonaventure, "Framework for Loop-Free
              Convergence Using the Ordered Forwarding Information Base
              (oFIB) Approach", RFC 6976, DOI 10.17487/RFC6976, July
              2013, <http://www.rfc-editor.org/info/rfc6976>.

   [RFC6981]  Bryant, S., Previdi, S., and M. Shand, "A Framework for IP
              and MPLS Fast Reroute Using Not-Via Addresses", RFC 6981,
              DOI 10.17487/RFC6981, August 2013,
              <http://www.rfc-editor.org/info/rfc6981>.

   [RFC6987]  Retana, A., Nguyen, L., Zinin, A., White, R., and D.
              McPherson, "OSPF Stub Router Advertisement", RFC 6987,
              DOI 10.17487/RFC6987, September 2013,
              <http://www.rfc-editor.org/info/rfc6987>.

   [RFC7490]  Bryant, S., Filsfils, C., Previdi, S., Shand, M., and N.
              So, "Remote Loop-Free Alternate (LFA) Fast Reroute (FRR)",
              RFC 7490, DOI 10.17487/RFC7490, April 2015,
              <http://www.rfc-editor.org/info/rfc7490>.

Atlas, et al.                Standards Track                   [Page 40]
RFC 7812              MRT Unicast FRR Architecture             June 2016

Appendix A.  Inter-level Forwarding Behavior for IS-IS

   In the description below, we use the terms "Level-1-only interface",
   "Level-2-only interface", and "Level-1-and-Level-2 interface" to mean
   an interface that has formed only a Level-1 adjacency, only a Level-2
   adjacency, or both Level-1 and Level-2 adjacencies.  Note that IS-IS
   also defines the concept of areas.  A router is configured with an
   IS-IS area identifier, and a given router may be configured with
   multiple IS-IS area identifiers.  For an IS-IS Level-1 adjacency to
   form between two routers, at least one IS-IS area identifier must
   match.  IS-IS Level-2 adjacencies do not require any area identifiers
   to match.  The behavior described below does not explicitly refer to
   IS-IS area identifiers.  However, IS-IS area identifiers will
   indirectly affect the behavior by affecting the formation of Level-1
   adjacencies.

   First, consider a packet destined to Z on MRT-Red or MRT-Blue
   received on a Level-1-only interface.  If the best shortest path
   route to Z was learned from a Level-1 advertisement, then the packet
   should continue to be forwarded along MRT-Red or MRT-Blue.  If,
   instead, the best route was learned from a Level-2 advertisement,
   then the packet should be removed from MRT-Red or MRT-Blue and
   forwarded on the shortest-path default forwarding topology.

   Now consider a packet destined to Z on MRT-Red or MRT-Blue received
   on a Level-2-only interface.  If the best route to Z was learned from
   a Level-2 advertisement, then the packet should continue to be
   forwarded along MRT-Red or MRT-Blue.  If, instead, the best route was
   learned from a Level-1 advertisement, then the packet should be
   removed from MRT-Red or MRT-Blue and forwarded on the shortest-path
   default forwarding topology.

   Finally, consider a packet destined to Z on MRT-Red or MRT-Blue
   received on a Level-1-and-Level-2 interface.  This packet should
   continue to be forwarded along MRT-Red or MRT-Blue, regardless of
   which level the route was learned from.

   An implementation may simplify the decision-making process above by
   using the interface of the next hop for the route to Z to determine
   the level from which the best route to Z was learned.  If the next
   hop points out a Level-1-only interface, then the route was learned
   from a Level-1 advertisement.  If the next hop points out a Level-
   2-only interface, then the route was learned from a Level-2
   advertisement.  A next hop that points out a Level-1-and-Level-2
   interface does not provide enough information to determine the source
   of the best route.  With this simplification, an implementation would
   need to continue forwarding along MRT-Red or MRT-Blue when the next-
   hop points out a Level-1-and-Level-2 interface.  Therefore, a packet

Atlas, et al.                Standards Track                   [Page 41]
RFC 7812              MRT Unicast FRR Architecture             June 2016

   on MRT-Red or MRT-Blue going from Level-1 to Level-2 (or vice versa)
   that traverses a Level-1-and-Level-2 interface in the process will
   remain on MRT-Red or MRT-Blue.  This simplification may not always
   produce the optimal forwarding behavior, but it does not introduce
   interoperability problems.  The packet will stay on an MRT backup
   path longer than necessary, but it will still reach its destination.

Appendix B.  General Issues with Area Abstraction

   When a multihomed prefix is connected in two different areas, it may
   be impractical to protect them without adding the complexity of
   explicit tunneling.  This is also a problem for LFA and Remote-LFA.

          50
        |----[ASBR Y]---[B]---[ABR 2]---[C]      Backbone Area 0:
        |                                |           ABR 1, ABR 2, C, D
        |                                |
        |                                |       Area 20:  A, ASBR X
        |                                |
        p ---[ASBR X]---[A]---[ABR 1]---[D]      Area 10: B, ASBR Y
           5                                  p is a Type 1 AS-external

             Figure 4: AS External Prefixes in Different Areas

   Consider the network in Figure 4 and assume there is a richer
   connective topology that isn't shown, where the same prefix is
   announced by ASBR X and ASBR Y, which are in different non-backbone
   areas.  If the link from A to ASBR X fails, then an MRT alternate
   could forward the packet to ABR 1 and ABR 1 could forward it to D,
   but then D would find the shortest route is back via ABR 1 to Area
   20.  This problem occurs because the routers, including the ABR, in
   one area are not yet aware of the failure in a different area.

   The only way to get it from A to ASBR Y is to explicitly tunnel it to
   ASBR Y.  If the traffic is unlabeled or the appropriate MPLS labels
   are known, then explicit tunneling MAY be used as long as the
   shortest path of the tunnel avoids the failure point.  In that case,
   A must determine that it should use an explicit tunnel instead of an
   MRT alternate.

Atlas, et al.                Standards Track                   [Page 42]
RFC 7812              MRT Unicast FRR Architecture             June 2016

Acknowledgements

   The authors would like to thank Mike Shand for his valuable review
   and contributions.

   The authors would like to thank Joel Halpern, Hannes Gredler, Ted
   Qian, Kishore Tiruveedhula, Shraddha Hegde, Santosh Esale, Nitin
   Bahadur, Harish Sitaraman, Raveendra Torvi, Anil Kumar SN, Bruno
   Decraene, Eric Wu, Janos Farkas, Rob Shakir, Stewart Bryant, and
   Alvaro Retana for their suggestions and review.

Contributors

   Robert Kebler
   Juniper Networks
   10 Technology Park Drive
   Westford, MA  01886
   United States
   Email: rkebler@juniper.net

   Andras Csaszar
   Ericsson
   Konyves Kalman krt 11
   Budapest  1097
   Hungary
   Email: Andras.Csaszar@ericsson.com

   Jeff Tantsura
   Ericsson
   300 Holger Way
   San Jose, CA  95134
   United States
   Email: jeff.tantsura@ericsson.com

   Russ White
   VCE
   Email: russw@riw.us

Atlas, et al.                Standards Track                   [Page 43]
RFC 7812              MRT Unicast FRR Architecture             June 2016

Authors' Addresses

   Alia Atlas
   Juniper Networks
   10 Technology Park Drive
   Westford, MA  01886
   United States

   Email: akatlas@juniper.net

   Chris Bowers
   Juniper Networks
   1194 N. Mathilda Ave.
   Sunnyvale, CA  94089
   United States

   Email: cbowers@juniper.net

   Gabor Sandor Enyedi
   Ericsson
   Konyves Kalman krt 11.
   Budapest  1097
   Hungary

   Email: Gabor.Sandor.Enyedi@ericsson.com

Atlas, et al.                Standards Track                   [Page 44]