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

Mémoire transactionnelle: Simplification matérielle

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (41)

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.

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.

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.

Architecture de CockroachDB Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'architecture de CockroachDB, en se concentrant sur la gestion des transactions, le contrôle de la concurrence et l'évolutivité.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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