Neste trabalho especificamos o método de checkpointing para programas distribuídos no contexto do projeto Sampa. Por se tratar de um método de checkpointing assíncrono e orientado ao programa da aplicação, a participação do programador na definição do estado relevante e na inclusão de checkpoints no código fonte do programa de aplicação é fundamental. Para permitir o completo restabelecimento de estado da nova instância de um processo faltoso, o método utiliza um mecanismo de rastreamento de mensagens entre processos. Nosso protótipo implementa o método de rastreamento de mensagens baseado no remetente proposto originalmente por Johnsom e zwaenepoel, adaptado à arquitetura do sistema Sampa. A validação do método foi feita através de diversos exemplos de execução e vários padões de comunicação tais como multiplexador FIFO, anel bidirecional e servidor concorrente FIFO

In this work we specified the checkpointing method for distributed programs in the context of the Sampa project. Since the method performs assyncronous checkpointing and is application-oriented, the participation of the programmer in the definition of the relevant state and the checkpoints within the program source code is fundamental. To allow a correct re-establishment of the state of a new instance of a faulty process, the method uses a logging mechanism for messages sent among processes. Our prototype implements the sender-based message logging originally proposed by Johnson and Zwaenepoel, and adapted to the architecture of the Sampa system. The correctness of the method was verified through the prototype execution of several examples and communication patterns such as FIFO multiplex server, two-way token ring and concurrent FIFO server