Planteamiento y contexto
El runtime, el aislamiento de inquilinos (tenants) y los presupuestos de ejecución ya existen. El problema es más acotado: cientos de componentes instalados implementan varias generaciones de WebAssembly Interface Types (WIT), y un flujo de trabajo puede componer un parser, un redactor y un exporter. Diseña la capa de compatibilidad y composición que permita a la plataforma cambiar contratos de forma segura.
WIT define contratos en lugar de comportamiento. Un world enumera lo que un componente importa y exporta, y el Component Model permite componer componentes. Estos hechos hacen que la compatibilidad sea comprobable, pero no deciden qué cambios son seguros ni qué capacidades debe recibir un grafo compuesto. La plataforma debe proporcionar esa política.
Qué evalúa el entrevistador
- Si separas la compatibilidad a nivel de lenguaje fuente, la compatibilidad de forma de WIT y la compatibilidad de comportamiento.
- Si cada importación en el grafo de componentes final se autoriza explícitamente en lugar de heredarse accidentalmente.
- Si los adaptadores son versionados, observables y eliminables en lugar de convertirse en lógica oculta permanente.
- Si la reversión (rollback) preserva la semántica de datos y recursos esperada por el componente anterior.
Preguntas de clarificación que debes hacer
- ¿Qué generaciones de interfaces instaladas deben seguir siendo ejecutables y durante cuánto tiempo?
- ¿Son las llamadas valores sin estado, recursos propios (owned) o prestados (borrowed), streams o identificadores (handles) de larga duración?
- ¿Puede un plugin llamar a otro plugin directamente, o todas las llamadas deben pasar a través del host?
- ¿Qué cambios son aditivos y cuáles alteran el significado, los errores o la propiedad de recursos?
- ¿Debe un flujo de trabajo revertirse atómicamente, o pueden los componentes usar versiones diferentes?
Los adaptadores de valores sin estado a menudo pueden ejecutarse en línea; los cambios en la propiedad de recursos pueden requerir un nuevo contrato mayor y una migración. La composición directa es aceptable solo cuando el enlazador (linker) puede demostrar que las importaciones finales se mantienen dentro de la concesión del inquilino.
Una respuesta de 30 segundos
“Registraría cada paquete y world de WIT mediante una versión inmutable, calcularía sus importaciones, exportaciones, tipos y propiedad de recursos, y luego verificaría un grafo propuesto antes de la instanciación. Los plugins existentes mantienen su contrato antiguo. Un adaptador explícito y pequeño puede traducir valores antiguos a la nueva interfaz, pero no puede inventar capacidades ni cambiar silenciosamente la semántica de fallos. El host otorga solo la intersección de la política del inquilino y las importaciones declaradas del grafo final. Compararía ambas versiones en fixtures grabados, haría un despliegue tipo canary por inquilino y mantendría el grafo antiguo hasta que se cumplan los criterios de reversión y retiro.”
Análisis detallado paso a paso
1. Construir un registro de interfaces y un reporte de compatibilidad
Almacena la versión del paquete WIT, world, importaciones, exportaciones, definiciones de tipos, reglas de propiedad, digest del artefacto y la cadena de adaptadores. Al publicar, compara el nuevo contrato con cada predecesor admitido. Agregar un campo opcional puede ser adaptable; eliminar un caso de variante, cambiar el significado de un error o convertir un handle prestado en un recurso propio requiere una decisión explícita de migración.
2. Mantener los adaptadores acotados y direccionales
Un adaptador traduce un contrato conocido a otro. Puede renombrar un campo, proporcionar un valor predeterminado documentado o mapear un error antiguo a una nueva variante. Debe rechazar información que no pueda representarse de forma segura. Limita las cadenas de adaptadores a un solo salto compatible siempre que sea posible; las cadenas largas multiplican la ambigüedad y dificultan el razonamiento sobre la reversión.
3. Autorizar el grafo compuesto
Antes del enlace, resuelve cada importación hacia un proveedor y genera un manifiesto final de capacidades. El host verifica cada importación de sistema de archivos, red, reloj, aleatoriedad o servicios de negocio contra las concesiones del inquilino y del plugin. Un redactor que no importa acceso a la red no debe obtenerlo simplemente por estar compuesto con un exporter. Enruta las llamadas privilegiadas a través de interfaces propiedad del host para que la política y la auditoría permanezcan en un solo límite.
4. Demostrar el comportamiento antes de retirar un contrato
Ejecuta los grafos antiguos y nuevos con fixtures deterministas. Compara salidas tipadas, errores declarados, creación y liberación de recursos, llamadas al host y rendimiento delimitado. Haz shadowing de solicitudes reales solo cuando las entradas puedan manejarse de forma segura, y luego aplica canary por inquilino. La reversión cambia el descriptor del grafo al último artefacto compatible; los recursos con estado requieren migración o drenaje en lugar de un cambio ciego de punteros.
Un ejemplo de respuesta sólida
“Trataría el world de WIT como un contrato desplegable. Cada entrada inmutable del registro guarda la versión del paquete, world, conjunto completo de importaciones y exportaciones, formas de tipos, propiedad de recursos, digest del artefacto y predecesor admitido. Los cambios aditivos de solo valores pueden usar un adaptador revisado; la propiedad modificada, los casos de variantes faltantes o los nuevos efectos secundarios requieren un nuevo contrato y una migración explícita de los consumidores.
La composición se realiza a partir de un descriptor de grafo. El enlazador resuelve los proveedores, pero el host autoriza por separado el conjunto completo de importaciones del grafo. Las capacidades están limitadas por la política del inquilino y la concesión declarada de cada componente. Para el despliegue, reproduzco fixtures a través de ambos grafos y comparo valores, errores, llamadas al host y ciclos de vida de recursos. Luego realizo un despliegue canary por inquilino y retengo el grafo anterior hasta que se superen los umbrales de discrepancias, errores, latencia y fugas. Esto resuelve la evolución de interfaces y la composición segura, no el problema general de construir un sandbox de Wasm.”
Errores comunes
- Llamar compatible a cualquier cambio aditivo → una nueva importación requerida o un cambio en los valores predeterminados puede alterar el comportamiento → clasifica por separado los cambios de tipos, capacidades, propiedad y semántica.
- Permitir que la composición una todas las importaciones → un componente de bajos privilegios obtiene la autoridad de otro componente → autoriza el grafo resuelto contra concesiones explícitas.
- Apilar adaptadores indefinidamente → el comportamiento depende de una cadena opaca → admite saltos limitados y retira adaptadores con evidencia de uso.
- Comparar únicamente la salida exitosa → los errores, las llamadas al host y las fugas de recursos pueden presentar regresiones → compara fallos, efectos secundarios, propiedad y presupuestos.
- Revertir componentes con estado instantáneamente → los handles activos pueden pertenecer al nuevo contrato → drena, migra o fija sesiones antes de cambiar.
Preguntas de seguimiento y respuestas
¿Cómo manejas una nueva capacidad requerida?
Trátala como un cambio de permisos. Publica un nuevo grafo, muestra la capacidad solicitada al administrador del inquilino y actívala solo tras una concesión explícita. Las instalaciones existentes permanecen en el contrato antiguo.
¿Qué ocurre si un valor antiguo no puede representarse con el nuevo tipo?
El adaptador devuelve un error tipado de incompatibilidad y el despliegue se bloquea para los fixtures o inquilinos afectados. Inventar un valor predeterminado ocultaría la pérdida de datos. Utiliza una herramienta de migración o una versión mayor en paralelo.
¿Cómo retiras un adaptador?
Rastrea llamadores instalados, invocaciones reales, tasas de discrepancia y tiempo de último uso por versión. Primero detén las nuevas instalaciones, migra a los llamadores, mantén una ventana de reversión y elimina el adaptador solo cuando ningún grafo admitido haga referencia a él.
¿Pueden los componentes llamarse entre sí sin el host?
Pueden componerse estáticamente cuando se conocen las importaciones resueltas y la semántica de recursos, pero las operaciones privilegiadas continúan pasando por interfaces proporcionadas por el host. La autorización, las cuotas y la auditoría se mantienen en un límite controlado.