Distributed Systems 2023/2024
Main | Slides | Schedule | Projects |
prologue
A0 – About the Course
course
M0 – Why Distributed Systems?
C1 – The CAP Theorem. Availability, Consistency, Failure in Distributed Systems
M1 – Replication & Consistency in Distributed Systems
M2 – Dependability in Distributed Systems
M3 – Roots of Distributed Systems. Computation in Space & Time
C2 – The Problem of Consensus in Distributed Systems
M4 – Definitions & Goals for Distributed Systems
M5 – Sorts of Distributed Systems
C3 – Distributed Ledger Technology. Blockchain as Middleware
C4 – Representational State Transfer (ReST)
M6 – Modelling Distributed Systems. Software & System Architectures
M7 – Modelling Distributed Systems. Process Algebra
C5 – Logical Clocks
M8 – Computing with Time
M9 – Agents for Distributed Systems
C6 – Simple Agents in JADE
C7 – Coordination in Linda
M10 – Coordination of Distributed Systems
C8 – Code Mobility
M11 – Computing with Space
lab
L10 – JADE lab
L11 – TuCSoN lab
prologue
Environment configuration
L0 – About the lab
course
L1 – Build Automation 101
L2 – Containers 101
L3 – Asynchronous Programming 101
L4 – Sockets 101
L5 – Presentation
L6 – ReSTful Web Services
L7 – Consensus