Abstract:
Leasing is a very effective way to improve the performance of distributed algorithms without hampering their fault tolerance. The notion of leasing has traditionally been...Show MoreMetadata
Abstract:
Leasing is a very effective way to improve the performance of distributed algorithms without hampering their fault tolerance. The notion of leasing has traditionally been defined using a global notion of "real time" and was hence strongly tied to synchronous system models. This paper introduces a notion of leasing devised for an asynchronous system model. We give precise properties of our lease abstraction, and show how it can be implemented in an asynchronous system model with a logical notion of time. We then illustrate its use by showing how it significantly improves the performance of a consensus-based total-order broadcast algorithm.
Published in: Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (WORDS 2002)
Date of Conference: 09-09 January 2002
Date Added to IEEE Xplore: 07 August 2002
Print ISBN:0-7695-1576-2
Print ISSN: 1530-1443