Distributed Systems 2024/2025

    Principale     Lucidi     Progetti
struttura del corso
corsi componenti
lightbulbSistemi distribuiti (modulo 1)(laurea magistrale, 2024/2025) — Andrea Omicini
lightbulbSistemi distribuiti (modulo 2)(laurea magistrale, 2024/2025) — Giovanni Ciatto
pagine
forum
conoscenze e abilità da conseguire

At the end of the course, students got acquainted with the fundamental issues of distributed systems, the computational models capturing their essence, and the technologies currently helping facing them in the most systematic and effective way. In particular, students become familiar with the fittest solutions, technologies, architectures, and methodologies to design distributed systems, and is capable of devising out the most critical aspects of distributed systems coming from physical distribution determining the most proper methodological approaches selecting the fittest technologies for implementing the solutions detected.

contenuti
  • Case Studies
    The CAP Theorem. Availability, Consistency, Failure in Distributed Systems  •  The Problem of Consensus in Distributed Systems  •  Distributed Ledger Technology. Blockchain as Middleware  •  Representational State Transfer (ReST)  •  Logical Clocks  •  Simple Agents in JADE  •  Coordination in Linda  •  Code Mobility
  • General Issues of Distributed Systems
    Why Distributed Systems?  •  Replication & Consistency in Distributed Systems  •  Dependability in Distributed Systems  •  Roots of Distributed Systems. Computation in Space & Time  •  Definitions & Goals for Distributed Systems  •  Sorts of Distributed Systems  •  Modelling Distributed Systems. Software & System Architectures  •  Modelling Distributed Systems. Process Algebra  •  Computing with Time  •  Agents for Distributed Systems  •  Coordination of Distributed Systems  •  Computing with Space
  • Technologies for Distributed Systems
    Build Automation  •  Containers  •  Asynchronous Programming  •  Sockets  •  Presentation  •  Web Services  •  Consensus  •  Queues
metodi didattici
  • Lessons with slides
  • Examples discussed and built by the teachers
  • Lab activity
modalità di verifica e valutazione dell'apprendimento
  • Verification of lab activity
  • Presentation and discussion of an individual/group project
serie di corsi
lightbulbDistributed Systems 2024/2025 • lightbulbDistributed Systems 2023/2024 • lightbulbSistemi distribuiti 2022/2023 • lightbulbSistemi distribuiti 2021/2022 • lightbulbSistemi distribuiti 2020/2021 • lightbulbSistemi distribuiti 2019/2020 • lightbulbSistemi distribuiti 2018/2019 • lightbulbSistemi distribuiti 2017/2018 • lightbulbSistemi distribuiti 2016/2017 • lightbulbSistemi distribuiti 2015/2016 • lightbulbSistemi distribuiti 2014/2015 • lightbulbSistemi distribuiti 2013/2014 • lightbulbSistemi distribuiti 2013/2014 • lightbulbSistemi distribuiti 2012/2013 • lightbulbSistemi distribuiti 2012/2013 • lightbulbSistemi distribuiti 2011/2012 • lightbulbSistemi distribuiti 2010/2011 • lightbulbSistemi distribuiti L-A 2009/2010 • lightbulbSistemi distribuiti L-A 2008/2009 • lightbulbSistemi distribuiti L-A 2007/2008 • lightbulbSistemi distribuiti L-A 2006/2007 • lightbulbSistemi distribuiti L-A 2005/2006 • lightbulbSistemi distribuiti L-A 2004/2005 • lightbulbSistemi distribuiti L-A 2003/2004 • lightbulbSistemi distribuiti L-A 2002/2003 • lightbulbSistemi distribuiti L-A 2001/2002
funge da
corso genitore
lightbulbSistemi distribuiti (modulo 2)(laurea magistrale, 2024/2025) — Giovanni Ciatto
lightbulbSistemi distribuiti (modulo 1)(laurea magistrale, 2024/2025) — Andrea Omicini