stochastic control of heterogeneous networks
Post on 31-Dec-2015
19 Views
Preview:
DESCRIPTION
TRANSCRIPT
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 1
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
Eytan Modiano
Massachusetts Institute of Technology
Stochastic Control of Heterogeneous Networks
http://web.mit.edu/modiano/www
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 2
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITOutline
• Introduction
– Optimal power and rate allocation
– Joint routing and power allocation
– Joint flow control, routing and power allocation
– Distributed Implementations
• Summary
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 3
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
• Networks must be designed to work effectively across heterogeneous component• Architecture must be scalable, robust and cost effective (from access to backbone)• Resource utilization must be very efficient (especially for space and wireless segments)
Hybrid space-terrestrial networks
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 4
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITResearch Overview
• High-speed optical networks (NSF, DARPA, DTRA)
– WDM network architecture
– Optical bypass of the electronic layer
– Network survivability
• Satellite networks (NASA, DARPA, NRO)
– Resource allocation in next generation satellite networks
– Hybrid space-terrestrial networking
– LEO satellite networks
• Wireless ad-hoc networks (Draper labs, Samsung, DARPA, AFOSR, ONR, NSF)
– Autonomous networks of air and ground vehicles
– Distributed sensor networks
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 5
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITOutline
• Introduction
Optimal power and rate allocation
– Joint routing and power allocation
– Joint flow control, routing and power allocation
– Distributed Implementations
• Summary
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 6
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
Joint routing and scheduling in space networks
G
G
G
sensing satellite
communications satellite
Alternative routes
Downlink Scheduling
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 7
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
Scheduling with multiple downlink beams
• Satellite to ground channel or wireless (cellular) downlink
– Time varying channel quality
• Random traffic arrivals
• Allowable transmission rates limited by
– Number of transmitters
– Total available power
– Bandwidth
XMTR
1
N
R1(t)
RN(t)
SATELLITE
VIRTUALOUTPUTBUFFERS
1
N
TIME-VARYING CHANNEL
Throughput optimal scheduling
• Want to keep the system stable => bounded average queue occupancy– Stabilizing algorithm => maintains stability whenever possible
• Single transmitter & non-time-varying channels – Serving the fastest queue (channel) minimizes buffer occupancy => maintains stability
• What happens with multiple transmitters?
• What if the channels are time-varying?
DOWNLINKBEAMS
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 8
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
Instability of fastest queue first(non time varying channel)
• When packets arrive to either of the top two queues they are served first– With probability p2 no server can serve last queue– As long as arrival rate exceeds 1 - p2 last queue is
unstable– Notice that when p < 1, if we assign one server to always
serve queue 3 and the other to alternate between 1 and 2, all queues would be stable
R = 1 packet/slot1- p2 + packets/slot
R = 2 packets/slot = p packets/slot
R = 2 packets/slot = p packets/slot
Two servers, Bernoulli arrivals
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 9
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
Optimal Power Allocation(time varying channel)
• Ri(Pi(t), Ci(t)) - Rate for user i when channel state is Ci and Pi power allocated
• Theorem 1: Throughput optimal algorithm allocates power during time-slot t according to:
– Generalization of TE92 max-weight rule to power allocation
Max Ui (t ) Ri (Pi (t ),Ci (t )) Subject to Pi (t )Ptotal
Michael Neely, Eytan Modiano and Charles Rohrs, "Power Allocation and Routing in Multi-BeamSatellites with Time Varying Channels," IEEE Transactions on Networking, February, 2003
Ui - buffer occupancy; Pi - allocated power; Ci - channel state
Ri
Pi
R(p,c1)
R(p,c2)
R(p,c3)improvingchannel conditions
Pi Ptotal
Limit on total allocated power :
Arrival and channelstatistics are not known
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 10
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
Ri Rtotal
Max Ui (t ) Ri (t ) Subject to Ri (t ) Rtotal
A. Narula-Tam , T. G. Macdonald , E. Modiano , L Servi, “A Dynamic Resource Allocation Strategy for Satellite Communications,” IEEE MILCOM, October, 2004.
RuvR(allowable rate region)
Generalization to optimal rate (or bandwidth) allocation
• In many situations power cannot be split across beams
• Equivalent problem of allocating rate between the beams through time or frequency sharing
• Throughput optimal rate allocation: “Max weight rule”
• Similar result applies to general rate allocation regions
• Application to future military satellite system - Lincoln Laboratory– Complex allocation of time slots, frequencies, modes, etc.
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 11
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITProof of stability
• Proof: Using Lyapunov stability
L(
U ) ii1
iN U i2, for arbitrary weights i 0
DE[L(
U ( tT )) L(
U (t)) |
U (t)]B 2T ii1
N Ui
0, incapacityregion, B is a positive constant
Now, whenever ii1
iN Ui B2T
D
steady state distribution onU exists
Also, it can be shown that : ii1
iN U i B
2T
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 12
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITNumerical Example
• Time-varying channel model– 3 States: Log-Normal attenuation
Good: SNR = 15 dB Medium: SNR = 10 dB Bad: SNR = 0 dB
– Transition between states according to a Markov chain
– Rate power curves using the Shannon capacity formula
Ri( pi,c i) Log(1 i pi)
pi 1
i are channel fading coefficients
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 13
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
Example: capacity with two channels/servers
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 14
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITOutline
• Introduction
– Optimal power (or rate) allocation
Joint routing and power allocation
– Joint flow control, routing and power allocation
– Distributed Implementations
• Summary
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 15
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITJoint routing and power allocation
• Multiple routes to destination
• Stabilizing routing and power allocation– Route packets to shortest queue (regardless of channel state)
– Allocate power according to power allocation of Theorem 1
• Can be generalized to arbitrary activation sets– Each packets can be routed to a subset of the queues– Power is shared among different subsets of queues– Not all queues can be activated simultaneously
Route 1
Route 2
Route 3
Packets
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 16
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITExtension to wireless networks
• Transmission rates along the different links is a function of the power allocated to the links – Can model interference and mobility
• Given a traffic demand (perhaps unknown) between nodes in the network, how do we route packets and allocate power to maximize the network capacity?
P1
P3
P2
P4
P5
X13
X15
X25
X24
X43
X53
Packet streams Xij
Time varying channel
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 17
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITOptimal routing and power allocation
• Each commodity C {1,..,N} corresponds to data associated with a given destination node
• Routing algorithm - along each link (a,b) route commodity C that maximizes the differential backlog along that link [TE92]. i.e.,
• Algorithms uses “back pressure” to find the routes
• Power allocation:
• Generalization of [TE92] max-weight activation set algorithm to power allocation– Only a subset of the links can be activated simultaneously
Max W(a,b )* (t)
links(a,b )
Ri (p (t),
c (t))
p is an allowable power allocation subject to interference and power constraints
W(a,b)* max
c {1..N}W(a,b)
c (Uac - Ub
c )
Michael Neely and Eytan Modiano, “Dynamic Power Allocation and Routing for Time Varying Wireless Networks ,” IEEE Journal on Selected Areas in Communications, January, 2005.
a b
W(a,b)c 3 2 1
c c
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 18
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITDifferential Backlog Routing
• Example – primary interference
2
1
3
6
4
7 8
666 67
6
776 7
76
73
W = max(3,1) = 3
1
3
1
1
2
1
3
7
6
1
3
2
2
2
1
2
0
2
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 19
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITExample: Mobile ad hoc network
Users move between cells according to a Markov mobility model
Power attenuation loss as d4
CDMA interference model: - Rate function of SINR
Comparison to 2-hop relay algorithm (Grossglauser-Tse)
10 nodes, 5x5 grid
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 20
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITOutline
• Introduction
– Optimal power (or rate) allocation
– Routing and power allocation
Joint flow control, routing and power allocation
– Distributed Implementations
• Summary
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 21
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
Which packets should be dropped? Or not admitted?
Flow Control
• When demand exceeds the system capacity– Queues build up– data discarded– congestion increases => instability
• Flow control is needed to regulate traffic flow– Flow control prevents network
instability by keeping packets waiting outside the network rather than in queues inside the network
• Objectives of flow control– Maximize network throughput– Reduce network delays– Maintain quality-of-service
parameters– Fairness, delay, etc..
• Tradeoff between fairness, delay, throughput…
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 22
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITOptimal flow control
• Let ri be the data rate allocated to session i (steady state),
• Let gi(r) be the “utility” of allocating rate r to session i
• Optimal flow control objective: maximize sum utilities subject to capacity constraints
• Can be used to model a wide range of QoS objectives
• In principle, if the arrival rates, channel statistics and network capacity region were all known above optimization can be solved– In practice we don’t usually know the network capacity region– Even the arrival rates and channel statistics are often unknown
• Need a dynamic control strategy
maximize : g i (rii
)
Subject to : r , r
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 23
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
Pr[ON] = p1
Pr[ON] = p2
12
0.6
0.5
2
1Capacity region :
• Throughput optimal algorithm (serve ON queue with largest backlog)• Stabilizes whenever rates are strictly interior to • What happens when rates are outside ?
Example: one server, 2 queue downlink, ON/OFF channels
P1 = 0.5P2 = 0.6
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 24
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
(1) Throughput optimal max-weight rule (max Uii)(2) Borst Alg. [Borst Infocom 2003] (max i/i)(3) Tse Alg. [Tse 97, 99, Kush 2002] (max i/ri)
Comparison of dynamic control algorithms
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 25
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITFlow control mechanism
• Put data into reservoir (overflow buffer)
• Valve controls how much data to admit during each time-slot (Ric(t))
• Once data inside the network - use the same routing and rate allocation schemes as before– Max weight rate allocation– Max differential backlog routing
• Optimal choice of Ric(t) values achieves maximum utility values
Overflow buffer
Network buffers
Flow regulator
Michael Neely, Eytan Modiano and C. Li, “Fairness and optimal stochastic control of heterogeneous networks,”IEEE/ACM Transactions on Networking, to appear.
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 26
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
})()(2)]([{1)(
Nc
ciicicic tUtRtRVg
,)( max1 RtRNc ic )()(0 tLtR icic
Max :
Subject to : for all c
Dynamic control strategy
• Optimal Flow control: pick Ric(t)
• Threshold rule that depends on the amount of data in the buffer (U)– The amount of data allowed into the network depends on the buffer
levels
• V is a control parameter that affects the performance of the algorithm– Large V => More delay but higher throughput
• Algorithm comes arbitrarily close to the optimal operating point– Proof uses Lyapunov stability theory
• Algorithm is a dynamic, decentralized control algorithm that does not require knowledge of the traffic and channel statistics– Trivial implementation - does not require solution to a complex
optimization– Each node makes independent decisionsMichael Neely, Eytan Modiano and C. Li, “Fairness and optimal stochastic control of heterogeneous networks,”
IEEE/ACM Transactions on Networking, to appear.
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 27
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITExamples of rule
• Maximum throughput and the threshold rule
• Proportional fairness and the 1/U rule
Linear utilities: gnc(r) = nc r
Logarithmic utilities: gnc(r) = log(1 + rnc)
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 28
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
gc (rc )c gc ( rc)c
C2
V
Ui(c)
i, c
C1V
Utility (throughput):
Buffer occupancy (Delay):
Performance of algorithm
• V is a control parameter that affects the performance of the algorithm– Large V => More delay but higher throughput
• Algorithm comes arbitrarily close to the optimal operating point
1
optimal point r*
C1, C2 constants
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 29
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
a)g1(r)=g2(r)=
log(1+r)
b)g1(r)=log(1+r)g2(r)=1.28log(1+r)
(priority service)
Simulation Results(ON/OFF downlink example from before)
1= 0.5 packets/slot, 2 = 1 packet/slot; r* = (0.23, 0.57)
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 30
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
Performance: example(two users, on-off channel)
Buffer occupancy (delay) Data rates
User 1: ON with probability 0.5; User 2: ON with probability 0.6
g1(r)= log(1+r); g2(r)= 1.3log(1+r)
1= 0.5 packets/slot, 2 = 1 packet/slot; r* = (0.23, 0.57)
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 31
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITOutline
• Introduction
– Optimal power (or rate) allocation
– Routing and power allocation
– Joint flow control, routing and power allocation
Distributed Implementations
• Summary
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 32
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITThroughput Maximization in Wireless Networks
• Routing: Maximum Differential Backlog [TE92]• Scheduling: Only a subset of the links can be activated
simultaneously – Maximum Weight Activation Set– Weights are the backlogs
1
2
3
5
6
4
7 8Cen
traliz
ed
NP-C
om
ple
teH
igh
com
ple
xit
y
• Single hop traffic - scheduling– Find a Maximum Weight activation set
in every time slot– Weights – Queue sizes
• Primary interference constraints– A node transmits to a single neighbor at a time – Multiple transmissions can take place as long as they
do not share a common node– Find a Maximum Weight Matching (O(n3))
in every time slot
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 33
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITDistributed Solutions
• In wireless networks there is a need for distributed solutions
– Unlike in switches/routers
• The optimization problem cannot be solved in a distributed manner every slot/frame
• Recent distributed scheduling schemes
– Lin and Shroff (2005) Chaporkar et al. (2005, 2006), Wu and Srikant (2005), Chen et al. (2006)
• Maximal weight (greedy) matching or Maximal matching
– Instead of Maximum Weight Matching
– Guarantee only 50% throughput1
2
3
5
6
4
7 8
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 34
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
• In a centralized setting randomized algorithms can obtain 100% throughput (Tassiulas, 1998)
• Algorithm– S(t) is the schedule (matching) at time t– At time t + 1 choose a matching R(t +1) randomly
from all possible matchings– S(t +1) is the heaviest between S(t) and R(t +1)
– Conditions on the random selection
Randomized Algorithms
S(t) R(t +1)
Max {S(t) , R(t +1)}
Matchings
Weig
ht
S(t)
R(t +1) S(t +1)
Centralized
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 36
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
Framework for distributed scheduling in a wireless network
• Distributed Framework
– S(t) is the schedule (matching) at time t
– At time t +1 randomly obtain a matching R(t +1) by a distributed algorithm NEW-SCH
– S(t +1) is obtained by a distributed algorithm MIX
using inputs S(t) and R(t +1)
MAX MIX
• MIX– Combines both matchings– S(t +1) is not necessarily
the heaviest matching
S(t) R(t +1)
MIX {S(t) , R(t +1)}
NEW-SCH
1
2
3
5
6
4
7 8
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 37
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITMIX
• Combines both matchings– Combined weight may be below maximum
• Provides framework for distributed algorithms– Allows for decentralized operation in different parts of the
network– No need for exact maximum and global knowledge– “Errors” are allowed - enables inaccurate computation
1
2
3
5
6
4
8
MIX
7Weig
ht
MatchingsS(t) R(t +1) Max MIX
IdealWithlow
probability
MIX
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 38
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITStability Region
• Theorem: Let NEW-SCH and MIX satisfy:– The probability that NEW-SCH selects the Maximum Weight
Matching is > 0
– The probability that following MIX
Weight of S(t +1) (1- ) Max {Weight of S(t), Weight of R(t +1)}
is 1-1 (1<<)
Then, the network is stable for any set of rates
• The constants – Affect the stability region– Affect the complexities
Tra
deoff
s (* - the stability region under centralized scheduler)
Design of algorithms
(1 2 1 )*
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 39
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
Obtaining a New Schedule (NEW-SCH)
• A Maximal Matching algorithm that has a positive probability () to find the Maximum Weight Matching– Israeli and Itai, 1986
– A constant number of iterations is required to guarantee that > 0
• Mix depends on the interference models
– Focus: primary interference constraints
– General interference and multi-hop traffic
A. Eryilmaz, A. Ozdaglar, E. Modiano, "Polynomial Complexity Algorithms for Full Utilization of Multi-hop Wireless Networks", IEEE Infocom, May 2007.
E. Modiano, D. Shah, and G. Zussman, “Maximizing Throughput in Wireless Networks via Gossiping,” Proc. ACM SIGMETRICS / IFIP Performance'06, June 2006. (Winner of Best Paper Award)
A. Eryilmaz, E. Modiano, and A. Ozdaglar, “Distributed Control for Throughput-Optimality and Fairness in Wireless Networks,” Proc. of CDC, December 2006.
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 41
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
Combining the Schedules (MIX)
• The combination of the current (S(t)) and random (R(t +1)) matchings creates connected components
• An independent decision has to be made in each component (MIX)– Not necessarily simultaneously
• Within a component – Nodes need to collect the sums of weights– Need to make the same decision
• No node needs global information
Paths Cycles
S(t)R(t+1)
C1
C2
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 42
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
Distributed MIX Algorithm - Deterministic
• Mixing is simple on a path – the end nodes can become “leaders”
• On a cycle
– Every node sends a summation packet that collects the sums of weights along the cycle
– The packet halts at the initiating node
• Each node makes a decision based on “its” packet
– If Weight [R(t +1)] > Weight [S(t)] Change to R(t +1)
– Otherwise, stay with S(t)
• Requires node identities to determinethat packet has returned to its source
1
2
3
5
6
4
7 8
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 43
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
Distributed MIX Algorithm - Deterministic
• Recall that if following MIX the probability that
Weight of S(t +1) (1- ) Max {Weight of S(t), Weight of R(t +1)} is 1-1
Then, the network is stable for any set of rates
(* - the stability region under perfect/centralized scheduler)
• With the deterministic MIX, the decision is exact
–
• Time complexity - O(L)
• Communication complexity - O(L2)
L – path length (in the worst case – the number of nodes)
(1 2 1 )*
(1 2 1 )* *
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 44
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
Distributed MIX - RandomizedGossip Algorithms
• Gossip algorithms disseminate information in a randomized manner– Karp et al. (2000), Kempe et al. (2003),
Boyd et al. (2005), Ganesh et al. (2005)
• Compute functions of network variables – E.g., averages
• Tradeoff between running time and accuracy
• Used in each component (cycle) – Estimate the weights of the current (S(t)) and random (R(t +1))
matchings
2
4
1
3
5
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 45
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITSimple Gossip Mechanism
• Within a cycle
– Estimates the weights of S(t) and R(t +1)
• Xv(0) – node v’s weight at time 0
• Xv(i) – node v’s estimate of the average weight at iteration i
• Each node contacts a neighbor with probability ½
– If decides to contact, selects one of the neighbors randomly
• If u is contacted by v
– If u decided to contact v, they average their values:
Xu(i) = Xv(i) = AVG [Xv (i – 1) , Xv (i – 1)]
• Stop after I(L) = (L2[ – log 2 – log ]) iterations
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 46
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITGossip Mechanism I (cont.)
• Lemma: At the end of iteration I(L)
– The estimates will be close to the exact value
• The estimates at different nodes of may differ
Some nodes may prefer the new matching while others retain the current one
Need a mechanism that will ensure a synchronized decision (agreement)
• If a node in the cycle decides differently than its neighbor
– The current schedule (S(t)) is retained
• If there are no differences
– Follow the decision
P xave (1 ˆ ) xv (I(L)) xave (1 ˆ ); v 1 2
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 47
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITGossip and Agreement
• Lemma: If
Pr(All nodes move to R(t +1)) 1 – 2
• Recall (theorem) that if the probability that following MIX Weight of S(t +1) (1- ) Max {Weight of S(t), Weight of R(t +1)}
is 1-1 (1<<)
Then, the network is stable for
• The choice of 2 and affect the complexity of the algorithm
• Selection of 2 and leads to a stability region (1 – – )*
and - small constants – Affect the number of iterations– Do not affect the complexities
• We use the fact that some inaccuracy is allowed
Weight S(t) 1 ˆ 1 ˆ
Weight[R(t +1)]
(1 2 1 )*
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 48
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITComparison of various algorithms
n – number of nodes, |E| - number of edges, , – small constants
Algorithm Time Complexity
Commun. Complexity
Local Comp.
Message Size
Addressing Required
Stability Region
“Distributed” Centralized Solution
O(n) O(n|E|) O(n3) O(nWv) Yes *
NEW-SCH +Deterministic
O(n) O(n2) O(1) O(nWv) Yes *
NEW-SCH + GOSP-ALGO I
O(n3 log n) O(n4 log n) O(1) O(Wv) No (1 – – )*
NEW-SCH + GOSP-ALGO II
O(n) O(n2) O(1) O(n log n Wv) No (1 – – )*
Maximal Weight O(n) O(|E|) O(n) O(1) No *
Maximal O(log n) O(|E|) O(1) O(1) No *
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 49
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
Extensions - General Interference Constraints
• Primary interference constraints are not realistic in many settings
• Under general interference constraints a link can be active if other links are not active
– Not necessarily adjacent
– May depend on geographical structure, SNR, etc.
• An interference/conflict graph can be derived from the network graph
– Neighboring nodes represent interfering links
1 2 5
3
4
1,2
2,3
4,5
3,5
2,4
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 50
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MIT
General Interference Constraints (Cont.)
• For maximum throughput [TE92]
– In every slot - find Maximum Weight Independent Set in the
interference graph
– NP-Complete
– Not amendable to distributed implementation
• The randomized framework still works
– Randomly find a Maximal independent set
– Mix current and random schedules
• Although the basic scheduling problem is NP-Complete,
randomized algorithms enable to obtain maximum throughput
distributedly A. Eryilmaz, A. Ozdaglar, E. Modiano, "Polynomial Complexity Algorithms for Full Utilization of Multi-hop Wireless Networks", IEEE Infocom, May 2007.
Communications and Networking Research GroupEytan Modiano
Hybrid networksSlide 51
QuickTime™ and aPhoto - JPEG decompressor
are needed to see this picture.
CNRG@MITSummary
• Cross-layer resource allocation critical for making efficient use of network resources
• Developed stochastic control framework that provides Joint scheduling, routing and flow control in a heterogeneous network– Novel flow control scheme that maximizes network utility
• Developed a distributed framework for resource allocation in wireless networks– Based on randomized algorithms– “graph models” for wireless networks
E.g., primary interference
• Future work– Extension to general interference models– Deterministic schemes:
E.g., A partitioning approach (Brzezinski, Zussman, and Modiano - ACM Mobicom’06)
In which graphs maximal-scheduling can achieve 100% throughput ?
How to partition the network into such sub-graphs ?
top related