Relax: an architectural framework for software recovery of hardware faults