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

Concept

Concurrency control

Séances de cours associées (32)

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.

Transactions : concepts et implémentations Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'importance et les défis des transactions, en mettant l'accent sur les propriétés ACID et les implications pratiques de l'utilisation de la mémoire transactionnelle pour le contrôle de la concurrence.

Opérations distribuées : principes et protocoles Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les transactions distribuées, couvrant les principes, les protocoles, le contrôle de la concordance, le commit et la réplication.

Architecture de CockroachDB Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'architecture de CockroachDB, en se concentrant sur la gestion des transactions, le contrôle de la concurrence et l'évolutivité.

Transactions et ACID: Aperçu Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les transactions, les propriétés ACID, les défis de concurrence et la planification dans les systèmes de gestion de base de données.

Transactions Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'élégance et les défis des transactions dans la structuration des systèmes étatiques, en mettant l'accent sur les propriétés ACID et les compromis de la mémoire transactionnelle.

ACID et calendriers des transactions Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les transactions, les propriétés de l'ACID, les calendriers et les anomalies dans les systèmes de base de données.

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.

Contrôle optimal des devises: commande d'une minuterie Connectez-vous à Mediaspace pour regarder cette vidéo

Explore un contrôle optimiste de la concurrence grâce à l'ordonnancement de l'horodatage et à des tests de validation continus.

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

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.

Mémoire transactionnelle : verrouillage en deux phases et lectures invisibles Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les perspectives historiques et les mécanismes de la mémoire transactionnelle, en soulignant l'importance et les défis de sa mise en œuvre dans les systèmes informatiques modernes.