Verteilte Systeme (VS) - Literatur (SS 2017)
Überlick
Verteilte Systeme | Andrew S. Tanenbaum and Maarten van Steen. Distributed systems: Principles and paradigms (2nd edition). Prentice-Hall, Inc., 2006. |
---|---|
George Coulouris, Jean Dollimore, Tim Kindberg, and Gordon Blair. Distributed systems: Concepts and design. Addison-Wesley Publishing Company, 2011. |
Middleware
XDR | Sun Microsystems. XDR: External data representation standard. RFC 1014, 1987. |
---|---|
Protocol Buffers | |
Kommunikations- primitiven |
Barbara Liskov. Primitives for distributed computing. In Proceedings of the 7th Symposium on Operating Systems Principles (SOSP '79), pages 33–42, 1979. |
CORBA | Steve Vinoski. CORBA: Integrating diverse applications within distributed heterogeneous environments. IEEE Communications Magazine, 35(2):46–55, 1997. |
Fernaufrufe
Remote Procedure Calls |
Andrew D. Birrell and Bruce Jay Nelson. Implementing remote procedure calls. ACM Transactions on Computer Systems, 2(1):39–59, 1984. |
---|---|
Argus | Barbara Liskov. Distributed programming in Argus. Communications of the ACM, 31(3):300–312, 1988. |
XML-RPC | Dave Winer. XML-RPC specification. |
Effizienz
Promises | Barbara Liskov and Liuba Shrira. Promises: Linguistic support for efficient asynchronous procedure calls in distributed systems. In Proceedings of the 9th Conference on Programming Language Design and Implementation (PLDI '88), pages 260–267, 1988. |
---|---|
Spekulative Ausführung |
Edmund B. Nightingale, Peter M. Chen, and Jason Flinn. Speculative execution in a distributed file system. ACM Transactions on Computer Systems, 24(4):361–392, 2006. |
Remote Evaluation |
James W. Stamos and David K. Gifford. Remote evaluation. ACM Transactions on Programming Languages and Systems, 12(4):537–564, 1990. |
Extensible ZooKeeper | Tobias Distler, Christopher Bahn, Alysson Bessani, Frank Fischer, and Flavio Junqueira. Extensible distributed coordination. In Proceedings of the 10th European Conference on Computer Systems (EuroSys '15), pages 143–158, 2015. |
RDMA-basierte Fernaufrufe | Patrick Stuedi, Animesh Trivedi, Bernard Metzler, and Jonas Pfefferle. DaRPC: Data center RPC. In Proceedings of the 5th Symposium on Cloud Computing (SoCC '14), 2014. |
Fehlertoleranz
Netzwerkfehler | Peter Bailis and Kyle Kingsbury. The network is reliable. ACM Queue, 12(7):20–32, 2014. |
---|---|
Behandlung verwaister Fernaufrufe | Bruce Jay Nelson. Remote procedure call. Dissertation, Carnegie-Mellon University, CMU-CS-81-119, 1981. |
Leases | Cary G. Gray and David R. Cheriton. Leases: An efficient fault-tolerant mechanism for distributed file cache consistency. In Proceedings of the 12nd Symposium on Operating Systems Principles (SOSP '89), pages 202–210, 1989. |
Replikation
N-Version Programming | Liming Chen and Algirdas Avižienis. N-version programming: A fault-tolerance approach to reliability of software operation. In Proceedings of 8th International Symposium on Fault-Tolerant Computing (FTCS-8), pages 3–9, 1978. |
---|---|
Aktive Replikation |
Fred B. Schneider. Implementing fault-tolerant services using the state machine approach: A tutorial. ACM Computer Survey, 22(4):299–319, 1990. |
Passive Replikation |
Navin Budhiraja, Keith Marzullo, Fred B. Schneider, and Sam Toueg. The Primary-Backup Approach. In Distributed Systems (2nd Edition), pages 199–216, 1993. |
Multicast
Multicast | Christian Cachin, Rachid Guerraoui, and Lus Rodrigues. Introduction to reliable and secure distributed programming (2nd edition). Springer Publishing Company, Inc., 2011. |
---|---|
Paxos | Leslie Lamport. The part-time parliament. ACM Transactions on Computer Systems, 16(2):133–169, 1998. |
Jonathan Kirsch and Yair Amir. Paxos for system builders: An overview. In Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware (LADIS '08), pages 14–18, 2008. |
Zeit
CNV-Algorithmus | Leslie Lamport and P. M. Melliar-Smith. Synchronizing clocks in the presence of faults. Journal of the ACM, 32(1):52–78, 1985. |
---|---|
NTP | David L. Mills. Internet time synchronization: The network time protocol. IEEE Transactions on Communications, 39(10):1482–1493, 1991. |
Logische Uhren | Leslie Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558–565, 1978. |
Colin J. Fidge. Timestamps in message-passing systems that preserve the partial ordering. In Proceedings of the 11th Australian Computer Science Conference (ACSC '88), pages 55–66, 1988. |
|
Friedemann Mattern. Virtual time and global states of distributed systems. Parallel and Distributed Algorithms, 1(23):215–226, 1989. |
Georeplikation
Konsistenz- garantien |
Doug Terry. Replicated data consistency explained through baseball. Communications of the ACM, 56(12):82–89, 2013. |
---|---|
Pileus | Douglas B. Terry, Vijayan Prabhakaran, Ramakrishna Kotla, Mahesh Balakrishnan, Marcos K. Aguilera, and Hussam Abu-Libdeh. Consistency-based service level agreements for cloud storage. In Proceedings of the 24th Symposium on Operating Systems Principles (SOSP '13), pages 309–324, 2013. |
PNUTS | Brian F. Cooper, Raghu Ramakrishnan, Utkarsh Srivastava, Adam Silberstein, Philip Bohannon, Hans-Arno Jacobsen, Nick Puz, Daniel Weaver, and Ramana Yerneni. PNUTS: Yahoo!'s hosted data serving platform. Proceedings of the VLDB Endowment, 1(2):1277–1288, 2008. |
Papierdiskussion
Raft | Diego Ongaro and John Ousterhout. In search of an understandable consensus algorithm. In Proceedings of the 2014 USENIX Annual Technical Conference (ATC '14), pages 305–320, 2014. |
---|---|
Lesen und Begutachten von Fachliteratur |
Srinivasan Keshav. How to read a paper. SIGCOMM Computer Communication Review, 37(3):83–84, 2007. |
Timothy Roscoe. Writing reviews for systems conferences. 2007. |
|
Graham Cormode. How NOT to review a paper: The tools and techniques of the adversarial reviewer. SIGMOD Record, 37(4):100–104, 2009. |
|
Simone Santini. We are sorry to inform you.... Computer, 38(12):128–127, 2005. |
Gegenseitiger Ausschluss
Maekawa-Algorithmus | Mamoru Maekawa. A √ N algorithm for mutual exclusion in decentralized systems. ACM Transactions on Computer Systems, 3(2):145–159, 1985. |
---|
Wahlalgorithmen
Wellen- und Adoptionsverfahren | Friedemann Mattern. Verteilte Basisalgorithmen. Springer-Verlag, 1989. |
---|