loading...
Consistent Replication of Multithreaded Distributed Objects
Leeds, United Kingdom October 02-October 04
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SRDS.2006.1425th IEEE Symposium on Reliable Distr ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Hans P. Reiser, University of Ulm, Germany
Jorg Domaschka, University of Ulm, Germany
Franz J. Hauck, University of Ulm, Germany
Rudiger Kapitza, University of Erlangen-Nurnberg, Germany
Wolfgang Schroder-Preikschat, University of Erlangen-Nurnberg, Germany
Determinism is mandatory for replicating distributed objects with strict consistency guarantees. Multithreaded execution of method invocations is a source of nondeterminism, but helps to improve performance and avoids deadlocks that nested invocations can cause in a single-threaded execution model. This paper contributes a novel algorithm for deterministic thread scheduling based on the interception of synchronisation statements. It assumes that shared data are protected by mutexes and client requests are sent to all replicas in total order; requests are executed concurrently as long as they do not issue potentially conflicting synchronisation operations. No additional communication is required for granting locks in a consistent order in all replicas. In addition to reentrant mutex locks, the algorithm supports condition variables and time-bounded wait operations. An experimental evaluation shows that, in some typical usage patterns of distributed objects, the algorithm is superior to other existing approaches.
Citation:
Hans P. Reiser, Jorg Domaschka, Franz J. Hauck, Rudiger Kapitza, Wolfgang Schroder-Preikschat, "Consistent Replication of Multithreaded Distributed Objects," srds, pp.257-266, 25th IEEE Symposium on Reliable Distributed Systems (SRDS'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.