Ciclo di seminari LAAG:IT
Mutual Exclusion: Possibilities and Impossibilities
Programma
Nell'ambito del ciclo LAAG:IT - Logica, Algebra, Analisi, Geometria, Informatica Teorica e loro applicazioni, i professori Marco Bernardo e Giovanni Molica Bisci sono lieti di invitarvi al seminario intitolato "Mutual Exclusion: Possibilities and Impossibilities"
che sarà tenuto dal Prof. Rob van Glabbeek dell'Università di Edimburgo.
Mutual exclusion is a property ensuring that, within a concurrent system, at most one process at a time enters a critical section of the system, such as a shared resource or shared memory. I will show that under certain assumptions (speed independence and atomicity) no correct mutual exclusion protocol is possible. I also show how mutual exclusion can be achieved when dropping some of these assumptions.
Il seminario si svolgerà in presenza, ma sarà anche possibile seguirlo a distanza collegandosi ad https://meet.google.com/wxw-dkeq-ktn
Dettagli sull'evento
Data e luogo
Inizio: 05/07/2023
alle ore 15:00
Fine: 05/07/2023
alle ore 16:00
Collegio Raffaello (Urbino, Piazza della Repubblica, 13) Aula Olivetti
Organizzato e promosso da:
