SIMYL Research · Blog técnicohttps://simylresearch.com/es/blog/Artículos sobre ingeniería de alto rendimiento, arquitectura y verificación de sistemas concurrentes.HugoesFri, 23 Oct 2026 00:00:00 +0000Verificación formal de una caché C++ con SPIN/Promelahttps://simylresearch.com/es/blog/verificacion-formal-cache-cpp-spin-promela/Mon, 19 Oct 2026 00:00:00 +0000https://simylresearch.com/es/blog/verificacion-formal-cache-cpp-spin-promela/Qué comprueba el modelo Promela de cpp-cache, qué deja fuera, el bug de evicción hallado al contrastarlo con el código y una corrida de SPIN publicada.100K peticiones por segundo: caché single-flight, hash routing y un escalador propiohttps://simylresearch.com/es/blog/simyl-blog-100k-rps/Sun, 05 Apr 2026 00:00:00 +0000https://simylresearch.com/es/blog/simyl-blog-100k-rps/Caché single-flight, hash routing y un escalador propio, validados hasta 100.000 peticiones por segundo en pruebas controladas, y su paso a cpp-cache en C++20.Cuando una caché hace más que solo cachéhttps://simylresearch.com/es/blog/cuando-una-cache-hace-mas-que-solo-cache/Tue, 31 Mar 2026 00:00:00 +0000https://simylresearch.com/es/blog/cuando-una-cache-hace-mas-que-solo-cache/Cómo una caché concurrente en C++ puede actuar como un mecanismo de coordinación, y qué comprueba su modelo formal en Promela/SPIN.