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

Bases de la devises: Fil et synchronisation

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (43)

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.

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.

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.

Hiérarchie des mémoires GPU : Optimisation Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la hiérarchie de la mémoire GPU, le flux de traitement CUDA, les optimisations et l'efficacité du parallélisme sur les GPU.

Verrouillage des primitifs: éviter les conditions de course dans les threads Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les primitives de verrouillage nécessaires pour empêcher les conditions de course dans la programmation multithread, en se concentrant sur l'exclusion mutuelle et les opérations atomiques.

Principes de l'informatique parallèle : OpenMP Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les principes de l'informatique parallèle, en se concentrant sur OpenMP en tant qu'outil pour créer du code concurrent à partir du code série.

Computing Parallel: Principes et OpenMP Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les principes de l'informatique parallèle et introduit OpenMP pour créer du code concurrent à partir du code série.

Mutexes : Gestion de la synchronisation des threads Connectez-vous à Mediaspace pour regarder cette vidéo

Explique les mutex comme des verrous de thread, traitant de l'attente occupée et assurant une synchronisation efficace dans les applications multi-thread.

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.

Hiérarchie et optimisation de la mémoire GPU Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la hiérarchie de la mémoire GPU, les défis d'optimisation et l'efficacité de l'algorithme.

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.

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.

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.

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.

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.

Modèles de cohérence de la mémoire: impact sur les performances et calcul parallèle Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les modèles de cohérence de la mémoire, l'informatique parallèle, les sous-programmes atomiques, l'architecture GPU et le multithreading.

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.

Sans titre Connectez-vous à Mediaspace pour regarder cette vidéo

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.

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 3