SIMYL Research · Blog techniquehttps://simylresearch.com/fr/blog/Articles sur l’ingénierie à haute performance, l’architecture et la vérification des systèmes concurrents.HugofrThu, 29 Oct 2026 00:00:00 +0000Vérification formelle d’un cache C++ avec SPIN/Promelahttps://simylresearch.com/fr/blog/verification-formelle-cache-cpp-spin-promela/Mon, 19 Oct 2026 00:00:00 +0000https://simylresearch.com/fr/blog/verification-formelle-cache-cpp-spin-promela/Ce que vérifie le modèle Promela de cpp-cache, ce qu’il laisse de côté, le bug d’éviction trouvé en le confrontant au code et une exécution SPIN publiée.100K requêtes par seconde : cache single-flight, routage par hachage et un autoscaler maisonhttps://simylresearch.com/fr/blog/simyl-blog-100k-rps/Sun, 05 Apr 2026 00:00:00 +0000https://simylresearch.com/fr/blog/simyl-blog-100k-rps/Cache single-flight, routage par hachage et un autoscaler maison, validés jusqu’à 100 000 requêtes par seconde lors de tests contrôlés, puis cpp-cache en C++20.Quand un cache fait plus que du cachehttps://simylresearch.com/fr/blog/quand-un-cache-fait-plus-que-du-cache/Tue, 31 Mar 2026 00:00:00 +0000https://simylresearch.com/fr/blog/quand-un-cache-fait-plus-que-du-cache/Comment un cache concurrent en C++ peut servir de mécanisme de coordination, et ce que vérifie son modèle formel en Promela/SPIN.