Las propiedades de equidad son propiedades de vitalidad que garantizan un comportamiento “justo”. Consideremos el siguiente ejemplo:
Hay un canal (confiable) que conecta un emisor y un receptor. Ahora, queremos garantizar que cuando el remitente envía un mensaje, el receptor lo recibirá, es decir, obtendrá su contenido. Esto se mantendrá cuando asumimos una imparcialidad débil al recibir el mensaje. ¿Por qué?
La imparcialidad débil dice que cuando una acción se habilita (continuamente), la acción se ejecutará (eventualmente). Cuando el remitente envía el mensaje y el mensaje llega al otro extremo del canal, el receptor puede recibir el mensaje (es decir, la acción está habilitada). El receptor podría decidir hacer otra cosa, mientras que la acción aún estará habilitada sin que el receptor lea su contenido. Asumir una imparcialidad débil al recibir el mensaje implica que el receptor puede hacer otra cosa, pero que en algún momento recibirá el mensaje.
En términos de lógica temporal, esto es: FG habilitado (A) -> F A
A veces se usa esta fórmula: FG habilitado (A) -> GF A
Si hay algún punto desde el cual se habilita la acción, se aplicará.
Ahora, la justicia justa implica justicia débil, pero al revés no funciona.
La imparcialidad fuerte relaja la suposición de que la acción necesita ser continuamente habilitada para ser aplicada. En cambio, requiere que esté habilitado infinitamente (posible con intervalos donde no está habilitado).
- Cómo calcular el área debajo de y = cosx [0, pi / 2] en C
- ¿Cuáles son los motivos comunes entre la informática y la teoría de la música?
- Si quiero estar en análisis predictivo y no soy experto en matemáticas ni en programación, ¿cuál debo comenzar a perfeccionar primero y por qué?
- Cómo ser más competente en matemáticas por mi cuenta
- ¿Por qué SAS es mucho más rápido que R? Utilicé el código para encontrar los primeros k números primos en SAS y R para comparar su eficiencia, y los códigos son esencialmente los mismos, pero los resultados están fuera de mi mente.
Considerando el ejemplo anterior, supongamos ahora que el canal no es confiable, es decir, a veces pierde mensajes. Luego, el remitente envía el mensaje, y puede llegar o no al final del canal. Como el remitente no sabe si el mensaje se perdió, continúa enviando la misma copia de ese mensaje (por ejemplo, hasta recibir el acuse de recibo). Ahora, mientras el receptor está haciendo otras cosas, en algunos momentos el mensaje puede estar listo para ser leído, o puede borrarse, pero mientras se envíe el mensaje, habrá infinitos estados en los que el receptor podría leer su contenido. . Luego, suponiendo una fuerte imparcialidad, dice que si la acción de leer el contenido del mensaje está infinitamente habilitada, se hará.
En términos de lógica temporal, esto es: GF habilitado (A) -> F A
A veces se usa esta fórmula: GF habilitado (A) -> GF A
Tenga en cuenta que para una imparcialidad débil hemos escrito FG para la primera parte, mientras que para una imparcialidad fuerte hemos escrito G F.
FG dice que hay un punto en el futuro desde el cual la acción siempre estará habilitada, y GF dice que la acción se habilitará un número infinito de veces (pero no necesariamente continuamente).
Referencias: Introducción a TLA