XI Workshop de Testes e Tolerância a Falhas (WTF) - SBRC 2010

36 Anais
3.4. GossipTask
A rotina GossipTask é executada periodicamente, a cada GOSSIP INT ERV AL intervalos
de tempo. Ela é responsável pelo envio das mensagens de gossip aos outros
processos. A cada execução, a rotina primeiramente verifica se HBT able está vazia. Se
sim, não há nada a ser feito, pois nenhum outro processo é conhecido. No caso de existir
alguma entrada na tabela, F ANOUT processos são escolhidos aleatoriamente do conjunto
de processos conhecidos (ou menos, no caso de o número de entradas na HBT able
ser insuficiente). Uma mensagem de gossip é enviada para cada um dos processos selecionados.
A mensagem de gossip enviada é construída com as informações contidas na
HBT able. Para cada entrada na tabela, uma tupla é adicionada à mensagem.
Também é adicionada uma tupla com o ID e heartbeat do processo local. Após o
envio da mensagem, o processo incrementa seu valor local de heartbeat.
3.5. BroadcastTask
Para que os processos possam se encontrar inicialmente, e para que a saída do detector se
estabilize mais rapidamente em caso de um número alto de falhas simultâneas, a rotina
BroadcastTask é executada periodicamente. A cada execução, existe a chance de uma
mensagem de gossip do algoritmo ser enviada para todos os outros processos, através
de um mecanismo de difusão. A probabilidade da difusão ser efetuada é calculada com
base em parâmetros do algoritmo e no tempo de chegada da última mensagem de difusão
recebida. Esta probabilidade visa evitar difusões simultâneas e muito frequentes.
Para a implementação do algoritmo, o JXTA-FD utiliza a mesma
função de probabilidade proposta em [van Renesse et al. 1998], p(t) =
(t/BCAST MAX P ERIOD) BCAST F ACT OR , onde t é igual ao número de unidades
de tempo decorridas da última difusão recebida e BCAST MAX P ERIOD
e BCAST F ACT OR são parâmetros do algoritmo. A cada execução da rotina
BroadcastTask uma mensagem de gossip é enviada por difusão com probabilidade
p(t). Desse modo, o tempo médio entre o envio de difusões depende
diretamente da frequência de execução da rotina (controlada pelo parâmetro
BCAST T ASK INT ERV AL), do número de processos no sistema e dos parâmetros
do algoritmo. BCAST MAX P ERIOD é o intervalo máximo entre cada difusão, e
quando t se aproxima deste valor, a probabilidade p(t) tende a 1. BCAST F ACT OR
deve ser um valor real positivo, e determina o quão antes de BCAST MAX P ERIOD
as difusões tendem a ser enviadas. Quanto maior o valor de BCAST F ACT OR, mais
próxima do valor BCAST MAX P ERIOD fica a duração do intervalo esperado entre
as difusões.
Como exemplo, para os valores BCAST T ASK INT ERV AL de 1 unidade de
tempo, BCAST MAX P ERIOD de 20 unidades de tempo e um conjunto de 1000
processos, para se obter um intervalo de aproximadamente 10 unidades de tempo entre
uma difusão e a próxima, BCAST F ACT OR deve ser aproximadamente 10.43
[van Renesse et al. 1998].
3.6. CleanupTask
A rotina CleanupTask é responsável por remover entradas antigas da HBT able do processo
local. A cada CLEANUP INT ERV AL unidades de tempo, a tabela é percorrida
e entradas que não foram atualizadas a mais de REMOV E T IME unidades de