En el ámbito del desarrollo web, la creación de motores de renderizado representa un desafío monumental. Pocas empresas están en condiciones de construir uno desde cero, una tarea que demanda cientos de ingenieros y años de trabajo. Sin embargo, Bez ha presentado un enfoque innovador que promete cambiar las reglas del juego: generar un motor de web a partir de especificaciones y pruebas existentes, utilizando como referencia los tres navegadores en funcionamiento y los estándares de pruebas Web Platform Tests (WPT).
Objetivos de Bez
Bez se ha planteado varios objetivos clave en su propuesta:
- Construcción optimizada. El motor puede ser completo o «tree-shaken», lo que significa que se pueden eliminar funciones que no se utilizan en un sitio o aplicación específica, reduciendo así el tamaño del motor final.
- Rendimiento en cualquier dispositivo. Un motor más pequeño requier menos recursos, lo que se traduce en un mejor rendimiento en dispositivos con características limitadas.
- Facilidad de integración. Con una API clara, se permite que este motor pueda ser fácilmente incorporado en aplicaciones y dispositivos que actualmente dependen de contextos más pesados como Chromium.
- Actualización ágil. Cualquier cambio en las especificaciones o en las pruebas resulta en una regeneración automática del código, lo que asegura que el motor esté siempre alineado con los estándares más recientes.
Funcionamiento del motor
El proceso de Bez se basa en un flujo de trabajo que inicia con el texto de las especificaciones. Un modelo genera diferentes candidatos de motor, que luego son evaluados utilizando las funciones de los principales navegadores. Si un candidato no cumple con los requisitos, se vuelve a las especificaciones para regenerar el modelo. Cuando se logra un consenso entre los navegadores, el código se registra usando Rust, garantizando así calidad y eficiencia.
Resultados y hallazgos
Hasta la fecha, Bez ha hecho descubrimientos significativos:
- Las comparativas entre los navegadores han mostrado que en 699 de 705 casos, hay un acuerdo mayoritario, lo cual respalda la fiabilidad del enfoque.
- Se han identificado discrepancias de compatibilidad web, como el caso de Firefox, que diferencia su modo de redondeo en comparación con Blink y WebKit, revelando un error significativo que afecta el diseño de sitios.
- El análisis de suites de conformidad ha demostrado que una mayoría de tres motores puede enviar resultados compatibles, cubriendo más del 94% de los casos disponibles.
- La aplicación de programación lógica ha permitido resolver complejidades que los métodos tradicionales pudieron haber pasado por alto.
- Se sugiere que aproximadamente entre el 55-60% de las entradas de compatibilidad del motor tienen un oráculo automatizado utilizable.
Preguntas abiertas
A pesar del progreso, existen interrogantes fundamentales por resolver: la viabilidad del costo de cada regla construida a mano, el alcance óptimo de las partes generadas, y la accesibilidad de las pruebas de conformidad sin depender de JavaScript, entre otros.
Bez, con su innovador enfoque, podría estar al borde de redefinir cómo se desarrollan y utilizan los motores de procesamiento web, creando nuevas oportunidades para desarrolladores y empresas por igual en un entorno digital en constante evolución.