Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
Obě strany předchozí revize Předchozí verze | Následující verze Obě strany příští revize | ||
mgr-szz:in-pos:4-pos [2019/06/13 22:44] lachmanfrantisek detekce ukončení |
mgr-szz:in-pos:4-pos [2019/06/17 15:47] lachmanfrantisek |
||
---|---|---|---|
Řádek 396: | Řádek 396: | ||
<box 90% red|Problém volby vůdce> | <box 90% red|Problém volby vůdce> | ||
- | Každž výpočet podle volebního algoritmu ve skupině procesů DS musí v konečném čase končit konfigurací, ve které je jeden jediný uzel v roli vůdce. | + | Každý výpočet podle volebního algoritmu ve skupině procesů DS musí v konečném čase končit konfigurací, ve které je jeden jediný uzel v roli vůdce. |
Každý proces se během existence může nacházet ve třech stavech: | Každý proces se během existence může nacházet ve třech stavech: |