Perfect failure detector