Asynchronous Leasing

  • Authors:
  • Romain Boichat;Partha Dutta;Rachid Guerraoui

  • Affiliations:
  • -;-;-

  • Venue:
  • WORDS '02 Proceedings of the The Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002)
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

Leasing is a very effective way o improve he performance of distributed algorithms without hampering their fault-tolerance. The notion of lease 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 lease 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.