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

Synchronisation sans verrouillage : performances et évolutivité

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (41)

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

Explore le concept de verrouillage pour l'exclusion mutuelle dans le système d'exploitation, couvrant les conditions de race, le parallélisme, les instructions atomiques, la prévention de l'impasse et les meilleures pratiques.

Gestion des transactions et contrôle de la concurrence Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la gestion des transactions, le contrôle de la concurrence, les propriétés ACID, les anomalies et la sérialisation des conflits dans les systèmes de base de données.

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.

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.

Synchronisation : Serrures et barrières Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les principes de synchronisation à l'aide de verrous et de barrières, en mettant l'accent sur des implémentations matérielles efficaces et des mécanismes de coordination tels qu'OpenMP.

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

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.

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.

Contrôle et récupération des devises dans les bases de données Connectez-vous à Mediaspace pour regarder cette vidéo

Se consacre à la gestion des transactions, au contrôle de la concordance et à la récupération dans les bases de données afin d'assurer l'intégrité des données et la résilience des systèmes.

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.

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 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 simultané : protocoles basés sur des verrous Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les protocoles de contrôle de la concurrence basés sur les verrous et divers modèles de transaction.

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.

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.

Cohérence de la mémoire II Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la cohérence spéculative de la mémoire, les défis, les solutions, les frais généraux de performance et l'impact de l'application dynamique de la clôture sur la réalisation de hautes 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.

Système d'exécution distribué à usage général Connectez-vous à Mediaspace pour regarder cette vidéo

Examine la conception d'un système d'exécution distribué à usage général, couvrant les défis, les cadres spécialisés, la logique de contrôle décentralisée et les remaniements de haute performance.

Introduction à l'architecture multiprocesseur Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit les fondamentaux de l'architecture multiprocesseur, couvrant les serveurs post-Moore, les datacenters durables, la programmation parallèle et l'utilisation du GPU.

Page 2 sur 3