-
Network Scaffolding for Efficient Stabilization of the Chord Overlay Network
Authors:
Andrew Berns
Abstract:
Overlay networks, where nodes communicate with neighbors over logical links consisting of zero or more physical links, have become an important part of modern networking. From data centers to IoT devices, overlay networks are used to organize a diverse set of processes for efficient operations like searching and routing. Many of these overlay networks operate in fragile environments where faults t…
▽ More
Overlay networks, where nodes communicate with neighbors over logical links consisting of zero or more physical links, have become an important part of modern networking. From data centers to IoT devices, overlay networks are used to organize a diverse set of processes for efficient operations like searching and routing. Many of these overlay networks operate in fragile environments where faults that perturb the logical network topology are commonplace. Self-stabilizing overlay networks offer one approach for managing these faults, promising to build or restore a particular topology from any weakly-connected initial configuration.
Designing efficient self-stabilizing algorithms for many topologies, however, is not an easy task. For non-trivial topologies that have desirable properties like low diameter and robust routing in the face of node or link failures, self-stabilizing algorithms to date have had at least linear running time or space requirements. In this work, we address this issue by presenting an algorithm for building a Chord network that has polylogarithmic time and space complexity. Furthermore, we discuss how the technique we use for building this Chord network can be generalized into a ``design pattern'' for other desirable overlay network topologies.
△ Less
Submitted 28 September, 2021;
originally announced September 2021.
-
Applications and Implications of a General Framework for Self-Stabilizing Overlay Networks
Authors:
Andrew Berns
Abstract:
From data centers to IoT devices to Internet-based applications, overlay networks have become an important part of modern computing. Many of these overlay networks operate in fragile environments where processes are susceptible to faults which may perturb a node's state and the network topology. Self-stabilizing overlay networks have been proposed as one way to manage these faults, promising to bu…
▽ More
From data centers to IoT devices to Internet-based applications, overlay networks have become an important part of modern computing. Many of these overlay networks operate in fragile environments where processes are susceptible to faults which may perturb a node's state and the network topology. Self-stabilizing overlay networks have been proposed as one way to manage these faults, promising to build or restore a particular topology from any initial configuration or after the occurrence of any transient fault. To date there have been several self-stabilizing protocols designed for overlay networks. These protocols, however, are either focused on a single specific topology, or provide very inefficient solutions for a general set of overlay networks.
In this paper, we analyze an existing algorithm and show it can be used as a general framework for building many other self-stabilizing overlay networks. Our analysis for time and space complexity depends upon several properties of the target topology itself, providing insight into how topology selection impacts the complexity of convergence. We then demonstrate the application of this framework by analyzing the complexity for several existing topologies. Next, using insights gained from our analysis, we present a new topology designed to provide efficient performance during convergence with the general framework. Our process demonstrates how the implications of our analysis help isolate the factors of interest to allow a network designer to select an appropriate topology for the problem requirements.
△ Less
Submitted 28 September, 2021;
originally announced September 2021.
-
Model-Independent Prediction of $R(η_c)$
Authors:
Anson Berns,
Henry Lamm
Abstract:
We present a model-independent prediction for $R(η_c) \! \equiv \! \mathcal{BR} (B_c \rightarrow η_c \, τ^+ν_τ)/ \mathcal{BR} (B_c \rightarrow η_c \, μ^+ν_μ)$. This prediction is obtained from the form factors through a combination of dispersive relations, heavy-quark relations at zero-recoil, and the limited existing determinations from lattice QCD. The resulting prediction, $R(η_c)=0.29(5)$, agr…
▽ More
We present a model-independent prediction for $R(η_c) \! \equiv \! \mathcal{BR} (B_c \rightarrow η_c \, τ^+ν_τ)/ \mathcal{BR} (B_c \rightarrow η_c \, μ^+ν_μ)$. This prediction is obtained from the form factors through a combination of dispersive relations, heavy-quark relations at zero-recoil, and the limited existing determinations from lattice QCD. The resulting prediction, $R(η_c)=0.29(5)$, agrees with the weighted average of previous model predictions, but with reduced uncertainties.
△ Less
Submitted 22 August, 2018;
originally announced August 2018.
-
Avatar: A Time- and Space-Efficient Self-Stabilizing Overlay Network
Authors:
Andrew Berns
Abstract:
Overlay networks present an interesting challenge for fault-tolerant computing. Many overlay networks operate in dynamic environments (e.g. the Internet), where faults are frequent and widespread, and the number of processes in a system may be quite large. Recently, self-stabilizing overlay networks have been presented as a method for managing this complexity. \emph{Self-stabilizing overlay networ…
▽ More
Overlay networks present an interesting challenge for fault-tolerant computing. Many overlay networks operate in dynamic environments (e.g. the Internet), where faults are frequent and widespread, and the number of processes in a system may be quite large. Recently, self-stabilizing overlay networks have been presented as a method for managing this complexity. \emph{Self-stabilizing overlay networks} promise that, starting from any weakly-connected configuration, a correct overlay network will eventually be built. To date, this guarantee has come at a cost: nodes may either have high degree during the algorithm's execution, or the algorithm may take a long time to reach a legal configuration. In this paper, we present the first self-stabilizing overlay network algorithm that does not incur this penalty. Specifically, we (i) present a new locally-checkable overlay network based upon a binary search tree, and (ii) provide a randomized algorithm for self-stabilization that terminates in an expected polylogarithmic number of rounds \emph{and} increases a node's degree by only a polylogarithmic factor in expectation.
△ Less
Submitted 4 June, 2015;
originally announced June 2015.
-
Super-Fast Distributed Algorithms for Metric Facility Location
Authors:
Andrew Berns,
James Hegeman,
Sriram V. Pemmaraju
Abstract:
This paper presents a distributed O(1)-approximation algorithm, with expected-$O(\log \log n)$ running time, in the $\mathcal{CONGEST}$ model for the metric facility location problem on a size-$n$ clique network. Though metric facility location has been considered by a number of researchers in low-diameter settings, this is the first sub-logarithmic-round algorithm for the problem that yields an O…
▽ More
This paper presents a distributed O(1)-approximation algorithm, with expected-$O(\log \log n)$ running time, in the $\mathcal{CONGEST}$ model for the metric facility location problem on a size-$n$ clique network. Though metric facility location has been considered by a number of researchers in low-diameter settings, this is the first sub-logarithmic-round algorithm for the problem that yields an O(1)-approximation in the setting of non-uniform facility opening costs. In order to obtain this result, our paper makes three main technical contributions. First, we show a new lower bound for metric facility location, extending the lower bound of Bădoiu et al. (ICALP 2005) that applies only to the special case of uniform facility opening costs. Next, we demonstrate a reduction of the distributed metric facility location problem to the problem of computing an O(1)-ruling set of an appropriate spanning subgraph. Finally, we present a sub-logarithmic-round (in expectation) algorithm for computing a 2-ruling set in a spanning subgraph of a clique. Our algorithm accomplishes this by using a combination of randomized and deterministic sparsification.
△ Less
Submitted 12 August, 2013;
originally announced August 2013.