Showing papers by "Akhilesh Kumar Sharma published in 2016"

Rigorous Design of Moving Sequencer Atomic Broadcast in Distributed Systems

Abstract: This article investigates a new mechanism to design moving sequencer based atomic broadcast in distributed systems. There are two very crucial observations have been drawn from [1], (i) fixed sequencer based atomic broadcast mechanisms are build upon either unicast broadcast (UB) or broadcast broadcast (BB) or unicast unicast broadcast (UUB) variant and (ii) moving sequencer based atomic broadcast can also be designed with the help of any of three variants (UB, BB or UUB). The various mechanisms given for moving sequencer based atomic broadcast like RMP [2], DTP [3] and Pin Wheel [4] are based on broadcast broadcast (BB) variant of fixed sequencer atomic broadcast. While mechanism proposed in [5] is based on unicast broadcast (UB) variant of fixed sequencer atomic broadcast. This work proposes a mechanism that relies on unicast unicast broadcast (UUB) variant of fixed sequencer atomic broadcast in order to build moving sequencer atomic broadcast. This work does not give any comparison with other mechanisms but it presents a new way to design moving sequencer atomic broadcast. B formal method [6] has been used to design different models for atomic broadcast and ProB [7] model animator and checker tool has been used to verify it.