Rollback solid´ario: um novo protocolo otimista

Disponível somente no TrabalhosFeitos
  • Páginas : 239 (59543 palavras )
  • Download(s) : 0
  • Publicado : 5 de junho de 2011
Ler documento completo
Amostra do texto
Rollback Solid´rio: Um Novo Protocolo Otimista a para Simula¸˜o Distribu´ ca ıda

Edmilson Marmo Moreira

Orientadora: Prof. Dra. Regina Helena Carlucci Santana

USP – S˜o Carlos, SP a Agosto de 2005

Rollback Solid´rio: Um Novo Protocolo Otimista a para Simula¸˜o Distribu´ ca ıda

Edmilson Marmo Moreira

Orientadora: Prof. Dra. Regina Helena Carlucci Santana

Tese apresentada aoInstituto de Ciˆncias Matem´ticas e de Computa¸˜o da e a ca Universidade de S˜o Paulo, como parte dos requisitos para a obten¸˜o do t´ a ca ıtulo ´ de Doutor em Ciˆncias – Area de Ciˆncias de Computa¸˜o e Matem´tica e e ca a Computacional.

USP – S˜o Carlos, SP a Agosto de 2005

Dedico este trabalho aos meus pais Antonio e Terezinha, a ` minha esposa Karina e aos meus filhos Lucas e Mateus. 4

Agradecimentos
` A minha orientadora profa. Dra. Regina Helena Carlucci Santana, pela orienta¸˜o ca segura e pelas agrad´veis discuss˜es, sempre produtivas. Tamb´m pela amizade, incentivo a o e nas horas dif´ ıceis e confian¸a que sempre depositou em mim. c Ao prof. Dr. Marcos Jos´ Santana, pela amizade e valiosas sugest˜es durante todas e o as fases deste trabalho. Aos meus pais AntonioMarmo e Terezinha, pelo amor, dedica¸˜o e incentivo. ca ` A minha esposa Karina e aos meus filhos Lucas e Mateus, por compreenderem a minha ausˆncia. e Ao meu irm˜o Leonardo, pelo companheirismo e grande ajuda com a l´ a ıngua portuguesa. Aos meus sogros Constantino e Regina, pela dedica¸˜o ` minha fam´ ca a ılia. ` A Maria Stella, pelo amparo e apoio constante. Ao casal Walter e Lourdes Moreira,pelo incentivo e la¸os de amizade. c ` As amigas C´lia e Sarita pelo constante interesse neste trabalho e sincero desejo de e ajudar. Aos amigos Tom´s e Alexandre Donizete, pelo est´ a ımulo e troca de experiˆncias acadˆmie e cas. Ao amigo Mauro C´sar, por termos come¸ado juntos esta jornada. e c Ao meu irm˜o Eduardo, pela torcida e amizade. a Aos professores do curso de Ciˆncia da Computa¸˜o daUNIFENAS, em especial e ca Alexandre e Marly, por acreditarem no meu potencial. Aos professores do Instituto de Engenharia de Sistemas e Tecnologias da Informa¸˜o ca da UNIFEI, pela acolhida fraterna e apoio neste novo ambiente de trabalho. Aos meus alunos, pelos questionamentos e intera¸˜o construtiva. ca Aos meus colegas do LASDPC, pelas d´vidas levantadas nos semin´rios e pela agrad´vel u a a convivˆncia. e Aos funcion´rios do ICMC, pela disponibilidade em ajudar al´m da obriga¸˜o. a e ca ` A Universidade de S˜o Paulo, pela oportunidade. a A todos aqueles que direta ou indiretamente contribu´ ıram para a conclus˜o deste a trabalho. E, sobretudo, a DEUS, por tudo...

Sum´rio a

1 Introdu¸˜o ca 1.1 1.2 1.3 Motiva¸˜o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . ca Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Estrutura da Tese . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1 2 4 4 7 7 9

2 Simula¸˜o Distribu´ e o Protocolo Time Warp ca ıda 2.1 Simula¸˜o Distribu´ de Eventos Discretos . . . . . . . . . . . . . . . . . ca ıda 2.1.1 2.1.2 2.2 O Protocolo Conservativo . . . . . . . . . . . . . . .. . . . . . . .

O Protocolo Otimista . . . . . . . . . . . . . . . . . . . . . . . . . . 10

Time Warp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 2.2.1 2.2.2 Anti-Mensagens . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 Mecanismo de Controle Global . . . . . . . . . . . . . . . . . . . . 16

2.3

Mecanismos para o c´lculo do GVT . . . . . . . .. . . . . . . . . . . . . . 18 a 2.3.1 2.3.2 2.3.3 2.3.4 2.3.5 O Problema da Mensagem Transiente . . . . . . . . . . . . . . . . . 18 O Problema do Relat´rio Simultˆneo . . . . . . . . . . . . . . . . . 20 o a Algoritmo de Samadi para o c´lculo do GVT . . . . . . . . . . . . . 21 a Algoritmo de Mattern para o c´lculo do GVT . . . . . . . . . . . . 22 a Formas de Cancelamento das Anti-mensagens...
tracking img