Blog technique
Nous écrivons sur ce que nous construisons et mesurons : performance, architecture et vérification des systèmes concurrents, avec les conditions et les limites de chaque chiffre. Nous ne publions que ce que nous avons vérifié et que nous avons le droit de raconter. Ce que nous construisons sur commande est confidentiel et appartient au client : rien n’est publié ni libéré en open source sauf si le contrat le permet ou si le client l’autorise, comme le prévoient nos conditions communes.
Travaillez, terminez, publiez.
Vérification formelle d’un cache C++ avec SPIN/Promela
19 octobre 2026
En bref — Le dépôt de cpp-cache contient un modèle Promela borné du protocole single-flight du cache. Sur ce modèle, SPIN vérifie 30 assertions de …
Lire la suite100K requêtes par seconde : cache single-flight, routage par hachage et un autoscaler maison
5 avril 2026
En bref — Un cache en processus avec protocole single-flight, combiné à un routage fondé sur le hachage, à une seconde couche de cache partagée et à …
Lire la suiteQuand un cache fait plus que du cache
31 mars 2026
La plupart des gens voient un cache comme un simple accélérateur de performance : il stocke un résultat, le réutilise plus tard, et c’est tout. Mais …
Lire la suite