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

Concept

Verrou (informatique)

Séances de cours associées (32)

Synchronisation sans verrouillage : atteindre une faible latence Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'importance de la synchronisation sans verrouillage pour obtenir une faible latence et des performances élevées dans les systèmes distribués.

Mémoire Transactionnelle: Hardware Concurrency Control Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la mémoire transactionnelle pour le contrôle de la concurrence matérielle, en discutant des mécanismes de verrouillage, des compromis de performance et des modifications matérielles.

Verrouillage des primitifs: éviter les conditions de course dans les threads Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les primitives de verrouillage nécessaires pour empêcher les conditions de course dans la programmation multithread, en se concentrant sur l'exclusion mutuelle et les opérations atomiques.

Mutexes : Gestion de la synchronisation des threads Connectez-vous à Mediaspace pour regarder cette vidéo

Explique les mutex comme des verrous de thread, traitant de l'attente occupée et assurant une synchronisation efficace dans les applications multi-thread.

Transactions à haut débit : Accélération du GPU Connectez-vous à Mediaspace pour regarder cette vidéo

Discute de l'accélération du GPU pour les transactions à haut débit et de l'impact de la granularité de verrouillage grossier.

Sans titre Connectez-vous à Mediaspace pour regarder cette vidéo

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.

Registres et linéarisabilité Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la puissance des registres en linéarisabilité et introduit l'algorithme SCAN.

Contrôle des devises multi-versions : approches optimistes Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le contrôle de la confusion multi-versions avec des approches optimistes pour améliorer les systèmes de traitement des transactions.

Anonymous Concurrent Computing Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'informatique concurrente anonyme, couvrant les compteurs, les instantanés et les algorithmes de consensus.

Opérations et contrôle des devises Connectez-vous à Mediaspace pour regarder cette vidéo

Déplacez-vous dans les transactions, les propriétés de l'ACID, les calendriers, les protocoles de verrouillage et le contrôle de la concordance dans les systèmes de base de données.

Programmation parallèle I Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la programmation parallèle, y compris la concurrence, les formes de parallélisme, la synchronisation et les modèles de programmation tels que PThreads et OpenMP.