Programação Baseada em Eventos e Concorrente

20 março 2009, 13:30 • João Coelho Garcia

Introdução aos mecanismos .Net: delegates, eventos, threads e monitores

Coordenação: Exclusão Mútua Distribuída

20 março 2009, 11:00 • Luís Antunes Veiga

Motivação e problema da exclusão mútua distribuída.

Propriedades de correcção (safety) e garantia de progresso (liveness).

Solução com servidor centralizado. Algoritmo em Anel. Algoritmo Ricart e Agrawala com ordenação causal de acessos.

Programação Baseada em Eventos e Concorrente

20 março 2009, 08:00 • Luís Antunes Veiga

Introdução aos mecanismos .Net: delegates, eventos, threads e monitores

Relógios em sistemas Distribuídos e Tempo Lógico

13 março 2009, 15:00 • Luís Antunes Veiga

Tempo lógico.

Relógios lógicos (Lamport).

Relógios vectoriais.

Causalidade entre eventos em sistemas distribuídos.

Relação HB happens before.

Exemplo de utilização de relógios vectoriais para assegurar entrega causal de mensagens.

Introdução à Plataforma .NET

13 março 2009, 13:30 • Luís Antunes Veiga

.Net Common Language Runtime.
Introdução à linguagem C# (comparação com Java e C++).
Framework Class Library.
Visual Studio .Net.
Realização de aplicações exemplo