Kapitza R, Schröder-Preikschat W (2006)
Publication Type: Conference contribution
Publication year: 2006
Publisher: IEEE Computer Society
Edited Volumes: Proceedings of the IEEE Symposium on Reliable Distributed Systems
Pages Range: 257-266
Conference Proceedings Title: Proc. of the IEEE Symp. on Reliable Distrib. Sys.
Event location: Leeds, UK
ISBN: 0-7695-2677-2
URI: http://www4.informatik.uni-erlangen.de/~rrkapitz/pubs/srds-adets-mat.pdf
DOI: 10.1109/SRDS.2006.14
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. © 2006 IEEE.
APA:
Kapitza, R., & Schröder-Preikschat, W. (2006). Consistent Replication of Multithreaded Distributed Objects. In Proc. of the IEEE Symp. on Reliable Distrib. Sys. (pp. 257-266). Leeds, UK: IEEE Computer Society.
MLA:
Kapitza, Rüdiger, and Wolfgang Schröder-Preikschat. "Consistent Replication of Multithreaded Distributed Objects." Proceedings of the IEEE Symposium on Reliable Distributed Systems (SRDS 2006), Leeds, UK IEEE Computer Society, 2006. 257-266.
BibTeX: Download