Ressources

#Ressources — Systèmes d’exploitationCopier le lien

Références, manuels et outils pour approfondir les OS.

#RéférencesCopier le lien

• Operating Systems: Three Easy Pieces (OSTEP): https://pages.cs.wisc.edu/~remzi/OSTEP/
• Linux man-pages: https://man7.org/linux/man-pages/

#OutilsCopier le lien

• strace, ltrace pour tracer appels système et bibliothèques.
• perf et htop pour mesurer et profiler.

#PratiquesCopier le lien

• Isoler les effets de concurrence avec des primitives adaptées (mutex, sémaphores).
• Comprendre l’impact des politiques d’ordonnancement sur la latence.