Multiple instruction rollback (MIR) is a technique that has been implemented in mainframe computers to provide rapid recovery from transient processor failures. Hardware-based MIR designs eliminate rollback data hazards by providing data redundancy implemented in hardware. Compiler-based MIR designs have also been developed which remove rollback data hazards directly with data-flow transformations. This paper focuses on compiler-assisted techniques to achieve multiple instruction rollback recovery. We observe that some data hazards resulting from instruction rollback can be resolved efficiently by providing an operand read buffer while others are resolved more efficiently with compiler transformations. A compiler-assisted multiple instruction rollback scheme is developed which combines hardware-implemented data redundancy with compiler-driven hazard removal transformations. Experimental performance evaluations indicate improved efficiency over previous hardware-based and compiler-based schemes. Alewine, N. J. and Chen, S.-K. and Fuchs, W. K. and Hwu, W.-M. Unspecified Center NAG1-613...
Scientific and Technical Aerospace Reports
The traditional view of a computer system separates ' hardware " from the " software ” , and the types of fault can be discussed from these two viewpoints . Fault tolerance in the hardware of computers has been the prime concern of the ...
... Compilers : Principles , Techniques , and Tools . Reading , MA : Addison - Wesley , 1986 . [ 28 ] N. J. Alewine , S.-K. Chen , W. K. Fuchs , and W.-M. W. Hwu , “ Compiler - assisted Multiple Instruction Rollback Recovery using a Read Buffer ...
Garg, V.K., and Yu, O.T.W. (2000). Integrated QoS support in 3G UMTS networks. IEEE Wireless Communications and Networking Conference, 3, 1187–1192. Handley, M., and Jacobson, V. (1998). SDP: Session description protocol. RFC2327.
Speculative execution is a method to increase instruction level parallelism which can be exploited by both super-scalar and VLIW architectures.
[339] W. Waite, G. Goos, Compiler Construction, Springer-Verlag, New York, 1984. ... [345] B.W. Watson, A fast and simple algorithm for constructing minimal acyclic deterministic finite automata, J. Univers. Comput. Sci.