• Keine Ergebnisse gefunden

Delivery Guarantees

N/A
N/A
Protected

Academic year: 2022

Aktie "Delivery Guarantees"

Copied!
28
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Data Communication

(2)

Data Communication

Introduction

(3)

Motivation

Sensor network characteristics

Limited energy resources

Transient nodes and links

Mobility?

No network infrastructure

Indefinite network size

Data communication?

Limited communication range

Collaborating intermediate nodes required

Desirable property

Minimal control overhead

Delivery guarantees

Loop free operation

Good path quality

Source

Destination A

B

(4)

Delivery Guarantees

Definition: reachability

Definition: guaranteed delivery

Unicast

Multicast

Geocast

Anycast

Broadcast

Necessary condition: ideal MAC layer

Each message transmission is successful

Can be approximated by acknowledgement scheme

However, what about unidirectional links

However, sometimes messages just get lost

(5)

Delivery Guarantees by Flooding?

Pro

Simple

Works also for highly dynamic topology changes

Con

Lots of message duplicates

All nodes always involved

Loops have to be avoided

Redundant message transmissions

Broadcast storms

Memorization of sent messages

Improvements? Single path strategies are desirable to prevent large energy expenditure, but energy consumption is also affected by path quality

(6)

Data Communication Approaches

Global

Maintain global view

Proactive or Reactive

Network dynamics?

Close to shortest path

Localized

Detect nodes in vicinity only

1-hop neighbor information

k-hop neighbor information

Do not memorize any traffic

Beaconless reactive approaches

Properties?

Minimal control overhead: no

Delivery guarantees: yes

Loop free operation: yes

Good path quality: yes

Properties?

Minimal control overhead: yes

Delivery guarantees: ?

Loop free operation: ?

Good path quality: ?

Localized approaches scale with any network size

Local message exchange does not depend on network size

Network change affects only nearby nodes

Fundamental question: are such protocols possible at all?

(7)

Data Communication

Localized Geographic Greedy

Packet Forwarding

(8)

Localized Geographic Routing

Determine own location

Acquire destination’s location

Unicast and Multicast

Geocast

Anycast

Routing message

Constant Size

Stores destination position

Localized forwarding decision

Destination

Source

(9)

Greedy Packet Forwarding

Select neighbor with the “best” location regarding the metric being optimized

Each node applies this greedy principle until destination is eventually reached

T S

A B

F

D C

E

(10)

Basic Single-Path Strategies

Produce nearly the same path

If successful performance close to SP

Delivery rate decreases significantly in sparse networks

MFR GREEDY

(11)

Basic Single Path Strategies

Rationale: try to minimize Euclidean path length a packet has to travel

DIR

(12)

Loop-Freedom of Greedy Routing

The discussed forwarding based on distance and progress consider nodes in forward direction only to provide loop-free operation (see Fig. (a))

Direction-based strategies do not guarantee loop-free operation (see Fig. (b))

S A B

D

(a) (b)

(13)

Data Communication

Localized Routing Metrics

(14)

Energy Efficiency

Energy is a very limited resource in WSNs

Energy efficiency is often a primary optimization goal

How to make data communication energy efficient?

Apply data communication on an energy efficient topology; example:

Run MECN topology control first

Apply greedy routing over MECN links only

Incorporate energy efficiency in the protocol directly; example:

Elaborate an energy aware greedy routing weight

Apply greedy routing using this weight

Definition of energy minimizing localized routing metrics?

(15)

Using the Path Loss Formula

Remember: channel model for RF communication

Energy required to send a message from S to T amounts u(d) = d^a + c, while d = |ST|

Observation

Assume an arbitrary number n of equidistant intermediate forwarding nodes can be placed between S and T

Power required to send a message from S to T amounts: n * (d/n)^a + c) = n*(d/n)^a + n*c

Define f(x)=x*(d/x)^a + x*c

Is there an optimal x minimizing f(x)?

If x0 or x

then f(x)∞

There exists one solution x

0

which satisfies f’(x)=0

S T

d

(16)

Using the Path Loss Formula

n = floor(x

0

) can be expressed in a closed form

We can compute constant c1

Which depends on a and c only and

Which satisfies n = c1 * |ST|

Power consumption v(|ST|) in this case can be expressed in a closed form as well

We can compute constant c2

Which depends on a and c only and

Which satisfies v(|ST|) = c2 * |ST|

How can we use this result to express a localized

routing metric?

(17)

Using the Path Loss Formula

Estimate on total power consumption when selecting next hop node A: u(|SA|) + v(|AD|)

Greedy routing: select the node in forward direction which minimizes the expression u(|SA|) + v(|AD|)

Result directly related to path loss formula d^a + c

What if other models are used?

New theoretical analysis to compute u(.) and v(.) are necessary

Problem if the model function can not be derived

Problem if the power metric is given by empirical values

Other localized metric approaches A

S D

Assume minimal power consumption v(|AD|) on remaining path from A to D Assume power

consumption u(|SA|) to send a message from S to A

(18)

The Cost over Progress Framework

Progress achieved by selecting node A: d-t

Assume each node provides same progress

Number of routing steps: d / (d-t)

Assume each routing step consumes energy u(s)

Approximation of total energy consumption: u(s) * (d / (d-t))

Greedy routing: select neighbor A which minimizes u(s) / (d-t)

Observe: any cost function can be plugged into this expression

S D

A t

d s

(19)

Increasing Network Lifetime

Define: network lifetime – time it takes until first node dies

Are energy optimized paths increasing network lifetime?

Observation

Selecting minimum energy consuming path p(S,D) will only use nodes on this path

If p(S,D) is used continuously, nodes along this path will die first

This motivates the use of cost metric c(v)

The cost to use node amounts c(v) = 1/g(v)

g(v) reflects v’s remaining power in [0,max_power]

Try to find a path p=v1… vn which reduces total cost

Local approximation: node s selects node v which minimizes c(v) / (|sd| - |vd|)

) ( / 1 )

,

( v w g w

f ( p )   f ( v

i

, v

i1

)

c

(20)

Addressing Lifetime and Energy Consumption

Problem

Addressing network lifetime only might produce very energy consuming paths

Total energy consumption will affect network lifetime as well

Solution: combine cost c(w) metric and energy metric u(v,w) in one

Example: pc(v,w) = c(w) * u(v,w)

If u(v,w) is high and another node x with about same or better c(w) exists it is unlikely that w is selected

If c(w) is high and another node x with with about same or better u(v,w) exists it is unlikely that w is selected

V

W

X u(v,w)

u(v,x)

c(w)

c(x)

u(v,x) * c(x) u(v,w) * c(w)

(21)

Traffic Balance by Randomization

Requires criteria which selects some nodes in forward direction

Example 1: All nodes closer to destination

Example 2: All nodes lying a threshold closer to the destination

Example 3: All node in forward direction but not exceeding a certain delay threshold

Randomly select a node out of this set

Example 1: uniformly distributed

Example 2: weighted distribution with highest weight on best node

Effect: traffic balance in a large relay area

Reduced congestion

(22)

Data Communication

Beacon-less Routing

(23)

Beacon-less Routing (1)

Traditional greedy routing need information about all one- hop neighbors

Periodic hello messages

Transmitted with maximum signal strength

Independently of current data traffic

Problem of bidirectional connections

Heissenbüttel, Brown: Beacon-less routing (BLR)

Node is unaware of its neighbors

Just broadcast a message to all unknown neighbors

Receiving node introduces a small timeout before forwarding

Node located at the “best” position introduces the fewest delay

Nodes hearing of retransmission cancel the scheduled packet

(24)

Beacon-less Routing (2)

Problem: Message duplicates

E and F are in backward direction

E.g.: B introduces fewest delay

A removes scheduled packet

C does not hear transmission from B and forwards the packet too

Avoiding message duplicates

Only nodes in a certain forwarding area allowed as candidate nodes

Nodes in forwarding area are able to overhear retransmission of each other node in that area

Active selection method: control Message instead of full packet

Forwarding node sends unicast to “winning”

node

Large packet can be sent with reduced transmission power

S

D

A B

C

E F

(25)

Beacon-less Routing (3)

Possible delay functions (r=radius, p=progress, d=

distance)

Basically MFR:

Max_delay(r-p)/r

Slightly modified NFP:

Max_delay(p/r)

An advanced delay function

Possible forwarding areas

Circle: good forwarding area regarding progress and

successful hops

BLR Example

(26)

Data Communication

The Greedy Routing Failure

(27)

Greedy Routing Failure

Choosing node in backward direction may lead to packet loops

Nevertheless, there may exist a path from S to D (S may also be an intermediate node)

Loop-freedom and delivery rate are conflicting goals

Solutions?

(28)

Improved Single-Path Strategies

Improvements trying to reduce package drop probability

Example: GEDIR – Allow message to travel one hop in backward direction, i.e. packet dropped only if it would be sent back to the previous node

However, fact: greedy heuristic can not guarantee delivery

Additional requirements to provide delivery guarantees

Network with specific properties supporting greedy routing

Recovery strategies for greedy routing failures

Referenzen

ÄHNLICHE DOKUMENTE

The first of these manifolds is contractible, the second and third are diffeo- morphic to each other, and the last three are homotopy equivalent to each other and to J (V ) and S(V

This is a key source for different choices of sign conventions in symplectic topology.. Prove that the Nijenhuis tensor vanishes if and only if the subbundles E ± are

Dietmar Salamon ETH Z¨ urich 13 March 2013..

Deduce that every countable intersection of open and dense (both with respect to the C ∞ topology) subsets of J (M, ω) is

Prove the isoperimetric inequality for the local symplectic action of sufficiently small loops in a compact symplectic manifold (M, ω) with an ω-compatible almost complex structure

Deduce that any two distinct points in C P 2 are contained in the image of a unique (up to reparametrization) J -holomorphic sphere representing the homology class

(Note: It turns out that the Hofer distance is always nondegenerate, however, a theorem by Eliashberg and Polterovich asserts that the function d 0 vanishes on every

Symplectic Topology Example Sheet 11. Dietmar Salamon ETH Z¨ urich 16