Un entorno de IA produce un protocolo de consenso más rápido
En palabras sencillas
El consenso permite que varias computadoras mantengan los mismos datos incluso si algunas máquinas fallan. El artículo presenta AI-greement, un conjunto de herramientas que proporciona a un agente de programación conocimientos sobre diseños de consenso, una estructura compartida para implementarlos y ayuda para comprobar pruebas de seguridad.
Con estas herramientas, los investigadores desarrollaron A-greement para un almacén de clave-valor replicado. En pruebas sin fallos con un 5 % de escrituras, tuvo menor latencia media de solicitud que las alternativas comparadas, pero las pruebas no muestran cómo rinde en todas las situaciones.
La investigación
¿Puede un agente de programación con IA ayudar con protocolos de consenso, donde un cambio de diseño que acelera las solicitudes también puede complicar la recuperación o poner en riesgo la corrección?
El artículo pregunta si los conocimientos específicos del dominio, una estructura de implementación y las comprobaciones formales pueden ayudar a los agentes a producir un protocolo práctico y a abordar esas exigencias relacionadas.
AI-greement proporciona a agentes de programación conocimientos sobre consenso, una estructura reutilizable de implementación y apoyo de Lean para desarrollar y comprobar protocolos candidatos.
Con AI-greement, un agente de programación produjo A-greement, que los investigadores compararon con cuatro protocolos de consenso en cuanto a latencia de finalización de solicitudes, con distintas cargas de trabajo, cantidades de réplicas y topologías de red.
En seis despliegues con 5 o 9 réplicas, A-greement tuvo menor latencia media que la alternativa con menor media en las cargas con 50 % y 5 % de escrituras.
Las comparaciones usaron la misma carga de trabajo y el mismo despliegue para cada protocolo, lo que respalda una diferencia de rendimiento bajo esas condiciones. Con 50 % de escrituras, la latencia P99 de A-greement fue mayor que la de SwiftPaxos.
Los promedios de latencia destacados abarcan seis despliegues con 5 o 9 réplicas y excluyen los despliegues con 13 y 17 réplicas, donde algunas implementaciones de referencia se saturaron.
La prueba en Lean establece seguridad para el modelo codificado, que los investigadores deben contrastar con el protocolo y la implementación previstos.
Análisis
Detalles
- Autores del paper original
- Clément Burgelin, Rachid Guerraoui, Zicong Hong, Yinan Hu, Anne-Marie Kermarrec
- Enviado a arXiv
- Licencia
- CC BY 4.0