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

Le pouvoir des registres

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (42)

Applications et systèmes intensifs en matière de données : aperçu HTAP Connectez-vous à Mediaspace pour regarder cette vidéo

Fournit un aperçu des systèmes HTAP, couvrant le contrôle de la concordance, la mise en page des données, les compromis de consolidation et l'efficacité des instantanés en fonction de la charge de travail.

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.

Transactions : concepts et implémentations Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'élégance et les défis des transactions, y compris les propriétés ACID et les avantages de la mémoire transactionnelle dans la programmation simultanée.

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.

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.

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.

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.

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.

Stockage fiable: Regular Register Algorithm Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la spécification d'un registre, l'exécution séquentielle et concurrente, et les propriétés d'exactitude.

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.

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.

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.

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.

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.

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.

Systèmes d'exploitation : le rôle des services de colle Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le rôle des systèmes d'exploitation en tant que services de colle qui simplifient la conception des applications et améliorent la gestion des ressources.

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.

Isolement et protection : assurer la sécurité des processus Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les concepts d'isolement et de protection dans les systèmes informatiques, en mettant l'accent sur la sécurité des processus et les techniques de gestion des ressources.

Fondations algorithmiques pour la certification des systèmes Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les défis dans la conception de systèmes avec des composants non fiables, en mettant l'accent sur la vérification, le contrôle et l'interaction dans des systèmes peu fiables.

Page 2 sur 3