Ir al contenido
ORBITRAONE
VectorLanesOrbitra L1

Ejecución paralela determinista

Carriles paralelos. Una sola respuesta determinista.

VectorLanes es la capa de ejecución de Orbitra L1. Las transacciones que afectan a estado independiente se ejecutan en paralelo a través de 256 o más carriles, un planificador determinista y consciente de los conflictos ordena solo lo que realmente entra en conflicto, y QSE converge cada carril en una única verdad, ordenada globalmente y finalizada. Es el diseño de ejecución detrás de la arquitectura de capacidad plena de 1.000.000 TPS.

Cómo funciona

Cientos de carriles, un solo faro de finalidad

Ilustración: Cientos de carriles de ejecución independientes transportan transacciones en paralelo. Pasan por anillos de validación y convergen en una única baliza de finalidad, lo que muestra una ejecución paralela que se resuelve en un único estado determinista y finalizado.
Carriles independientesBaliza de finalidad
256+
Carriles paralelos
Por lotes
Comprobaciones de firma
Local
Acceso al estado
En streaming
Salida indexada

Cientos de carriles de ejecución independientes se desplazan en paralelo por el campo, pasan por anillos de validación y convergen en un único faro de finalidad. Los carriles paralelos muestran estado independiente que se ejecuta al mismo tiempo; el faro representa el certificado de QSE que une cada carril en un único estado final y ordenado.

El problema

Por qué las cadenas secuenciales dejan capacidad inactiva

La mayoría de las cadenas de bloques ejecutan las transacciones una tras otra, incluso cuando no tienen nada en común. Un pago en una aplicación espera detrás de una operación en otro mercado y un movimiento de juego en una tercera, mientras los núcleos del procesador que podrían ejecutarlos juntos permanecen inactivos.

El paralelismo ingenuo es peor que ningún paralelismo para un libro mayor financiero. Si los validadores ejecutan hilos en el orden que permita el hardware, dos máquinas honestas pueden llegar a resultados distintos, y un mercado no puede liquidarse sobre un estado que depende del momento exacto de ejecución.

VectorLanes ejecuta en paralelo únicamente lo que es demostrablemente independiente, y ordena todo lo demás de forma canónica. El resultado es idéntico al de ejecutar todo el lote una transacción a la vez en orden canónico, de modo que todos los validadores llegan al mismo estado.

Secuencia operativa

Del lote ordenado al estado final

Todo lote sigue la misma trayectoria. Solo el tramo intermedio de la trayectoria se ejecuta en paralelo; su entrada y su salida son canónicas.

  1. 01

    Verificar

    Las firmas se comprueban por lotes en el ingreso, antes de la planificación, de modo que los carriles dedican su tiempo a ejecutar y no a verificar.

  2. 02

    Declarar

    Cada transacción lleva sus conjuntos de lectura y escritura: las cuentas, los libros de órdenes y el almacenamiento de contratos que va a afectar.

  3. 03

    Planificar

    El planificador determinista construye un grafo de conflictos sobre el lote ordenado. Las transacciones independientes van a carriles distintos; las que entran en conflicto comparten un carril en orden canónico.

  4. 04

    Ejecutar

    Los carriles se ejecutan en paralelo sobre su propio estado local y producen variaciones de estado sin bloqueos entre carriles.

  5. 05

    Fusionar

    Las variaciones se combinan en orden canónico en un único compromiso de estado: la misma raíz que produciría una ejecución serial del lote.

  6. 06

    Finalizar

    Los validadores de QSE vuelven a derivar el compromiso y lo certifican. Cada carril pasa a formar parte de un único estado final, ordenado globalmente.

  7. 07

    Transmitir

    Los cambios finalizados se transmiten a indexadores, a Orbitra Prime y a las API como salida ordenada, de modo que los consumidores siguen el estado en lugar de consultarlo repetidamente.

Arquitectura

Componentes de la capa de ejecución

VectorLanes se sitúa entre los servicios de mercado, por encima, y el consenso de QSE, por debajo. Cada componente elimina una fuente de serialización o una fuente de no determinismo.

  1. 01

    Verificador de lotes

    Verifica las firmas por lotes a medida que llegan las transacciones, retirando de la ruta de ejecución la comprobación más costosa por transacción.

  2. 02

    Modelo de conjuntos de acceso

    Los módulos nativos y los contratos de NexusWASM exponen de forma explícita su acceso al estado. Un acceso al estado favorable al paralelismo es lo que hace posible una planificación consciente de los conflictos.

  3. 03

    Planificador determinista

    Deriva la asignación de carriles únicamente a partir del lote ordenado y de su grafo de conflictos. El momento de ejecución, el número de hilos y el hardware nunca cambian el resultado.

  4. 04

    Ejecutores de carril

    Ejecutan código determinista y compacto sobre el estado local del carril, con una validación adaptada al hardware que mantiene los núcleos ocupados sin bloqueos compartidos.

  5. 05

    Fusión canónica

    Combina las variaciones de los carriles en orden canónico y calcula el compromiso de estado que certifican los validadores de QSE.

  6. 06

    Transmisor de índices

    Emite los cambios de estado finalizados como flujos ordenados para Orbitra Prime, exploradores, analítica y conciliación institucional.

Seguridad y control de fallos

Determinismo bajo carga paralela

La ejecución paralela solo tiene lugar en un libro mayor financiero si nunca puede cambiar un resultado. Estas propiedades hacen que esa afirmación se pueda comprobar.

  • Equivalencia serialSin importar cuántos carriles se ejecuten, el estado confirmado es el que produciría una ejecución secuencial en orden canónico. Cualquier validador puede confirmarlo reproduciéndola.
  • Cumplimiento del acceso declaradoUna transacción que lee o escribe fuera de sus conjuntos declarados falla de forma determinista. Las dependencias ocultas no pueden corromper un carril vecino.
  • Aislamiento de la contenciónCuando muchas transacciones apuntan al mismo estado —un mercado muy activo o un contrato popular—, se serializan en un único carril. Los carriles no relacionados continúan sin verse afectados.
  • Recursos medidosEl cómputo y el almacenamiento tienen un precio explícito, de modo que ninguna carga de trabajo puede monopolizar carriles sin pagar por la capacidad que consume.
  • Compromisos verificados por cuórumUn compromiso de estado se vuelve final solo después de que un cuórum de QSE lo haya reproducido de forma independiente. Un ejecutor divergente se detecta antes de la finalidad, no después.

En los tres sistemas

Ejecución paralela en los tres sistemas

Orbitra Prime

Inteligencia de negociación

Una orden en un mercado de Orbitra Prime no se pone en cola detrás de actividad no relacionada en otro, y el flujo de índices alimenta las posiciones, los libros y el historial de Prime directamente desde el estado finalizado.

Orbitra L1

Liquidación y cómputo

VectorLanes es la capa de ejecución de Orbitra L1. Ejecuta en paralelo las transiciones de ApexMatch y los contratos de NexusWASM, y entrega a QSE un único compromiso ordenado para certificar.

Orbitra Realm

Aplicaciones y comercio

Los pagos, la tokenización, los juegos y las aplicaciones de datos de Orbitra Realm se ejecutan junto a los mercados en lugar de competir con ellos por un único hilo de ejecución. Los contratos que declaran un acceso al estado más acotado son los que obtienen más paralelismo, mientras que EVM Capsule se ejecuta en su propio dominio aislado con límites independientes.

Valor

Qué aporta el determinismo paralelo

Operadores y usuarios
Su orden no espera detrás de actividad con la que no tiene nada que ver, y el estado que usted ve es el estado finalizado en el que están de acuerdo todos los validadores.
Instituciones
La capacidad crece con el número de mercados y aplicaciones independientes, mientras que cada resultado sigue siendo reproducible para auditoría y conciliación.
Desarrolladores
Diseñe el estado pensando en el paralelismo, y el planificador lo recompensa. La semántica determinista no deja condiciones de carrera que analizar: los conflictos se ordenan, nunca compiten entre sí.

Especificaciones

Especificaciones

Modelo de ejecución
Carriles paralelos sobre estado independiente
Configuración de carriles
256 o más carriles paralelos (configuración de ingeniería)
Planificación
Determinista y consciente de los conflictos, derivada de los conjuntos de lectura y escritura declarados
Equivalencia
Idéntica a la ejecución serial del lote en orden canónico
Firmas
Verificación por lotes antes de la planificación
Acceso al estado
Local a cada carril, con fallo determinista ante un acceso no declarado
Salida
Salida de índices transmitida desde el estado finalizado
Finalidad
Un único compromiso de estado global certificado por un cuórum de QSE
Capacidad
Arquitectura de capacidad plena de 1.000.000 TPS

1.000.000 de transacciones por segundo representa la arquitectura agregada de capacidad plena diseñada de ORBITRA ONE™, y está destinada a validarse en condiciones de referencia definidas.

Terminología

Terminología

Carril
Una vía de ejecución que procesa transacciones que afectan a un estado que ningún otro carril afecta en el mismo lote.
Conjuntos de lectura y escritura
El estado que una transacción declara que va a leer y modificar. El planificador los utiliza para detectar conflictos antes de la ejecución.
Grafo de conflictos
Un mapa de qué transacciones de un lote afectan a un estado superpuesto y, por tanto, deben ordenarse.
Equivalencia serial
El criterio de corrección que VectorLanes comparte con las bases de datos serializables: la ejecución paralela debe producir exactamente el estado de una ejecución secuencial sobre el mismo lote ordenado.
Compromiso de estado
Un resumen criptográfico del estado completo tras un lote, que los validadores de QSE reproducen y certifican.

UNA RED. MERCADOS INFINITOS.

Solicitar acceso a ORBITRA ONE™.