Asynchronous leasing

Author

Boichat, Romain ; Dutta, Partha ; Guerraoui, Rachid

Author_Institution

Distributed Programming Lab., Swiss Fed. Inst. of Technol., Lausanne, Switzerland

fYear

2002

fDate

6/24/1905 12:00:00 AM

Firstpage

180

Lastpage

187

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

Keywords

broadcasting; contracts; distributed algorithms; real-time systems; software fault tolerance; software performance evaluation; algorithm fault tolerance; asynchronous leasing; asynchronous system model; consensus-based total-order broadcast algorithm; distributed algorithm performance; lease abstraction; logical notion; real-time systems; Broadcasting; Clocks; Contracts; Distributed algorithms; Fault tolerance; Laboratories; Real time systems; Synchronization;

fLanguage

English

Publisher

ieee

Conference_Titel

Object-Oriented Real-Time Dependable Systems, 2002. (WORDS 2002). Proceedings of the Seventh International Workshop on

Conference_Location

San Diego, CA

ISSN

1530-1443

Print_ISBN

0-7695-1576-2

Type

conf

DOI

10.1109/WORDS.2002.1000051

Filename

1000051