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
Catégories
16 pages
Informatique
Comment prouver mathématiquement qu'un programme est 100 % sans bug sans jamais l'exécuter ? La science de la vérification formelle
Pourquoi les ordinateurs modernes résolvent en quelques secondes des problèmes NP-complets censés exploser : solveurs SAT, CDCL et transitions de phase
Pourquoi les petits caractères restent nets et lisibles : Mathématiques du rendu de polices, courbes de Bézier, VM de hinting et antialiasing sous-pixel
Pourquoi « aller vite » ne suffit pas : Systèmes d'exploitation temps réel (RTOS), WCET, ordonnancement RMS vs EDF et l'inversion de priorité de Mars Pathfinder
Pourquoi les anciennes consoles peuvent être recréées par logiciel : Architecture des émulateurs — Interpréteurs, JIT Dynarec, Fastmem et précision au cycle
Pourquoi tout s'arrête quand chacun attend l'autre : Théorie de l'interblocage (Deadlock), graphes d'allocation, algorithme du banquier et Livelock
Comment des entrées aléatoires révèlent des bugs catastrophiques : la science du fuzzing guidé par la couverture
Comment fabriquer du « hasard » à partir d'une procédure fixe ? : La science et la cryptographie de l'imprévisibilité
Peut-on récupérer le code source à partir d'un exécutable ? : science, algorithmes et limites de la décompilation
Pourquoi vos données survivent à une coupure de courant : l'ingénierie de la cohérence après crash
Pourquoi votre code ne s'exécute pas dans l'ordre écrit : Introduction aux modèles mémoire des CPU et compilateurs
Comment des programmes séparés ne font plus qu'un : Les secrets de l'éditeur de liens et du chargeur
De l'appui sur le bouton d'alimentation à l'affichage : Les coulisses du démarrage de votre ordinateur
Pourquoi les ordinateurs ne savent pas calculer 0.1 + 0.2 : La science des nombres à virgule flottante
Théorie des enchères et théorie des jeux : Le mécanisme de Vickrey, les enchères de fréquences et l'économie publicitaire moderne
