On Flow-Aware CSMA. in Multi-Channel Wireless Networks. Mathieu Feuillet. Joint work with Thomas Bonald CISS 2011

Transcription

1 On Flow-Aware CSMA in Multi-Channel Wireless Networks Mathieu Feuillet Joint work with Thomas Bonald CISS 2011

2 Outline Model Background Standard CSMA Flow-aware CSMA Conclusion

3 Outline Model Background Standard CSMA Flow-aware CSMA Conclusion

4 Conflict graphs The network is represented by a set of conflict graphs, one per channel. Channel 1 Channel 2

5 Conflict graphs The network is represented by a set of conflict graphs, one per channel. Channel 1 Channel 2 Conflict graphs on different channels can be different.

6 Conflict graphs Channel 1 Channel 2 Schedules:, {(1, 1)}, {(2, 1)}, {(3, 1)},{(1, 1), (3, 1)}.

7 Conflict graphs Channel 1 Channel 2 Schedules:, {(1, 1)}, {(2, 1)}, {(3, 1)},{(1, 1), (3, 1)}.

8 Conflict graphs Channel 1 Channel Schedules:, {(1, 1)}, {(2, 1)}, {(3, 1)},{(1, 1), (3, 1)}.

9 Conflict graphs Channel 1 Channel Schedules:, {(1, 1)}, {(2, 1)}, {(3, 1)},{(1, 1), (3, 1)}.

10 Conflict graphs Channel 1 Channel 2 Schedules:, {(1, 1)}, {(2, 1)}, {(3, 1)},{(1, 1), (3, 1)}.

11 Conflict graphs Channel 1 Channel 2 Schedules:, {(1, 1)}, {(2, 1)}, {(3, 1)},{(1, 1), (3, 1)}.

12 Conflict graphs Channel 1 Channel 2 Schedules:, {(1, 1)}, {(2, 1)}, {(3, 1)},{(1, 1), (3, 1)}. {(1, 2)}, {(2, 2)}, {(3, 2)},{(1, 2), (3, 2)}.

13 Conflict graphs Channel 1 Channel 2 Schedules:, {(1, 1)}, {(2, 1)}, {(3, 1)},{(1, 1), (3, 1)}. {(1, 2)}, {(2, 2)}, {(3, 2)},{(1, 2), (3, 2)}. {(1, 1), (2, 2)}, {(1, 2), (2, 1), (3, 1)},...

14 Conflict graphs Channel Channel Schedules:, {(1, 1)}, {(2, 1)}, {(3, 1)},{(1, 1), (3, 1)}. {(1, 2)}, {(2, 2)}, {(3, 2)},{(1, 2), (3, 2)}. {(1, 1), (2, 2)}, {(1, 2), (2, 1), (3, 1)},...

15 Conflict graphs Channel Channel 2 Schedules:, {(1, 1)}, {(2, 1)}, {(3, 1)},{(1, 1), (3, 1)}. {(1, 2)}, {(2, 2)}, {(3, 2)},{(1, 2), (3, 2)}. {(1, 1), (2, 2)}, {(1, 2), (2, 1), (3, 1)},...

16 Time-scale separation We assume time-scale separation between flow-level and packet-level dynamics. At the packet level, the number of flows is fixed. At the flow level, the packet-level dynamics are at equilibrium: the throughput of each node is the fraction of time it is active.

17 Time-scale separation We assume time-scale separation between flow-level and packet-level dynamics. At the packet level, the number of flows is fixed. At the flow level, the packet-level dynamics are at equilibrium: the throughput of each node is the fraction of time it is active. Example: ϕ 1 = p {1} + p {1,3}, ϕ 2 = p {2}, ϕ 3 = p {3} + p {1,3}.

18 Capacity Region Defined as the set of all feasible link throughputs ϕ k = i:k S i p i Throughput of node k Schedule i Probability of schedule i

19 Capacity Region Defined as the set of all feasible link throughputs ϕ k = i:k S i p i Throughput of node k Schedule i Probability of schedule i Example: Schedules:, {1}, {2}, {3}, {1, 3}. Capacity region: {ϕ 1 + ϕ 2 1, ϕ 2 + ϕ 3 1}.

20 Stability region Defined as the set of traffic intensities such that the network is stable. ρ k = λ k σ k Example: ρ 1 ρ 2 ρ 3 The stability region depends on the algorithm.

21 Stability region Defined as the set of traffic intensities such that the network is stable. ρ k = λ k σ k Flows arrival rate

22 Stability region Defined as the set of traffic intensities such that the network is stable. ρ k = λ k σ k Flows arrival rate Mean flow size

23 Stability region Defined as the set of traffic intensities such that the network is stable. ρ k = λ k σ k Traffic intensity Flows arrival rate Mean flow size

24 Optimal stability region The stability region of any algorithm is included in the capacity region. The interior of the capacity region is called the optimal stability region.

25 Optimal stability region The stability region of any algorithm is included in the capacity region. The interior of the capacity region is called the optimal stability region. Example: Optimal stability region: {ρ 1 + ρ 2 < 1, ρ 2 + ρ 3 < 1}.

26 Outline Model Background Standard CSMA Flow-aware CSMA Conclusion

27 Maximal Weight scheduling Tassiulas & Ephremides 92 max w i (x) = k S i x k

28 Maximal Weight scheduling Tassiulas & Ephremides 92 max w i (x) = k S i x k Example: x 1 + x 3 > x 2 schedule {1, 3} x 1 + x 3 < x 2 schedule {2}

29 Suboptimal algorithms Maximal queue scheduling Mc Keown 95 Dimakis & Walrand 06 Efficiency 8 max x k

30 Suboptimal algorithms Maximal queue scheduling Mc Keown 95 Dimakis & Walrand 06 Efficiency 8 max x k Maximal size scheduling Charporkar, Kar & Sarkar 95 max S i Bonald & Massoulié 01 Efficiency 0.76

31 Optimal Algorithms Adaptative rate-based CSMA Jiang & Walrand 08 Measure the packet input and output rates and adapt the back-off accordingly. Learning algorithm.

32 Optimal Algorithms Adaptative rate-based CSMA Jiang & Walrand 08 Measure the packet input and output rates and adapt the back-off accordingly. Learning algorithm. Adaptative queue based CSMA Rajagopolan, Shah & Shin 09 Adapt the back-off according to the log log of the queue length. Some technical assumptions.

33 Outline Model Background Standard CSMA Flow-aware CSMA Conclusion

34 Standard CSMA Probe a channel at random, after some random backoff time α/2 α/2 Back-off exp(α) Transmission exp(1) Back-off exp(α) ϕ 1 (x) = α 1 + α

35 Standard CSMA Probe a channel at random, after some random backoff time α/2 α/2 Back-off exp(α) Transmission exp(1) Back-off exp(α) Stability region: ϕ 1 (x) = α 1 + α ρ 1 < α 1+α α {ρ 1 < 1}

36 Standard CSMA w i (x) = (k,j) S i α k,j 1 {xk >0} Weight of schedule i Ratio of transmission time to virtual backoff time at link k on channel j Example: Assume α k,j = α for k = 1, 2, 3 and j = 1, 2. α 1 α 1 α 1 α 1 α 1 α 1

37 Standard CSMA w i (x) = (k,j) S i α k,j 1 {xk >0} Weight of schedule i Ratio of transmission time to virtual backoff time at link k on channel j Example: Assume α k,j = α for k = 1, 2, 3 and j = 1, 2. α 1 α 1 α 1 α 1 α 1 α 1 : w i (x) = 1

38 Standard CSMA w i (x) = (k,j) S i α k,j 1 {xk >0} Weight of schedule i Ratio of transmission time to virtual backoff time at link k on channel j Example: Assume α k,j = α for k = 1, 2, 3 and j = 1, α 1 α 1 α 1 α 1 α 1 α 1 {(1, 1)} : w i (x) = α

39 Standard CSMA w i (x) = (k,j) S i α k,j 1 {xk >0} Weight of schedule i Ratio of transmission time to virtual backoff time at link k on channel j Example: Assume α k,j = α for k = 1, 2, 3 and j = 1, α 1 α 1 α 1 α 1 α 1 α {(1, 1), (2, 2)} : w i (x) = α 2

40 Standard CSMA w i (x) = (k,j) S i α k,j 1 {xk >0} Weight of schedule i Ratio of transmission time to virtual backoff time at link k on channel j Example: Assume α k,j = α for k = 1, 2, 3 and j = 1, α 1 α 1 α 1 α 1 α 1 α {(1, 1), (2, 2), (3, 1)} : w i (x) = α 3

41 Standard CSMA w i (x) = (k,j) S i α k,j 1 {xk >0} Weight of schedule i Ratio of transmission time to virtual backoff time at link k on channel j Example: Assume α k,j = α for k = 1, 2, 3 and j = 1, 2. α 1 α 1 α 1 α 1 α 1 α 1 w i (x) = α n for n active links

42 Standard CSMA ϕ k (x) = i:k S i p i (x) Throughput of link k Probability of schedule i Example: Assume α k,j = α for k = 1, 2, 3 and j = 1, 2. α 1 α 1 α 1 α 1 α 1 α 1 ϕ 1 (x) = ϕ 3 (x) = 2α + 6α2 + 2α α + 8α 2 + 2α 3, ϕ 2(x) = 2α + 4α2 + 2α α + 8α 2 + 2α 3

43 Suboptimality of standard CSMA 1 channel α 1 Optimal Actual ρ Homogeneous case ρ 1 = ρ 2 = ρ Efficiency ρ 1 = ρ 3

44 Suboptimality of standard CSMA 2 channels ρ α 1 Optimal Actual Homogeneous case ρ 1 =... = ρ ρ 1 =... = ρ 4 Efficiency 0.85

45 Outline Model Background Standard CSMA Flow-aware CSMA Conclusion

46 Flow-aware CSMA Proposed modification of CSMA: Exponential backoff time for each flow αx 1 /2 αx 1 /2 Back-off exp(αx 1 ) Transmission exp(1) Back-off exp(αx 1 ) ϕ 1 (x) = αx αx 1

47 Flow-aware CSMA Proposed modification of CSMA: Exponential backoff time for each flow αx 1 /2 αx 1 /2 Back-off exp(αx 1 ) Transmission exp(1) Back-off exp(αx 1 ) ϕ 1 (x) = αx αx 1 Stability region: {ρ 1 < 1}

48 Flow-aware CSMA w i (x) = k S i α k,j x k Weight of schedule i Ratio of transmission time to virtual backoff time at link k on channel j Example: Assume α k,j = α for k = 1, 2, 3 and j = 1, 2. αx 1 1 αx 2 1 αx 3 1 αx 1 1 αx 2 1 αx 3 1

49 Flow-aware CSMA w i (x) = k S i α k,j x k Weight of schedule i Ratio of transmission time to virtual backoff time at link k on channel j Example: Assume α k,j = α for k = 1, 2, 3 and j = 1, 2. αx 1 1 αx 2 1 αx 3 1 αx 1 1 αx 2 1 αx 3 1 : w i (x) = 1

50 Flow-aware CSMA w i (x) = k S i α k,j x k Weight of schedule i Ratio of transmission time to virtual backoff time at link k on channel j Example: Assume α k,j = α for k = 1, 2, 3 and j = 1, αx 1 1 αx 2 1 αx 3 1 αx 1 1 αx 2 1 αx 3 1 {(1, 1)} : w i (x) = αx 1

51 Flow-aware CSMA w i (x) = k S i α k,j x k Weight of schedule i Ratio of transmission time to virtual backoff time at link k on channel j Example: Assume α k,j = α for k = 1, 2, 3 and j = 1, αx 1 1 αx 2 1 αx 3 1 αx 1 1 αx 2 1 αx {(1, 1), (2, 2)} : w i (x) = α 2 x 1 x 2

52 Flow-aware CSMA w i (x) = k S i α k,j x k Weight of schedule i Ratio of transmission time to virtual backoff time at link k on channel j Example: Assume α k,j = α for k = 1, 2, 3 and j = 1, αx 1 1 αx 2 1 αx 3 1 αx 1 1 αx 2 1 αx {(1, 1), (2, 2), (3, 1)} : w i (x) = α 3 x 1 x 2 x 3

53 Flow-aware CSMA ϕ k (x) = i:k S i p i (x) Throughput of link k Probability of schedule i Example: Assume α k,j = α for k = 1, 2, 3 and j = 1, 2. αx 1 1 αx 2 1 αx 3 1 αx 1 1 αx 2 1 αx 3 1 ϕ 2 (x) 2α 3 x 1 x 2 x 3 + 2α 2 x 2 (x 1 + x 3 ) + 2αx 2

54 Optimality of flow-aware CSMA Theorem The flow-aware CSMA algorithm is optimal: for any number of channels and any sets of conflicts graphs, it stabilizes the network for all traffic intensities inside the capacity region. Sketch of proof: When the number of flows is high, the algorithm behaves as max-weight: the algorithm selects schedules of high weight with high probability. Proof based on Foster s criterion.

55 Throughput performance Homogeneous load α = 1 Standard CSMA Flow-aware CSMA 1 channel 1 channel Flow throughput channels 3 channels Flow throughput channels 3 channels Load Load

56 Time-scale separation α = 1 1 packet per flow Center link Edge link With With Flow throughput Without Flow throughput Without Load Load

57 Outline Model Background Standard CSMA Flow-aware CSMA Conclusion

58 Conclusion A simple, distributed, asynchronous access scheme that is provably optimal. A theoretical issue: Time-scale separation Extensions of the model: Collisions Throughput performance