Ho bisogno di aiuto per comprendere il seguente testo della sezione 4.2 su questo documento: Implementazione di servizi fault-tolerant utilizzando il State Machine Approccio: un tutorial
Dependent-Failures Output Optimization. If a client and a state machine replica run on the same processor, then even when Byzantine failures are possible, the client need not gather a majority of responses to its requests to the state machine. It can use the single response produced locally.
Se capisci correttamente, hai 2t + 1 repliche con una delle repliche con un client votante. Nel caso più semplice si ha t = 0 e quindi 1 replica con l'elettore del cliente sullo stesso processore. Ciò significa che, indipendentemente dalla correttezza della replica, l'output è la verità assoluta del cliente. Il caso che mi confonde è quando un t = 1 e hai 3 repliche. Diciamo che la replica locale al client con un votante è difettosa, quindi otteniamo qualcosa del genere:
Se la replica locale del client è difettosa e non raccoglie la maggior parte delle risposte, l'elettore voterà su un output errato. Cosa mi manca?