Rollback solid´ario: um novo protocolo otimista

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 ao Instituto 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 Antonio Marmo 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 da