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 les écueils de concurrence primitives, d'exclusion mutuelle et de synchronisation dans les systèmes d'exploitation, en mettant l'accent sur les variables de condition et les sémaphores.
Explore le cadre BIP, en mettant l'accent sur le flux de conception du système et le rôle des priorités dans la réduction du non-déterminisme et l'expression des politiques de planification.
Explore le concept de verrouillage pour l'exclusion mutuelle dans le système d'exploitation, couvrant les conditions de race, le parallélisme, les instructions atomiques, la prévention de l'impasse et les meilleures pratiques.
Explore les techniques de récupération de mémoire, y compris le comptage de référence sans verrou et les pointeurs de danger, et présente l'approche hybride de QSense.
