Camila Santana Justo Cintra Sampaio – 5108617 Carlos Alberto de Magalhães Massera Filho –...

Camila Santana Justo Cintra Sampaio – 5108617Carlos Alberto de Magalhães Massera Filho  –

6445244Leonardo Milhomem Franco Christino – 6445219Ricardo Fernando Saidel – 6447271Victor Ribeiro Alberto de Oliveira – 4211715

IntroduçãoObjetivo: Garantir integridade e prevenir

erros nas informações em sistemas distribuídos

Duas abordagens para o tratamento de errosConservativa = Evitá-los e preveni-losOtimista = Agir depois da ocorrência do erro

Protocolo OtimistaNão evita erros previamenteDetecta a ocorrência de errosTratamento de erros e recuperação do sistema

posteriormente

Mecanismo de Time WarpTime Warp é um protocolo otimistaDois mecanismos de controle

Mecanismo de controle localMecanismo de controle global

Paradigma de tempo virtualJefferson, 1985

Mecanismo de Time WarpLVT

Input Queue

Output Queue

State Queue

Mecanismo de controle localCorrigir os erros decorrentes de mensagens

enviadas em ordem erradaSem garantia de ausência erros de causa e

efeitoRollback até o ponto da antimensagem

recebidaO Time Warp precisa armazenar todos os

estados dos processos

Mecanismo de controle local

Mecanismo de controle local

Mecanismo de controle local

Mecanismo de controle globalGlobal Virtual Time (GVT)

Gerenciamento e finalização da simulaçãoDefine um ponto de Rollback global

Necessário ter muito espaço de memóriaCálculo do GVT

Centralizado Maior sobrecarga

Distribuído Menor sobrecarga

Mecanismo de controle global

ConclusãoOTime Warp é um protocolo otimistaDepende do LVT, como controle locale o GVT para o controle global Mais eficiente que um protocolo conservador

quanto a deixar os estados serem executados e ainda permite casos que poderiam dar erros

No entanto, um protocolo otimista cria um alto overhead na comunicação entre os nós

além de gastar bastante tempo com gerenciamento de memória devido ao backup gerado.

Outro problema é o de como implementar o GVT

ConclusãoO Time Warp, tomando os cuidados de

gerencia de memória e a quantidade de memória disponível, é um protocolo excelente para o controle de erros numa simulação distribuída.

Fim