From 716890c9296d48d7866f22a2021b6c175c70daa2 Mon Sep 17 00:00:00 2001 From: Rodrigo Lazo Date: Fri, 18 Feb 2011 08:46:30 -0200 Subject: [PATCH] further fixes. --- mscMonografia.tex | 43 ++++++++++++++++++++----------------------- 1 file changed, 20 insertions(+), 23 deletions(-) diff --git a/mscMonografia.tex b/mscMonografia.tex index 1da60cc..5f3bf34 100644 --- a/mscMonografia.tex +++ b/mscMonografia.tex @@ -648,34 +648,31 @@ seguintes caraterísticas: não participem do sistema por um tempo limitado mas desconhecido, após o qual eles se \textit{recuperam} e voltam à atividade. \end{inparaenum} -As propriedades da comunicação pelo \textit{broadcast} uniforme -específicas deste modelo, que foram definidas na seção -\ref{sec:broadcast}, são: +As propriedades da comunicação pelo \textit{broadcast} uniforme, que +foram definidas na seção \ref{sec:broadcast}, que caracterizam o +modelo são: \begin{inparaenum}[\itshape a\upshape)] \item o grupo de processos é fechado e estático; \item a sequencia das mensagens é decidida por acordo dos - destinatários, utilizando o algoritmo de consenso Paxos; -\item a tolerância a falhas é fornecida pelo algoritmo de consenso e - os detetores de falhas. + destinatários, utilizando o algoritmo de consenso Paxos. \end{inparaenum} -Já que os processos podem cair e se recuperar, é necessário -estabelecer o método que vai-se utilizar. O \textit{broadcast} de ordem total -uniforme garante que ainda os processos com falhas vão receber todas -as mensagens no mesmo ordem. É possível, mas não prático, que o -sistema armazene todas as mensagens enviadas pelo \textit{broadcast} e, no caso -de falhas, as mensagens sejam entregues novamente pelo processo -recuperado. Portanto, cada nó vai armazenar \textit{checkpoints} de -seu estado atual de maneira persistente em períodos regulais. Não -precisasse utilizar protocolos de \textit{checkpoint} distribuídos -tais como os apresentados em~\cite{Chandy:1985:DSD:214451.214456, - Koo:1986:CRD:324493.325074} pela seguinte razão: a principal -motivação do uso dos algoritmos de \textit{checkpoint} distribuídos é -garantir a consistência dos estados armazenados através do sistema, -mas neste caso não precisasse, já que o \textit{broadcast} garanta a -consistência das mensagens entregues, e o algoritmo de consenso fornece -o mecanismo de atualização do estado recuperado até o estado atual do -sistema. +O mecanismo de tolerância a falhas do sistema é fornecido pelo +\textit{broadcast} de ordem total uniforme, o qual garante que ainda +os processos com falhas vão receber todas as mensagens no mesmo +ordem. É possível, porém não prático, que sejam armazenadas todas as +mensagens enviadas pelo \textit{broadcast} e, no caso de falhas, estas +sejam entregues novamente pelo processo recuperado. Portanto, cada nó +vai armazenar \textit{checkpoints} de seu estado atual de maneira +persistente em períodos regulais. Não precisasse utilizar protocolos +de \textit{checkpoint} distribuídos tais como os apresentados +em~\cite{Chandy:1985:DSD:214451.214456, Koo:1986:CRD:324493.325074} +pela seguinte razão: a principal motivação do uso dos algoritmos de +\textit{checkpoint} distribuídos é garantir a consistência dos estados +armazenados através do sistema, mas neste caso não precisasse, já que +o \textit{broadcast} garanta a consistência das mensagens entregues, e +o algoritmo de consenso fornece o mecanismo de atualização do estado +recuperado até o estado atual do sistema. \begin{table}[h] \centering -- 2.11.4.GIT