822 research outputs found
COLLABORATIVE CONFLICT RESOLUTION WITH POLARIZED GROUPS (LESSON PLAN TO SUPPLEMENT PAGES 34-40)
Teaching/Communication/Extension/Profession,
Energy Complexity of Distance Computation in Multi-hop Networks
Energy efficiency is a critical issue for wireless devices operated under
stringent power constraint (e.g., battery). Following prior works, we measure
the energy cost of a device by its transceiver usage, and define the energy
complexity of an algorithm as the maximum number of time slots a device
transmits or listens, over all devices. In a recent paper of Chang et al. (PODC
2018), it was shown that broadcasting in a multi-hop network of unknown
topology can be done in energy. In this paper, we continue
this line of research, and investigate the energy complexity of other
fundamental graph problems in multi-hop networks. Our results are summarized as
follows.
1. To avoid spending energy, the broadcasting protocols of Chang
et al. (PODC 2018) do not send the message along a BFS tree, and it is open
whether BFS could be computed in energy, for sufficiently large . In
this paper we devise an algorithm that attains energy
cost.
2. We show that the framework of the round lower bound proof
for computing diameter in CONGEST of Abboud et al. (DISC 2017) can be adapted
to give an energy lower bound in the wireless network model
(with no message size constraint), and this lower bound applies to -arboricity graphs. From the upper bound side, we show that the energy
complexity of can be attained for bounded-genus graphs
(which includes planar graphs).
3. Our upper bounds for computing diameter can be extended to other graph
problems. We show that exact global minimum cut or approximate -- minimum
cut can be computed in energy for bounded-genus graphs
EGOIST: Overlay Routing Using Selfish Neighbor Selection
A foundational issue underlying many overlay network applications ranging from routing to P2P file sharing is that of connectivity management, i.e., folding new arrivals into an existing overlay, and re-wiring to cope with changing network conditions. Previous work has considered the problem from two perspectives: devising practical heuristics for specific applications designed to work well in real deployments, and providing abstractions for the underlying problem that are analytically tractable, especially via game-theoretic analysis. In this paper, we unify these two thrusts by using insights gleaned from novel, realistic theoretic models in the design of Egoist – a prototype overlay routing system that we implemented, deployed, and evaluated on PlanetLab. Using measurements on PlanetLab and trace-based simulations, we demonstrate that Egoist's neighbor selection primitives significantly outperform existing heuristics on a variety of performance metrics, including delay, available bandwidth, and node utilization. Moreover, we demonstrate that Egoist is competitive with an optimal, but unscalable full-mesh approach, remains highly effective under significant churn, is robust to cheating, and incurs minimal overhead. Finally, we discuss some of the potential benefits Egoist may offer to applications.National Science Foundation (CISE/CSR 0720604, ENG/EFRI 0735974, CISE/CNS 0524477, CNS/NeTS 0520166, CNS/ITR 0205294; CISE/EIA RI 0202067; CAREER 04446522); European Commission (RIDS-011923
Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs
Previous work has shown that there are two major complexity barriers in the
synthesis of fault-tolerant distributed programs: (1) generation of fault-span,
the set of states reachable in the presence of faults, and (2) resolving
deadlock states, from where the program has no outgoing transitions. Of these,
the former closely resembles with model checking and, hence, techniques for
efficient verification are directly applicable to it. Hence, we focus on
expediting the latter with the use of multi-core technology.
We present two approaches for parallelization by considering different design
choices. The first approach is based on the computation of equivalence classes
of program transitions (called group computation) that are needed due to the
issue of distribution (i.e., inability of processes to atomically read and
write all program variables). We show that in most cases the speedup of this
approach is close to the ideal speedup and in some cases it is superlinear. The
second approach uses traditional technique of partitioning deadlock states
among multiple threads. However, our experiments show that the speedup for this
approach is small. Consequently, our analysis demonstrates that a simple
approach of parallelizing the group computation is likely to be the effective
method for using multi-core computing in the context of deadlock resolution
- …