Terminar la transmisión confiable

La terminación de transmisión confiable ( TRB ) es un problema en la computación distribuida que encapsula la tarea de transmitir un mensaje a un conjunto de procesos receptores en presencia de fallas . ^[1] En particular, el remitente y cualquier otro proceso pueden fallar ("bloquearse") en cualquier momento.

Descripción del problema

Un protocolo TRB normalmente organiza el sistema en un proceso de envío y un conjunto de procesos de recepción, que pueden incluir al propio remitente. Un proceso se denomina "correcto" si no falla en ningún momento de su ejecución. El objetivo del protocolo es transferir datos (el "mensaje") desde el remitente al conjunto de procesos receptores. Un proceso puede realizar muchas operaciones de E/S durante la ejecución del protocolo, pero finalmente "entrega" un mensaje pasándolo a la aplicación de ese proceso que invocó el protocolo TRB.

El protocolo debe brindar importantes garantías a los procesos de recepción. Todo proceso de recepción correcto, por ejemplo, debe entregar el mensaje del remitente si el remitente también es correcto. Un proceso receptor puede entregar un mensaje especial ("remitente defectuoso") si el remitente falló, pero todos los procesos correctos se entregarán o ninguno lo hará. Por lo tanto, se garantiza que un proceso correcto es que los datos que se le entregan también se entregaron a todos los demás procesos correctos. ${\displaystyle \mathrm {SF} }$ ${\displaystyle \mathrm {SF} }$

Más precisamente, un protocolo TRB debe satisfacer las cuatro propiedades formales siguientes.

• Terminación : todo proceso correcto entrega algún valor.
• Validez : si el remitente tiene razón y transmite un mensaje , entonces todo proceso correcto lo entrega . ${\displaystyle m}$ ${\displaystyle m}$
• Integridad : un proceso entrega un mensaje como máximo una vez y, si entrega algún mensaje , el remitente lo transmite. ${\displaystyle m\neq \mathrm {SF} }$ ${\displaystyle m}$
• Acuerdo : si un proceso correcto entrega un mensaje , entonces todos los procesos correctos lo entregan . ${\displaystyle m}$ ${\displaystyle m}$

La presencia de fallas en el sistema hace que estas propiedades sean más difíciles de satisfacer. Un protocolo TRB simple pero no válido podría hacer que el remitente transmita el mensaje a todos los procesos y que los procesos receptores entreguen el mensaje tan pronto como lo reciban. Sin embargo, este protocolo no satisface el acuerdo si pueden ocurrir fallas: si el remitente falla después de enviar el mensaje a algunos procesos, pero antes de enviarlo a otros, entonces el primer conjunto de procesos puede entregar el mensaje mientras el segundo conjunto lo entrega . ${\displaystyle \mathrm {SF} }$

TRB está estrechamente relacionado, pero no es idéntico, al problema fundamental del consenso en la computación distribuida .

Referencias

1. Alvisi, Lorenzo (2006). "Consenso y transmisión confiable" (PDF) . Consultado el 21 de mayo de 2006 .