Séance de cours
Cette séance de cours s'inscrit dans le concept de la mémoire transactionnelle, se concentrant sur les changements matériels pour simplifier le contrôle de la concurrence. Il couvre des sujets tels que le verrouillage à grain fin, les changements matériels pour le suivi spéculatif de l'adresse, l'élision du verrouillage matériel, et les avantages de l'utilisation de la mémoire transactionnelle. L'instructeur explique les défis des mécanismes de verrouillage traditionnels, le concept de verrouillage manuel et la mise en place de la mémoire transactionnelle matérielle. La séance de cours traite également de la nature Composable des transactions, des mécanismes de récupération et de la mise en œuvre de la mémoire transactionnelle dans les processeurs Intel. Dans l'ensemble, la séance de cours met l'accent sur la façon dont la spéculation matérielle peut simplifier les problèmes de logiciels et permettre le contrôle de la concordance déclarative.