Le consensus vectoriel: une nouvelle spécification du problème du consensus dans un modèle Byzantin

Doudou, A.Schiper, A.2005-05-202005-05-202005-05-201998https://infoscience.epfl.ch/handle/20.500.14299/213750<HTML><HEAD><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1"><META NAME="description" CONTENT="Le consensus vectoriel : une nouvelle spécification du problème du consensus dans un modèle byzantin"><META NAME="keywords" CONTENT="main"><META NAME="resource-type" CONTENT="document"><META NAME="distribution" CONTENT="global"><META NAME="GENERATOR" CONTENT="Mozilla/4.05 [en] (X11; I; SunOS 5.6 sun4u) [Netscape]"><TITLE>Le consensus vectoriel : une nouvelle spécification du problème du consensus dans un modèle byzantin</TITLE><LINK REL="STYLESHEET" HREF="main.css"><LINK REL="next" HREF="node1.html"></HEAD><BODY TEXT="#000066" BGCOLOR="#FFFFFF" LINK="#0000EE" VLINK="#551A8B" ALINK="#FF0000"><HR WIDTH="100%"><CENTER><H1> Le consensus vectoriel : une nouvelle spécification du problème du consensus dans un modèle byzantin</H1></CENTER><CENTER><B>Assia Doudou    André Schiper</B></CENTER><CENTER><HR WIDTH="100%"></CENTER><DIV CLASS="ABSTRACT">Le concept de détecteur de défaillances a été défini par Chandra et Toueg afin de résoudre le problème du consensus dans un environnement asynchrone avec pannes franches. Dans ce travail, nous présentons une extension de ce concept afin de traiter des défaillances plus générales, dites défaillances byzantines. Nous discutons également les limitations de la spécification du consensus en présence de défaillances byzantines et proposons pour lever ces limitations la spécification d'un nouveau problème, appelé Consensus vectoriel. L'algorithme proposé pour résoudre le consensus vectoriel est un algorithme avec signature de messages. Il se base sur le paradigme du coordinateur tournant et sur celui du détecteur de défaillances. L'algorithme nécessite <IMG SRC="img1.gif" ALT="$\lceil (2n+1)/3\rceil$" BORDER=0 HEIGHT=31 WIDTH=91 ALIGN=CENTER> processus corrects et des canaux FIFO fiables.</DIV><BR>  <P><HR></BODY></HTML>Le consensus vectoriel: une nouvelle spécification du problème du consensus dans un modèle Byzantintext::conference output::conference proceedings::conference paper