COMPONENTE CURRICULAR

Componente Curricular
MATE69 - COMPUTAÇÃO DISTRIBUÍDA
Carga Horária - Total: 51 horas
Teórica	Prática	Estágio	Departamento	Semestre Vigente
51	0	0	Ciência da Computação	2015.1
Ementa
Características e especificação de sistemas distribuidos. Computação distribuida X concorrente. Modelos de sincronia (síncrono X assíncrono). Modelos de comunicação (passagem de mensagem X memória compartilhada). Propriedades (safety X liveness) e prova. Complexidade dos algoritmos. Técnicas de projeto (timestamp, quoruns, tokens, randomização, etc). Noções de Tolerância a Falhas. Modelos de falhas (processos e canais). Detectores de falhas. Tempo lógico e causalidade. Protocolos e topologias de difusão de mensagens. Problemas de coordenação e acordo distribuidos. Exclusão mútua. Consenso. Eleição de líder. Replicação e máquina de estados. Resultados de impossibilidade.
Programa
Objetivo
Não há Objetivo cadastrado
Conteúdo
Não há Conteúdo cadastrado
Bibliografia
AJAY, D. Kshemkalyani, Mukesh Singhal. Distributed Computing Principles, Algorithms, and Systems. Cambridge University Press, 2011. /////// TANENBAUM, Andrew S. Distributed Operating Systems. Prentice Hall,1995. // CACHIN, Christian; GUERRAOUI, Rachid; RODRIGUES, Luís. Introducting to Reliable and Secure Distributed Programming. Springer, 2nd ed.,2011. /////// GREVE, Fabíola. Protocolos Fundamentais para o Desenvolvimento de Aplicações Robustas. Minicurso SBRC 2005. Editora SBC.

Lista de Turmas
Náo há oferta de turmas para o semestre.