Sapienza Università di Roma · Ingegneria dell'informazione, informatica e statistica · tutti i canali con docenti, libri e orari, a.a. 2026/2027
Ingegneria dell'informazione, informatica e statistica · esame facoltativo · 6 CFU · apri nel catalogo
Cosa indica di studiare il docente
Argomenti del programma: The course is split into 3 parts: The first part studies foundational problems of concurrent systems: - sequential vs concurrent programs - Process synchronization (competition vs cooperation) - Safety and liveness properties; a hierarchy of liveness properties (deadlock freedom, starvation freedom, bounded bypass) - Mutual exclusion: atomic registers (algorithms by Peterson and Lamport; how to obtain a starvation…