Ferry 1
Ferry 1
Networks
Atlanta, Georgia 30332
wrzhao, ammar @cc.gatech.edu
Ferry
The regular nodes operate independently, with
each regular node acting on its own and in charge
forwarding concerns.
The ferry mobility is specifically designed for
We describe the basic design of the MF scheme in the
previous section. In this section, we focus on the ferry route
improving the performance of messaging. For design problem in the stationary node case. In this case,
example, the ferry is implemented in a subset of nodes are located at fixed positions and network partition
robots dispersed in a disaster area, and the mobil- prevents some nodes from communicating with others. The
ity of the ferry robots is specifically optimized for ferries are used to relay messages between disconnected
maximizing the efficiency of messaging among nodes. A basic question is how to design good or optimal
the other robots. ferry routes, given node positions and their communication
requirements. In this work, we assume that a single ferry is
2. Regular Node Mobility: While the ferry is always a
deployed which moves at a constant speed and the expected
mobile entity, the regular nodes can be stationary or
mobile. Similar to ferry mobility, mobile regular nodes
can move for non-messaging reasons or specifically to
Let
traffic between nodes is known in advance.
be a set of nodes that want
improve messaging performance.
3. Number of Ferries and Level of Coordination: In gen-
to communicate. The ferry moves at a constant speed .
Let be the transmission range of the nodes and the ferry1 .
The nodes and the ferry communicate via a wireless chan-
eral, an MF system may have multiple ferries, each nel when they are within range of each other. Assuming
with a possibly different set of capabilities. Ferries 1 The results and algorithm developed in this section can be easily ex-
may operate completely independently of each other tended to handle the case where the nodes and the ferry have different
or their movements may be coordinated. In this latter transmission ranges.
that communication between the nodes and the ferry uses C
such that visits all nodes in and the average delay aF
different radio frequencies in each direction, sending and
receiving can take place simultaneously. Let be the trans-
mission rate between the nodes and the ferry. When the
is minimized.
#"%$ &'()
fine a scheduling policy in a more general sense. Let be G F Y GFihj TU F T
ferry visits the nodes in the reverse order as in , then
OF NFXh
!
* T FU T
the power set of . Then a policy can be defined as a . Thus either or is no more
function
+ -,.+*0/ +. For a set of nodes and a than
C
.
k
node , defines the portion of transmission time
> +@? .
6 + ? nodes , then TlUF nT m No m T FU T
optimal route for any MFR-delay problem defined on
.
Let be the expected traffic from node to , mea-
A += ?79 >B+@?
+ 6 ? 79 + > ?+
sured in bits per second. Define and Proof:
, which are the total incoming and outgoing
C GF+H? Y N?F + T FUpT Y [ U1]^` _ Y [ _:` ]U TU F T
+ D CED ? GF+H? C GF OF4 T FU T
traffic for respectively. For any ferry route , we denote 1. . So, by the definition
its length as . Let be the average delay for traffic of , it is easy to prove that .
U
Both and are positive, so either or is no
. more than .
OF x
route such that the bandwidth requirements are met 3. Let be the reverse route of . By Property 2, either
o y TlUF T TlUF T m o m T FU T
dressing the combined problem, we break it into two sub- . . Thus
problems. The first one seeks to find a route that mini- . Therefore, we have .
mizes the average delay for the expected traffic matrix with-
out considering the bandwidth requirements. The second
sub-problem extends the route generated in the first sub-
problem, if necessary, to meet the bandwidth requirements. Theorem 1 The MFR-delay problem is NP-hard.
3.1 Delay problem Proof: Property 1 shows that when the traffic matrix
is symmetric, the optimal route for the MFR-delay problem
has shortest length. So we can reduce the Euclidean Trav-
to node K?
delay. The average delay for messages from node
consists of the waiting time at
OF+@?
In the first sub-problem, we only consider the message
+ K?
the carrying time
WV H+F ?
as the time for the ferry to move from two-phase approach to solve the MFR-delay problem. First
and >+H?
Definition (MFR-delay problem) Let be a set of nodes
be the expected traffic from node to node , the
+ K? C
lay of the route by applying delay-based local optimization
techniques similar to the 2-opt and 2H-opt techniques [1] in
TSP. These delay-based techniques, denoted as 2-opt-delay
MFR-delay problem consists of finding an optimal route and 2H-opt-delay respectively, work as follows.
j{ | *gz * {
z| , 6#? 79 M+@?6 a? Y a+ /; y A +
2-opt-delay. A 2-opt swap removes two edges and
from the route and replaces them with edges
and while maintaining the route. This technique
tries to reduce the delay of the route using 2-opt swaps T FMU T Y ?79 ?
until no better route can be found.
2H-opt-delay. A 2H-opt swap moves a node from one
Similarly we can derive constraints on the receiving di-
rection. After transformation, we get the following linear
programming problem which can be solved efficiently us-
position in the sequence of route to another. This tech-
?
nique tries to reduce the delay of the route using 2-opt ing methods like Simplex [9].
and 2H-opt swaps until no better route can be found.
minimize
?79 (1)
,u +H?S
The relation between route length and route delay shown
in the above Property justifies our use of TSP algorithms A + /? y A+lXD C0 D +
in our approach. The following theorem provides an upper subject to
?79
bound for the delay obtained by this approach.
,u +H ?S + /a? y + XD Cj rD +
C k }
Theorem 2 Let is an optimal route for the MFR-delay
problem. Let be the route generated by a TSP algorithm ?79
& m ? ( m c m M
C F m~ }9 o
with approximation ratio . Then the resulting delay of
route satisfies .
and
By combining the solutions for the two sub-problems,
Ctf a F o m y D CET DFXm h T
we now present the algorithm, called MFR algorithm, for
Proof: Let be an optimal TSP tour. Then computing ferry routes which is shown in Figure 2. The
}D C f D mn~ }9Go
by Property 3. Thus, from Property 2, we have
.
performance of MFR Algorithm in disjointed node case can
be established as follows.
of a node is } }
width requirement. For any route, the achieved bandwidth
where is the fraction of the ferry route
in which the node is in transmission and is the transmis- C0
2. Apply 2H-opt-delay local optimization technique to
to reduce the average delay.
+ c
increasing a node’s transmission time leads to longer ferry 4. Modify to meet each node’s bandwidth require-
route and larger delay for other traffic, we should minimize ment by taking a detour of length on segment .
the amount of route extension.
We formulate the bandwidth sub-problem as a linear
pose jC
programming (LP) problem as follows. We first decom-
into segments by cutting Cj
when it enters or
Figure 2. Algorithm for computing ferry route.
( ~ B+ CjO +
leaves a node’s coverage area and index these segments as
! } C
. Let be the allocated transmission time for
M+@? +
node in route . Define a matrix such that Theorem 3 Let be the route generated by the MFR Al-
k
the entry of is the portion of transmission time al- gorithm and be the approximation ratio of the TSP algo-
d
located to node when the ferry is moving on segment rithm used in the MFR Algorithm. Route is an optimal
the variable
+ c O(+ m c m
and the matrix
according to the scheduling policy. Similarly, we define
for the receiving direc-
route for the ferry route problem and is the speed of the
ferry. Let be the transmission range of the nodes and the
~
+
tion2 . Let , , be the extra time the ferry spends ferry. If the distance between any two nodes is at least ,
e.g. the coverage areas of nodes are disjointed, then
Y m Y
tour. Then we have . From the description of
1500
the MFR Algorithm, we have
where is the amount of tour extension to meet all nodes’
Average Delay
bandwidth requirements. 1000
in [3]. Let *
We now prove our claim using the technique proposed
be the area swept by a disk of radius
k k ~
m * * me XT Do k-T D Y k
whose center moves on route . Since route visits each 500
m Y
node. We have where is the
0
number of nodes. Thus, . Note that may 20 40 60 80 100 120
Number of nodes
not visit each node’s position since the ferry can transmit
to nodes within distance . A TSP tour which visits each
D CED m
CN, 100 nodes
is an optimal TSP tour, . Therefore, 14000
UN, 80 nodes
CN, 80 nodes
GF m T FU T k
UN, 20 nodes
we have . CN, 20 nodes
12000
TJUo T o y
By Property 2, . For route , since the average
B¥
10000
8000
. So we prove .
& ,,( /}
When the number of nodes is large, will be close to U¡ ` 6000
~ Y¡ Y (/
. Thus the MFR Algorithm has an approximation ratio of 4000
0
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
4 Preliminary Experimental Results Network Load
sults on the performance of the MF scheme in the stationary
&&&¦ &&&
node case. We model nodes distributed in a rectangular
~ &§wA (&N&r
area in dimension. A single ferry is de- We also experiment with different traffic models in the
ployed which moves at a speed of . The transmission simulations. In the uniform traffic model, the traffic be-
range of both the nodes and the ferry is unless oth-
O« ¬ ª
tween any two nodes has equal bandwidth which is set to
&8(
«O¬
erwise noted and the transmission rate is 10Mbps. We sim- Kbps. In the non-uniform traffic model, flows
«O¬ ª
ulate a fair sharing scheduling policy in which each node are sending at rate Mbps and the rest are sending at
gets equal access to the ferry when the ferry is within range Kbps. This non-uniform traffic model represents the
of multiple nodes. Two kinds of node distributions are con- case where some flows transmit much more data than oth-
sidered in the experiments. ers. In both traffic models flows are generated at constant
bit rates.
tribution, each node’s and coordinates are chosen MFR Algorithm to compute the ferry route. In our im-
randomly from interval . plementation of the MFR Algorithm, we choose the near-
est neighbor algorithm with 2H-opt to compute the starting
ordinates are chosen randomly from interval
For each of the nodes, we calculate its position by
. We evaluate the performance of the MF scheme under
different network sizes and traffic loads. The main met-
& &&OwN©
computing two normally distributed variables, each ric used in our evaluations is average message delay. Fig-
multiplied by , and adding them to the co- ure 3 shows the average message delay with different net-
ordinates of a randomly chosed cluster center. work sizes. In general, as the number of nodes increases,
so does the message delay. And the clustered node distri- [4] Z. Haas and M. Pearlman. The performance of query control
butions tend to have smaller delay as compared to the uni- schemes for the zone routing protocol. In SIGCOMM, 1998.
form node distributions. This is because clustering of nodes [5] D. Johnson and D. Maltz. Dynamic source routing in ad-hoc
tends to shorten the ferry route which results in smaller wireless networks. In SIGCOMM, August 1996.
[6] D. Johnson and L. McGeoch. Experimental analysis of
message delay. The important point is that, in the scenar-
heuristics for the stsp. The Traveling Salesman Problem and
ios we study here, the message ferry routing can achieve
its Variations, 2002.
&
reasonable performance even when the nodes are extremely [7] Y. Ko and N. Vaidya. Location-aided routing (lar) in mobile
(&N&&¯°&r®>£±X A &N&&
disconnected. For example, with nodes randomly dis- ad hoc networks. In MOBICOM, November 1998.
tributed in a area, each node can send mes- [8] Q. Li and D. Rus. Sending messages to mobile users in dis-
sages at rate with about 1071 second delay. With- connected ad-hoc wireless networks. In MOBICOM, August
out any communication infrastructure, we believe this delay 2000.
is inherent given the dimension of the deployment area and [9] G. Nemhauser, A. R. Kan, and M. T. (editors). Optimization.
the limited transmission range. 1989.
[10] C. Papadimitriou. The euclidean traveling salesman problem
Figure 4 shows the effect of network load on the mes-
is np-complete. Theoret. Comput. Sci., 4:237–244, 1977.
sage delay. We define network load as the ratio between [11] V. Park and M. Corson. A highly adaptive distributed al-
total transmission bandwidth generated by nodes and the gorithm for mobile wireless networks. In INFOCOM, April
transmission rate of the wireless interface. The average 1997.
References
[1] J. Bentley. Fast algorithms for geometric traveling salesman
problems. ORSA Journal on Computing, 4:387–411, 1992.
[2] J. Davis, A. Fagg, and B. Levine. Wearable computers as
packet transport mechanisms in highly-partitioned ad-hoc
networks. In International Symposium on Wearable Com-
puting, October 2001.
[3] A. Dumitrescu and J. Mitchell. Approximation algorithms
for tsp with neighborhoods in the plane. In Twelfth ACM-
SIAM Symposium on Discrete Algorithms, pages 38–47, Jan-
uary 2001.