Proceedings: 14th Symposium on Reliable Distributed Systems, September 13-15, 1995, Bad Neuenahr, Germany |
Contents
A Longitudinal Survey of Internet Host Reliability | 2 |
Experimental Evaluation of the Impact | 10 |
A Correctness Criterion for Advanced Transaction Models | 22 |
Copyright | |
20 other sections not shown
Common terms and phrases
ACM Transactions application asynchronous system atomic commitment atomic transaction Byzantine failures client clock cluster communication components Computer Systems concurrency concurrency control consistent global checkpoint coordinator copy-on-write correct data object database systems deadlock detection defined deliver denote diffusing computation Distributed Computing distributed systems error detection event execution failure detector fault injection fault-free fault-tolerant systems faults Figure fragments function graph guarantees IEEE implementation initial input integer integer programming International limiting availability m.TS masking fault-tolerant Matmult membership algorithms mobile host multicast node non-blocking non-faulty operations output overhead parallel participants partition path(m performance problem Proc processor properties protocol real copies received recovery reliable replica request requirements RVC2 schedule semantics serialisability serializability server simulation specific stack Symposium synchronised synchronization task tattlers tion TMR node token tolerant total order transaction models virtual copies virtual synchrony vote assignment