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

Problème de philosophe de salle à manger

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (47)

Threads: La concurrence et le parallélisme dans les systèmes informatiques Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'abstraction des threads dans les systèmes informatiques, en se concentrant sur la concurrence, le parallélisme et la gestion des threads à l'aide de l'API POSIX.

Mécanismes de synchronisation évolutive pour les systèmes d'exploitation de nombreux cœurs Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les mécanismes de synchronisation évolutive pour de nombreux systèmes d'exploitation de base, en mettant l'accent sur les défis de la gestion de la croissance des données et des régressions dans le système d'exploitation.

Priorités et pièges en matière de devises Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les écueils de concurrence primitives, d'exclusion mutuelle et de synchronisation dans les systèmes d'exploitation, en mettant l'accent sur les variables de condition et les sémaphores.

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.

Synchronisation sans verrouillage : perspectives pratiques Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'importance de la synchronisation sans verrouillage pour obtenir une faible latence dans les systèmes distribués et discute des solutions pratiques pour la génération d'identificateurs uniques et les files d'attente de messagerie.

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.

Concurrence et exclusion mutuelle Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'importance de la convergence, des opérations atomiques et de l'exclusion mutuelle à l'aide de serrures.

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.

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.

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.

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.

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.

Parallélisme : programmation et performance Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le parallélisme dans la programmation, en mettant l'accent sur les compromis entre la programmabilité et la performance, et introduit la programmation parallèle en mémoire partagée à l'aide d'OpenMP.

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.

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.

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.

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.

GPU : Architecture et programmation Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'architecture GPU, le multithreading, les processeurs SIMD et la programmation CUDA pour l'informatique parallèle.

Introduction aux systèmes de bases de données Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases des systèmes de base de données, y compris la modélisation des données, le SGBD, l'indépendance des données et l'aperçu du cours.

Page 2 sur 3