# Patent

## Title
Backpressure with adaptive redundancy

## Abstract

Routing technologies are disclosed. A described technology includes routing packets through a network based on backpressure scheduling; when a number of packets in a transmitter queue satisfies a first threshold, retaining copies of at least a portion of the packets; and once the number of packets in the transmitter queue satisfies a second threshold, transmitting the retained copies of the packets to perform the routing. Retaining the copies can include copying a packet from the transmitter queue into a duplicate buffer when the number of packets in the transmitter queue is below the first threshold.

## Background
CROSS REFERENCE TO RELATED APPLICATION
This patent document claims the benefit of priority from U.S. provisional application No. 61/679,326 entitled “BACKPRESSURE WITH ADAPTIVE REDUNDANCY (BWAR)” and filed on Aug. 3, 2012, which is incorporated herein by reference in its entirety.


STATEMENT AS TO FEDERALLY SPONSORED RESEARCH
This invention was made with government support under Contract No. 1049541 awarded by the National Science Foundation (NSF) and under Contract No. W911NF-09-2-0053 awarded by Network Science Collaborative Technology Alliance sponsored by the U.S. Army Research Laboratory. The government has certain rights in the invention.


FIELD
This patent document generally relates to routing technology.
BACKGROUND
Queue-differential backpressure scheduling and routing has been shown to be throughput optimal in terms of being able to stabilize the network under any feasible traffic rate vector. Additional research has extended the original result to show that backpressure techniques can be combined with utility optimization, resulting in simple, throughput-optimal, cross-layer network protocols for all kinds of networks. Recently, some of these techniques have been translated to practically implemented routing and rate-control protocols for wireless networks. The basic idea of backpressure mechanisms is to prioritize transmissions over links that have the highest queue differentials. Backpressure effectively makes packets flow through the network as though pulled by gravity towards the destination, which has the smallest queue size of zero.
Some communication networks such as intermittently connected mobile networks (ICMNs), e.g., encounter-based mobile networks or delay/disruption tolerant networks (DTNs), can use routing techniques that take in to consideration the intermittent availability of communication links when routing packets. ICMNs can be wireless networks with sparse mobile nodes in which complete connected end-to-end paths from source to destination rarely exists. As a result of this, traditional routing methods which rely on establishing paths would fail to deliver any packets. Several studies were conducted to overcome this problem by introducing mobility-assisted routing methods, such as single-copy and multi-copy techniques, that use mobility of the nodes to route packets. In these methods, the source stores the packet while moving until it encounters another node that has a better chance to deliver the packet to the destination. When that happens, the source hands the packet to that node which will be in charge to deliver the packet. This node also can encounter another one and so on. The moment of time that a node carries a particular packet is called the custodian of that packet.
Epidemic routing, or sometimes called flooding, in which nodes duplicate and transmit so both transmitter and receiver have copies of the same packet is guaranteed to support optimal delay in the case of having unrealistic infinite bandwidth. When bandwidth is limited however, epidemic routing suffers from large delay due to congestion resulting from large numbers of duplicates. Another method called Spray and Wait (S&W) creates a predefined fixed number of copies of the packet when admitted to the network. Those copies are distributed to distinct nodes and then each copy waits until it encounters the destination.
SUMMARY
This document describes, among other things, technologies relating to routing technology. In one aspect, a described technique includes routing, at a node including hardware and a transmitter queue, packets through a network based on backpressure scheduling; when a number of packets in the transmitter queue satisfies a first threshold, retaining copies of at least a portion of the packets; and once the number of packets in the transmitter queue satisfies a second threshold, transmitting the retained copies of the packets to perform the routing. Other forms of this aspect may include corresponding systems, apparatus, and computer software encoded on a non-transitory computer readable storage medium.
These and other implementations may include one or more of the following features. A network can include an intermittently connected mobile network. The first threshold can be different from the second threshold. Backpressure scheduling can include a store-and-forward protocol in which transmission decisions for the packets are based on queue differentials between the node and target recipient nodes. Retaining the copies can include copying a packet from the transmitter queue into a duplicate buffer when the number of packets in the transmitter queue is below the first threshold upon transmission of the packet from the transmitter queue. A node can include a plurality of transmitter queues and a plurality of duplicate buffers, with a pair of each corresponding to a different destination or flow, the first threshold can include a first set of predefined thresholds for the plurality of transmitter queues, and the second threshold can include a second set of predefined thresholds for the plurality of transmitter queues. In some implementations, the second threshold is zero packets in the transmitter queue. In some implementations, a size of the duplicate buffer and the first threshold are each set to a value corresponding to a maximum link service rate in the network.
Implementations can include removing the duplicate packet from the duplicate buffer once a notification of receipt by a destination node is received or once a pre-defined timeout has occurred. Implementations can include giving higher priority to packets whose next hop node is their final destination in the network. Implementations can include, when a timeout criteria is met, removing the copies of the packets. Implementations can include modifying the timeout criterion in accordance with feedback obtained from notifications of packet receptions, delay of delivered packets, or other congestion signals from the network. Implementations can include routing, at the node, second packets through the network based on the backpressure scheduling, the second packets being different from the first packets; when the number of packets in the transmitter queue satisfies the first threshold, retaining copies of at least a portion of the second packets; and when a timeout criterion is met without the transmitter queue being emptied since the retaining of the copies of the second packets, removing the copies of the second packets to avoid duplicate packet transmission. Implementations can include for each packet to have a copy retained, checking that a total number of copies of the packet is bounded by a constant. In some implementations, the constant is adjustable to tune a tradeoff between energy and delay.
In another aspect, a routing technique can include routing, at a node including hardware, packets through a network based on backpressure scheduling, the node including a transmitter queue and a duplicate buffer; when a number of packets in the transmitter queue satisfies a first threshold, retaining copies of at least a portion of the packets; and once the number of packets in the transmitter queue satisfies a second threshold, which is different than the first threshold, transmitting the retained copies of the packets to perform the routing. Retaining the copies can include copying a packet from the transmitter queue into the duplicate buffer when the number of packets in the transmitter queue is below the first threshold. In another aspect, a system can include multiple intermittently connected mobile devices forming an intermittently connected mobile network, wherein a mobile device in the network comprises at least one hardware processor and at least one memory storing a program configured to cause the at least one hardware processor to route first packets through a network based on backpressure scheduling using a transmitter queue, retain copies of at least a portion of the first packets when a number of packets in the transmitter queue satisfies a first threshold, and transmit the retained copies of the first packets to perform the routing once the number of packets in the transmitter queue satisfies a second threshold, which is different than the first threshold.
In yet another aspect, a routing apparatus can include a memory comprising a transmitter queue and a duplicate buffer; and a processor configured to perform operations. The operations can include routing packets through a network based on backpressure scheduling; when a number of packets in the transmitter queue satisfies a first threshold, retaining copies of at least a portion of the packets, wherein retaining the copies comprises copying a packet from the transmitter queue into the duplicate buffer when the number of packets in the transmitter queue is below the first threshold; and once the number of packets in the transmitter queue satisfies a second threshold, which is different than the first threshold, transmitting the retained copies of the packets to perform the routing.
In still another aspect, a system can include multiple intermittently connected mobile devices forming an intermittently connected mobile network. A mobile device in the network can include a processor and a memory. The memory can store a program configured to cause the processor to route packets through a network based on backpressure scheduling using a transmitter queue, retain copies of at least a portion of the packets when a number of packets in the transmitter queue satisfies a first threshold, and transmit the retained copies of the packets to perform the routing once the number of packets in the transmitter queue satisfies a second threshold, which is different than the first threshold. The program can be configured to retain the copies by at least copying a packet from the transmitter queue into a duplicate buffer when the number of packets in the transmitter queue is below the first threshold. The mobile device can include a plurality of transmitter queues and a plurality of duplicate buffers, with a pair of each corresponding to a different destination or flow. The first threshold can include a first set of predefined thresholds for the plurality of transmitter queues. The second threshold can include a second set of predefined thresholds for the plurality of transmitter queues.
Particular configurations of the technology described in this document can be implemented so as to realize one or more of the following potential advantages. BWAR technology can provide an enhanced backpressure algorithm that introduces adaptive redundancy to improve delay performance. BWAR technology can enhance backpressure routing for networks such as ICMN during both low and high data traffic loads and has efficient delay and energy properties, and provides increased throughput. BWAR can outperform traditional backpressure (at low loads) and conventional DTN-routing mechanisms (at high loads) in encounter-based mobile networks. BWAR technology can be used in various networks such as communication networks, sensor networks, disaster recovery networks, vehicular networks, wildlife tracking, and military networks.
Details of one or more implementations of the subject matter described in this document are set forth in the accompanying drawings and the description below. Other features, aspects, and potential advantages of the subject matter will become apparent from the description, the drawings, and the claims.



BRIEF DESCRIPTION OF THE DRAWINGS
FIG. 1 shows a diagram of a node architecture that is based on BWAR.
FIGS. 2A and 2B show graphs of performance metrics for various examples of routing protocols.
FIG. 3 shows a graph of a performance metric for various examples of routing protocols.
FIG. 4 shows another graph of a performance metric for various examples of routing protocols.
FIG. 5 shows a graph of the average delay versus timeout for different load scenarios.
FIG. 6 shows a simplified diagram of an example of a node that is configured for BWAR.
FIG. 7 shows a diagram of an example of mobile device network architecture that is configured for BWAR.
FIG. 8 shows a flowchart of an example of a process that uses BWAR.
FIG. 9 shows a flowchart of another example of a process that uses BWAR.



Like reference symbols in the various drawings indicate like elements.
DETAILED DESCRIPTION
Nodes within a network can generate and/or route packets within the network. A packet may have to be routed via one or more nodes to reach a destination node. Further, there may exist different pathways through the network for which a packet can reach its intended destination. The network's nodes can perform backpressure scheduling and routing within discretized chunks of time called timeslots. Backpressure scheduling and routing can be performed to affect various metrics such as network throughput, which measures how much data traffic load a network can handle and deliver successfully to intended destinations as a unit of bits per second, and network delay, which measures the average time it takes for a data unit, e.g., packet, to reach its destination. Backpressure, by itself, is a data network routing scheme that relies on data queue lengths stored in each node participating in the network to make data transmissions decisions between devices.
The network can be represented by a multi-commodity flow system in which every node can be a potential destination (corresponding to a particular commodity). The network can include N nodes, with each node maintaining N−1 queues, one for each commodity, with the jth queue at each node containing packets that are destined for node j. Let Qic(t) indicate the number of packets destined to node c queued at node i at time t. Since, Qii(t)=0 ∀t, (i.e., a node is not required to maintain a queue for packets that are destined for itself), the node has N−1 queues rather than N queues.
Let μijc(t) be the scheduling and routing variable that indicates the number of packets of commodity c to be scheduled on link (i,j). Some backpressure scheduling and routing implementations can select the μijc(t) that solve the following problem (a form of maximum weight independent set selection):




  max
  ⁢
  
    
      ∑
      
        i
        ,
        j
        ,
        c
      
    
    ⁢
    
      
        
          Δ
          ij
          c
        
        ⁡
        
          (
          t
          )
        
      
      ·
      
        
          μ
          ij
          c
        
        ⁡
        
          (
          t
          )
        
      
    
  




subject to:




  
    
      
        
          
            
              
                ∑
                c
              
              ⁢
              
                
                  μ
                  ij
                  c
                
                ⁡
                
                  (
                  t
                  )
                
              
            
            ≤
            
              
                θ
                ij
              
              ⁡
              
                (
                t
                )
              
            
          
          ,
          
            ∀
            i
          
          ,
          
            ∀
            j
          
        
        ⁢
        
          

        
        ⁢
        
          
            
              
                
                  μ
                  ij
                  c
                
                ⁡
                
                  (
                  t
                  )
                
              
              ·
              
                
                  μ
                  
                    k
                    ⁢
                    
                      
                    
                    ⁢
                    m
                  
                  d
                
                ⁡
                
                  (
                  t
                  )
                
              
            
            =
            0
          
          ,
          
            
              (
              
                
                  (
                  
                    i
                    ,
                    j
                  
                  )
                
                ,
                
                  (
                  
                    k
                    ,
                    m
                  
                  )
                
              
              )
            
            ∈
            
              Ω
              ⁡
              
                (
                t
                )
              
            
          
          ,
          
            ∀
            c
          
          ,
          
            ∀
            d
          
        
        ⁢
        
          

        
        ⁢
        
          
            
              
                μ
                ij
                c
              
              ⁡
              
                (
                t
                )
              
            
            ≥
            0
          
          ,
          
            ∀
            i
          
          ,
          
            ∀
            j
          
          ,
          
            ∀
            c
          
        
      
    
    
      
        (
        1
        )
      
    
  




where Δijc(t)=Qic(t)−Qjc(t) is the link weight, which denotes the queue differential for commodity c on link (i, j) at slot t; θij(t) is the channel state in terms of number of packets that can be transmitted over link (i, j) during slot t; and Ω(t) is the link interference set at slot t such that if link (i, j) interferes with link (i′, j′) at slot t then ((i, j), (i′, j′))εΩ(t) and hence, those two links can not be both scheduled at slot t. The maximization problem in (1) can be solved by finding the maximum commodity c*ij (t) for each link (i, j) at slot t that maximizes Δijc(t) and assign μijc(t)=0 for all c≠c*ij(t) and then solve:





  max
  ⁢
  
    
      ∑
      
        i
        ,
        j
      
    
    ⁢
    
      
        
          Δ
          ij
          
            
              c
              ij
              *
            
            ⁡
            
              (
              t
              )
            
          
        
        ⁡
        
          (
          t
          )
        
      
      ·
      
        
          μ
          ij
          
            
              c
              ij
              *
            
            ⁡
            
              (
              t
              )
            
          
        
        ⁡
        
          (
          t
          )
        
      
    
  




subject to:

μijc*ij(t)(t)≦θij(t),∀i,∀j 

μijc*ij(t)(t)·μkmc*km(t)(t)=0,((i,j),(k,m))εΩ(t)

μijc*ij(t)(t)≧0,∀i,∀j  (2)

FIG. 1 shows a diagram of a node architecture that is based on BWAR. A BWAR-enabled node 105 includes a group of transmitter queues 110a-n, and a group duplicate buffers 115a-n. In some implementations, there are a set of N−1 duplicate buffers of size Dm at each BWAR-enabled node. As depicted, the transmitter queues 110a-n are associated with respective duplicate buffers 115a-n. In this example, node 105 is the Nth node. Thus, transmitter queue 110a and duplicate buffer 115a are used to route packets to node 1; transmitter queue 110b and duplicate buffer 115b are used to route packets to node 2; transmitter queue 110c and duplicate buffer 115c are used to route packets to node 3; and transmitter queue 110n and duplicate buffer 115n are used to route packets to node N−1. Note that queues are not required for the Nth node, since node 105 is the Nth node. In some implementations, the node 105 can be a part of a network such as an ICMN, where nodes need to communicate with other nodes in the ICMN, however ICMN nodes may have a short radio range, and thus a ICMN node may not have the radio range to reach every node within the network, and as a result, packets have to be forwarded between one or more intermediate nodes.
Besides the original queue occupancy Qic(t) which has the same meaning as in traditional backpressure for the transmitter queues 110a-n, the duplicate buffer occupancy for the duplicate buffers 115a-n is denoted by Dic(t) that indicates the number of duplicate packets at node i that are destined to node c at time t. Again, Qii(t)=Dii(t)=0 ∀t since destinations need not buffer any packets intended for themselves. The duplicate buffers 115a-n can be maintained and utilized as follows:
1) Original packets when transmitted are removed from the main queue; however, if the queue size is lower than a certain threshold qth, then the transmitted packet is duplicated and kept in the duplicate buffer associated with its destination if it is not full (otherwise no duplicate is created). Setting both qth and Dmax to the value of the maximum link service rate can be enough and can decrease delay.
2) Duplicate packets are not removed from the duplicate buffer when transmitted. They are only removed when they are notified to be received by the destination, or a pre-defined timeout has occurred.
3) When a certain link is scheduled for transmission, the original packets in the main queue are transmitted first. If no more original packets are left, only then duplicates are transmitted. Thus the duplicate buffer has a strictly lower priority.
4) Copies of a delivered packet in the network can be deleted in response to the first copy being successfully delivered to the intended destination.
A BWAR implementation can require the solution of a maximum weight independent set problem:




  max
  ⁢
  
    
      ∑
      
        i
        ,
        j
        ,
        c
      
    
    ⁢
    
      
        
          Δ
          
            BWAR
            ,
            ij
          
          c
        
        ⁡
        
          (
          t
          )
        
      
      ·
      
        
          μ
          ij
          c
        
        ⁡
        
          (
          t
          )
        
      
    
  




subject to:




  
    
      
        
          
            
              
                ∑
                c
              
              ⁢
              
                
                  μ
                  ij
                  c
                
                ⁡
                
                  (
                  t
                  )
                
              
            
            ≤
            
              
                θ
                ij
              
              ⁡
              
                (
                t
                )
              
            
          
          ,
          
            ∀
            i
          
          ,
          
            ∀
            j
          
        
        ⁢
        
          

        
        ⁢
        
          
            
              
                
                  μ
                  ij
                  c
                
                ⁡
                
                  (
                  t
                  )
                
              
              ·
              
                
                  μ
                  
                    k
                    ⁢
                    
                      
                    
                    ⁢
                    m
                  
                  d
                
                ⁡
                
                  (
                  t
                  )
                
              
            
            =
            0
          
          ,
          
            
              (
              
                
                  (
                  
                    i
                    ,
                    j
                  
                  )
                
                ,
                
                  (
                  
                    k
                    ,
                    m
                  
                  )
                
              
              )
            
            ∈
            
              Ω
              ⁡
              
                (
                t
                )
              
            
          
          ,
          
            ∀
            c
          
          ,
          
            ∀
            d
          
        
        ⁢
        
          

        
        ⁢
        
          
            
              
                μ
                ij
                c
              
              ⁡
              
                (
                t
                )
              
            
            ≥
            0
          
          ,
          
            ∀
            i
          
          ,
          
            ∀
            j
          
          ,
          
            ∀
            c
          
        
      
    
    
      
        (
        3
        )
      
    
  




An enhanced link weight for BWAR, ΔBWAR,ijc(t), can be defined as follows, to take into account the occupancy of the duplicate buffer:





  
    
      
        
          
            Δ
            
              BWAR
              ,
              ij
            
            c
          
          ⁡
          
            (
            t
            )
          
        
        =
        
          
            (
            
              
                
                  Q
                  i
                  c
                
                ⁡
                
                  (
                  t
                  )
                
              
              -
              
                
                  Q
                  j
                  c
                
                ⁡
                
                  (
                  t
                  )
                
              
            
            )
          
          +
          
            
              1
              2
            
            ⁢
            
              (
              
                1
                
                  j
                  =
                  
                    
                      
                        c
                        ⁢
                        
                          
                        
                        ⁢
                        And
                        ⁢
                        
                          
                        
                        ⁢
                        
                          
                            Q
                            i
                            c
                          
                          ⁡
                          
                            (
                            t
                            )
                          
                        
                      
                      +
                      
                        
                          D
                          i
                          c
                        
                        ⁡
                        
                          (
                          t
                          )
                        
                      
                    
                    >
                    0
                  
                
              
              )
            
          
          +
          
            
              1
              4
            
            ⁢
            
              1
              
                D
                max
              
            
            ⁢
            
              (
              
                
                  
                    D
                    i
                    c
                  
                  ⁡
                  
                    (
                    t
                    )
                  
                
                -
                
                  
                    D
                    j
                    c
                  
                  ⁡
                  
                    (
                    t
                    )
                  
                
              
              )
            
          
        
      
    
    
      
        (
        4
        )
      
    
  




Here the indicator function 1j=c And Qic(t)+Dic(t)>0 denotes that node j is the final destination for the considered commodity c. This gives higher weight to commodities that encounter their destinations. The maximization problem in (3) can be solved first by finding the maximum commodity c*BWAR,ij(t) for each link (i, j) at slot t that maximizes ΔBWAR,ijc(t) as previously discussed. It is important to notice that any solution to (3) is also a solution to (1) (but not necessarily vice versa) assuming that Qic(t) and μijc(t) are integers. The small weight added in (4) gives advantage first to links/commodities which encounter the destination and then to higher duplicate buffer deferential to increase the chance of serving duplicates. The small fractions in (4) assures this priority when there are ties in (1) to boost delay performance.

A BWAR-enabled node can create duplicate packets whenever a transmitter's queue occupancy is low. In some implementations, duplicate packets can be removed via a timeout mechanism. A BWAR-enabled node can implement a timeout mechanism by time-stamping packets. For example, whenever a packet arrives into the network, it can be time-stamped. After a timeout period P from that arrival time, any duplicate copies of that packet at any node in the network can be deleted.
A BWAR-enabled node can communite within a timeslotted network having N nodes that communicate with each other. Packets arrive to each node, and each packet must be delivered to a specific destination, possibly via a multi-hop path. Each node maintains multiple queues, one per destination, to store packets. Each queue has the following dynamics:

Q(t+1)=max[Q(t)−μ(t),0]+A(t)  (5)

where Q(t) is the queue size at time t, μ(t) is the transmission rate out of the queue at time t, and A(t) is the total packet arrivals to the queue at time t.

In each time slot, a BWAR-enabled node can observe queue states and channel states and make scheduling and routing decisions based on this information. Let Qnc(t) be the queue backlog (number of packets) in node nε{1, 2, . . . , N} that are destined for node cε{1, . . . , N}\{n} at slot t. Let Anc(t) be the exogenous packet arrivals that come to node n and destined to node c at time t with rate λnc. Exogenous arrivals are the packets that just entered the network. Endogenous arrivals, however, are arrivals from other nodes and were already inside the network. Packets may be forwarded to several nodes before reaching the destination. Let us define the capacity region Λ to be the set of all possible arrival rate vectors (λnc)n,c that can be stably supported by some scheduling and routing strategy. Let θab(t) be the channel state from node a to node b at time t in terms of how many packets can be transmitted. Let μab(t) be the scheduled service rate from node a to node b at slot t. Let μabc(t) be the service rate for commodity c routed from node a to node b at time t, which must satisfy:




  
    
      
        
          
            ∑
            c
          
          ⁢
          
            
              μ
              
                a
                ⁢
                
                  
                
                ⁢
                b
              
              c
            
            ⁡
            
              (
              t
              )
            
          
        
        ≤
        
          
            μ
            
              a
              ⁢
              
                
              
              ⁢
              b
            
          
          ⁡
          
            (
            t
            )
          
        
        ≤
        
          
            θ
            
              a
              ⁢
              
                
              
              ⁢
              b
            
          
          ⁡
          
            (
            t
            )
          
        
      
    
    
      
        (
        6
        )
      
    
  




The queue dynamics for each time slot and for each queue is the following:




  
    
      
        
          
            Q
            n
            c
          
          ⁡
          
            (
            
              t
              +
              1
            
            )
          
        
        =
        
          
            max
            [
            
              
                
                  
                    Q
                    n
                    c
                  
                  ⁡
                  
                    (
                    t
                    )
                  
                
                -
                
                  
                    ∑
                    b
                  
                  ⁢
                  
                    
                      μ
                      
                        n
                        ⁢
                        
                          
                        
                        ⁢
                        b
                      
                      c
                    
                    ⁡
                    
                      (
                      t
                      )
                    
                  
                
              
              ,
              0
            
            ]
          
          +
          
            
              A
              n
              c
            
            ⁡
            
              (
              t
              )
            
          
          +
          
            
              ∑
              a
            
            ⁢
            
              
                
                  μ
                  ~
                
                
                  a
                  ⁢
                  
                    
                  
                  ⁢
                  n
                
                c
              
              ⁡
              
                (
                t
                )
              
            
          
        
      
    
    
      
        (
        7
        )
      
    
  




where {tilde over (μ)} is the actual transfer rate due to insufficient packets in the queue. For example, on some slots we may be able to send 5 packets, but we only send 3, because only 3 were available in the queue. In equation (7), Anc(t) are the exogenous arrivals and Σa{tilde over (μ)}anc(t) are the endogenous arrivals to node n.

Define the vector Q(t)=(Qnc(t))n,c to be the vector of all queues in the network at time t. The Lyapunov function L(Q(t)) can be defined as follows:




  
    
      
        
          L
          ⁡
          
            (
            
              Q
              ⁡
              
                (
                t
                )
              
            
            )
          
        
        =
        
          
            ∑
            
              n
              ,
              c
            
          
          ⁢
          
            
              
                Q
                n
                c
              
              ⁡
              
                (
                t
                )
              
            
            2
          
        
      
    
    
      
        (
        8
        )
      
    
  




The Lyapunov drift Δ(Q(t)) is defined as follows:

Δ(Q(t))=E{L(Q(t+1))−L(Q(t))|Q(t)}  (9)

It is known that:





  
    
      
        
          Δ
          ⁡
          
            (
            
              Q
              ⁡
              
                (
                t
                )
              
            
            )
          
        
        ≤
        
          
            
              ∑
              
                n
                ,
                c
              
            
            ⁢
            
              E
              ⁢
              
                {
                
                  
                    β
                    n
                    c
                  
                  ⁡
                  
                    (
                    t
                    )
                  
                
                }
              
            
          
          -
          
            2
            ⁢
            
              
                ∑
                
                  n
                  ,
                  c
                
              
              ⁢
              
                
                  
                    Q
                    n
                    c
                  
                  ⁡
                  
                    (
                    t
                    )
                  
                
                ⁢
                E
                ⁢
                
                  {
                  
                    
                      
                        ψ
                        n
                        c
                      
                      ⁡
                      
                        (
                        t
                        )
                      
                    
                    |
                    
                      Q
                      ⁡
                      
                        (
                        t
                        )
                      
                    
                  
                  }
                
              
            
          
        
      
    
    
      
        (
        10
        )
      
    
  




Such that:





  
    
      
        
          
            β
            n
            c
          
          ⁡
          
            (
            t
            )
          
        
        =
        
          
            
              (
              
                
                  ∑
                  b
                
                ⁢
                
                  
                    μ
                    
                      n
                      ⁢
                      
                        
                      
                      ⁢
                      b
                    
                    c
                  
                  ⁡
                  
                    (
                    t
                    )
                  
                
              
              )
            
            2
          
          +
          
            
              (
              
                
                  
                    A
                    n
                    c
                  
                  ⁡
                  
                    (
                    t
                    )
                  
                
                +
                
                  
                    ∑
                    a
                  
                  ⁢
                  
                    
                      μ
                      
                        a
                        ⁢
                        
                          
                        
                        ⁢
                        n
                      
                      c
                    
                    ⁡
                    
                      (
                      t
                      )
                    
                  
                
              
              )
            
            2
          
        
      
    
    
      
        (
        11
        )
      
    
  




and,





  
    
      
        
          
            ψ
            n
            c
          
          ⁡
          
            (
            t
            )
          
        
        =
        
          
            
              ∑
              b
            
            ⁢
            
              
                μ
                
                  n
                  ⁢
                  
                    
                  
                  ⁢
                  b
                
                c
              
              ⁡
              
                (
                t
                )
              
            
          
          -
          
            
              ∑
              a
            
            ⁢
            
              
                μ
                
                  a
                  ⁢
                  
                    
                  
                  ⁢
                  n
                
                c
              
              ⁡
              
                (
                t
                )
              
            
          
          -
          
            
              A
              n
              c
            
            ⁡
            
              (
              t
              )
            
          
        
      
    
    
      
        (
        12
        )
      
    
  




Maximizing Σn,cQnc(t)E{ψnc(t)|Q(t)} in (10) which is equivalent to the maximization problem defined in (1) yields the backpressure algorithm for scheduling and routing and supports the maximum capacity Λ. The average queue occupancy bound for backpressure scheduling and routing is:





  
    
      
        
          Q
          _
        
        ≤
        
          
            β
            _
          
          
            2
            ⁢
            ɛ
          
        
      
    
    
      
        (
        13
        )
      
    
  




such that,





  
    
      
        
          Q
          _
        
        =
        
          
            lim
            
              T
              →
              ∞
            
          
          ⁢
          
            
              1
              T
            
            ⁢
            
              
                ∑
                
                  τ
                  =
                  0
                
                T
              
              ⁢
              
                
                  ∑
                  
                    n
                    ,
                    c
                  
                
                ⁢
                
                  E
                  ⁢
                  
                    {
                    
                      
                        Q
                        n
                        c
                      
                      ⁡
                      
                        (
                        τ
                        )
                      
                    
                    }
                  
                
              
            
          
        
      
    
    
      
        (
        14
        )
      
    
  








  
    
      
        
          β
          _
        
        =
        
          
            lim
            
              T
              →
              ∞
            
          
          ⁢
          
            
              1
              T
            
            ⁢
            
              
                ∑
                
                  τ
                  =
                  0
                
                T
              
              ⁢
              
                
                  ∑
                  
                    n
                    ,
                    c
                  
                
                ⁢
                
                  E
                  ⁢
                  
                    {
                    
                      
                        β
                        n
                        c
                      
                      ⁡
                      
                        (
                        τ
                        )
                      
                    
                    }
                  
                
              
            
          
        
      
    
    
      
        (
        15
        )
      
    
  




ε=argmaxx≧0(λnc+x)n,cεΛ  (16)

where, Q is the average of total queue backlog occupancy; β is the sum of the second moment of the scheduled transmission rate out of each queue plus the second moment of the sum of the arrivals and scheduled transmission rate into each queue and summed over all queues; and ε is the maximum positive number such that adding ε to each arrival rate still makes them inside the capacity region Λ.
As before, let Qnc(t) be a queue backlog in node n of commodity c at time slot t. We define Dnc(t) to be number of redundant packets in node n of commodity c at time t. Redundant packets are stored separately in redundant buffers. Redundant packets have lower priority in such a way that no redundant packet is served unless the queue of original packets is empty. For all timeslots t, Anc(t), θab(t), μab(t), μabc(t) and {tilde over (μ)}abc(t) are defined exactly as before. Arrival rates λnc are also defined as before. The queue dynamics in equation (7) is updated in BWAR to be:




  
    
      
        
          
            Q
            n
            c
          
          ⁡
          
            (
            
              t
              +
              1
            
            )
          
        
        =
        
          
            max
            [
            
              
                
                  
                    Q
                    n
                    c
                  
                  ⁡
                  
                    (
                    t
                    )
                  
                
                -
                
                  
                    γ
                    n
                    c
                  
                  ⁡
                  
                    (
                    t
                    )
                  
                
                -
                
                  
                    ∑
                    b
                  
                  ⁢
                  
                    
                      μ
                      nb
                      c
                    
                    ⁡
                    
                      (
                      t
                      )
                    
                  
                
              
              ,
              0
            
            ]
          
          +
          
            
              A
              n
              c
            
            ⁡
            
              (
              t
              )
            
          
          +
          
            
              ∑
              a
            
            ⁢
            
              
                
                  μ
                  ~
                
                an
                c
              
              ⁡
              
                (
                t
                )
              
            
          
        
      
    
    
      
        (
        17
        )
      
    
  




where γnc(t) is the number of original packets inside node n of commodity c at time slot t that are known to be delivered by some duplicates to the destination using a BWAR strategy described herein. One ideal model is that the network is able to find out which packets are delivered immediately, or after some delay. Our analysis allows for any such knowledge of delivered packets. We show later a practical timeout-based strategy for duplicate removals. Those γnc(t) packets are needed to be removed from the queue since they are already known to be delivered. It can be assumed that deletions occur during the time slot t, rather than at the beginning of said time slot. The queue dynamics in (17) consider only original packets and does not take into account the duplicate packets. We define the redundant buffer dynamics that are isolated from the original queue dynamics as follows:





  
    
      
        
          
            D
            n
            c
          
          ⁡
          
            (
            
              t
              +
              1
            
            )
          
        
        =
        
          
            
              D
              n
              c
            
            ⁡
            
              (
              t
              )
            
          
          -
          
            
              
                γ
                ~
              
              n
              c
            
            ⁡
            
              (
              t
              )
            
          
          +
          
            
              δ
              n
              c
            
            ⁡
            
              (
              t
              )
            
          
          +
          
            
              ∑
              a
            
            ⁢
            
              
                ω
                an
                c
              
              ⁡
              
                (
                t
                )
              
            
          
        
      
    
    
      
        (
        18
        )
      
    
  




where {tilde over (γ)}nc(t) denotes the number of duplicates in node n of commodity c at time t that are known to be already delivered to the destination and hence they must be removed; δnc(t) is number of duplicates created at node n during slot t according to the adaptive redundancy criteria; and ωabc(t) is the actual duplicate transmissions from node a to node b of commodity c at time t. No duplicates are created in, nor transmitted to, full duplicate buffers. Therefore, Dnc(t+1)≦Dmax ∀t

As before, Q(t)=(Qnc(t))n,c is the vector of all queue backlogs at time t. Let Unc(t) be the undelivered queue backlog in node n of commodity c at time t. Hence,

Unc(t)=Qnc(t)−γnc(t)  (19)

Let U(t)=(Unc(t))n,c be the vector of all queue backlogs of undelivered packets at time t. Let Γ(t)=(Unc(t))n,c be the vector of all removed duplicates at time t. Define the Lyapunov function L(X)=Σ(Xi)2. Assume that Q, β and ε are defined as before in (14), (15) and (16) respectively. Also define,





  
    
      
        
          U
          _
        
        =
        
          
            lim
            
              T
              ->
              ∞
            
          
          ⁢
          
            
              1
              T
            
            ⁢
            
              
                ∑
                
                  τ
                  =
                  0
                
                T
              
              ⁢
              
                
                  ∑
                  
                    n
                    ,
                    c
                  
                
                ⁢
                
                  E
                  ⁢
                  
                    {
                    
                      
                        U
                        n
                        c
                      
                      ⁡
                      
                        (
                        τ
                        )
                      
                    
                    }
                  
                
              
            
          
        
      
    
    
      
        (
        20
        )
      
    
  
  
    
      
        
          
            Γ
            2
          
          _
        
        =
        
          
            lim
            
              T
              ->
              ∞
            
          
          ⁢
          
            
              1
              T
            
            ⁢
            
              
                ∑
                
                  τ
                  =
                  0
                
                T
              
              ⁢
              
                
                  ∑
                  
                    n
                    ,
                    c
                  
                
                ⁢
                
                  E
                  ⁢
                  
                    {
                    
                      
                        (
                        
                          
                            γ
                            n
                            c
                          
                          ⁡
                          
                            (
                            τ
                            )
                          
                        
                        )
                      
                      2
                    
                    }
                  
                
              
            
          
        
      
    
    
      
        (
        21
        )
      
    
  
  
    
      
        
          
            Q
            ·
            Γ
          
          _
        
        =
        
          
            lim
            
              T
              ->
              ∞
            
          
          ⁢
          
            
              1
              T
            
            ⁢
            
              
                ∑
                
                  τ
                  =
                  0
                
                T
              
              ⁢
              
                
                  ∑
                  
                    n
                    ,
                    c
                  
                
                ⁢
                
                  E
                  ⁢
                  
                    {
                    
                      
                        
                          Q
                          n
                          c
                        
                        ⁡
                        
                          (
                          τ
                          )
                        
                      
                      ·
                      
                        
                          γ
                          n
                          c
                        
                        ⁡
                        
                          (
                          τ
                          )
                        
                      
                    
                    }
                  
                
              
            
          
        
      
    
    
      
        (
        22
        )
      
    
  
  
    
      
        
          
            U
            ·
            Γ
          
          _
        
        =
        
          
            lim
            
              T
              ->
              ∞
            
          
          ⁢
          
            
              1
              T
            
            ⁢
            
              
                ∑
                
                  τ
                  =
                  0
                
                T
              
              ⁢
              
                
                  ∑
                  
                    n
                    ,
                    c
                  
                
                ⁢
                
                  E
                  ⁢
                  
                    {
                    
                      
                        
                          U
                          n
                          c
                        
                        ⁡
                        
                          (
                          τ
                          )
                        
                      
                      ·
                      
                        
                          γ
                          n
                          c
                        
                        ⁡
                        
                          (
                          τ
                          )
                        
                      
                    
                    }
                  
                
              
            
          
        
      
    
    
      
        (
        23
        )
      
    
  




where Ū is the average of total queue backlog occupancy for undelivered packets in the main queues; Γ2 is the second moment of number of removed original packets that has been already delivered by duplicates summed over all original queues; Q·Γ is the joint second moment of number of removed packets and the queue backlog summed over all queues; and U·Γ is the joint second moment of number of removed packets and the queue backlog of undelivered packets summed over all queues. Note that arrival rates Anc(t) and the channel states θab(t) can be i.i.d. over timeslots. This can be extended to general ergodic (possibly non-i.i.d.) processes using, for example, a T-slot drift argument.

Theorem 1 If the channel states θab(t) are i.i.d. and the arrival processes Anc(t) are i.i.d. with rates λnc that are inside the capacity region Λ such that (λnc+ε)n,cεΛ for some ε>0, then BWAR stabilizes all queues with the following bound on the average of total queue occupancy of undelivered packets Ū,




  
    
      
        
          U
          _
        
        ≤
        
          
            
              β
              _
            
            -
            
              
                Γ
                2
              
              _
            
            -
            
              2
              ⁢
              
                
                  U
                  ·
                  Γ
                
                _
              
            
          
          
            2
            ⁢
            ɛ
          
        
      
    
    
      
        (
        24
        )
      
    
  




Proof: Squaring both sides of (17),

Qnc(t+1)2≦(Qnc(t)−γnc(t))2+βnc(t)−2(Qnc(t)−γnc(t))ψnc(t)  (25)

where βnc(t) and ψnc(t) are defined as before in (11) and (12) respectively Summing over all n and c,





  
    
      
        
          
            ∑
            
              n
              ,
              c
            
          
          ⁢
          
            
              
                Q
                n
                c
              
              ⁡
              
                (
                
                  t
                  +
                  1
                
                )
              
            
            2
          
        
        ≤
        
          
            
              ∑
              
                n
                ,
                c
              
            
            ⁢
            
              
                (
                
                  
                    
                      Q
                      n
                      c
                    
                    ⁡
                    
                      (
                      t
                      )
                    
                  
                  -
                  
                    
                      γ
                      n
                      c
                    
                    ⁡
                    
                      (
                      t
                      )
                    
                  
                
                )
              
              2
            
          
          +
          
            
              ∑
              
                n
                ,
                c
              
            
            ⁢
            
              
                β
                n
                c
              
              ⁡
              
                (
                t
                )
              
            
          
          -
          
            2
            ⁢
            
              
                ∑
                
                  n
                  ,
                  c
                
              
              ⁢
              
                
                  (
                  
                    
                      
                        Q
                        n
                        c
                      
                      ⁡
                      
                        (
                        t
                        )
                      
                    
                    -
                    
                      
                        γ
                        n
                        c
                      
                      ⁡
                      
                        (
                        t
                        )
                      
                    
                  
                  )
                
                ⁢
                
                  
                    ψ
                    n
                    c
                  
                  ⁡
                  
                    (
                    t
                    )
                  
                
              
            
          
        
      
    
    
      
        (
        26
        )
      
    
  




Taking the conditional expectation E{.|Q(t)−Γ(t)},





  
    
      
        
          E
          ⁢
          
            {
            
              
                
                  L
                  ⁡
                  
                    (
                    
                      Q
                      ⁡
                      
                        (
                        
                          t
                          +
                          1
                        
                        )
                      
                    
                    )
                  
                
                -
                
                  L
                  ⁡
                  
                    (
                    
                      
                        Q
                        ⁡
                        
                          (
                          t
                          )
                        
                      
                      -
                      
                        Γ
                        ⁡
                        
                          (
                          t
                          )
                        
                      
                    
                    )
                  
                
              
              |
              
                
                  Q
                  ⁡
                  
                    (
                    t
                    )
                  
                
                -
                
                  Γ
                  ⁡
                  
                    (
                    t
                    )
                  
                
              
            
            }
          
        
        ≤
        
          E
          ⁢
          
            {
            
              
                
                  
                    ∑
                    
                      n
                      ,
                      c
                    
                  
                  ⁢
                  
                    
                      β
                      n
                      c
                    
                    ⁡
                    
                      (
                      t
                      )
                    
                  
                
                -
                
                  2
                  ⁢
                  
                    
                      ∑
                      
                        n
                        ,
                        c
                      
                    
                    ⁢
                    
                      
                        (
                        
                          
                            
                              Q
                              n
                              c
                            
                            ⁡
                            
                              (
                              t
                              )
                            
                          
                          -
                          
                            
                              γ
                              n
                              c
                            
                            ⁡
                            
                              (
                              t
                              )
                            
                          
                        
                        )
                      
                      ⁢
                      
                        
                          ψ
                          n
                          c
                        
                        ⁡
                        
                          (
                          t
                          )
                        
                      
                    
                  
                
              
              |
              
                
                  Q
                  ⁡
                  
                    (
                    t
                    )
                  
                
                -
                
                  Γ
                  ⁡
                  
                    (
                    t
                    )
                  
                
              
            
            }
          
        
      
    
    
      
        (
        27
        )
      
    
  




A BWAR policy can maximize (3) and hence (1) taking into account the undelivered packets U(t) only, it can also maximize:





  
    
      
        E
        ⁢
        
          {
          
            
              
                ∑
                
                  n
                  ,
                  c
                
              
              ⁢
              
                
                  (
                  
                    
                      
                        Q
                        n
                        c
                      
                      ⁡
                      
                        (
                        t
                        )
                      
                    
                    -
                    
                      
                        γ
                        n
                        c
                      
                      ⁡
                      
                        (
                        t
                        )
                      
                    
                  
                  )
                
                ⁢
                
                  
                    ψ
                    n
                    c
                  
                  ⁡
                  
                    (
                    t
                    )
                  
                
              
            
            |
            
              
                Q
                ⁡
                
                  (
                  t
                  )
                
              
              -
              
                Γ
                ⁡
                
                  (
                  t
                  )
                
              
            
          
          }
        
      
    
    
      
        (
        28
        )
      
    
  




However, because (λnc+ε)n,c are inside the capacity region Λ, there exists a stationary and randomized algorithm alg*, which makes decisions independent of Q(t)−Γ(t), yielding ψ*nc(t) that satisfy:

E{ψ*nc(t)}≧ε∀n,c 

Because BWAR maximizes (28), it follows that:





  
    
      
        
          E
          ⁢
          
            {
            
              
                
                  ∑
                  
                    n
                    ,
                    c
                  
                
                ⁢
                
                  
                    (
                    
                      
                        
                          Q
                          n
                          c
                        
                        ⁡
                        
                          (
                          t
                          )
                        
                      
                      -
                      
                        
                          γ
                          n
                          c
                        
                        ⁡
                        
                          (
                          t
                          )
                        
                      
                    
                    )
                  
                  ⁢
                  
                    
                      ψ
                      n
                      c
                    
                    ⁡
                    
                      (
                      t
                      )
                    
                  
                
              
              |
              
                
                  Q
                  ⁡
                  
                    (
                    t
                    )
                  
                
                -
                
                  Γ
                  ⁡
                  
                    (
                    t
                    )
                  
                
              
            
            }
          
        
        ≥
        
          E
          ⁢
          
            {
            
              
                
                  ∑
                  
                    n
                    ,
                    c
                  
                
                ⁢
                
                  
                    (
                    
                      
                        
                          Q
                          n
                          c
                        
                        ⁡
                        
                          (
                          t
                          )
                        
                      
                      -
                      
                        
                          γ
                          n
                          c
                        
                        ⁡
                        
                          (
                          t
                          )
                        
                      
                    
                    )
                  
                  ⁢
                  
                    
                      ψ
                      n
                      
                        *
                        c
                      
                    
                    ⁡
                    
                      (
                      t
                      )
                    
                  
                
              
              |
              
                
                  Q
                  ⁡
                  
                    (
                    t
                    )
                  
                
                -
                
                  Γ
                  ⁡
                  
                    (
                    t
                    )
                  
                
              
            
            }
          
        
        ≥
        
          
            ∑
            
              n
              ,
              c
            
          
          ⁢
          
            
              (
              
                
                  
                    Q
                    n
                    c
                  
                  ⁡
                  
                    (
                    t
                    )
                  
                
                -
                
                  
                    γ
                    n
                    c
                  
                  ⁡
                  
                    (
                    t
                    )
                  
                
              
              )
            
            ⁢
            ɛ
          
        
      
    
    
      
        (
        29
        )
      
    
  




Using this in (27) yields,





  
    
      
        
          E
          ⁢
          
            {
            
              
                
                  L
                  ⁡
                  
                    (
                    
                      Q
                      ⁡
                      
                        (
                        
                          t
                          +
                          1
                        
                        )
                      
                    
                    )
                  
                
                -
                
                  L
                  ⁡
                  
                    (
                    
                      
                        Q
                        ⁡
                        
                          (
                          t
                          )
                        
                      
                      -
                      
                        Γ
                        ⁡
                        
                          (
                          t
                          )
                        
                      
                    
                    )
                  
                
              
              |
              
                
                  Q
                  ⁡
                  
                    (
                    t
                    )
                  
                
                -
                
                  Γ
                  ⁡
                  
                    (
                    t
                    )
                  
                
              
            
            }
          
        
        ≤
        
          
            
              ∑
              
                n
                ,
                c
              
            
            ⁢
            
              E
              ⁢
              
                {
                
                  
                    
                      β
                      n
                      c
                    
                    ⁡
                    
                      (
                      t
                      )
                    
                  
                  |
                  
                    
                      Q
                      ⁡
                      
                        (
                        t
                        )
                      
                    
                    ⁢
                    
                      Γ
                      ⁡
                      
                        (
                        t
                        )
                      
                    
                  
                
                }
              
            
          
          -
          
            2
            ⁢
            ɛ
            ⁢
            
              
                ∑
                
                  n
                  ,
                  c
                
              
              ⁢
              
                (
                
                  
                    
                      Q
                      n
                      c
                    
                    ⁡
                    
                      (
                      t
                      )
                    
                  
                  -
                  
                    
                      γ
                      n
                      c
                    
                    ⁡
                    
                      (
                      t
                      )
                    
                  
                
                )
              
            
          
        
      
    
    
      
        (
        30
        )
      
    
  




Taking iterative expectation,





  
    
      
        
          
            E
            ⁢
            
              {
              
                L
                ⁡
                
                  (
                  
                    Q
                    ⁡
                    
                      (
                      
                        t
                        +
                        1
                      
                      )
                    
                  
                  )
                
              
              }
            
          
          -
          
            E
            ⁢
            
              {
              
                L
                ⁡
                
                  (
                  
                    
                      Q
                      ⁡
                      
                        (
                        t
                        )
                      
                    
                    -
                    
                      Γ
                      ⁡
                      
                        (
                        t
                        )
                      
                    
                  
                  )
                
              
              }
            
          
        
        ≤
        
          
            
              ∑
              
                n
                ,
                c
              
            
            ⁢
            
              E
              ⁢
              
                {
                
                  
                    β
                    n
                    c
                  
                  ⁡
                  
                    (
                    t
                    )
                  
                
                }
              
            
          
          -
          
            2
            ⁢
            ɛ
            ⁢
            
              
                
                  ∑
                  E
                
                
                  n
                  ,
                  c
                
              
              ⁢
              
                {
                
                  (
                  
                    
                      
                        Q
                        n
                        c
                      
                      ⁡
                      
                        (
                        t
                        )
                      
                    
                    -
                    
                      
                        γ
                        n
                        c
                      
                      ⁡
                      
                        (
                        t
                        )
                      
                    
                  
                  )
                
                }
              
            
          
        
      
    
    
      
        (
        31
        )
      
    
  




Notice that:

E{L(Q(t)−Γ(t))}=E{L(Q(t))}+E{L(Γ(t))}−2E{Q(t)·Γ(t)}  (32)

Hence by summing over timeslots τε{0, . . . , T} and by telescoping,





  
    
      
        
          
            E
            ⁢
            
              {
              
                L
                ⁡
                
                  (
                  
                    Q
                    ⁡
                    
                      (
                      T
                      )
                    
                  
                  )
                
              
              }
            
          
          -
          
            E
            ⁢
            
              {
              
                L
                ⁡
                
                  (
                  
                    Q
                    ⁡
                    
                      (
                      0
                      )
                    
                  
                  )
                
              
              }
            
          
          -
          
            
              ∑
              
                τ
                =
                0
              
              T
            
            ⁢
            
              E
              ⁢
              
                {
                
                  L
                  ⁡
                  
                    (
                    
                      Γ
                      ⁡
                      
                        (
                        τ
                        )
                      
                    
                    )
                  
                
                }
              
            
          
          +
          
            2
            ⁢
            
              
                ∑
                
                  τ
                  =
                  0
                
                T
              
              ⁢
              
                E
                ⁢
                
                  {
                  
                    
                      Q
                      ⁡
                      
                        (
                        τ
                        )
                      
                    
                    ·
                    
                      Γ
                      ⁡
                      
                        (
                        τ
                        )
                      
                    
                  
                  }
                
              
            
          
        
        ≤
        
          
            
              ∑
              
                τ
                =
                0
              
              T
            
            ⁢
            
              
                ∑
                
                  n
                  ,
                  c
                
              
              ⁢
              
                E
                ⁢
                
                  {
                  
                    
                      β
                      n
                      c
                    
                    ⁡
                    
                      (
                      τ
                      )
                    
                  
                  }
                
              
            
          
          -
          
            2
            ⁢
            ɛ
            ⁢
            
              
                ∑
                
                  τ
                  =
                  0
                
                T
              
              ⁢
              
                
                  ∑
                  
                    n
                    ,
                    c
                  
                
                ⁢
                
                  E
                  ⁢
                  
                    {
                    
                      (
                      
                        
                          
                            Q
                            n
                            c
                          
                          ⁡
                          
                            (
                            τ
                            )
                          
                        
                        -
                        
                          
                            γ
                            n
                            c
                          
                          ⁡
                          
                            (
                            τ
                            )
                          
                        
                      
                      )
                    
                    }
                  
                
              
            
          
        
      
    
    
      
        (
        33
        )
      
    
  




Dividing by T and taking the lim for T→∞ implies:





  
    
      
        
          
            Q
            _
          
          -
          
            Γ
            _
          
        
        ≤
        
          
            
              β
              _
            
            +
            
              
                Γ
                2
              
              _
            
            -
            
              2
              ⁢
              
                
                  Q
                  ·
                  Γ
                
                _
              
            
          
          
            2
            ⁢
            ɛ
          
        
      
    
    
      
        (
        34
        )
      
    
  




Now for undelivered packets Ū, we have by (19) and (34),





  
    U
    _
  
  ≤
  
    
      
        β
        _
      
      -
      
        
          Γ
          2
        
        _
      
      -
      
        2
        ⁢
        
          
            Q
            ·
            Γ
          
          _
        
      
    
    
      2
      ⁢
      ɛ
    
  




Remark: Note that the computation of Γ2 and U·Γ is determined by the duplicate removal strategies. Depending on these terms, the queue bound in this above theorem could be much lower than the queue occupancy bound for regular backpressure in (13). Thus, BWAR can be no worse in terms of throughput than backpressure, and potentially much better in terms of delay, since by Little's theorem average delay is proportional to the average number of undelivered packets.
BWAR can be simulated in the context of encounter-based scheduling and routing for a simple model (cell-partitioned network), which yields useful insights on its performance. In this model, the control variables can be simplified to the whole transmission rates μab(t) for scheduling and the commodity transmission rates μabc(t) for routing. Further, the network deployment area can be separated into disjoint cells and nodes have i.i.d. mobility model as follows. We have N nodes and C cells. At each slot t, node n can be inside any cell with equal probabilities of C−1. For collision and interference simplicity, only one transmission (one packet) is allowed in each cell in each time slot. Because of this we set qth=Dmax=1. Another simplifying assumption is that the nodes in the network are organized into pairs, acting as destinations to each other. Each node has Bernoulli exogenous arrivals intended for its pair. Depending on the number of cells C in the network we can choose the right number of the nodes N≈1.79·C in order to maximize throughput. Our simulation results show that by optimizing number of nodes based on the number of cells to maximize throughput, the delay also is improved. We consider in our simulations, networks of sizes 9, 12, 16, 20, and 25 cells in the network. And for optimality, number of nodes are chosen to be 16, 20, 28, 34, and 44 respectively. For timeout duplicate removals we set the timeout value P=C.
Here we show how BWAR works in the cell-partitioned network with the simplifying assumption that only one transmission is allowed per cell per time slot. Each time slot t and for each cell l we choose two nodes a* and b* and commodity c* such that: (1) a* and b* are in cell l; (2) Qa*c*(t)−Qb*c*(t)≧Qac(t)−Qbc(t) for all c, for all a and b in cell l at time slot t (captures the maximization of queue differentials of the main queues); (3) If there exists a, b in cell l such that, Qab(t)−Qbb(t)=Qa*c*(t)−b*c*(t) then c*=b* (captures the destination advantage); and (4) if there exists a, b in cell l and c such that Qac(t)−Qbc(t)=Qa*c*(t)−Qb*c*(t) and {c*≠b* or [(c=b) and (c*=b*)]}, then:

(Qac(t)+Dac(t))−(Qbc(t)+Dbc(t))≦(Qa*c*(t)+Da*c*(t))−(Qb*c*(t)+(t)+Db*c*(t))

(captures the maximization of duplicate buffer differentials if there are some ties in main queue differentials). The algorithm simply assigns μa*b*c*(t) a value of 1, and assigns all other μabc(t) a value of 0 such that a, b in cell l. When a transmission is made from node a to node b of commodity c at time slot t and that transmission will make Qac(t+1)+Dac(t+1)=0, then this transmitted packet is duplicated and stored in the duplicate buffer of node a making Dnc(t)=1 instead of 0. Duplicate packets are served only if there are no original packets to transmit. There is strict lower priority of duplicate packets compared to original packets.

Various examples of routing protocols based on BWAR technology presented herewith include: BWAR with Ideal packet removal and original packets retained in the Main queue (BWAR-IM), BWAR with Ideal packet removal and original packets moved to Duplicate buffer upon copy (BWAR-ID), and BWAR with Time-out based packet removal and original packets moved to Duplicate buffer upon copy (BWAR-TD). Other variations of BWAR are possible.
BWAR-IM is based on a BWAR technology presented herein in which the destination advantage also holds. Here, when an original packet is duplicated the original packet remains in the main queue while the duplicate is stored in the duplicate buffer. We assume here whenever a packet reaches the destination, all of its duplicates are deleted including the original one in the main queue instantaneously.
BWAR-ID is similar to BWAR-IM, where the difference is that whenever an original packet is duplicated, both the original packet and the duplicate are stored in duplicate buffers (of course in two different nodes, one in the receiver and the other in the sender respectively). In BWAR-ID, a node can detect when a received packet is a duplicate, and based on the received packet being a duplicate, the node can store the packet in a duplicate buffer for the packet's destination rather than the transmitter queue for the packet's destination.
BWAR-TD is an implementation of BWAR in which duplicates are deleted from the duplicate buffer after a predefined timeout value P has passed since the first time the original packet is admitted to the network. However, the original packet that is kept in duplicate buffer is flagged and will not be deleted when a timeout occurred. It is only deleted if it is acknowledged directly by the destination if its already received or otherwise is moved back to the main queue when it encounters the destination.
In some BWAR-TD implementations, if time-out P has already passed for one packet m, all duplicates of m that are stored in duplicate buffers are removed except for the flagged copy m* which correspond to the original copy of m. When m* encounters the destination at time t after the time-out P, it either receives an acknowledgement that packet m is already received, and hence, m* will be removed, or it receives a negative acknowledgment that m is not received yet, hence, m* will be moved to original queue at time t+1. This approach guarantees that no packet will be lost in the case of any two nodes in the network encountering each other infinitely often.
Other variations of BWAR are possible. For example, BWAR with Ideal packet removal and original packets moved to Duplicate buffer upon copy with Energy enhancement (BWAR-ID-E) is possible. BWAR with Time-out based packet removal and original packets moved to Duplicate buffer upon copy with Energy enhancement (BWAR-TD-E) is also possible. BWAR-ID-E is similar to BWAR-ID except that the number of copies for each packet is bounded to be less than or equal constant L. Similarly, BWAR-TD-E is similar to BWAR-TD except that the number of copies for each packet is bounded to be less than or equal constant L.
For variations such as BWAR-ID-E and BWAR-TD-E, the number of copies for each packet by constant L can be limited. Each packet in the network can include a field called copycount in its header to specify number of copies allowed for this packet. When a packet is admitted to the network the value of its copycount is set to L. In BWAR-ID-E and BWAR-TD-E, only packets with copycount>1 are allowed to be duplicated. When a duplicate m′ for packet m (that has previous copycount value equals to Lm) is created, the copycount for m is set to




  ⌈
  
    
      L
      m
    
    2
  
  ⌉




and the copycount for m′ is set to





  
    L
    m
  
  -
  
    
      ⌈
      
        
          L
          m
        
        2
      
      ⌉
    
    .
  




This method can provide a fast way of distributing duplicates to different nodes (since copycount is splitted half and half when duplicate is created) and it can guarantee that the number of duplicates for any packet can not exceed L.

For comparision to BWAR, various examples of routing protocols include Regular Backpressure (RB), Regular Backpressure with Destination Advantage (RB-DA), and Spray and Wait (S&W) are used herewith. RB is the basic backpressure scheduling and routing mechanism, where decisions are made purely based on queue differentials. RB-DA is a slight modification in which packets corresponding to the destination are prioritized when the destination is encountered.
FIGS. 2A and 2B show graphs 201, 255 of performance metrics for various examples of routing protocols. Depicted procotols include RB, RB-DA, BWAR-IM, BWAR-ID, BWAR-TD, and S&W. S&W is shown for comparison with BWAR implementations. Our results show that BWAR implementations outperforms S&W. Each simulation runs for one million timeslots.
FIG. 2A shows a graph 201 of a performance metric for various examples of routing protocols. The graph 201 shows the average delay for a routing protocol versus the number of Nodes (N) for low load λ=0.001 out of the per node capacity region Λnode=[0, 0.14]. Delay is reduced significantly when BWAR is used. For this low load scenario all BWAR variants have almost the same average delay and they perform slightly better than S&W.
FIG. 2B shows a graph 255 of a performance metric for various examples of routing protocols. The graph 255 shows the average delay for a routing protocol versus Load (λ). The graph 255 shows the great dramatic delay improvement of RB-DA compared to RB. As expected, as the load increases the delay improvement of BWAR declines compared to RB-DA. The graph 255 also shows how BWAR-ID performs much better compared to BWAR-IM beyond some threshold of load (λ). This shows how moving the duplicated original packet to the duplicate buffer can provide delay enhancement for high load scenarios.
FIG. 3 shows a graph 301 of a performance metric for various examples of routing protocols. For this graph 301, the number of nodes N is set to 44. The graph 301 shows how a BWAR mechanism outperforms S&W delay performance for high load. The graph 301 also shows how BWAR supports almost twice the capacity region of S&W.
FIG. 4 shows another graph 401 of a performance metric for various examples of routing protocols. For this graph 401, the number of nodes N is set to 44. The graph 401 shows that BWAR-IM has a better total number of transmissions compared to RB for low load despite the flooding duplicates nature of BWAR at low load.
FIG. 5 shows a graph 501 of the average delay versus timeout for different load scenarios. For this graph 501, the number of nodes N is set to 44. The graph 501 studies the effect of timeout value P of BWAR-TD for removing duplicates under different load scenarios (e.g., λε{0.001, 0.016, 0.064, 0.128}) and compares its delay performance with ideal duplicate removals in BWAR-ID.
FIG. 6 shows a simplified diagram of an example of a node 601 that is configured for BWAR. A node 601 includes an interconnection fabric 605 such as a broadcast-style bus or point-to-point switching fabric. The node 601 includes multiple network interfaces 610a-n that are communicatively coupled with the interconnection fabric 605. Network interfaces 610a-n include circuitry configured to communicate via a wireline network or a wireless network. The node 601 includes a controller 615 that is communicatively coupled with the interconnection fabric 605. The controller 615 is configured to use at least a portion of the memory 620 for one or more sets of queues to route data within the node 601. In this example, the memory 620 is configured by the controller 615 to store transmitter queues 630 and duplicate buffers 635. In some implementations, the transmitter queues 630 are stored within memories in respective network interfaces 610a-n. In some implementations, the duplicate buffers 635 are stored within memories in respective network interfaces 610a-n. In some implementations, the memory 620 is a collection of two or more discrete memory hardware components.
FIG. 7 shows a diagram of an example of mobile device network architecture that is configured for BWAR. A communication network 701 can include multiple nodes, e.g., mobile devices 705, that are configured to intercommunicate with each other. For example, the mobile devices 705 can form an ICMN. Each of the mobile devices 705 can include a processor 710, transceiver 715, and memory 725. The transceiver 715 can include receiver circuitry and transmitter circuitry. The transceiver 715 can be coupled with one or more antennas 720. The processor 710 includes hardware such as one or more processor cores.
The memory 725 can store transmitter queues 730 and duplicate buffers 735. In some implementations, the memory 725 can store a program. For example, a program, stored in memory 725, can be configured to cause the processor 710 to route packets through the network 701 based on backpressure scheduling using the transmitter queues 730, retain copies of at least a portion of the packets within the duplicate buffers 735 when a number of packets in the transmitter queues 730 satisfies a first threshold, and transmit the retained copies of the packets via the transceiver 715 to perform the routing once the number of packets in the transmitter queue 730 satisfies a second threshold, which is different than the first threshold.
FIG. 8 shows a flowchart of an example of a process that uses BWAR. At 805, the process routes packets through a network based on backpressure scheduling. Backpressure scheduling can use a store-and-forward protocol in which transmission decisions for the packets are based on queue differentials between a node and target recipient nodes. At 810, the process stores and forwards the packets via a transmitter queue. A BWAR-enabled node can include multiple transmitter queues and multiple duplicate buffers, with a pair of each corresponding to a different destination or flow. Thus, storing a packet at 810 can include identifying the destination of a packet and storing the packet in a transmitter queue that corresponds to the destination.
At 815, the process operates a packet queue counter based on the transmitter queue. Note that the process continuously operates the packet queue counter at 815. Operating the packet queue counter at 815, can include incrementing the counter when a packet is inserted into the transmitter queue. Operating the packet queue counter at 815, can include decrementing the counter when a packet is removed from the transmitter queue. In some implementations, the node can operate multiple packet queue counters based on respective transmitter queues.
At 820, the process determines whether the packet queue counter satisfies a first threshold. Determining whether the first threshold is satisfied, at 820, can include comparing a value of the packet queue counter with the first threshold and checking whether the value is below the first threshold. If the first threshold is satisfied, the process retains copies of at least a portion of the packets within a duplicate buffer at 825. Retaining the copies, at 825, can include copying a packet from the transmitter queue into the duplicate buffer when the number of packets in the transmitter queue is below the first threshold. In some implementations, a size of the duplicate buffer and the first threshold are each set to a value corresponding to a maximum link service rate in the network.
At 830, the process determines whether the packet queue counter satisfies a second threshold. If satisfied, the process transmits the retained copies of the packets at 835. Transmitting the retained copies can include transmitting each retained copy one at a time. Transmitting the retained copies can include giving a higher transmission priority to packets whose next hop node is their final destination in the network. In some implementations, with multiple transmitter queues, each of the transmitter queues can be associated with its own thresholds for retaining copies and transmitting retained copies. In some implementations, the process, for each packet of the packets to have a copy retained, checks that a total number of copies of the each packet is bounded by a constant. The constant can be adjustable to tune a tradeoff between energy and delay. In some implementations, the first threshold is referred to as a retention threshold and the second threshold is referred to as a duplicate transmission threshold. In some implementations, the retention threshold and the duplicate transmission threshold are different configurable parameters, that can be configured to the same value or to different values.
FIG. 9 shows a flowchart of another example of a process that uses BWAR. At 905, the process transmits, from a transmitter queue, a packet to a destination node. At 910, the process selectively makes a copy of the packet in a duplicate buffer and selectively transmits the copy. For example, the process can make a copy of the packet based on the number of packets within the transmitter queue being below a threshold. At 915, the process manages the duplicate buffer. Such managing can include determining when to remove copies from the duplicate buffer. Such managing can include listening for network feedback. For example, at 920, the process can determine whether it has received a notification of receipt of the packet from the destination node. If the packet has been successfully received (e.g., an acknowledgement was received), the process can remove the copy of the packet from the duplicate buffer at 930. Further, managing, at 915, can include setting a timer to control timeouts. At 925, the process can determine whether a timeout criterion has been met. If the timeout criterion has been met, the process can remove the copy of the packet from the duplicate buffer at 930. At 935, the process can selectively modify the timeout criterion based on network feedback. Various examples of feedback include notifications of packet receptions, delay of delivered packets, or explicit congestion signals. Modifying the timeout criterion can include increasing a timeout value based on received feedback indicating that network congestion has increased. Further, the process can operate multiple timers for respective nodes and use different timeout criteria for the timers.
Various implementations of the systems and techniques described here can be realized in digital electronic circuitry, integrated circuitry, specially designed ASICs (application specific integrated circuits), computer hardware, firmware, software, and/or combinations thereof. These various implementations can include implementation in one or more computer programs that are executable and/or interpretable on a programmable system including at least one programmable processor, which may be special or general purpose, coupled to receive data and instructions from, and to transmit data and instructions to, a storage system, at least one input device, and at least one output device.
These computer programs (also known as programs, software, software applications or code) include machine instructions for a programmable processor, and can be implemented in a high-level procedural and/or object-oriented programming language, and/or in assembly/machine language. As used herein, the terms “machine-readable medium” “computer-readable medium” refers to any computer program product, apparatus and/or device (e.g., magnetic discs, optical disks, memory, Programmable Logic Devices (PLDs)) used to provide machine instructions and/or data to a programmable processor, including a machine-readable medium that receives machine instructions as a machine-readable signal. The term “machine-readable signal” refers to any signal used to provide machine instructions and/or data to a programmable processor.
To provide for interaction with a user, the systems and techniques described here can be implemented on a computer having a display device (e.g., a CRT (cathode ray tube) or LCD (liquid crystal display) monitor) for displaying information to the user and a keyboard and a pointing device (e.g., a mouse or a trackball) by which the user can provide input to the computer. Other kinds of devices can be used to provide for interaction with a user as well; for example, feedback provided to the user can be any form of sensory feedback (e.g., visual feedback, auditory feedback, or tactile feedback); and input from the user can be received in any form, including acoustic, speech, or tactile input.
The systems and techniques described here can be implemented in a computing system that includes a back end component (e.g., as a data server), or that includes a middleware component (e.g., an application server), or that includes a front end component (e.g., a client computer having a graphical user interface or a Web browser through which a user can interact with an implementation of the systems and techniques described here), or any combination of such back end, middleware, or front end components. The components of the system can be interconnected by any form or medium of digital data communication (e.g., a communication network). Examples of communication networks include a local area network (“LAN”), a wide area network (“WAN”), peer-to-peer networks (having ad-hoc or static members), grid computing infrastructures, and the Internet.
The computing system can include clients and servers. A client and server are generally remote from each other and typically interact through a communication network. The relationship of client and server arises by virtue of computer programs running on the respective computers and having a client-server relationship to each other.
Although a few implementations have been described in detail above, other modifications are possible. Moreover, other mechanisms for detecting impersonation on a social network may be used. In addition, the logic flows depicted in the figures do not require the particular order shown, or sequential order, to achieve desirable results. Other steps may be provided, or steps may be eliminated, from the described flows, and other components may be added to, or removed from, the described systems. Accordingly, other implementations are within the scope of the following claims.

## Claims

1. A method comprising:
routing, at a node comprising hardware, packets through a network based on backpressure scheduling, wherein the node comprises a transmitter queue and a duplicate buffer;
when a number of packets in the transmitter queue satisfies a first threshold, retaining copies of at least a portion of the packets, wherein each of the retained copies comprises data that need to be forwarded through the network to a destination, and wherein each of the retained copies is a packet copied from the transmitter queue into the duplicate buffer when the number of packets in the transmitter queue is below the first threshold, wherein retaining the copies comprises copying the packet from the transmitter queue into the duplicate buffer when the number of packets in the transmitter queue is below the first threshold upon transmission of the packet from the transmitter queue; and
once the number of packets in the transmitter queue satisfies a second threshold, transmitting the retained copies of the packets to perform the routing, wherein the second threshold is a predefined number of packets in the transmitter queue.

2. The method of claim 1, wherein the network comprises an intermittently connected mobile network, and the backpressure scheduling comprises a store-and-forward protocol in which transmission decisions for the packets are based on queue differentials between the node and target recipient nodes.

3. The method of claim 1, wherein the node comprises a plurality of transmitter queues and a plurality of duplicate buffers, with a pair of each corresponding to a different destination or flow, the first threshold comprises a first set of predefined thresholds for the plurality of transmitter queues, and the second threshold comprises a second set of predefined thresholds for the plurality of transmitter queues.

4. The method of claim 1, wherein the predefined number of packets is zero packets in the transmitter queue, and wherein the second threshold is satisfied when the number of packets in the transmitter queue is zero.

5. The method of claim 1, wherein a size of the duplicate buffer and the first threshold are each set to a value corresponding to a maximum link service rate in the network.

6. The method of claim 1, comprising:
removing a retained copy of the retained copies from the duplicate buffer once a notification of receipt by a destination node is received.

7. The method of claim 1, comprising:
giving higher priority to packets whose next hop node is their final destination in the network.

8. The method of claim 1, the method comprising:
when a timeout criterion is met, removing the retained copies of the packets.

9. The method of claim 8, comprising:
modifying the timeout criterion in accordance with feedback obtained from notifications of packet receptions, delay of delivered packets, or other congestion signals from the network.

10. The method of claim 1, comprising:
for each packet of the packets to have a copy retained, checking that a total number of copies of the each packet is bounded by a constant.

11. The method of claim 10, wherein the constant is adjustable to tune a tradeoff between energy and delay.

12. An apparatus comprising:
a memory comprising a transmitter queue and a duplicate buffer; and
a processor configured to perform operations comprising:
routing packets through a network based on backpressure scheduling;
when a number of packets in the transmitter queue satisfies a first threshold, retaining copies of at least a portion of the packets, wherein each of the retained copies comprises data that need to be forwarded through the network to a destination, and wherein each of the retained copies is a packet copied from the transmitter queue into the duplicate buffer when the number of packets in the transmitter queue is below the first threshold, wherein retaining the copies comprises copying the packet from the transmitter queue into the duplicate buffer when the number of packets in the transmitter queue is below the first threshold upon transmission of the packet from the transmitter queue; and
once the number of packets in the transmitter queue satisfies a second threshold, transmitting the retained copies of the packets to perform the routing, wherein the second threshold is a predefined number of packets in the transmitter queue.

13. The apparatus of claim 12, wherein the network comprises an intermittently connected mobile network, and the backpressure scheduling comprises a store-and-forward protocol in which transmission decisions for the packets are based on queue differentials between the apparatus and target recipient nodes.

14. The apparatus of claim 12, wherein the memory comprises a plurality of transmitter queues and a plurality of duplicate buffers, with a pair of each corresponding to a different destination or flow, the first threshold comprises a first set of predefined thresholds for the plurality of transmitter queues, and the second threshold comprises a second set of predefined thresholds for the plurality of transmitter queues.

15. The apparatus of claim 12, wherein the predefined number of packets is zero packets in the transmitter queue, and wherein the second threshold is satisfied when the number of packets in the transmitter queue is zero.

16. The apparatus of claim 12, wherein a size of the duplicate buffer and the first threshold are each set to a value corresponding to a maximum link service rate in the network.

17. The apparatus of claim 12, wherein the operations comprise:
removing a retained copy of the retained copies from the duplicate buffer once a notification of receipt by a destination node is received.

18. The apparatus of claim 12, wherein the operations comprise:
giving higher priority to packets whose next hop node is their final destination in the network.

19. The apparatus of claim 12, wherein the operations comprise:
when a timeout criterion is met, removing the copies of the packets.

20. The apparatus of claim 19, wherein the operations comprise:
modifying the timeout criterion in accordance with feedback obtained from notifications of packet receptions, delay of delivered packets, or other congestion signals from the network.

21. The apparatus of claim 12, wherein the operations comprise:
for each packet of the packets to have a copy retained, checking that a total number of copies of the each packet is bounded by a constant.

22. The apparatus of claim 21, wherein the constant is adjustable to tune a tradeoff between energy and delay.

23. A system comprising:
multiple intermittently connected mobile devices forming an intermittently connected mobile network,
wherein a mobile device in the network comprises a processor and a memory, and
wherein the memory stores a program configured to cause the processor to (i) route packets through the network based on backpressure scheduling using a transmitter queue, (ii) retain copies of at least a portion of the packets when a number of packets in the transmitter queue satisfies a first threshold, each of the retained copies comprising data that need to be forwarded through the network to a destination, each of the retained copies being a packet copied from the transmitter queue into a duplicate buffer when the number of packets in the transmitter queue is below the first threshold upon transmission of the packet from the transmitter queue, and (iii) transmit the retained copies of the packets to perform the routing once the number of packets in the transmitter queue satisfies a second threshold, wherein the second threshold is a predefined number of packets in the transmitter queue.

24. The system of claim 23, wherein the mobile device comprises a plurality of transmitter queues and a plurality of duplicate buffers, with a pair of each corresponding to a different destination or flow, the first threshold comprises a first set of predefined thresholds for the plurality of transmitter queues, and the second threshold comprises a second set of predefined thresholds for the plurality of transmitter queues.

25. The system of claim 23, wherein the predefined number of packets is zero packets in the transmitter queue, and wherein the second threshold is satisfied when the number of packets in the transmitter queue is zero.

26. An apparatus comprising:
a memory comprising a transmitter queue and a duplicate buffer; and
a processor coupled with the memory, wherein the processor is configured to perform operations comprising:
routing packets through a network based on backpressure scheduling;
when a number of packets in the transmitter queue satisfies a first threshold, retaining one or more copies of one or more of the packets, wherein each of the retained copies comprises data that need to be forwarded through the network to a destination node, and wherein each of the one or more retained copies is a packet copied from the transmitter queue into the duplicate buffer when the number of packets in the transmitter queue is below the first threshold; and
once the number of packets in the transmitter queue satisfies a second threshold, transmitting at least a portion of the one or more retained copies to perform the routing,

wherein a size of the duplicate buffer is based on a maximum link service rate in the network, and
wherein the first threshold is based on the maximum link service rate in the network.

27. The apparatus of claim 26, wherein the operations comprise removing a retained copy of the one or more retained copies from the duplicate buffer once a notification of receipt by the destination node is received.

28. The apparatus of claim 26, wherein the operations comprise:
when a timeout criterion is met, removing the one or more retained copies; and
modifying the timeout criterion in accordance with feedback obtained from notifications of packet receptions, delay of delivered packets, or other congestion signals from the network.

29. The apparatus of claim 26, wherein the second threshold is zero packets in the transmitter queue, and wherein the second threshold is satisfied when the number of packets in the transmitter queue is zero.

30. The apparatus of claim 26, wherein the network comprises an intermittently connected mobile network, and the backpressure scheduling comprises a store-and-forward protocol in which transmission decisions for the packets are based on queue differentials between the apparatus and target recipient nodes.

31. The apparatus of claim 26, wherein the memory comprises a plurality of transmitter queues and a plurality of duplicate buffers, with a pair of each corresponding to a different destination or flow, the first threshold comprises a first set of predefined thresholds for the plurality of transmitter queues, and the second threshold comprises a second set of predefined thresholds for the plurality of transmitter queues.