Chrome genera código de dibujo ineficiente incluso en las 100 webs más visitadas
Compiler-style optimization for drawing via Skia
μSkia es una semántica formal de la biblioteca gráfica Skia, mecanizada en Lean, que cubre estado del canvas, pila de capas, blending y filtros de color. Sus autores identifican cuatro patrones de código subóptimo que produce Google Chrome y construyen un optimizador que acelera el rasterizado un 18,7% sobre el backend GPU más moderno de Skia, tardando como máximo 32 μs. Las trazas de optimización se validan de extremo a extremo en Lean.
Incluso Google Chrome, un programa altamente optimizado y codesarrollado con la biblioteca de rasterización Skia, sigue produciendo secuencias de instrucciones ineficientes incluso en los 100 sitios web más visitados.