Eventually Durable State Machines