Couvre le passage aux processeurs multicœurs, à l'architecture de mémoire de processeur, aux défis de concurrence et aux problèmes de synchronisation dans l'informatique moderne.
Explore la synthèse automatique de la synchronisation correcte et efficace dans les programmes, en mettant l'accent sur la suppression de l'atomicité redondante et l'ajout de métadonnées de synchronisation.
Couvre l'abstraction des threads dans les systèmes informatiques, en se concentrant sur la concurrence, le parallélisme et la gestion des threads à l'aide de l'API POSIX.
Couvre les bases des opérations atomiques dans la proximité et le parallélisme, y compris les opérations fournies par le matériel et les algorithmes synchronisés.
Couvre le cours CS206 sur le parallélisme et la concurrence, y compris la logistique, les matériaux, les séances d'exercices, les laboratoires, les examens et les critères de notation.
Couvre les bases de Dafny, la concurrence de modélisation et la mise en œuvre de la mémoire transactionnelle avec des preuves de sécurité et de vivacité.
Explore les principes de la programmation réactive et de la sémantique du traitement des messages en Akka, en mettant l'accent sur l'encapsulation des acteurs, la messagerie fiable et les garanties de livraison des messages.
