Sumários

Apoio ao Projecto

14 outubro 2016, 11:00 • Bruno Filipe Belo Ferreira

Continuação do apoio ao primeiro exercício do projecto "i-banco".

Trincos lógicos

13 outubro 2016, 17:00 • João Pedro Faria Mendonça Barreto

Propriedades de um trinco lógico: exclusão mútua, ausência de interblocagem e míngua, eficiência.
Soluções algorítmicas: soluções iniciais com erros; algoritmo de Lamport/Bakery.
Soluções com suporte do hardware: inibição de interrupções e operação atómica XCHG.

Trincos lógicos

13 outubro 2016, 15:30 • João Pedro Faria Mendonça Barreto

Propriedades de um trinco lógico: exclusão mútua, ausência de interblocagem e míngua, eficiência.
Soluções algorítmicas: soluções iniciais com erros; algoritmo de Lamport/Bakery.
Soluções com suporte do hardware: inibição de interrupções e operação atómica XCHG.

Apoio ao Projeto - Exercício 1 (parte2)

12 outubro 2016, 12:00 • Renato Jorge Caleira Nunes

Segunda aula de apoio ao primeiro exercício do projecto "i-banco".

Apoio ao Projeto - Exercício 1

12 outubro 2016, 10:30 • Rodrigo Bruno

Esclarecimento de dúvidas sobre o projeto.