En portugués
Um grande número de aplicações necessitam de esquemas que assegure:m uma execução tolerante a falhas. Diversos algoritmos foram criados para implementar técnicas de recuperação de erros na execução de programas. Uma das mais conhecidas técnicas é a.d~. criação de checkpoints. Atualmente há um grande esforço de pesquisa em tolerancia a falhas de programas em ambientes distribuídos. Este artigo apresenta a modelagem de um algoritmo de checkpoint em um ambiente de programação distribuído.
En inglés
A large number of applications need to rely on resources that may assure a fault tolerant execution. Severals algorithms and techniques have been proposed for implementing error recovery in the execution of programs. One of the most known techniques is the scheme of checkpoints creation. Nowadays there is a considerable resea.rch effort going on fault tolerance in distributed environment. This paper present a modeling of a checkpoint algorithm for application in a distributed programming environment.