Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Cette séance de cours explore le concept de mémoire transactionnelle, en se concentrant sur des solutions matérielles pour simplifier le contrôle de la concurrence. Il couvre les inconvénients des mécanismes de verrouillage à gros grains et à grains fins, la probabilité de conflits dans les tables de hachage et les compromis de performance. L'instructeur explique les avantages de l'élision de verrouillage matériel (HLE) et de la transition vers la mémoire transactionnelle matérielle (TM). La séance de cours explore la nature composable des transactions, la mise en œuvre de la MT dans les processeurs Intel et les mécanismes de récupération en cas de conflit. Il conclut en discutant de l'extension du stockage de données spéculatives dans les caches et des politiques de détection des conflits.