Sistemas Distribuidos

Presentación

Bibliografía

Parte I: Fundamentos

Tema 1. Introducción a los sistemas distribuidos

Apuntes

Transparencias

Laboratorio de programación en red (Ficheros: udp_ipcast.zip)

Laboratorio de programación distribuida (Ficheros: hello.tar)

Tema 2. Tiempo, causalidad y estado global

Apuntes y ejercicios

Transparencias

Simulación mediante RMI del algoritmo de Cristian de sincronización de relojes

Tema 3. Sistemas replicados

Apuntes y ejercicios

Esquemas de replicación

Transparencias sobre comunicación a grupos

Fault-Tolerant Broadcasts

JGroups - Documentación

JGroups - Demos

JavaGroups 2.0.3

JGroups 2.6.0

Configuración de la variable de entorno CLASSPATH (cat add_to_profile >> .profile)

Parte II: Sistemas Tolerantes a Fallos

Outline

Tema 4. Detectores de fallos para acuerdo distribuido en sistemas asíncronos

T. Chandra, S. Toueg. Unreliable Failure Detectors for Reliable Distributed Systems. Journal of the ACM, Vol. 43, No. 2, pp. 225-267, March 1996. Slides

Motivation and protocol stack

Example of execution of Chandra-Toueg's S-based Consensus protocol

Tema 5. Implementación de detectores de fallos en modelos de parada permanente

Summary

M. Larrea, A. Lafuente, I. Soraluze, R. Cortiñas, J. Wieland. Designing Efficient Algorithms for the Eventually Perfect Failure Detector Class. Journal of Software, Vol. 2, No. 4, pp. 1-11, October 2007. Slides

M. Larrea, I. Soraluze, R. Cortiñas, A. Lafuente. An Evaluation of Communication-Optimal <>P Algorithms. Proceedings of the 16th Euromicro International Conference on Parallel, Distributed and Network-based Processing, PDP 2008, pp. 274-279, Toulouse, France, February 2008. Slides

A. Lafuente, M. Larrea, I. Soraluze, R. Cortiñas. Communication-Optimal Eventually Perfect Failure Detection in Partially Synchronous Systems. Journal of Computer and System Sciences, Vol. 81, No. 2, pp. 383-397, March 2015.

M. Larrea, A. Fernández, S. Arévalo. Implementing the Weakest Failure Detector for Solving Consensus. Submitted to the International Journal of Parallel, Emergent and Distributed Systems. Slides

M. Aguilera, C. Delporte-Gallet, H. Fauconnier, S. Toueg. On implementing omega in systems with weak reliability and synchrony assumptions. Distributed Computing, Vol. 21, No. 4, pp. 285-314, October 2008.

Tema 6. Implementación de detectores de fallos en modelos de parada con recuperación

C. Martín, M. Larrea, E. Jiménez. Implementing the Omega failure detector in the crash-recovery failure model. Journal of Computer and System Sciences, Vol. 75, No. 3, pp. 178-189, May 2009.

C. Martín, M. Larrea. Eventual Leader Election in the Crash-Recovery Failure Model. Proceedings of the 14th Pacific Rim International Symposium on Dependable Computing, PRDC 2008, pp. 208-215, Taipei, Taiwan, December 2008.

M. Larrea, C. Martín, I. Soraluze. Communication-efficient leader election in crash-recovery systems. Journal of Systems and Software, Vol. 84, No. 12, pp. 2186-2195, Dec 2011. Slides

C. Martín, M. Larrea. A simple and communication-efficient Omega algorithm in the crash-recovery model. Information Processing Letters, Vol. 110, No. 3, pp. 83-87, January 2010.

Tema 7. Detección de fallos y acuerdo seguros en modelos de omisión de envío/recepción de mensajes

R. Cortiñas, F. Freiling, M. Ghajar-Azadanlou, A. Lafuente, M. Larrea, L. Draque-Penso, I. Soraluze. Secure Failure Detection in TrustedPals. Proceedings of the 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2007, pp. 173-188, Paris, France, November 2007. Slides

R. Cortiñas, F. Freiling, M. Ghajar-Azadanlou, A. Lafuente, M. Larrea, L. Draque-Penso, I. Soraluze. Secure Failure Detection and Consensus in TrustedPals. IEEE Transactions on Dependable and Secure Computing, Vol. 9, No. 4, pp. 608-623, July-August 2012.

I. Soraluze, R. Cortiñas, A. Lafuente, M. Larrea, F. Freiling. Communication-efficient failure detection and consensus in omission environments. Information Processing Letters, Vol. 111, No. 6, pp. 262-268, February 2011. Slides (short). Slides (long)