Sillabo dell'insegnamento

• H - Computazione su rete
* MIR - Modelli di Interazione in Rete
Foundation. Introduction to distributed systems and cloud computing. Architectural models, classification. Principle of distributed system design. Communication. Client-server paradigm and IPC. Group and multicast communication. Network virtualization. Remote Method Invocation (RMI) and Remote Procedure Call (RPC). Types and semantics. Indirect communication, publish-subscribe systems.
* FCD - Fondamenti del Calcolo Distribuito
Fundamental of cloud computing. Design of cloud computing. Mechanisms and architectures. Models, technologies and security. Cloud service and applications. Service quality metrics. Service oriented architectures.
SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
Distributed operating systems. Processes: allocation and scheduling, migration and load balancing. Deadlock. OS virtualization.
* FCD - Fondamenti del Calcolo Distribuito
Distributed operating systems. Processes: allocation and scheduling, migration and load Distributed File System. Model file service and design issues. Case studies: NFS, AFS. Case study: Google File System.
* ARTC - Architettura delle Reti di Calcolatori
Synchronization and coordination in distributed systems. Algorithms for synchronization, coordination and agreement clock synchronization, mutual exclusion, global state. Causal ordering.
* ARTC - Architettura delle Reti di Calcolatori
Shared Data. Replication, consistency and transactions. Consistency models. Architectural models of replication. Transactions and concurrency control in distributed systems. Distributed transactions. Mobility in distributed systems.