Concept
Bus snooping
Séances de cours associées (32)
Modèles de cohérence mémoire
Explore les modèles de cohérence de la mémoire, la cohérence du cache et les facteurs de performance du processeur.
Introduction à l'architecture multiprocesseur
Couvre l'architecture multiprocesseurs, l'informatique durable, l'impact de la formation sur les modèles d'IA et les principes fondamentaux de la programmation parallèle.
Optimisation des logiciels : Optimisations des logiciels
Couvre les optimisations logicielles pour améliorer les performances du programme en maximisant les succès de cache et en optimisant la distribution du travail.
Programmes de vérification avec l'inox: Partie 2
Se concentre sur l'utilisation d'Inox pour la vérification des programmes, en démontrant le processus de vérification des programmes et en assurant l'exactitude.
Cohérence de la mémoire: Bases et modèles
Explore la cohérence de la mémoire dans les systèmes multiprocesseurs, en discutant de la cohérence, des modèles de cohérence et des compromis entre les contraintes de commande et les performances.
Optimisation des logiciels : optimisations logicielles et distribution du travail
Couvre l'optimisation logicielle, l'efficacité du cache, la planification parallèle et les stratégies de distribution de travail pour les programmes parallèles rapides.
Cohérence de la mémoire: Bases et modèles
Explore les bases de la cohérence de la mémoire, la cohérence du cache et les défis CPU modernes.
Multiprocesseurs : aperçu et défis
Couvre l'évolution et les défis des multiprocesseurs, en mettant l'accent sur l'efficacité énergétique, la programmation parallèle, la cohérence du cache et le rôle des GPU.
Optimisation des logiciels: Localité et planification
Explore les optimisations logicielles pour l'efficacité du cache, l'exécution parallèle et l'équilibrage de charge.
Tutoriel du système de vérification inoxydable
Introduit Stainless, un outil open-source pour vérifier les programmes Scala, couvrant le langage, la modélisation, les conseils de vérification et les travaux intérieurs.