Simulating synchronous processors
Information and Computation
Consensus in the presence of partial synchrony
Journal of the ACM (JACM)
Leases: an efficient fault-tolerant mechanism for distributed file cache consistency
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
AMp: a highly parallel atomic multicast protocol
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Understanding fault-tolerant distributed systems
Communications of the ACM
Unreliable failure detectors for asynchronous systems (preliminary version)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Simulating synchronized clocks and common knowledge in distributed systems
Journal of the ACM (JACM)
Impossibility of distributed consensus with one faulty process
Journal of the ACM (JACM)
Communications of the ACM
Fail-awareness in timed asynchronous systems
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
On the impossibility of group membership
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
A Highly Available Local Leader Election Service
IEEE Transactions on Software Engineering
Handbook of Theoretical Computer Science
Handbook of Theoretical Computer Science
Building Fault-Tolerant Hardware Clocks from COTS Components
DCCA '99 Proceedings of the conference on Dependable Computing for Critical Applications
PADRE: A Protocol for Asymmetric Duplex REdundancy
DCCA '99 Proceedings of the conference on Dependable Computing for Critical Applications
Group, majority, and strict agreement in timed asynchronous distributed systems
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Evaluating quorum systems over the Internet
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Fail-Awareness: An Approach to Construct Fail-Safe Applications
FTCS '97 Proceedings of the 27th International Symposium on Fault-Tolerant Computing (FTCS '97)
Implementation and performance of a stable-storage service in Unix
SRDS '96 Proceedings of the 15th Symposium on Reliable Distributed Systems
A Fail-Aware Membership Service
SRDS '97 Proceedings of the 16th Symposium on Reliable Distributed Systems
Election Vs. Consensus in Asynchronous Systems
Election Vs. Consensus in Asynchronous Systems
A Highly Available Local Leader Election Service
IEEE Transactions on Software Engineering
Group communication specifications: a comprehensive study
ACM Computing Surveys (CSUR)
Fail-Awareness: An Approach to Construct Fail-Safe Systems
Real-Time Systems
The Timewheel Group Communication System
IEEE Transactions on Computers
Solving the Group Priority Inversion Problem in a Timed Asynchronous System
IEEE Transactions on Computers
Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems
IEEE Transactions on Computers
A Group Membership Algorithm with a Practical Specification
IEEE Transactions on Parallel and Distributed Systems
Perfect Failure Detection in Timed Asynchronous Systems
IEEE Transactions on Computers
Solving Agreement Problems with Weak Ordering Oracles
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Gossip versus Deterministically Constrained Flooding on Small Networks
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
A Fault-Tolerant Sequencer for Timed Asynchronous Systems
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Verification of a Leader Election Algorithm in Timed Asynchronous Systems
FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science
Stabilizing Causal Deterministic Merge
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Avoiding Priority Inversion on the Processing of Requests by Active Replicated Servers
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
A Scalable and Reliable Multicast Communiction Service in Java
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Self-adaptive clock synchronization based on clock precision difference
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Real-Time Fault-Tolerant Atomic Broadcast
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
Group Membership and Wide-Area Master-Worker Computations
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
A Problem-Specific Fault-Tolerance Mechanism for Asynchronous, Distributed Systems
ICPP '00 Proceedings of the Proceedings of the 2000 International Conference on Parallel Processing
Three-tier replication for FT-CORBA infrastructures
Software—Practice & Experience
Enforcing Perfect Failure Detection
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Separating agreement from execution for byzantine fault tolerant services
SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
A Timeout-Based Message Ordering Protocol for a Lightweight Software Implementation of TMR Systems
IEEE Transactions on Parallel and Distributed Systems
Byzantine disk paxos: optimal resilience with byzantine shared memory
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing
Total order broadcast and multicast algorithms: Taxonomy and survey
ACM Computing Surveys (CSUR)
The Guardian Model and Primitives for Exception Handling in Distributed Systems
IEEE Transactions on Software Engineering
A Cheap and Safe COTS Wormhole for Local Area Networks
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 16 - Volume 17
DGMonitor: A Performance Monitoring Tool for Sandbox-Based Desktop Grid Platforms
The Journal of Supercomputing
Solving Vector Consensus with a Wormhole
IEEE Transactions on Parallel and Distributed Systems
From Set Membership to Group Membership: A Separation of Concerns
IEEE Transactions on Dependable and Secure Computing
Timeliness, failure-detectors, and consensus performance
Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing
Time-Free and Timer-Based Assumptions Can Be Combined to Obtain Eventual Leadership
IEEE Transactions on Parallel and Distributed Systems
Light-weight leases for storage-centric coordination
International Journal of Parallel Programming
Asynchronous bounded lifetime failure detectors
Information Processing Letters
Inner-Circle Consistency for Wireless Ad Hoc Networks
IEEE Transactions on Mobile Computing
Stabilizing causal deterministic merge
Journal of High Speed Networks - Self-Stabilizing Systems, Part 2
Adaptive timeliness of consensus in presence of crash and timing faults
Journal of Parallel and Distributed Computing
Ensuring e-Transaction with Asynchronous and Uncoordinated Application Server Replicas
IEEE Transactions on Parallel and Distributed Systems
On the Respective Power of ◊P and ◊S to Solve One-Shot Agreement Problems
IEEE Transactions on Parallel and Distributed Systems
A Parsimonious Approach for Obtaining Resource-Efficient and Trustworthy Execution
IEEE Transactions on Dependable and Secure Computing
An Adaptive Programming Model for Fault-Tolerant Distributed Computing
IEEE Transactions on Dependable and Secure Computing
Practical Routing in Delay-Tolerant Networks
IEEE Transactions on Mobile Computing
Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters
IEEE Transactions on Dependable and Secure Computing
Cheating detection through game time modeling: A better way to avoid time cheats in P2P MOGs?
Multimedia Tools and Applications
A synchronization protocol for supporting peer-to-peer multiplayer online games in overlay networks
Proceedings of the second international conference on Distributed event-based systems
Modularity: a first class concept to address distributed systems
ACM SIGACT News
On the requirements of new software development
International Journal of Business Intelligence and Data Mining
On Replication of Software Transactional Memories
OPODIS '08 Proceedings of the 12th International Conference on Principles of Distributed Systems
Grid-based asynchronous replica exchange
GRID '07 Proceedings of the 8th IEEE/ACM International Conference on Grid Computing
Configuration-space performance anomaly depiction
LADIS '08 Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware
Global data computation in chordal rings
Journal of Parallel and Distributed Computing
Soft state in publish/subscribe
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
Soft state in the XSiena publish/subscribe system
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
Wireless network synchronization for multichannel multimedia services
ICACT'09 Proceedings of the 11th international conference on Advanced Communication Technology - Volume 2
Asynchronous bounded lifetime failure detectors
Information Processing Letters
Learning from the past for resolving dilemmas of asynchrony
ACM SIGOPS Operating Systems Review
Towards timely ACID transactions in DBMS
DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
Skip ring topology in fast failure detection service
PPAM'07 Proceedings of the 7th international conference on Parallel processing and applied mathematics
Open questions on consensus performance in well-behaved runs
Future directions in distributed computing
Available and safe message freshness detection algorithm
International Journal of Critical Computer-Based Systems
The failure detector abstraction
ACM Computing Surveys (CSUR)
Journal of Parallel and Distributed Computing
SIAM Journal on Computing
A leader election protocol for timed asynchronous distributed systems
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
Failure detection with booting in partially synchronous systems
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Timed asynchronous distributed systems
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
A trustworthy and resilient event broker for monitoring cloud infrastructures
DAIS'12 Proceedings of the 12th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Exploiting partitioned synchrony to implement accurate failure detectors
International Journal of Critical Computer-Based Systems
Iwazaru: the byzantine sequencer
ARCS'13 Proceedings of the 26th international conference on Architecture of Computing Systems
Survey On reliability in publish/subscribe services
Computer Networks: The International Journal of Computer and Telecommunications Networking
| Hi-index | 0.01 |
We propose a formal definition for thetimed 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.