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

Recherche

Afficher tous les résultats pour

Accueil

Concept

Multiversion Concurrency Control

Applied sciences
Génie informatique
Calcul intensif
Calcul distribué

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (32)

Connectez-vous pour filtrer par séance de cours

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

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.

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.

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.

Transactions distribuées : architectures et protocoles Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les architectures de bases de données parallèles et les protocoles de transaction distribués, en se concentrant sur la coordination, le contrôle de la concurrence et les défis de récupération.

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

Déplacez-vous dans le contrôle de la concurrence basé sur les verrous, la gestion de l'impasse, les modèles de transaction, et leurs limites.

Introduction aux processeurs multicœurs Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le passage aux processeurs multicœurs, à l'architecture de mémoire de processeur, aux défis de concurrence et aux problèmes de synchronisation dans l'informatique moderne.

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.

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.

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.

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

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.

Page 2 sur 2