Robust Distributed Algorithms
Implementaciones Java de los algoritmos distribuidos fundacionales — broadcast fiable, consenso, elección de líder — con verificación empírica de tolerancia a fallos.
About
Esta asignatura del Master de Sistemas Distribuidos de Paris-Saclay cubre los algoritmos que pusieron las bases de toda la computación distribuida moderna: desde los sistemas de archivos distribuidos hasta las blockchains y los servicios cloud actuales.
El trabajo incluye implementaciones Java completas de los algoritmos clásicos: broadcast fiable y causal, consenso distribuido tolerante a fallos (crash-fault-tolerant), y protocolos de elección de líder para sistemas asíncronos.
Cada implementación va acompañada de experimentos de simulación para verificar empíricamente las propiedades de safety y liveness bajo diferentes modelos de fallos.
Highlights
- Broadcast fiable (Reliable Broadcast) y Causal Broadcast
- Algoritmo de consenso tolerante a fallos (Paxos / Raft)
- Elección de líder en sistemas asíncronos
- Verificación empírica de robustez bajo fallos aleatorios
- Simulaciones con PeerSim para escenarios de red
- Tareas prácticas con análisis de resultados estadísticos