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

Séance de cours

Contrôle simultané : protocoles basés sur des verrous

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (35)

Mémoire transactionnelle: Simplification matérielle Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la mémoire transactionnelle et la simplification matérielle pour le contrôle de la concurrence dans les logiciels, mettant l'accent sur les avantages de la spéculation matérielle et de la concurrence déclarative.

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.

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.

Contrôle de la confusion multiversion: MVCC et Snapshot Isolation Connectez-vous à Mediaspace pour regarder cette vidéo

Explore Multiversion Concurrency Control et Snapshot Isolation dans les systèmes de base de données, assurant des instantanés cohérents et réduisant les conflits.

Mettre fin à la diffusion fiable et NBAC Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la fin de la diffusion fiable et du commit atomique non bloquant dans les systèmes distribués, couvrant l'accord, le consensus et l'engagement de transaction.

Fondations théoriques pour les technologies multiprocesseurs émergentes: RDMA et NVRAM Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les fondements théoriques de RDMA et de NVRAM dans les technologies multiprocesseurs, couvrant la discorde, le contrôle de la convergence et la tolérance aux défauts.

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.

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.

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.

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.

Synchronisation sans verrouillage : performances et évolutivité Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la synchronisation sans verrouillage pour des performances et une évolutivité dans les systèmes distribués, couvrant la génération d'identifiants uniques, les files d'attente de messagerie et les lectures RDMA atomiques.

Gestion des périphériques dans les systèmes d'exploitation: Chaperons et persistance Connectez-vous à Mediaspace pour regarder cette vidéo

Discute de la gestion des périphériques dans les systèmes d'exploitation, en se concentrant sur les pilotes de périphériques, la persistance et les techniques d'optimisation des performances.

Conceptions de chisel vérifiées de façon formelle Connectez-vous à Mediaspace pour regarder cette vidéo

Examine la vérification formelle des conceptions de Chisel à l'aide de résolveurs SMT et couvre des exemples tels que les assertions différées et les preuves par induction.

Page 2 sur 2