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.
Explore les inefficacités du processeur serveur, les tendances d'intégration matérielle et les critères d'optimisation de la conception pour des serveurs efficaces.
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 algorithmes distribués en temps réel, couvrant les applications industrielles, les modèles de système, les protocoles de communication et la détection des défaillances.
