The Timed Asynchronous Distributed System Model

Research output: Contribution to conferences › Paper › Contributed

Contributors

  • Flaviu Cristian - , University of California at San Diego (Author)
  • Christof Fetzer - , University of California at San Diego (Author)

Abstract

We propose a formal definition for the timed asynchronous distributed system model and we describe extensive measurements of actual message and process scheduling delays and hardware clock drifts that confirm that this model adequately describes current distributed systems built from networked workstations.

Details

Original languageEnglish
Pages140-149
Number of pages10
Publication statusPublished - 1998
Peer-reviewedNo
Externally publishedYes

Conference

TitleTwenty-Eighth Annual International Symposium on Fault-Tolerant Computing
Abbreviated titleFTCS '98
Conference number
Duration23 June 1998
Degree of recognitionInternational event
Location
CityMünchen
CountryGermany

Keywords

Research priority areas of TU Dresden

DFG Classification of Subject Areas according to Review Boards

Keywords

  • timed model, system model, failure model, distributed systems, asynchronous systems, synchronous systems, measurements, communication by time, Clocks, Frequency, Computer crash, nominations and elections, current measurement, processor scheduling, real time systems, workstations, software fault tolerance, timing, timed asynchronous distribued system model, process scheduling delays, message scheduling delays, hardware clock drifts