Comunicación fiable en presencia de fallos

Se informa sobre el diseño y la corrección de una instalación de comunicación para un sistema informático distribuido. La instalación proporciona soporte para grupos de procesos tolerantes a fallos en forma de una familia de protocolos multicast fiables que pueden ser utilizados en redes de área local y amplia. Estos protocolos alcanzan altos niveles de concurrencia, respetando las restricciones de orden de entrega específicas de la aplicación, y tienen costos y rendimientos variables que dependen del grado de orden que se desea. En particular, se introduce un protocolo que impone órdenes de entrega causales y se demuestra que es una alternativa valiosa a los protocolos de comunicación asíncronos convencionales. La instalación también garantiza que los procesos que pertenecen a un grupo de procesos tolerantes a fallos observarán órdenes consistentes de eventos que afectan al grupo en su conjunto, incluidos fallos de procesos, recuperaciones, migraciones y cambios dinámicos en propiedades del grupo como clasificaciones de miembros. Una revisión de varios usos de los protocolos en el sistema ISIS, que admite objetos resilientes tolerantes a fallos y tablones de anuncios, ilustra la simplificación significativa de algoritmos de alto nivel que nuestro enfoque hace posible.