Synchronisation avancée et mémoire transactionnelle

Cette séance de cours couvre les techniques de synchronisation avancées et la mémoire transactionnelle. Il commence par un rappel des opérations de synchronisation et de la nécessité d'opérations atomiques en mémoire. La séance de cours se penche ensuite sur des solutions telles que les opérations atomiques de lecture-modification-écriture et Test&Set. Il discute de meilleures implémentations de verrous, de LL-SC et de matériel spécialisé pour les verrous de file d'attente. Le concept de verrous de tickets et de verrous de files d'attente basés sur des tableaux est expliqué, ainsi que leurs propriétés et variantes. La séance de cours explore également les verrous de file d'attente basés sur des listes comme MCS, mettant en évidence leurs propriétés et leurs performances. Il se termine par une discussion sur la prise en charge matérielle des verrous de file d'attente, l'analyse microbenchmark et les performances des différentes implémentations de verrous.