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

Concept

Optimistic concurrency control

Séances de cours associées (32)

Applications et systèmes intensifs en matière de données : aperçu HTAP Connectez-vous à Mediaspace pour regarder cette vidéo

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.

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.

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.

Contrôle de la cohérence et cohérence événementielle Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les techniques de contrôle de la concordance et éventuellement la cohérence dans les bases de données, y compris le verrouillage en deux phases, 2PL strict, et l'algorithme de Dynamo.

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.

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

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émoire transactionnelle: Simplification matérielle Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la mémoire transactionnelle matérielle pour simplifier le contrôle simultané et améliorer les performances dans les tables de hachage.

Conquérir des charges de travail très concomitantes Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'optimisation de la mise en page des données et de l'exécution des requêtes pour des charges de travail très concurrentes, en mettant l'accent sur la faible latence et l'interactivité dans les requêtes analytiques.

Accélération GPU dans l'exécution OLTP Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'accélération GPU dans l'exécution OLTP et les avantages de la mise en cache proportionnelle pour le débit de requête.

Gestion des tampons dans le SGBD Connectez-vous à Mediaspace pour regarder cette vidéo

Discute de la gestion des tampons dans un SGBD, couvrant les défis, le pool de tampons et les politiques de remplacement.

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.