Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2007-12-25
2007-12-25
Dam, Tuan (Department: 2192)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
C712S244000
Reexamination Certificate
active
10601439
ABSTRACT:
Methods and apparatus for preserving precise exceptions in code reordering by using control speculation are disclosed. A disclosed system uses a control speculation module to reorder instructions within an application program and preserve precise exceptions. Instructions, excepting and non-excepting, can be reordered by the control speculation module if the instructions meet certain conditions. When an excepting instruction is reordered, a check instruction is inserted into the program execution path and a recovery block is generated. The check instruction determines if the reordered excepting instruction actually needs to generate an exception. The recovery block contains instructions to revert the effects of code reordering. If the check instruction detects the need for an exception, the recovery block is executed to restore the architectural state of the processor and the exception is handled.
REFERENCES:
patent: 6247172 (2001-06-01), Dunn et al.
patent: 6260190 (2001-07-01), Ju
patent: 6463579 (2002-10-01), McKinsey
patent: 6487716 (2002-11-01), Choi et al.
patent: 6634023 (2003-10-01), Komatsu et al.
patent: 7065750 (2006-06-01), Babaian et al.
patent: 7103880 (2006-09-01), Morris et al.
patent: 7103882 (2006-09-01), Kawahito
Intel® Itanium® Architecture Software Developer's Manual, vol. 3: Instruction Set Reference, Revision 2.1, Oct. 2002, Document No. 245319-004, 958 pages.
Kemal Ebcioglu and Erik R. Altman,Daisy: Dynamic Compilation for 100% Architectural Compatibility, IBM Research Division (Aug. 5, 1996).
Bich C. Le,An Out-of-Order Execution Technique for Runtime Binary Translators, Hewlett Packard Company (1998).
Erik M. Nystrom et al.,Code Reordering and Speculation Support for Dynamic Optimization Systems, University of Illinois, Urbana-Champagne. (2001).
Dam Tuan
Hanley Flight & Zimmerman LLC
Yigdall Michael
LandOfFree
Methods and apparatus for preserving precise exceptions in... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Methods and apparatus for preserving precise exceptions in..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Methods and apparatus for preserving precise exceptions in... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3830375