Séance de cours
Concurrence et mémoire transactionnelle en Dafny
Séances de cours associées (37)
Programmation parallèle: fondamentaux
Couvre les bases de la programmation parallèle, y compris l'exploitation du parallélisme dans les algorithmes et l'importance d'éviter les conditions de race.
Synchronisation sans verrouillage : performances et évolutivité
Explore la synchronisation sans verrouillage pour des performances et une évolutivité dans les systèmes distribués, couvrant la génération d'identifiants uniques, les files d'attente de messagerie et les lectures RDMA atomiques.
Applications et systèmes intensifs en matière de données : aperçu HTAP
Fournit un aperçu des systèmes HTAP, couvrant le contrôle de la concordance, la mise en page des données, les compromis de consolidation et l'efficacité des instantanés en fonction de la charge de travail.
Introduction à la contractualité
Couvre les bases de la concurrence, de son importance et de la façon d'écrire des programmes concomitants.
Contrôle Optimiste de Concurrency: Horodatage Commande et Validation
Explore le contrôle de concurrence optimiste, les tests de conflits, les sections critiques, les frais généraux, le contrôle de concurrence multiversion, l'isolation instantanée et les améliorations des performances des transactions.
Conception de systèmes en réseau performants
Explore la conception de systèmes en réseau pour des performances robustes, en mettant l'accent sur les applications en temps réel et la vérification formelle.
Concurrent Stack: Mise en œuvre
Explore l'implémentation d'une structure de données de pile concurrente et le fonctionnement simultané des opérations push et pop.