Le consensus vectoriel: une nouvelle spécification du problème du consensus dans un modèle Byzantin
<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><!--Converted with LaTeX2HTML 97.1 (release) (July 13th, 1997) by Nikos Drakos (nikos@cbl.leeds.ac.uk), CBLU, University of Leeds * revised and updated by: Marcus Hennecke, Ross Moore, Herb Swan * with significant contributions from: Jens Lippman, Marek Rouchal, Martin Wilck and others --><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>
DS98b.ps
openaccess
87.51 KB
Postscript
81d901cf44a9a71bdb1953dcf1461471