Optimizan la conversión de timestamps: de 16 ciclos a dos multiplicaciones
Ben Joffe publica un artículo técnico que reduce la conversión de un timestamp diario a hora, minuto y segundo a solo dos multiplicaciones, rompiendo la cadena de dependencia.
El desarrollador Ben Joffe ha publicado un artículo técnico en el que demuestra cómo convertir un timestamp diario (0-86399) en hora, minuto y segundo con una latencia de solo dos multiplicaciones, frente a los 16 ciclos típicos de las librerías de fecha convencionales. La clave está en reordenar los cálculos para romper la cadena de dependencia y aplicar trucos de aritmética de punto fijo. El código fuente está disponible en su repositorio de GitHub.
Joffe analiza cómo lo hacen las principales librerías: el kernel de Linux, glibc, la librería estándar de Go, el módulo datetime de CPython y java.time de OpenJDK. Todas ellas, en su mayoría, usan una secuencia de divisiones y módulos: primero se calcula la hora, luego el minuto como resto de la hora y finalmente el segundo. Eso crea una dependencia en cadena que impide el solapamiento de operaciones en la CPU.
Romper la cadena
La primera optimización consiste en calcular cada componente de forma independiente. En lugar de depender del resto, se calcula hora = time / 3600, luego minuto = (time / 60) % 60 y segundo = time % 60. Esto rompe la cadena, pero aumenta el número total de operaciones, por lo que la ganancia de rendimiento depende de que el procesador pueda ejecutar esas operaciones en paralelo.
La segunda optimización es usar multiplicación y desplazamiento de bits en lugar de divisiones. Como el timestamp está acotado a un día, se pueden sustituir las divisiones constantes por multiplicaciones por un factor precalculado y un desplazamiento. Joffe explica que el resultado es exacto para el rango completo de un día.
También menciona el trabajo previo de Cassio Neri (2020), que ya había optimizado esta operación en su calendario de alto rendimiento. Neri usa una técnica basada en la multiplicación y el acceso a los bits altos y bajos para obtener directamente hora, minuto y segundo.
Joffe compara el rendimiento con un modelo de latencia aproximado de 3 ciclos para multiplicación y 1 para el resto. Con su método, la cadena se reduce a dos multiplicaciones en los mejores casos. El autor sugiere que esto puede ser especialmente útil en sistemas donde el procesamiento de muchos timestamps en un bucle es un cuello de botella.
El artículo forma parte de una serie sobre optimización de operaciones de fecha y hora, e incluye enlaces a código del kernel de Linux y otras librerías para comparar. Para cualquiera que trabaje con sistemas de tiempo de ejecución o procesamiento de logs, este enfoque puede suponer una mejora práctica, aunque los efectos solo sean apreciables cuando se procesan volúmenes masivos de conversiones.
