Self-Stabilizing Supervised Publish-Subscribe Systems

TL;DR

This paper introduces a novel self-stabilizing supervised overlay network, specifically a skip ring, and demonstrates its application in creating an efficient publish-subscribe system that ensures reliable message delivery and minimal communication overhead.

Contribution

It presents the first self-stabilizing supervised skip ring and its use in building a self-stabilizing publish-subscribe system with constant communication work.

Findings

The self-stabilizing supervised skip ring stabilizes efficiently.

The publish-subscribe system reliably delivers all publications to subscribers.

Communication work per operation is constant in a legitimate state.

Abstract

In this paper we present two major results: First, we introduce the first self-stabilizing version of a supervised overlay network by presenting a self-stabilizing supervised skip ring. Secondly, we show how to use the self-stabilizing supervised skip ring to construct an efficient self-stabilizing publish-subscribe system. That is, in addition to stabilizing the overlay network, every subscriber of a topic will eventually know all of the publications that have been issued so far for that topic. The communication work needed to processes a subscribe or unsubscribe operation is just a constant in a legitimate state, and the communication work of checking whether the system is still in a legitimate state is just a constant on expectation for the supervisor as well as any process in the system.