En la introducción de este documento Objetos compartidos eventualmente linealizables (PODC'10) , los autores han presentado la siguiente declaración sin referencias:
Sin embargo, la linealización se puede lograr si y solo si se puede resolver el consenso.
Aquí, la linealización es la propiedad de consistencia más fuerte conocida de los objetos compartidos, que se propone en el artículo Linealizabilidad: una condición de corrección para objetos concurrentes .
Me confundo acerca de la declaración anterior debido a los siguientes argumentos:
En el documento Compartiendo memoria de manera sólida en sistemas de transmisión de mensajes (JACM95) , sabemos que se puede lograr la linealización en el sistema de transmisión de mensajes asíncrono, al tiempo que tolera una minoría de fallas del proceso:
Cualquier algoritmo sin esperas basado en registros atómicos de múltiples lectores de un solo escritor puede emularse automáticamente en sistemas de paso de mensajes, siempre que al menos la mayoría de los procesadores no estén defectuosos y permanezcan conectados.
Por otro lado, el documento Imposibilidad de consenso distribuido con un proceso defectuoso (JACM85) ha demostrado el resultado imposible de consenso incluso con un solo bloqueo del proceso:
El problema del consenso involucra un sistema asíncrono de procesos, algunos de los cuales pueden no ser confiables. El problema es que los procesos confiables acuerden un valor binario. En este documento, se muestra que cada protocolo para este problema tiene la posibilidad de no terminación, incluso con un solo proceso defectuoso.
Por lo tanto, podemos llegar a la siguiente conclusión:
El consenso es más fuerte que la linealización?
¿Qué hay de malo en mis argumentos? ¿Hay algunas referencias directas para la conclusión de equivalencia ?