001026372
100  $a20120308                 y50      
101  $afre
2001 $aAccord byzantin dans les systèmes répartis$bressource électronique
210  $aUniversité de Béjaia - Abderrahmane Mira  : Département d'Informatique$cUniversité de Béjaia - Abderrahmane Mira $d24 avril 2008
215  $a73 f.$ctabl., fig.$d30 cm
328 1$bMagister$cInformatique$eDépartement d'Informatique , Université de Béjaia - Abderrahmane Mira $d24 avril 2008
330  $aFischer, Lynch et Paterson ont prouvé que les problèmes d’accord n’ont pas de solutions déterministes dans un système asynchrone si, au plus un seul processus est crashé. En effet, le crash des processus est un type de fautes inclus dans un autre type plus général appelé la panne byzantine où les processus se comportent d’une manière aléatoire; la même impossibilité de FLP est appliquée au consensus byzantin dans un système asynchrone. Une des solutions pour surmonter ce résultat d'impossibilité est l'utilisation des hypothèses temporelles. Dans ce travail nous présentons deux protocoles basés sur ce modèle ; le premier est un protocole indépendant du temps physique du système, il est basé sur une propriété comportementale du modèle d’échange de messages pour résoudre le consensus byzantin avec peu de canaux winnings (2t- .WC). Le deuxième protocole se base sur une combinaison d’hypothèses, celle qui utilise le temps physique et celle qui ne l’utilise pas. Ce protocole montre que les deux types d’hypothèses peuvent être combinés pour obtenir un protocole hybride du consensus byzantin profitant du mieux de tous les deux modèles (2t-[.WC, .bisource]).
337  $aBibliogr. f.69-73
610  $aSystème distribué : Byzantin : Algorithme distribué : Canal gagnant : Consensus byzantin*
700  $a Abderafik, Nezzar 
701  $aArray
801 0$aDZ$bCERIST PNST
901$ac
990  $a004M/68