Sillabo dell'insegnamento

• H - Computazione su rete
V - Varie
Model file service and design issues. Case studies: NFS, AFS and CODA.
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
Distributed operating systems. Processes: allocation and scheduling, migration and load balancing. Deadlock.
* MIR - Modelli di Interazione in Rete
Client-server paradigm and IPC. Group and multicast communication. RMI and RPC. Types and semantics.
* FCD - Fondamenti del Calcolo Distribuito
Principles, design choices, types of distributed systems. Transmission medium. Protocols and services. Performance.
* FCD - Fondamenti del Calcolo Distribuito
Consistency models. Architectural models of replication. Transactions and concurrency control in distributed systems.
* FCD - Fondamenti del Calcolo Distribuito
Algorithms for synchronization and coordination. Clock synchronization, mutual exclusion, election of a leader. Global state.