A Highly Available Local Leader Election Service
نویسندگان
چکیده
We define the highly available local leader election problem, a generalization of the leader election problem for partitionable systems. We propose a protocol that solves the problem efficiently and give some performance measurements of our implementation. The local leader election service has been proven useful in the design and implementation of several fail-aware services for partitionable systems. Keywords— Local leader election, partitionable systems, timed asynchronous systems, global leader election.
منابع مشابه
Fetzer and Cristian : a Highly Available Local Leader
| We deene the highly available local leader election problem, a generalization of the leader election problem for partitionable systems. We propose a protocol that solves the problem eeciently and give some performance measurements of our implementation. The local leader election service has been proven useful in the design and implementation of several fail-aware services for partitionable sy...
متن کاملVerification of a Leader Election Algorithm in Timed Asynchronous Systems
The Timed Asynchronous System (TAS) model[3] has less stringent assumptions than the synchronous model but is still strong enough to serve as a foundation for the construction of dependable applications. In this paper, we verify the correctness of some basic distributed services in TAS. First, TAS is modelled and then some important properties of two basic services, FADS (Fail Aware Datagram Se...
متن کاملLeader Election Using NewSQL Database Systems
Leader election protocols are a fundamental building block for replicated distributed services. They ease the design of leader-based coordination protocols that tolerate failures. In partially synchronous systems, designing a leader election algorithm, that does not permit multiple leaders while the system is unstable, is a complex task. As a result many production systems use third-party distr...
متن کاملLeader Election Modes of the Service Distribution Protocol for Ad Hoc Networks
Ad hoc networks are characterized by high dynamics in particular with respect to the formation of network partitions. This behavior makes it difficult to (s)elect a suitable leader for a given network partition at any given time. However, such leaders or representatives are needed by many protocols for ad hoc networks. In this paper, we will illustrate the leader election process and its influe...
متن کاملService Discovery At Home
Service discovery is a fairly new field that kicked off since the advent of ubiquitous computing and has been found essential in the making of intelligent networks by implementing automated discovery and remote control between devices. This paper provides an overview and comparison of several prominent service discovery mechanisms currently available. It also introduces the At Home Anywhere Ser...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- IEEE Trans. Software Eng.
دوره 25 شماره
صفحات -
تاریخ انتشار 1999