The Timed Asynchronous Distributed System Model

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

Beitragende

  • Flaviu Cristian - , University of California at San Diego (Autor:in)
  • Christof Fetzer - , University of California at San Diego (Autor:in)

Abstract

We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and hardware clock drifts. These measurements confirm that this model adequately describes current distributed systems such as a network of workstations. We also give an explanation of why practically needed services, such as consensus or leader election, which are not implementable in the time-free model, are implementable in the timed asynchronous system model.

Details

OriginalspracheEnglisch
Seiten (von - bis)642-657
Seitenumfang16
FachzeitschriftIEEE Transactions on Parallel and Distributed Systems
Jahrgang10
Ausgabenummer6
PublikationsstatusVeröffentlicht - 1999
Peer-Review-StatusJa
Extern publiziertJa

Externe IDs

Scopus 0032663990

Schlagworte

Forschungsprofillinien der TU Dresden

Schlagwörter

  • timed model, system model, failure model, distributed systems, asynchronous systems, synchronous systems, measurements, communication by time, computer crashes, clocks, Frequency, nominations and elections, Delay, Corrent measurement, Workstations, time measurement, redundancy, concurrency theory, processor schedulinig, timed asynchronous distribued system model, network of workstations, consensus, leader election