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.
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.
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.
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.
Explore les transactions distribuées, y compris la coordination, le contrôle de la concordance, la récupération et le protocole de Commit à deux phases.
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.
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.
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.
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.
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.
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.
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.
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.
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.
