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 transactions, le contrôle de la concordance, la résolution des conflits et l'isolement instantané dans les bases de données, en mettant l'accent sur la cohérence et le rendement.
Couvre les bases des systèmes embarqués, le développement FPGA, les systèmes d'exploitation en temps réel et les différents types de systèmes d'exploitation.
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.
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.
Couvre les bases de Dafny, la concurrence de modélisation et la mise en œuvre de la mémoire transactionnelle avec des preuves de sécurité et de vivacité.
Couvre les bases de la concurrence, se concentrant sur les threads et la synchronisation, y compris l'assemblage des threads et les défis de l'exécution non déterministe.
