Comment plusieurs threads peuvent-ils modifier les mêmes données sans aucun verrou ? La science de la programmation Lock-Free et du problème ABA
Pourquoi tout s'arrête quand chacun attend l'autre : Théorie de l'interblocage (Deadlock), graphes d'allocation, algorithme du banquier et Livelock
Pourquoi votre code ne s'exécute pas dans l'ordre écrit : Introduction aux modèles mémoire des CPU et compilateurs
La physique du cache CPU et le protocole MESI : La cohérence et les abîmes des barrières mémoire dans le multicœur