Implementação de um algoritmo de criação de checkpoints para a linguagem distribuída DPC