DocumentCode
1528892
Title
The timed asynchronous distributed system model
Author
Cristian, Flaviu ; Fetzer, Christof
Author_Institution
Dept. of Comput. Sci., California Univ., San Diego, La Jolla, CA, USA
Volume
10
Issue
6
fYear
1999
fDate
6/1/1999 12:00:00 AM
Firstpage
642
Lastpage
657
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
Keywords
concurrency theory; processor scheduling; consensus; distributed systems; hardware clock; leader election; network of workstations; scheduling delays; timed asynchronous distributed system model; timed asynchronous system model; Clocks; Computer crashes; Current measurement; Delay; Frequency; Hardware; Nominations and elections; Redundancy; Time measurement; Workstations;
fLanguage
English
Journal_Title
Parallel and Distributed Systems, IEEE Transactions on
Publisher
ieee
ISSN
1045-9219
Type
jour
DOI
10.1109/71.774912
Filename
774912
Link To Document