A Highly Available Local Leader Service
Research output: Contribution to conferences › Paper › Contributed
Contributors
Abstract
We propose a formal definition for the timed asynchronous dis-
tributed 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 imple-
mentable in the time-free model, are implementable in the timed asynchronous
system model
tributed 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 imple-
mentable in the time-free model, are implementable in the timed asynchronous
system model
Details
| Original language | English |
|---|---|
| Pages | 77-95 |
| Number of pages | 19 |
| Publication status | Published - 1997 |
| Peer-reviewed | No |
Conference
| Title | Sixth IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA 1997) |
|---|---|
| Abbreviated title | DCCA 1997 |
| Conference number | |
| Duration | 5 March 1997 |
| Degree of recognition | International event |
| Location | |
| City | Garmisch-Partenkirchen |
| Country | Germany |
Keywords
Research priority areas of TU Dresden
DFG Classification of Subject Areas according to Review Boards
Keywords
- timed model, system model, failure model, distribued systems, asynchronous systems synchronous systems, measurements, communication by time