Bloqueo distribuido como un tipo de dato

Los modelos de programación de consistencia mixta ayudan a los programadores a diseñar aplicaciones que ofrecen alta disponibilidad mientras aseguran invariantes de seguridad específicos de la aplicación. Sin embargo, los modelos existentes a menudo hacen suposiciones específicas del sistema, como construir sobre un sistema de base de datos particular o tener estrategias de coordinación integradas. Esto dificulta la aplicación de estas estrategias en entornos diversos, que van desde cliente/servidor hasta redes peer-to-peer ad-hoc. Este trabajo propone una nueva estrategia para construir mecanismos de coordinación programables basados en el enfoque de tipos de datos replicados algebraicos (ARDTs). Los ARDTs permiten implementaciones simples y composables de varios protocolos, mientras hacen supuestos mínimos sobre el entorno de red. Como estudio de caso, se presentan dos protocolos de bloqueo diferentes, ambos implementados como ARDTs. Además, elaboramos sobre nuestros esfuerzos en curso para integrar el enfoque en el lenguaje de programación de consistencia mixta LoRe.