appunti-steffo/9 - Algoritmi distribuiti/3 - Computazione distribuita/7 - Algoritmi affidabili/consenso sincrono deterministico bizantino.md

Problema per un [[sistema distribuito]] che restringe il [[consenso asincrono deterministico bizantino]].

## Definizione

Ad ogni [[entità]] viene fornito un [[9 - Algoritmi distribuiti/1 - Problemi algoritmici/parametro|input]], che usa per scegliere un valore da una [[enumerazione]].

Successivamente, deve accordarsi con almeno un certo numero di altre per selezionare un [[risultato|output]].

Tutte le [[entità]] non [[guasto|guaste]] devono:
- **principio di non-trivialità**
	- dato uno stesso [[9 - Algoritmi distribuiti/1 - Problemi algoritmici/parametro|input]], scegliere lo stesso valore
- **principio di accordo**
	- dare lo stesso [[risultato|output]]
- **principio di terminazione**
	- dare eventualmente un [[risultato|output]]

## [[restrizioni al modello dei sistemi distribuiti|Restrizioni]]

- **[[restrizione di comunicazione|Comunicazione]]**
	- [[dimensione dei messaggi illimitata]]
	- [[full-duplex]]
- **[[restrizione di affidabilità|Affidabilità]]**
	- [[affidabilità nulla]]
		- [[guasti ubiqui]]
		- [[guasti permanenti]]
		- [[guasti di esecuzione]]
			- [[guasti di esecuzione di crash]]
			- [[guasti di esecuzione di omissione]]
			- [[guasti di esecuzione bizantini]]
		- [[niente guasti di trasmissione]]
		- ***meno di $\frac{Entities}{3}$ guasti***
- **[[restrizione di topologia|Topologia]]**
	- [[grafo connesso]]
	- [[grafo completo]]
- **[[restrizione di tempo|Tempo]]**
	- ***[[ritardo di comunicazione limitato]]***
	- [[risveglio multiplo]]
		- ***[[risveglio contemporaneo]]***
	- [[terminazione locale]]

> [!Tip] 
> Credo che la restrizione sui guasti sia perchè con più di $\frac{Entities}{3}$ guasti sarebbe impossibile ottenere un [[quorum]], ma non sono sicurissimo.

## [[algoritmo|Algoritmi]]

- [[TellZero Byz]]