![Page 1: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/1.jpg)
1
Gabriel Kliot, Roy Friedman Technion – Israel Institute of Technology
and Chen Avin – Ben Gurion University, Israel
Probabilistic Quorum Probabilistic Quorum
Systems in Wireless Ad Systems in Wireless Ad
Hoc NetworksHoc Networks
![Page 2: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/2.jpg)
2
How Can One Find Data?
Centralized directory
Flooding lookup requests or advertisements expensive
DirectoryServer
DataOwner
DataClient
Advertise Lookup
![Page 3: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/3.jpg)
3
How Can One Find Data?
Publishing advertisements to a subset P and looking up the data in a subset L such that P and L intersect This is known as quorums
![Page 4: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/4.jpg)
4
Quorum System: A set of subsets over a universe U such that
for any Q1,Q2 in Q, Q1∩Q2≠Ф
Bi-quorum System: A couple of sets of subsets (Q1,Q2) over a
universe U such that for any Q1 in Q1 and Q2 in Q2, Q1∩Q2≠Ф
Quorums and Bi-Quorums
Majority
![Page 5: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/5.jpg)
5
Probabilistic Quorums [Malkhi, Reiter, Wool, Wright ‘01]
In probabilistic quorums, the intersection property is only ensured with some probability
The members of the probabilistic quorum are selected on each quorum access using an access strategy For example, pick nodes at random
This ensures intersection with probability Suitable for dynamic ad hoc
networks
nl2le
![Page 6: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/6.jpg)
6
Our Contributions Different accesses strategies, with varying
trade-offs Mix and Match theorem – we can mix them in
different ways, that guarantee intersection Asymmetric bi-quorum systems
Explore various combinations Theoretically, based on Random Geometric Graph
model By simulations
Along the way, some theoretical results about Random Walks in Random Geometric Graphs
![Page 7: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/7.jpg)
7
n nodes 2-dimensional unit torus [0,1]2
Uniform placement Edge between 2 nodes within Euclidian distance r No geographic knowledge We use Random Geometric Graph only for
performance analysis The correctness is ensured on any topology
Formal Network Model: 2D Random Geometric Graph
),(2 rnG
![Page 8: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/8.jpg)
8
Access Strategies in MANET
UglyUglyBadBadGoodGoodAccess CostAccess Cost(Random Geometric
Graph)
RoutingMembership / sampling service
Early halting
(if accessed serially)
RANDOMRANDOM
ln( )
nQ
n
Partial Cover Time
High
Crossing TimeCrossing Time
Revising nodes along the path
No routing
Early haltingPATH (RW)PATH (RW) , for / 2Q Q n
MAC broadcast:
•Not EE
•Low bandwidth
No Early halting
Multiple replies
No routingDepends on TTL
(no fine grained control over the cost)
FLOODINGFLOODING Q
![Page 9: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/9.jpg)
9
Mix and Match Known result [Malkhi, Reiter, Wool, Wright]:
If two quorums of size are chosen uniformly at random, then their non-intersection probability is
Our result: We show that if one of these quorums is
chosen uniformly at random, then the other quorum can be chosen in any way (including deterministically)
nl
2le
![Page 10: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/10.jpg)
10
Mix and Match Specifically, assume Qa and Qb, Qa chosen
uniformly at random and Qb chosen arbitrarily, but in a non-adversarial manner (e.g., using the PATH access strategy)
Lemma 1:
Lemma 2: In order to have intersection with probability 1-ε, the sizes of Qa and Qb must satisfy
For example, for an intersection probability of 0.9, we can pick
n
QbQa
a eQQ b
)Pr(
)/1ln( nQQ ba
2 1.15a bQ n Q n
![Page 11: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/11.jpg)
11
Optimized RANDOM strategy
Adding Cross Layer Optimization Similar to RANDOM, except that a lookup
request that passes through any intermediate node does a local lookup as well
Benefit comes from the mix&match result That is, as soon as the first lookups visit
nodes, it is likely that the object will be found Typically, after picking only a few nodes to visit
nl
![Page 12: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/12.jpg)
125 10 15 20 25 30 35 40 45 500
5
10
15
20
25
30
35
40
45
50
RW TTL
Num
ber
of d
iffer
ent n
odes
vis
ited
by R
W
800 NODES - Simple RW
800 NODES - UNIQUE RW
Optimized PATH strategy - Unique PATH
By remembering the path, we can avoid revisiting nodes and speed up the walk
![Page 13: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/13.jpg)
13
Comparing the Access StrategiesComparing the Access Strategies
Q n
NoNoYesYes**
MultipleMultipleOneOne**One**# Replies
NoNoNoYesYes
Advertise Cost
YesEarly Halting
One
NoLookup Routing
Combined Cost
Lookup Cost
FLOODINGRANDOM
Advertise FLOODINGRANDOM-OPT
RANDOMLookup
nln( )
n
n
ln( )
n
n
ln( )
n
n ln( )
n
n
n n
FLOODING
nNo
Combined Cost
PATH PATH
PATH
Yes
One
No
PATH
***
***ln( )
n
n
ln( )
n
n
Yes
One
ln( )
n
n
** If accessed serially *** this is a lower bound, also validated by simulations
ln( )n n
Yes**
![Page 14: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/14.jpg)
14
Simulation setup
Simulations on JIST/SWANS http://jist.ece.cornell.edu/
Network sizes: 50, 100, 200, 400, 800 Random Waypoint mobility model
Speed between 0.5-2 m/s (walking speed) Average pause time 30 s
Transmission range ~ 220m Average number of neighbours davg=10 10 runs per data point, 1000 sec
![Page 15: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/15.jpg)
15
Simulations Scenarios 100 advertisements to a RANDOM quorum
of size nodes
1000 lookups 4 strategies:
RANDOM, RANDOM-OPT, UNIQUE-PATH, and FLOODING
On a hit, a reply was sent to the originator
Each hop is counted as one message
Hit ratio means the number of successful lookups for objects that were published
Corresponds to intersection probability
n2
![Page 16: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/16.jpg)
16
Results of RANDOM and RANDOM-OPT
Theory works… A hit ratio of 0.9 was obtained with a
quorum size of With 800 nodes, the quorum size is 33
The number of messages per lookup behaved as
RANDOM RANDOM-OPT
But, the overall communication cost was greatly affected by routing overhead, even in RANDOM-OPT
1.15 n
ln( )
nQ
nln( )Q n
![Page 17: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/17.jpg)
17
# Lookup Messages for RANDOM-OPT
2 4 6 8 10 12 140
50
100
150
200
250
300
RANDOM-OPT lookup Quorum size
Sen
t loo
kup
mes
sage
s pe
r lo
okup
50 NODES100 NODES200 NODES400 NODES800 NODES
Mobile network
![Page 18: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/18.jpg)
18
Total # Messages for RANDOM-OPT
2 4 6 8 10 12 140
500
1000
1500
2000
2500
3000
3500
4000
4500
RANDOM-OPT lookup Quorum size
Tot
al s
ent l
ooku
p m
essa
ges
per
look
up
50 NODES100 NODES200 NODES400 NODES800 NODES
This includes the cost of routing in a mobile network
![Page 19: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/19.jpg)
195 10 15 20 25 30 35 40 45 50 55 60
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
UNIQUE-PATH lookup Quorum Size
HIT
RA
TIO
50 NODES100 NODES200 NODES400 NODES800 NODES
Hit Ratio for UNIQUE-PATH
For N=400, |lookup _Q|=23~1.15*sqrt(400)
guarantees intersection of 0.9 – like in theory
Mobile network
![Page 20: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/20.jpg)
20
# Lookup Messages for UNIQUE-PATH
5 10 15 20 25 30 35 40 45 50 55 600
5
10
15
20
UNIQUE-PATH lookup Quorum Size
Sen
t loo
kup
mes
sage
s pe
r lo
okup
50 NODES100 NODES200 NODES400 NODES800 NODES
No routing overhead here!
Number of messages is smaller than quorum size!
Due to early halting.
![Page 21: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/21.jpg)
21
Hit Ratio for FLOODING
1 1.5 2 2.5 3 3.5 4 4.5 50
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
FLOODING lookup Quorum TTL
HIT
RA
TIO
50 NODES100 NODES200 NODES400 NODES
![Page 22: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/22.jpg)
22
1 1.5 2 2.5 3 3.5 4 4.5 50
10
20
30
40
50
60
FLOODING lookup Quorum TTL
Sen
t loo
kup
mes
sage
s pe
r lo
okup
50 NODES100 NODES200 NODES400 NODES800 NODES
# Lookup Messages for Flooding
No routing overhead here too
![Page 23: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/23.jpg)
23
Simulation summary
50 (600 with routing)
35 (140 with routing)
RANDOM_OPTRANDOM_OPT
15*14mobile
15*14staticFLOODINGFLOODINGUNIQUE-PATHUNIQUE-PATH
400 nodes #lookup msgs that guarantee 0.9 intersection Including reply
Flooding is sent by broadcast Hidden overheads
Flooding does not allow fine grained control If we want to increase the intersection probability, we must
increase TTL, which will increase the #msgs significantly
![Page 24: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/24.jpg)
24
Conclusions Examined various combinations of access
strategies for probabilistic quorums in MANETs
RANDOM RANDOM-OPT PATH UNIQUE-PATH FLOODING
Showed that it is possible to obtain efficient probabilistic quorums
In particular using asymmetric combinations Using Random walks
More about handling failures and dynamism in the paper
![Page 25: Probabilistic Quorum Systems in Wireless Ad Hoc Networks](https://reader036.vdocuments.net/reader036/viewer/2022062304/5681443f550346895db0dc84/html5/thumbnails/25.jpg)
25
Future Directions
Shared objects (with linearizable semantics)
Pub/sub
Distributed search