Introduction to multihreaded programming, concurrent programming and event based programming.
In this course, we will introduce the base concept linked to multicore architecture, multihreading in operating systems and in distributed algorithms and architectures for distributed systems.
The course is divided into some theoretical lectures and some programming laboratories
Understand the problems and the used methods for the design of concurrent and asynchronous distributed programs through the study of the communnication and synchronization between processes with shared memory and between processes distributed over different platform and programed in different languages.
The goal of the theoretical lectures is to acquire knowledge on the problems raised by concurrent programming which requires knowldege on distributed architecures, operating systems and on distributed algorithms.
Moreover the theoretical part will study different levels of abstractions through the study of low level and high level libraries.
The theoretical part will present as well some methods for the automatic verification of concurrent systems.
The goal of the laboratories is to build different distribuited systems and to solve practical problems of concurrent programming.
This course will offer the possibiltiy to the students willing to to aquire the following Open Badges:
The students who wish to acquire the Open Badges will to prepare a presentation of two laboratories that they will have done in group and will have to correct two laboratories of other groups.
Ricevimento: Reception through appointment via mail.
ARNAUD HENRI PAUL SANGNIER (President)
DAVIDE ANCONA
GIORGIO DELZANNO (President Substitute)
Accordingly to the teaching calended approved by the Consiglio dei Corsi di Studio in Informatica
The evaluation consists in a 2 hours written exam and the delivery of some laboratory works.
The written exam will verify the ability of the student to use the different notions presented during the lectures and the delivery of the laboratory works will allow to cotrol that the student is able to use in pratice the presented concepts.