US7802136B2 - Compiler Technique for Efficient Register Checkpointing to Support Transaction Roll-Back