2/10/07:
Elementi introduttivi. Modello di
calcolo a trasmissione di messaggi: topologia del grafo di trasmissione,
grado di sincronia, di simmetria e di uniformità. Definizione del modello
computazionale: eventi computazionali. Elezione del leader in un sistema
distribuito con topologia ad anello. Non esistenza di una soluzione nel caso
anonimo. Caso asincrono non anonimo: algoritmo richiedente O(n^2) messaggi.
Analisi del caso migliore e peggiore dell'algoritmo.
Dispense:
Elementi introduttivi, 1, 2, 3. 4. 5. 6. 7. 8.
3/10/07:
Elezione del leader in un anello asincrono non anonimo: algoritmo richiedente O(n log n) messaggi. Elezione del leader in un anello sincrono non anonimo e non uniforme con partenza sincronizzata: algoritmo richiedente O(n) messaggi.
Elezione del leader in un anello sincrono non anonimo ed uniforme con partenza non sincronizzata: algoritmo richiedente O(n) messaggi.
Dispense: 9, 10, 11,
11, 13,
14, 15,
16, 17,
18.
9/10/07:
Approfondimento: Esecuzione attraverso un esempio dell'algoritmo per l’elezione del leader in un anello sincrono non anonimo ed uniforme con
partenza non sincronizzata.