Introduction to the Course

Course syllabus, logistics, grading. Introduction to the concurrency and parallelism. Hardware support. Real-world environments that exhibit parallelism

Multithreaded Programming in Java (1)

Threads, interrupts and concurrency effects

Multithreaded Programming in Java (2)

Locks, Conditional Variables and synchronization issues

Basic Patterns and Techniques

Data/work-parallelism; load balancing and distribution; synchronisation and communication

Higher-level Abstractions

Executors and Futures

Practical Session & Laboratories

Foundations of the Shared Memory Computing

The model; causality; linearizability; lock-free & wait-free computing; fairness; safety and liveness properties

Locks & Registers (1)

Different kinds of locks;
Different properties of the R/W operations; equivalence and expressiveness

Locks & Registers (2)

Different kinds of locks;
Different properties of the R/W operations; equivalence and expressiveness

Consensus

The definition of consensus; implementation; universality of the consensus

Impossibility Results

Consensus numbers; FLP theorem; implications for the real-world applications

Performance of the Multithreaded Programs

Common pitfalls; tooling to investigate performance issues;  basics of systems performance

Practical Session & Laboratories

Introduction to the Distributed Computing

The model; happens-before relation; clocks and ordering; communication; registers and consensus in the distributed setting

Failures and their Effects

Failure models; Paxos algorithm and its importance; FLP in the distributed setting; fault tolerance in practice