Temario (2008-2009)
Introducción (PDF-Color)
Introducción. Modelos de sistema distribuido. Modelos de fallos. Tipos de sistemas distribuidos.
Introducción (PDF-B/N)
Introducción. Modelos de sistema distribuido. Modelos de fallos. Tipos de sistemas distribuidos.
Elección de líder
- Elección tradicional de líder y Elección tarde o temprano de líder
Coordinación y acuerdo (PDF-Color)
Propiedades de los problemas de acuerdo. Radiado fiable. Sistemas de quorums y exclusión mutua distribuida. Algoritmos de elección de líder. Consenso distribuido y problemas relacionados.
Coordinación y acuerdo (PDF-B/N)
Propiedades de los problemas de acuerdo. Radiado fiable. Sistemas de quorums y exclusión mutua distribuida. Algoritmos de elección de líder. Consenso distribuido y problemas relacionados.
Transacciones
Propiedades de las transacciones. Algoritmos de control de concurrencia. Algoritmos de recuperación. Transacciones distribuidas. Transacciones planas y anidadas. Protocolos de compromiso atómico distribuido (two-phase commit, three-phase commit). Tratamiento de interbloqueos distribuidos.
Replicación
Tolerancia a fallos hardware. Modelos de replicación de procesos. Modelos de replicación de datos. Replicación y seguridad (intrusion tolerance).
Tecnología
Tipos de middleware. ORBs. Middleware orientado a mensajes (MOM, Persistent Queueing Systems). TP-monitors. Application servers. Sistemas de workflow. Sistemas peer-to-peer. Grid computing. Cluster Computing. Web services (SOAP, WSDL, UDDI, WSCI/BPML, BPEL4WS,BTP, WS-T, WS-C).
Casos de Estudio
Java 2 Enterprise Edition (J2EE), Corba, Enterprise Java Beans, Corba Object Transaction Service (OTS), Java Message Service (JMS), IBM WebSphere, JXTA, Microsoft Cluster Service.
Consenso
- Consenso con fallo parada y bizantinos en sistemas síncronos y asíncronos - Detectores de fallos no fiables
Memoria Compartida Distribuida
Modelos de coherencia atómico, secuencial, causal y pRAM. Relación entre estos modelos.
Document Actions