Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Concurrency (computer science)

Séances de cours associées (31)

Contrôle et récupération des devises dans les bases de données Connectez-vous à Mediaspace pour regarder cette vidéo

Se consacre à la gestion des transactions, au contrôle de la concordance et à la récupération dans les bases de données afin d'assurer l'intégrité des données et la résilience des systèmes.

Stockage fiable: Regular Register Algorithm Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la spécification d'un registre, l'exécution séquentielle et concurrente, et les propriétés d'exactitude.

Gestion des transactions et contrôle de la concurrence Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la gestion des transactions, le contrôle de la concurrence, les propriétés ACID, les anomalies et la sérialisation des conflits dans les systèmes de base de données.

Vérification du matériel en utilisant des langages de conception de haut niveau Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les défis en matière de vérification matérielle, de spécifications claires, de dommages spéculatifs et de sémantique précise du cycle.

Mécanismes de synchronisation évolutive pour les systèmes d'exploitation de nombreux cœurs Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les mécanismes de synchronisation évolutive pour de nombreux systèmes d'exploitation de base, en mettant l'accent sur les défis de la gestion de la croissance des données et des régressions dans le système d'exploitation.

Concurrence et exclusion mutuelle Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'importance de la convergence, des opérations atomiques et de l'exclusion mutuelle à l'aide de serrures.

Priorités et pièges en matière de devises Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les écueils de concurrence primitives, d'exclusion mutuelle et de synchronisation dans les systèmes d'exploitation, en mettant l'accent sur les variables de condition et les sémaphores.

Systèmes de travail partagés: Optimisation Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les moteurs de requête, les systèmes de travail partagés et les stratégies d'optimisation du traitement des données.

Le pouvoir des registres Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les implémentations sans attente d'objets atomiques, en se concentrant sur les compteurs et les instantanés, en discutant des idées clés pour renforcer l'atomicité et la liberté d'attente.

Concurrence et mémoire transactionnelle en Dafny Connectez-vous à Mediaspace pour regarder cette vidéo

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é.

Concurrence et mémoire transactionnelle en Dafny Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre Dafny pour la vérification formelle, la concordance de modélisation, les règles de sécurité, la vivacité et les concepts de mémoire transactionnelle.