Aceptar con un número de serie más pequeño y la promesa con un número de serie más grande se pueden ejecutar al mismo tiempo, pero si la promesa tiene éxito primero, la aceptación debe fallar. La razón radica en el mecanismo de la súper mitad. Este punto es para probar el núcleo del protocolo poxas.
Un artículo excelente,
pero creo que su comprensión de la convergencia es incorrecta. El consenso del protocolo poxas significa que la mayoría de los nodos del clúster aceptan los mismos votos, pero solo la mayoría de los valores almacenados no son aceptables. Estos valores También pueden estar cubiertos por votos más altos y el consenso final no es este valor. Por lo tanto, el número no creciente de valores diferentes en el grupo no puede representar su convergencia.
Desde un nivel superior, la mayoría promete y la mayoría acepta el bloqueo previo y el bloqueo disfrazado. Para el prebloqueo, puede ser codificado por votos más altos La condición previa para el bloqueo es obtener el prebloqueo primero. El final es completar el primer bloqueo.
Desde este punto de vista, el protocolo poxas puede provocar un bloqueo activo debido a la discordia entre el bloqueo previo repetido y el bloqueo real. Puede comparar varios subprocesos con el mismo mutex mediante el bloqueo previo y luego el bloqueo, lo que da como resultado un bloqueo en vivo.