Manuel Bravo, Investigador Postdoctoral del Instituto IMDEA Software, ha propuesto elegantes algoritmos para el procesamiento de transacciones en bases de datos tipo FARM, demostrando su corrección e identificando cómo deberían cambiarse para explotar el Remote Direct Memory Access (RDMA), una nueva tecnología de red que tiene el potencial de aumentar drásticamente la escalabilidad de las bases de datos distribuidas. Sin embargo, para alcanzar este potencial, los algoritmos para el procesamiento de transacciones en dichas bases de datos tienen que ser radicalmente rediseñados.
La primera base de datos industrial en utilizar RDMA es el reciente sistema FARM de Microsoft, que ahora se utiliza para calcular algunas de las consultas de búsqueda en Microsoft Bing. Desafortunadamente, los fundamentos teóricos de FARM tienen altibajos: sus algoritmos no han demostrado ser correctos y la lógica de muchas de sus decisiones de diseño no está clara.
Bravo, que ha presentado esta propuesta como publicación para la Conferencia [“Principles of Distributed Computing 2020"](Principles of Distributed Computing 2020) (PODC), demuestra que la metodología para modificar los algoritmos de procesamiento de transacciones para que se ejecuten sobre RDMA también abre la puerta a la explotación de RDMA para la ampliación de otras bases de datos industriales. Este trabajo aumenta la confianza en la corrección del diseño del FARM.
