UNIVERSIDADE FEDERAL DA GRANDE DOURADOS

CAUAN GARCIA LEO KASPER

PLUGIN FRAMEWORK PARA VISUALIZAO DO

COMPORTAMENTO DE PROTOCOLOS DE
CHECKPOINTING

DOURADOS-MS
2014

CAUAN GARCIA LEO KASPER

PLUGIN FRAMEWORK PARA VISUALIZAO DO

COMPORTAMENTO DE PROTOCOLOS DE
CHECKPOINTING

Trabalho de Concluso de Curso de graduao

apresentado para obteno do ttulo de Bacharel
em Sistemas de Informao.
Faculdade de Cincias Exatas e Tecnologia
Universidade Federal da Grande Dourados
Orientador: Prof. M.Sc. Rodrigo Porfrio da Silva Sacchi

Dados Internacionais de Catalogao na Publicao (CIP)

Biblioteca Central da UFGD, Dourados, MS, Brasil
K192p

Kasper, Cauan Garcia Leo.

Plugin
framework
para
visualizao
do
comportamento de protocolos de checkpointing / Cauan
Garcia Leo Kasper Dourados-MS : UFGD, 2014.
46 f.
Orientador: Prof. Me. Rodrigo Porfrio da Silva
Sacchi.
Trabalho de concluso de curso (Graduando em
Sistemas de Informao) Universidade Federal da
Grande Dourados.

1. Plugin framework. 2. Protocolo de checkpointing.

I. Sacchi, Rodrigo Porfrio da Silva. II. Ttulo.
CDD: 004
Responsvel: Vagner Almeida dos Santos. Bibliotecrio - CRB.1/2620

CAUAN GARCIA LEO KASPER

PLUGIN FRAMEWORK PARA VISUALIZAO DO

COMPORTAMENTO DE PROTOCOLOS DE
CHECKPOINTING

Trabalho de Concluso de Curso aprovado como requisito parcial para

obteno do ttulo de Bacharel em Sistemas de Informao na Universidade
Federal da Grande Dourados, pela comisso formada por:

Orientador:

P rof .

Me. Rodrigo Porfrio da Silva Sacchi

FACET-UFGD

P rof .

Dr. Wellington Lima dos Santos

FACET-UFGD

P rof a .

Ma. Carla Adriana Barvinski

FACET-UFGD

Dourados, 19 de Fevereiro de 2014.

Resumo
Este trabalho tem como objetivo o desenvolvimento de um Plugin Framework que permite visualizar histricos de comunicao e de checkpoints vindos de aplicaes distribudas para analisar
protocolos de checkpointing. Para tanto, ele apresenta conceitos sobre o comportamento de protocolos de checkpointing e sobre o simulador

ChkSim,

ambos necessrios para a implementao

do plugin framework. A visualizao destes histricos facilitar o entendimento de protocolos

implementados no

ChkSim

atravs de diagramas espao-tempo. O plugin framework proposto

desenvolvido usando a linguagem de programao

Java

e um conjunto de suas API s grcas,

que inclui a manipulao de ferramentas grcas disponibilizadas. Alm disso, o plugin fra-

mework traz a oportunidade de exportar seus resultados grcos para arquivos no formato SVG
(Scalable Vector Graphics ), de modo que essas imagens sejam analisadas em qualquer ambiente
computacional com suporte a este tipo de arquivo.

Palavras-chave: Protocolos de Checkpointing, ChkSim, Diagramas Espao-Tempo

Sumrio
1 Introduo

1.1

Objetivos Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

11

1.2

Objetivos Especcos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

11

1.3

Metodologia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

12

1.4

Cronograma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

12

1.5

Estrutura do Texto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

14

Checkpointing

15

2.1

Modelo Computacional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

15

2.1.1

Eventos de comunicao . . . . . . . . . . . . . . . . . . . . . . . . . . . .

15

2.1.2

Eventos internos: Checkpoints . . . . . . . . . . . . . . . . . . . . . . . . .

16

Checkpoints Globais Consistentes . . . . . . . . . . . . . . . . . . . . . . . . . . .

17

2.2.1

Precdencia causal e Ordenao de Eventos . . . . . . . . . . . . . . . . .

17

2.2.2

Cortes Consistentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

18

2.2.3

Consistncia Entre Checkpoints . . . . . . . . . . . . . . . . . . . . . . . .

19

2.2.4

ZigZag Paths e Z-Cycles . . . . . . . . . . . . . . . . . . . . . . . . . . . .

20

Abordagens Para Checkpointing . . . . . . . . . . . . . . . . . . . . . . . . . . . .

21

2.3.1

21

2.2

2.3

Sncrona . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

SUMRIO

2.3.2

Assncrona . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

22

2.3.3

Quase-sncrona . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

23

3 ChkSim

26

3.1

Arquitetura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

26

3.2

Gerador de Cargas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

27

3.3

Wrapper . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

28

3.4

O Plugin Framework proposto . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

29

4 Resultados

34

4.1

Resultados Obtidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

34

4.2

Comparao com a ferramenta

. . . . . . . . . . . . . . . . . . . . . . . . .

41

Vantagens e Desvantagens em comparao ao Lupa . . . . . . . . . . . . .

42

4.2.1

Lupa

5 Consideraes Finais

43

5.1

Concluses

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

43

5.2

Diculdades Encontradas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

44

5.3

Trabalhos Futuros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

44

Captulo 1

Introduo
A computao distribuda formada por um conjunto de n processos {P0 ...Pn1 } que executam
eventos e se comunicam atravs da troca de mensagens. Neste modelo de sistema no existem
estruturas denidas para a execuo de tarefas usando o compartilhamento de memria, acesso
e sincronizao de relgios bem como informaes referentes diferena de velocidade entre
os processos, com isto a utilizao de comunicao atravs de mensagens se torna essencial
para o funcionamento da aplicao. Esta comunicao realizada basicamente utilizando canais
unidirecionais entre dois processos e todos os processos comunicam entre si diretamente ou atravs
de processos intermedirios. A computao distribuda representada atravs de diagramas de
espao-tempo, como representado na Figura 1.1. Esta Figura contm quatro processos (P0 , P1 ,

P2 e P3 ), em que setas na horizontal representam o tempo decorrido da execuo da aplicao

distribuda em cada processo e as demais setas representam a troca de mensagens entre os
processos.

Figura 1.1: Diagrama espao-tempo entre os processos e as mensagens.

9
Para garantir que as mensagens sejam enviadas e recebidas de acordo com a relao causal
denida por Lamport (4), necessria a criao de pontos de recuperao durante a execuo
da aplicao distribuda. Estes pontos de recuperao so denominados checkpoints e podem
ser apresentados gracamente como na Figura 1.2. Nesta Figura, checkpoints so representados
por pequenos quadrados preenchidos em um diagrama espao-tempo, na qual cada checkpoint cji
corresponde ao j-simo checkpoint do processo Pi .

Figura 1.2: Checkpoints em uma aplicao distribuda.

Em uma aplicao distribuda, podem ocorrer dois tipos de checkpoints, aqueles denominados checkpoints bsicos, normalmente instrumentados manualmente em uma aplicao, principalmente por seu desenvolvedor, ou automaticamente inseridos na aplicao, por exemplo atravs
de tcnicas de compilao (13). Enquanto que checkpoints forados so retirados utilizando heursticas para garantir a consistncia da aplicao e entre checkpoints. A tcnica da retirada de

checkpoints chamada de checkpointing. A ilustrao de checkpoints forados em processos

apresentada na Figura 1.3.

Figura 1.3: Exemplo de checkpoints forados em uma aplicao.

Este trabalho visa o desenvolvimento de um plugin framework para permitir a visualizao
grca de diagramas espao-tempo contendo ilustraes de mensagens trocadas entre os processos e de checkpoints retirados nesses processos, com ou sem o uso de protocolos de checkpointing.
Nesse caso, o perl do usurio deve ser de algum j habituado com conceitos de protocolos de

checkpointing para que ele seja capaz de entender o comportamento de protocolos de checkpointing de interesse atravs dos padres de comunicao e de checkpointing gerados pelos protocolos

10
e apresentados como diagramas espao-tempo no plugin framework.
Uma ferramenta semelhante que props-se a desenvolver, o Projeto Lupa (10). Ele um

Framework de demonstrao grca de aplicaes em sistemas distribudos que proporciona ao

usurio a visualizao de um ambiente distribudo atravs de diagramas de espao-tempo compostos pelas sequncias de eventos de comunicao e de checkpoints. A Figura 1.4 um screenshot
retirado do

Lupa

referente a visualizao de diagramas para a comparao de checkpoints.

Figura 1.4: Dois diagramas visualizados para permitir comparao.

A principal desvantagem do Lupa a obrigatoriedade de que uma aplicao distribuda utilize mtodos disponibilizados na camada de checkpointing implementados no

Lupa,

exigindo que

o programador insira grande quantidade de cdigo especco na aplicao j existente, tornandoa dependente de uma linguagem de programao, da plataforma e das prprias caractersticas
do

Lupa.

Usando a execuo do

ChkSim,

uma ferramenta porttil para simular a execuo de

algoritmos checkpointing em aplicaes distribudas, (19) para cada protocolo, possvel evitar
essa insero de cdigo adicional, pois a criao do diagrama espao-tempo estar relacionada
somente execuo do
Alm disso, o

ChkSim.

Lupa

mentados em relao ao

possui um nmero reduzido de protocolos de checkpointing imple-

ChkSim.

Por exemplo, os protocolos de checkpointing RDT-Minimal

(5), Lazy-HMNR (17), FINE (7) e alguns protocolos do tipo NBS (Sncronos no-bloqueantes)
(15, 16) j esto implementados no

ChkSim,

o que reduz uma quantidade de trabalho para de-

senvolver o plugin framework proposto, agregando implementaes mnimas relacionadas aos

protocolos de checkpointing (insero, se necessrio, de implementaes de outros protocolos no
ChkSim).

1.1. Objetivos Gerais

11

Com a nalidade de dar incio criao de um grupo de pesquisa na rea de Computao Paralela e Distrubuda na Faculdade de Cincias Exatas e Tecnologias, o trabalho proposto
traz como primeira contribuio o desenvolvimento de um plugin framework para a visualizao
do comportamento de protocolos de checkpointing. Essa visualizao ser possvel atravs de
histricos obtidos de execues de aplicaes executadas em ambientes distribudos, independentemente da plataforma e linguagem e programao, conjuntamente com simulaes usando o
ChkSim.

1.1 Objetivos Gerais

O objetivo deste trabalho o desenvolvimento de um plugin framework para auxiliar na visualizao de padres de comunicao e de checkpoints, obtidos atravs de histricos da execuo de
aplicaes distribudas que usam tcnicas de troca de mensagens, independentemente da plataforma e linguagem de programao usada. O desenvolvimento deste plugin framework, alm da
visualizao do padro de comunicao e de checkpoints, facilita uma anlise mais detalhada do
comportamento dos protocolos de checkpointing em diferentes aplicaes.

1.2 Objetivos Especcos

Para alcanar o objetivo geral, os seguintes objetivos especcos so necessrios:
1. Selecionar tcnicas de programao para representar gracamente o padro de comunicao
e de checkpoints ;
2. Estudar os conceitos de checkpointing e o conjunto de protocolos de checkpointing das
classes ZPF e ZCF j implementados no

ChkSim;

3. Estudar e analisar a necessidade de implementar novos protocolos de checkpointing no

ChkSim,

se necessrio;

4. Redigir o texto do Projeto de Trabalho de Concluso de Curso 1, incluindo toda a fundamentao terica necessria para o desenvolvimento do trabalho proposto;
5. Apresentar, para uma pr-banca, o Projeto de Trabalho de Concluso de Curso 1;
6. Desenvolver o Plugin Framework propriamente dito;
7. Validar o Plugin Framework proposto comparando-o com o

Lupa;

1.3. Metodologia

12

8. Analisar um subconjunto de protocolos de checkpointing existentes, com base nas visualizaes geradas pelo Plugin Framework proposto;
9. Redigir o texto do Projeto de Trabalho de Concluso de Curso 2, incluindo anlise e
resultados obtidos;
10. Apresentar, para uma banca nal, o o Projeto de Trabalho de Concluso de Curso 2;
11. Entregar a verso nal do Trabalho de Concluso de Curso 2 para a coordenao do Curso.

1.3 Metodologia
No desenvolvimento deste projeto, um ou mais computadores do laboratrio deveria conter sistema operacional Linux, com navegador adequado, IDE NetBeans ltima verso, editores de texto
e interpretador para a linguagem de programao

Java,

necessrios para o ambiente de progra-

mao, alm do acesso recursos disponibilizados online, via Internet. Para garantir a sintonia
entre as tarefas houve reunies peridicas com o orientador.
Utilizou-se um laboratrio de informtica da Faculdade de Cincias Exatas e Tecnologias
para implementar o Plugin Framework proposto. Ele foi desenvolvido usando a linguagem

Java,

com pacotes que suportem ambiente grco para representar o padro de comunicao e de

checkpoint. Este plugin framework tambm suportou a gerao de arquivos SVG (Scalable Vectorial Graphics ) atravs dos diagramas espao-tempo criados. Alm disso, ele usou o ChkSim para
obter os histricos desses padres. O ChkSim um simulador de protocolos de checkpointing
(19), no qual recebe como entrada um histrico de comunicao e de checkpoints, podendo este
histrico vir de uma determinada aplicao distribuda executada com o
gerador de carga de trabalho do prprio

chkmpi

ou atravs do

ChkSim.

Utilizou-se os resultados dos histricos gerados pelo

ChkSim

para executar o plugin fra-

mework proposto e criar os grcos dos padres de comunicao e de checkpoints com ele. Com
isso, foi possvel realizar uma validao parcial. Para complementar esta validao, comparou-se
o comportamento deste plugin framework com o do do ambiente

Lupa,

identicando as funcio-

nalidades de cada um deles e as principais diferenas, incluindo vantagens e desvantagens.

1.4 Cronograma
As etapas para a concluso do trabalho proposto, referentes ao Trabalho de Concluso de Curso,
esto relacionadas numericamente com os objetivos especcos do trabalho e seu cronograma de

1.4. Cronograma

13

execuo apresentado na Tabela 1.1.

Tabela 1.1: Cronograma de Execuo.
Atividade
1
2
3
4
5
6
7
8
9
10
11

2013
2014
Maio Junho Julho Agosto Setembro Outubro Novembro Dezembro Fevereiro Maro

















1.5. Estrutura do Texto

14

1.5 Estrutura do Texto

Este trabalho de concluso de curso formado por conceitos na rea de computao distribuda
no que diz respeito a manipulao de protocolos para obter checkpoints globais consistentes em
aplicaes distribudas. A descrio das abordagens de checkpointing e seus protocolos so apresentadas em baixo nvel para uma melhor compreenso do assunto, principalmente porque esses
conceitos sero utilizados na implementao do plugin framework proposto. No Captulo 1 apresentada uma sucinta introduo sobre a computao distribuda e checkpoiting e apresentados
os objetivos do trabalho e a metodologia para a implementao do plugin framework.
O Captulo 2 descreve, em detalhes, os conceitos e denies bsicas sobre checkpointing,
com exemplos atravs de diagramas espaco-tempo. Ao nal deste Captulo as abordagens para

checkpointing e seus protocolos so apresentados resumidamente devido ao elevado nmero de

protocolos existentes, sendo dispendioso explic-los detalhadamente, isto porque o plugin framework proposto no alterar aqueles j implementados no ChkSim.
O Captulo 3 apresenta o simulador de protocolos de checkpointing denominado

ChkSim,

que ser usado para obter informaes para permitir a visualizao de histricos no plugin fra-

mework. A sua arquitetura descrita brevemente e apresentado o seu gerador de cargas,

responsvel por capturar informaes externas que sero inseridas no

ChkSim.

Finalmente, este

Captulo tambm apresenta um Wrapper do ChkSim, responsvel por gerar resultados comparativos entre protocolos. Finalmente neste Captulo apresentado o plugin framework desenvolvido,
o seu funcionamento e interface grca, alm de listar os requisitos funcionais e o casos de usos
elaborados para o desenvolvimento da ferramenta.
O Captulo 4 apresenta os resultados obtidos atravs da execuo da ferramenta desenvolvida, comparando os protocolos de checkpointing atravs das representaes grcas geradas
pelo plugin framework. Este captulo tambm apresenta as comparaes da ferramenta proposta e com a ferramenta

Lupa,

descreve as suas funcionalidades e interfaces grcas das duas

ferramentas e determina as vantagens e desvantagens do plugin framework em relao ao

Lupa.

O Captulo 5 apresenta as concluses deste Trabalho de Concluso de Curso citando os

resultados obtidos atravs da ferramenta desenvolvida e a utilidade desta ferramenta para a
rea da Tecnologia da Informao. Neste captulo so apresentadas as diculdades encontradas
para a redao do texto e implementao da ferramenta. Alm disto, este captulo apresenta
a idealizao para os trabalhos futuros, como a atualizao para um nova verso com mais
funcionalidades.

Captulo 2

Checkpointing
Este Captulo traz uma condensao sobre conceitos fundamentais de checkpointing e apresenta
uma sucinta reviso sobre suas abordagens. Na Seo 2.1 apresenta-se o modelo computacional
considerado, bem como denies de eventos, checkpoints e intervalos entre checkpoints. Na Seo 2.2 descreve-se noes necessrias para introduzirmos o conceito de consistncia global entre

checkpoints, tais como precedncia causal, cortes, consistncia entre um conjunto de checkpoints
e zigzag paths e z-cycles. Na Seo 2.3 apresenta-se uma classicao clssica para esses algoritmos de checkpointing, considerando a sincronia ou no, dentro de trs categorias: sncronos,
assncronos e quase-sncronos.

2.1 Modelo Computacional

Uma aplicao distribuda composta por um conjunto de n processos que se comunicam entre
si, somente atravs da troca de mensagens, com o objetivo de realizar uma determinada ao.
Um processo constitudo de uma sequncia de eventos no qual eji representa o j -simo evento
executado no processo Pi . Os eventos so divididos em dois formatos, os eventos de comunicao,
responsveis pelo envio e recebimento de mensagem entre os processos e os eventos internos que,
para nossos propsitos, consideraremos apenas checkpoints.

2.1.1

Eventos de comunicao

Os eventos de comunicao so encarregados de realizar a comunicao entre os processos atravs

da troca de mensagem. Uma mensagem denotada como mx , em que x o nmero da mensagem
de envio ou recebimento. Na Figura 2.1 apresentado um diagrama espao-tempo contendo dois

2.1. Modelo Computacional

16

processos (P0 e P1 ), seus respectivos eventos (e00 , e10 , e20 e e01 , e11 , e21 ) e a mensagem m1 enviada
pelo evento e10 e recebida pelo evento e11 .

Figura 2.1: Representao dos eventos de comunicao e troca de mensagem.

2.1.2

Eventos internos: Checkpoints

Os eventos internos so formados apenas por checkpoints locais contendo atributos referentes ao
estado do processo. O checkpoint cki denota o k -simo checkpoint do processo Pi . Os processos
realizam a retirada de um checkpoint primrio aps o inicio da execuo e outro checkpoint
antes do encerramento da aplicao. A Denio 1 apresenta a condio de existncia de um
determinado checkpoint.

Denio 1. Um checkpoint cki corresponde ao evento eki 0 tal que, k k0 .

Na Figura 2.2 os estados salvos dos processos P0 e P1 so representados respectivamente
atravs dos checkpoints (c00 , c10 , c20 e c01 , c11 , c21 ).

Figura 2.2: Apresentao de checkpoints em uma aplicao distribuida.

Um intervalo entre checkpoints Iik constitudo de um conjunto de eventos entre dois

checkpoints do processo Pi , este intervalo pode ser rotulado de duas maneiras, rotulado esquerda
em que Iik representa o intervalo entre os checkpoints cki e ck+1
e rotulado direita, no qual o
i
k1
k
k
e ci . Na Figura 2.3 apresentado o intervalo I01
intervalo Ii corresponde aos checkpoints ci
com rotulao esquerda entre os checkpoints c10 e c20 e o intervalo I11 com rotulao direita
entre os checkpoints c11 e c01 .

2.2. Checkpoints Globais Consistentes

17

Figura 2.3: Intervalo entre checkpoints e suas rotulaes.

2.2

Checkpoints Globais Consistentes

Um checkpoint global composto selecionando um checkpoint de cada processo da aplicao.

Para determinar se um checkpoint global consistente, necessrio analisar a precedncia causal
entre esses checkpoints selecionados e vericar se eles so concorrentes. Nesta Seo conceitua-se
a relao de precedncia causal, deni-se checkpoints global e quando um conjunto de check-

points pode formar uma linha de recuperao na computao distribuda, introduzindo cortes e
a consistncia entre checkpoints.

2.2.1

Precdencia causal e Ordenao de Eventos

A ordenao parcial dos eventos de uma aplicao distribuda necessria para garantir a consistncia da aplicao, que est interligada ao conceito de precedncia causal proposto por Lamport
(4). A caracterizao de um determinado checkpoint global consistente est fortemente conectada a contextualizao de precedncia causal. A Denio 2 expressa a condio de causalidade
entre eventos. Os eventos e e e0 so concorrentes (e k e0 ), se no existir precedncia entre eles

(e 9 e0 e e0 9 e).

Denio 2. Um evento ea precede um evento eb

(ea eb ) se

i.) a = b e = + 1, ou
ii.) existe uma mensagem m que foi enviada em ea e recebida em eb , ou
iii.) existe um evento ec tal que ea ec ec eb
Neste trabalho usa-se o conceito e a detonao de precedncia causal para representar

causalidade entre checkpoints. Desta forma a precedncia entre os checkpoints (c

a cb ) existe

somente se o evento e
a preceder o evento eb . Estes eventos reproduzem estados do processo que,

quando armazenados, so denominados de checkpoints c

a e cb , ou seja:

2.2. Checkpoints Globais Consistentes

18

ea eb ca cb
Na Figura 2.4 possvel legitimar a Denio 2 em que a condio i representada pela
precedncia entre os checkpoints c00 c10 , a condio ii valida a precedncia entre os eventos
de comunicao e10 e21 devido ao envio da mensagem m1 entre eles, esta causalidade tambm
comprova a condio iii onde o evento e21 precede o evento e31 , resultando na relao e10 e21 e21

e31 que consequentemente dene a existncia da precedencia e10 e31 .

Figura 2.4: Precedncia causal.

2.2.2

Cortes Consistentes

Um corte formado por um subconjunto de eventos locais executados por cada um dos processos
da aplicao. Um corte representado por um conjunto de n nmeros naturais {x0 , x1 , . . . , xn1 }.
Os ltimos eventos de cada processo pertencentes a um corte so denominados de fronteira de
x

n1
corte descritos na seguinte forma {ex0 0 , ex1 1 , . . . , en1
} ou seja, todos os eventos esquerda da

fronteira de corte constituem o conjunto de um corte. A consistncia de um corte C determinada

aplicando a Denio 3 de causalidade entre quaisquer dois eventos pertencentes ao corte.

Denio 3. Um corte C consistente, para quaisquer dois eventos e e e0 se, e somente se,
(e C) (e0 e) e0 C
Na Figura 2.5 existem dois cortes C e I , em que o corte C , representado por um linha
preenchida, consistente, pois h relaes de precedncia e00 e01 , e01 e11 e e11 e02 e as
mensagens m1 e m2 so enviadas e recebidas dentro do limite do corte. Contudo, o corte I ,
representado pela linha tracejada, inconsistente, porque o evento e10 no precede o evento e12 ,
alm disso a mensagem m3 est sendo enviada fora do limite do corte corte e recebida dentro do
corte I .

2.2. Checkpoints Globais Consistentes

19

Figura 2.5: Cortes em uma aplicao distribuida.

2.2.3

Consistncia Entre Checkpoints

A consistncia entre checkpoints est relacionada com a precedncia causal de Lamport. Para
determinar essa consistncia, necessria a identicao de um checkpoint global, ou seja, a seleo de um checkpoint de cada processo da computao, que obedea a denio de um checkpoint
global consistente. Um checkpoint global () formado por um conjunto de l checkpoints locais,
sendo um checkpoint de cada n processo da aplicao.

Denio 4. Um checkpoint global = {cl00 , . . . , cl1

n1 } consistente se, e somente se,
lj
i, j : 0 i, j < n : cli
i 9 cj

Atravs da denio 4 possvel dizer que um checkpoint global consistente formado

por checkpoints concorrentes entre si (c k c0 ) e representa a fronteira de um corte consistente.
Na Figura 2.6 demonstrado um corte consistente C , onde a fronteira deste corte formada
pelos checkpoints concorrentes (c10 k c11 k c12 ), estes checkpoints correspondem ao um conjunto
de checkpoint global consistente = {c10 , c11 , c12 }. O corte I inconsistente devido a relao de
precedncia entre os eventos de comunicao e e e0 , esta relao implica que o checkpoint c10
precede o checkpoint c22 (c10 c22 ), resultando na no concorrncia entre estes checkpoints.

Figura 2.6: Corte consistente envolvendo checkpoints.

2.2. Checkpoints Globais Consistentes

2.2.4

20

ZigZag Paths e Z-Cycles

O conceito de zigzag paths (z-path) denido por Netzer e Xu (11) est relacionado anlise
das sequncias de mensagens entre um conjunto de checkpoints, esta analise est baseada na
Denio 5.

Denio 5. Uma sequncia de mensagens

liga um checkpoint

ca

a um checkpoint

cb

m1 , m2 , . . . , mk uma z-path[m1 , m2 , . . . , mk ] que

se, e somente se:

i.) a mensagem m1 enviada por Pa aps ca e

ii.) a mensagem mx , (x < k), recebida pelo mesmo processo que envia mx+1 , mas mx+1 no
pode ser enviada em um intervalo anterior ao que mx foi recebida, e
iii.) mk recebida por Pb antes de cb
Netzer e Xu (11) determinaram que um conjunto de checkpoints forma algum checkpoint
global consistente se, e somente se, no existir uma z-path entre quaisquer dois checkpoints deste
conjunto.
Existem dois tipos de z-path : causais e no causais. Uma z-path causal caso a recepo de
qualquer mensagem mx , seja realizada antes do envio da mensagem mx+1 . Na Figura 2.7 contm
uma z -path [m1 , m2 ] causal que interliga os checkpoints c00 e c12 , pois a recepo da mensagem

m1 ocorre antes do envio da mensagem m2 .

Figura 2.7: Z-path Path Causal.

Uma z-path no causal caso a recepo de qualquer mensagem mx seja realizada aps o
envio de mx+1 . Na Figura 2.8 contm uma z-path [m1 , m2 ] no causal que conecta os checkpoints

c00 e c12 , porqu a mensagem m2 enviada antes da recepo da mensagem m1 .

2.3. Abordagens Para

Checkpointing

21

Figura 2.8: Z-path No Causal.

Uma z-path no causal entre dois checkpoints (c

a e cb ) est duplicada causalmente se,

e somente se, existir uma z-path causal neste mesmo intervalo de checkpoints. Esta condio

implica na precdencia causal (c

a cb ).

Uma z-path pode interligar um checkpoint a ele prprio, este checkpoint considerado um

checkpoint intil e no pertence a um checkpoint global consistente, quando isto ocorre, temos
uma zigzag cycle ou (z-cycle). Na Figura 2.9 ilustrado uma z-cycle [m1 , m2 , m3 ] que conecta
o checkpoint c12 a si mesmo, este checkpoint considerado intil devido existencia de uma zpath [m1 , m2 ] que interliga os checkpoints c00 e c12 e uma z-path [m3 ] que conecta os checkpoints c12
e c10 , estas z-paths estabelecem que o checkpoint c12 no pertenca um checkpoint global consistente
formado pelos os checkpoints c00 e c10 resultando em um checkpoint c12 intil para a aplicacao.

Figura 2.9: Z-Cycle.

2.3 Abordagens Para Checkpointing

Existem trs abordagens para efetuar checkpointings (18): sncrona, assncrona e a quasesncrona, com o objetivo principal de criar checkpoints globais consistentes em uma aplicao.

2.3.1

Sncrona

Esta abordagem suspende a execuo da aplicao para que cada um dos processos da computao retirem um checkpoint global. Esta suspenso realizada interrompendo o uxo de mensagens

2.3. Abordagens Para

Checkpointing

22

entre os processos e enviando mensagens de requisio para que os processos da computao selecionem seus checkpoints. A aplicao voltar a ser executada aps o recebimento das mensagens
de conrmao da retirada dos checkpoints de outros processos.
Os checkpoints locais retirados, formam um checkpoint global consistente. Neste mtodo
os checkpoints globais consistentes so determinados instantaneamente, porm o custo da interrupo da execuo da aplicao uma desvantagem, isto porque esta interrupo pode ser
ocasionada por apenas um processo da aplicao, caso este processo tenha um checkpoint relevante.
Na Figura 2.10 a abordagem sncrona est sendo representada os mtodos para a seleo
de checkpoints e a formao do checkpoint global consistente = {c10 , c11 , c12 }. Estes mtodos
so realizados aps a retirada do checkpoint c11 , no qual mensagens de requisio para a retirada
de checkpoints so enviadas para os processos P0 e P2 e aps o recebimento desta mensagens
os processos executam a retirada dos checkpoints locais c10 e c12 e enviam mensagens de conrmao deste armazenamento de checkpoints para o processo P1 . As mensagens de requisio e
conrmao da retirada de checkpoints so denominadas de mensagens de controle e esto sendo
representadas por retas tracejadas.

Figura 2.10: Abordagem sncrona.

2.3.2

Assncrona

A abordagem assncrona no determina restries para a retirada de checkpoints, cada processo

da aplicao possui autonomia para a seleo de checkpoints relevantes. Os checkpoints que
no formarem um checkpoint global consistente so considerados checkpoints inteis. Nesta
abordagem no existem garantias da constituio de um checkpoint global consistente atravs dos

checkpoints selecionados em cada processo e a aplicao pode retornar ao incio da computao

em caso de falha, esta situao conhecida como efeito domin (12).
Na Figura 2.11 ilustrado um checkpoint global consistente = {c00 , c01 , c12 } e um checkpoint

2.3. Abordagens Para

Checkpointing

23

inutil c02 , pois este checkpoint no faz parte de um checkpoint global consistente. Alm disso na
Figura 2.11 exemplicado o cenrio de efeito domin, no qual em caso de a falha nos processos P0
e P1 , a aplicao dever retroceder ao inicio da computao, pois os checkpoints destes processos
que formam o checkpoint global consistente (), so considerados como checkpoints inicias dos
processos.

Figura 2.11: Abordagem assncrona.

2.3.3

Quase-sncrona

A abordagem quase-sncrona (8) a combinao das abordagens sncrona e assncrona, na qual a

seleo de checkpoints forados est associada a padres de checkpointing que utiliza protocolos
baseados na anlise das trocas de mensagens da aplicao. Um checkpoint global consistente nesta
abordagem formado selecionando checkpoints bsicos e forados da computao. Os processos
da aplicao dispem da liberdade de escolher de seus checkpoints, porm devem garantir a
determinao de um checkpoint global consistente.
Na Figura 2.12 representada uma abordagem quase-sncrona para a determinao do um

checkpoint global consistente = {c10 , c11 , c12 } , no qual este checkpoint global consistente formado
pelos checkpoins bsicos (c10 e c12 ) e pelo checkpoint forado c11 .

Figura 2.12: Abordagem Quase-sncrona.

Os padres de checkpointing na abordagem quase-sncrona so divididos em quatros classes
de protocolos: Strictly Z-Path Free (SZPF), Z-Path Free (ZPF), Z-Cycle Free (ZCF) e Partially

2.3. Abordagens Para

Checkpointing

24

Z-Cycle Free (PZCF), que no ser explorado neste trabalho por no garantir a constituio de
checkpoints globais consistentes. Estes protocolos levam em considerao os conceitos de z-paths e
z-cycles descritos na Seo 2.2.4 para gerar checkpoints globais consistentes. Os protocolos SZPF
garantem que a aplicao esteja livre de z-path no causais entre checkpoints e utilizam rastreadores de dependncia baseados nas propriedades de Rollback-Dependency Trackability (RDT)
(2) que tambm utilizado nos protocolos ZPF. Esses protocolos diferem dos protocolos SZPF
por permitir a existncia de z-paths no cauais, porm estas z-paths devem estar duplicadas causalmente. Os protocolos ZCF impedem apenas a existncia de z-cycles, enquanto os protocolos
PZCF no garantem a ausncia total de checkpoints inteis e so considerados simplicaes dos
protocolos ZPF e ZCF. Esta hierarquia entre estes protocolos na representada na Figura 2.13.

Figura 2.13: Classes de protocolos quase-sncronos.

Strictly Z-Path Free (SZPF)

Os protocolos SZPF permitem apenas a existncia z-paths causais. A retirada de checkpoints

forados neste padro est baseada na garantia de precedncia entre os eventos de comunicao
de um determinado intervalo entre checkpoints. Alm disso, estes protocolos asseguram ausncia de checkpoints inteis e possibilita o rastreamento de dependncias atravs de vetores de
dependncia ou vetores de relgios. Estes protocolos so especicados com base no Modelo Mark-

Receive-Send proposto por Russell (14) em 1980. Na Figura 2.14 o Modelo Mark-Receive-Send
ilustrado no processo Pi .

Figura 2.14: Modelo Mark-Receive-Send.

2.3. Abordagens Para

Checkpointing

25

Z-Path Free (ZPF)

Os protocolos ZPF permitem a existncia de z-paths causais e z-paths no causais, desde que
estas z-paths no causais estejam duplicadas causalmente. Neste padro a retirada de um check-

point forado ocorre antes da recepo de uma mensagem m, duplicando causalmente as z-paths
no causais existentes. Na Figura 2.15 ilustrado o comportamento do protocolo FDI (FixedDependency-Interval) (21), em que os checkpoints forados c11 e c10 so retirados respectivamente
antes da recepo da mensagens m1 e m2 . A z-path [m3 , m2 ] no causal est duplicada causalmente pela z-path [m1 , m2 ] causal.

Figura 2.15: Z-Path Free (ZPF) - FDI.

Z-Cycle Free (ZCF).

Os protocolos ZCF permitem a existncia z-paths causais e no causais, contudo so livres de

z-cycles. Estes protocolos garantem a utilidade de todos checkpoints da aplicao. A retirada

de checkpoints forados neste padro menor em comparao os protocolos ZPF descritos anteriormente. Na Figura 2.16 existe uma ilustrao do comportamento do protocolo BCS (3), no
qual existe uma z-path [m1 , m2 ] no causal que no duplicada causalmente e a seleo de um
checkpoint forado c12 antes da formao da z-cycle [m1 , m2 , m3 ].

Figura 2.16: Z-Cycle Free (ZCF) - BCS.

Captulo 3

ChkSim
Este captulo apresenta o funcionamento

ChkSim

(19). O ChkSim uma ferramenta porttil

usada para simular a execuo de protocolos de checkpointing atravs de histricos de computaes distribudas e permitir a comparao entre esses protocolos. Na Seo 3.1, a arquitetura
do

ChkSim

detalhada e as classes que formam esta arquitetura so brevemente explicadas. Na

Seo 3.2 descrita o formato de execuo do gerador de cargas

caes

StatisticLG

LupaLogLG.

por gerar os arquivos sada do

LoadGenerator

Na Seo 3.3 contm o funcionamento do

ChkSim.

e suas rami-

Wrapper,

responsvel

Seo 3.3 apresentada a ferramenta desenvolvida neste

Trabalho de Concluso de Curso, suas funcionalidades e interface grca e a lista de requisitos

funcionais e casos de uso elaborados para o desenvolvido do plugin framework.

3.1 Arquitetura
A arquitetura do

ChkSim

Seu funcionamento do

suporta a manipulao dos conceitos apresentados no Captulo 2.

ChkSim

consiste no processamento, em tempo de execuo, de algoritmos

baseados nos protocolos das abordagens quase-sncrona e sncrona no bloqueante em simulaes

de computaes distribudas geradas manualmente em um arquivo no formato XML, em que este
arquivo representa uma aplicao distribuda, as representaes podem ser articiais, geradas
atravs de informaes pr-denidas que simulam uma aplicao distribuda, ou reais, geradas
atravs de histricos de execuo de uma aplicaao distribuda real. Na Figura 3.1 ilustrada a
arquitetura do ChkSim, no qual as representaes das sequncias de eventos so carregadas atravs
da interface

LoadGenerator

e so processadas na classe

Simulator,

a qual contm os algoritmos

implementados nas abordagens quase-sncrona e sncrona no bloqueante.

3.2. Gerador de Cargas

27

Figura 3.1: Arquitetura

ChkSim

3.2 Gerador de Cargas

O gerador de cargas

LoadGenerator

identica e encapsula representaes de sequncias de men-

sagens de computaes distribudas atravs da leitura de um arquivo XML. O arquivo XML pode
conter simulaes de computaes distribudas articiais que so processadas pela classe
ticLG

Statis-

ou conter histricos de computaes distribudas reais, que so identicadas pelo gerador

de cargas

LupaLogLG.

O gerador de cargas

StatisticLG

identica, atravs da leitura do arquivo

XML,

os compo-

nentes essenciais para a simulao de uma computao distribuda, como o nmero de processos
e eventos. Estas informaes so encapsuladas no arquivo

XML

juntamente com um valor que

serve como semente para o gerador de cargas e caractersticas sobre a existncia de simetria ou
no entre os processos. Essa semente permite a criao de eventos de modo determinstico e
a simetria ou no entre os processos permite padronizar a execuo desses eventos dentro de
intervalos entre checkpoints.
O gerador de cargas

LupaLogLG,

identica informaes de execues de aplicaes dis-

tribudas. Essas informaes so obtidas atravs da substituio da biblioteca

biblioteca

chkmpi.

Nesse caso, o

LupaLogLG

OpenMPI

pela

ignora o valor da semente dada e a quantidade de

eventos a serem gerados, descritos no arquivo

XML,

pois estas informaes no so usadas por

esse gerador de cargas. As informaes obtidas com a execuo da aplicao distribuda devem
ser incorporadas ao arquivo XML. Com o resultado da execuo de uma aplicao distribuda, so
gerados dois arquivos, contendo o histrico de eventos de comunicao e de checkpoints bsicos
retirados, respectivamente. Cada linha do primeiro arquivo contm os nmeros dos processos
origem e destino e os tempos lgicos de envio e recebimento de mensagens. Cada linha do segundo arquivo contm o nmero do processo e o tempo lgico em que este retirou um checkpoint
bsico.

3.3. Wrapper

28

3.3 Wrapper
O

Chksim

contm um

da ferramenta

Wrapper

GnuPlot.

que permite a criao de arquivos de sada, visualizados atravs

Wrapper

do

ChkSim

gera dois arquivos sada: um no formato

.data,

em que na primeira coluna do arquivo contm a quantidade de processos e nas colunas seguintes
tem-se o nmero mdio de checkpoints retirados por algoritmo especicado no arquivo XML.E
outro arquivo no formato
gerados no arquivo

.plot,

que visualizado pelo

GnuPlot,

representa gracamente os dados

.data.

Os arquivos de sada so nomeados atravs de um padro e diferem em seus formatos:

<arquivo_XML>-<mtrica>.data

representa o nome do arquivo

XML

<arquivo_XML>-<mtrica>.plot,

em que

<arquivo_XML>

executado e a mtrica representa o tipo checkpoint determi-

nado pelo arquivo XML, esta mtrica pode ser de checkpoints forados (Forced ) ou de checkpoints
bsicos (Basic ).
Na Figura 3.2 contm um screenshot da representao de um arquivo

.plot.

Esta represen-

tao consiste em um grco dos processos em relao a nmero mdio de checkpoints forados
retirados por processo pelos seguintes protocolos da classe ZCF : BCS (3), BCSAftersend (18),

BCSPartner (18), HMNR (6) e FINE (7).

Figura 3.2: Visualizao de uma sada no formato

.plot

utilizando a ferramenta

GnuPlot.

3.4. O Plugin

Framework

3.4 O Plugin

proposto

Framework

O plugin framework da ferramenta

29

proposto

ChkSim

foi desenvolvido na linguagem de programao

Java

para este Trabalho de Concluso de Curso, e consiste em um instrumento para a visualizao

grca, usando diagramas espao-tempo, do comportamento de aplicaes distribudas e anlise
do comportamento de protocolos de checkpointing na abordagem Quase-Sncrona. Na Figura
3.3 contm ilustrada a modelagem de domnio da aplicao, em que so apresentadas as principais classes do

ChkSim

ufgd.edu.br.interfaces

mework e o pacote

e todas as classes que compem o plugin framework, no qual o pacote

contm as classes implementadas para a manipulao grca do plugin fra-

ufgd.edu.br.entity

contm as classes implementadas para a manipulao dos

histricos de comunicao da aplicao distrbuida carregados pelo

ChkSim.

Figura 3.3: Modelagem de Domnio - Plugin Framework do

ChkSim

3.4. O Plugin

Framework

proposto

30

Para o desenvolvimento desta ferramenta, houve a necessidade de estudo do cdigo fonte

do

ChkSim

para encontrar uma maneira de implementar o plugin framework, de tal modo que

no houvesse alterao de cdigo, mas , apenas adies pontuais para a captura de informaes
necessrias para a formao das representaes grcas dos histricos das aplicaes distribudas.
As nicas classes que sofreram adicionamento de cdigo esto contidas na Figura 3.3, contudo
a classe com maior relevncia para o plugin framework a

QuasiSynchronousSimulator,

pois esta

responsvel por identicar, analisar e executar os protocolos de checkpointing para todos os

eventos da aplicao carregada atravs do arquivo

XML.

A execuo do plugin framework segue os padro de execuo do

ChkSim,

atravs da linha

de comando, no qual informado um arquivo com extenso .XML, que contm informaes sobre
o histrico de uma aplicao distribuda e quais de protocolos de checkpointing sero simulados.
A Figura 3.4 mostra como um arquivo

.XML

pode ser carregado pelo

Figura 3.4: Execuo do Plugin Framework do

ChkSim

ChkSim.

- Linha de Comando

O tempo de execuo pode variar de acordo com o tamanho do histrico de uma aplicao,
pois as aplicaes maiores tendem a demorar mais para executar e portanto geram histricos
maiores. Para demonstrar a manipulao destes histricos existe um loading que informa ao
usurio a porcentagem que est sendo carregada e quais informaes esto sendo manipuladas
no momento. Esse loading apresentado na Figura 3.5.

Figura 3.5: Carregando o Plugin Framework do

ChkSim

Aps carregar todas as informaes necessrias o plugin Framework propriamente dito

apresentado. A Figura 3.6 contm um screenshot do plugin Framework, o qual apresenta a ferramenta sendo executada para um histrico de comunicao de uma aplicao distrbuida com 8
processos e executando o protocolo de checkpointing BCS. A representao grca de uma aplicao apresentada atravs de um diagrama espao-tempo, em que cada o processo da aplicao
representado por linhas horizontais pretas, os eventos de comunicao so representados por
crculos em vermelho, as mensagens enviadas e recebidas nos processos atravs de linhas na cor
cinza, os checkpoints bsicos representados por quadrados na cor azul e os checkpoints forados
na cor laranja. As funcionalidades do plugin framework estaro descritas posteriormente na lista
de casos de usos atravs da Tabela 3.2.

3.4. O Plugin

Framework

proposto

Figura 3.6: O Plugin Framework do

31

ChkSim

propriamente dito.

As representaes grcas podem ser exportadas para o formato

SVG

(Scalable Vector

Graphics ) atravs da opo Exportar para SVG, permitindo ao usurio visualizar o comportamento da aplicao distribuda atravs de seus histricos de comunicao e de checkpoints
em ambientes com suporte a este tipo de formato. A Figura 3.7 contm uma screenshot da
visualizao de um arquivo

SVG

exportado da aplicao.

Figura 3.7: Visualizao atravs de um navegador de Internet de um arquivo

aplicao

SVG

exportado da

3.4. O Plugin

Framework

proposto

Para entender melhor o funcionamento do plugin framework do

32
ChkSim

so listados na

Tabela 3.1 o conjunto de requisitos funcionais e os casos de uso existentes so listados na Tabela
3.2.
Os requisitos funcionais listados na Tabela 3.1 para o plugin framework do

ChkSim

considerados obrigatrios.
RF
#1
#2
#3

#4
#5

#6

Descrio
O Plugin Framework deve permitir ao usurio visualizar a representao grca de uma aplicao distribuda contida em um arquivo XML
carregado pelo ChkSim.
O usurio deve ter a opo selecionar o protocolo de checkpointing, nmero de processos e o intervalo entre cada checkpoint bsico(adicional)
para a escolha da representao grca.
O usurio deve ter a opo visualizar a representao grca da aplicao distribuda com os seguintes opcionais de visualizao: numerao
de eventos de comunicao, numerao de checkpoints, mostrar apenas
checkpoints bsicos e/ou forados.
O usurio deve ter a opo exportar a representao grca da aplicao
distribuda para um arquivo SVG.
O Plugin Framework deve exibir ao usurio informaes relevantes a respeito da representao da aplicao como: protocolo de checkpointing,
nmero de processos, nmero total de eventos, nmero total de checkpoints, nmero de checkpoints bsicos e forados, e intervalo entre cada
checkpoint bsico no processo P0 e nos demais processos.
O Plugin Framework deve exibir ao usurio uma legenda para a representao grca da aplicao distribuda.
Tabela 3.1: Requisitos Funcionais do plugin framework do

ChkSim

foram

3.4. O Plugin

Framework

proposto

33

Os casos de uso listados na Tabela 3.2 para o plugin framework do

ChkSim

foram conside-

rados obrigatrios:

Visualizar aplicaes distribudas atravs de diagrama espao-tempo.

UC: 1
Ator: Usurio
Breve Descrio

Permite ao usurio visualizar a aplicao distribuda de acordo com a seleo do nmero de

processos, protocolo de checkpointing e o intervalo entre cada checkpoint bsico(adicional), com
a nalidade de visualizar situaes aplicao distribuda desejada.

Exportar diagramas espao para o formato SVG.

UC: 2
Ator: Usurio
Breve Descrio

Permite ao usurio exportar a representao grca da aplicao distribuda para o formato

SVG. Tem como a nalidade a visualizao da representao gracamente fora do interface da
ferramenta ou em WebSites

Visualizar opcionalmente conceitos de checkpointing no diagrama espao-tempo.

UC: 3
Ator: Usurio
Breve Descrio

Permite ao usurio escolher se deseja visualizar o numerao dos eventos de comunicao, numerao dos checkpoints e checkpoints bsicos e/ou forados. Tem a nalidade de visualizar as
representaes grcas de acordo com a necessidade desejada.
Tabela 3.2: Casos de Uso do plugin framework do

O plugin framework do

ChkSim

ChkSim

denido como uma ferramenta para a visualizao das

representaes grcas de aplicaes distribidas carregadas pelo

ChkSim,

atravs de diagramas

espao-tempo que permite ao usurio visualizar os histricos de comunicao de uma aplicao

distribuda e bem como entender o comportamento de protocolos de checkpointing.

Captulo 4

Resultados
Este captulo apresenta os resultados obtidos no desenvolvimento do plugin framework do
Sim

e a comparao da ferramenta desenvolvida com a ferramenta

uma distribuio no mais mantida do MPI, denominada

LAM-MPI

Lupa.

Chk-

Pois, o Lupa utiliza

(Local Area Multicomputer-

Message Passing Interface ), e o ChkSim utiliza a biblioteca OpenMPI, que o MPI mantido pela
comunidade atual e ainda no tem suporte para algumas funcionalidades do

LAM-MPI.

4.1 Resultados Obtidos

Para a realizao dos testes, obtive-se histricos da execuo da aplicao

EP,

do NAS Parallel

Benchmarks (1), em trs cenrios adaptados para aplicaes distribudas por Vieira e Buzato
(20). A aplicao

EP

efetua a gerao variveis aleatrias Gaussianas independentes, utilizando

o mtodo polar Marsaglia (9), um mtodo de amostragem de nmero pseudo-aleatrio para

gerar um par de variveis aleatrias normais com padres independentes. Esses trs cenrios so
apresentados a seguir:

SP : Os processos foram coletados em funo de nmero os processos na aplicao. Este

cenrio composto pelo nmero de processos existentes na aplicao e o intervalo de eventos de
comunicao para cada checkpoint bsico denido por 40 para todos os processos.

SI : Os processos foram coletados em funo do tamanho do intervalo de checkpoints. Este

cenrio composto por 8 processos e os intervalos de checkpointing bsicos variam entre 4 e 118
eventos de comunicao para todos os processos.

VA: Os processos foram coletados em funo da diferena assimtrica. Este cenrio

composto por 8 processos e os intervalos de checkpointing bsicos no processo P0 variam 42

4.1. Resultados Obtidos

35

2 eventos de comunicao e os demais processos da aplicao mantm o intervalo de 44 eventos

de comunicao para checkpointing bsicos.
Para a execuo destes trs cenrios foram utilizados os protocolos de checkpointing BCS,

LazyBCS, LazyBCSAftersend, LazyBCSPartner, HMNR, Fine e LazyHMNR da classe ZCF e os

protocolos FDAS, RDTPartner, RDTMinimal, BHMR da classe ZPF.
Considerando o cenrio SP, atravs da visualizao do diagrama espao-tempo gerado
para um nmero de 8 e 16 processos, percebeu-se que os protocolos da classe ZCF, de modo
geral, economizam mais checkpoints forados que os protocolos da classe ZPF. De acordo com os
dados apresentados nas Tabelas 4.1 e 4.2, obtidos atravs da execuo do

ChkSim

com o plugin

framework, possvel armar que o protocolo LazyHMNR economiza mais checkpoints forados
entre os protocolos ZCF para a aplicao EP.
8 Processos

Algoritmo

BCS
LazyBCS
LazyBCSAftersend
LazyBCSPartner
HMNR
Fine
LazyHMNR

Checkpoints

Bsicos

16
16
16
16
16
16
16

Checkpoints

16 Processos

Forados Algoritmo
29
29
12
12
12
12
11

BCS
LazyBCS
LazyBCSAftersend
LazyBCSPartner
HMNR
Fine
LazyHMNR

Bsicos

64
64
64
64
64
64
64

Forados
258
258
61
61
61
61
51

Tabela 4.1: Aplicao EP no cenrio SP com 8 e 16 processos executando os protocolos de

checkpointing da classe ZCF - Nmero de checkpoints bsicos e forados.
8 Processos

Algoritmo

FDAS
RDTPartner
RDTMinimal
BHMR

Checkpoints

Bsicos

16
16
16
16

16 Processos

Forados Algoritmo
39
39
39
39

FDAS
RDTPartner
RDTMinimal
BHMR

Checkpoints

Bsicos

64
64
64
64

Forados
78
78
78
78

Tabela 4.2: Aplicao EP no cenrio SP com 8 e 16 processos executando os protocolos de

checkpointing da classe ZPF - Nmero de checkpoints bsicos e forados.

4.1. Resultados Obtidos

36

Considerando o cenrio SI atravs, da visualizao do diagrama espao-tempo gerado

para o nmero processos xado em 8 e os intervalos de checkpointing bsicos variando 4 at
70 eventos de comunicao, percebeu-se assim como no cnario SP, que o protocolo LazyHMNR
retirou o menor nmero checkpoints forados. Porm o nmero de checkpoints forados retirados
por todos os protocolos da classe ZPF permaneceu igual, variando apenas para cada intervalo
de checkpointing bsico. Alm disso, os protocolos da classe ZPF economizaram checkpoints
forados em relao aos protocolos BCS e LazyBCS da classe ZCF nos intervalos entre 4
28 eventos de comunicao. De acordo com os dados apresentados nas Tabelas 4.3, 4.4, 4.5 e
4.6, obtidos atravs da execuo do

ChkSim

com o plugin framework, possvel rearmar que

o protocolo LazyHMNR economiza mais checkpoints forados entre os protocolos ZCF, contudo
os protocolos da classe ZPF economizam checkpoints forados em relao aos protocolos BCS e

LazyBCS da classe ZCF nos intervalos entre 4 28 eventos de comunicao.

Intervalo 4-4

Intervalo 10-10

Checkpoints

Algoritmo Bsicos

BCS
LazyBCS
LazyBCSAftersend
LazyBCSPartner
HMNR
Fine
LazyHMNR
FDAS
RDTPartner
RDTMinimal
BHMR

160
160
160
160
160
160
160
160
160
160
160

Intervalo 16-16

Checkpoints

Forados Bsicos
211
199
25
25
24
24
15
30
30
30
30

64
64
64
64
64
64
64
64
64
64
64

Checkpoints

Forados Bsicos
108
108
32
32
32
32
30
36
36
36
36

40
40
40
40
40
40
40
40
40
40
40

Forados
0
0
0
0
0
0
0
35
35
35
35

Tabela 4.3: Aplicao EP no cenrio SI com 8 processos e os intervalos entre checkpointing

bsicos de 4, 10 e 16 eventos de comunicao executando os protocolos das classes ZCF e ZPF.

4.1. Resultados Obtidos

37

Intervalo 22-22

Intervalo 28-28

Checkpoints

Algoritmo Bsicos

BCS
LazyBCS
LazyBCSAftersend
LazyBCSPartner
HMNR
Fine
LazyHMNR
FDAS
RDTPartner
RDTMinimal
BHMR

24
24
24
24
24
24
24
24
24
24
24

Intervalo 34-34

Checkpoints

Forados Bsicos
59
59
26
25
25
25
24
38
38
38
38

16
16
16
16
16
16
16
16
16
16
16

Checkpoints

Forados Bsicos
44
44
21
20
20
20
15
38
38
38
38

16
16
16
16
16
16
16
16
16
16
16

Forados
37
37
19
19
19
19
19
39
39
39
39

Tabela 4.4: Aplicao EP no cenrio SI com 8 processos e os intervalos entre checkpointing

bsicos de 22, 28 e 34 eventos de comunicao executando os protocolos das classes ZCF e ZPF.
Intervalo 40-40

Intervalo 46-46

Checkpoints

Algoritmo Bsicos

BCS
LazyBCS
LazyBCSAftersend
LazyBCSPartner
HMNR
Fine
LazyHMNR
FDAS
RDTPartner
RDTMinimal
BHMR

16
16
16
16
16
16
16
16
16
16
16

Intervalo 52-52

Checkpoints

Forados Bsicos
29
29
12
12
12
12
11
39
39
39
39

8
8
8
8
8
8
8
8
8
8
8

Checkpoints

Forados Bsicos
8
8
8
8
8
8
2
38
38
38
38

8
8
8
8
8
8
8
8
8
8
8

Forados
22
22
10
10
10
10
10
39
39
39
39

Tabela 4.5: Aplicao EP no cenrio SI com 8 processos e os intervalos entre checkpointing

bsicos de 40, 46 e 52 eventos de comunicao executando os protocolos das classes ZCF e ZPF.

4.1. Resultados Obtidos

38

Intervalo 58-58

Intervalo 64-64

Checkpoints

Algoritmo Bsicos

BCS
LazyBCS
LazyBCSAftersend
LazyBCSPartner
HMNR
Fine
LazyHMNR
FDAS
RDTPartner
RDTMinimal
BHMR

8
8
8
8
8
8
8
8
8
8
8

Intervalo 70-70

Checkpoints

Forados Bsicos
22
22
11
11
11
11
8
38
38
38
38

8
8
8
8
8
8
8
8
8
8
8

Checkpoints

Forados Bsicos
0
0
0
0
0
0
0
38
38
38
38

8
8
8
8
8
8
8
8
8
8
8

Forados
29
29
11
11
11
11
11
39
39
39
39

Tabela 4.6: Aplicao EP no cenrio SI com 8 processos e os intervalos entre checkpointing

bsicos de 58, 64 e 70 eventos de comunicao executando os protocolos das classes ZCF e ZPF.

Considerando o cenrio VA, atravs da visualizao do diagrama espao-tempo gerado com

o plugin framework para o nmero processos xado em 8, e os intervalos de checkpointing bsicos
variando 42 a 2 eventos de comunicao no processo P0 e nos demais processos com o intervalo de

checkpointing bsicos xo em 42 eventos de comunicao, percebeu-se assim como nos cenrios
SI e SP, que o protocolo LazyHMNR retirou o menor nmero checkpoints forados. Alm disto,
todos os protocolos da classe ZPF retiraram 38 checkpoints forados, independente do intervalo
de checkpointing bsicos, e economizaram checkpoints forados em comparao aos protocolos
BCS e LazyBCS para os intervalos de 10, 6 e 2 eventos de comunicao. De acordo com os
dados apresentados nas Tabelas 4.7, 4.8, 4.9 e 4.10, obtidos atravs da execuo do

ChkSim

com

o plugin framework, possvel rearmar que o protocolo LazyHMNR economiza mais checkpoints
forados entre os protocolos ZCF. Contudo os protocolos da classe ZPF economizam checkpoints
forados em relao aos protocolos BCS e LazyBCS da classe ZCF, nos intervalos de 10, 6 e 2
eventos de comunicao, porm o nmero de checkpoints forados retirados para os protocolos

ZPF permaneceu xo em 38, independente da variao de intervalos de checkpointing bsicos.

4.1. Resultados Obtidos

39

Intervalo 42-44

Intervalo 38-44

Checkpoints

Algoritmo Bsicos

BCS
LazyBCS
LazyBCSAftersend
LazyBCSPartner
HMNR
Fine
LazyHMNR
FDAS
RDTPartner
RDTMinimal
BHMR

8
8
8
8
8
8
8
8
8
8
8

Intervalo 34-44

Checkpoints

Forados Bsicos
15
15
10
9
9
9
5
38
38
38
38

9
9
9
9
9
9
9
9
9
9
9

Checkpoints

Forados Bsicos
23
23
12
12
12
12
7
38
38
38
38

9
9
9
9
9
9
9
9
9
9
9

Forados
30
30
21
20
20
20
17
38
38
38
38

Tabela 4.7: Aplicao EP no cenrio VA com 8 processos e os intervalos entre checkpointing

bsicos de 42, 38 e 34 eventos de comunicao no processo P0 e 44 eventos de comunicao para
os demais processos, executando os protocolos das classes ZCF e ZPF.
Intervalo 30-44

Intervalo 26-44

Checkpoints

Algoritmo Bsicos

BCS
LazyBCS
LazyBCSAftersend
LazyBCSPartner
HMNR
Fine
LazyHMNR
FDAS
RDTPartner
RDTMinimal
BHMR

9
9
9
9
9
9
9
9
9
9
9

Intervalo 22-44

Checkpoints

Forados Bsicos
22
22
15
14
14
14
11
38
38
38
38

10
10
10
10
10
10
10
10
10
10
10

Checkpoints

Forados Bsicos
22
22
13
13
13
13
11
38
38
38
38

10
10
10
10
10
10
10
10
10
10
10

Forados
29
29
20
19
19
19
18
38
38
38
38

Tabela 4.8: Aplicao EP no cenrio VA com 8 processos e os intervalos entre checkpointing

bsicos de 30, 26 e 22 eventos de comunicao no processo P0 e 44 eventos de comunicao para
os demais processos, executando os protocolos das classes ZCF e ZPF.

4.1. Resultados Obtidos

40

Intervalo 18-44

Intervalo 14-44

Checkpoints

Algoritmo Bsicos

BCS
LazyBCS
LazyBCSAftersend
LazyBCSPartner
HMNR
Fine
LazyHMNR
FDAS
RDTPartner
RDTMinimal
BHMR

11
11
11
11
11
11
11
11
11
11
11

Intervalo 10-44

Checkpoints

Forados Bsicos
36
36
29
28
28
28
24
38
38
38
38

Checkpoints

Forados Bsicos

12
12
12
12
12
12
12
12
12
12
12

35
35
28
27
27
27
19
38
38
38
38

15
15
15
15
15
15
15
15
15
15
15

Forados
40
40
29
28
28
28
23
38
38
38
38

Tabela 4.9: Aplicao EP no cenrio VA com 8 processos e os intervalos entre checkpointing

bsicos de 18, 14 e 10 eventos de comunicao no processo P0 e 44 eventos de comunicao para
os demais processos, executando os protocolos das classes ZCF e ZPF.
Intervalo 6-44

Intervalo 2-44

Checkpoints

Algoritmo Bsicos

BCS
LazyBCS
LazyBCSAftersend
LazyBCSPartner
HMNR
Fine
LazyHMNR
FDAS
RDTPartner
RDTMinimal
BHMR

20
20
20
20
20
20
20
20
20
20
20

Checkpoints

Forados Bsicos
63
52
27
27
33
27
24
38
38
38
38

47
47
47
47
47
47
47
47
47
47
47

Forados
97
45
25
25
33
31
25
38
38
38
38

Tabela 4.10: Aplicao EP no cenrio VA com 8 processos e os intervalos entre checkpointing

bsicos de 6 e 2 eventos de comunicao no processo P0 e 44 eventos de comunicao para os
demais processos, executando os protocolos das classes ZCF e ZPF.

Atravs da execuo do plugin framework para estes cenrios na aplicao distribuda

EP,

foram gerados diagramas espao-tempo, que permitiram analisar as representaes grcas da

aplicao distribuda manualmente em comparao aos histricos de comunicao carregados
pelo

ChkSim.

Os checkpoints forados retirados gerados nas representaes grcas para os

diferentes protocolos de checkpointing implementados no

ChkSim

na abordagem Quase-Sncrona

4.2. Comparao com a ferramenta Lupa

41

foram vericados analisando manualmente as heursticas de cada protocolo de checkpointing em

comparao aos resultados gerados nos diagramas espao-tempo pela ferramenta desenvolvida.

4.2 Comparao com a ferramenta Lupa

O plugin framework do ChkSim uma ferramenta similar a ferramenta Lupa, que consistem um
ambiente de visualizao e animao de sistemas distribudos que utiliza o conceito de checkpoints
para construir sequncias de animao de algoritmos atravs de diagramas espao-tempo.
Para validar a ferramenta desenvolvida realizou-se comparaes entre o plugin framework
e ao

Lupa

am de confrontar suas funcionalidades e as interfaces grcas, para determinar as

vantagens e desvantagens do plugin framework do ChkSim em relao ao Lupa. Estas comparaes

so apresentadas atravs dos dados contidos na Tabela 4.11.

Funcionalidades

Apresenta o nmero de
processos da aplicao
Apresenta o intervalo
entre checkpoints
Visualizao de
checkpoints bsicos
Visualizao opcional
de checkpoints forados
Visualizao do tempo
lgico dos eventos
Construo de checkpoints
globais consistentes
Permite a execuo de uma
aplicao distribuda pela ferramenta
Exporta para formato SVG

Interfaces grcas

Uso de legendas para

apresentao das caractersticas
Visualizao do nmero de
checkpoints bsicos/forados

Plugin Framework

Lupa

Sim

No

Sim

No

Sim

Sim

Sim

No

Sim

Sim

No

Sim

No se aplica

Sim

Sim

No

Plugin Framework

Lupa

Sim

No

Sim

Sim

Tabela 4.11: Comparando o plugin framework do

ChkSim

com o Lupa.

4.2. Comparao com a ferramenta Lupa

4.2.1

42

Vantagens e Desvantagens em comparao ao Lupa

Atravs dos dados de comparao entre as funcionalidades e as interfaces grcas da ferramenta

proposta e do
ChkSim

Lupa

apresentados Tabela 4.11, possvel determinar que o plugin framework do

exerce vantagens signicativas e uma desvantagem expressiva sobre o

Lupa.

No quesito de funcionalidades, a ferramenta proposta permite ao usurio selecionar diferentes protocolos de checkpointing para uma determinada aplicao distribuda, permite ao usurio
selecionar diferentes intervalos de checkpointing bsico, permite ao usurio visualizar opcionalmente checkpoints forados, alm disto uma vantagem importante, referente a funcionalidade de
exportao dos diagramas espao-tempo para o formato

SVG,

que permite ao usurio visualizar

as representaes geradas em diferentes ambientes com suporte a este tipo de formato.

No quesito de interfaces grcas, plugin framework do ChkSim exerce uma vantagem sobre
o Lupa, pois a ferramenta desenvolvida apresenta uma legenda para os diagramas espao-tempo,
permitindo aos usurios uma fcil compreenso sobre estes diagramas gerados para uma determinada aplicao distribida.
Contudo uma desvantagem expressiva em relao ao
globais consistentes, na qual a ferramenta

Lupa

Lupa

a no obteno de checkpoints

obtm estes checkpoints globais consistentes a

partir da seleo de qualquer checkpoint representado no diagrama espao-tempo gerado pela

prpria ferramenta.

Captulo 5

Consideraes Finais
Este captulo apresenta as concluses sobre o trabalho desenvolvido, as diculdades encontradas
ao longo deste desenvolvimento e sugesto de trabalhos futuros.

5.1 Concluses
Com o desenvolvimento do plugin framework proposto para visualizao do histrico de aplicaes distribudas, atravs de diagramas espao-tempo, acredita-se que a visualizao grca
dessas aplicaes auxilia de maneira dedigna para entender o comportamento de protocolos
de checkpointing. Alm disso, atravs do plugin framework pode-se facilmente vericar uma
diferena entre os protocolos ZPF e ZCF quando executando a aplicao

EP

do NAS (1) nos

cenrios apresentados.
Considerando a aplicao

EP,

conseguiu-se mostrar, atravs de trs cenrios, diagramas

espao-tempo gerados atravs da ferramenta proposta, foi possvel analisar, por meio desses
diagramas que na aplicao

EP,

o protocolo LazyHMNR da classe ZCF obteve o melhor desem-

penho em comparao aos demais protocolos das classes ZCF e ZPF. Claramente, os protocolos

ZCF retiram menos checkpoints forados que os protocolos ZPF. Para a aplicao EP, esse fato
ocorre porqu os protocolos da classe ZCF permitem a existncia de z-paths causais e z-paths
no causais, no permitindo a existncia z-cycles, garantindo utilidade de todos os checkpoints
da aplicao.
As comparaes realizadas em termos de funcionalidades e interfaces grcas do plugin fra-

mework com o Lupa mostraram que o primeiro exerce uma relevante vantagem sobre o segundo
devido s inmeras funcionalidades existentes na ferramenta proposta, contudo a no represen-

5.2. Diculdades Encontradas

44

tao de checkpoints globais por parte do plugin framework consiste em uma desvantagem em
relao ao

Lupa.

Como contribuio, a visualizao grca de histricos de aplicaes distribudas gerados

pelo plugin framework pode ser til para estudantes da rea da Tecnologia da Informao, pois
com isso eles podem compreender este tipo de aplicao e o comportamento de protocolos de

checkpointing.

5.2 Diculdades Encontradas

Primeiramente as diculdades encontradas foram relacionadas aos conceitos de protocolos de

checkpointing. Apesar do conhecimento adquirido no curso de Bacharelado em Sistemas de

Informao, este Trabalho de Concluso de Curso englobou conceitos especcos sobre aplicaes
distribudas, como os conceitos envolvendo checkpointing.
Outras diculdades surgiram na redao do texto, devido ao uso da plataforma LATEX,
que no comeo mostrou-se uma ferramenta de gerao de textos complexa. Contudo, aps a
pratica adquirida com o desenvolvimento do Trabalho de Concluso de Curso I, esta ferramenta
mostrou-se mais simples e eciente para a redao de textos.
Finalmente, na implementao do Plugin Framework, as diculdades ocorreram, principalmente, na manipulao das bibliotecas disponveis na linguagem de programao

Java

para

o desenvolvimento de desenhos geomtricos, exigindo uma lgica e estrutura de programao

relativamente complexa para a gerao automtica das representaes grcas dos histricos das
aplicaes distribudas, alm de um estudo do formato de arquivos

SVG,

formato este que foi

denido no Trabalho de Concluso de Curso I como ideal para a exportao das representaes
grcas geradas pela ferramenta proposta.

5.3 Trabalhos Futuros

Este Trabalho de Concluso de Curso elencou como prioridade a gerao de representaes grcas de histricos de aplicaes distribudas, os quais so carregadas no ChkSim atravs do gerador
de cargas denominado LupaLogLG, descrito no Captulo 3 (Seo 3.2) e essas representaes geradas atravs da ferramenta desenvolvida. Contudo, para o plugin framework gerar representaes
grcas a partir do

StatisticLG,

necessria a adio e alterao no cdigo-fonte do

Sendo assim, esta uma situao prevista para uma nova verso do plugin framework.

ChkSim.

5.3. Trabalhos Futuros

45

Outra proposta de trabalhos futuros permitir ao plugin framework a visualizao das

representaes grcas considerando os protocolos de checkpointing da abordagem Sncrona NoBloqueante. Esta variante da abordagem Sncrona no est descrita neste Trabalho de Concluso
de Curso, contudo na ferramenta

ChkSim

existem protocolos de checkpointing implementados

para esta variante e a manipulao desta abordagem exigir um novo estudo sobre esses protocolos de checkpointing e o seu comportamento em aplicaes distribudas, pois esta abordagem
engloba novos conceitos como mensagens de controle entre os processos da aplicao.
Atravs da comparao do plugin framework do ChkSim com a ferramenta Lupa, deniu-se
que para uma nova verso, a ferramenta deve conter a funcionalidade de permitir ao usurio a
obteno de checkpoints globais consistente a partir da seleo de uma determinado checkpoint
contido nos diagramas espao-tempo.

Referncias Bibliogrcas
1 D. H. Bailey, E. Barszcz, J. T. Barton, D. S. Browning, R. L. Carter, L. Dagum, R. A.
Fatoohi, P. O. Frederickson, T. A. Lasinski, R. S. Schreiber, H. D. Simon, V. Venkatakrishnan,
and S. K. Weeratunga. The nas parallel benchmarks&mdash;summary and preliminary results.
In Proceedings of the 1991 ACM/IEEE Conference on Supercomputing, pages 158165, New
York, NY, USA, 1991. ACM.
2 Roberto Baldoni, Jean michel Helary, Achour Mostefaoui, and Michel Raynal. A
communication-induced checkpointing protocol that ensures rollback-dependency trackability.
In Proc. IEEE Int. Symposium on Fault Tolerant Computing, pages 6877, 1997.
3 D. Briatico, A. Ciuoletti, and L. Simoncini. A distributed domino-eect free recovery
algorithm. In Symposium on Reliability in Distributed Software and Database Systems 84, pages
207215, 1984.
4 K. Mani Chandy and Leslie Lamport. Distributed snapshots: determining global states of
distributed systems. ACM Trans. Comput. Syst., 3:6375, February 1985.
5 I.C. Garcia and L.E. Buzato. An ecient checkpointing protocol for the minimal
characterization of operational rollback-dependency trackability. In Reliable Distributed
Systems, 2004. Proceedings of the 23rd IEEE International Symposium on, pages 126  135, oct.
2004.
6 J.-M. Hlary, A. Mostefaoui, R.H.B. Netzer, and M. Raynal. Communication-based
prevention of useless checkpoints in distributed computations. Distributed Computing, 13:2943,
2000. 10.1007/s004460050003.
7 Y. Luo and D. Manivannan. Fine: A fully informed and ecient communication-induced
checkpointing protocol for distributed systems. Journal of Parallel and Distributed Computing,
69(2):153167, 2009.
8 D. Manivannan and Mukesh Singhal. Quasi-synchronous checkpointing: Models,
characterization, and classication. IEEE Transactions on Parallel and Distributed Systems,
10:703713, 1996.
9 G. Marsaglia and T. A. Bray. A convenient method for generating normal variables.
j-SIAM-REVIEW, 6(3):260264, 1964.
10 R.M. Menderico. Ambiente pra a visualizao de protocolos de checkpointing.
http://lupa.sourceforge.net/index.html, Fevereiro 2004. ltimo acesso em Setembro de
2012.

REFERNCIAS BIBLIOGRFICAS

47

11 Robert H. B. Netzer and Jian Xu. Necessary and sucient conditions for consistent global
snapshots. IEEE Trans. Parallel Distrib. Syst., 6(2):165169, February 1995.
12 B. Randell. System structure for software fault tolerance. SIGPLAN Not., 10(6):437449,
April 1975.
13 Gabriel Rodrguez, Mara J. Martn, Patricia Gonzlez, Juan Tourio, and Ramn Doallo.
Cppc: a compiler-assisted tool for portable checkpointing of message-passing applications.
Concurrency and Computation: Practice and Experience, 22(6):749766, 2010.
14 David L. Russell. State restoration in systems of communicating processes. In IEEE
tinsactions on Pamllel and Dist n buted Systems, pages 910, 1980.
15 T.C. Sakata and I.C. Garcia. Non-blocking synchronous checkpointing based on
rollback-dependency trackability. In Reliable Distributed Systems, 2006. SRDS '06. 25th IEEE
Symposium on, pages 411420. IEEE Computer Society, October 2006.
16 Tiemi Christine Sakata. Uma Ponte entre as Abordagens Sncrona e Quase-sncrona
para Checkpointing. Tese, Instituto de Computao - Universidade Estadual de Campinas
(UNICAMP), Dezembro 2006.

17 J. Tsai and J.-W. Lin. On the fully-informed communication-induced checkpointing

protocol. In Dependable Computing, 2005. Proceedings. 11th Pacic Rim International
Symposium on, page 8 pages, December 2005.
18 G. M. D. Vieira. Estudo comparativo de algoritmos para checkpointing. Dissertao,
Instituto de Computao - Universidade Estadual de Campinas (UNICAMP), Dezembro 2001.
19 G. M. D. Vieira and L. E. Buzato. Chksim: A distributed checkpointing simulator.
Technical Report IC-05-34, Institute of Computing, University of Campinas, December 2005.
20 Gustavo MD Vieira and Luiz E Buzato. Distributed checkpointing: Analysis and
benchmarks, 2006.
21 Yi-Min Wang. Consistent global checkpoints that contain a given set of local checkpoints.
IEEE Trans. Comput., 46(4):456468, April 1997.