Self-stabilizing Overlays for high-dimensional Monotonic Searchability

08/30/2018
by   Michael Feldmann, et al.
0

We extend the concept of monotonic searchability for self-stabilizing systems from one to multiple dimensions. A system is self-stabilizing if it can recover to a legitimate state from any initial illegal state. These kind of systems are most often used in distributed applications. Monotonic searchability provides guarantees when searching for nodes while the recovery process is going on. More precisely, if a search request started at some node u succeeds in reaching its destination v, then all future search requests from u to v succeed as well. Although there already exists a self-stabilizing protocol for a two-dimensional topology and an universal approach for monotonic searchability, it is not clear how both of these concepts fit together effectively. The latter concept even comes with some restrictive assumptions on messages, which is not the case for our protocol. We propose a simple novel protocol for a self-stabilizing two-dimensional quadtree that satisfies monotonic searchability. Our protocol can easily be extended to higher dimensions and offers routing in O( n) hops for any search request.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/04/2012

Generation of Two-Layer Monotonic Functions

The problem of implementing a class of functions with particular conditi...
research
07/13/2021

Monotonic Filtering for Distributed Collection

Distributed data collection is a fundamental task in open systems. In su...
research
09/25/2018

Stable Multi-Level Monotonic Eroders

Eroders are monotonic cellular automata with a linearly ordered state se...
research
07/08/2017

Recalling a Witness: Foundations and Applications of Monotonic State

We provide a way to ease the verification of programs whose state evolve...
research
10/12/2011

Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach

Matchmaking arises when supply and demand meet in an electronic marketpl...
research
11/20/2020

Certified Monotonic Neural Networks

Learning monotonic models with respect to a subset of the inputs is a de...
research
09/09/2020

Towards a Modelling Framework for Self-Sovereign Identity Systems

Self-sovereign Identity promises to give users control of their own data...

Please sign up or login with your details

Forgot password? Click here to reset