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.
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.
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.
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.
Explore les défis et les solutions pour les mises à jour en temps réel sur les grands magasins de colonnes sur disque, en mettant l'accent sur l'isolation des instantanés et la performance de la requête.
Explore le contrôle de concurrence optimiste, les tests de conflits, les sections critiques, les frais généraux, le contrôle de concurrence multiversion, l'isolation instantanée et les améliorations des performances des transactions.
Explore les bases de données parallèles et distribuées, couvrant les architectures, l'optimisation des requêtes, le stockage des données et les transactions distribuées.
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.
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.
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.
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.
Explore la perturbation des données pour la protection de la vie privée dans les systèmes de bases de données, y compris la reconstruction agrégée et son application dans l'extraction de données.
Explore la cohérence spéculative de la mémoire, les défis, les solutions, les frais généraux de performance et l'impact de l'application dynamique de la clôture sur la réalisation de hautes performances.
Introduit le modèle relationnel, SQL, les clés, les contraintes d'intégrité, la traduction ER, les entités faibles, les hiérarchies ISA et SQL vs. noSQL.