Sistemi distribuiti 2020/2021
Principale | Lucidi | Laboratorio | Progetti |
prologo
(A0) Sul corso
esempi introduttivi
(E1) Il teorema CAP. Disponibilità, consistenza, e fallimento nei sistemi distribuiti
(E2) Il problema del consenso nei sistemi distribuiti
contenuti di base
(C0) Perché i sistemi distribuiti?
(C1) Alle radici dei sistemi distribuiti: computazione nello spazio e nel tempo
(C2) Modellare sistemi distribuiti: architettura software e di sistema
(C3) Modellare sistemi distribuiti: algebra dei processi
(C4) Tipi di sistemi distribuiti
(C5) Definizioni e fini dei sistemi distribuiti
(C6) Middleware
(C7) Caratteristiche dei sistemi distribuiti
(C8) Computazione e tempo
(C9) Computazione e spazio
(C10) Computazione senza spazio: il Cloud
(C11) Servizi standard per sistemi distribuiti: i servizi Web
paradigmi
(P1) Agenti per i sistemi distribuiti
(P2) Coordinazione dei sistemi distribuiti
tecnologie
(T0) Tecnologie per i sistemi distribuiti: una cornice concettuale
(T1) Agenti semplici in Jade & TuCSoN
(T2) Linda su TuCSoN. Le basi
(T3) Blockchain & Smart Contract