Title: Compiler-assisted multiple instruction rollback recovery using a read buffer