Mémoire Transactionnelle: Hardware Concurrency Control

Cette séance de cours couvre le concept de mémoire transactionnelle, en se concentrant sur le support matériel pour le contrôle de la concurrence. Il traite du verrouillage à gros grains et à grains fins, de leurs compromis de performance et de leurs difficultés. L'instructeur explique les exercices sur les calculs de probabilité pour les fils contradictoires et l'impact sur les performances des différents mécanismes de verrouillage. La séance de cours introduit l'idée de verrouillage elision et l'exécution spéculative pour améliorer les performances. Il se penche sur les modifications matérielles requises pour la mémoire transactionnelle, y compris le suivi spéculatif des adresses et la détection des conflits. La présentation se termine par une discussion sur les avantages de la mémoire transactionnelle matérielle et ses défis de mise en œuvre.