Esta tese apresenta um novo protocolo otimista, denominado Rollback Solidário, que utiliza o conceito de checkpoints globais consistentes para melhorar a sincronização dos processos durante o procedimento de rollback, permitindo aumentar o desempenho da simulação e realizar um gerenciamento mais adequado da memória. Neste protocolo, não existe o conceito de anti-mensagens e, portanto, não acontecem rollbacks em cascata, pois a decisão do retorno é tomada com base nas informações de todos os processos. Para a obtenção dos checkpoints globais consistentes, o protocolo Rollback Solidário pode utilizar a abordagem síncrona ou a semisíncrona, com destaque para o algoritmo Fixed Dependency After Send. O protocolo proposto é descrito e a especiHcação para implementação, através da UML (Unljíed Modeling Language), é fornecida. Uma comparação entre os protocolos Rollback Solidário e Tlme Warp é apresentada.

This thesis presents a novel optimistic protocol named Solidary Rollback Protocol, that utilizes the concept of consistent global checkpoints aiming at improving process synchronization during the rollback procedure, thus allowing improving simulation performance and realizing a more adequate memory management. In this new synchronization protocol does not exist the concept of anti-messages and therefore cascade rollbacks are not possible, once the return decision is based on the information from all processes. The consistent global checkpoints are built from the Solidary Rollback protocol either based on a synchronous or semisynchronous approach, with emphasis on the FixedDependence After-Send algorithm. The proposed protocol is described and a specification looking at implementation is made through the adoption of UML (Unified Modeling Language). A comparison between the Solidary Rollback and the Time Warp protocols is also presented.